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