Index: src/mips/lithium-codegen-mips.cc |
diff --git a/src/mips/lithium-codegen-mips.cc b/src/mips/lithium-codegen-mips.cc |
index 3d490ab233b294023c62905653a8be6dcee46c02..8f3423ecd777b585ebabeee4b525b82d15909d00 100644 |
--- a/src/mips/lithium-codegen-mips.cc |
+++ b/src/mips/lithium-codegen-mips.cc |
@@ -5193,31 +5193,63 @@ void LCodeGen::DoCheckFunction(LCheckFunction* instr) { |
} |
-void LCodeGen::DoCheckMapCommon(Register map_reg, |
- Handle<Map> map, |
- LEnvironment* env) { |
- Label success; |
- __ CompareMapAndBranch(map_reg, map, &success, eq, &success); |
- DeoptimizeIf(al, env); |
- __ bind(&success); |
+void LCodeGen::DoDeferredInstanceMigration(LCheckMaps* instr, Register object) { |
+ { |
+ PushSafepointRegistersScope scope(this, Safepoint::kWithRegisters); |
+ __ push(object); |
+ CallRuntimeFromDeferred(Runtime::kMigrateInstance, 1, instr); |
+ __ StoreToSafepointRegisterSlot(v0, scratch0()); |
+ } |
+ __ And(at, scratch0(), Operand(kSmiTagMask)); |
+ DeoptimizeIf(eq, instr->environment(), at, Operand(zero_reg)); |
} |
void LCodeGen::DoCheckMaps(LCheckMaps* instr) { |
+ class DeferredCheckMaps: public LDeferredCode { |
+ public: |
+ DeferredCheckMaps(LCodeGen* codegen, LCheckMaps* instr, Register object) |
+ : LDeferredCode(codegen), instr_(instr), object_(object) { |
+ SetExit(check_maps()); |
+ } |
+ virtual void Generate() { |
+ codegen()->DoDeferredInstanceMigration(instr_, object_); |
+ } |
+ Label* check_maps() { return &check_maps_; } |
+ virtual LInstruction* instr() { return instr_; } |
+ private: |
+ LCheckMaps* instr_; |
+ Label check_maps_; |
+ Register object_; |
+ }; |
+ |
if (instr->hydrogen()->CanOmitMapChecks()) return; |
Register map_reg = scratch0(); |
LOperand* input = instr->value(); |
ASSERT(input->IsRegister()); |
Register reg = ToRegister(input); |
- Label success; |
SmallMapList* map_set = instr->hydrogen()->map_set(); |
__ lw(map_reg, FieldMemOperand(reg, HeapObject::kMapOffset)); |
+ |
+ DeferredCheckMaps* deferred = NULL; |
+ if (instr->hydrogen()->has_migration_target()) { |
+ deferred = new(zone()) DeferredCheckMaps(this, instr, reg); |
+ __ bind(deferred->check_maps()); |
+ } |
+ |
+ Label success; |
for (int i = 0; i < map_set->length() - 1; i++) { |
Handle<Map> map = map_set->at(i); |
__ CompareMapAndBranch(map_reg, map, &success, eq, &success); |
} |
Handle<Map> map = map_set->last(); |
- DoCheckMapCommon(map_reg, map, instr->environment()); |
+ __ CompareMapAndBranch(map_reg, map, &success, eq, &success); |
+ if (instr->hydrogen()->has_migration_target()) { |
+ __ Branch(deferred->entry()); |
+ } else { |
+ DeoptimizeIf(al, instr->environment()); |
+ } |
+ |
__ bind(&success); |
} |