mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2025-08-10 02:25:47 +00:00
Reverted r156659, due to probable performance regressions, DenseMap should be used here:
IntegersSubsetMapping - Replaced type of Items field from std::list with std::map. In neares future I'll test it with DenseMap and do the correspond replacement if possible. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159703 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
@@ -58,15 +58,22 @@ public:
|
|||||||
|
|
||||||
protected:
|
protected:
|
||||||
|
|
||||||
typedef std::map<RangeEx, SuccessorClass*> CaseItems;
|
typedef std::list<Cluster> CaseItems;
|
||||||
typedef typename CaseItems::iterator CaseItemIt;
|
typedef typename CaseItems::iterator CaseItemIt;
|
||||||
typedef typename CaseItems::const_iterator CaseItemConstIt;
|
typedef typename CaseItems::const_iterator CaseItemConstIt;
|
||||||
|
|
||||||
// TODO: Change unclean CRS prefixes to SubsetMap for example.
|
// TODO: Change unclean CRS prefixes to SubsetMap for example.
|
||||||
typedef std::map<SuccessorClass*, RangesCollection > CRSMap;
|
typedef std::map<SuccessorClass*, RangesCollection > CRSMap;
|
||||||
typedef typename CRSMap::iterator CRSMapIt;
|
typedef typename CRSMap::iterator CRSMapIt;
|
||||||
|
|
||||||
|
struct ClustersCmp {
|
||||||
|
bool operator()(const Cluster &C1, const Cluster &C2) {
|
||||||
|
return C1.first < C2.first;
|
||||||
|
}
|
||||||
|
};
|
||||||
|
|
||||||
CaseItems Items;
|
CaseItems Items;
|
||||||
|
bool Sorted;
|
||||||
bool SingleNumbersOnly;
|
bool SingleNumbersOnly;
|
||||||
|
|
||||||
bool isIntersected(CaseItemIt& LItem, CaseItemIt& RItem) {
|
bool isIntersected(CaseItemIt& LItem, CaseItemIt& RItem) {
|
||||||
@@ -85,6 +92,18 @@ protected:
|
|||||||
return LItem->first.getHigh() >= RLow;
|
return LItem->first.getHigh() >= RLow;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
void sort() {
|
||||||
|
if (!Sorted) {
|
||||||
|
std::vector<Cluster> clustersVector;
|
||||||
|
clustersVector.reserve(Items.size());
|
||||||
|
clustersVector.insert(clustersVector.begin(), Items.begin(), Items.end());
|
||||||
|
std::sort(clustersVector.begin(), clustersVector.end(), ClustersCmp());
|
||||||
|
Items.clear();
|
||||||
|
Items.insert(Items.begin(), clustersVector.begin(), clustersVector.end());
|
||||||
|
Sorted = true;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
enum DiffProcessState {
|
enum DiffProcessState {
|
||||||
L_OPENED,
|
L_OPENED,
|
||||||
INTERSECT_OPENED,
|
INTERSECT_OPENED,
|
||||||
@@ -282,7 +301,10 @@ public:
|
|||||||
typedef std::list<Case> Cases;
|
typedef std::list<Case> Cases;
|
||||||
typedef typename Cases::iterator CasesIt;
|
typedef typename Cases::iterator CasesIt;
|
||||||
|
|
||||||
IntegersSubsetMapping() : SingleNumbersOnly(true) {}
|
IntegersSubsetMapping() {
|
||||||
|
Sorted = false;
|
||||||
|
SingleNumbersOnly = true;
|
||||||
|
}
|
||||||
|
|
||||||
bool verify() {
|
bool verify() {
|
||||||
RangeIterator DummyErrItem;
|
RangeIterator DummyErrItem;
|
||||||
@@ -292,6 +314,7 @@ public:
|
|||||||
bool verify(RangeIterator& errItem) {
|
bool verify(RangeIterator& errItem) {
|
||||||
if (Items.empty())
|
if (Items.empty())
|
||||||
return true;
|
return true;
|
||||||
|
sort();
|
||||||
for (CaseItemIt j = Items.begin(), i = j++, e = Items.end();
|
for (CaseItemIt j = Items.begin(), i = j++, e = Items.end();
|
||||||
j != e; i = j++) {
|
j != e; i = j++) {
|
||||||
if (isIntersected(i, j) && i->second != j->second) {
|
if (isIntersected(i, j) && i->second != j->second) {
|
||||||
@@ -332,6 +355,7 @@ public:
|
|||||||
void optimize() {
|
void optimize() {
|
||||||
if (Items.size() < 2)
|
if (Items.size() < 2)
|
||||||
return;
|
return;
|
||||||
|
sort();
|
||||||
CaseItems OldItems = Items;
|
CaseItems OldItems = Items;
|
||||||
Items.clear();
|
Items.clear();
|
||||||
const IntTy *Low = &OldItems.begin()->first.getLow();
|
const IntTy *Low = &OldItems.begin()->first.getLow();
|
||||||
@@ -356,6 +380,8 @@ public:
|
|||||||
}
|
}
|
||||||
RangeEx R(*Low, *High, Weight);
|
RangeEx R(*Low, *High, Weight);
|
||||||
add(R, Successor);
|
add(R, Successor);
|
||||||
|
// We recollected the Items, but we kept it sorted.
|
||||||
|
Sorted = true;
|
||||||
}
|
}
|
||||||
|
|
||||||
/// Adds a constant value.
|
/// Adds a constant value.
|
||||||
@@ -374,7 +400,7 @@ public:
|
|||||||
add(REx, S);
|
add(REx, S);
|
||||||
}
|
}
|
||||||
void add(const RangeEx &R, SuccessorClass *S = 0) {
|
void add(const RangeEx &R, SuccessorClass *S = 0) {
|
||||||
Items.insert(std::make_pair(R, S));
|
Items.push_back(std::make_pair(R, S));
|
||||||
if (!R.isSingleNumber())
|
if (!R.isSingleNumber())
|
||||||
SingleNumbersOnly = false;
|
SingleNumbersOnly = false;
|
||||||
}
|
}
|
||||||
@@ -389,7 +415,7 @@ public:
|
|||||||
}
|
}
|
||||||
|
|
||||||
void add(self& RHS) {
|
void add(self& RHS) {
|
||||||
Items.insert(RHS.Items.begin(), RHS.Items.end());
|
Items.insert(Items.end(), RHS.Items.begin(), RHS.Items.end());
|
||||||
if (!RHS.SingleNumbersOnly)
|
if (!RHS.SingleNumbersOnly)
|
||||||
SingleNumbersOnly = false;
|
SingleNumbersOnly = false;
|
||||||
}
|
}
|
||||||
|
@@ -2450,23 +2450,22 @@ size_t SelectionDAGBuilder::Clusterify(CaseVector& Cases,
|
|||||||
size_t numCmps = 0;
|
size_t numCmps = 0;
|
||||||
for (Clusterifier::RangeIterator i = TheClusterifier.begin(),
|
for (Clusterifier::RangeIterator i = TheClusterifier.begin(),
|
||||||
e = TheClusterifier.end(); i != e; ++i, ++numCmps) {
|
e = TheClusterifier.end(); i != e; ++i, ++numCmps) {
|
||||||
const Clusterifier::RangeEx &R = i->first;
|
Clusterifier::Cluster &C = *i;
|
||||||
MachineBasicBlock *MBB = i->second;
|
|
||||||
unsigned W = 0;
|
unsigned W = 0;
|
||||||
if (BPI) {
|
if (BPI) {
|
||||||
W = BPI->getEdgeWeight(SI.getParent(), MBB->getBasicBlock());
|
W = BPI->getEdgeWeight(SI.getParent(), C.second->getBasicBlock());
|
||||||
if (!W)
|
if (!W)
|
||||||
W = 16;
|
W = 16;
|
||||||
W *= R.Weight;
|
W *= C.first.Weight;
|
||||||
BPI->setEdgeWeight(SI.getParent(), MBB->getBasicBlock(), W);
|
BPI->setEdgeWeight(SI.getParent(), C.second->getBasicBlock(), W);
|
||||||
}
|
}
|
||||||
|
|
||||||
// FIXME: Currently work with ConstantInt based numbers.
|
// FIXME: Currently work with ConstantInt based numbers.
|
||||||
// Changing it to APInt based is a pretty heavy for this commit.
|
// Changing it to APInt based is a pretty heavy for this commit.
|
||||||
Cases.push_back(Case(R.getLow().toConstantInt(),
|
Cases.push_back(Case(C.first.getLow().toConstantInt(),
|
||||||
R.getHigh().toConstantInt(), MBB, W));
|
C.first.getHigh().toConstantInt(), C.second, W));
|
||||||
|
|
||||||
if (R.getLow() != R.getHigh())
|
if (C.first.getLow() != C.first.getHigh())
|
||||||
// A range counts double, since it requires two compares.
|
// A range counts double, since it requires two compares.
|
||||||
++numCmps;
|
++numCmps;
|
||||||
}
|
}
|
||||||
|
@@ -238,14 +238,13 @@ unsigned LowerSwitch::Clusterify(CaseVector& Cases, SwitchInst *SI) {
|
|||||||
size_t numCmps = 0;
|
size_t numCmps = 0;
|
||||||
for (IntegersSubsetToBB::RangeIterator i = TheClusterifier.begin(),
|
for (IntegersSubsetToBB::RangeIterator i = TheClusterifier.begin(),
|
||||||
e = TheClusterifier.end(); i != e; ++i, ++numCmps) {
|
e = TheClusterifier.end(); i != e; ++i, ++numCmps) {
|
||||||
const IntegersSubsetToBB::RangeTy &R = i->first;
|
IntegersSubsetToBB::Cluster &C = *i;
|
||||||
BasicBlock *S = i->second;
|
|
||||||
|
|
||||||
// FIXME: Currently work with ConstantInt based numbers.
|
// FIXME: Currently work with ConstantInt based numbers.
|
||||||
// Changing it to APInt based is a pretty heavy for this commit.
|
// Changing it to APInt based is a pretty heavy for this commit.
|
||||||
Cases.push_back(CaseRange(R.getLow().toConstantInt(),
|
Cases.push_back(CaseRange(C.first.getLow().toConstantInt(),
|
||||||
R.getHigh().toConstantInt(), S));
|
C.first.getHigh().toConstantInt(), C.second));
|
||||||
if (R.isSingleNumber())
|
if (C.first.isSingleNumber())
|
||||||
// A range counts double, since it requires two compares.
|
// A range counts double, since it requires two compares.
|
||||||
++numCmps;
|
++numCmps;
|
||||||
}
|
}
|
||||||
|
Reference in New Issue
Block a user