| Index: unittest/AssemblerX8664/GPRArith.cpp
|
| diff --git a/unittest/AssemblerX8664/GPRArith.cpp b/unittest/AssemblerX8664/GPRArith.cpp
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..f5404f84118df5746d8b1068903b7a204a36a7af
|
| --- /dev/null
|
| +++ b/unittest/AssemblerX8664/GPRArith.cpp
|
| @@ -0,0 +1,1905 @@
|
| +//===- subzero/unittest/AssemblerX8664/GPRArith.cpp -----------------------===//
|
| +//
|
| +// The Subzero Code Generator
|
| +//
|
| +// This file is distributed under the University of Illinois Open Source
|
| +// License. See LICENSE.TXT for details.
|
| +//
|
| +//===----------------------------------------------------------------------===//
|
| +#include "AssemblerX8664/TestUtil.h"
|
| +
|
| +namespace Ice {
|
| +namespace X8664 {
|
| +namespace Test {
|
| +namespace {
|
| +
|
| +TEST_F(AssemblerX8664Test, PopAddr) {
|
| + const uint32_t T0 = allocateQword();
|
| + constexpr uint64_t V0 = 0x3AABBEFABBBAA3ull;
|
| +
|
| + __ mov(IceType_i32, GPRRegister::Encoded_Reg_eax, Immediate(0xC0FFEE));
|
| + __ pushl(GPRRegister::Encoded_Reg_eax);
|
| + __ popl(dwordAddress(T0));
|
| +
|
| + AssembledTest test = assemble();
|
| + test.setQwordTo(T0, V0);
|
| +
|
| + test.run();
|
| +
|
| + ASSERT_EQ(0xC0FFEEul, test.contentsOfQword(T0));
|
| +}
|
| +
|
| +TEST_F(AssemblerX8664Test, SetCC) {
|
| +#define TestSetCC(C, Dest, IsTrue, Src0, Value0, Src1, Value1) \
|
| + do { \
|
| + static constexpr char TestString[] = \
|
| + "(" #C ", " #Dest ", " #IsTrue ", " #Src0 ", " #Value0 ", " #Src1 \
|
| + ", " #Value1 ")"; \
|
| + const uint32_t T0 = allocateDword(); \
|
| + constexpr uint32_t V0 = 0xF00F00; \
|
| + __ mov(IceType_i32, Encoded_GPR_##Src0(), Immediate(Value0)); \
|
| + __ mov(IceType_i32, Encoded_GPR_##Src1(), Immediate(Value1)); \
|
| + __ cmp(IceType_i32, Encoded_GPR_##Src0(), Encoded_GPR_##Src1()); \
|
| + __ mov(IceType_i32, Encoded_GPR_##Dest(), Immediate(0)); \
|
| + __ setcc(Cond::Br_##C, RegX8664::getEncodedByteReg(Encoded_GPR_##Dest())); \
|
| + __ setcc(Cond::Br_##C, dwordAddress(T0)); \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.setDwordTo(T0, V0); \
|
| + \
|
| + test.run(); \
|
| + \
|
| + ASSERT_EQ(IsTrue, test.Dest()) << TestString; \
|
| + ASSERT_EQ((0xF00F00 | IsTrue), test.contentsOfDword(T0)) << TestString; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestImpl(Dest, Src0, Src1) \
|
| + do { \
|
| + TestSetCC(o, Dest, 1u, Src0, 0x80000000u, Src1, 0x1u); \
|
| + TestSetCC(o, Dest, 0u, Src0, 0x1u, Src1, 0x10000000u); \
|
| + TestSetCC(no, Dest, 1u, Src0, 0x1u, Src1, 0x10000000u); \
|
| + TestSetCC(no, Dest, 0u, Src0, 0x80000000u, Src1, 0x1u); \
|
| + TestSetCC(b, Dest, 1u, Src0, 0x1, Src1, 0x80000000u); \
|
| + TestSetCC(b, Dest, 0u, Src0, 0x80000000u, Src1, 0x1u); \
|
| + TestSetCC(ae, Dest, 1u, Src0, 0x80000000u, Src1, 0x1u); \
|
| + TestSetCC(ae, Dest, 0u, Src0, 0x1u, Src1, 0x80000000u); \
|
| + TestSetCC(e, Dest, 1u, Src0, 0x1u, Src1, 0x1u); \
|
| + TestSetCC(e, Dest, 0u, Src0, 0x1u, Src1, 0x11111u); \
|
| + TestSetCC(ne, Dest, 1u, Src0, 0x80000000u, Src1, 0x1u); \
|
| + TestSetCC(ne, Dest, 0u, Src0, 0x1u, Src1, 0x1u); \
|
| + TestSetCC(be, Dest, 1u, Src0, 0x1u, Src1, 0x80000000u); \
|
| + TestSetCC(be, Dest, 0u, Src0, 0x80000000u, Src1, 0x1u); \
|
| + TestSetCC(a, Dest, 1u, Src0, 0x80000000u, Src1, 0x1u); \
|
| + TestSetCC(a, Dest, 0u, Src0, 0x1u, Src1, 0x80000000u); \
|
| + TestSetCC(s, Dest, 1u, Src0, 0x1u, Src1, 0x80000000u); \
|
| + TestSetCC(s, Dest, 0u, Src0, 0x80000000u, Src1, 0x1u); \
|
| + TestSetCC(ns, Dest, 1u, Src0, 0x80000000u, Src1, 0x1u); \
|
| + TestSetCC(ns, Dest, 0u, Src0, 0x1u, Src1, 0x80000000u); \
|
| + TestSetCC(p, Dest, 1u, Src0, 0x80000000u, Src1, 0x1u); \
|
| + TestSetCC(p, Dest, 0u, Src0, 0x1u, Src1, 0x80000000u); \
|
| + TestSetCC(np, Dest, 1u, Src0, 0x1u, Src1, 0x80000000u); \
|
| + TestSetCC(np, Dest, 0u, Src0, 0x80000000u, Src1, 0x1u); \
|
| + TestSetCC(l, Dest, 1u, Src0, 0x80000000u, Src1, 0x1u); \
|
| + TestSetCC(l, Dest, 0u, Src0, 0x1u, Src1, 0x80000000u); \
|
| + TestSetCC(ge, Dest, 1u, Src0, 0x1u, Src1, 0x80000000u); \
|
| + TestSetCC(ge, Dest, 0u, Src0, 0x80000000u, Src1, 0x1u); \
|
| + TestSetCC(le, Dest, 1u, Src0, 0x80000000u, Src1, 0x1u); \
|
| + TestSetCC(le, Dest, 0u, Src0, 0x1u, Src1, 0x80000000u); \
|
| + } while (0)
|
| +
|
| + TestImpl(r1, r2, r3);
|
| + TestImpl(r2, r3, r4);
|
| + TestImpl(r3, r4, r5);
|
| + TestImpl(r4, r5, r6);
|
| + TestImpl(r5, r6, r7);
|
| + TestImpl(r6, r7, r8);
|
| + TestImpl(r7, r8, r10);
|
| + TestImpl(r8, r10, r11);
|
| + TestImpl(r10, r11, r12);
|
| + TestImpl(r11, r12, r13);
|
| + TestImpl(r12, r13, r14);
|
| + TestImpl(r13, r14, r15);
|
| + TestImpl(r14, r15, r1);
|
| + TestImpl(r15, r1, r2);
|
| +
|
| +#undef TestImpl
|
| +#undef TestSetCC
|
| +}
|
| +
|
| +TEST_F(AssemblerX8664Test, Lea) {
|
| +#define TestLeaBaseDisp(Base, BaseValue, Disp, Dst) \
|
| + do { \
|
| + static constexpr char TestString[] = \
|
| + "(" #Base ", " #BaseValue ", " #Dst ")"; \
|
| + if (Encoded_GPR_##Base() != Encoded_GPR_esp() && \
|
| + Encoded_GPR_##Base() != Encoded_GPR_r9()) { \
|
| + __ mov(IceType_i32, Encoded_GPR_##Base(), Immediate(BaseValue)); \
|
| + } \
|
| + __ lea(IceType_i32, Encoded_GPR_##Dst(), \
|
| + Address(Encoded_GPR_##Base(), Disp)); \
|
| + AssembledTest test = assemble(); \
|
| + test.run(); \
|
| + ASSERT_EQ(test.Base##d() + (Disp), test.Dst##d()) \
|
| + << TestString << " with Disp " << Disp; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestLeaIndex32bitDisp(Index, IndexValue, Disp, Dst0, Dst1, Dst2, Dst3) \
|
| + do { \
|
| + static constexpr char TestString[] = \
|
| + "(" #Index ", " #IndexValue ", " #Dst0 ", " #Dst1 ", " #Dst2 \
|
| + ", " #Dst3 ")"; \
|
| + if (Encoded_GPR_##Index() != Encoded_GPR_r9()) { \
|
| + __ mov(IceType_i32, Encoded_GPR_##Index(), Immediate(IndexValue)); \
|
| + } \
|
| + __ lea(IceType_i32, Encoded_GPR_##Dst0(), \
|
| + Address(Encoded_GPR_##Index(), Traits::TIMES_1, Disp)); \
|
| + __ lea(IceType_i32, Encoded_GPR_##Dst1(), \
|
| + Address(Encoded_GPR_##Index(), Traits::TIMES_2, Disp)); \
|
| + __ lea(IceType_i32, Encoded_GPR_##Dst2(), \
|
| + Address(Encoded_GPR_##Index(), Traits::TIMES_4, Disp)); \
|
| + __ lea(IceType_i32, Encoded_GPR_##Dst3(), \
|
| + Address(Encoded_GPR_##Index(), Traits::TIMES_8, Disp)); \
|
| + AssembledTest test = assemble(); \
|
| + test.run(); \
|
| + ASSERT_EQ((test.Index##d() << Traits::TIMES_1) + (Disp), test.Dst0##d()) \
|
| + << TestString << " " << Disp; \
|
| + ASSERT_EQ((test.Index##d() << Traits::TIMES_2) + (Disp), test.Dst1##d()) \
|
| + << TestString << " " << Disp; \
|
| + ASSERT_EQ((test.Index##d() << Traits::TIMES_4) + (Disp), test.Dst2##d()) \
|
| + << TestString << " " << Disp; \
|
| + ASSERT_EQ((test.Index##d() << Traits::TIMES_8) + (Disp), test.Dst3##d()) \
|
| + << TestString << " " << Disp; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestLeaBaseIndexDisp(Base, BaseValue, Index, IndexValue, Disp, Dst0, \
|
| + Dst1, Dst2, Dst3) \
|
| + do { \
|
| + static constexpr char TestString[] = \
|
| + "(" #Base ", " #BaseValue ", " #Index ", " #IndexValue ", " #Dst0 \
|
| + ", " #Dst1 ", " #Dst2 ", " #Dst3 ")"; \
|
| + if (Encoded_GPR_##Base() != Encoded_GPR_esp() && \
|
| + Encoded_GPR_##Base() != Encoded_GPR_r9()) { \
|
| + __ mov(IceType_i32, Encoded_GPR_##Base(), Immediate(BaseValue)); \
|
| + } \
|
| + \
|
| + if (Encoded_GPR_##Index() != Encoded_GPR_r9()) { \
|
| + __ mov(IceType_i32, Encoded_GPR_##Index(), Immediate(IndexValue)); \
|
| + } \
|
| + \
|
| + __ lea(IceType_i32, Encoded_GPR_##Dst0(), \
|
| + Address(Encoded_GPR_##Base(), Encoded_GPR_##Index(), \
|
| + Traits::TIMES_1, Disp)); \
|
| + __ lea(IceType_i32, Encoded_GPR_##Dst1(), \
|
| + Address(Encoded_GPR_##Base(), Encoded_GPR_##Index(), \
|
| + Traits::TIMES_2, Disp)); \
|
| + __ lea(IceType_i32, Encoded_GPR_##Dst2(), \
|
| + Address(Encoded_GPR_##Base(), Encoded_GPR_##Index(), \
|
| + Traits::TIMES_4, Disp)); \
|
| + __ lea(IceType_i32, Encoded_GPR_##Dst3(), \
|
| + Address(Encoded_GPR_##Base(), Encoded_GPR_##Index(), \
|
| + Traits::TIMES_8, Disp)); \
|
| + AssembledTest test = assemble(); \
|
| + test.run(); \
|
| + uint32_t ExpectedIndexValue = test.Index(); \
|
| + if (Encoded_GPR_##Index() == Encoded_GPR_esp()) { \
|
| + ExpectedIndexValue = 0; \
|
| + } \
|
| + ASSERT_EQ(test.Base##d() + (ExpectedIndexValue << Traits::TIMES_1) + \
|
| + (Disp), \
|
| + test.Dst0##d()) \
|
| + << TestString << " " << Disp; \
|
| + ASSERT_EQ(test.Base##d() + (ExpectedIndexValue << Traits::TIMES_2) + \
|
| + (Disp), \
|
| + test.Dst1##d()) \
|
| + << TestString << " " << Disp; \
|
| + ASSERT_EQ(test.Base##d() + (ExpectedIndexValue << Traits::TIMES_4) + \
|
| + (Disp), \
|
| + test.Dst2##d()) \
|
| + << TestString << " " << Disp; \
|
| + ASSERT_EQ(test.Base##d() + (ExpectedIndexValue << Traits::TIMES_8) + \
|
| + (Disp), \
|
| + test.Dst3##d()) \
|
| + << TestString << " " << Disp; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| + for (const int32_t Disp :
|
| + {0x00, 0x06, -0x06, 0x0600, -0x6000, 0x6000000, -0x6000000}) {
|
| + TestLeaBaseDisp(r0, 0x22080Fu, Disp, r1);
|
| + TestLeaBaseDisp(r1, 0x10000Fu, Disp, r2);
|
| + TestLeaBaseDisp(r2, 0x20000Fu, Disp, r3);
|
| + TestLeaBaseDisp(r3, 0x30000Fu, Disp, r4);
|
| + TestLeaBaseDisp(r4, 0x40000Fu, Disp, r5);
|
| + TestLeaBaseDisp(r5, 0x50000Fu, Disp, r6);
|
| + TestLeaBaseDisp(r6, 0x60000Fu, Disp, r7);
|
| + TestLeaBaseDisp(r7, 0x11000Fu, Disp, r8);
|
| + TestLeaBaseDisp(r8, 0x11200Fu, Disp, r10);
|
| + TestLeaBaseDisp(r9, 0x000000u, Disp, r10);
|
| + TestLeaBaseDisp(r10, 0x22000Fu, Disp, r11);
|
| + TestLeaBaseDisp(r11, 0x22030Fu, Disp, r12);
|
| + TestLeaBaseDisp(r12, 0x22040Fu, Disp, r13);
|
| + TestLeaBaseDisp(r13, 0x22050Fu, Disp, r14);
|
| + TestLeaBaseDisp(r14, 0x22060Fu, Disp, r15);
|
| + TestLeaBaseDisp(r15, 0x22070Fu, Disp, r1);
|
| + }
|
| +
|
| + // esp is not a valid index register.
|
| + // ebp is not valid in this addressing mode (rm = 0).
|
| + for (const int32_t Disp :
|
| + {0x00, 0x06, -0x06, 0x0600, -0x6000, 0x6000000, -0x6000000}) {
|
| + TestLeaIndex32bitDisp(r1, 0x2000u, Disp, r2, r3, r4, r6);
|
| + TestLeaIndex32bitDisp(r2, 0x4010u, Disp, r3, r4, r6, r7);
|
| + TestLeaIndex32bitDisp(r3, 0x6020u, Disp, r4, r6, r7, r5);
|
| + TestLeaIndex32bitDisp(r4, 0x8030u, Disp, r6, r7, r5, r10);
|
| + TestLeaIndex32bitDisp(r6, 0xA040u, Disp, r7, r5, r10, r1);
|
| + TestLeaIndex32bitDisp(r7, 0xC050u, Disp, r5, r10, r1, r11);
|
| + TestLeaIndex32bitDisp(r8, 0xC060u, Disp, r10, r1, r11, r12);
|
| + TestLeaIndex32bitDisp(r9, 0x0000u, Disp, r1, r11, r12, r13);
|
| + TestLeaIndex32bitDisp(r10, 0xC008u, Disp, r11, r12, r13, r14);
|
| + TestLeaIndex32bitDisp(r11, 0xC009u, Disp, r12, r13, r14, r15);
|
| + TestLeaIndex32bitDisp(r12, 0xC00Au, Disp, r13, r14, r15, r1);
|
| + TestLeaIndex32bitDisp(r13, 0xC00Bu, Disp, r14, r15, r1, r2);
|
| + TestLeaIndex32bitDisp(r14, 0xC00Cu, Disp, r15, r1, r2, r3);
|
| + TestLeaIndex32bitDisp(r15, 0xC00Du, Disp, r1, r2, r3, r4);
|
| + }
|
| +
|
| + for (const int32_t Disp :
|
| + {0x00, 0x06, -0x06, 0x0600, -0x6000, 0x6000000, -0x6000000}) {
|
| + TestLeaBaseIndexDisp(r1, 0x100000u, r2, 0x600u, Disp, r3, r4, r6, r7);
|
| + TestLeaBaseIndexDisp(r2, 0x200000u, r3, 0x500u, Disp, r4, r6, r7, r8);
|
| + TestLeaBaseIndexDisp(r3, 0x300000u, r4, 0x400u, Disp, r6, r7, r8, r5);
|
| + TestLeaBaseIndexDisp(r4, 0x400000u, r6, 0x300u, Disp, r7, r8, r5, r10);
|
| + TestLeaBaseIndexDisp(r6, 0x500000u, r7, 0x200u, Disp, r8, r5, r10, r11);
|
| + TestLeaBaseIndexDisp(r7, 0x600000u, r8, 0x100u, Disp, r5, r10, r11, r12);
|
| + TestLeaBaseIndexDisp(r8, 0x600000u, r9, 0x1A0u, Disp, r10, r11, r12, r13);
|
| + TestLeaBaseIndexDisp(r9, 0x000000u, r10, 0x1B0u, Disp, r11, r12, r13, r14);
|
| + TestLeaBaseIndexDisp(r10, 0x602000u, r11, 0x1C0u, Disp, r12, r13, r14, r15);
|
| + TestLeaBaseIndexDisp(r11, 0x603000u, r12, 0x1D0u, Disp, r13, r14, r15, r1);
|
| + TestLeaBaseIndexDisp(r12, 0x604000u, r13, 0x1E0u, Disp, r14, r15, r1, r2);
|
| + TestLeaBaseIndexDisp(r13, 0x605000u, r14, 0x1F0u, Disp, r15, r1, r2, r3);
|
| + TestLeaBaseIndexDisp(r14, 0x606000u, r15, 0x10Au, Disp, r1, r2, r3, r4);
|
| + TestLeaBaseIndexDisp(r15, 0x607000u, r1, 0x10Bu, Disp, r2, r3, r4, r6);
|
| +
|
| + TestLeaBaseIndexDisp(r0, 0, r2, 0x600u, Disp, r3, r4, r6, r7);
|
| + TestLeaBaseIndexDisp(r0, 0, r3, 0x500u, Disp, r4, r6, r7, r8);
|
| + TestLeaBaseIndexDisp(r0, 0, r4, 0x400u, Disp, r6, r7, r8, r5);
|
| + TestLeaBaseIndexDisp(r0, 0, r6, 0x300u, Disp, r7, r8, r5, r10);
|
| + TestLeaBaseIndexDisp(r0, 0, r7, 0x200u, Disp, r8, r5, r10, r11);
|
| + TestLeaBaseIndexDisp(r0, 0, r8, 0x100u, Disp, r5, r10, r11, r12);
|
| + TestLeaBaseIndexDisp(r0, 0, r9, 0x000u, Disp, r10, r11, r12, r13);
|
| + TestLeaBaseIndexDisp(r0, 0, r10, 0x1B0u, Disp, r11, r12, r13, r14);
|
| + TestLeaBaseIndexDisp(r0, 0, r11, 0x1C0u, Disp, r12, r13, r14, r15);
|
| + TestLeaBaseIndexDisp(r0, 0, r12, 0x1D0u, Disp, r13, r14, r15, r1);
|
| + TestLeaBaseIndexDisp(r0, 0, r13, 0x1E0u, Disp, r14, r15, r1, r2);
|
| + TestLeaBaseIndexDisp(r0, 0, r14, 0x1F0u, Disp, r15, r1, r2, r3);
|
| + TestLeaBaseIndexDisp(r0, 0, r15, 0x10Au, Disp, r1, r2, r3, r4);
|
| + TestLeaBaseIndexDisp(r0, 0, r1, 0x10Bu, Disp, r2, r3, r4, r6);
|
| +
|
| + TestLeaBaseIndexDisp(r5, 0x100000u, r2, 0x600u, Disp, r3, r4, r6, r7);
|
| + TestLeaBaseIndexDisp(r5, 0x200000u, r3, 0x500u, Disp, r4, r6, r7, r8);
|
| + TestLeaBaseIndexDisp(r5, 0x300000u, r4, 0x400u, Disp, r6, r7, r8, r1);
|
| + TestLeaBaseIndexDisp(r5, 0x400000u, r6, 0x300u, Disp, r7, r8, r1, r10);
|
| + TestLeaBaseIndexDisp(r5, 0x500000u, r7, 0x200u, Disp, r8, r1, r10, r11);
|
| + TestLeaBaseIndexDisp(r5, 0x600000u, r8, 0x100u, Disp, r1, r10, r11, r12);
|
| + TestLeaBaseIndexDisp(r5, 0x600000u, r9, 0x000u, Disp, r10, r11, r12, r13);
|
| + TestLeaBaseIndexDisp(r5, 0x601000u, r10, 0x1B0u, Disp, r11, r12, r13, r14);
|
| + TestLeaBaseIndexDisp(r5, 0x602000u, r11, 0x1C0u, Disp, r12, r13, r14, r15);
|
| + TestLeaBaseIndexDisp(r5, 0x603000u, r12, 0x1D0u, Disp, r13, r14, r15, r1);
|
| + TestLeaBaseIndexDisp(r5, 0x604000u, r13, 0x1E0u, Disp, r14, r15, r1, r2);
|
| + TestLeaBaseIndexDisp(r5, 0x605000u, r14, 0x1F0u, Disp, r15, r1, r2, r3);
|
| + TestLeaBaseIndexDisp(r5, 0x606000u, r15, 0x10Au, Disp, r1, r2, r3, r4);
|
| + TestLeaBaseIndexDisp(r5, 0x607000u, r1, 0x10Bu, Disp, r2, r3, r4, r6);
|
| +
|
| + TestLeaBaseIndexDisp(r2, 0x100000u, r5, 0x600u, Disp, r3, r4, r6, r7);
|
| + TestLeaBaseIndexDisp(r3, 0x200000u, r5, 0x500u, Disp, r4, r6, r7, r8);
|
| + TestLeaBaseIndexDisp(r4, 0x300000u, r5, 0x400u, Disp, r6, r7, r8, r1);
|
| + TestLeaBaseIndexDisp(r6, 0x400000u, r5, 0x300u, Disp, r7, r8, r1, r10);
|
| + TestLeaBaseIndexDisp(r7, 0x500000u, r5, 0x200u, Disp, r8, r1, r10, r11);
|
| + TestLeaBaseIndexDisp(r8, 0x600000u, r5, 0x100u, Disp, r1, r10, r11, r12);
|
| + TestLeaBaseIndexDisp(r9, 0x000000u, r5, 0x1A0u, Disp, r10, r11, r12, r13);
|
| + TestLeaBaseIndexDisp(r10, 0x601000u, r5, 0x1B0u, Disp, r11, r12, r13, r14);
|
| + TestLeaBaseIndexDisp(r11, 0x602000u, r5, 0x1C0u, Disp, r12, r13, r14, r15);
|
| + TestLeaBaseIndexDisp(r12, 0x603000u, r5, 0x1D0u, Disp, r13, r14, r15, r1);
|
| + TestLeaBaseIndexDisp(r13, 0x604000u, r5, 0x1E0u, Disp, r14, r15, r1, r2);
|
| + TestLeaBaseIndexDisp(r14, 0x605000u, r5, 0x1F0u, Disp, r15, r1, r2, r3);
|
| + TestLeaBaseIndexDisp(r15, 0x606000u, r5, 0x10Au, Disp, r1, r2, r3, r4);
|
| + TestLeaBaseIndexDisp(r1, 0x607000u, r5, 0x10Bu, Disp, r2, r3, r4, r6);
|
| +
|
| + TestLeaBaseIndexDisp(r0, 0, r5, 0xC0BEBEEF, Disp, r2, r3, r4, r6);
|
| + }
|
| +
|
| +// Absolute addressing mode is tested in the Low Level tests. The encoding used
|
| +// by the assembler has different meanings in x86-32 and x86-64.
|
| +#undef TestLeaBaseIndexDisp
|
| +#undef TestLeaScaled32bitDisp
|
| +#undef TestLeaBaseDisp
|
| +}
|
| +
|
| +TEST_F(AssemblerX8664LowLevelTest, LeaAbsolute) {
|
| +#define TestLeaAbsolute(Dst, Value) \
|
| + do { \
|
| + static constexpr char TestString[] = "(" #Dst ", " #Value ")"; \
|
| + __ lea(IceType_i32, GPRRegister::Encoded_Reg_##Dst, \
|
| + Address(Address::ABSOLUTE, Value)); \
|
| + static constexpr uint32_t ByteCount = 6; \
|
| + ASSERT_EQ(ByteCount, codeBytesSize()) << TestString; \
|
| + static constexpr uint8_t Opcode = 0x8D; \
|
| + static constexpr uint8_t ModRM = \
|
| + /*mod=*/0x00 | /*reg*/ (GPRRegister::Encoded_Reg_##Dst << 3) | \
|
| + /*rm*/ GPRRegister::Encoded_Reg_ebp; \
|
| + ASSERT_TRUE(verifyBytes<ByteCount>( \
|
| + codeBytes(), Opcode, ModRM, (Value)&0xFF, (Value >> 8) & 0xFF, \
|
| + (Value >> 16) & 0xFF, (Value >> 24) & 0xFF)); \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| + TestLeaAbsolute(eax, 0x11BEEF22);
|
| + TestLeaAbsolute(ebx, 0x33BEEF44);
|
| + TestLeaAbsolute(ecx, 0x55BEEF66);
|
| + TestLeaAbsolute(edx, 0x77BEEF88);
|
| + TestLeaAbsolute(esi, 0x99BEEFAA);
|
| + TestLeaAbsolute(edi, 0xBBBEEFBB);
|
| +
|
| +#undef TesLeaAbsolute
|
| +}
|
| +
|
| +TEST_F(AssemblerX8664Test, Test) {
|
| + static constexpr uint32_t Mask8 = 0xFF;
|
| + static constexpr uint32_t Mask16 = 0xFFFF;
|
| + static constexpr uint32_t Mask32 = 0xFFFFFFFF;
|
| +
|
| +#define TestImplRegReg(Dst, Value0, Src, Value1, Size) \
|
| + do { \
|
| + static constexpr bool NearJump = true; \
|
| + static constexpr char TestString[] = \
|
| + "(" #Dst ", " #Value0 ", " #Src ", " #Value1 ", " #Size ")"; \
|
| + static constexpr uint32_t ValueIfTrue = 0xBEEFFEEB; \
|
| + static constexpr uint32_t ValueIfFalse = 0x11111111; \
|
| + \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Dst(), Immediate(Value0)); \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Src(), Immediate(Value1)); \
|
| + __ test(IceType_i##Size, Encoded_GPR_##Dst(), Encoded_GPR_##Src()); \
|
| + __ mov(IceType_i32, Encoded_GPR_##Dst(), Immediate(ValueIfFalse)); \
|
| + Label Done; \
|
| + __ j(Cond::Br_e, &Done, NearJump); \
|
| + __ mov(IceType_i32, Encoded_GPR_##Dst(), Immediate(ValueIfTrue)); \
|
| + __ bind(&Done); \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.run(); \
|
| + \
|
| + ASSERT_EQ(((Value0)&Mask##Size) & ((Value1)&Mask##Size) ? ValueIfTrue \
|
| + : ValueIfFalse, \
|
| + test.Dst()) \
|
| + << TestString; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestImplRegImm(Dst, Value0, Imm, Size) \
|
| + do { \
|
| + static constexpr bool NearJump = true; \
|
| + static constexpr char TestString[] = \
|
| + "(" #Dst ", " #Value0 ", " #Imm ", " #Size ")"; \
|
| + static constexpr uint32_t ValueIfTrue = 0xBEEFFEEB; \
|
| + static constexpr uint32_t ValueIfFalse = 0x11111111; \
|
| + \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Dst(), Immediate(Value0)); \
|
| + __ test(IceType_i##Size, Encoded_GPR_##Dst(), \
|
| + Immediate((Imm)&Mask##Size)); \
|
| + __ mov(IceType_i32, Encoded_GPR_##Dst(), Immediate(ValueIfFalse)); \
|
| + Label Done; \
|
| + __ j(Cond::Br_e, &Done, NearJump); \
|
| + __ mov(IceType_i32, Encoded_GPR_##Dst(), Immediate(ValueIfTrue)); \
|
| + __ bind(&Done); \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.run(); \
|
| + \
|
| + ASSERT_EQ(((Value0)&Mask##Size) & ((Imm)&Mask##Size) ? ValueIfTrue \
|
| + : ValueIfFalse, \
|
| + test.Dst()) \
|
| + << TestString; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestImplAddrReg(Value0, Src, Value1, Size) \
|
| + do { \
|
| + static constexpr bool NearJump = true; \
|
| + static constexpr char TestString[] = \
|
| + "(Addr, " #Value0 ", " #Src ", " #Value1 ", " #Size ")"; \
|
| + static constexpr uint32_t ValueIfTrue = 0xBEEFFEEB; \
|
| + static constexpr uint32_t ValueIfFalse = 0x11111111; \
|
| + const uint32_t T0 = allocateDword(); \
|
| + \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Src(), Immediate(Value1)); \
|
| + __ test(IceType_i##Size, dwordAddress(T0), Encoded_GPR_##Src()); \
|
| + __ mov(IceType_i32, dwordAddress(T0), Immediate(ValueIfFalse)); \
|
| + Label Done; \
|
| + __ j(Cond::Br_e, &Done, NearJump); \
|
| + __ mov(IceType_i32, dwordAddress(T0), Immediate(ValueIfTrue)); \
|
| + __ bind(&Done); \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.setDwordTo(T0, uint32_t(Value0)); \
|
| + test.run(); \
|
| + \
|
| + ASSERT_EQ(((Value0)&Mask##Size) & ((Value1)&Mask##Size) ? ValueIfTrue \
|
| + : ValueIfFalse, \
|
| + test.contentsOfDword(T0)) \
|
| + << TestString; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestImplAddrImm(Value0, Value1, Size) \
|
| + do { \
|
| + static constexpr bool NearJump = true; \
|
| + static constexpr char TestString[] = \
|
| + "(Addr, " #Value0 ", " #Value1 ", " #Size ")"; \
|
| + static constexpr uint32_t ValueIfTrue = 0xBEEFFEEB; \
|
| + static constexpr uint32_t ValueIfFalse = 0x11111111; \
|
| + const uint32_t T0 = allocateDword(); \
|
| + \
|
| + __ test(IceType_i##Size, dwordAddress(T0), \
|
| + Immediate((Value1)&Mask##Size)); \
|
| + __ mov(IceType_i32, dwordAddress(T0), Immediate(ValueIfFalse)); \
|
| + Label Done; \
|
| + __ j(Cond::Br_e, &Done, NearJump); \
|
| + __ mov(IceType_i32, dwordAddress(T0), Immediate(ValueIfTrue)); \
|
| + __ bind(&Done); \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.setDwordTo(T0, uint32_t(Value0)); \
|
| + test.run(); \
|
| + \
|
| + ASSERT_EQ(((Value0)&Mask##Size) & ((Value1)&Mask##Size) ? ValueIfTrue \
|
| + : ValueIfFalse, \
|
| + test.contentsOfDword(T0)) \
|
| + << TestString; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestImplValues(Dst, Value0, Src, Value1, Size) \
|
| + do { \
|
| + TestImplRegReg(Dst, Value0, Src, Value1, Size); \
|
| + TestImplRegImm(Dst, Value0, Value1, Size); \
|
| + TestImplAddrReg(Value0, Src, Value1, Size); \
|
| + TestImplAddrImm(Value0, Value1, Size); \
|
| + } while (0)
|
| +
|
| +#define TestImplSize(Dst, Src, Size) \
|
| + do { \
|
| + TestImplValues(Dst, 0xF0F12101, Src, 0x00000000, Size); \
|
| + TestImplValues(Dst, 0xF0000000, Src, 0xF0000000, Size); \
|
| + TestImplValues(Dst, 0x0F00000F, Src, 0xF00000F0, Size); \
|
| + } while (0)
|
| +
|
| +#define TestImpl(Dst, Src) \
|
| + do { \
|
| + TestImplSize(Dst, Src, 8); \
|
| + TestImplSize(Dst, Src, 16); \
|
| + TestImplSize(Dst, Src, 32); \
|
| + } while (0)
|
| +
|
| + TestImpl(r1, r2);
|
| + TestImpl(r2, r3);
|
| + TestImpl(r3, r4);
|
| + TestImpl(r4, r5);
|
| + TestImpl(r5, r6);
|
| + TestImpl(r6, r7);
|
| + TestImpl(r7, r8);
|
| + TestImpl(r8, r10);
|
| + TestImpl(r10, r11);
|
| + TestImpl(r11, r12);
|
| + TestImpl(r12, r13);
|
| + TestImpl(r13, r14);
|
| + TestImpl(r14, r15);
|
| + TestImpl(r15, r1);
|
| +
|
| +#undef TestImpl
|
| +#undef TestImplSize
|
| +#undef TestImplValues
|
| +#undef TestImplAddrImm
|
| +#undef TestImplAddrReg
|
| +#undef TestImplRegImm
|
| +#undef TestImplRegReg
|
| +}
|
| +
|
| +// No mull/div because x86.
|
| +// No shift because x86.
|
| +TEST_F(AssemblerX8664Test, Arith_most) {
|
| + static constexpr uint32_t Mask8 = 0xFF;
|
| + static constexpr uint32_t Mask16 = 0xFFFF;
|
| + static constexpr uint32_t Mask32 = 0xFFFFFFFF;
|
| +
|
| +#define TestImplRegReg(Inst, Dst, Value0, Src, Value1, Type, Size, Op) \
|
| + do { \
|
| + static constexpr char TestString[] = \
|
| + "(" #Inst ", " #Dst ", " #Value0 ", " #Src ", " #Value1 \
|
| + ", " #Type #Size "_t, " #Op ")"; \
|
| + \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Dst(), Immediate(Value0)); \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Src(), Immediate(Value1)); \
|
| + __ Inst(IceType_i##Size, Encoded_GPR_##Dst(), Encoded_GPR_##Src()); \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.run(); \
|
| + \
|
| + ASSERT_EQ(Mask##Size &static_cast<uint32_t>( \
|
| + static_cast<Type##Size##_t>((Value0)&Mask##Size) \
|
| + Op static_cast<Type##Size##_t>((Value1)&Mask##Size)), \
|
| + Mask##Size &test.Dst()) \
|
| + << TestString; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestImplRegAddr(Inst, Dst, Value0, Value1, Type, Size, Op) \
|
| + do { \
|
| + static constexpr char TestString[] = \
|
| + "(" #Inst ", " #Dst ", " #Value0 ", Addr, " #Value1 ", " #Type #Size \
|
| + "_t, " #Op ")"; \
|
| + const uint32_t T0 = allocateDword(); \
|
| + const uint32_t V0 = Value1; \
|
| + \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Dst(), Immediate(Value0)); \
|
| + __ mov(IceType_i##Size, dwordAddress(T0), Immediate(Value1)); \
|
| + __ Inst(IceType_i##Size, Encoded_GPR_##Dst(), dwordAddress(T0)); \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.setDwordTo(T0, V0); \
|
| + test.run(); \
|
| + \
|
| + ASSERT_EQ(Mask##Size &static_cast<uint32_t>( \
|
| + static_cast<Type##Size##_t>((Value0)&Mask##Size) \
|
| + Op static_cast<Type##Size##_t>((Value1)&Mask##Size)), \
|
| + Mask##Size &test.Dst()) \
|
| + << TestString; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestImplRegImm(Inst, Dst, Value0, Imm, Type, Size, Op) \
|
| + do { \
|
| + static constexpr char TestString[] = \
|
| + "(" #Inst ", " #Dst ", " #Value0 ", Imm(" #Imm "), " #Type #Size \
|
| + "_t, " #Op ")"; \
|
| + \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Dst(), Immediate(Value0)); \
|
| + __ Inst(IceType_i##Size, Encoded_GPR_##Dst(), \
|
| + Immediate((Imm)&Mask##Size)); \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.run(); \
|
| + \
|
| + ASSERT_EQ(Mask##Size &static_cast<uint32_t>( \
|
| + static_cast<Type##Size##_t>((Value0)&Mask##Size) \
|
| + Op static_cast<Type##Size##_t>((Imm)&Mask##Size)), \
|
| + Mask##Size &test.Dst()) \
|
| + << TestString; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestImplAddrReg(Inst, Value0, Src, Value1, Type, Size, Op) \
|
| + do { \
|
| + static constexpr char TestString[] = \
|
| + "(" #Inst ", Addr, " #Value0 ", " #Src ", " #Value1 ", " #Type #Size \
|
| + "_t, " #Op ")"; \
|
| + const uint32_t T0 = allocateDword(); \
|
| + const uint32_t V0 = Value0; \
|
| + \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Src(), Immediate(Value1)); \
|
| + __ Inst(IceType_i##Size, dwordAddress(T0), Encoded_GPR_##Src()); \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.setDwordTo(T0, V0); \
|
| + test.run(); \
|
| + \
|
| + ASSERT_EQ(Mask##Size &static_cast<uint32_t>( \
|
| + static_cast<Type##Size##_t>((Value0)&Mask##Size) \
|
| + Op static_cast<Type##Size##_t>((Value1)&Mask##Size)), \
|
| + Mask##Size &test.contentsOfDword(T0)) \
|
| + << TestString; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestImplAddrImm(Inst, Value0, Imm, Type, Size, Op) \
|
| + do { \
|
| + static constexpr char TestString[] = \
|
| + "(" #Inst ", Addr, " #Value0 ", Imm, " #Imm ", " #Type #Size \
|
| + "_t, " #Op ")"; \
|
| + const uint32_t T0 = allocateDword(); \
|
| + const uint32_t V0 = Value0; \
|
| + \
|
| + __ Inst(IceType_i##Size, dwordAddress(T0), Immediate((Imm)&Mask##Size)); \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.setDwordTo(T0, V0); \
|
| + test.run(); \
|
| + \
|
| + ASSERT_EQ(Mask##Size &static_cast<uint32_t>( \
|
| + static_cast<Type##Size##_t>((Value0)&Mask##Size) \
|
| + Op static_cast<Type##Size##_t>((Imm)&Mask##Size)), \
|
| + Mask##Size &test.contentsOfDword(T0)) \
|
| + << TestString; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestImplOp(Inst, Dst, Value0, Src, Value1, Type, Size, Op) \
|
| + do { \
|
| + TestImplRegReg(Inst, Dst, Value0, Src, Value1, Type, Size, Op); \
|
| + TestImplRegAddr(Inst, Dst, Value0, Value1, Type, Size, Op); \
|
| + TestImplRegImm(Inst, Dst, Value0, Value1, Type, Size, Op); \
|
| + TestImplAddrReg(Inst, Value0, Src, Value1, Type, Size, Op); \
|
| + TestImplAddrImm(Inst, Value0, Value1, Type, Size, Op); \
|
| + } while (0)
|
| +
|
| +#define TestImplValues(Dst, Value0, Src, Value1, Size) \
|
| + do { \
|
| + TestImplOp(And, Dst, Value0, Src, Value1, int, Size, &); \
|
| + TestImplOp(And, Dst, Value0, Src, Value1, uint, Size, &); \
|
| + TestImplOp(Or, Dst, Value0, Src, Value1, int, Size, | ); \
|
| + TestImplOp(Or, Dst, Value0, Src, Value1, uint, Size, | ); \
|
| + TestImplOp(Xor, Dst, Value0, Src, Value1, int, Size, ^); \
|
| + TestImplOp(Xor, Dst, Value0, Src, Value1, uint, Size, ^); \
|
| + TestImplOp(add, Dst, Value0, Src, Value1, int, Size, +); \
|
| + TestImplOp(add, Dst, Value0, Src, Value1, uint, Size, +); \
|
| + TestImplOp(sub, Dst, Value0, Src, Value1, int, Size, -); \
|
| + TestImplOp(sub, Dst, Value0, Src, Value1, uint, Size, -); \
|
| + } while (0)
|
| +
|
| +#define TestImplSize(Dst, Src, Size) \
|
| + do { \
|
| + TestImplValues(Dst, 0xF0F12101, Src, 0x00000000, Size); \
|
| + TestImplValues(Dst, 0xF0000000, Src, 0xF0000000, Size); \
|
| + TestImplValues(Dst, 0x0F00000F, Src, 0xF0000070, Size); \
|
| + TestImplValues(Dst, 0x0F00F00F, Src, 0xF000F070, Size); \
|
| + } while (0)
|
| +
|
| +#define TestImpl(Dst, Src) \
|
| + do { \
|
| + TestImplSize(Dst, Src, 8); \
|
| + TestImplSize(Dst, Src, 16); \
|
| + TestImplSize(Dst, Src, 32); \
|
| + } while (0)
|
| +
|
| + TestImpl(r1, r2);
|
| + TestImpl(r2, r3);
|
| + TestImpl(r3, r4);
|
| + TestImpl(r4, r5);
|
| + TestImpl(r5, r6);
|
| + TestImpl(r6, r7);
|
| + TestImpl(r7, r8);
|
| + TestImpl(r8, r10);
|
| + TestImpl(r10, r11);
|
| + TestImpl(r11, r12);
|
| + TestImpl(r12, r13);
|
| + TestImpl(r13, r14);
|
| + TestImpl(r14, r15);
|
| + TestImpl(r15, r1);
|
| +
|
| +#undef TestImpl
|
| +#undef TestImplSize
|
| +#undef TestImplValues
|
| +#undef TestImplOp
|
| +#undef TestImplAddrImm
|
| +#undef TestImplAddrReg
|
| +#undef TestImplRegImm
|
| +#undef TestImplRegAddr
|
| +#undef TestImplRegReg
|
| +}
|
| +
|
| +TEST_F(AssemblerX8664Test, Arith_BorrowNCarry) {
|
| + const uint32_t Mask8 = 0x000000FF;
|
| + const uint32_t Mask16 = 0x0000FFFF;
|
| + const uint32_t Mask32 = 0xFFFFFFFF;
|
| +
|
| + const uint64_t ResultMask8 = 0x000000000000FFFFull;
|
| + const uint64_t ResultMask16 = 0x00000000FFFFFFFFull;
|
| + const uint64_t ResultMask32 = 0xFFFFFFFFFFFFFFFFull;
|
| +
|
| +#define TestImplRegReg(Inst0, Inst1, Dst0, Dst1, Value0, Src0, Src1, Value1, \
|
| + Op, Size) \
|
| + do { \
|
| + static_assert(Size == 8 || Size == 16 || Size == 32, \
|
| + "Invalid size " #Size); \
|
| + static constexpr char TestString[] = \
|
| + "(" #Inst0 ", " #Inst1 ", " #Dst0 ", " #Dst1 ", " #Value0 ", " #Src0 \
|
| + ", " #Src1 ", " #Value1 ", " #Op ", " #Size ")"; \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Dst0(), \
|
| + Immediate(uint64_t(Value0) & Mask##Size)); \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Dst1(), \
|
| + Immediate((uint64_t(Value0) >> Size) & Mask##Size)); \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Src0(), \
|
| + Immediate(uint64_t(Value1) & Mask##Size)); \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Src1(), \
|
| + Immediate((uint64_t(Value1) >> Size) & Mask##Size)); \
|
| + __ Inst0(IceType_i##Size, Encoded_GPR_##Dst0(), Encoded_GPR_##Src0()); \
|
| + __ Inst1(IceType_i##Size, Encoded_GPR_##Dst1(), Encoded_GPR_##Src1()); \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.run(); \
|
| + \
|
| + static constexpr uint64_t Result = \
|
| + (uint64_t(Value0) & ResultMask##Size)Op(uint64_t(Value1) & \
|
| + ResultMask##Size); \
|
| + static constexpr uint32_t Expected0 = Result & Mask##Size; \
|
| + static constexpr uint32_t Expected1 = (Result >> Size) & Mask##Size; \
|
| + ASSERT_EQ(Expected0, test.Dst0()) << TestString << ": 0"; \
|
| + ASSERT_EQ(Expected1, test.Dst1()) << TestString << ": 1"; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestImplRegAddr(Inst0, Inst1, Dst0, Dst1, Value0, Value1, Op, Size) \
|
| + do { \
|
| + static_assert(Size == 8 || Size == 16 || Size == 32, \
|
| + "Invalid size " #Size); \
|
| + static constexpr char TestString[] = \
|
| + "(" #Inst0 ", " #Inst1 ", " #Dst0 ", " #Dst1 ", " #Value0 \
|
| + ", Addr, " #Value1 ", " #Op ", " #Size ")"; \
|
| + const uint32_t T0 = allocateDword(); \
|
| + const uint32_t V0 = uint64_t(Value1) & Mask##Size; \
|
| + const uint32_t T1 = allocateDword(); \
|
| + const uint32_t V1 = (uint64_t(Value1) >> Size) & Mask##Size; \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Dst0(), \
|
| + Immediate(uint64_t(Value0) & Mask##Size)); \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Dst1(), \
|
| + Immediate((uint64_t(Value0) >> Size) & Mask##Size)); \
|
| + __ Inst0(IceType_i##Size, Encoded_GPR_##Dst0(), dwordAddress(T0)); \
|
| + __ Inst1(IceType_i##Size, Encoded_GPR_##Dst1(), dwordAddress(T1)); \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.setDwordTo(T0, V0); \
|
| + test.setDwordTo(T1, V1); \
|
| + test.run(); \
|
| + \
|
| + static constexpr uint64_t Result = \
|
| + (uint64_t(Value0) & ResultMask##Size)Op(uint64_t(Value1) & \
|
| + ResultMask##Size); \
|
| + static constexpr uint32_t Expected0 = Result & Mask##Size; \
|
| + static constexpr uint32_t Expected1 = (Result >> Size) & Mask##Size; \
|
| + ASSERT_EQ(Expected0, test.Dst0()) << TestString << ": 0"; \
|
| + ASSERT_EQ(Expected1, test.Dst1()) << TestString << ": 1"; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestImplRegImm(Inst0, Inst1, Dst0, Dst1, Value0, Imm, Op, Size) \
|
| + do { \
|
| + static_assert(Size == 8 || Size == 16 || Size == 32, \
|
| + "Invalid size " #Size); \
|
| + static constexpr char TestString[] = \
|
| + "(" #Inst0 ", " #Inst1 ", " #Dst0 ", " #Dst1 ", " #Value0 \
|
| + ", Imm(" #Imm "), " #Op ", " #Size ")"; \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Dst0(), \
|
| + Immediate(uint64_t(Value0) & Mask##Size)); \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Dst1(), \
|
| + Immediate((uint64_t(Value0) >> Size) & Mask##Size)); \
|
| + __ Inst0(IceType_i##Size, Encoded_GPR_##Dst0(), \
|
| + Immediate(uint64_t(Imm) & Mask##Size)); \
|
| + __ Inst1(IceType_i##Size, Encoded_GPR_##Dst1(), \
|
| + Immediate((uint64_t(Imm) >> Size) & Mask##Size)); \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.run(); \
|
| + \
|
| + static constexpr uint64_t Result = \
|
| + (uint64_t(Value0) & ResultMask##Size)Op(uint64_t(Imm) & \
|
| + ResultMask##Size); \
|
| + static constexpr uint32_t Expected0 = Result & Mask##Size; \
|
| + static constexpr uint32_t Expected1 = (Result >> Size) & Mask##Size; \
|
| + ASSERT_EQ(Expected0, test.Dst0()) << TestString << ": 0"; \
|
| + ASSERT_EQ(Expected1, test.Dst1()) << TestString << ": 1"; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestImplAddrReg(Inst0, Inst1, Value0, Src0, Src1, Value1, Op, Size) \
|
| + do { \
|
| + static_assert(Size == 8 || Size == 16 || Size == 32, \
|
| + "Invalid size " #Size); \
|
| + static constexpr char TestString[] = \
|
| + "(" #Inst0 ", " #Inst1 ", Addr, " #Value0 ", " #Src0 ", " #Src1 \
|
| + ", " #Value1 ", " #Op ", " #Size ")"; \
|
| + const uint32_t T0 = allocateDword(); \
|
| + const uint32_t V0 = uint64_t(Value0) & Mask##Size; \
|
| + const uint32_t T1 = allocateDword(); \
|
| + const uint32_t V1 = (uint64_t(Value0) >> Size) & Mask##Size; \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Src0(), \
|
| + Immediate(uint64_t(Value1) & Mask##Size)); \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Src1(), \
|
| + Immediate((uint64_t(Value1) >> Size) & Mask##Size)); \
|
| + __ Inst0(IceType_i##Size, dwordAddress(T0), Encoded_GPR_##Src0()); \
|
| + __ Inst1(IceType_i##Size, dwordAddress(T1), Encoded_GPR_##Src1()); \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.setDwordTo(T0, V0); \
|
| + test.setDwordTo(T1, V1); \
|
| + test.run(); \
|
| + \
|
| + static constexpr uint64_t Result = \
|
| + (uint64_t(Value0) & ResultMask##Size)Op(uint64_t(Value1) & \
|
| + ResultMask##Size); \
|
| + static constexpr uint32_t Expected0 = Result & Mask##Size; \
|
| + static constexpr uint32_t Expected1 = (Result >> Size) & Mask##Size; \
|
| + ASSERT_EQ(Expected0, test.contentsOfDword(T0)) << TestString << ": 0"; \
|
| + ASSERT_EQ(Expected1, test.contentsOfDword(T1)) << TestString << ": 1"; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestImplAddrImm(Inst0, Inst1, Value0, Imm, Op, Size) \
|
| + do { \
|
| + static_assert(Size == 8 || Size == 16 || Size == 32, \
|
| + "Invalid size " #Size); \
|
| + static constexpr char TestString[] = \
|
| + "(" #Inst0 ", " #Inst1 ", Addr, " #Value0 ", Imm(" #Imm "), " #Op \
|
| + ", " #Size ")"; \
|
| + const uint32_t T0 = allocateDword(); \
|
| + const uint32_t V0 = uint64_t(Value0) & Mask##Size; \
|
| + const uint32_t T1 = allocateDword(); \
|
| + const uint32_t V1 = (uint64_t(Value0) >> Size) & Mask##Size; \
|
| + __ Inst0(IceType_i##Size, dwordAddress(T0), \
|
| + Immediate(uint64_t(Imm) & Mask##Size)); \
|
| + __ Inst1(IceType_i##Size, dwordAddress(T1), \
|
| + Immediate((uint64_t(Imm) >> Size) & Mask##Size)); \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.setDwordTo(T0, V0); \
|
| + test.setDwordTo(T1, V1); \
|
| + test.run(); \
|
| + \
|
| + static constexpr uint64_t Result = \
|
| + (uint64_t(Value0) & ResultMask##Size)Op(uint64_t(Imm) & \
|
| + ResultMask##Size); \
|
| + static constexpr uint32_t Expected0 = Result & Mask##Size; \
|
| + static constexpr uint32_t Expected1 = (Result >> Size) & Mask##Size; \
|
| + ASSERT_EQ(Expected0, test.contentsOfDword(T0)) << TestString << ": 0"; \
|
| + ASSERT_EQ(Expected1, test.contentsOfDword(T1)) << TestString << ": 1"; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestImplOp(Inst0, Inst1, Dst0, Dst1, Value0, Src0, Src1, Value1, Op, \
|
| + Size) \
|
| + do { \
|
| + TestImplRegReg(Inst0, Inst1, Dst0, Dst1, Value0, Src0, Src1, Value1, Op, \
|
| + Size); \
|
| + TestImplRegAddr(Inst0, Inst1, Dst0, Dst1, Value0, Value1, Op, Size); \
|
| + TestImplRegImm(Inst0, Inst1, Dst0, Dst1, Value0, Value1, Op, Size); \
|
| + TestImplAddrReg(Inst0, Inst1, Value0, Src0, Src1, Value1, Op, Size); \
|
| + TestImplAddrImm(Inst0, Inst1, Value0, Value1, Op, Size); \
|
| + } while (0)
|
| +
|
| +#define TestImplValues(Dst0, Dst1, Value0, Src0, Src1, Value1, Size) \
|
| + do { \
|
| + TestImplOp(add, adc, Dst0, Dst1, Value0, Src0, Src1, Value1, +, Size); \
|
| + TestImplOp(sub, sbb, Dst0, Dst1, Value0, Src0, Src1, Value1, -, Size); \
|
| + } while (0)
|
| +
|
| +#define TestImplSize(Dst0, Dst1, Src0, Src1, Size) \
|
| + do { \
|
| + TestImplValues(Dst0, Dst1, 0xFFFFFFFFFFFFFF00ull, Src0, Src1, \
|
| + 0xFFFFFFFF0000017Full, Size); \
|
| + } while (0)
|
| +
|
| +#define TestImpl(Dst0, Dst1, Src0, Src1) \
|
| + do { \
|
| + TestImplSize(Dst0, Dst1, Src0, Src1, 8); \
|
| + TestImplSize(Dst0, Dst1, Src0, Src1, 16); \
|
| + TestImplSize(Dst0, Dst1, Src0, Src1, 32); \
|
| + } while (0)
|
| +
|
| + TestImpl(r1, r2, r3, r5);
|
| + TestImpl(r2, r3, r4, r6);
|
| + TestImpl(r3, r4, r5, r7);
|
| + TestImpl(r4, r5, r6, r8);
|
| + TestImpl(r5, r6, r7, r10);
|
| + TestImpl(r6, r7, r8, r11);
|
| + TestImpl(r7, r8, r10, r12);
|
| + TestImpl(r8, r10, r11, r13);
|
| + TestImpl(r10, r11, r12, r14);
|
| + TestImpl(r11, r12, r13, r15);
|
| + TestImpl(r12, r13, r14, r1);
|
| + TestImpl(r13, r14, r15, r2);
|
| + TestImpl(r14, r15, r1, r3);
|
| + TestImpl(r15, r1, r2, r4);
|
| +
|
| +#undef TestImpl
|
| +#undef TestImplSize
|
| +#undef TestImplValues
|
| +#undef TestImplOp
|
| +#undef TestImplAddrImm
|
| +#undef TestImplAddrReg
|
| +#undef TestImplRegImm
|
| +#undef TestImplRegAddr
|
| +#undef TestImplRegReg
|
| +}
|
| +
|
| +TEST_F(AssemblerX8664LowLevelTest, Cbw_Cwd_Cdq) {
|
| +#define TestImpl(Inst, BytesSize, ...) \
|
| + do { \
|
| + __ Inst(); \
|
| + ASSERT_EQ(BytesSize, codeBytesSize()) << #Inst; \
|
| + ASSERT_TRUE(verifyBytes<BytesSize>(codeBytes(), __VA_ARGS__)); \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| + TestImpl(cbw, 2u, 0x66, 0x98);
|
| + TestImpl(cwd, 2u, 0x66, 0x99);
|
| + TestImpl(cdq, 1u, 0x99);
|
| +
|
| +#undef TestImpl
|
| +}
|
| +
|
| +TEST_F(AssemblerX8664Test, SingleOperandMul) {
|
| + static constexpr uint32_t Mask8 = 0x000000FF;
|
| + static constexpr uint32_t Mask16 = 0x0000FFFF;
|
| + static constexpr uint32_t Mask32 = 0xFFFFFFFF;
|
| +
|
| +#define TestImplReg(Inst, Value0, Src, Value1, Type, Size) \
|
| + do { \
|
| + static_assert(Encoded_GPR_eax() != Encoded_GPR_##Src(), \
|
| + "eax can not be src1."); \
|
| + \
|
| + static constexpr char TestString[] = \
|
| + "(" #Inst ", " #Value0 ", " #Src ", " #Value1 ", " #Type ", " #Size \
|
| + ")"; \
|
| + static constexpr Type##64_t OperandEax = \
|
| + static_cast<Type##Size##_t>((Value0)&Mask##Size); \
|
| + static constexpr Type##64_t OperandOther = \
|
| + static_cast<Type##Size##_t>((Value1)&Mask##Size); \
|
| + static constexpr uint32_t ExpectedEax = \
|
| + Mask##Size & (OperandEax * OperandOther); \
|
| + static constexpr uint32_t ExpectedEdx = \
|
| + Mask##Size & ((OperandEax * OperandOther) >> Size); \
|
| + \
|
| + __ mov(IceType_i##Size, Encoded_GPR_eax(), \
|
| + Immediate((Value0)&Mask##Size)); \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Src(), \
|
| + Immediate((Value1)&Mask##Size)); \
|
| + __ Inst(IceType_i##Size, Encoded_GPR_##Src()); \
|
| + \
|
| + if (Size == 8) { \
|
| + /* mov %ah, %dl */ \
|
| + __ mov(IceType_i16, Encoded_GPR_dx(), Encoded_GPR_ax()); \
|
| + __ shr(IceType_i32, Encoded_GPR_edx(), Immediate(8)); \
|
| + __ And(IceType_i16, Encoded_GPR_ax(), Immediate(0x00FF)); \
|
| + } \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.run(); \
|
| + \
|
| + ASSERT_EQ(ExpectedEax, test.eax()) << TestString; \
|
| + ASSERT_EQ(ExpectedEdx, test.edx()) << TestString; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestImplAddr(Inst, Value0, Value1, Type, Size) \
|
| + do { \
|
| + static constexpr char TestString[] = \
|
| + "(" #Inst ", " #Value0 ", Addr, " #Value1 ", " #Type ", " #Size ")"; \
|
| + static const uint32_t T0 = allocateDword(); \
|
| + static constexpr uint32_t V0 = Value1; \
|
| + static constexpr Type##64_t OperandEax = \
|
| + static_cast<Type##Size##_t>((Value0)&Mask##Size); \
|
| + static constexpr Type##64_t OperandOther = \
|
| + static_cast<Type##Size##_t>((Value1)&Mask##Size); \
|
| + static constexpr uint32_t ExpectedEax = \
|
| + Mask##Size & (OperandEax * OperandOther); \
|
| + static constexpr uint32_t ExpectedEdx = \
|
| + Mask##Size & ((OperandEax * OperandOther) >> Size); \
|
| + \
|
| + __ mov(IceType_i##Size, Encoded_GPR_eax(), \
|
| + Immediate((Value0)&Mask##Size)); \
|
| + __ Inst(IceType_i##Size, dwordAddress(T0)); \
|
| + \
|
| + if (Size == 8) { \
|
| + /* mov %ah, %dl */ \
|
| + __ mov(IceType_i16, Encoded_GPR_dx(), Encoded_GPR_ax()); \
|
| + __ shr(IceType_i32, Encoded_GPR_edx(), Immediate(8)); \
|
| + __ And(IceType_i16, Encoded_GPR_ax(), Immediate(0x00FF)); \
|
| + } \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.setDwordTo(T0, V0); \
|
| + test.run(); \
|
| + \
|
| + ASSERT_EQ(ExpectedEax, test.eax()) << TestString; \
|
| + ASSERT_EQ(ExpectedEdx, test.edx()) << TestString; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestImplOp(Inst, Value0, Src, Value1, Type, Size) \
|
| + do { \
|
| + TestImplReg(Inst, Value0, Src, Value1, Type, Size); \
|
| + TestImplAddr(Inst, Value0, Value1, Type, Size); \
|
| + } while (0)
|
| +
|
| +#define TestImplValue(Value0, Src, Value1, Size) \
|
| + do { \
|
| + TestImplOp(mul, Value0, Src, Value1, uint, Size); \
|
| + TestImplOp(imul, Value0, Src, Value1, int, Size); \
|
| + } while (0)
|
| +
|
| +#define TestImplSize(Src, Size) \
|
| + do { \
|
| + TestImplValue(10, Src, 1, Size); \
|
| + TestImplValue(10, Src, -1, Size); \
|
| + TestImplValue(-10, Src, 37, Size); \
|
| + TestImplValue(-10, Src, -15, Size); \
|
| + } while (0)
|
| +
|
| +#define TestImpl(Src) \
|
| + do { \
|
| + TestImplSize(Src, 8); \
|
| + TestImplSize(Src, 16); \
|
| + TestImplSize(Src, 32); \
|
| + } while (0)
|
| +
|
| + TestImpl(r2);
|
| + TestImpl(r3);
|
| + TestImpl(r4);
|
| + TestImpl(r5);
|
| + TestImpl(r6);
|
| + TestImpl(r7);
|
| + TestImpl(r8);
|
| + TestImpl(r10);
|
| + TestImpl(r11);
|
| + TestImpl(r12);
|
| + TestImpl(r13);
|
| + TestImpl(r14);
|
| + TestImpl(r15);
|
| +
|
| +#undef TestImpl
|
| +#undef TestImplSize
|
| +#undef TestImplValue
|
| +#undef TestImplOp
|
| +#undef TestImplAddr
|
| +#undef TestImplReg
|
| +}
|
| +
|
| +TEST_F(AssemblerX8664Test, TwoOperandImul) {
|
| + static constexpr uint32_t Mask16 = 0x0000FFFF;
|
| + static constexpr uint32_t Mask32 = 0xFFFFFFFF;
|
| +
|
| +#define TestImplRegReg(Dst, Value0, Src, Value1, Size) \
|
| + do { \
|
| + static constexpr char TestString[] = \
|
| + "(" #Dst ", " #Value0 ", " #Src ", " #Value1 ", " #Size ")"; \
|
| + static constexpr int64_t Operand0 = \
|
| + static_cast<int##Size##_t>((Value0)&Mask##Size); \
|
| + static constexpr int64_t Operand1 = \
|
| + static_cast<int##Size##_t>((Value1)&Mask##Size); \
|
| + static constexpr uint32_t Expected = Mask##Size & (Operand0 * Operand1); \
|
| + \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Dst(), \
|
| + Immediate((Value0)&Mask##Size)); \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Src(), \
|
| + Immediate((Value1)&Mask##Size)); \
|
| + __ imul(IceType_i##Size, Encoded_GPR_##Dst(), Encoded_GPR_##Src()); \
|
| + \
|
| + if (Size == 8) { \
|
| + /* mov %ah, %dl */ \
|
| + __ mov(IceType_i16, Encoded_GPR_dx(), Encoded_GPR_ax()); \
|
| + __ shr(IceType_i32, Encoded_GPR_edx(), Immediate(8)); \
|
| + __ And(IceType_i16, Encoded_GPR_ax(), Immediate(0x00FF)); \
|
| + } \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.run(); \
|
| + \
|
| + ASSERT_EQ(Expected, test.Dst()) << TestString; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestImplRegImm(Dst, Value0, Imm, Size) \
|
| + do { \
|
| + static constexpr char TestString[] = \
|
| + "(" #Dst ", " #Value0 ", Imm(" #Imm "), " #Size ")"; \
|
| + static constexpr int64_t Operand0 = \
|
| + static_cast<int##Size##_t>((Value0)&Mask##Size); \
|
| + static constexpr int64_t Operand1 = \
|
| + static_cast<int##Size##_t>((Imm)&Mask##Size); \
|
| + static constexpr uint32_t Expected = Mask##Size & (Operand0 * Operand1); \
|
| + \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Dst(), \
|
| + Immediate((Value0)&Mask##Size)); \
|
| + __ imul(IceType_i##Size, Encoded_GPR_##Dst(), Immediate(Imm)); \
|
| + \
|
| + if (Size == 8) { \
|
| + /* mov %ah, %dl */ \
|
| + __ mov(IceType_i16, Encoded_GPR_dx(), Encoded_GPR_ax()); \
|
| + __ shr(IceType_i32, Encoded_GPR_edx(), Immediate(8)); \
|
| + __ And(IceType_i16, Encoded_GPR_ax(), Immediate(0x00FF)); \
|
| + } \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.run(); \
|
| + \
|
| + ASSERT_EQ(Expected, test.Dst()) << TestString; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestImplRegAddr(Dst, Value0, Value1, Size) \
|
| + do { \
|
| + static constexpr char TestString[] = \
|
| + "(" #Dst ", " #Value0 ", Addr," #Value1 ", " #Size ")"; \
|
| + static constexpr int64_t Operand0 = \
|
| + static_cast<int##Size##_t>((Value0)&Mask##Size); \
|
| + static constexpr int64_t Operand1 = \
|
| + static_cast<int##Size##_t>((Value1)&Mask##Size); \
|
| + static constexpr uint32_t Expected = Mask##Size & (Operand0 * Operand1); \
|
| + const uint32_t T0 = allocateDword(); \
|
| + \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Dst(), \
|
| + Immediate((Value0)&Mask##Size)); \
|
| + __ imul(IceType_i##Size, Encoded_GPR_##Dst(), dwordAddress(T0)); \
|
| + \
|
| + if (Size == 8) { \
|
| + /* mov %ah, %dl */ \
|
| + __ mov(IceType_i16, Encoded_GPR_dx(), Encoded_GPR_ax()); \
|
| + __ shr(IceType_i32, Encoded_GPR_edx(), Immediate(8)); \
|
| + __ And(IceType_i16, Encoded_GPR_ax(), Immediate(0x00FF)); \
|
| + } \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.setDwordTo(T0, static_cast<uint32_t>(Operand1)); \
|
| + test.run(); \
|
| + \
|
| + ASSERT_EQ(Expected, test.Dst()) << TestString; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestImplValue(Dst, Value0, Src, Value1, Size) \
|
| + do { \
|
| + TestImplRegReg(Dst, Value0, Src, Value1, Size); \
|
| + TestImplRegImm(Dst, Value0, Value1, Size); \
|
| + TestImplRegAddr(Dst, Value0, Value1, Size); \
|
| + } while (0)
|
| +
|
| +#define TestImplSize(Dst, Src, Size) \
|
| + do { \
|
| + TestImplValue(Dst, 1, Src, 1, Size); \
|
| + TestImplValue(Dst, -10, Src, 0x4050AA20, Size); \
|
| + TestImplValue(Dst, -2, Src, -55, Size); \
|
| + } while (0)
|
| +
|
| +#define TestImpl(Dst, Src) \
|
| + do { \
|
| + TestImplSize(Dst, Src, 16); \
|
| + TestImplSize(Dst, Src, 32); \
|
| + } while (0)
|
| +
|
| + TestImpl(r1, r2);
|
| + TestImpl(r2, r3);
|
| + TestImpl(r3, r4);
|
| + TestImpl(r4, r5);
|
| + TestImpl(r5, r6);
|
| + TestImpl(r6, r7);
|
| + TestImpl(r7, r8);
|
| + TestImpl(r8, r10);
|
| + TestImpl(r10, r11);
|
| + TestImpl(r11, r12);
|
| + TestImpl(r12, r13);
|
| + TestImpl(r13, r14);
|
| + TestImpl(r14, r15);
|
| + TestImpl(r15, r1);
|
| +
|
| +#undef TestImpl
|
| +#undef TestImplSize
|
| +#undef TestImplValue
|
| +#undef TestImplRegAddr
|
| +#undef TestImplRegImm
|
| +#undef TestImplRegReg
|
| +}
|
| +
|
| +TEST_F(AssemblerX8664Test, Div) {
|
| + static constexpr uint32_t Mask8 = 0x000000FF;
|
| + static constexpr uint32_t Mask16 = 0x0000FFFF;
|
| + static constexpr uint32_t Mask32 = 0xFFFFFFFF;
|
| +
|
| + static constexpr uint64_t Operand0Mask8 = 0x00000000000000FFull;
|
| + static constexpr uint64_t Operand0Mask16 = 0x00000000FFFFFFFFull;
|
| + static constexpr uint64_t Operand0Mask32 = 0xFFFFFFFFFFFFFFFFull;
|
| +
|
| + using Operand0Type_int8 = int16_t;
|
| + using Operand0Type_uint8 = uint16_t;
|
| + using Operand0Type_int16 = int32_t;
|
| + using Operand0Type_uint16 = uint32_t;
|
| + using Operand0Type_int32 = int64_t;
|
| + using Operand0Type_uint32 = uint64_t;
|
| +
|
| +#define TestImplReg(Inst, Value0, Src, Value1, Type, Size) \
|
| + do { \
|
| + static_assert(Encoded_GPR_eax() != Encoded_GPR_##Src(), \
|
| + "eax can not be src1."); \
|
| + static_assert(Encoded_GPR_edx() != Encoded_GPR_##Src(), \
|
| + "edx can not be src1."); \
|
| + \
|
| + static constexpr char TestString[] = \
|
| + "(" #Inst ", " #Value0 ", " #Src ", " #Value1 ", " #Type ", " #Size \
|
| + ")"; \
|
| + static constexpr Operand0Type_##Type##Size Operand0 = \
|
| + static_cast<Type##64_t>(Value0) & Operand0Mask##Size; \
|
| + static constexpr Type##Size##_t Operand0Lo = Operand0 & Mask##Size; \
|
| + static constexpr Type##Size##_t Operand0Hi = \
|
| + (Operand0 >> Size) & Mask##Size; \
|
| + static constexpr Type##Size##_t Operand1 = \
|
| + static_cast<Type##Size##_t>(Value1) & Mask##Size; \
|
| + if (Size == 8) { \
|
| + /* mov Operand0Hi|Operand0Lo, %ah|%al */ \
|
| + __ mov( \
|
| + IceType_i16, Encoded_GPR_eax(), \
|
| + Immediate((static_cast<uint16_t>(Operand0Hi) << 8 | Operand0Lo))); \
|
| + } else { \
|
| + __ mov(IceType_i##Size, Encoded_GPR_eax(), Immediate(Operand0Lo)); \
|
| + __ mov(IceType_i##Size, Encoded_GPR_edx(), Immediate(Operand0Hi)); \
|
| + } \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Src(), Immediate(Operand1)); \
|
| + __ Inst(IceType_i##Size, Encoded_GPR_##Src()); \
|
| + if (Size == 8) { \
|
| + /* mov %ah, %dl */ \
|
| + __ mov(IceType_i16, Encoded_GPR_dx(), Encoded_GPR_ax()); \
|
| + __ shr(IceType_i32, Encoded_GPR_edx(), Immediate(8)); \
|
| + __ And(IceType_i16, Encoded_GPR_eax(), Immediate(0x00FF)); \
|
| + if (Encoded_GPR_##Src() == Encoded_GPR_esi()) { \
|
| + __ And(IceType_i16, Encoded_GPR_edx(), Immediate(0x00FF)); \
|
| + } \
|
| + } \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.run(); \
|
| + \
|
| + static constexpr uint32_t Quocient = (Operand0 / Operand1) & Mask##Size; \
|
| + static constexpr uint32_t Reminder = (Operand0 % Operand1) & Mask##Size; \
|
| + ASSERT_EQ(Quocient, test.eax()) << TestString; \
|
| + ASSERT_EQ(Reminder, test.edx()) << TestString; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestImplAddr(Inst, Value0, Value1, Type, Size) \
|
| + do { \
|
| + static constexpr char TestString[] = \
|
| + "(" #Inst ", " #Value0 ", Addr, " #Value1 ", " #Type ", " #Size ")"; \
|
| + static constexpr Operand0Type_##Type##Size Operand0 = \
|
| + static_cast<Type##64_t>(Value0) & Operand0Mask##Size; \
|
| + static constexpr Type##Size##_t Operand0Lo = Operand0 & Mask##Size; \
|
| + static constexpr Type##Size##_t Operand0Hi = \
|
| + (Operand0 >> Size) & Mask##Size; \
|
| + const uint32_t T0 = allocateDword(); \
|
| + static constexpr Type##Size##_t V0 = \
|
| + static_cast<Type##Size##_t>(Value1) & Mask##Size; \
|
| + if (Size == 8) { \
|
| + /* mov Operand0Hi|Operand0Lo, %ah|%al */ \
|
| + __ mov( \
|
| + IceType_i16, Encoded_GPR_eax(), \
|
| + Immediate((static_cast<uint16_t>(Operand0Hi) << 8 | Operand0Lo))); \
|
| + } else { \
|
| + __ mov(IceType_i##Size, Encoded_GPR_eax(), Immediate(Operand0Lo)); \
|
| + __ mov(IceType_i##Size, Encoded_GPR_edx(), Immediate(Operand0Hi)); \
|
| + } \
|
| + __ Inst(IceType_i##Size, dwordAddress(T0)); \
|
| + if (Size == 8) { \
|
| + /* mov %ah, %dl */ \
|
| + __ mov(IceType_i16, Encoded_GPR_dx(), Encoded_GPR_ax()); \
|
| + __ shr(IceType_i32, Encoded_GPR_edx(), Immediate(8)); \
|
| + __ And(IceType_i16, Encoded_GPR_eax(), Immediate(0x00FF)); \
|
| + } \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.setDwordTo(T0, static_cast<uint32_t>(V0)); \
|
| + test.run(); \
|
| + \
|
| + static constexpr uint32_t Quocient = (Operand0 / V0) & Mask##Size; \
|
| + static constexpr uint32_t Reminder = (Operand0 % V0) & Mask##Size; \
|
| + ASSERT_EQ(Quocient, test.eax()) << TestString; \
|
| + ASSERT_EQ(Reminder, test.edx()) << TestString; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestImplOp(Inst, Value0, Src, Value1, Type, Size) \
|
| + do { \
|
| + TestImplReg(Inst, Value0, Src, Value1, Type, Size); \
|
| + TestImplAddr(Inst, Value0, Value1, Type, Size); \
|
| + } while (0)
|
| +
|
| +#define TestImplValue(Value0, Src, Value1, Size) \
|
| + do { \
|
| + TestImplOp(div, Value0, Src, Value1, uint, Size); \
|
| + TestImplOp(idiv, Value0, Src, Value1, int, Size); \
|
| + } while (0)
|
| +
|
| +#define TestImplSize(Src, Size) \
|
| + do { \
|
| + TestImplValue(10, Src, 1, Size); \
|
| + TestImplValue(10, Src, -1, Size); \
|
| + } while (0)
|
| +
|
| +#define TestImpl(Src) \
|
| + do { \
|
| + TestImplSize(Src, 8); \
|
| + TestImplSize(Src, 16); \
|
| + TestImplSize(Src, 32); \
|
| + } while (0)
|
| +
|
| + TestImpl(r2);
|
| + TestImpl(r3);
|
| + TestImpl(r5);
|
| + TestImpl(r6);
|
| + TestImpl(r7);
|
| + TestImpl(r8);
|
| + TestImpl(r10);
|
| + TestImpl(r11);
|
| + TestImpl(r12);
|
| + TestImpl(r13);
|
| + TestImpl(r14);
|
| + TestImpl(r15);
|
| +
|
| +#undef TestImpl
|
| +#undef TestImplSize
|
| +#undef TestImplValue
|
| +#undef TestImplOp
|
| +#undef TestImplAddr
|
| +#undef TestImplReg
|
| +}
|
| +
|
| +TEST_F(AssemblerX8664Test, Incl_Decl_Addr) {
|
| +#define TestImpl(Inst, Value0) \
|
| + do { \
|
| + const bool IsInc = std::string(#Inst).find("incl") != std::string::npos; \
|
| + const uint32_t T0 = allocateDword(); \
|
| + const uint32_t V0 = Value0; \
|
| + \
|
| + __ Inst(dwordAddress(T0)); \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.setDwordTo(T0, V0); \
|
| + test.run(); \
|
| + \
|
| + ASSERT_EQ(static_cast<uint32_t>(Value0 + (IsInc ? 1 : -1)), \
|
| + test.contentsOfDword(T0)); \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestInc(Value0) \
|
| + do { \
|
| + TestImpl(incl, Value0); \
|
| + } while (0)
|
| +
|
| +#define TestDec(Value0) \
|
| + do { \
|
| + TestImpl(decl, Value0); \
|
| + } while (0)
|
| +
|
| + TestInc(230);
|
| +
|
| + TestDec(30);
|
| +
|
| +#undef TestInc
|
| +#undef TestDec
|
| +#undef TestImpl
|
| +}
|
| +
|
| +TEST_F(AssemblerX8664Test, Shifts) {
|
| + static constexpr uint32_t Mask8 = 0x000000FF;
|
| + static constexpr uint32_t Mask16 = 0x0000FFFF;
|
| + static constexpr uint32_t Mask32 = 0xFFFFFFFF;
|
| +
|
| +#define TestImplRegImm(Inst, Dst, Value0, Imm, Op, Type, Size) \
|
| + do { \
|
| + static constexpr char TestString[] = \
|
| + "(" #Inst ", " #Dst ", " #Value0 ", Imm(" #Imm "), " #Op ", " #Type \
|
| + ", " #Size ")"; \
|
| + const bool IsRol = std::string(#Inst).find("rol") != std::string::npos; \
|
| + const uint##Size##_t Expected = \
|
| + Mask##Size & (static_cast<Type##Size##_t>(Value0) Op(Imm) | \
|
| + (!IsRol ? 0 : (Value0) >> (Size - Imm))); \
|
| + \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Dst(), \
|
| + Immediate((Value0)&Mask##Size)); \
|
| + __ Inst(IceType_i##Size, Encoded_GPR_##Dst(), \
|
| + Immediate((Imm)&Mask##Size)); \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.run(); \
|
| + \
|
| + ASSERT_EQ(static_cast<uint32_t>(Expected), test.Dst()) << TestString; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestImplRegRegImm(Inst, Dst, Value0, Src, Value1, Count, Op0, Op1, \
|
| + Type, Size) \
|
| + do { \
|
| + static constexpr char TestString[] = \
|
| + "(" #Inst ", " #Dst ", " #Value0 ", " #Src ", " #Value1 \
|
| + ", Imm(" #Count "), " #Op0 ", " #Op1 ", " #Type ", " #Size ")"; \
|
| + const uint##Size##_t Expected = \
|
| + Mask##Size & (static_cast<Type##Size##_t>(Value0) Op0(Count) | \
|
| + (static_cast<Type##64_t>(Value1) Op1(Size - Count))); \
|
| + \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Dst(), \
|
| + Immediate((Value0)&Mask##Size)); \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Src(), \
|
| + Immediate((Value1)&Mask##Size)); \
|
| + __ Inst(IceType_i##Size, Encoded_GPR_##Dst(), Encoded_GPR_##Src(), \
|
| + Immediate(Count)); \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.run(); \
|
| + \
|
| + ASSERT_EQ(static_cast<uint32_t>(Expected), test.Dst()) << TestString; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestImplRegCl(Inst, Dst, Value0, Count, Op, Type, Size) \
|
| + do { \
|
| + static constexpr char TestString[] = \
|
| + "(" #Inst ", " #Dst ", " #Value0 ", " #Count ", " #Op ", " #Type \
|
| + ", " #Size ")"; \
|
| + const bool IsRol = std::string(#Inst).find("rol") != std::string::npos; \
|
| + const uint##Size##_t Expected = \
|
| + Mask##Size & (static_cast<Type##Size##_t>(Value0) Op(Count) | \
|
| + (!IsRol ? 0 : Value0 >> (Size - Count))); \
|
| + \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Dst(), \
|
| + Immediate((Value0)&Mask##Size)); \
|
| + __ mov(IceType_i8, Encoded_GPR_ecx(), Immediate((Count)&Mask##Size)); \
|
| + __ Inst(IceType_i##Size, Encoded_GPR_##Dst(), Encoded_GPR_ecx()); \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.run(); \
|
| + \
|
| + ASSERT_EQ(static_cast<uint32_t>(Expected), test.Dst()) << TestString; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestImplRegRegCl(Inst, Dst, Value0, Src, Value1, Count, Op0, Op1, \
|
| + Type, Size) \
|
| + do { \
|
| + static constexpr char TestString[] = \
|
| + "(" #Inst ", " #Dst ", " #Value0 ", " #Src ", " #Value1 ", " #Count \
|
| + ", " #Op0 ", " #Op1 ", " #Type ", " #Size ")"; \
|
| + const uint##Size##_t Expected = \
|
| + Mask##Size & (static_cast<Type##Size##_t>(Value0) Op0(Count) | \
|
| + (static_cast<Type##64_t>(Value1) Op1(Size - Count))); \
|
| + \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Dst(), \
|
| + Immediate((Value0)&Mask##Size)); \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Src(), \
|
| + Immediate((Value1)&Mask##Size)); \
|
| + __ mov(IceType_i##Size, Encoded_GPR_ecx(), Immediate((Count)&0x7F)); \
|
| + __ Inst(IceType_i##Size, Encoded_GPR_##Dst(), Encoded_GPR_##Src()); \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.run(); \
|
| + \
|
| + ASSERT_EQ(static_cast<uint32_t>(Expected), test.Dst()) << TestString; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestImplAddrCl(Inst, Value0, Count, Op, Type, Size) \
|
| + do { \
|
| + static constexpr char TestString[] = \
|
| + "(" #Inst ", Addr, " #Value0 ", " #Count ", " #Op ", " #Type \
|
| + ", " #Size ")"; \
|
| + const bool IsRol = std::string(#Inst).find("rol") != std::string::npos; \
|
| + const uint##Size##_t Expected = \
|
| + Mask##Size & (static_cast<Type##Size##_t>(Value0) Op(Count) | \
|
| + (!IsRol ? 0 : Value0 >> (Size - Count))); \
|
| + const uint32_t T0 = allocateDword(); \
|
| + const uint32_t V0 = Value0; \
|
| + \
|
| + __ mov(IceType_i8, Encoded_GPR_ecx(), Immediate((Count)&Mask##Size)); \
|
| + __ Inst(IceType_i##Size, dwordAddress(T0), Encoded_GPR_ecx()); \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.setDwordTo(T0, V0); \
|
| + test.run(); \
|
| + \
|
| + ASSERT_EQ(static_cast<uint32_t>(Expected), \
|
| + Mask##Size &test.contentsOfDword(T0)) \
|
| + << TestString; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestImplAddrRegCl(Inst, Value0, Src, Value1, Count, Op0, Op1, Type, \
|
| + Size) \
|
| + do { \
|
| + static constexpr char TestString[] = \
|
| + "(" #Inst ", Addr, " #Value0 ", " #Src ", " #Value1 ", " #Count \
|
| + ", " #Op0 ", " #Op1 ", " #Type ", " #Size ")"; \
|
| + const uint##Size##_t Expected = \
|
| + Mask##Size & (static_cast<Type##Size##_t>(Value0) Op0(Count) | \
|
| + (static_cast<Type##64_t>(Value1) Op1(Size - Count))); \
|
| + const uint32_t T0 = allocateDword(); \
|
| + \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Src(), \
|
| + Immediate((Value1)&Mask##Size)); \
|
| + __ mov(IceType_i##Size, Encoded_GPR_ecx(), Immediate((Count)&0x7F)); \
|
| + __ Inst(IceType_i##Size, dwordAddress(T0), Encoded_GPR_##Src()); \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.setDwordTo(T0, static_cast<uint32_t>(Value0)); \
|
| + test.run(); \
|
| + \
|
| + ASSERT_EQ(static_cast<uint32_t>(Expected), test.contentsOfDword(T0)) \
|
| + << TestString; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestImplOp(Inst, Dst, Value0, Count, Op, Type, Size) \
|
| + do { \
|
| + static_assert(Encoded_GPR_##Dst() != Encoded_GPR_ecx(), \
|
| + "ecx should not be specified as Dst"); \
|
| + TestImplRegImm(Inst, Dst, Value0, Count, Op, Type, Size); \
|
| + TestImplRegImm(Inst, ecx, Value0, Count, Op, Type, Size); \
|
| + TestImplRegCl(Inst, Dst, Value0, Count, Op, Type, Size); \
|
| + TestImplAddrCl(Inst, Value0, Count, Op, Type, Size); \
|
| + } while (0)
|
| +
|
| +#define TestImplThreeOperandOp(Inst, Dst, Value0, Src, Value1, Count, Op0, \
|
| + Op1, Type, Size) \
|
| + do { \
|
| + static_assert(Encoded_GPR_##Dst() != Encoded_GPR_ecx(), \
|
| + "ecx should not be specified as Dst"); \
|
| + static_assert(Encoded_GPR_##Src() != Encoded_GPR_ecx(), \
|
| + "ecx should not be specified as Src"); \
|
| + TestImplRegRegImm(Inst, Dst, Value0, Src, Value1, Count, Op0, Op1, Type, \
|
| + Size); \
|
| + TestImplRegRegCl(Inst, Dst, Value0, Src, Value1, Count, Op0, Op1, Type, \
|
| + Size); \
|
| + TestImplAddrRegCl(Inst, Value0, Src, Value1, Count, Op0, Op1, Type, Size); \
|
| + } while (0)
|
| +
|
| +#define TestImplValue(Dst, Value0, Count, Size) \
|
| + do { \
|
| + TestImplOp(rol, Dst, Value0, Count, <<, uint, Size); \
|
| + TestImplOp(shl, Dst, Value0, Count, <<, uint, Size); \
|
| + TestImplOp(shr, Dst, Value0, Count, >>, uint, Size); \
|
| + TestImplOp(sar, Dst, Value0, Count, >>, int, Size); \
|
| + } while (0)
|
| +
|
| +#define TestImplThreeOperandValue(Dst, Value0, Src, Value1, Count, Size) \
|
| + do { \
|
| + TestImplThreeOperandOp(shld, Dst, Value0, Src, Value1, Count, <<, >>, \
|
| + uint, Size); \
|
| + TestImplThreeOperandOp(shrd, Dst, Value0, Src, Value1, Count, >>, <<, \
|
| + uint, Size); \
|
| + } while (0)
|
| +
|
| +#define TestImplSize(Dst, Size) \
|
| + do { \
|
| + TestImplValue(Dst, 0x8F, 3, Size); \
|
| + TestImplValue(Dst, 0x8FFF, 7, Size); \
|
| + TestImplValue(Dst, 0x8FFFF, 7, Size); \
|
| + } while (0)
|
| +
|
| +#define TestImplThreeOperandSize(Dst, Src, Size) \
|
| + do { \
|
| + TestImplThreeOperandValue(Dst, 0xFFF3, Src, 0xA000, 8, Size); \
|
| + } while (0)
|
| +
|
| +#define TestImpl(Dst, Src) \
|
| + do { \
|
| + TestImplSize(Dst, 8); \
|
| + TestImplSize(Dst, 16); \
|
| + TestImplThreeOperandSize(Dst, Src, 16); \
|
| + TestImplSize(Dst, 32); \
|
| + TestImplThreeOperandSize(Dst, Src, 32); \
|
| + } while (0)
|
| +
|
| + TestImpl(r1, r2);
|
| + TestImpl(r2, r4);
|
| + TestImpl(r4, r5);
|
| + TestImpl(r5, r6);
|
| + TestImpl(r6, r7);
|
| + TestImpl(r7, r8);
|
| + TestImpl(r8, r10);
|
| + TestImpl(r10, r11);
|
| + TestImpl(r11, r12);
|
| + TestImpl(r12, r13);
|
| + TestImpl(r13, r14);
|
| + TestImpl(r14, r15);
|
| + TestImpl(r15, r1);
|
| +
|
| +#undef TestImpl
|
| +#undef TestImplThreeOperandSize
|
| +#undef TestImplSize
|
| +#undef TestImplValue
|
| +#undef TestImplThreeOperandValue
|
| +#undef TestImplOp
|
| +#undef TestImplThreeOperandOp
|
| +#undef TestImplAddrCl
|
| +#undef TestImplRegRegCl
|
| +#undef TestImplRegCl
|
| +#undef TestImplRegRegImm
|
| +#undef TestImplRegImm
|
| +}
|
| +
|
| +TEST_F(AssemblerX8664Test, Neg) {
|
| + static constexpr uint32_t Mask8 = 0x000000ff;
|
| + static constexpr uint32_t Mask16 = 0x0000ffff;
|
| + static constexpr uint32_t Mask32 = 0xffffffff;
|
| +
|
| +#define TestImplReg(Dst, Size) \
|
| + do { \
|
| + static constexpr int32_t Value = 0xFF00A543; \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Dst(), \
|
| + Immediate(static_cast<int##Size##_t>(Value) & Mask##Size)); \
|
| + __ neg(IceType_i##Size, Encoded_GPR_##Dst()); \
|
| + __ mov(IceType_i##Size, Encoded_GPR_eax(), Encoded_GPR_##Dst()); \
|
| + __ And(IceType_i32, Encoded_GPR_eax(), Immediate(Mask##Size)); \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.run(); \
|
| + \
|
| + ASSERT_EQ(1 + (~static_cast<int##Size##_t>(Value) & Mask##Size), \
|
| + test.eax()) \
|
| + << "(" #Dst ", " #Size ")"; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestImplAddr(Size) \
|
| + do { \
|
| + static constexpr int32_t Value = 0xFF00A543; \
|
| + const uint32_t T0 = allocateDword(); \
|
| + __ neg(IceType_i##Size, dwordAddress(T0)); \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.setDwordTo(T0, Value &Mask##Size); \
|
| + test.run(); \
|
| + \
|
| + ASSERT_EQ(1 + (~static_cast<int##Size##_t>(Value) & Mask##Size), \
|
| + test.contentsOfDword(T0)) \
|
| + << "(Addr, " #Size ")"; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestImpl(Size) \
|
| + do { \
|
| + TestImplAddr(Size); \
|
| + TestImplReg(r1, Size); \
|
| + TestImplReg(r2, Size); \
|
| + TestImplReg(r3, Size); \
|
| + TestImplReg(r4, Size); \
|
| + TestImplReg(r5, Size); \
|
| + TestImplReg(r6, Size); \
|
| + TestImplReg(r7, Size); \
|
| + TestImplReg(r8, Size); \
|
| + TestImplReg(r10, Size); \
|
| + TestImplReg(r11, Size); \
|
| + TestImplReg(r12, Size); \
|
| + TestImplReg(r13, Size); \
|
| + TestImplReg(r14, Size); \
|
| + TestImplReg(r15, Size); \
|
| + } while (0)
|
| +
|
| + TestImpl(8);
|
| + TestImpl(16);
|
| + TestImpl(32);
|
| +
|
| +#undef TestImpl
|
| +#undef TestImplAddr
|
| +#undef TestImplReg
|
| +}
|
| +
|
| +TEST_F(AssemblerX8664Test, Not) {
|
| +#define TestImpl(Dst) \
|
| + do { \
|
| + static constexpr uint32_t Value = 0xFF00A543; \
|
| + __ mov(IceType_i32, Encoded_GPR_##Dst(), Immediate(Value)); \
|
| + __ notl(Encoded_GPR_##Dst()); \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.run(); \
|
| + \
|
| + ASSERT_EQ(~Value, test.Dst()) << "(" #Dst ")"; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| + TestImpl(r1);
|
| + TestImpl(r2);
|
| + TestImpl(r3);
|
| + TestImpl(r4);
|
| + TestImpl(r5);
|
| + TestImpl(r6);
|
| + TestImpl(r7);
|
| + TestImpl(r8);
|
| + TestImpl(r10);
|
| + TestImpl(r11);
|
| + TestImpl(r12);
|
| + TestImpl(r13);
|
| + TestImpl(r14);
|
| + TestImpl(r15);
|
| +
|
| +#undef TestImpl
|
| +}
|
| +
|
| +TEST_F(AssemblerX8664Test, Bswap) {
|
| +#define TestImpl(Dst) \
|
| + do { \
|
| + static constexpr uint32_t Value = 0xFF00A543; \
|
| + static constexpr uint32_t Expected = 0x43A500FF; \
|
| + __ mov(IceType_i32, Encoded_GPR_##Dst(), Immediate(Value)); \
|
| + __ bswap(IceType_i32, Encoded_GPR_##Dst()); \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.run(); \
|
| + \
|
| + ASSERT_EQ(Expected, test.Dst()) << "(" #Dst ")"; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| + TestImpl(r1);
|
| + TestImpl(r2);
|
| + TestImpl(r3);
|
| + TestImpl(r4);
|
| + TestImpl(r5);
|
| + TestImpl(r6);
|
| + TestImpl(r7);
|
| + TestImpl(r8);
|
| + TestImpl(r10);
|
| + TestImpl(r11);
|
| + TestImpl(r12);
|
| + TestImpl(r13);
|
| + TestImpl(r14);
|
| + TestImpl(r15);
|
| +
|
| +#undef TestImpl
|
| +}
|
| +
|
| +TEST_F(AssemblerX8664Test, Bt) {
|
| +#define TestImpl(Dst, Value0, Src, Value1) \
|
| + do { \
|
| + static constexpr char TestString[] = \
|
| + "(" #Dst ", " #Value0 ", " #Src ", " #Value1 ")"; \
|
| + static constexpr uint32_t Expected = ((Value0) & (1u << (Value1))) != 0; \
|
| + \
|
| + __ mov(IceType_i32, Encoded_GPR_##Dst(), Immediate(Value0)); \
|
| + __ mov(IceType_i32, Encoded_GPR_##Src(), Immediate(Value1)); \
|
| + __ bt(Encoded_GPR_##Dst(), Encoded_GPR_##Src()); \
|
| + __ setcc(Cond::Br_b, ByteRegister::Encoded_Reg_al); \
|
| + __ And(IceType_i32, Encoded_GPR_eax(), Immediate(0xFFu)); \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.run(); \
|
| + \
|
| + ASSERT_EQ(Expected, test.eax()) << TestString; \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| + TestImpl(r1, 0x08000000, r2, 27u);
|
| + TestImpl(r2, 0x08000000, r3, 23u);
|
| + TestImpl(r3, 0x00000000, r4, 1u);
|
| + TestImpl(r4, 0x08000300, r5, 9u);
|
| + TestImpl(r5, 0x08000300, r6, 10u);
|
| + TestImpl(r6, 0x7FFFEFFF, r7, 13u);
|
| + TestImpl(r7, 0x08000000, r8, 27u);
|
| + TestImpl(r8, 0x08000000, r10, 23u);
|
| + TestImpl(r10, 0x00000000, r11, 1u);
|
| + TestImpl(r11, 0x08000300, r12, 9u);
|
| + TestImpl(r12, 0x08000300, r13, 10u);
|
| + TestImpl(r13, 0x7FFFEFFF, r14, 13u);
|
| + TestImpl(r14, 0x08000000, r15, 27u);
|
| + TestImpl(r15, 0x08000000, r1, 23u);
|
| +
|
| +#undef TestImpl
|
| +}
|
| +
|
| +template <uint32_t Value, uint32_t Bits> class BitScanHelper {
|
| + BitScanHelper() = delete;
|
| +
|
| +public:
|
| + static_assert(Bits == 16 || Bits == 32, "Bits must be 16 or 32");
|
| + using ValueType =
|
| + typename std::conditional<Bits == 16, uint16_t, uint32_t>::type;
|
| +
|
| +private:
|
| + static constexpr ValueType BitIndex(bool Forward, ValueType Index) {
|
| + return (Value == 0)
|
| + ? BitScanHelper<Value, Bits>::NoBitSet
|
| + : (Value & (1u << Index)
|
| + ? Index
|
| + : BitIndex(Forward, (Forward ? Index + 1 : Index - 1)));
|
| + }
|
| +
|
| +public:
|
| + static constexpr ValueType NoBitSet = static_cast<ValueType>(-1);
|
| + static constexpr ValueType bsf = BitIndex(/*Forward*/ true, /*Index=*/0);
|
| + static constexpr ValueType bsr =
|
| + BitIndex(/*Forward*/ false, /*Index=*/Bits - 1);
|
| +};
|
| +
|
| +TEST_F(AssemblerX8664Test, BitScanOperations) {
|
| +#define TestImplRegReg(Inst, Dst, Src, Value1, Size) \
|
| + do { \
|
| + static constexpr char TestString[] = \
|
| + "(" #Inst ", " #Dst ", " #Src ", " #Value1 ", " #Size ")"; \
|
| + static constexpr uint32_t Expected = BitScanHelper<Value1, Size>::Inst; \
|
| + const uint32_t ZeroFlag = allocateDword(); \
|
| + __ mov(IceType_i##Size, Encoded_GPR_##Src(), Immediate(Value1)); \
|
| + __ Inst(IceType_i##Size, Encoded_GPR_##Dst(), Encoded_GPR_##Src()); \
|
| + __ setcc(Cond::Br_e, dwordAddress(ZeroFlag)); \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.setDwordTo(ZeroFlag, 0u); \
|
| + test.run(); \
|
| + \
|
| + ASSERT_EQ((Expected == BitScanHelper<Value1, Size>::NoBitSet), \
|
| + test.contentsOfDword(ZeroFlag)) \
|
| + << TestString; \
|
| + if ((Expected != BitScanHelper<Value1, Size>::NoBitSet)) { \
|
| + ASSERT_EQ(Expected, test.Dst()) << TestString; \
|
| + } \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestImplRegAddr(Inst, Dst, Value1, Size) \
|
| + do { \
|
| + static constexpr char TestString[] = \
|
| + "(" #Inst ", " #Dst ", Addr, " #Value1 ", " #Size ")"; \
|
| + static constexpr uint32_t Expected = BitScanHelper<Value1, Size>::Inst; \
|
| + const uint32_t T0 = allocateDword(); \
|
| + const uint32_t ZeroFlag = allocateDword(); \
|
| + __ Inst(IceType_i##Size, Encoded_GPR_##Dst(), dwordAddress(T0)); \
|
| + __ setcc(Cond::Br_e, dwordAddress(ZeroFlag)); \
|
| + \
|
| + AssembledTest test = assemble(); \
|
| + test.setDwordTo(T0, Value1); \
|
| + test.setDwordTo(ZeroFlag, 0u); \
|
| + test.run(); \
|
| + \
|
| + ASSERT_EQ((Expected == BitScanHelper<Value1, Size>::NoBitSet), \
|
| + test.contentsOfDword(ZeroFlag)) \
|
| + << TestString; \
|
| + if (Expected != BitScanHelper<Value1, Size>::NoBitSet) { \
|
| + ASSERT_EQ(Expected, test.Dst()) << TestString; \
|
| + } \
|
| + reset(); \
|
| + } while (0)
|
| +
|
| +#define TestImplSize(Dst, Src, Value1, Size) \
|
| + do { \
|
| + TestImplRegReg(bsf, Dst, Src, Value1, Size); \
|
| + TestImplRegAddr(bsf, Dst, Value1, Size); \
|
| + TestImplRegReg(bsr, Dst, Src, Value1, Size); \
|
| + TestImplRegAddr(bsf, Dst, Value1, Size); \
|
| + } while (0)
|
| +
|
| +#define TestImplValue(Dst, Src, Value1) \
|
| + do { \
|
| + TestImplSize(Dst, Src, Value1, 16); \
|
| + TestImplSize(Dst, Src, Value1, 32); \
|
| + } while (0)
|
| +
|
| +#define TestImpl(Dst, Src) \
|
| + do { \
|
| + TestImplValue(Dst, Src, 0x80000001); \
|
| + TestImplValue(Dst, Src, 0x00000000); \
|
| + TestImplValue(Dst, Src, 0x80001000); \
|
| + TestImplValue(Dst, Src, 0x00FFFF00); \
|
| + } while (0)
|
| +
|
| + TestImpl(r1, r2);
|
| + TestImpl(r2, r3);
|
| + TestImpl(r3, r4);
|
| + TestImpl(r4, r5);
|
| + TestImpl(r5, r6);
|
| + TestImpl(r6, r7);
|
| + TestImpl(r7, r8);
|
| + TestImpl(r8, r10);
|
| + TestImpl(r10, r11);
|
| + TestImpl(r11, r12);
|
| + TestImpl(r12, r13);
|
| + TestImpl(r13, r14);
|
| + TestImpl(r14, r15);
|
| + TestImpl(r15, r1);
|
| +
|
| +#undef TestImpl
|
| +#undef TestImplValue
|
| +#undef TestImplSize
|
| +#undef TestImplRegAddr
|
| +#undef TestImplRegReg
|
| +}
|
| +
|
| +} // end of anonymous namespace
|
| +} // end of namespace Test
|
| +} // end of namespace X8664
|
| +} // end of namespace Ice
|
|
|