Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(34)

Side by Side Diff: runtime/vm/assembler_arm64_test.cc

Issue 1283733003: VM: Refactor assembler test that rely on the constant pool. (Closed) Base URL: git@github.com:dart-lang/sdk.git@master
Patch Set: fixed 32-bit build and strengthened asserts Created 5 years, 4 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « no previous file | runtime/vm/assembler_test.cc » ('j') | runtime/vm/unit_test.h » ('J')
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
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" 5 #include "vm/globals.h"
6 #if defined(TARGET_ARCH_ARM64) 6 #if defined(TARGET_ARCH_ARM64)
7 7
8 #include "vm/assembler.h" 8 #include "vm/assembler.h"
9 #include "vm/cpu.h" 9 #include "vm/cpu.h"
10 #include "vm/os.h" 10 #include "vm/os.h"
(...skipping 1607 matching lines...) Expand 10 before | Expand all | Expand 10 after
1618 1618
1619 ASSEMBLER_TEST_RUN(LoadImmediateMedNeg4, test) { 1619 ASSEMBLER_TEST_RUN(LoadImmediateMedNeg4, test) {
1620 typedef int64_t (*Int64Return)() DART_UNUSED; 1620 typedef int64_t (*Int64Return)() DART_UNUSED;
1621 EXPECT_EQ(-0x12341234, EXECUTE_TEST_CODE_INT64(Int64Return, test->entry())); 1621 EXPECT_EQ(-0x12341234, EXECUTE_TEST_CODE_INT64(Int64Return, test->entry()));
1622 } 1622 }
1623 1623
1624 1624
1625 // Loading immediate values with the object pool. 1625 // Loading immediate values with the object pool.
1626 ASSEMBLER_TEST_GENERATE(LoadImmediatePPSmall, assembler) { 1626 ASSEMBLER_TEST_GENERATE(LoadImmediatePPSmall, assembler) {
1627 __ SetupDartSP(kTestStackSpace); 1627 __ SetupDartSP(kTestStackSpace);
1628 __ TagAndPushPP(); // Save caller's pool pointer and load a new one here. 1628 __ EnterStubFrame();
1629 __ LoadPoolPointer();
1630 __ LoadImmediate(R0, 42); 1629 __ LoadImmediate(R0, 42);
1631 __ PopAndUntagPP(); 1630 __ LeaveStubFrame();
1632 __ mov(CSP, SP); 1631 __ mov(CSP, SP);
1633 __ ret(); 1632 __ ret();
1634 } 1633 }
1635 1634
1636 1635
1637 ASSEMBLER_TEST_RUN(LoadImmediatePPSmall, test) { 1636 ASSEMBLER_TEST_RUN(LoadImmediatePPSmall, test) {
1638 typedef int64_t (*Int64Return)() DART_UNUSED; 1637 EXPECT_EQ(42, test->Invoke<int64_t>());
1639 EXPECT_EQ(42, EXECUTE_TEST_CODE_INT64(Int64Return, test->entry()));
1640 } 1638 }
1641 1639
1642 1640
1643 ASSEMBLER_TEST_GENERATE(LoadImmediatePPMed, assembler) { 1641 ASSEMBLER_TEST_GENERATE(LoadImmediatePPMed, assembler) {
1644 __ SetupDartSP(kTestStackSpace); 1642 __ SetupDartSP(kTestStackSpace);
1645 __ TagAndPushPP(); // Save caller's pool pointer and load a new one here. 1643 __ EnterStubFrame();
1646 __ LoadPoolPointer();
1647 __ LoadImmediate(R0, 0xf1234123); 1644 __ LoadImmediate(R0, 0xf1234123);
1648 __ PopAndUntagPP(); 1645 __ LeaveStubFrame();
1649 __ mov(CSP, SP); 1646 __ mov(CSP, SP);
1650 __ ret(); 1647 __ ret();
1651 } 1648 }
1652 1649
1653 1650
1654 ASSEMBLER_TEST_RUN(LoadImmediatePPMed, test) { 1651 ASSEMBLER_TEST_RUN(LoadImmediatePPMed, test) {
1655 typedef int64_t (*Int64Return)() DART_UNUSED; 1652 EXPECT_EQ(0xf1234123, test->Invoke<int64_t>());
1656 EXPECT_EQ(0xf1234123, EXECUTE_TEST_CODE_INT64(Int64Return, test->entry()));
1657 } 1653 }
1658 1654
1659 1655
1660 ASSEMBLER_TEST_GENERATE(LoadImmediatePPMed2, assembler) { 1656 ASSEMBLER_TEST_GENERATE(LoadImmediatePPMed2, assembler) {
1661 __ SetupDartSP(kTestStackSpace); 1657 __ SetupDartSP(kTestStackSpace);
1662 __ TagAndPushPP(); // Save caller's pool pointer and load a new one here. 1658 __ EnterStubFrame();
1663 __ LoadPoolPointer();
1664 __ LoadImmediate(R0, 0x4321f1234124); 1659 __ LoadImmediate(R0, 0x4321f1234124);
1665 __ PopAndUntagPP(); 1660 __ LeaveStubFrame();
1666 __ mov(CSP, SP); 1661 __ mov(CSP, SP);
1667 __ ret(); 1662 __ ret();
1668 } 1663 }
1669 1664
1670 1665
1671 ASSEMBLER_TEST_RUN(LoadImmediatePPMed2, test) { 1666 ASSEMBLER_TEST_RUN(LoadImmediatePPMed2, test) {
1672 typedef int64_t (*Int64Return)() DART_UNUSED; 1667 EXPECT_EQ(0x4321f1234124, test->Invoke<int64_t>());
1673 EXPECT_EQ(
1674 0x4321f1234124, EXECUTE_TEST_CODE_INT64(Int64Return, test->entry()));
1675 } 1668 }
1676 1669
1677 1670
1678 ASSEMBLER_TEST_GENERATE(LoadImmediatePPLarge, assembler) { 1671 ASSEMBLER_TEST_GENERATE(LoadImmediatePPLarge, assembler) {
1679 __ SetupDartSP(kTestStackSpace); 1672 __ SetupDartSP(kTestStackSpace);
1680 __ TagAndPushPP(); // Save caller's pool pointer and load a new one here. 1673 __ EnterStubFrame();
1681 __ LoadPoolPointer();
1682 __ LoadImmediate(R0, 0x9287436598237465); 1674 __ LoadImmediate(R0, 0x9287436598237465);
1683 __ PopAndUntagPP(); 1675 __ LeaveStubFrame();
1684 __ mov(CSP, SP); 1676 __ mov(CSP, SP);
1685 __ ret(); 1677 __ ret();
1686 } 1678 }
1687 1679
1688 1680
1689 ASSEMBLER_TEST_RUN(LoadImmediatePPLarge, test) { 1681 ASSEMBLER_TEST_RUN(LoadImmediatePPLarge, test) {
1690 typedef int64_t (*Int64Return)() DART_UNUSED; 1682 EXPECT_EQ(static_cast<int64_t>(0x9287436598237465), test->Invoke<int64_t>());
1691 EXPECT_EQ(static_cast<int64_t>(0x9287436598237465),
1692 EXECUTE_TEST_CODE_INT64(Int64Return, test->entry()));
1693 } 1683 }
1694 1684
1695 1685
1696 #if defined(USING_SIMULATOR) 1686 #define ASSEMBLER_TEST_RUN_WITH_THREAD(result_type, var_name) \
1697 #define ASSEMBLER_TEST_RUN_WITH_THREAD(var_name) \
1698 Thread* thread = Thread::Current(); \ 1687 Thread* thread = Thread::Current(); \
1699 int64_t var_name = Simulator::Current()->Call( \ 1688 int64_t var_name = test->Invoke<result_type>(thread);
1700 bit_cast<intptr_t, uword>(test->entry()), \
1701 reinterpret_cast<intptr_t>(thread), 0, 0, 0)
1702 #else
1703 #define ASSEMBER_TEST_RUN_WITH_THREAD(var_name) \
1704 typedef int64_t (*Int64Return)(Thread* thread); \
1705 Int64Return test_code = reinterpret_cast<Int64Return>(test->entry()); \
1706 int64_t var_name = test_code(thread)
1707 #endif
1708 1689
1709 1690
1710 // LoadObject null. 1691 // LoadObject null.
1711 ASSEMBLER_TEST_GENERATE(LoadObjectNull, assembler) { 1692 ASSEMBLER_TEST_GENERATE(LoadObjectNull, assembler) {
1712 __ SetupDartSP(kTestStackSpace); 1693 __ SetupDartSP(kTestStackSpace);
1694 __ EnterStubFrame();
1713 __ Push(THR); 1695 __ Push(THR);
1714 __ mov(THR, R0); 1696 __ mov(THR, R0);
1715 __ TagAndPushPP(); // Save caller's pool pointer and load a new one here.
1716 __ LoadPoolPointer();
1717 __ LoadObject(R0, Object::null_object()); 1697 __ LoadObject(R0, Object::null_object());
1718 __ PopAndUntagPP();
1719 __ Pop(THR); 1698 __ Pop(THR);
1699 __ LeaveStubFrame();
1720 __ mov(CSP, SP); 1700 __ mov(CSP, SP);
1721 __ ret(); 1701 __ ret();
1722 } 1702 }
1723 1703
1724 1704
1725 ASSEMBLER_TEST_RUN(LoadObjectNull, test) { 1705 ASSEMBLER_TEST_RUN(LoadObjectNull, test) {
1726 ASSEMBLER_TEST_RUN_WITH_THREAD(result); 1706 ASSEMBLER_TEST_RUN_WITH_THREAD(int64_t, result);
1727 EXPECT_EQ(reinterpret_cast<int64_t>(Object::null()), result); 1707 EXPECT_EQ(reinterpret_cast<int64_t>(Object::null()), result);
1728 } 1708 }
1729 1709
1730 1710
1731 ASSEMBLER_TEST_GENERATE(LoadObjectTrue, assembler) { 1711 ASSEMBLER_TEST_GENERATE(LoadObjectTrue, assembler) {
1732 __ SetupDartSP(kTestStackSpace); 1712 __ SetupDartSP(kTestStackSpace);
1713 __ EnterStubFrame();
1733 __ Push(THR); 1714 __ Push(THR);
1734 __ mov(THR, R0); 1715 __ mov(THR, R0);
1735 __ TagAndPushPP(); // Save caller's pool pointer and load a new one here.
1736 __ LoadPoolPointer();
1737 __ LoadObject(R0, Bool::True()); 1716 __ LoadObject(R0, Bool::True());
1738 __ PopAndUntagPP();
1739 __ Pop(THR); 1717 __ Pop(THR);
1718 __ LeaveDartFrame();
1740 __ mov(CSP, SP); 1719 __ mov(CSP, SP);
1741 __ ret(); 1720 __ ret();
1742 } 1721 }
1743 1722
1744 1723
1745 ASSEMBLER_TEST_RUN(LoadObjectTrue, test) { 1724 ASSEMBLER_TEST_RUN(LoadObjectTrue, test) {
1746 ASSEMBLER_TEST_RUN_WITH_THREAD(result); 1725 ASSEMBLER_TEST_RUN_WITH_THREAD(int64_t, result);
1747 EXPECT_EQ(reinterpret_cast<int64_t>(Bool::True().raw()), result); 1726 EXPECT_EQ(reinterpret_cast<int64_t>(Bool::True().raw()), result);
1748 } 1727 }
1749 1728
1750 1729
1751 ASSEMBLER_TEST_GENERATE(LoadObjectFalse, assembler) { 1730 ASSEMBLER_TEST_GENERATE(LoadObjectFalse, assembler) {
1752 __ SetupDartSP(kTestStackSpace); 1731 __ SetupDartSP(kTestStackSpace);
1732 __ EnterStubFrame();
1753 __ Push(THR); 1733 __ Push(THR);
1754 __ mov(THR, R0); 1734 __ mov(THR, R0);
1755 __ TagAndPushPP(); // Save caller's pool pointer and load a new one here.
1756 __ LoadPoolPointer();
1757 __ LoadObject(R0, Bool::False()); 1735 __ LoadObject(R0, Bool::False());
1758 __ PopAndUntagPP();
1759 __ Pop(THR); 1736 __ Pop(THR);
1737 __ LeaveStubFrame();
1760 __ mov(CSP, SP); 1738 __ mov(CSP, SP);
1761 __ ret(); 1739 __ ret();
1762 } 1740 }
1763 1741
1764 1742
1765 ASSEMBLER_TEST_RUN(LoadObjectFalse, test) { 1743 ASSEMBLER_TEST_RUN(LoadObjectFalse, test) {
1766 ASSEMBLER_TEST_RUN_WITH_THREAD(result); 1744 ASSEMBLER_TEST_RUN_WITH_THREAD(int64_t, result);
1767 EXPECT_EQ(reinterpret_cast<int64_t>(Bool::False().raw()), result); 1745 EXPECT_EQ(reinterpret_cast<int64_t>(Bool::False().raw()), result);
1768 } 1746 }
1769 1747
1770 1748
1771 ASSEMBLER_TEST_GENERATE(CSelTrue, assembler) { 1749 ASSEMBLER_TEST_GENERATE(CSelTrue, assembler) {
1772 __ LoadImmediate(R1, 42); 1750 __ LoadImmediate(R1, 42);
1773 __ LoadImmediate(R2, 1234); 1751 __ LoadImmediate(R2, 1234);
1774 __ CompareRegisters(R1, R2); 1752 __ CompareRegisters(R1, R2);
1775 __ csel(R0, R1, R2, LT); 1753 __ csel(R0, R1, R2, LT);
1776 __ ret(); 1754 __ ret();
(...skipping 1791 matching lines...) Expand 10 before | Expand all | Expand 10 after
3568 } 3546 }
3569 3547
3570 3548
3571 // Called from assembler_test.cc. 3549 // Called from assembler_test.cc.
3572 // LR: return address. 3550 // LR: return address.
3573 // R0: value. 3551 // R0: value.
3574 // R1: growable array. 3552 // R1: growable array.
3575 // R2: current thread. 3553 // R2: current thread.
3576 ASSEMBLER_TEST_GENERATE(StoreIntoObject, assembler) { 3554 ASSEMBLER_TEST_GENERATE(StoreIntoObject, assembler) {
3577 __ SetupDartSP(kTestStackSpace); 3555 __ SetupDartSP(kTestStackSpace);
3578 __ TagAndPushPP(); 3556 __ EnterStubFrame();
3579 __ LoadPoolPointer();
3580 __ Push(THR); 3557 __ Push(THR);
3581 __ Push(LR); 3558 __ Push(LR);
3582 __ mov(THR, R2); 3559 __ mov(THR, R2);
3583 __ StoreIntoObject(R1, 3560 __ StoreIntoObject(R1,
3584 FieldAddress(R1, GrowableObjectArray::data_offset()), 3561 FieldAddress(R1, GrowableObjectArray::data_offset()),
3585 R0); 3562 R0);
3586 __ Pop(LR); 3563 __ Pop(LR);
3587 __ Pop(THR); 3564 __ Pop(THR);
3588 __ PopAndUntagPP(); 3565 __ LeaveStubFrame();
3589 __ mov(CSP, SP); 3566 __ mov(CSP, SP);
3590 __ ret(); 3567 __ ret();
3591 } 3568 }
3592 3569
3593 3570
3594 ASSEMBLER_TEST_GENERATE(ComputeRange, assembler) { 3571 ASSEMBLER_TEST_GENERATE(ComputeRange, assembler) {
3595 __ SetupDartSP(kTestStackSpace); 3572 __ SetupDartSP(kTestStackSpace);
3596 __ TagAndPushPP(); 3573 __ EnterStubFrame();
3597 __ LoadPoolPointer();
3598 Label miss, done; 3574 Label miss, done;
3599 __ mov(R1, R0); 3575 __ mov(R1, R0);
3600 __ ComputeRange(R0, R1, R2, &miss); 3576 __ ComputeRange(R0, R1, R2, &miss);
3601 __ b(&done); 3577 __ b(&done);
3602 3578
3603 __ Bind(&miss); 3579 __ Bind(&miss);
3604 __ LoadImmediate(R0, -1); 3580 __ LoadImmediate(R0, -1);
3605 3581
3606 __ Bind(&done); 3582 __ Bind(&done);
3607 __ PopAndUntagPP(); 3583 __ LeaveStubFrame();
3608 __ mov(CSP, SP); 3584 __ mov(CSP, SP);
3609 __ ret(); 3585 __ ret();
3610 } 3586 }
3611 3587
3612 3588
3613 ASSEMBLER_TEST_RUN(ComputeRange, test) { 3589 ASSEMBLER_TEST_RUN(ComputeRange, test) {
3614 typedef intptr_t (*ComputeRange)(intptr_t value) DART_UNUSED; 3590 #define RANGE_OF(arg_type, v) test->Invoke<intptr_t, arg_type>(v)
3615 3591
3616 #define RANGE_OF(v) \ 3592 EXPECT_EQ(ICData::kInt32RangeBit, RANGE_OF(RawSmi*, Smi::New(0)));
3617 (EXECUTE_TEST_CODE_INTPTR_INTPTR( \ 3593 EXPECT_EQ(ICData::kInt32RangeBit, RANGE_OF(RawSmi*, Smi::New(1)));
3618 ComputeRange, test->entry(), reinterpret_cast<intptr_t>(v))) 3594 EXPECT_EQ(ICData::kInt32RangeBit, RANGE_OF(RawSmi*, Smi::New(kMaxInt32)));
3619
3620 EXPECT_EQ(ICData::kInt32RangeBit, RANGE_OF(Smi::New(0)));
3621 EXPECT_EQ(ICData::kInt32RangeBit, RANGE_OF(Smi::New(1)));
3622 EXPECT_EQ(ICData::kInt32RangeBit, RANGE_OF(Smi::New(kMaxInt32)));
3623 EXPECT_EQ(ICData::kInt32RangeBit | ICData::kSignedRangeBit, 3595 EXPECT_EQ(ICData::kInt32RangeBit | ICData::kSignedRangeBit,
3624 RANGE_OF(Smi::New(-1))); 3596 RANGE_OF(RawSmi*, Smi::New(-1)));
3625 EXPECT_EQ(ICData::kInt32RangeBit | ICData::kSignedRangeBit, 3597 EXPECT_EQ(ICData::kInt32RangeBit | ICData::kSignedRangeBit,
3626 RANGE_OF(Smi::New(kMinInt32))); 3598 RANGE_OF(RawSmi*, Smi::New(kMinInt32)));
3627 3599
3628 EXPECT_EQ(ICData::kUint32RangeBit, 3600 EXPECT_EQ(ICData::kUint32RangeBit,
3629 RANGE_OF(Smi::New(static_cast<int64_t>(kMaxInt32) + 1))); 3601 RANGE_OF(RawSmi*, Smi::New(static_cast<int64_t>(kMaxInt32) + 1)));
3630 EXPECT_EQ(ICData::kUint32RangeBit, 3602 EXPECT_EQ(ICData::kUint32RangeBit,
3631 RANGE_OF(Smi::New(kMaxUint32))); 3603 RANGE_OF(RawSmi*, Smi::New(kMaxUint32)));
3632 3604
3633 // On 64-bit platforms we don't track the sign of the smis outside of 3605 // On 64-bit platforms we don't track the sign of the smis outside of
3634 // int32 range because it is not needed to distinguish kInt32Range from 3606 // int32 range because it is not needed to distinguish kInt32Range from
3635 // kUint32Range. 3607 // kUint32Range.
3636 EXPECT_EQ(ICData::kSignedRangeBit, 3608 EXPECT_EQ(ICData::kSignedRangeBit,
3637 RANGE_OF(Smi::New(static_cast<int64_t>(kMinInt32) - 1))); 3609 RANGE_OF(RawSmi*, Smi::New(static_cast<int64_t>(kMinInt32) - 1)));
3638 EXPECT_EQ(ICData::kSignedRangeBit, 3610 EXPECT_EQ(ICData::kSignedRangeBit,
3639 RANGE_OF(Smi::New(static_cast<int64_t>(kMaxUint32) + 1))); 3611 RANGE_OF(RawSmi*, Smi::New(static_cast<int64_t>(kMaxUint32) + 1)));
3640 EXPECT_EQ(ICData::kSignedRangeBit, RANGE_OF(Smi::New(Smi::kMaxValue))); 3612 EXPECT_EQ(ICData::kSignedRangeBit,
3641 EXPECT_EQ(ICData::kSignedRangeBit, RANGE_OF(Smi::New(Smi::kMinValue))); 3613 RANGE_OF(RawSmi*, Smi::New(Smi::kMaxValue)));
3614 EXPECT_EQ(ICData::kSignedRangeBit, RANGE_OF(RawSmi*,
3615 Smi::New(Smi::kMinValue)));
3642 3616
3643 EXPECT_EQ(ICData::kInt64RangeBit, RANGE_OF(Integer::New(Smi::kMaxValue + 1))); 3617 EXPECT_EQ(ICData::kInt64RangeBit,
3644 EXPECT_EQ(ICData::kInt64RangeBit, RANGE_OF(Integer::New(Smi::kMinValue - 1))); 3618 RANGE_OF(RawInteger*, Integer::New(Smi::kMaxValue + 1)));
3645 EXPECT_EQ(ICData::kInt64RangeBit, RANGE_OF(Integer::New(kMaxInt64))); 3619 EXPECT_EQ(ICData::kInt64RangeBit,
3646 EXPECT_EQ(ICData::kInt64RangeBit, RANGE_OF(Integer::New(kMinInt64))); 3620 RANGE_OF(RawInteger*, Integer::New(Smi::kMinValue - 1)));
3621 EXPECT_EQ(ICData::kInt64RangeBit,
3622 RANGE_OF(RawInteger*, Integer::New(kMaxInt64)));
3623 EXPECT_EQ(ICData::kInt64RangeBit,
3624 RANGE_OF(RawInteger*, Integer::New(kMinInt64)));
3647 3625
3648 EXPECT_EQ(-1, RANGE_OF(Bool::True().raw())); 3626 EXPECT_EQ(-1, RANGE_OF(RawBool*, Bool::True().raw()));
3649 3627
3650 #undef RANGE_OF 3628 #undef RANGE_OF
3651 } 3629 }
3652 3630
3653 3631
3654 } // namespace dart 3632 } // namespace dart
3655 3633
3656 #endif // defined(TARGET_ARCH_ARM64) 3634 #endif // defined(TARGET_ARCH_ARM64)
OLDNEW
« no previous file with comments | « no previous file | runtime/vm/assembler_test.cc » ('j') | runtime/vm/unit_test.h » ('J')

Powered by Google App Engine
This is Rietveld 408576698