diff options
author | Erik Verbruggen <erik.verbruggen@digia.com> | 2014-05-12 11:24:08 +0200 |
---|---|---|
committer | The Qt Project <gerrit-noreply@qt-project.org> | 2014-06-03 11:54:10 +0200 |
commit | 481447ae664fa2998cb03f93f0c066caa2782bf0 (patch) | |
tree | 7faba9642a485ad14edbdf9977f746fae2dfcb1f /src/qml/compiler/qv4ssa.cpp | |
parent | 6725bc8f163baa8e12585d3f90a079bd92992a0b (diff) |
V4 IR: lower the number of memory allocations.
By using vectors indexed on temp-id instead of hashes.
Also record the order in which intervals are removed from the list of
life ranges. This order is the inverse of the list of ranges sorted by
start position. So instead of building _sortedIntervals and then sorting
them, reverse iterating over the finished intervals will do the same.
This speeds up the interval calculation by 40%.
Change-Id: If3c78496d7ca2d0e23f0a51302dcd1094dad7d4a
Reviewed-by: Simon Hausmann <simon.hausmann@digia.com>
Diffstat (limited to 'src/qml/compiler/qv4ssa.cpp')
-rw-r--r-- | src/qml/compiler/qv4ssa.cpp | 75 |
1 files changed, 51 insertions, 24 deletions
diff --git a/src/qml/compiler/qv4ssa.cpp b/src/qml/compiler/qv4ssa.cpp index de66456680..82c3628b28 100644 --- a/src/qml/compiler/qv4ssa.cpp +++ b/src/qml/compiler/qv4ssa.cpp @@ -3500,13 +3500,22 @@ void optimizeSSA(StatementWorklist &W, DefUses &defUses, DominatorTree &df) } class InputOutputCollector: protected StmtVisitor, protected ExprVisitor { + void setOutput(Temp *out) + { + Q_ASSERT(!output); + output = out; + } + public: - QList<Temp> inputs; - QList<Temp> outputs; + std::vector<Temp *> inputs; + Temp *output; + + InputOutputCollector() + { inputs.reserve(4); } void collect(Stmt *s) { - inputs.clear(); - outputs.clear(); + inputs.resize(0); + output = 0; s->accept(this); } @@ -3516,7 +3525,7 @@ protected: virtual void visitRegExp(IR::RegExp *) {} virtual void visitName(Name *) {} virtual void visitTemp(Temp *e) { - inputs.append(*e); + inputs.push_back(e); } virtual void visitArgLocal(ArgLocal *) {} virtual void visitClosure(Closure *) {} @@ -3539,7 +3548,7 @@ protected: virtual void visitMove(Move *s) { s->source->accept(this); if (Temp *t = s->target->asTemp()) { - outputs.append(*t); + setOutput(t); } else { s->target->accept(this); } @@ -3567,28 +3576,40 @@ protected: class LifeRanges { typedef QSet<Temp> LiveRegs; - QVector<LiveRegs> _liveIn; - QHash<Temp, LifeTimeInterval> _intervals; + std::vector<LiveRegs> _liveIn; + std::vector<LifeTimeInterval *> _intervals; + std::vector<LifeTimeInterval *> _finishedIntervals; typedef QVector<LifeTimeInterval> LifeTimeIntervals; LifeTimeIntervals _sortedIntervals; + LifeTimeInterval &interval(const Temp *temp) + { + LifeTimeInterval *<i = _intervals[temp->index]; + if (Q_UNLIKELY(!lti)) { + lti = new LifeTimeInterval; + lti->setTemp(*temp); + } + return *lti; + } + public: LifeRanges(IR::Function *function, const QHash<BasicBlock *, BasicBlock *> &startEndLoops) + : _intervals(function->tempCount) { function->renumberForLifeRanges(); _liveIn.resize(function->basicBlockCount()); + _finishedIntervals.reserve(function->tempCount); for (int i = function->basicBlockCount() - 1; i >= 0; --i) { BasicBlock *bb = function->basicBlock(i); buildIntervals(bb, startEndLoops.value(bb, 0)); } - _sortedIntervals.reserve(_intervals.size()); - for (QHash<Temp, LifeTimeInterval>::const_iterator i = _intervals.begin(), ei = _intervals.end(); i != ei; ++i) { - LifeTimeIntervals::iterator lti = _sortedIntervals.insert(_sortedIntervals.end(), i.value()); - lti->setTemp(i.key()); - } - std::sort(_sortedIntervals.begin(), _sortedIntervals.end(), LifeTimeInterval::lessThan); + _sortedIntervals.reserve(_finishedIntervals.size()); + for (unsigned i = _finishedIntervals.size(); i > 0;) + if (LifeTimeInterval *lti = _finishedIntervals[--i]) + _sortedIntervals.append(*lti); + qDeleteAll(_intervals); _intervals.clear(); } @@ -3607,6 +3628,8 @@ public: for (int i = 0, ei = _liveIn.size(); i != ei; ++i) { qout << "L" << i <<" live-in: "; QList<Temp> live = QList<Temp>::fromSet(_liveIn.at(i)); + if (live.isEmpty()) + qout << "(none)"; std::sort(live.begin(), live.end()); for (int i = 0; i < live.size(); ++i) { if (i > 0) qout << ", "; @@ -3638,35 +3661,39 @@ private: QVector<Stmt *> statements = bb->statements(); foreach (const Temp &opd, live) - _intervals[opd].addRange(statements.first()->id(), statements.last()->id()); + interval(&opd).addRange(statements.first()->id(), statements.last()->id()); InputOutputCollector collector; for (int i = statements.size() - 1; i >= 0; --i) { - Stmt *s = statements[i]; + Stmt *s = statements.at(i); if (Phi *phi = s->asPhi()) { LiveRegs::iterator it = live.find(*phi->targetTemp); if (it == live.end()) { // a phi node target that is only defined, but never used - _intervals[*phi->targetTemp].setFrom(s); + interval(phi->targetTemp).setFrom(s); } else { live.erase(it); + _finishedIntervals.push_back(&interval(phi->targetTemp)); } continue; } collector.collect(s); - foreach (const Temp &opd, collector.outputs) { - _intervals[opd].setFrom(s); - live.remove(opd); + if (Temp *opd = collector.output) { + LifeTimeInterval <i = interval(opd); + lti.setFrom(s); + live.remove(lti.temp()); + _finishedIntervals.push_back(<i); } - foreach (const Temp &opd, collector.inputs) { - _intervals[opd].addRange(statements.first()->id(), s->id()); - live.insert(opd); + for (unsigned i = 0, ei = collector.inputs.size(); i != ei; ++i) { + Temp *opd = collector.inputs[i]; + interval(opd).addRange(statements.first()->id(), s->id()); + live.insert(*opd); } } if (loopEnd) { // Meaning: bb is a loop header, because loopEnd is set to non-null. foreach (const Temp &opd, live) - _intervals[opd].addRange(statements.first()->id(), loopEnd->terminator()->id()); + interval(&opd).addRange(statements.first()->id(), loopEnd->terminator()->id()); } _liveIn[bb->index()] = live; |