60 lines · plain
1; RUN: opt "-passes=print<scalar-evolution>" -disable-output < %s 2>&1 | FileCheck %s2 3define void @test1(i8 %t, i32 %len) {4; CHECK-LABEL: test15; CHECK: %sphi = phi i32 [ %ext, %entry ], [ %idx.inc.ext, %loop ]6; CHECK-NEXT: --> (zext i8 {%t,+,1}<%loop> to i32)7 8 entry:9 %st = zext i8 %t to i1610 %ext = zext i8 %t to i3211 %ecmp = icmp ult i16 %st, 4212 br i1 %ecmp, label %loop, label %exit13 14 loop:15 16 %idx = phi i8 [ %t, %entry ], [ %idx.inc, %loop ]17 %sphi = phi i32 [ %ext, %entry ], [%idx.inc.ext, %loop]18 19 %idx.inc = add i8 %idx, 120 %idx.inc.ext = zext i8 %idx.inc to i3221 %idx.ext = zext i8 %idx to i3222 23 %c = icmp ult i32 %idx.inc.ext, %len24 br i1 %c, label %loop, label %exit25 26 exit:27 ret void28}29 30define void @test2(i8 %t, i32 %len) {31; CHECK-LABEL: test232; CHECK: %sphi = phi i32 [ %ext.mul, %entry ], [ %mul, %loop ]33; CHECK-NEXT: --> (4 * (zext i8 {%t,+,1}<%loop> to i32))34 35 entry:36 %st = zext i8 %t to i1637 %ext = zext i8 %t to i3238 %ext.mul = mul i32 %ext, 439 40 %ecmp = icmp ult i16 %st, 4241 br i1 %ecmp, label %loop, label %exit42 43 loop:44 45 %idx = phi i8 [ %t, %entry ], [ %idx.inc, %loop ]46 %sphi = phi i32 [ %ext.mul, %entry ], [%mul, %loop]47 48 %idx.inc = add i8 %idx, 149 %idx.inc.ext = zext i8 %idx.inc to i3250 %mul = mul i32 %idx.inc.ext, 451 52 %idx.ext = zext i8 %idx to i3253 54 %c = icmp ult i32 %idx.inc.ext, %len55 br i1 %c, label %loop, label %exit56 57 exit:58 ret void59}60