Home | History | Annotate | Download | only in ScalarEvolution

Lines Matching full:postinc

3 ; An example run where SCEV(%postinc)->getStart() may overflow:
10 ; %postinc.start = INT_SMIN
14 ; %postinc = INT_SMIN
15 ; %postinc.inc = INT_SMIN + 1
16 ; %postinc.sext = sext(INT_SMIN) = i64 INT32_SMIN
27 %postinc.start = add i32 %start, 1
32 %postinc = phi i32 [ %postinc.start, %entry ], [ %postinc.inc, %continue ]
33 %postinc.inc = add nsw i32 %postinc, 1
34 %postinc.sext = sext i32 %postinc to i64
35 ; CHECK: %postinc.sext = sext i32 %postinc to i64
37 %break.early = icmp slt i32 %postinc, %low.limit
49 ret i64 %postinc.sext
55 %postinc.start = add i32 %start, 1
60 %postinc = phi i32 [ %postinc.start, %entry ], [ %postinc.inc, %continue ], [ %postinc.inc, %continue.1 ]
61 %postinc.inc = add nsw i32 %postinc, 1
62 %postinc.sext = sext i32 %postinc to i64
63 ; CHECK: %postinc.sext = sext i32 %postinc to i64
65 %break.early = icmp slt i32 %postinc, %low.limit
81 ret i64 %postinc.sext