forked from OSchip/llvm-project
Add a test case for argument type coercion in an invoke of a vararg function
This would have caught the bug I fixed in 223370. llvm-svn: 223378
This commit is contained in:
parent
2e644415ba
commit
5b3ce71b62
|
|
@ -99,6 +99,26 @@ define void @test11(i32* %P) {
|
||||||
; CHECK: ret void
|
; CHECK: ret void
|
||||||
}
|
}
|
||||||
|
|
||||||
|
declare i32 @__gxx_personality_v0(...)
|
||||||
|
define void @test_invoke_vararg_cast(i32* %a, i32* %b) {
|
||||||
|
entry:
|
||||||
|
%0 = bitcast i32* %b to i8*
|
||||||
|
%1 = bitcast i32* %a to i64*
|
||||||
|
invoke void (i32, ...)* @varargs(i32 1, i8* %0, i64* %1)
|
||||||
|
to label %invoke.cont unwind label %lpad
|
||||||
|
|
||||||
|
invoke.cont: ; preds = %entry
|
||||||
|
ret void
|
||||||
|
|
||||||
|
lpad: ; preds = %entry
|
||||||
|
%2 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*)
|
||||||
|
cleanup
|
||||||
|
ret void
|
||||||
|
; CHECK-LABEL: test_invoke_vararg_cast
|
||||||
|
; CHECK-LABEL: entry:
|
||||||
|
; CHECK: invoke void (i32, ...)* @varargs(i32 1, i32* %b, i32* %a)
|
||||||
|
}
|
||||||
|
|
||||||
define i8* @test13(i64 %A) {
|
define i8* @test13(i64 %A) {
|
||||||
%c = getelementptr [0 x i8]* bitcast ([32832 x i8]* @inbuf to [0 x i8]*), i64 0, i64 %A ; <i8*> [#uses=1]
|
%c = getelementptr [0 x i8]* bitcast ([32832 x i8]* @inbuf to [0 x i8]*), i64 0, i64 %A ; <i8*> [#uses=1]
|
||||||
ret i8* %c
|
ret i8* %c
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue