Lines Matching +full:- +full:iv

1 ; RUN: opt -analyze -scalar-evolution < %s | FileCheck %s
7 ; CHECK-LABEL: Classifying expressions for: @s_0
12   %iv = phi i32 [ 0, %entry ], [ %iv.inc, %loop ]
13   %iv.inc = add i32 %iv, 1
14   %iv.sext = sext i32 %iv to i64
15 ; CHECK:    %iv.sext = sext i32 %iv to i64
16 ; CHECK-NEXT:  -->  {0,+,1}<nuw><nsw><%loop>
17   %cmp = icmp slt i32 %iv, %n
27 ; CHECK-LABEL: Classifying expressions for: @s_1
32   %iv = phi i32 [ 0, %entry ], [ %iv.inc, %loop ]
33   %iv.inc = add i32 %iv, 3
34   %iv.sext = sext i32 %iv to i64
35 ; CHECK:  %iv.sext = sext i32 %iv to i64
36 ; CHECK-NEXT:  -->  {0,+,3}<nuw><nsw><%loop>
37   %cmp = icmp slt i32 %iv, 10000
47 ; CHECK-LABEL: Classifying expressions for: @s_2
52   %iv = phi i32 [ 0, %entry ], [ %iv.inc, %loop ]
53   %iv.inc = add i32 %iv, 3
54   %iv.sext = sext i32 %iv to i64
55   %cmp = icmp slt i32 %iv, 10000
56 ; CHECK:  %iv.sext = sext i32 %iv to i64
57 ; CHECK-NEXT:  -->  {0,+,3}<nuw><nsw><%loop>
67 ; CHECK-LABEL: Classifying expressions for: @u_0
72   %iv = phi i32 [ 0, %entry ], [ %iv.inc, %loop ]
73   %iv.inc = add i32 %iv, 1
74   %iv.zext = zext i32 %iv to i64
75 ; CHECK:    %iv.zext = zext i32 %iv to i64
76 ; CHECK-NEXT:  -->  {0,+,1}<nuw><%loop>
77   %cmp = icmp ult i32 %iv, %n
87 ; CHECK-LABEL: Classifying expressions for: @u_1
92   %iv = phi i32 [ 0, %entry ], [ %iv.inc, %loop ]
93   %iv.inc = add i32 %iv, 3
94   %iv.zext = zext i32 %iv to i64
95 ; CHECK:  %iv.zext = zext i32 %iv to i64
96 ; CHECK-NEXT:  -->  {0,+,3}<nuw><%loop>
97   %cmp = icmp ult i32 %iv, 10000
107 ; CHECK-LABEL: Classifying expressions for: @u_2
112   %iv = phi i32 [ 30000, %entry ], [ %iv.inc, %loop ]
113   %iv.inc = add i32 %iv, -2
114   %iv.zext = zext i32 %iv to i64
115   %cmp = icmp ugt i32 %iv.inc, -10000
116 ; CHECK:  %iv.zext = zext i32 %iv to i64
117 ; CHECK-NEXT:  -->  {30000,+,-2}<nw><%loop>