6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-12-27 13:30:05 +00:00
Code Issues Projects Releases Wiki Activity

Don't refuse to transform constexpr(call(arg, ...)) to call(constexpr(arg), ...)) just because the function has multiple return values even if their return types are the same. Patch by Eduard Burtescu!

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@199564 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Nick Lewycky 2014-01-18 22:47:12 +00:00
parent c975958498
commit 6d2bd95ff1
2 changed files with 16 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
lib/Transforms/InstCombine/InstCombineCalls.cpp
View File

@ -994,11 +994,12 @@ bool InstCombiner::transformConstExprCastCall(CallSite CS) {
Type *OldRetTy = Caller->getType(); Type *OldRetTy = Caller->getType();
Type *NewRetTy = FT->getReturnType(); Type *NewRetTy = FT->getReturnType();
if (NewRetTy->isStructTy())
return false; // TODO: Handle multiple return values.
// Check to see if we are changing the return type... // Check to see if we are changing the return type...
if (OldRetTy != NewRetTy) { if (OldRetTy != NewRetTy) {
if (NewRetTy->isStructTy())
return false; // TODO: Handle multiple return values.
if (!CastInst::isBitCastable(NewRetTy, OldRetTy)) { if (!CastInst::isBitCastable(NewRetTy, OldRetTy)) {
if (Callee->isDeclaration()) if (Callee->isDeclaration())
return false; // Cannot transform this return value. return false; // Cannot transform this return value.

12
test/Transforms/InstCombine/call-cast-target.ll
View File

@ -13,3 +13,15 @@ entry:
declare i8* @ctime(i32*) declare i8* @ctime(i32*)
define internal { i8 } @foo(i32*) {
entry:
ret { i8 } { i8 0 }
}
define void @test_struct_ret() {
; CHECK-LABEL: @test_struct_ret
; CHECK-NOT: bitcast
entry:
%0 = call { i8 } bitcast ({ i8 } (i32*)* @foo to { i8 } (i16*)*)(i16* null)
ret void
}