[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / CodeExtractor / 2004-03-14-NoSwitchSupport.ll
blob7cd72797a675322ca33956946fcd2ec402775004
1 ; RUN: opt < %s -loop-extract-single -disable-output
3 define void @ab() {
4 entry:
5         br label %codeReplTail
7 then.1:         ; preds = %codeReplTail
8         br label %loopentry.1
10 loopentry.1:            ; preds = %no_exit.1, %then.1
11         br i1 false, label %no_exit.1, label %loopexit.0.loopexit1
13 no_exit.1:              ; preds = %loopentry.1
14         br label %loopentry.1
16 loopexit.0.loopexit:            ; preds = %codeReplTail
17         ret void
19 loopexit.0.loopexit1:           ; preds = %loopentry.1
20         ret void
22 codeReplTail:           ; preds = %codeReplTail, %entry
23         switch i16 0, label %codeReplTail [
24                  i16 0, label %loopexit.0.loopexit
25                  i16 1, label %then.1
26         ]