RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-24 03:33:20 +01:00
Code Issues Projects Releases Wiki Activity

Split up subtracts into add+negate if they have a reassociable use or operand

Browse Source 
that is also a subtract.  This implements PR2047 and Transforms/Reassociate/subtest2.ll 

llvm-svn: 47241
This commit is contained in:
Chris Lattner 2008-02-17 20:51:26 +00:00
parent 7cd16f34b3
commit 4a34461d64
2 changed files with 21 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
lib/Transforms/Scalar/Reassociate.cpp
View File

@ -399,13 +399,16 @@ static bool ShouldBreakUpSubtract(Instruction *Sub) {
return false;
// Don't bother to break this up unless either the LHS is an associable add or
// if this is only used by one.
if (isReassociableOp(Sub->getOperand(0), Instruction::Add))
// subtract or if this is only used by one.
if (isReassociableOp(Sub->getOperand(0), Instruction::Add) ||
isReassociableOp(Sub->getOperand(0), Instruction::Sub))
return true;
if (isReassociableOp(Sub->getOperand(1), Instruction::Add))
if (isReassociableOp(Sub->getOperand(1), Instruction::Add) ||
isReassociableOp(Sub->getOperand(0), Instruction::Sub))
return true;
if (Sub->hasOneUse() && isReassociableOp(Sub->use_back(), Instruction::Add))
if (Sub->hasOneUse() &&
(isReassociableOp(Sub->use_back(), Instruction::Add) ||
isReassociableOp(Sub->use_back(), Instruction::Sub)))
return true;
return false;

13
test/Transforms/Reassociate/subtest2.ll Normal file
View File

@ -0,0 +1,13 @@
; With sub reassociation, constant folding can eliminate the uses of %a.
;
; RUN: llvm-as < %s | opt -reassociate -instcombine | llvm-dis | grep %a | count 1
; PR2047
define i32 @test(i32 %a, i32 %b, i32 %c) nounwind {
entry:
%tmp3 = sub i32 %a, %b ; <i32> [#uses=1]
%tmp5 = sub i32 %tmp3, %c ; <i32> [#uses=1]
%tmp7 = sub i32 %tmp5, %a ; <i32> [#uses=1]
ret i32 %tmp7
}