1 ; RUN: opt -instcombine -S < %s | FileCheck %s
2
3 declare void @foo(i32)
4
5 define void @g() {
6 ; CHECK-LABEL: @g(
7 entry:
8 ; CHECK: call void @foo(i32 0) [ "deopt"() ]
9 call void bitcast (void (i32)* @foo to void ()*) () [ "deopt"() ]
10 ret void
11 }
12