| OLD | NEW |
| 1 // Copyright 2013 the V8 project authors. All rights reserved. | 1 // Copyright 2013 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 502 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 513 // must be aligned to 16 bytes on entry and the total size of the specified | 513 // must be aligned to 16 bytes on entry and the total size of the specified |
| 514 // registers must also be a multiple of 16 bytes. | 514 // registers must also be a multiple of 16 bytes. |
| 515 // | 515 // |
| 516 // Even if the current stack pointer is not the system stack pointer (csp), | 516 // Even if the current stack pointer is not the system stack pointer (csp), |
| 517 // Push (and derived methods) will still modify the system stack pointer in | 517 // Push (and derived methods) will still modify the system stack pointer in |
| 518 // order to comply with ABI rules about accessing memory below the system | 518 // order to comply with ABI rules about accessing memory below the system |
| 519 // stack pointer. | 519 // stack pointer. |
| 520 // | 520 // |
| 521 // Other than the registers passed into Pop, the stack pointer and (possibly) | 521 // Other than the registers passed into Pop, the stack pointer and (possibly) |
| 522 // the system stack pointer, these methods do not modify any other registers. | 522 // the system stack pointer, these methods do not modify any other registers. |
| 523 // Scratch registers such as Tmp0() and Tmp1() are preserved. | |
| 524 void Push(const CPURegister& src0, const CPURegister& src1 = NoReg, | 523 void Push(const CPURegister& src0, const CPURegister& src1 = NoReg, |
| 525 const CPURegister& src2 = NoReg, const CPURegister& src3 = NoReg); | 524 const CPURegister& src2 = NoReg, const CPURegister& src3 = NoReg); |
| 526 void Pop(const CPURegister& dst0, const CPURegister& dst1 = NoReg, | 525 void Pop(const CPURegister& dst0, const CPURegister& dst1 = NoReg, |
| 527 const CPURegister& dst2 = NoReg, const CPURegister& dst3 = NoReg); | 526 const CPURegister& dst2 = NoReg, const CPURegister& dst3 = NoReg); |
| 528 | 527 |
| 529 // Alternative forms of Push and Pop, taking a RegList or CPURegList that | 528 // Alternative forms of Push and Pop, taking a RegList or CPURegList that |
| 530 // specifies the registers that are to be pushed or popped. Higher-numbered | 529 // specifies the registers that are to be pushed or popped. Higher-numbered |
| 531 // registers are associated with higher memory addresses (as in the A32 push | 530 // registers are associated with higher memory addresses (as in the A32 push |
| 532 // and pop instructions). | 531 // and pop instructions). |
| 533 // | 532 // |
| (...skipping 205 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 739 // Floating-point registers are popped after general-purpose registers, and | 738 // Floating-point registers are popped after general-purpose registers, and |
| 740 // thus come from higher addresses. | 739 // thus come from higher addresses. |
| 741 // | 740 // |
| 742 // This method must not be called unless the current stack pointer (as set by | 741 // This method must not be called unless the current stack pointer (as set by |
| 743 // SetStackPointer) is the system stack pointer (csp), and is aligned to | 742 // SetStackPointer) is the system stack pointer (csp), and is aligned to |
| 744 // ActivationFrameAlignment(). | 743 // ActivationFrameAlignment(). |
| 745 void PopCalleeSavedRegisters(); | 744 void PopCalleeSavedRegisters(); |
| 746 | 745 |
| 747 // Set the current stack pointer, but don't generate any code. | 746 // Set the current stack pointer, but don't generate any code. |
| 748 inline void SetStackPointer(const Register& stack_pointer) { | 747 inline void SetStackPointer(const Register& stack_pointer) { |
| 749 ASSERT(!AreAliased(stack_pointer, Tmp0(), Tmp1())); | 748 ASSERT(!TmpList()->IncludesAliasOf(stack_pointer)); |
| 750 sp_ = stack_pointer; | 749 sp_ = stack_pointer; |
| 751 } | 750 } |
| 752 | 751 |
| 753 // Return the current stack pointer, as set by SetStackPointer. | 752 // Return the current stack pointer, as set by SetStackPointer. |
| 754 inline const Register& StackPointer() const { | 753 inline const Register& StackPointer() const { |
| 755 return sp_; | 754 return sp_; |
| 756 } | 755 } |
| 757 | 756 |
| 758 // Align csp for a frame, as per ActivationFrameAlignment, and make it the | 757 // Align csp for a frame, as per ActivationFrameAlignment, and make it the |
| 759 // current stack pointer. | 758 // current stack pointer. |
| (...skipping 173 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 933 Label* on_failed_conversion = NULL) { | 932 Label* on_failed_conversion = NULL) { |
| 934 ASSERT(as_int.Is64Bits()); | 933 ASSERT(as_int.Is64Bits()); |
| 935 TryConvertDoubleToInt(as_int, value, scratch_d, on_successful_conversion, | 934 TryConvertDoubleToInt(as_int, value, scratch_d, on_successful_conversion, |
| 936 on_failed_conversion); | 935 on_failed_conversion); |
| 937 } | 936 } |
| 938 | 937 |
| 939 // ---- Object Utilities ---- | 938 // ---- Object Utilities ---- |
| 940 | 939 |
| 941 // Copy fields from 'src' to 'dst', where both are tagged objects. | 940 // Copy fields from 'src' to 'dst', where both are tagged objects. |
| 942 // The 'temps' list is a list of X registers which can be used for scratch | 941 // The 'temps' list is a list of X registers which can be used for scratch |
| 943 // values. The temps list must include at least one register, and it must not | 942 // values. The temps list must include at least one register. |
| 944 // contain Tmp0() or Tmp1(). | |
| 945 // | 943 // |
| 946 // Currently, CopyFields cannot make use of more than three registers from | 944 // Currently, CopyFields cannot make use of more than three registers from |
| 947 // the 'temps' list. | 945 // the 'temps' list. |
| 948 // | 946 // |
| 949 // As with several MacroAssembler methods, Tmp0() and Tmp1() will be used. | 947 // CopyFields expects to be able to take at least two registers from |
| 948 // MacroAssembler::TmpList(). |
| 950 void CopyFields(Register dst, Register src, CPURegList temps, unsigned count); | 949 void CopyFields(Register dst, Register src, CPURegList temps, unsigned count); |
| 951 | 950 |
| 952 // Copies a number of bytes from src to dst. All passed registers are | 951 // Copies a number of bytes from src to dst. All passed registers are |
| 953 // clobbered. On exit src and dst will point to the place just after where the | 952 // clobbered. On exit src and dst will point to the place just after where the |
| 954 // last byte was read or written and length will be zero. Hint may be used to | 953 // last byte was read or written and length will be zero. Hint may be used to |
| 955 // determine which is the most efficient algorithm to use for copying. | 954 // determine which is the most efficient algorithm to use for copying. |
| 956 void CopyBytes(Register dst, | 955 void CopyBytes(Register dst, |
| 957 Register src, | 956 Register src, |
| 958 Register length, | 957 Register length, |
| 959 Register scratch, | 958 Register scratch, |
| (...skipping 482 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1442 | 1441 |
| 1443 // Test the bitfield of the heap object map with mask and set the condition | 1442 // Test the bitfield of the heap object map with mask and set the condition |
| 1444 // flags. The object register is preserved. | 1443 // flags. The object register is preserved. |
| 1445 void TestMapBitfield(Register object, uint64_t mask); | 1444 void TestMapBitfield(Register object, uint64_t mask); |
| 1446 | 1445 |
| 1447 // Load the elements kind field of an object, and return it in the result | 1446 // Load the elements kind field of an object, and return it in the result |
| 1448 // register. | 1447 // register. |
| 1449 void LoadElementsKind(Register result, Register object); | 1448 void LoadElementsKind(Register result, Register object); |
| 1450 | 1449 |
| 1451 // Compare the object in a register to a value from the root list. | 1450 // Compare the object in a register to a value from the root list. |
| 1452 // Uses the Tmp0() register as scratch. | |
| 1453 void CompareRoot(const Register& obj, Heap::RootListIndex index); | 1451 void CompareRoot(const Register& obj, Heap::RootListIndex index); |
| 1454 | 1452 |
| 1455 // Compare the object in a register to a value and jump if they are equal. | 1453 // Compare the object in a register to a value and jump if they are equal. |
| 1456 void JumpIfRoot(const Register& obj, | 1454 void JumpIfRoot(const Register& obj, |
| 1457 Heap::RootListIndex index, | 1455 Heap::RootListIndex index, |
| 1458 Label* if_equal); | 1456 Label* if_equal); |
| 1459 | 1457 |
| 1460 // Compare the object in a register to a value and jump if they are not equal. | 1458 // Compare the object in a register to a value and jump if they are not equal. |
| 1461 void JumpIfNotRoot(const Register& obj, | 1459 void JumpIfNotRoot(const Register& obj, |
| 1462 Heap::RootListIndex index, | 1460 Heap::RootListIndex index, |
| (...skipping 86 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1549 void EmitSeqStringSetCharCheck(Register string, | 1547 void EmitSeqStringSetCharCheck(Register string, |
| 1550 Register index, | 1548 Register index, |
| 1551 SeqStringSetCharCheckIndexType index_type, | 1549 SeqStringSetCharCheckIndexType index_type, |
| 1552 Register scratch, | 1550 Register scratch, |
| 1553 uint32_t encoding_mask); | 1551 uint32_t encoding_mask); |
| 1554 | 1552 |
| 1555 // Generate code for checking access rights - used for security checks | 1553 // Generate code for checking access rights - used for security checks |
| 1556 // on access to global objects across environments. The holder register | 1554 // on access to global objects across environments. The holder register |
| 1557 // is left untouched, whereas both scratch registers are clobbered. | 1555 // is left untouched, whereas both scratch registers are clobbered. |
| 1558 void CheckAccessGlobalProxy(Register holder_reg, | 1556 void CheckAccessGlobalProxy(Register holder_reg, |
| 1559 Register scratch, | 1557 Register scratch1, |
| 1558 Register scratch2, |
| 1560 Label* miss); | 1559 Label* miss); |
| 1561 | 1560 |
| 1562 // Hash the interger value in 'key' register. | 1561 // Hash the interger value in 'key' register. |
| 1563 // It uses the same algorithm as ComputeIntegerHash in utils.h. | 1562 // It uses the same algorithm as ComputeIntegerHash in utils.h. |
| 1564 void GetNumberHash(Register key, Register scratch); | 1563 void GetNumberHash(Register key, Register scratch); |
| 1565 | 1564 |
| 1566 // Load value from the dictionary. | 1565 // Load value from the dictionary. |
| 1567 // | 1566 // |
| 1568 // elements - holds the slow-case elements of the receiver on entry. | 1567 // elements - holds the slow-case elements of the receiver on entry. |
| 1569 // Unchanged unless 'result' is the same register. | 1568 // Unchanged unless 'result' is the same register. |
| (...skipping 11 matching lines...) Expand all Loading... |
| 1581 Register result, | 1580 Register result, |
| 1582 Register scratch0, | 1581 Register scratch0, |
| 1583 Register scratch1, | 1582 Register scratch1, |
| 1584 Register scratch2, | 1583 Register scratch2, |
| 1585 Register scratch3); | 1584 Register scratch3); |
| 1586 | 1585 |
| 1587 // --------------------------------------------------------------------------- | 1586 // --------------------------------------------------------------------------- |
| 1588 // Frames. | 1587 // Frames. |
| 1589 | 1588 |
| 1590 // Activation support. | 1589 // Activation support. |
| 1591 // Note that Tmp0() and Tmp1() are used as a scratch registers. This is safe | |
| 1592 // because these methods are not used in Crankshaft. | |
| 1593 void EnterFrame(StackFrame::Type type); | 1590 void EnterFrame(StackFrame::Type type); |
| 1594 void LeaveFrame(StackFrame::Type type); | 1591 void LeaveFrame(StackFrame::Type type); |
| 1595 | 1592 |
| 1596 // Returns map with validated enum cache in object register. | 1593 // Returns map with validated enum cache in object register. |
| 1597 void CheckEnumCache(Register object, | 1594 void CheckEnumCache(Register object, |
| 1598 Register null_value, | 1595 Register null_value, |
| 1599 Register scratch0, | 1596 Register scratch0, |
| 1600 Register scratch1, | 1597 Register scratch1, |
| 1601 Register scratch2, | 1598 Register scratch2, |
| 1602 Register scratch3, | 1599 Register scratch3, |
| (...skipping 68 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1671 // * The stack pointer is reset to jssp. | 1668 // * The stack pointer is reset to jssp. |
| 1672 // | 1669 // |
| 1673 // The stack pointer must be csp on entry. | 1670 // The stack pointer must be csp on entry. |
| 1674 void LeaveExitFrame(bool save_doubles, | 1671 void LeaveExitFrame(bool save_doubles, |
| 1675 const Register& scratch, | 1672 const Register& scratch, |
| 1676 bool restore_context); | 1673 bool restore_context); |
| 1677 | 1674 |
| 1678 void LoadContext(Register dst, int context_chain_length); | 1675 void LoadContext(Register dst, int context_chain_length); |
| 1679 | 1676 |
| 1680 // Emit code for a flooring division by a constant. The dividend register is | 1677 // Emit code for a flooring division by a constant. The dividend register is |
| 1681 // unchanged and Tmp0() gets clobbered. Dividend and result must be different. | 1678 // unchanged. Dividend and result must be different. |
| 1682 void FlooringDiv(Register result, Register dividend, int32_t divisor); | 1679 void FlooringDiv(Register result, Register dividend, int32_t divisor); |
| 1683 | 1680 |
| 1684 // --------------------------------------------------------------------------- | 1681 // --------------------------------------------------------------------------- |
| 1685 // StatsCounter support | 1682 // StatsCounter support |
| 1686 | 1683 |
| 1687 void SetCounter(StatsCounter* counter, int value, Register scratch1, | 1684 void SetCounter(StatsCounter* counter, int value, Register scratch1, |
| 1688 Register scratch2); | 1685 Register scratch2); |
| 1689 void IncrementCounter(StatsCounter* counter, int value, Register scratch1, | 1686 void IncrementCounter(StatsCounter* counter, int value, Register scratch1, |
| 1690 Register scratch2); | 1687 Register scratch2); |
| 1691 void DecrementCounter(StatsCounter* counter, int value, Register scratch1, | 1688 void DecrementCounter(StatsCounter* counter, int value, Register scratch1, |
| 1692 Register scratch2); | 1689 Register scratch2); |
| 1693 | 1690 |
| 1694 // --------------------------------------------------------------------------- | 1691 // --------------------------------------------------------------------------- |
| 1695 // Garbage collector support (GC). | 1692 // Garbage collector support (GC). |
| 1696 | 1693 |
| 1697 enum RememberedSetFinalAction { | 1694 enum RememberedSetFinalAction { |
| 1698 kReturnAtEnd, | 1695 kReturnAtEnd, |
| 1699 kFallThroughAtEnd | 1696 kFallThroughAtEnd |
| 1700 }; | 1697 }; |
| 1701 | 1698 |
| 1702 // Record in the remembered set the fact that we have a pointer to new space | 1699 // Record in the remembered set the fact that we have a pointer to new space |
| 1703 // at the address pointed to by the addr register. Only works if addr is not | 1700 // at the address pointed to by the addr register. Only works if addr is not |
| 1704 // in new space. | 1701 // in new space. |
| 1705 void RememberedSetHelper(Register object, // Used for debug code. | 1702 void RememberedSetHelper(Register object, // Used for debug code. |
| 1706 Register addr, | 1703 Register addr, |
| 1707 Register scratch, | 1704 Register scratch1, |
| 1708 SaveFPRegsMode save_fp, | 1705 SaveFPRegsMode save_fp, |
| 1709 RememberedSetFinalAction and_then); | 1706 RememberedSetFinalAction and_then); |
| 1710 | 1707 |
| 1711 // Push and pop the registers that can hold pointers, as defined by the | 1708 // Push and pop the registers that can hold pointers, as defined by the |
| 1712 // RegList constant kSafepointSavedRegisters. | 1709 // RegList constant kSafepointSavedRegisters. |
| 1713 void PushSafepointRegisters(); | 1710 void PushSafepointRegisters(); |
| 1714 void PopSafepointRegisters(); | 1711 void PopSafepointRegisters(); |
| 1715 | 1712 |
| 1716 void PushSafepointFPRegisters(); | 1713 void PushSafepointFPRegisters(); |
| 1717 void PopSafepointFPRegisters(); | 1714 void PopSafepointFPRegisters(); |
| (...skipping 164 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1882 void Abort(BailoutReason reason); | 1879 void Abort(BailoutReason reason); |
| 1883 | 1880 |
| 1884 // Conditionally load the cached Array transitioned map of type | 1881 // Conditionally load the cached Array transitioned map of type |
| 1885 // transitioned_kind from the native context if the map in register | 1882 // transitioned_kind from the native context if the map in register |
| 1886 // map_in_out is the cached Array map in the native context of | 1883 // map_in_out is the cached Array map in the native context of |
| 1887 // expected_kind. | 1884 // expected_kind. |
| 1888 void LoadTransitionedArrayMapConditional( | 1885 void LoadTransitionedArrayMapConditional( |
| 1889 ElementsKind expected_kind, | 1886 ElementsKind expected_kind, |
| 1890 ElementsKind transitioned_kind, | 1887 ElementsKind transitioned_kind, |
| 1891 Register map_in_out, | 1888 Register map_in_out, |
| 1892 Register scratch, | 1889 Register scratch1, |
| 1890 Register scratch2, |
| 1893 Label* no_map_match); | 1891 Label* no_map_match); |
| 1894 | 1892 |
| 1895 void LoadGlobalFunction(int index, Register function); | 1893 void LoadGlobalFunction(int index, Register function); |
| 1896 | 1894 |
| 1897 // Load the initial map from the global function. The registers function and | 1895 // Load the initial map from the global function. The registers function and |
| 1898 // map can be the same, function is then overwritten. | 1896 // map can be the same, function is then overwritten. |
| 1899 void LoadGlobalFunctionInitialMap(Register function, | 1897 void LoadGlobalFunctionInitialMap(Register function, |
| 1900 Register map, | 1898 Register map, |
| 1901 Register scratch); | 1899 Register scratch); |
| 1902 | 1900 |
| 1903 // -------------------------------------------------------------------------- | 1901 CPURegList* TmpList() { return &tmp_list_; } |
| 1904 // Set the registers used internally by the MacroAssembler as scratch | 1902 CPURegList* FPTmpList() { return &fptmp_list_; } |
| 1905 // registers. These registers are used to implement behaviours which are not | |
| 1906 // directly supported by A64, and where an intermediate result is required. | |
| 1907 // | |
| 1908 // Both tmp0 and tmp1 may be set to any X register except for xzr, sp, | |
| 1909 // and StackPointer(). Also, they must not be the same register (though they | |
| 1910 // may both be NoReg). | |
| 1911 // | |
| 1912 // It is valid to set either or both of these registers to NoReg if you don't | |
| 1913 // want the MacroAssembler to use any scratch registers. In a debug build, the | |
| 1914 // Assembler will assert that any registers it uses are valid. Be aware that | |
| 1915 // this check is not present in release builds. If this is a problem, use the | |
| 1916 // Assembler directly. | |
| 1917 void SetScratchRegisters(const Register& tmp0, const Register& tmp1) { | |
| 1918 // V8 assumes the macro assembler uses ip0 and ip1 as temp registers. | |
| 1919 ASSERT(tmp0.IsNone() || tmp0.Is(ip0)); | |
| 1920 ASSERT(tmp1.IsNone() || tmp1.Is(ip1)); | |
| 1921 | |
| 1922 ASSERT(!AreAliased(xzr, csp, tmp0, tmp1)); | |
| 1923 ASSERT(!AreAliased(StackPointer(), tmp0, tmp1)); | |
| 1924 tmp0_ = tmp0; | |
| 1925 tmp1_ = tmp1; | |
| 1926 } | |
| 1927 | |
| 1928 const Register& Tmp0() const { | |
| 1929 return tmp0_; | |
| 1930 } | |
| 1931 | |
| 1932 const Register& Tmp1() const { | |
| 1933 return tmp1_; | |
| 1934 } | |
| 1935 | |
| 1936 const Register WTmp0() const { | |
| 1937 return Register::Create(tmp0_.code(), kWRegSize); | |
| 1938 } | |
| 1939 | |
| 1940 const Register WTmp1() const { | |
| 1941 return Register::Create(tmp1_.code(), kWRegSize); | |
| 1942 } | |
| 1943 | |
| 1944 void SetFPScratchRegister(const FPRegister& fptmp0) { | |
| 1945 fptmp0_ = fptmp0; | |
| 1946 } | |
| 1947 | |
| 1948 const FPRegister& FPTmp0() const { | |
| 1949 return fptmp0_; | |
| 1950 } | |
| 1951 | |
| 1952 const Register AppropriateTempFor( | |
| 1953 const Register& target, | |
| 1954 const CPURegister& forbidden = NoCPUReg) const { | |
| 1955 Register candidate = forbidden.Is(Tmp0()) ? Tmp1() : Tmp0(); | |
| 1956 ASSERT(!candidate.Is(target)); | |
| 1957 return Register::Create(candidate.code(), target.SizeInBits()); | |
| 1958 } | |
| 1959 | |
| 1960 const FPRegister AppropriateTempFor( | |
| 1961 const FPRegister& target, | |
| 1962 const CPURegister& forbidden = NoCPUReg) const { | |
| 1963 USE(forbidden); | |
| 1964 FPRegister candidate = FPTmp0(); | |
| 1965 ASSERT(!candidate.Is(forbidden)); | |
| 1966 ASSERT(!candidate.Is(target)); | |
| 1967 return FPRegister::Create(candidate.code(), target.SizeInBits()); | |
| 1968 } | |
| 1969 | 1903 |
| 1970 // Like printf, but print at run-time from generated code. | 1904 // Like printf, but print at run-time from generated code. |
| 1971 // | 1905 // |
| 1972 // The caller must ensure that arguments for floating-point placeholders | 1906 // The caller must ensure that arguments for floating-point placeholders |
| 1973 // (such as %e, %f or %g) are FPRegisters, and that arguments for integer | 1907 // (such as %e, %f or %g) are FPRegisters, and that arguments for integer |
| 1974 // placeholders are Registers. | 1908 // placeholders are Registers. |
| 1975 // | 1909 // |
| 1976 // A maximum of four arguments may be given to any single Printf call. The | 1910 // A maximum of four arguments may be given to any single Printf call. The |
| 1977 // arguments must be of the same type, but they do not need to have the same | 1911 // arguments must be of the same type, but they do not need to have the same |
| 1978 // size. | 1912 // size. |
| 1979 // | 1913 // |
| 1980 // The following registers cannot be printed: | 1914 // The following registers cannot be printed: |
| 1981 // Tmp0(), Tmp1(), StackPointer(), csp. | 1915 // StackPointer(), csp. |
| 1982 // | 1916 // |
| 1983 // This function automatically preserves caller-saved registers so that | 1917 // This function automatically preserves caller-saved registers so that |
| 1984 // calling code can use Printf at any point without having to worry about | 1918 // calling code can use Printf at any point without having to worry about |
| 1985 // corruption. The preservation mechanism generates a lot of code. If this is | 1919 // corruption. The preservation mechanism generates a lot of code. If this is |
| 1986 // a problem, preserve the important registers manually and then call | 1920 // a problem, preserve the important registers manually and then call |
| 1987 // PrintfNoPreserve. Callee-saved registers are not used by Printf, and are | 1921 // PrintfNoPreserve. Callee-saved registers are not used by Printf, and are |
| 1988 // implicitly preserved. | 1922 // implicitly preserved. |
| 1989 // | 1923 // |
| 1990 // Unlike many MacroAssembler functions, x8 and x9 are guaranteed to be | 1924 // Unlike many MacroAssembler functions, x8 and x9 are guaranteed to be |
| 1991 // preserved, and can be printed. This allows Printf to be used during debug | 1925 // preserved, and can be printed. This allows Printf to be used during debug |
| (...skipping 64 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2056 | 1990 |
| 2057 // Jumps to found label if a prototype map has dictionary elements. | 1991 // Jumps to found label if a prototype map has dictionary elements. |
| 2058 void JumpIfDictionaryInPrototypeChain(Register object, Register scratch0, | 1992 void JumpIfDictionaryInPrototypeChain(Register object, Register scratch0, |
| 2059 Register scratch1, Label* found); | 1993 Register scratch1, Label* found); |
| 2060 | 1994 |
| 2061 private: | 1995 private: |
| 2062 // Helpers for CopyFields. | 1996 // Helpers for CopyFields. |
| 2063 // These each implement CopyFields in a different way. | 1997 // These each implement CopyFields in a different way. |
| 2064 void CopyFieldsLoopPairsHelper(Register dst, Register src, unsigned count, | 1998 void CopyFieldsLoopPairsHelper(Register dst, Register src, unsigned count, |
| 2065 Register scratch1, Register scratch2, | 1999 Register scratch1, Register scratch2, |
| 2066 Register scratch3); | 2000 Register scratch3, Register scratch4, |
| 2001 Register scratch5); |
| 2067 void CopyFieldsUnrolledPairsHelper(Register dst, Register src, unsigned count, | 2002 void CopyFieldsUnrolledPairsHelper(Register dst, Register src, unsigned count, |
| 2068 Register scratch1, Register scratch2); | 2003 Register scratch1, Register scratch2, |
| 2004 Register scratch3, Register scratch4); |
| 2069 void CopyFieldsUnrolledHelper(Register dst, Register src, unsigned count, | 2005 void CopyFieldsUnrolledHelper(Register dst, Register src, unsigned count, |
| 2070 Register scratch1); | 2006 Register scratch1, Register scratch2, |
| 2007 Register scratch3); |
| 2071 | 2008 |
| 2072 // The actual Push and Pop implementations. These don't generate any code | 2009 // The actual Push and Pop implementations. These don't generate any code |
| 2073 // other than that required for the push or pop. This allows | 2010 // other than that required for the push or pop. This allows |
| 2074 // (Push|Pop)CPURegList to bundle together run-time assertions for a large | 2011 // (Push|Pop)CPURegList to bundle together run-time assertions for a large |
| 2075 // block of registers. | 2012 // block of registers. |
| 2076 // | 2013 // |
| 2077 // Note that size is per register, and is specified in bytes. | 2014 // Note that size is per register, and is specified in bytes. |
| 2078 void PushHelper(int count, int size, | 2015 void PushHelper(int count, int size, |
| 2079 const CPURegister& src0, const CPURegister& src1, | 2016 const CPURegister& src0, const CPURegister& src1, |
| 2080 const CPURegister& src2, const CPURegister& src3); | 2017 const CPURegister& src2, const CPURegister& src3); |
| (...skipping 60 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2141 // The purpose of this is to allow Aborts to be compiled whilst CEntryStub is | 2078 // The purpose of this is to allow Aborts to be compiled whilst CEntryStub is |
| 2142 // being generated. | 2079 // being generated. |
| 2143 bool use_real_aborts_; | 2080 bool use_real_aborts_; |
| 2144 | 2081 |
| 2145 // This handle will be patched with the code object on installation. | 2082 // This handle will be patched with the code object on installation. |
| 2146 Handle<Object> code_object_; | 2083 Handle<Object> code_object_; |
| 2147 | 2084 |
| 2148 // The register to use as a stack pointer for stack operations. | 2085 // The register to use as a stack pointer for stack operations. |
| 2149 Register sp_; | 2086 Register sp_; |
| 2150 | 2087 |
| 2151 // Scratch registers used internally by the MacroAssembler. | 2088 // Scratch registers available for use by the MacroAssembler. |
| 2152 Register tmp0_; | 2089 CPURegList tmp_list_; |
| 2153 Register tmp1_; | 2090 CPURegList fptmp_list_; |
| 2154 FPRegister fptmp0_; | |
| 2155 | 2091 |
| 2156 void InitializeNewString(Register string, | 2092 void InitializeNewString(Register string, |
| 2157 Register length, | 2093 Register length, |
| 2158 Heap::RootListIndex map_index, | 2094 Heap::RootListIndex map_index, |
| 2159 Register scratch1, | 2095 Register scratch1, |
| 2160 Register scratch2); | 2096 Register scratch2); |
| 2161 | 2097 |
| 2162 public: | 2098 public: |
| 2163 // Far branches resolving. | 2099 // Far branches resolving. |
| 2164 // | 2100 // |
| (...skipping 60 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2225 private: | 2161 private: |
| 2226 MacroAssembler* masm_; | 2162 MacroAssembler* masm_; |
| 2227 #ifdef DEBUG | 2163 #ifdef DEBUG |
| 2228 size_t size_; | 2164 size_t size_; |
| 2229 Label start_; | 2165 Label start_; |
| 2230 bool previous_allow_macro_instructions_; | 2166 bool previous_allow_macro_instructions_; |
| 2231 #endif | 2167 #endif |
| 2232 }; | 2168 }; |
| 2233 | 2169 |
| 2234 | 2170 |
| 2171 // This scope utility allows scratch registers to be managed safely. The |
| 2172 // MacroAssembler's TmpList() (and FPTmpList()) is used as a pool of scratch |
| 2173 // registers. These registers can be allocated on demand, and will be returned |
| 2174 // at the end of the scope. |
| 2175 // |
| 2176 // When the scope ends, the MacroAssembler's lists will be restored to their |
| 2177 // original state, even if the lists were modified by some other means. |
| 2178 class UseScratchRegisterScope { |
| 2179 public: |
| 2180 explicit UseScratchRegisterScope(MacroAssembler* masm) |
| 2181 : available_(masm->TmpList()), |
| 2182 availablefp_(masm->FPTmpList()), |
| 2183 old_available_(available_->list()), |
| 2184 old_availablefp_(availablefp_->list()) { |
| 2185 ASSERT(available_->type() == CPURegister::kRegister); |
| 2186 ASSERT(availablefp_->type() == CPURegister::kFPRegister); |
| 2187 } |
| 2188 |
| 2189 ~UseScratchRegisterScope(); |
| 2190 |
| 2191 // Take a register from the appropriate temps list. It will be returned |
| 2192 // automatically when the scope ends. |
| 2193 Register AcquireW() { return AcquireNextAvailable(available_).W(); } |
| 2194 Register AcquireX() { return AcquireNextAvailable(available_).X(); } |
| 2195 FPRegister AcquireS() { return AcquireNextAvailable(availablefp_).S(); } |
| 2196 FPRegister AcquireD() { return AcquireNextAvailable(availablefp_).D(); } |
| 2197 |
| 2198 Register AcquireSameSizeAs(const Register& reg); |
| 2199 FPRegister AcquireSameSizeAs(const FPRegister& reg); |
| 2200 |
| 2201 private: |
| 2202 static CPURegister AcquireNextAvailable(CPURegList* available); |
| 2203 |
| 2204 // Available scratch registers. |
| 2205 CPURegList* available_; // kRegister |
| 2206 CPURegList* availablefp_; // kFPRegister |
| 2207 |
| 2208 // The state of the available lists at the start of this scope. |
| 2209 RegList old_available_; // kRegister |
| 2210 RegList old_availablefp_; // kFPRegister |
| 2211 }; |
| 2212 |
| 2213 |
| 2235 inline MemOperand ContextMemOperand(Register context, int index) { | 2214 inline MemOperand ContextMemOperand(Register context, int index) { |
| 2236 return MemOperand(context, Context::SlotOffset(index)); | 2215 return MemOperand(context, Context::SlotOffset(index)); |
| 2237 } | 2216 } |
| 2238 | 2217 |
| 2239 inline MemOperand GlobalObjectMemOperand() { | 2218 inline MemOperand GlobalObjectMemOperand() { |
| 2240 return ContextMemOperand(cp, Context::GLOBAL_OBJECT_INDEX); | 2219 return ContextMemOperand(cp, Context::GLOBAL_OBJECT_INDEX); |
| 2241 } | 2220 } |
| 2242 | 2221 |
| 2243 | 2222 |
| 2244 // Encode and decode information about patchable inline SMI checks. | 2223 // Encode and decode information about patchable inline SMI checks. |
| (...skipping 50 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2295 #error "Unsupported option" | 2274 #error "Unsupported option" |
| 2296 #define CODE_COVERAGE_STRINGIFY(x) #x | 2275 #define CODE_COVERAGE_STRINGIFY(x) #x |
| 2297 #define CODE_COVERAGE_TOSTRING(x) CODE_COVERAGE_STRINGIFY(x) | 2276 #define CODE_COVERAGE_TOSTRING(x) CODE_COVERAGE_STRINGIFY(x) |
| 2298 #define __FILE_LINE__ __FILE__ ":" CODE_COVERAGE_TOSTRING(__LINE__) | 2277 #define __FILE_LINE__ __FILE__ ":" CODE_COVERAGE_TOSTRING(__LINE__) |
| 2299 #define ACCESS_MASM(masm) masm->stop(__FILE_LINE__); masm-> | 2278 #define ACCESS_MASM(masm) masm->stop(__FILE_LINE__); masm-> |
| 2300 #else | 2279 #else |
| 2301 #define ACCESS_MASM(masm) masm-> | 2280 #define ACCESS_MASM(masm) masm-> |
| 2302 #endif | 2281 #endif |
| 2303 | 2282 |
| 2304 #endif // V8_A64_MACRO_ASSEMBLER_A64_H_ | 2283 #endif // V8_A64_MACRO_ASSEMBLER_A64_H_ |
| OLD | NEW |