| OLD | NEW |
| 1 // Copyright 2010 the V8 project authors. All rights reserved. | 1 // Copyright 2011 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 |
| 11 // with the distribution. | 11 // with the distribution. |
| (...skipping 11 matching lines...) Expand all Loading... |
| 23 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY | 23 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY |
| 24 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT | 24 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
| 25 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE | 25 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE |
| 26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | 26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| 27 | 27 |
| 28 #ifndef V8_ARM_LITHIUM_ARM_H_ | 28 #ifndef V8_ARM_LITHIUM_ARM_H_ |
| 29 #define V8_ARM_LITHIUM_ARM_H_ | 29 #define V8_ARM_LITHIUM_ARM_H_ |
| 30 | 30 |
| 31 #include "hydrogen.h" | 31 #include "hydrogen.h" |
| 32 #include "lithium-allocator.h" | 32 #include "lithium-allocator.h" |
| 33 #include "lithium.h" |
| 33 #include "safepoint-table.h" | 34 #include "safepoint-table.h" |
| 34 | 35 |
| 35 namespace v8 { | 36 namespace v8 { |
| 36 namespace internal { | 37 namespace internal { |
| 37 | 38 |
| 38 // Forward declarations. | 39 // Forward declarations. |
| 39 class LCodeGen; | 40 class LCodeGen; |
| 40 class LEnvironment; | 41 class LEnvironment; |
| 41 class Translation; | 42 class Translation; |
| 42 | 43 |
| (...skipping 12 matching lines...) Expand all Loading... |
| 55 // LBitI | 56 // LBitI |
| 56 // LBoundsCheck | 57 // LBoundsCheck |
| 57 // LCmpID | 58 // LCmpID |
| 58 // LCmpIDAndBranch | 59 // LCmpIDAndBranch |
| 59 // LCmpJSObjectEq | 60 // LCmpJSObjectEq |
| 60 // LCmpJSObjectEqAndBranch | 61 // LCmpJSObjectEqAndBranch |
| 61 // LCmpT | 62 // LCmpT |
| 62 // LDivI | 63 // LDivI |
| 63 // LInstanceOf | 64 // LInstanceOf |
| 64 // LInstanceOfAndBranch | 65 // LInstanceOfAndBranch |
| 66 // LInstanceOfKnownGlobal |
| 65 // LLoadKeyedFastElement | 67 // LLoadKeyedFastElement |
| 66 // LLoadKeyedGeneric | 68 // LLoadKeyedGeneric |
| 67 // LModI | 69 // LModI |
| 68 // LMulI | 70 // LMulI |
| 69 // LShiftI | 71 // LShiftI |
| 70 // LSubI | 72 // LSubI |
| 71 // LCallConstantFunction | 73 // LCallConstantFunction |
| 72 // LCallFunction | 74 // LCallFunction |
| 73 // LCallGlobal | 75 // LCallGlobal |
| 74 // LCallKeyed | 76 // LCallKeyed |
| (...skipping 122 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 197 V(DivI) \ | 199 V(DivI) \ |
| 198 V(DoubleToI) \ | 200 V(DoubleToI) \ |
| 199 V(FixedArrayLength) \ | 201 V(FixedArrayLength) \ |
| 200 V(FunctionLiteral) \ | 202 V(FunctionLiteral) \ |
| 201 V(Gap) \ | 203 V(Gap) \ |
| 202 V(GlobalObject) \ | 204 V(GlobalObject) \ |
| 203 V(GlobalReceiver) \ | 205 V(GlobalReceiver) \ |
| 204 V(Goto) \ | 206 V(Goto) \ |
| 205 V(InstanceOf) \ | 207 V(InstanceOf) \ |
| 206 V(InstanceOfAndBranch) \ | 208 V(InstanceOfAndBranch) \ |
| 209 V(InstanceOfKnownGlobal) \ |
| 207 V(Integer32ToDouble) \ | 210 V(Integer32ToDouble) \ |
| 208 V(IsNull) \ | 211 V(IsNull) \ |
| 209 V(IsNullAndBranch) \ | 212 V(IsNullAndBranch) \ |
| 210 V(IsObject) \ | 213 V(IsObject) \ |
| 211 V(IsObjectAndBranch) \ | 214 V(IsObjectAndBranch) \ |
| 212 V(IsSmi) \ | 215 V(IsSmi) \ |
| 213 V(IsSmiAndBranch) \ | 216 V(IsSmiAndBranch) \ |
| 214 V(JSArrayLength) \ | 217 V(JSArrayLength) \ |
| 215 V(HasInstanceType) \ | 218 V(HasInstanceType) \ |
| 216 V(HasInstanceTypeAndBranch) \ | 219 V(HasInstanceTypeAndBranch) \ |
| (...skipping 105 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 322 | 325 |
| 323 private: | 326 private: |
| 324 SetOncePointer<LEnvironment> environment_; | 327 SetOncePointer<LEnvironment> environment_; |
| 325 SetOncePointer<LPointerMap> pointer_map_; | 328 SetOncePointer<LPointerMap> pointer_map_; |
| 326 SetOncePointer<LOperand> result_; | 329 SetOncePointer<LOperand> result_; |
| 327 HValue* hydrogen_value_; | 330 HValue* hydrogen_value_; |
| 328 SetOncePointer<LEnvironment> deoptimization_environment_; | 331 SetOncePointer<LEnvironment> deoptimization_environment_; |
| 329 }; | 332 }; |
| 330 | 333 |
| 331 | 334 |
| 332 class LGapNode; | |
| 333 | |
| 334 | |
| 335 class LGapResolver BASE_EMBEDDED { | |
| 336 public: | |
| 337 LGapResolver(const ZoneList<LMoveOperands>* moves, LOperand* marker_operand); | |
| 338 const ZoneList<LMoveOperands>* ResolveInReverseOrder(); | |
| 339 | |
| 340 private: | |
| 341 LGapNode* LookupNode(LOperand* operand); | |
| 342 bool CanReach(LGapNode* a, LGapNode* b, int visited_id); | |
| 343 bool CanReach(LGapNode* a, LGapNode* b); | |
| 344 void RegisterMove(LMoveOperands move); | |
| 345 void AddResultMove(LOperand* from, LOperand* to); | |
| 346 void AddResultMove(LGapNode* from, LGapNode* to); | |
| 347 void ResolveCycle(LGapNode* start); | |
| 348 | |
| 349 ZoneList<LGapNode*> nodes_; | |
| 350 ZoneList<LGapNode*> identified_cycles_; | |
| 351 ZoneList<LMoveOperands> result_; | |
| 352 LOperand* marker_operand_; | |
| 353 int next_visited_id_; | |
| 354 int bailout_after_ast_id_; | |
| 355 }; | |
| 356 | |
| 357 | |
| 358 class LParallelMove : public ZoneObject { | 335 class LParallelMove : public ZoneObject { |
| 359 public: | 336 public: |
| 360 LParallelMove() : move_operands_(4) { } | 337 LParallelMove() : move_operands_(4) { } |
| 361 | 338 |
| 362 void AddMove(LOperand* from, LOperand* to) { | 339 void AddMove(LOperand* from, LOperand* to) { |
| 363 move_operands_.Add(LMoveOperands(from, to)); | 340 move_operands_.Add(LMoveOperands(from, to)); |
| 364 } | 341 } |
| 365 | 342 |
| 366 bool IsRedundant() const; | 343 bool IsRedundant() const; |
| 367 | 344 |
| (...skipping 618 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 986 | 963 |
| 987 int true_block_id() const { return true_block_id_; } | 964 int true_block_id() const { return true_block_id_; } |
| 988 int false_block_id() const { return false_block_id_; } | 965 int false_block_id() const { return false_block_id_; } |
| 989 | 966 |
| 990 private: | 967 private: |
| 991 int true_block_id_; | 968 int true_block_id_; |
| 992 int false_block_id_; | 969 int false_block_id_; |
| 993 }; | 970 }; |
| 994 | 971 |
| 995 | 972 |
| 973 class LInstanceOfKnownGlobal: public LUnaryOperation { |
| 974 public: |
| 975 explicit LInstanceOfKnownGlobal(LOperand* left) |
| 976 : LUnaryOperation(left) { } |
| 977 |
| 978 DECLARE_CONCRETE_INSTRUCTION(InstanceOfKnownGlobal, |
| 979 "instance-of-known-global") |
| 980 DECLARE_HYDROGEN_ACCESSOR(InstanceOfKnownGlobal) |
| 981 |
| 982 Handle<JSFunction> function() const { return hydrogen()->function(); } |
| 983 }; |
| 984 |
| 985 |
| 996 class LBoundsCheck: public LBinaryOperation { | 986 class LBoundsCheck: public LBinaryOperation { |
| 997 public: | 987 public: |
| 998 LBoundsCheck(LOperand* index, LOperand* length) | 988 LBoundsCheck(LOperand* index, LOperand* length) |
| 999 : LBinaryOperation(index, length) { } | 989 : LBinaryOperation(index, length) { } |
| 1000 | 990 |
| 1001 LOperand* index() const { return left(); } | 991 LOperand* index() const { return left(); } |
| 1002 LOperand* length() const { return right(); } | 992 LOperand* length() const { return right(); } |
| 1003 | 993 |
| 1004 DECLARE_CONCRETE_INSTRUCTION(BoundsCheck, "bounds-check") | 994 DECLARE_CONCRETE_INSTRUCTION(BoundsCheck, "bounds-check") |
| 1005 }; | 995 }; |
| (...skipping 535 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1541 }; | 1531 }; |
| 1542 | 1532 |
| 1543 | 1533 |
| 1544 class LStoreNamedField: public LStoreNamed { | 1534 class LStoreNamedField: public LStoreNamed { |
| 1545 public: | 1535 public: |
| 1546 LStoreNamedField(LOperand* obj, | 1536 LStoreNamedField(LOperand* obj, |
| 1547 Handle<Object> name, | 1537 Handle<Object> name, |
| 1548 LOperand* val, | 1538 LOperand* val, |
| 1549 bool in_object, | 1539 bool in_object, |
| 1550 int offset, | 1540 int offset, |
| 1551 LOperand* temp, | |
| 1552 bool needs_write_barrier, | 1541 bool needs_write_barrier, |
| 1553 Handle<Map> transition) | 1542 Handle<Map> transition) |
| 1554 : LStoreNamed(obj, name, val), | 1543 : LStoreNamed(obj, name, val), |
| 1555 is_in_object_(in_object), | 1544 is_in_object_(in_object), |
| 1556 offset_(offset), | 1545 offset_(offset), |
| 1557 temp_(temp), | |
| 1558 needs_write_barrier_(needs_write_barrier), | 1546 needs_write_barrier_(needs_write_barrier), |
| 1559 transition_(transition) { } | 1547 transition_(transition) { } |
| 1560 | 1548 |
| 1561 DECLARE_CONCRETE_INSTRUCTION(StoreNamedField, "store-named-field") | 1549 DECLARE_CONCRETE_INSTRUCTION(StoreNamedField, "store-named-field") |
| 1562 | 1550 |
| 1563 bool is_in_object() { return is_in_object_; } | 1551 bool is_in_object() { return is_in_object_; } |
| 1564 int offset() { return offset_; } | 1552 int offset() { return offset_; } |
| 1565 LOperand* temp() { return temp_; } | |
| 1566 bool needs_write_barrier() { return needs_write_barrier_; } | 1553 bool needs_write_barrier() { return needs_write_barrier_; } |
| 1567 Handle<Map> transition() const { return transition_; } | 1554 Handle<Map> transition() const { return transition_; } |
| 1568 void set_transition(Handle<Map> map) { transition_ = map; } | 1555 void set_transition(Handle<Map> map) { transition_ = map; } |
| 1569 | 1556 |
| 1570 private: | 1557 private: |
| 1571 bool is_in_object_; | 1558 bool is_in_object_; |
| 1572 int offset_; | 1559 int offset_; |
| 1573 LOperand* temp_; | |
| 1574 bool needs_write_barrier_; | 1560 bool needs_write_barrier_; |
| 1575 Handle<Map> transition_; | 1561 Handle<Map> transition_; |
| 1576 }; | 1562 }; |
| 1577 | 1563 |
| 1578 | 1564 |
| 1579 class LStoreNamedGeneric: public LStoreNamed { | 1565 class LStoreNamedGeneric: public LStoreNamed { |
| 1580 public: | 1566 public: |
| 1581 LStoreNamedGeneric(LOperand* obj, | 1567 LStoreNamedGeneric(LOperand* obj, |
| 1582 Handle<Object> name, | 1568 Handle<Object> name, |
| 1583 LOperand* val) | 1569 LOperand* val) |
| (...skipping 47 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1631 public: | 1617 public: |
| 1632 explicit LCheckFunction(LOperand* use) : LUnaryOperation(use) { } | 1618 explicit LCheckFunction(LOperand* use) : LUnaryOperation(use) { } |
| 1633 | 1619 |
| 1634 DECLARE_CONCRETE_INSTRUCTION(CheckFunction, "check-function") | 1620 DECLARE_CONCRETE_INSTRUCTION(CheckFunction, "check-function") |
| 1635 DECLARE_HYDROGEN_ACCESSOR(CheckFunction) | 1621 DECLARE_HYDROGEN_ACCESSOR(CheckFunction) |
| 1636 }; | 1622 }; |
| 1637 | 1623 |
| 1638 | 1624 |
| 1639 class LCheckInstanceType: public LUnaryOperation { | 1625 class LCheckInstanceType: public LUnaryOperation { |
| 1640 public: | 1626 public: |
| 1641 LCheckInstanceType(LOperand* use, LOperand* temp) | 1627 explicit LCheckInstanceType(LOperand* use) : LUnaryOperation(use) { } |
| 1642 : LUnaryOperation(use), temp_(temp) { } | |
| 1643 | 1628 |
| 1644 DECLARE_CONCRETE_INSTRUCTION(CheckInstanceType, "check-instance-type") | 1629 DECLARE_CONCRETE_INSTRUCTION(CheckInstanceType, "check-instance-type") |
| 1645 DECLARE_HYDROGEN_ACCESSOR(CheckInstanceType) | 1630 DECLARE_HYDROGEN_ACCESSOR(CheckInstanceType) |
| 1646 | 1631 |
| 1647 LOperand* temp() const { return temp_; } | 1632 LOperand* temp() const { return temp_; } |
| 1648 | 1633 |
| 1649 private: | 1634 private: |
| 1650 LOperand* temp_; | 1635 LOperand* temp_; |
| 1651 }; | 1636 }; |
| 1652 | 1637 |
| (...skipping 463 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2116 DISALLOW_COPY_AND_ASSIGN(LChunkBuilder); | 2101 DISALLOW_COPY_AND_ASSIGN(LChunkBuilder); |
| 2117 }; | 2102 }; |
| 2118 | 2103 |
| 2119 #undef DECLARE_HYDROGEN_ACCESSOR | 2104 #undef DECLARE_HYDROGEN_ACCESSOR |
| 2120 #undef DECLARE_INSTRUCTION | 2105 #undef DECLARE_INSTRUCTION |
| 2121 #undef DECLARE_CONCRETE_INSTRUCTION | 2106 #undef DECLARE_CONCRETE_INSTRUCTION |
| 2122 | 2107 |
| 2123 } } // namespace v8::internal | 2108 } } // namespace v8::internal |
| 2124 | 2109 |
| 2125 #endif // V8_ARM_LITHIUM_ARM_H_ | 2110 #endif // V8_ARM_LITHIUM_ARM_H_ |
| OLD | NEW |