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 1271 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1282 Register field_reg = needs_field_temp_reg ? | 1282 Register field_reg = needs_field_temp_reg ? |
1283 locs()->temp(locs()->temp_count() - 1).reg() : kNoRegister; | 1283 locs()->temp(locs()->temp_count() - 1).reg() : kNoRegister; |
1284 | 1284 |
1285 Label ok, fail_label; | 1285 Label ok, fail_label; |
1286 | 1286 |
1287 Label* deopt = compiler->is_optimizing() ? | 1287 Label* deopt = compiler->is_optimizing() ? |
1288 compiler->AddDeoptStub(deopt_id(), kDeoptGuardField) : NULL; | 1288 compiler->AddDeoptStub(deopt_id(), kDeoptGuardField) : NULL; |
1289 | 1289 |
1290 Label* fail = (deopt != NULL) ? deopt : &fail_label; | 1290 Label* fail = (deopt != NULL) ? deopt : &fail_label; |
1291 | 1291 |
| 1292 const bool ok_is_fall_through = (deopt != NULL); |
| 1293 |
1292 if (!compiler->is_optimizing() || (field_cid == kIllegalCid)) { | 1294 if (!compiler->is_optimizing() || (field_cid == kIllegalCid)) { |
1293 if (!compiler->is_optimizing() && (field_reg == kNoRegister)) { | 1295 if (!compiler->is_optimizing() && (field_reg == kNoRegister)) { |
1294 // Currently we can't have different location summaries for optimized | 1296 // Currently we can't have different location summaries for optimized |
1295 // and non-optimized code. So instead we manually pick up a register | 1297 // and non-optimized code. So instead we manually pick up a register |
1296 // that is known to be free because we know how non-optimizing compiler | 1298 // that is known to be free because we know how non-optimizing compiler |
1297 // allocates registers. | 1299 // allocates registers. |
1298 field_reg = EBX; | 1300 field_reg = EBX; |
1299 ASSERT((field_reg != value_reg) && (field_reg != value_cid_reg)); | 1301 ASSERT((field_reg != value_reg) && (field_reg != value_cid_reg)); |
1300 } | 1302 } |
1301 | 1303 |
(...skipping 180 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1482 __ movl(value_cid_reg, | 1484 __ movl(value_cid_reg, |
1483 FieldAddress(value_reg, TypedData::length_offset())); | 1485 FieldAddress(value_reg, TypedData::length_offset())); |
1484 __ movl(field_length_operand, value_cid_reg); | 1486 __ movl(field_length_operand, value_cid_reg); |
1485 } else { | 1487 } else { |
1486 __ movl(field_length_operand, | 1488 __ movl(field_length_operand, |
1487 Immediate(Smi::RawValue(Field::kNoFixedLength))); | 1489 Immediate(Smi::RawValue(Field::kNoFixedLength))); |
1488 } | 1490 } |
1489 } | 1491 } |
1490 } | 1492 } |
1491 | 1493 |
| 1494 if (!ok_is_fall_through) { |
| 1495 __ jmp(&ok); |
| 1496 } |
| 1497 |
1492 if (deopt == NULL) { | 1498 if (deopt == NULL) { |
1493 ASSERT(!compiler->is_optimizing()); | 1499 ASSERT(!compiler->is_optimizing()); |
1494 __ jmp(&ok); | |
1495 __ Bind(fail); | 1500 __ Bind(fail); |
1496 | 1501 |
1497 __ cmpl(FieldAddress(field_reg, Field::guarded_cid_offset()), | 1502 __ cmpl(FieldAddress(field_reg, Field::guarded_cid_offset()), |
1498 Immediate(kDynamicCid)); | 1503 Immediate(kDynamicCid)); |
1499 __ j(EQUAL, &ok); | 1504 __ j(EQUAL, &ok); |
1500 | 1505 |
1501 __ pushl(field_reg); | 1506 __ pushl(field_reg); |
1502 __ pushl(value_reg); | 1507 __ pushl(value_reg); |
1503 __ CallRuntime(kUpdateFieldCidRuntimeEntry, 2); | 1508 __ CallRuntime(kUpdateFieldCidRuntimeEntry, 2); |
1504 __ Drop(2); // Drop the field and the value. | 1509 __ Drop(2); // Drop the field and the value. |
1505 } | 1510 } |
1506 } else { | 1511 } else { |
1507 ASSERT(compiler->is_optimizing()); | 1512 ASSERT(compiler->is_optimizing()); |
1508 ASSERT(deopt != NULL); | 1513 ASSERT(deopt != NULL); |
| 1514 ASSERT(ok_is_fall_through); |
1509 // Field guard class has been initialized and is known. | 1515 // Field guard class has been initialized and is known. |
1510 if (field_reg != kNoRegister) { | 1516 if (field_reg != kNoRegister) { |
1511 __ LoadObject(field_reg, Field::ZoneHandle(field().raw())); | 1517 __ LoadObject(field_reg, Field::ZoneHandle(field().raw())); |
1512 } | 1518 } |
1513 | 1519 |
1514 if (value_cid == kDynamicCid) { | 1520 if (value_cid == kDynamicCid) { |
1515 // Value's class id is not known. | 1521 // Value's class id is not known. |
1516 __ testl(value_reg, Immediate(kSmiTagMask)); | 1522 __ testl(value_reg, Immediate(kSmiTagMask)); |
1517 | 1523 |
1518 if (field_cid != kSmiCid) { | 1524 if (field_cid != kSmiCid) { |
(...skipping 3677 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
5196 PcDescriptors::kOther, | 5202 PcDescriptors::kOther, |
5197 locs()); | 5203 locs()); |
5198 __ Drop(2); // Discard type arguments and receiver. | 5204 __ Drop(2); // Discard type arguments and receiver. |
5199 } | 5205 } |
5200 | 5206 |
5201 } // namespace dart | 5207 } // namespace dart |
5202 | 5208 |
5203 #undef __ | 5209 #undef __ |
5204 | 5210 |
5205 #endif // defined TARGET_ARCH_IA32 | 5211 #endif // defined TARGET_ARCH_IA32 |
OLD | NEW |