1; RUN: opt -instcombine -S < %s | FileCheck %s
2
3declare void @foo(i32)
4
5define 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