Index: src/ia32/lithium-codegen-ia32.cc |
diff --git a/src/ia32/lithium-codegen-ia32.cc b/src/ia32/lithium-codegen-ia32.cc |
index ddba1e19c3558e6cda7825ece911c189e214b526..9eb1a3469c101c245dd20e7cca8ca3ffcbbf912a 100644 |
--- a/src/ia32/lithium-codegen-ia32.cc |
+++ b/src/ia32/lithium-codegen-ia32.cc |
@@ -5793,31 +5793,67 @@ void LCodeGen::DoCheckFunction(LCheckFunction* instr) { |
} |
-void LCodeGen::DoCheckMapCommon(Register reg, |
- Handle<Map> map, |
- LInstruction* instr) { |
- Label success; |
- __ CompareMap(reg, map, &success); |
- DeoptimizeIf(not_equal, instr->environment()); |
- __ bind(&success); |
+void LCodeGen::DoDeferredInstanceMigration(LCheckMaps* instr, Register object) { |
+ { |
+ PushSafepointRegistersScope scope(this); |
+ __ push(object); |
+ CallRuntimeFromDeferred( |
+ Runtime::kMigrateInstance, 1, instr, instr->context()); |
+ __ test(eax, Immediate(kSmiTagMask)); |
+ } |
+ DeoptimizeIf(zero, instr->environment()); |
} |
void LCodeGen::DoCheckMaps(LCheckMaps* instr) { |
+ class DeferredInstanceMigration: public LDeferredCode { |
+ public: |
+ DeferredInstanceMigration(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; |
+ |
LOperand* input = instr->value(); |
ASSERT(input->IsRegister()); |
Register reg = ToRegister(input); |
- Label success; |
SmallMapList* map_set = instr->hydrogen()->map_set(); |
+ |
+ DeferredInstanceMigration* deferred = NULL; |
+ if (instr->hydrogen()->has_migration_target()) { |
+ deferred = new(zone()) DeferredInstanceMigration(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); |
__ CompareMap(reg, map, &success); |
__ j(equal, &success); |
} |
+ |
Handle<Map> map = map_set->last(); |
- DoCheckMapCommon(reg, map, instr); |
+ __ CompareMap(reg, map, &success); |
+ if (instr->hydrogen()->has_migration_target()) { |
+ __ j(not_equal, deferred->entry()); |
+ } else { |
+ DeoptimizeIf(not_equal, instr->environment()); |
+ } |
+ |
__ bind(&success); |
} |