Mercurial > hg > CbC > CbC_llvm
comparison test/Transforms/IndVarSimplify/2006-03-31-NegativeStride.ll @ 0:95c75e76d11b LLVM3.4
LLVM 3.4
| author | Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Thu, 12 Dec 2013 13:56:28 +0900 |
| parents | |
| children | 1172e4bd9c6f |
comparison
equal
deleted
inserted
replaced
| -1:000000000000 | 0:95c75e76d11b |
|---|---|
| 1 ; PR726 | |
| 2 ; RUN: opt < %s -indvars -S | \ | |
| 3 ; RUN: grep "ret i32 27" | |
| 4 | |
| 5 ; Make sure to compute the right exit value based on negative strides. | |
| 6 | |
| 7 define i32 @test() { | |
| 8 entry: | |
| 9 br label %cond_true | |
| 10 | |
| 11 cond_true: ; preds = %cond_true, %entry | |
| 12 %a.0.0 = phi i32 [ 10, %entry ], [ %tmp4, %cond_true ] ; <i32> [#uses=2] | |
| 13 %b.0.0 = phi i32 [ 0, %entry ], [ %tmp2, %cond_true ] ; <i32> [#uses=1] | |
| 14 %tmp2 = add i32 %b.0.0, %a.0.0 ; <i32> [#uses=2] | |
| 15 %tmp4 = add i32 %a.0.0, -1 ; <i32> [#uses=2] | |
| 16 %tmp = icmp sgt i32 %tmp4, 7 ; <i1> [#uses=1] | |
| 17 br i1 %tmp, label %cond_true, label %bb7 | |
| 18 | |
| 19 bb7: ; preds = %cond_true | |
| 20 ret i32 %tmp2 | |
| 21 } | |
| 22 |