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