6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-03-04 05:31:51 +00:00
Code Issues Projects Releases Wiki Activity

fix PR9215, preventing -reassociate from clearing nsw/nuw when

Browse Source 
it swaps the LHS/RHS of a single binop.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@125700 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2011-02-17 01:29:24 +00:00
parent 5653f1f904
commit de1d8a544c
2 changed files with 11 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -348,9 +348,10 @@ void Reassociate::RewriteExprTree(BinaryOperator *I,
I->setOperand(0, Ops[i].Op);
I->setOperand(1, Ops[i+1].Op);
// Conservatively clear all the optional flags, which may not hold
// after the reassociation.
I->clearSubclassOptionalData();
// Clear all the optional flags, which may not hold after the
// reassociation if the expression involved more than just this operation.
if (Ops.size() != 2)
I->clearSubclassOptionalData();
DEBUG(dbgs() << "TO: " << *I << '\n');
MadeChange = true;

7
test/Transforms/Reassociate/optional-flags.ll
View File

@ -20,3 +20,10 @@ define i64 @test1(i64 %a, i64 %b, i64 %c) {
%z = add nsw i64 %y, %a
ret i64 %z
}
; PR9215
; CHECK: %s = add nsw i32 %y, %x
define i32 @test2(i32 %x, i32 %y) {
%s = add nsw i32 %x, %y
ret i32 %s
}