Taints the non-acquire RMW's store address with the load part
[oota-llvm.git] / test / Transforms / IndVarSimplify / loop_evaluate_3.ll
1 ; RUN: opt < %s -indvars -S | grep "ret i32 600000"
2 ; PR1179
3
4 define i32 @foo() {
5 entry:
6         br label %bb5
7
8 bb5:            ; preds = %bb5, %entry
9         %i.01.0 = phi i32 [ 0, %entry ], [ %tmp2, %bb5 ]                ; <i32> [#uses=1]
10         %x.03.0 = phi i32 [ 0, %entry ], [ %tmp4, %bb5 ]                ; <i32> [#uses=1]
11         %tmp2 = add i32 %i.01.0, 3              ; <i32> [#uses=2]
12         %tmp4 = add i32 %x.03.0, 1              ; <i32> [#uses=2]
13         icmp slt i32 %tmp4, 200000              ; <i1>:0 [#uses=1]
14         br i1 %0, label %bb5, label %bb7
15
16 bb7:            ; preds = %bb5
17         ret i32 %tmp2
18 }
19