2014-01-28 02:38:36 +00:00
|
|
|
; RUN: opt < %s -instcombine -S | FileCheck %s
|
|
|
|
|
|
|
|
target datalayout = "e-p:32:32"
|
|
|
|
target triple = "i686-pc-linux-gnu"
|
|
|
|
|
|
|
|
declare void @takes_i32(i32)
|
|
|
|
declare void @takes_i32_inalloca(i32* inalloca)
|
|
|
|
|
|
|
|
define void @f() {
|
|
|
|
; CHECK-LABEL: define void @f()
|
2014-04-30 17:22:00 +00:00
|
|
|
%args = alloca inalloca i32
|
2014-01-28 02:38:36 +00:00
|
|
|
call void bitcast (void (i32)* @takes_i32 to void (i32*)*)(i32* inalloca %args)
|
|
|
|
; CHECK: call void bitcast
|
|
|
|
ret void
|
|
|
|
}
|
|
|
|
|
|
|
|
define void @g() {
|
|
|
|
; CHECK-LABEL: define void @g()
|
|
|
|
call void bitcast (void (i32*)* @takes_i32_inalloca to void (i32)*)(i32 0)
|
|
|
|
; CHECK: call void bitcast
|
|
|
|
ret void
|
|
|
|
}
|