| OLD | NEW |
| 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, 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" | 5 #include "vm/globals.h" |
| 6 #if defined(TARGET_ARCH_X64) | 6 #if defined(TARGET_ARCH_X64) |
| 7 | 7 |
| 8 #include "vm/assembler.h" | 8 #include "vm/assembler.h" |
| 9 #include "vm/os.h" | 9 #include "vm/os.h" |
| 10 #include "vm/unit_test.h" | 10 #include "vm/unit_test.h" |
| (...skipping 1731 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1742 EXPECT_EQ(0, reinterpret_cast<LogicalTestCode>(test->entry())()); | 1742 EXPECT_EQ(0, reinterpret_cast<LogicalTestCode>(test->entry())()); |
| 1743 } | 1743 } |
| 1744 | 1744 |
| 1745 | 1745 |
| 1746 ASSEMBLER_TEST_GENERATE(CompareSwapEQ, assembler) { | 1746 ASSEMBLER_TEST_GENERATE(CompareSwapEQ, assembler) { |
| 1747 __ movq(RAX, Immediate(0)); | 1747 __ movq(RAX, Immediate(0)); |
| 1748 __ pushq(RAX); | 1748 __ pushq(RAX); |
| 1749 __ movq(RAX, Immediate(4)); | 1749 __ movq(RAX, Immediate(4)); |
| 1750 __ movq(RCX, Immediate(0)); | 1750 __ movq(RCX, Immediate(0)); |
| 1751 __ movq(Address(RSP, 0), RAX); | 1751 __ movq(Address(RSP, 0), RAX); |
| 1752 __ LockCmpxchgq(Address(RSP, 0), RCX); | 1752 __ lock_cmpxchgq(Address(RSP, 0), RCX); |
| 1753 __ popq(RAX); | 1753 __ popq(RAX); |
| 1754 __ ret(); | 1754 __ ret(); |
| 1755 } | 1755 } |
| 1756 | 1756 |
| 1757 | 1757 |
| 1758 ASSEMBLER_TEST_RUN(CompareSwapEQ, test) { | 1758 ASSEMBLER_TEST_RUN(CompareSwapEQ, test) { |
| 1759 typedef int (*CompareSwapEQCode)(); | 1759 typedef int (*CompareSwapEQCode)(); |
| 1760 EXPECT_EQ(0, reinterpret_cast<CompareSwapEQCode>(test->entry())()); | 1760 EXPECT_EQ(0, reinterpret_cast<CompareSwapEQCode>(test->entry())()); |
| 1761 } | 1761 } |
| 1762 | 1762 |
| 1763 | 1763 |
| 1764 ASSEMBLER_TEST_GENERATE(CompareSwapNEQ, assembler) { | 1764 ASSEMBLER_TEST_GENERATE(CompareSwapNEQ, assembler) { |
| 1765 __ movq(RAX, Immediate(0)); | 1765 __ movq(RAX, Immediate(0)); |
| 1766 __ pushq(RAX); | 1766 __ pushq(RAX); |
| 1767 __ movq(RAX, Immediate(2)); | 1767 __ movq(RAX, Immediate(2)); |
| 1768 __ movq(RCX, Immediate(4)); | 1768 __ movq(RCX, Immediate(4)); |
| 1769 __ movq(Address(RSP, 0), RCX); | 1769 __ movq(Address(RSP, 0), RCX); |
| 1770 __ LockCmpxchgq(Address(RSP, 0), RCX); | 1770 __ lock_cmpxchgq(Address(RSP, 0), RCX); |
| 1771 __ popq(RAX); | 1771 __ popq(RAX); |
| 1772 __ ret(); | 1772 __ ret(); |
| 1773 } | 1773 } |
| 1774 | 1774 |
| 1775 | 1775 |
| 1776 ASSEMBLER_TEST_RUN(CompareSwapNEQ, test) { | 1776 ASSEMBLER_TEST_RUN(CompareSwapNEQ, test) { |
| 1777 typedef int (*CompareSwapNEQCode)(); | 1777 typedef int (*CompareSwapNEQCode)(); |
| 1778 EXPECT_EQ(4, reinterpret_cast<CompareSwapNEQCode>(test->entry())()); | 1778 EXPECT_EQ(4, reinterpret_cast<CompareSwapNEQCode>(test->entry())()); |
| 1779 } | 1779 } |
| 1780 | 1780 |
| 1781 | 1781 |
| 1782 ASSEMBLER_TEST_GENERATE(CompareSwapEQ32, assembler) { | |
| 1783 __ movq(RAX, Immediate(0x100000000)); | |
| 1784 __ pushq(RAX); | |
| 1785 __ movq(RAX, Immediate(4)); | |
| 1786 __ movq(RCX, Immediate(0)); | |
| 1787 // 32 bit store of 4. | |
| 1788 __ movl(Address(RSP, 0), RAX); | |
| 1789 // Compare 32 bit memory location with RAX (4) and write 0. | |
| 1790 __ LockCmpxchgl(Address(RSP, 0), RCX); | |
| 1791 // Pop unchanged high word and zeroed out low word. | |
| 1792 __ popq(RAX); | |
| 1793 __ ret(); | |
| 1794 } | |
| 1795 | |
| 1796 | |
| 1797 ASSEMBLER_TEST_RUN(CompareSwapEQ32, test) { | |
| 1798 typedef intptr_t (*CompareSwapEQ32Code)(); | |
| 1799 EXPECT_EQ(0x100000000, | |
| 1800 reinterpret_cast<CompareSwapEQ32Code>(test->entry())()); | |
| 1801 } | |
| 1802 | |
| 1803 | |
| 1804 ASSEMBLER_TEST_GENERATE(CompareSwapNEQ32, assembler) { | |
| 1805 __ movq(RAX, Immediate(0x100000000)); | |
| 1806 __ pushq(RAX); | |
| 1807 __ movq(RAX, Immediate(2)); | |
| 1808 __ movq(RCX, Immediate(4)); | |
| 1809 __ movl(Address(RSP, 0), RCX); | |
| 1810 __ LockCmpxchgl(Address(RSP, 0), RCX); | |
| 1811 __ popq(RAX); | |
| 1812 __ ret(); | |
| 1813 } | |
| 1814 | |
| 1815 | |
| 1816 ASSEMBLER_TEST_RUN(CompareSwapNEQ32, test) { | |
| 1817 typedef intptr_t (*CompareSwapNEQ32Code)(); | |
| 1818 EXPECT_EQ(0x100000004l, | |
| 1819 reinterpret_cast<CompareSwapNEQ32Code>(test->entry())()); | |
| 1820 } | |
| 1821 | |
| 1822 | |
| 1823 ASSEMBLER_TEST_GENERATE(Exchange, assembler) { | 1782 ASSEMBLER_TEST_GENERATE(Exchange, assembler) { |
| 1824 __ movq(RAX, Immediate(kLargeConstant)); | 1783 __ movq(RAX, Immediate(kLargeConstant)); |
| 1825 __ movq(RDX, Immediate(kAnotherLargeConstant)); | 1784 __ movq(RDX, Immediate(kAnotherLargeConstant)); |
| 1826 __ xchgq(RAX, RDX); | 1785 __ xchgq(RAX, RDX); |
| 1827 __ subq(RAX, RDX); | 1786 __ subq(RAX, RDX); |
| 1828 __ ret(); | 1787 __ ret(); |
| 1829 } | 1788 } |
| 1830 | 1789 |
| 1831 | 1790 |
| 1832 ASSEMBLER_TEST_RUN(Exchange, test) { | 1791 ASSEMBLER_TEST_RUN(Exchange, test) { |
| (...skipping 1788 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3621 int res = reinterpret_cast<ConditionalMovesNoOverflowCode>(test->entry())( | 3580 int res = reinterpret_cast<ConditionalMovesNoOverflowCode>(test->entry())( |
| 3622 0x7fffffffffffffff, 2); | 3581 0x7fffffffffffffff, 2); |
| 3623 EXPECT_EQ(1, res); | 3582 EXPECT_EQ(1, res); |
| 3624 res = reinterpret_cast<ConditionalMovesNoOverflowCode>(test->entry())(1, 1); | 3583 res = reinterpret_cast<ConditionalMovesNoOverflowCode>(test->entry())(1, 1); |
| 3625 EXPECT_EQ(0, res); | 3584 EXPECT_EQ(0, res); |
| 3626 } | 3585 } |
| 3627 | 3586 |
| 3628 } // namespace dart | 3587 } // namespace dart |
| 3629 | 3588 |
| 3630 #endif // defined TARGET_ARCH_X64 | 3589 #endif // defined TARGET_ARCH_X64 |
| OLD | NEW |