| OLD | NEW |
| 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 #include "vm/globals.h" // Needed here to get TARGET_ARCH_IA32. | 5 #include "vm/globals.h" // Needed here to get TARGET_ARCH_IA32. |
| 6 #if defined(TARGET_ARCH_IA32) | 6 #if defined(TARGET_ARCH_IA32) |
| 7 | 7 |
| 8 #include "vm/intermediate_language.h" | 8 #include "vm/intermediate_language.h" |
| 9 | 9 |
| 10 #include "vm/dart_entry.h" | 10 #include "vm/dart_entry.h" |
| (...skipping 1289 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1300 Register field_reg = needs_field_temp_reg ? | 1300 Register field_reg = needs_field_temp_reg ? |
| 1301 locs()->temp(locs()->temp_count() - 1).reg() : kNoRegister; | 1301 locs()->temp(locs()->temp_count() - 1).reg() : kNoRegister; |
| 1302 | 1302 |
| 1303 Label ok, fail_label; | 1303 Label ok, fail_label; |
| 1304 | 1304 |
| 1305 Label* deopt = compiler->is_optimizing() ? | 1305 Label* deopt = compiler->is_optimizing() ? |
| 1306 compiler->AddDeoptStub(deopt_id(), kDeoptGuardField) : NULL; | 1306 compiler->AddDeoptStub(deopt_id(), kDeoptGuardField) : NULL; |
| 1307 | 1307 |
| 1308 Label* fail = (deopt != NULL) ? deopt : &fail_label; | 1308 Label* fail = (deopt != NULL) ? deopt : &fail_label; |
| 1309 | 1309 |
| 1310 const bool ok_is_fall_through = (deopt != NULL); | |
| 1311 | |
| 1312 if (!compiler->is_optimizing() || (field_cid == kIllegalCid)) { | 1310 if (!compiler->is_optimizing() || (field_cid == kIllegalCid)) { |
| 1313 if (!compiler->is_optimizing() && (field_reg == kNoRegister)) { | 1311 if (!compiler->is_optimizing() && (field_reg == kNoRegister)) { |
| 1314 // Currently we can't have different location summaries for optimized | 1312 // Currently we can't have different location summaries for optimized |
| 1315 // and non-optimized code. So instead we manually pick up a register | 1313 // and non-optimized code. So instead we manually pick up a register |
| 1316 // that is known to be free because we know how non-optimizing compiler | 1314 // that is known to be free because we know how non-optimizing compiler |
| 1317 // allocates registers. | 1315 // allocates registers. |
| 1318 field_reg = EBX; | 1316 field_reg = EBX; |
| 1319 ASSERT((field_reg != value_reg) && (field_reg != value_cid_reg)); | 1317 ASSERT((field_reg != value_reg) && (field_reg != value_cid_reg)); |
| 1320 } | 1318 } |
| 1321 | 1319 |
| (...skipping 180 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1502 __ movl(value_cid_reg, | 1500 __ movl(value_cid_reg, |
| 1503 FieldAddress(value_reg, TypedData::length_offset())); | 1501 FieldAddress(value_reg, TypedData::length_offset())); |
| 1504 __ movl(field_length_operand, value_cid_reg); | 1502 __ movl(field_length_operand, value_cid_reg); |
| 1505 } else { | 1503 } else { |
| 1506 __ movl(field_length_operand, | 1504 __ movl(field_length_operand, |
| 1507 Immediate(Smi::RawValue(Field::kNoFixedLength))); | 1505 Immediate(Smi::RawValue(Field::kNoFixedLength))); |
| 1508 } | 1506 } |
| 1509 } | 1507 } |
| 1510 } | 1508 } |
| 1511 | 1509 |
| 1512 if (!ok_is_fall_through) { | |
| 1513 __ jmp(&ok); | |
| 1514 } | |
| 1515 | |
| 1516 if (deopt == NULL) { | 1510 if (deopt == NULL) { |
| 1517 ASSERT(!compiler->is_optimizing()); | 1511 ASSERT(!compiler->is_optimizing()); |
| 1512 __ jmp(&ok); |
| 1518 __ Bind(fail); | 1513 __ Bind(fail); |
| 1519 | 1514 |
| 1520 __ cmpl(FieldAddress(field_reg, Field::guarded_cid_offset()), | 1515 __ cmpl(FieldAddress(field_reg, Field::guarded_cid_offset()), |
| 1521 Immediate(kDynamicCid)); | 1516 Immediate(kDynamicCid)); |
| 1522 __ j(EQUAL, &ok); | 1517 __ j(EQUAL, &ok); |
| 1523 | 1518 |
| 1524 __ pushl(field_reg); | 1519 __ pushl(field_reg); |
| 1525 __ pushl(value_reg); | 1520 __ pushl(value_reg); |
| 1526 __ CallRuntime(kUpdateFieldCidRuntimeEntry, 2); | 1521 __ CallRuntime(kUpdateFieldCidRuntimeEntry, 2); |
| 1527 __ Drop(2); // Drop the field and the value. | 1522 __ Drop(2); // Drop the field and the value. |
| 1528 } | 1523 } |
| 1529 } else { | 1524 } else { |
| 1530 ASSERT(compiler->is_optimizing()); | 1525 ASSERT(compiler->is_optimizing()); |
| 1531 ASSERT(deopt != NULL); | 1526 ASSERT(deopt != NULL); |
| 1532 ASSERT(ok_is_fall_through); | |
| 1533 // Field guard class has been initialized and is known. | 1527 // Field guard class has been initialized and is known. |
| 1534 if (field_reg != kNoRegister) { | 1528 if (field_reg != kNoRegister) { |
| 1535 __ LoadObject(field_reg, Field::ZoneHandle(field().raw())); | 1529 __ LoadObject(field_reg, Field::ZoneHandle(field().raw())); |
| 1536 } | 1530 } |
| 1537 | 1531 |
| 1538 if (value_cid == kDynamicCid) { | 1532 if (value_cid == kDynamicCid) { |
| 1539 // Value's class id is not known. | 1533 // Value's class id is not known. |
| 1540 __ testl(value_reg, Immediate(kSmiTagMask)); | 1534 __ testl(value_reg, Immediate(kSmiTagMask)); |
| 1541 | 1535 |
| 1542 if (field_cid != kSmiCid) { | 1536 if (field_cid != kSmiCid) { |
| (...skipping 3694 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 5237 PcDescriptors::kOther, | 5231 PcDescriptors::kOther, |
| 5238 locs()); | 5232 locs()); |
| 5239 __ Drop(2); // Discard type arguments and receiver. | 5233 __ Drop(2); // Discard type arguments and receiver. |
| 5240 } | 5234 } |
| 5241 | 5235 |
| 5242 } // namespace dart | 5236 } // namespace dart |
| 5243 | 5237 |
| 5244 #undef __ | 5238 #undef __ |
| 5245 | 5239 |
| 5246 #endif // defined TARGET_ARCH_IA32 | 5240 #endif // defined TARGET_ARCH_IA32 |
| OLD | NEW |