Taints the non-acquire RMW's store address with the load part
[oota-llvm.git] / test / Transforms / LCSSA / 2006-07-09-NoDominator.ll
1 ; RUN: opt < %s -lcssa
2
3         %struct.SetJmpMapEntry = type { i8*, i32, %struct.SetJmpMapEntry* }
4
5 define void @__llvm_sjljeh_try_catching_longjmp_exception() {
6 entry:
7         br label %loopentry
8 loopentry:              ; preds = %endif, %entry
9         %SJE.0 = phi %struct.SetJmpMapEntry* [ null, %entry ], [ %tmp.25, %endif ]      ; <%struct.SetJmpMapEntry*> [#uses=1]
10         br i1 false, label %no_exit, label %loopexit
11 no_exit:                ; preds = %loopentry
12         br i1 false, label %then, label %endif
13 then:           ; preds = %no_exit
14         %tmp.21 = getelementptr %struct.SetJmpMapEntry, %struct.SetJmpMapEntry* %SJE.0, i32 0, i32 1            ; <i32*> [#uses=0]
15         br label %return
16 endif:          ; preds = %no_exit
17         %tmp.25 = load %struct.SetJmpMapEntry*, %struct.SetJmpMapEntry** null           ; <%struct.SetJmpMapEntry*> [#uses=1]
18         br label %loopentry
19 loopexit:               ; preds = %loopentry
20         br label %return
21 return:         ; preds = %loopexit, %then
22         ret void
23 }
24