[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / Inline / inline_unreachable-2.ll
blob825999593ac14d78a691472238a36321daa6da38
1 ; RUN: opt < %s -inline -S | FileCheck %s
2 ; RUN: opt < %s -passes='cgscc(inline)' -S | FileCheck %s
4 ; CHECK-LABEL: caller
5 ; CHECK: call void @callee
6 define void @caller(i32 %a, i1 %b) #0 {
7   call void @callee(i32 %a, i1 %b)
8   unreachable
11 define void @callee(i32 %a, i1 %b) {
12   call void @extern()
13   call void asm sideeffect "", ""()
14   br i1 %b, label %bb1, label %bb2
15 bb1:
16   call void asm sideeffect "", ""()
17   ret void
18 bb2:
19   call void asm sideeffect "", ""()
20   ret void
23 declare void @extern()