mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-08-21 18:29:46 +00:00
Revert this use of NUW/NSW also. Overflow-undefined multiplication isn't
associative either. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@91701 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
fda60d35c2
commit
59de33ef39
@ -1460,7 +1460,10 @@ const SCEV *ScalarEvolution::getAddExpr(SmallVectorImpl<const SCEV *> &Ops,
|
||||
AddRec->op_end());
|
||||
AddRecOps[0] = getAddExpr(LIOps);
|
||||
|
||||
// It's tempting to propogate NUW/NSW flags here, but nuw/nsw addition
|
||||
// is not associative so this isn't necessarily safe.
|
||||
const SCEV *NewRec = getAddRecExpr(AddRecOps, AddRec->getLoop());
|
||||
|
||||
// If all of the other operands were loop invariant, we are done.
|
||||
if (Ops.size() == 1) return NewRec;
|
||||
|
||||
@ -1636,9 +1639,9 @@ const SCEV *ScalarEvolution::getMulExpr(SmallVectorImpl<const SCEV *> &Ops,
|
||||
}
|
||||
}
|
||||
|
||||
const SCEV *NewRec = getAddRecExpr(NewOps, AddRec->getLoop(),
|
||||
AddRec->hasNoUnsignedWrap() && HasNUW,
|
||||
AddRec->hasNoSignedWrap() && HasNSW);
|
||||
// It's tempting to propogate NUW/NSW flags here, but nuw/nsw multiplication
|
||||
// is not associative so this isn't necessarily safe.
|
||||
const SCEV *NewRec = getAddRecExpr(NewOps, AddRec->getLoop());
|
||||
|
||||
// If all of the other operands were loop invariant, we are done.
|
||||
if (Ops.size() == 1) return NewRec;
|
||||
|
Loading…
Reference in New Issue
Block a user