Changes in directory llvm/lib/Transforms/Scalar:
LoopStrengthReduce.cpp updated: 1.110 -> 1.111 --- Log message: Reverse a premature commital. --- Diffs of the changes: (+17 -21) LoopStrengthReduce.cpp | 38 +++++++++++++++++--------------------- 1 files changed, 17 insertions(+), 21 deletions(-) Index: llvm/lib/Transforms/Scalar/LoopStrengthReduce.cpp diff -u llvm/lib/Transforms/Scalar/LoopStrengthReduce.cpp:1.110 llvm/lib/Transforms/Scalar/LoopStrengthReduce.cpp:1.111 --- llvm/lib/Transforms/Scalar/LoopStrengthReduce.cpp:1.110 Thu Mar 1 18:28:52 2007 +++ llvm/lib/Transforms/Scalar/LoopStrengthReduce.cpp Thu Mar 1 18:31:39 2007 @@ -540,7 +540,7 @@ // If there is no immediate value, skip the next part. if (SCEVConstant *SC = dyn_cast<SCEVConstant>(Imm)) - if (SC->getValue()->isZero()) + if (SC->getValue()->isNullValue()) return Rewriter.expandCodeFor(NewBase, BaseInsertPt, OperandValToReplace->getType()); @@ -779,7 +779,7 @@ SeparateSubExprs(SubExprs, SARE->getOperand(0)); } } else if (!isa<SCEVConstant>(Expr) || - !cast<SCEVConstant>(Expr)->getValue()->isZero()) { + !cast<SCEVConstant>(Expr)->getValue()->isNullValue()) { // Do not add zero. SubExprs.push_back(Expr); } @@ -869,7 +869,7 @@ /// static bool isZero(SCEVHandle &V) { if (SCEVConstant *SC = dyn_cast<SCEVConstant>(V)) - return SC->getValue()->isZero(); + return SC->getValue()->getZExtValue() == 0; return false; } @@ -883,18 +883,17 @@ if (!TLI) return 0; if (SCEVConstant *SC = dyn_cast<SCEVConstant>(Stride)) { - const APInt &SInt = SC->getValue()->getValue(); - if (SInt == 1) - return 0; + int64_t SInt = SC->getValue()->getSExtValue(); + if (SInt == 1) return 0; for (TargetLowering::legal_am_scale_iterator I = TLI->legal_am_scale_begin(), E = TLI->legal_am_scale_end(); I != E; ++I) { - APInt Scale(SInt.getBitWidth(), *I); - if (SInt.abs().ult(Scale) || SInt.srem(Scale) != 0) + unsigned Scale = *I; + if (unsigned(abs(SInt)) < Scale || (SInt % Scale) != 0) continue; std::map<SCEVHandle, IVsOfOneStride>::iterator SI = - IVsByStride.find(SCEVUnknown::getIntegerSCEV(SInt.sdiv(Scale))); + IVsByStride.find(SCEVUnknown::getIntegerSCEV(SInt/Scale, UIntPtrTy)); if (SI == IVsByStride.end()) continue; for (std::vector<IVExpr>::iterator II = SI->second.IVs.begin(), @@ -903,7 +902,7 @@ // Only reuse previous IV if it would not require a type conversion. if (isZero(II->Base) && II->Base->getType() == Ty) { IV = *II; - return Scale.getZExtValue(); + return Scale; } } } @@ -1149,14 +1148,14 @@ // are reusing an IV, it has not been used to initialize the PHI node. // Add it to the expression used to rewrite the uses. if (!isa<ConstantInt>(CommonBaseV) || - !cast<ConstantInt>(CommonBaseV)->isZero()) + !cast<ConstantInt>(CommonBaseV)->isNullValue()) RewriteExpr = SCEVAddExpr::get(RewriteExpr, SCEVUnknown::get(CommonBaseV)); } // Now that we know what we need to do, insert code before User for the // immediate and any loop-variant expressions. - if (!isa<ConstantInt>(BaseV) || !cast<ConstantInt>(BaseV)->isZero()) + if (!isa<ConstantInt>(BaseV) || !cast<ConstantInt>(BaseV)->isNullValue()) // Add BaseV to the PHI value if needed. RewriteExpr = SCEVAddExpr::get(RewriteExpr, SCEVUnknown::get(BaseV)); @@ -1258,17 +1257,14 @@ SCEVConstant *LHSC = dyn_cast<SCEVConstant>(LHS); SCEVConstant *RHSC = dyn_cast<SCEVConstant>(RHS); if (LHSC && RHSC) { - APInt LV(LHSC->getValue()->getValue()); - APInt RV(RHSC->getValue()->getValue()); - uint32_t MaxWidth = std::max(LV.getBitWidth(), RV.getBitWidth()); - LV.sextOrTrunc(MaxWidth); - RV.sextOrTrunc(MaxWidth); - APInt ALV(LV.abs()); - APInt ARV(RV.abs()); + int64_t LV = LHSC->getValue()->getSExtValue(); + int64_t RV = RHSC->getValue()->getSExtValue(); + uint64_t ALV = (LV < 0) ? -LV : LV; + uint64_t ARV = (RV < 0) ? -RV : RV; if (ALV == ARV) - return LV.sgt(RV); + return LV > RV; else - return ALV.ult(ARV); + return ALV < ARV; } return (LHSC && !RHSC); } _______________________________________________ llvm-commits mailing list llvm-commits@cs.uiuc.edu http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits