[mlir][int-range] Limit xor int range inference to i1 (#116968)
[llvm-project.git] / llvm / test / Analysis / ScalarEvolution / 2008-11-15-CubicOOM.ll
blob48ef3d1bc0622c73cc6a1a1545803a66f587ca4c
1 ; RUN: opt < %s -passes='print<scalar-evolution>'
2 ; PR2602
4 define i32 @a() nounwind  {
5 entry:
6         br label %bb
8 bb:             ; preds = %bb, %entry
9         %w.0 = phi i32 [ 0, %entry ], [ %tmp, %bb ]             ; <i32> [#uses=2]
10         %e.0 = phi i32 [ 0, %entry ], [ %e.1, %bb ]             ; <i32> [#uses=2]
11         %w.1 = add i32 0, %w.0          ; <i32>:0 [#uses=1]
12         %tmp = add i32 %e.0, %w.0               ; <i32>:1 [#uses=1]
13         %e.1 = add i32 %e.0, 1          ; <i32>:2 [#uses=1]
14         %cond = icmp eq i32 %w.1, -1            ; <i1>:3 [#uses=1]
15         br i1 %cond, label %return, label %bb
17 return:         ; preds = %bb
18         ret i32 undef