; RUN: opt < %s -instcombine -always-inline -S | FileCheck %s | |
define internal void @foo(i16*) alwaysinline { | |
ret void | |
} | |
define void @bar() noinline noreturn { | |
unreachable | |
} | |
define void @test() { | |
br i1 false, label %then, label %else | |
then: | |
call void @bar() | |
unreachable | |
else: | |
; CHECK-NOT: call | |
call void bitcast (void (i16*)* @foo to void (i8*)*) (i8* null) | |
ret void | |
} | |