[InstCombine] Signed saturation tests. NFC
[llvm-complete.git] / test / Transforms / ADCE / 2017-08-21-DomTree-deletions.ll
blobe532f29e9f4bdae98ec1d0c7e3b0eda882290a69
1 ; RUN: opt < %s -adce | llvm-dis
2 ; RUN: opt < %s -adce -verify-dom-info | llvm-dis
4 define void @foo() {
5 entry:
6   br label %switch
7 switch:                    ; preds = %entry
8   switch i32 undef, label %default [
9     i32 2, label %two
10     i32 5, label %five
11     i32 4, label %four
12   ]
13 four:                      ; preds = %switch
14   br label %exit
15 five:                      ; preds = %switch
16   br label %exit
17 two:                       ; preds = %switch
18   br label %exit
19 default:                   ; preds = %switch
20   br label %exit
21 exit:                      ; preds = %default, %two, %five, %four
22   ret void