1; RUN: opt -scalar-evolution -analyze -enable-new-pm=0 < %s | FileCheck %s 2; RUN: opt "-passes=print<scalar-evolution>" -disable-output < %s 2>&1 | FileCheck %s 3 4define void @test1(i8 %t, i32 %len) { 5; CHECK-LABEL: test1 6; CHECK: %sphi = phi i32 [ %ext, %entry ], [ %idx.inc.ext, %loop ] 7; CHECK-NEXT: --> (zext i8 {%t,+,1}<%loop> to i32) 8 9 entry: 10 %st = zext i8 %t to i16 11 %ext = zext i8 %t to i32 12 %ecmp = icmp ult i16 %st, 42 13 br i1 %ecmp, label %loop, label %exit 14 15 loop: 16 17 %idx = phi i8 [ %t, %entry ], [ %idx.inc, %loop ] 18 %sphi = phi i32 [ %ext, %entry ], [%idx.inc.ext, %loop] 19 20 %idx.inc = add i8 %idx, 1 21 %idx.inc.ext = zext i8 %idx.inc to i32 22 %idx.ext = zext i8 %idx to i32 23 24 %c = icmp ult i32 %idx.inc.ext, %len 25 br i1 %c, label %loop, label %exit 26 27 exit: 28 ret void 29} 30 31define void @test2(i8 %t, i32 %len) { 32; CHECK-LABEL: test2 33; CHECK: %sphi = phi i32 [ %ext.mul, %entry ], [ %mul, %loop ] 34; CHECK-NEXT: --> (4 * (zext i8 {%t,+,1}<%loop> to i32)) 35 36 entry: 37 %st = zext i8 %t to i16 38 %ext = zext i8 %t to i32 39 %ext.mul = mul i32 %ext, 4 40 41 %ecmp = icmp ult i16 %st, 42 42 br i1 %ecmp, label %loop, label %exit 43 44 loop: 45 46 %idx = phi i8 [ %t, %entry ], [ %idx.inc, %loop ] 47 %sphi = phi i32 [ %ext.mul, %entry ], [%mul, %loop] 48 49 %idx.inc = add i8 %idx, 1 50 %idx.inc.ext = zext i8 %idx.inc to i32 51 %mul = mul i32 %idx.inc.ext, 4 52 53 %idx.ext = zext i8 %idx to i32 54 55 %c = icmp ult i32 %idx.inc.ext, %len 56 br i1 %c, label %loop, label %exit 57 58 exit: 59 ret void 60} 61