test/Transforms/InstCombine/cast-call-combine.ll

   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