6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-11-01 15:11:24 +00:00
Code Issues Projects Releases Wiki Activity

Revert r83606 and add comments explaining why it isn't safe.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@83649 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Dan Gohman 2009-10-09 16:35:06 +00:00
parent 0c536bec1e
commit 7a721956f8
1 changed files with 10 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
lib/Analysis/ScalarEvolution.cpp
View File

@ -2951,20 +2951,18 @@ const SCEV *ScalarEvolution::createSCEV(Value *V) {
Operator *U = cast<Operator>(V);
switch (Opcode) {
case Instruction::Add: {
AddOperator *A = cast<AddOperator>(U);
case Instruction::Add:
// Don't transfer the NSW and NUW bits from the Add instruction to the
// Add expression, because the Instruction may be guarded by control
// flow and the no-overflow bits may not be valid for the expression in
// any context.
return getAddExpr(getSCEV(U->getOperand(0)),
getSCEV(U->getOperand(1)),
A->hasNoUnsignedWrap(),
A->hasNoSignedWrap());
}
case Instruction::Mul: {
MulOperator *M = cast<MulOperator>(U);
getSCEV(U->getOperand(1)));
case Instruction::Mul:
// Don't transfer the NSW and NUW bits from the Mul instruction to the
// Mul expression, as with Add.
return getMulExpr(getSCEV(U->getOperand(0)),
getSCEV(U->getOperand(1)),
M->hasNoUnsignedWrap(),
M->hasNoSignedWrap());
}
getSCEV(U->getOperand(1)));
case Instruction::UDiv:
return getUDivExpr(getSCEV(U->getOperand(0)),
getSCEV(U->getOperand(1)));