Taints the non-acquire RMW's store address with the load part
[oota-llvm.git] / test / Transforms / GVN / 2008-12-15-CacheVisited.ll
1 ; RUN: opt < %s -gvn | llvm-dis
2 ; Cached results must be added to and verified against the visited sets.
3 ; PR3217
4
5 define fastcc void @gen_field_die(i32* %decl) nounwind {
6 entry:
7         br i1 false, label %bb203, label %bb202
8
9 bb202:          ; preds = %entry
10         unreachable
11
12 bb203:          ; preds = %entry
13         %tmp = getelementptr i32, i32* %decl, i32 1             ; <i32*> [#uses=1]
14         %tmp1 = load i32, i32* %tmp, align 4            ; <i32> [#uses=0]
15         br i1 false, label %bb207, label %bb204
16
17 bb204:          ; preds = %bb203
18         %tmp2 = getelementptr i32, i32* %decl, i32 1            ; <i32*> [#uses=1]
19         br label %bb208
20
21 bb207:          ; preds = %bb203
22         br label %bb208
23
24 bb208:          ; preds = %bb207, %bb204
25         %iftmp.1374.0.in = phi i32* [ null, %bb207 ], [ %tmp2, %bb204 ]         ; <i32*> [#uses=1]
26         %iftmp.1374.0 = load i32, i32* %iftmp.1374.0.in         ; <i32> [#uses=0]
27         unreachable
28 }