| OLD | NEW |
| 1 // Copyright 2009 the V8 project authors. All rights reserved. | 1 // Copyright 2009 the V8 project authors. All rights reserved. |
| 2 // Redistribution and use in source and binary forms, with or without | 2 // Redistribution and use in source and binary forms, with or without |
| 3 // modification, are permitted provided that the following conditions are | 3 // modification, are permitted provided that the following conditions are |
| 4 // met: | 4 // met: |
| 5 // | 5 // |
| 6 // * Redistributions of source code must retain the above copyright | 6 // * Redistributions of source code must retain the above copyright |
| 7 // notice, this list of conditions and the following disclaimer. | 7 // notice, this list of conditions and the following disclaimer. |
| 8 // * Redistributions in binary form must reproduce the above | 8 // * Redistributions in binary form must reproduce the above |
| 9 // copyright notice, this list of conditions and the following | 9 // copyright notice, this list of conditions and the following |
| 10 // disclaimer in the documentation and/or other materials provided | 10 // disclaimer in the documentation and/or other materials provided |
| (...skipping 1464 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1475 // of the key to detect a named property. | 1475 // of the key to detect a named property. |
| 1476 if (prop != NULL) { | 1476 if (prop != NULL) { |
| 1477 assign_type = | 1477 assign_type = |
| 1478 (prop->key()->IsPropertyName()) ? NAMED_PROPERTY : KEYED_PROPERTY; | 1478 (prop->key()->IsPropertyName()) ? NAMED_PROPERTY : KEYED_PROPERTY; |
| 1479 } | 1479 } |
| 1480 | 1480 |
| 1481 // Evaluate expression and get value. | 1481 // Evaluate expression and get value. |
| 1482 if (assign_type == VARIABLE) { | 1482 if (assign_type == VARIABLE) { |
| 1483 ASSERT(expr->expression()->AsVariableProxy()->var() != NULL); | 1483 ASSERT(expr->expression()->AsVariableProxy()->var() != NULL); |
| 1484 Location saved_location = location_; | 1484 Location saved_location = location_; |
| 1485 location_ = kStack; | 1485 location_ = kAccumulator; |
| 1486 EmitVariableLoad(expr->expression()->AsVariableProxy()->var(), | 1486 EmitVariableLoad(expr->expression()->AsVariableProxy()->var(), |
| 1487 Expression::kValue); | 1487 Expression::kValue); |
| 1488 location_ = saved_location; | 1488 location_ = saved_location; |
| 1489 } else { | 1489 } else { |
| 1490 // Reserve space for result of postfix operation. | 1490 // Reserve space for result of postfix operation. |
| 1491 if (expr->is_postfix() && context_ != Expression::kEffect) { | 1491 if (expr->is_postfix() && context_ != Expression::kEffect) { |
| 1492 __ push(Immediate(Smi::FromInt(0))); | 1492 __ push(Immediate(Smi::FromInt(0))); |
| 1493 } | 1493 } |
| 1494 VisitForValue(prop->obj(), kStack); | 1494 VisitForValue(prop->obj(), kStack); |
| 1495 if (assign_type == NAMED_PROPERTY) { | 1495 if (assign_type == NAMED_PROPERTY) { |
| 1496 EmitNamedPropertyLoad(prop); | 1496 EmitNamedPropertyLoad(prop); |
| 1497 } else { | 1497 } else { |
| 1498 VisitForValue(prop->key(), kStack); | 1498 VisitForValue(prop->key(), kStack); |
| 1499 EmitKeyedPropertyLoad(prop); | 1499 EmitKeyedPropertyLoad(prop); |
| 1500 } | 1500 } |
| 1501 __ push(eax); | |
| 1502 } | 1501 } |
| 1503 | 1502 |
| 1504 // Convert to number. | 1503 // Call ToNumber only if operand is not a smi. |
| 1504 Label no_conversion; |
| 1505 __ test(eax, Immediate(kSmiTagMask)); |
| 1506 __ j(zero, &no_conversion); |
| 1507 __ push(eax); |
| 1505 __ InvokeBuiltin(Builtins::TO_NUMBER, CALL_FUNCTION); | 1508 __ InvokeBuiltin(Builtins::TO_NUMBER, CALL_FUNCTION); |
| 1509 __ bind(&no_conversion); |
| 1506 | 1510 |
| 1507 // Save result for postfix expressions. | 1511 // Save result for postfix expressions. |
| 1508 if (expr->is_postfix()) { | 1512 if (expr->is_postfix()) { |
| 1509 switch (context_) { | 1513 switch (context_) { |
| 1510 case Expression::kUninitialized: | 1514 case Expression::kUninitialized: |
| 1511 UNREACHABLE(); | 1515 UNREACHABLE(); |
| 1512 case Expression::kEffect: | 1516 case Expression::kEffect: |
| 1513 // Do not save result. | 1517 // Do not save result. |
| 1514 break; | 1518 break; |
| 1515 case Expression::kValue: | 1519 case Expression::kValue: |
| (...skipping 11 matching lines...) Expand all Loading... |
| 1527 __ mov(Operand(esp, kPointerSize), eax); | 1531 __ mov(Operand(esp, kPointerSize), eax); |
| 1528 break; | 1532 break; |
| 1529 case KEYED_PROPERTY: | 1533 case KEYED_PROPERTY: |
| 1530 __ mov(Operand(esp, 2 * kPointerSize), eax); | 1534 __ mov(Operand(esp, 2 * kPointerSize), eax); |
| 1531 break; | 1535 break; |
| 1532 } | 1536 } |
| 1533 break; | 1537 break; |
| 1534 } | 1538 } |
| 1535 } | 1539 } |
| 1536 | 1540 |
| 1541 // Inline smi case if we are in a loop. |
| 1542 Label stub_call, done; |
| 1543 if (loop_depth() > 0) { |
| 1544 if (expr->op() == Token::INC) { |
| 1545 __ add(Operand(eax), Immediate(Smi::FromInt(1))); |
| 1546 } else { |
| 1547 __ sub(Operand(eax), Immediate(Smi::FromInt(1))); |
| 1548 } |
| 1549 __ j(overflow, &stub_call); |
| 1550 // We could eliminate this smi check if we split the code at |
| 1551 // the first smi check before calling ToNumber. |
| 1552 __ test(eax, Immediate(kSmiTagMask)); |
| 1553 __ j(zero, &done); |
| 1554 __ bind(&stub_call); |
| 1555 // Call stub. Undo operation first. |
| 1556 if (expr->op() == Token::INC) { |
| 1557 __ sub(Operand(eax), Immediate(Smi::FromInt(1))); |
| 1558 } else { |
| 1559 __ add(Operand(eax), Immediate(Smi::FromInt(1))); |
| 1560 } |
| 1561 } |
| 1537 // Call stub for +1/-1. | 1562 // Call stub for +1/-1. |
| 1538 __ push(eax); | 1563 __ push(eax); |
| 1539 __ push(Immediate(Smi::FromInt(1))); | 1564 __ push(Immediate(Smi::FromInt(1))); |
| 1540 GenericBinaryOpStub stub(expr->binary_op(), | 1565 GenericBinaryOpStub stub(expr->binary_op(), |
| 1541 NO_OVERWRITE, | 1566 NO_OVERWRITE, |
| 1542 NO_GENERIC_BINARY_FLAGS); | 1567 NO_GENERIC_BINARY_FLAGS); |
| 1543 __ CallStub(&stub); | 1568 __ CallStub(&stub); |
| 1569 __ bind(&done); |
| 1544 | 1570 |
| 1545 // Store the value returned in eax. | 1571 // Store the value returned in eax. |
| 1546 switch (assign_type) { | 1572 switch (assign_type) { |
| 1547 case VARIABLE: | 1573 case VARIABLE: |
| 1548 if (expr->is_postfix()) { | 1574 if (expr->is_postfix()) { |
| 1549 EmitVariableAssignment(expr->expression()->AsVariableProxy()->var(), | 1575 EmitVariableAssignment(expr->expression()->AsVariableProxy()->var(), |
| 1550 Expression::kEffect); | 1576 Expression::kEffect); |
| 1551 // For all contexts except kEffect: We have the result on | 1577 // For all contexts except kEffect: We have the result on |
| 1552 // top of the stack. | 1578 // top of the stack. |
| 1553 if (context_ != Expression::kEffect) { | 1579 if (context_ != Expression::kEffect) { |
| (...skipping 241 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1795 __ add(Operand(edx), Immediate(masm_->CodeObject())); | 1821 __ add(Operand(edx), Immediate(masm_->CodeObject())); |
| 1796 __ mov(Operand(esp, 0), edx); | 1822 __ mov(Operand(esp, 0), edx); |
| 1797 // And return. | 1823 // And return. |
| 1798 __ ret(0); | 1824 __ ret(0); |
| 1799 } | 1825 } |
| 1800 | 1826 |
| 1801 | 1827 |
| 1802 #undef __ | 1828 #undef __ |
| 1803 | 1829 |
| 1804 } } // namespace v8::internal | 1830 } } // namespace v8::internal |
| OLD | NEW |