[InstCombine] Signed saturation tests. NFC
[llvm-complete.git] / test / Transforms / LowerSwitch / 2004-03-13-SwitchIsDefaultCrash.ll
blob964b07e30669bb575e4a3cd75a0c7e0127649462
1 ; RUN: opt < %s -lowerswitch -disable-output
3 define void @solve() {
4 entry:
5         %targetBlock = call i16 @solve_code( )          ; <i16> [#uses=1]
6         br label %codeReplTail
7 then.1:         ; preds = %codeReplTail
8         ret void
9 loopexit.0:             ; preds = %codeReplTail
10         ret void
11 codeReplTail:           ; preds = %codeReplTail, %entry
12         switch i16 %targetBlock, label %codeReplTail [
13                  i16 0, label %loopexit.0
14                  i16 1, label %then.1
15         ]
18 declare i16 @solve_code()