[InstCombine] Signed saturation tests. NFC
[llvm-complete.git] / test / Transforms / MergeFunc / 2013-01-10-MergeFuncAssert.ll
blob3f6a5ba157deb5a992763b43eb1f34de85c5a051
1 ; RUN: opt -mergefunc -disable-output < %s
2 ; This used to trigger a ConstantExpr::getBitCast assertion.
4 define void @t1() unnamed_addr uwtable ssp align 2 {
5 entry:
6   switch i32 undef, label %sw.bb12 [
7     i32 127, label %sw.bb
8     i32 126, label %sw.bb4
9   ]
11 sw.bb:                                            ; preds = %entry
12   unreachable
14 sw.bb4:                                           ; preds = %entry
15   unreachable
17 sw.bb12:                                          ; preds = %entry
18   ret void
21 define void @t2() unnamed_addr uwtable ssp align 2 {
22 entry:
23   switch i32 undef, label %sw.bb8 [
24     i32 4, label %sw.bb
25     i32 3, label %sw.bb4
26   ]
28 sw.bb:                                            ; preds = %entry
29   unreachable
31 sw.bb4:                                           ; preds = %entry
32   ret void
34 sw.bb8:                                           ; preds = %entry
35   unreachable