mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2025-09-24 23:28:41 +00:00
Reverts r221772 which fails tests
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@221773 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
@@ -31,7 +31,6 @@
|
||||
#include "llvm/Analysis/LoopInfo.h"
|
||||
#include "llvm/Analysis/LoopPass.h"
|
||||
#include "llvm/Analysis/ScalarEvolutionExpander.h"
|
||||
#include "llvm/Analysis/TargetTransformInfo.h"
|
||||
#include "llvm/IR/BasicBlock.h"
|
||||
#include "llvm/IR/CFG.h"
|
||||
#include "llvm/IR/Constants.h"
|
||||
@@ -70,12 +69,11 @@ static cl::opt<bool> ReduceLiveIVs("liv-reduce", cl::Hidden,
|
||||
|
||||
namespace {
|
||||
class IndVarSimplify : public LoopPass {
|
||||
LoopInfo *LI;
|
||||
ScalarEvolution *SE;
|
||||
DominatorTree *DT;
|
||||
const DataLayout *DL;
|
||||
TargetLibraryInfo *TLI;
|
||||
const TargetTransformInfo *TTI;
|
||||
LoopInfo *LI;
|
||||
ScalarEvolution *SE;
|
||||
DominatorTree *DT;
|
||||
const DataLayout *DL;
|
||||
TargetLibraryInfo *TLI;
|
||||
|
||||
SmallVector<WeakVH, 16> DeadInsts;
|
||||
bool Changed;
|
||||
@@ -663,7 +661,7 @@ namespace {
|
||||
/// extended by this sign or zero extend operation. This is used to determine
|
||||
/// the final width of the IV before actually widening it.
|
||||
static void visitIVCast(CastInst *Cast, WideIVInfo &WI, ScalarEvolution *SE,
|
||||
const DataLayout *DL, const TargetTransformInfo *TTI) {
|
||||
const DataLayout *DL) {
|
||||
bool IsSigned = Cast->getOpcode() == Instruction::SExt;
|
||||
if (!IsSigned && Cast->getOpcode() != Instruction::ZExt)
|
||||
return;
|
||||
@@ -673,19 +671,6 @@ static void visitIVCast(CastInst *Cast, WideIVInfo &WI, ScalarEvolution *SE,
|
||||
if (DL && !DL->isLegalInteger(Width))
|
||||
return;
|
||||
|
||||
// Cast is either an sext or zext up to this point.
|
||||
// We should not widen an indvar if arithmetics on the wider indvar are more
|
||||
// expensive than those on the narrower indvar. We check only the cost of ADD
|
||||
// because at least an ADD is required to increment the induction variable. We
|
||||
// could compute more comprehensively the cost of all instructions on the
|
||||
// induction variable when necessary.
|
||||
if (TTI &&
|
||||
TTI->getArithmeticInstrCost(Instruction::Add, Ty) >
|
||||
TTI->getArithmeticInstrCost(Instruction::Add,
|
||||
Cast->getOperand(0)->getType())) {
|
||||
return;
|
||||
}
|
||||
|
||||
if (!WI.WidestNativeType) {
|
||||
WI.WidestNativeType = SE->getEffectiveSCEVType(Ty);
|
||||
WI.IsSigned = IsSigned;
|
||||
@@ -1202,16 +1187,14 @@ namespace {
|
||||
class IndVarSimplifyVisitor : public IVVisitor {
|
||||
ScalarEvolution *SE;
|
||||
const DataLayout *DL;
|
||||
const TargetTransformInfo *TTI;
|
||||
PHINode *IVPhi;
|
||||
|
||||
public:
|
||||
WideIVInfo WI;
|
||||
|
||||
IndVarSimplifyVisitor(PHINode *IV, ScalarEvolution *SCEV,
|
||||
const DataLayout *DL, const TargetTransformInfo *TTI,
|
||||
const DominatorTree *DTree)
|
||||
: SE(SCEV), DL(DL), TTI(TTI), IVPhi(IV) {
|
||||
const DataLayout *DL, const DominatorTree *DTree):
|
||||
SE(SCEV), DL(DL), IVPhi(IV) {
|
||||
DT = DTree;
|
||||
WI.NarrowIV = IVPhi;
|
||||
if (ReduceLiveIVs)
|
||||
@@ -1219,9 +1202,7 @@ namespace {
|
||||
}
|
||||
|
||||
// Implement the interface used by simplifyUsersOfIV.
|
||||
void visitCast(CastInst *Cast) override {
|
||||
visitIVCast(Cast, WI, SE, DL, TTI);
|
||||
}
|
||||
void visitCast(CastInst *Cast) override { visitIVCast(Cast, WI, SE, DL); }
|
||||
};
|
||||
}
|
||||
|
||||
@@ -1255,7 +1236,7 @@ void IndVarSimplify::SimplifyAndExtend(Loop *L,
|
||||
PHINode *CurrIV = LoopPhis.pop_back_val();
|
||||
|
||||
// Information about sign/zero extensions of CurrIV.
|
||||
IndVarSimplifyVisitor Visitor(CurrIV, SE, DL, TTI, DT);
|
||||
IndVarSimplifyVisitor Visitor(CurrIV, SE, DL, DT);
|
||||
|
||||
Changed |= simplifyUsersOfIV(CurrIV, SE, &LPM, DeadInsts, &Visitor);
|
||||
|
||||
@@ -1914,7 +1895,6 @@ bool IndVarSimplify::runOnLoop(Loop *L, LPPassManager &LPM) {
|
||||
DataLayoutPass *DLP = getAnalysisIfAvailable<DataLayoutPass>();
|
||||
DL = DLP ? &DLP->getDataLayout() : nullptr;
|
||||
TLI = getAnalysisIfAvailable<TargetLibraryInfo>();
|
||||
TTI = getAnalysisIfAvailable<TargetTransformInfo>();
|
||||
|
||||
DeadInsts.clear();
|
||||
Changed = false;
|
||||
|
Reference in New Issue
Block a user