RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-01 08:23:21 +01:00
Code Issues Projects Releases Wiki Activity
9f7f17826e
llvm-mirror/test/CodeGen/X86/bool-zext.ll

48 lines
946 B
LLVM
Raw Normal View History

Fixed regression due to commit 131709, which disables vararg tail call optimizations on Win64 llvm-svn: 131740
2011-05-20 19:49:39 +02:00
; RUN: llc < %s -mtriple=x86_64-apple-darwin10 | FileCheck %s -check-prefix=X64
; RUN: llc < %s -mtriple=x86_64-pc-win32 | FileCheck %s -check-prefix=WIN64
Add a test for i1 zeroext arguments on x86-64. We currently generate code that conforms to the ABI, but DAGCombine could in theory recognize the sequence of zext asserts and truncates and generate incorrect code. llvm-svn: 127754
2011-03-16 21:15:44 +01:00
Fixed regression due to commit 131709, which disables vararg tail call optimizations on Win64 llvm-svn: 131740
2011-05-20 19:49:39 +02:00
; X64: @bar1
; X64: movzbl
; X64: jmp
; WIN64: @bar1
; WIN64: movzbl
; WIN64: callq
Add a test for i1 zeroext arguments on x86-64. We currently generate code that conforms to the ABI, but DAGCombine could in theory recognize the sequence of zext asserts and truncates and generate incorrect code. llvm-svn: 127754
2011-03-16 21:15:44 +01:00
define void @bar1(i1 zeroext %v1) nounwind ssp {
entry:
%conv = zext i1 %v1 to i32
The x86-64 ABI says that a bool is only guaranteed to be sign-extended to a byte rather than an int. Thankfully, this only causes LLVM to miss optimizations, not generate incorrect code. This just fixes the zext at the return. We still insert an i32 ZextAssert when reading a function's arguments, but it is followed by a truncate and another i8 ZextAssert so it is not optimized. llvm-svn: 127766
2011-03-16 23:20:18 +01:00
%call = tail call i32 (...)* @foo1(i32 %conv) nounwind
Add a test for i1 zeroext arguments on x86-64. We currently generate code that conforms to the ABI, but DAGCombine could in theory recognize the sequence of zext asserts and truncates and generate incorrect code. llvm-svn: 127754
2011-03-16 21:15:44 +01:00
ret void
}
Fixed regression due to commit 131709, which disables vararg tail call optimizations on Win64 llvm-svn: 131740
2011-05-20 19:49:39 +02:00
; X64: @bar2
; X64-NOT: movzbl
; X64: jmp
; WIN64: @bar2
; WIN64-NOT: movzbl
; WIN64: callq
Add a test for i1 zeroext arguments on x86-64. We currently generate code that conforms to the ABI, but DAGCombine could in theory recognize the sequence of zext asserts and truncates and generate incorrect code. llvm-svn: 127754
2011-03-16 21:15:44 +01:00
define void @bar2(i8 zeroext %v1) nounwind ssp {
entry:
%conv = zext i8 %v1 to i32
The x86-64 ABI says that a bool is only guaranteed to be sign-extended to a byte rather than an int. Thankfully, this only causes LLVM to miss optimizations, not generate incorrect code. This just fixes the zext at the return. We still insert an i32 ZextAssert when reading a function's arguments, but it is followed by a truncate and another i8 ZextAssert so it is not optimized. llvm-svn: 127766
2011-03-16 23:20:18 +01:00
%call = tail call i32 (...)* @foo1(i32 %conv) nounwind
Add a test for i1 zeroext arguments on x86-64. We currently generate code that conforms to the ABI, but DAGCombine could in theory recognize the sequence of zext asserts and truncates and generate incorrect code. llvm-svn: 127754
2011-03-16 21:15:44 +01:00
ret void
}
Fixed regression due to commit 131709, which disables vararg tail call optimizations on Win64 llvm-svn: 131740
2011-05-20 19:49:39 +02:00
; X64: @bar3
; X64: callq
; X64-NOT: movzbl
; X64-NOT: and
; X64: ret
; WIN64: @bar3
; WIN64: callq
; WIN64-NOT: movzbl
; WIN64-NOT: and
; WIN64: ret
The x86-64 ABI says that a bool is only guaranteed to be sign-extended to a byte rather than an int. Thankfully, this only causes LLVM to miss optimizations, not generate incorrect code. This just fixes the zext at the return. We still insert an i32 ZextAssert when reading a function's arguments, but it is followed by a truncate and another i8 ZextAssert so it is not optimized. llvm-svn: 127766
2011-03-16 23:20:18 +01:00
define zeroext i1 @bar3() nounwind ssp {
entry:
%call = call i1 @foo2() nounwind
ret i1 %call
}
declare i32 @foo1(...)
declare zeroext i1 @foo2()
Reference in New Issue Copy Permalink