1 ; ; RUN: opt -analyze -scalar-evolution < %s | FileCheck %s
3 define void @infer.sext.0(i1* %c, i32 %start) {
4 ; CHECK-LABEL: Classifying expressions for: @infer.sext.0
9 %counter = phi i32 [ 0, %entry ], [ %counter.inc, %loop ]
10 %idx = phi i32 [ %start, %entry ], [ %idx.inc, %loop ]
11 %idx.inc = add nsw i32 %idx, 1
12 %idx.inc.sext = sext i32 %idx.inc to i64
13 ; CHECK: %idx.inc.sext = sext i32 %idx.inc to i64
14 ; CHECK-NEXT: --> {(1 + (sext i32 %start to i64)),+,1}<nsw><%loop>
15 %condition = icmp eq i32 %counter, 1
16 %counter.inc = add i32 %counter, 1
17 br i1 %condition, label %exit, label %loop
23 define void @infer.zext.0(i1* %c, i32 %start) {
24 ; CHECK-LABEL: Classifying expressions for: @infer.zext.0
29 %counter = phi i32 [ 0, %entry ], [ %counter.inc, %loop ]
30 %idx = phi i32 [ %start, %entry ], [ %idx.inc, %loop ]
31 %idx.inc = add nuw i32 %idx, 1
32 %idx.inc.sext = zext i32 %idx.inc to i64
33 ; CHECK: %idx.inc.sext = zext i32 %idx.inc to i64
34 ; CHECK-NEXT: --> {(1 + (zext i32 %start to i64)),+,1}<nuw><%loop>
35 %condition = icmp eq i32 %counter, 1
36 %counter.inc = add i32 %counter, 1
37 br i1 %condition, label %exit, label %loop
43 define void @infer.sext.1(i32 %start, i1* %c) {
44 ; CHECK-LABEL: Classifying expressions for: @infer.sext.1
46 %start.mul = mul i32 %start, 4
47 %start.real = add i32 %start.mul, 2
51 %idx = phi i32 [ %start.real, %entry ], [ %idx.inc, %loop ]
52 %idx.sext = sext i32 %idx to i64
53 ; CHECK: %idx.sext = sext i32 %idx to i64
54 ; CHECK-NEXT: --> {(2 + (sext i32 (4 * %start) to i64)),+,2}<nsw><%loop>
55 %idx.inc = add nsw i32 %idx, 2
56 %condition = load i1* %c
57 br i1 %condition, label %exit, label %loop
63 define void @infer.sext.2(i1* %c, i8 %start) {
64 ; CHECK-LABEL: Classifying expressions for: @infer.sext.2
66 %start.inc = add i8 %start, 1
67 %entry.condition = icmp slt i8 %start, 127
68 br i1 %entry.condition, label %loop, label %exit
71 %idx = phi i8 [ %start.inc, %entry ], [ %idx.inc, %loop ]
72 %idx.sext = sext i8 %idx to i16
73 ; CHECK: %idx.sext = sext i8 %idx to i16
74 ; CHECK-NEXT: --> {(1 + (sext i8 %start to i16)),+,1}<nsw><%loop>
75 %idx.inc = add nsw i8 %idx, 1
76 %condition = load volatile i1* %c
77 br i1 %condition, label %exit, label %loop
83 define void @infer.zext.1(i1* %c, i8 %start) {
84 ; CHECK-LABEL: Classifying expressions for: @infer.zext.1
86 %start.inc = add i8 %start, 1
87 %entry.condition = icmp ult i8 %start, 255
88 br i1 %entry.condition, label %loop, label %exit
91 %idx = phi i8 [ %start.inc, %entry ], [ %idx.inc, %loop ]
92 %idx.zext = zext i8 %idx to i16
93 ; CHECK: %idx.zext = zext i8 %idx to i16
94 ; CHECK-NEXT: --> {(1 + (zext i8 %start to i16)),+,1}<nuw><%loop>
95 %idx.inc = add nuw i8 %idx, 1
96 %condition = load volatile i1* %c
97 br i1 %condition, label %exit, label %loop