Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(769)

Unified Diff: runtime/vm/flow_graph_compiler.cc

Issue 13801014: Fix bug in ParallelMoveResolver::EmitSwap: implement swaps of FPU spill slots. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Add comments Created 7 years, 8 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
Index: runtime/vm/flow_graph_compiler.cc
diff --git a/runtime/vm/flow_graph_compiler.cc b/runtime/vm/flow_graph_compiler.cc
index 55add2450e04d880b06938a28cc4d9eec7e2d342..a994f2e286468b1d6592b1017c9e65bf1084a7a8 100644
--- a/runtime/vm/flow_graph_compiler.cc
+++ b/runtime/vm/flow_graph_compiler.cc
@@ -79,7 +79,7 @@ RawDeoptInfo* CompilerDeoptInfo::CreateDeoptInfo(FlowGraphCompiler* compiler,
for (intptr_t i = current->Length() - 1;
i >= current->fixed_parameter_count();
i--) {
- builder->AddCopy(current->LocationAt(i), slot_ix++);
+ builder->AddCopy(current->ValueAt(i), current->LocationAt(i), slot_ix++);
}
// PC marker and caller FP.
@@ -98,14 +98,18 @@ RawDeoptInfo* CompilerDeoptInfo::CreateDeoptInfo(FlowGraphCompiler* compiler,
// The values of outgoing arguments can be changed from the inlined call so
// we must read them from the previous environment.
for (intptr_t i = previous->fixed_parameter_count() - 1; i >= 0; i--) {
- builder->AddCopy(previous->LocationAt(i), slot_ix++);
+ builder->AddCopy(previous->ValueAt(i),
+ previous->LocationAt(i),
+ slot_ix++);
}
// Set the locals, note that outgoing arguments are not in the environment.
for (intptr_t i = current->Length() - 1;
i >= current->fixed_parameter_count();
i--) {
- builder->AddCopy(current->LocationAt(i), slot_ix++);
+ builder->AddCopy(current->ValueAt(i),
+ current->LocationAt(i),
+ slot_ix++);
}
// PC marker and caller FP.
@@ -124,7 +128,7 @@ RawDeoptInfo* CompilerDeoptInfo::CreateDeoptInfo(FlowGraphCompiler* compiler,
// For the outermost environment, set the incoming arguments.
for (intptr_t i = previous->fixed_parameter_count() - 1; i >= 0; i--) {
- builder->AddCopy(previous->LocationAt(i), slot_ix++);
+ builder->AddCopy(previous->ValueAt(i), previous->LocationAt(i), slot_ix++);
}
const DeoptInfo& deopt_info = DeoptInfo::Handle(builder->CreateDeoptInfo());
@@ -416,7 +420,7 @@ void FlowGraphCompiler::RecordSafepoint(LocationSummary* locs) {
// FPU registers have the highest register number at the highest
// address (i.e., first in the stackmap).
const intptr_t kFpuRegisterSpillFactor =
- FlowGraphAllocator::kFpuRegisterSpillFactor;
+ kFpuRegisterSize / kWordSize;
for (intptr_t i = kNumberOfFpuRegisters - 1; i >= 0; --i) {
FpuRegister reg = static_cast<FpuRegister>(i);
if (regs->ContainsFpuRegister(reg)) {
@@ -944,6 +948,91 @@ void ParallelMoveResolver::PerformMove(int index) {
}
+bool ParallelMoveResolver::IsScratchLocation(Location loc) {
+ for (int i = 0; i < moves_.length(); ++i) {
+ if (moves_[i]->Blocks(loc)) {
+ return false;
+ }
+ }
+
+ for (int i = 0; i < moves_.length(); ++i) {
+ if (moves_[i]->dest().Equals(loc)) {
+ return true;
+ }
+ }
+
+ return false;
+}
+
+
+ParallelMoveResolver::ScratchFpuRegisterScope::ScratchFpuRegisterScope(
Florian Schneider 2013/04/09 09:44:27 Can you implement ScratchFpuRegisterScope in using
+ ParallelMoveResolver* resolver)
+ : resolver_(resolver),
+ reg_(kNoXmmRegister),
+ spilled_(false) {
+ ASSERT(XMM0 == 0);
+ for (intptr_t reg = 1; reg < kNumberOfFpuRegisters; reg++) {
+ Location scratch = Location::FpuRegisterLocation(
+ static_cast<FpuRegister>(reg));
+ if (resolver->IsScratchLocation(scratch)) {
+ reg_ = static_cast<FpuRegister>(reg);
+ break;
+ }
+ }
+
+ if (reg_ == kNoXmmRegister) {
+ spilled_ = true;
+ reg_ = XMM1;
+ resolver->SpillFpuScratch(reg_);
+ }
+}
+
+
+ParallelMoveResolver::ScratchFpuRegisterScope::~ScratchFpuRegisterScope() {
+ if (spilled_) {
+ resolver_->RestoreFpuScratch(reg_);
+ }
+}
+
+
+ParallelMoveResolver::ScratchRegisterScope::ScratchRegisterScope(
+ ParallelMoveResolver* resolver, Register blocked)
+ : resolver_(resolver),
+ reg_(kNoRegister),
+ spilled_(false) {
+ for (intptr_t reg = 0; reg < kNumberOfCpuRegisters; reg++) {
+ if (blocked == reg) {
+ continue;
+ }
+
+ Location scratch = Location::RegisterLocation(
+ static_cast<Register>(reg));
+ if (resolver->IsScratchLocation(scratch)) {
+ reg_ = static_cast<Register>(reg);
+ break;
+ }
+ }
+
+ if (reg_ == kNoRegister) {
+ spilled_ = true;
+ for (intptr_t reg = 0; reg < kNumberOfCpuRegisters; reg++) {
+ if (blocked != reg) {
+ reg_ = static_cast<Register>(reg);
+ break;
+ }
+ }
+ resolver->SpillScratch(reg_);
+ }
+}
+
+
+ParallelMoveResolver::ScratchRegisterScope::~ScratchRegisterScope() {
+ if (spilled_) {
+ resolver_->RestoreScratch(reg_);
+ }
+}
+
+
intptr_t FlowGraphCompiler::ElementSizeFor(intptr_t cid) {
if (RawObject::IsExternalTypedDataClassId(cid)) {
return ExternalTypedData::ElementSizeInBytes(cid);

Powered by Google App Engine
This is Rietveld 408576698