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