6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-01-09 10:31:14 +00:00
Code Issues Projects Releases Wiki Activity

Use ScalarEvolution::getConstant instead of getUnknown to create

Browse Source 
SCEVConstants. This cleanup is a step toward letting getUnknown
be simpler.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@74037 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Dan Gohman 2009-06-24 00:38:39 +00:00
parent faf32c102d
commit b8be8b70a2
1 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
lib/Analysis/ScalarEvolution.cpp
View File

@ -719,8 +719,8 @@ const SCEV* ScalarEvolution::getTruncateExpr(const SCEV* Op,
Ty = getEffectiveSCEVType(Ty); Ty = getEffectiveSCEVType(Ty);
if (const SCEVConstant *SC = dyn_cast<SCEVConstant>(Op)) if (const SCEVConstant *SC = dyn_cast<SCEVConstant>(Op))
return getUnknown( return getConstant(
ConstantExpr::getTrunc(SC->getValue(), Ty)); cast<ConstantInt>(ConstantExpr::getTrunc(SC->getValue(), Ty)));
// trunc(trunc(x)) --> trunc(x) // trunc(trunc(x)) --> trunc(x)
if (const SCEVTruncateExpr *ST = dyn_cast<SCEVTruncateExpr>(Op)) if (const SCEVTruncateExpr *ST = dyn_cast<SCEVTruncateExpr>(Op))
@ -759,7 +759,7 @@ const SCEV* ScalarEvolution::getZeroExtendExpr(const SCEV* Op,
const Type *IntTy = getEffectiveSCEVType(Ty); const Type *IntTy = getEffectiveSCEVType(Ty);
Constant *C = ConstantExpr::getZExt(SC->getValue(), IntTy); Constant *C = ConstantExpr::getZExt(SC->getValue(), IntTy);
if (IntTy != Ty) C = ConstantExpr::getIntToPtr(C, Ty); if (IntTy != Ty) C = ConstantExpr::getIntToPtr(C, Ty);
return getUnknown(C); return getConstant(cast<ConstantInt>(C));
} }
// zext(zext(x)) --> zext(x) // zext(zext(x)) --> zext(x)
@ -847,7 +847,7 @@ const SCEV* ScalarEvolution::getSignExtendExpr(const SCEV* Op,
const Type *IntTy = getEffectiveSCEVType(Ty); const Type *IntTy = getEffectiveSCEVType(Ty);
Constant *C = ConstantExpr::getSExt(SC->getValue(), IntTy); Constant *C = ConstantExpr::getSExt(SC->getValue(), IntTy);
if (IntTy != Ty) C = ConstantExpr::getIntToPtr(C, Ty); if (IntTy != Ty) C = ConstantExpr::getIntToPtr(C, Ty);
return getUnknown(C); return getConstant(cast<ConstantInt>(C));
} }
// sext(sext(x)) --> sext(x) // sext(sext(x)) --> sext(x)
@ -1617,7 +1617,8 @@ const SCEV* ScalarEvolution::getUDivExpr(const SCEV* LHS,
if (const SCEVConstant *LHSC = dyn_cast<SCEVConstant>(LHS)) { if (const SCEVConstant *LHSC = dyn_cast<SCEVConstant>(LHS)) {
Constant *LHSCV = LHSC->getValue(); Constant *LHSCV = LHSC->getValue();
Constant *RHSCV = RHSC->getValue(); Constant *RHSCV = RHSC->getValue();
return getUnknown(ConstantExpr::getUDiv(LHSCV, RHSCV)); return getConstant(cast<ConstantInt>(ConstantExpr::getUDiv(LHSCV,
RHSCV)));
} }
} }
@ -1966,7 +1967,7 @@ const SCEV* ScalarEvolution::getIntegerSCEV(int Val, const Type *Ty) {
/// ///
const SCEV* ScalarEvolution::getNegativeSCEV(const SCEV* V) { const SCEV* ScalarEvolution::getNegativeSCEV(const SCEV* V) {
if (const SCEVConstant *VC = dyn_cast<SCEVConstant>(V)) if (const SCEVConstant *VC = dyn_cast<SCEVConstant>(V))
return getUnknown(ConstantExpr::getNeg(VC->getValue())); return getConstant(cast<ConstantInt>(ConstantExpr::getNeg(VC->getValue())));
const Type *Ty = V->getType(); const Type *Ty = V->getType();
Ty = getEffectiveSCEVType(Ty); Ty = getEffectiveSCEVType(Ty);
@ -1976,7 +1977,7 @@ const SCEV* ScalarEvolution::getNegativeSCEV(const SCEV* V) {
/// getNotSCEV - Return a SCEV corresponding to ~V = -1-V /// getNotSCEV - Return a SCEV corresponding to ~V = -1-V
const SCEV* ScalarEvolution::getNotSCEV(const SCEV* V) { const SCEV* ScalarEvolution::getNotSCEV(const SCEV* V) {
if (const SCEVConstant *VC = dyn_cast<SCEVConstant>(V)) if (const SCEVConstant *VC = dyn_cast<SCEVConstant>(V))
return getUnknown(ConstantExpr::getNot(VC->getValue())); return getConstant(cast<ConstantInt>(ConstantExpr::getNot(VC->getValue())));
const Type *Ty = V->getType(); const Type *Ty = V->getType();
Ty = getEffectiveSCEVType(Ty); Ty = getEffectiveSCEVType(Ty);