1; RUN: opt < %s -always-inline -instcombine -S | FileCheck %s
2
3define internal void @foo(i16*) alwaysinline {
4  ret void
5}
6
7define void @bar() noinline noreturn {
8  unreachable
9}
10
11define void @test() {
12  br i1 false, label %then, label %else
13
14then:
15  call void @bar()
16  unreachable
17
18else:
19  ; CHECK-NOT: call
20  call void bitcast (void (i16*)* @foo to void (i8*)*) (i8* null)
21  ret void
22}
23
24