Jinsong Ji | 56c74cf | 2018-11-20 14:41:59 +0000 | [diff] [blame] | 1 | //===-- TargetTest.cpp -----------------------------------------*- C++ -*-===// |
| 2 | // |
Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame] | 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
Jinsong Ji | 56c74cf | 2018-11-20 14:41:59 +0000 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | |
Clement Courbet | 44b4c54 | 2018-06-19 11:28:59 +0000 | [diff] [blame] | 9 | #include "Target.h" |
| 10 | |
| 11 | #include <cassert> |
| 12 | #include <memory> |
| 13 | |
Clement Courbet | a51efc2 | 2018-06-25 13:12:02 +0000 | [diff] [blame] | 14 | #include "MCTargetDesc/X86MCTargetDesc.h" |
Clement Courbet | e785169 | 2018-07-03 06:17:05 +0000 | [diff] [blame] | 15 | #include "llvm/Support/TargetRegistry.h" |
| 16 | #include "llvm/Support/TargetSelect.h" |
Clement Courbet | 44b4c54 | 2018-06-19 11:28:59 +0000 | [diff] [blame] | 17 | #include "gmock/gmock.h" |
| 18 | #include "gtest/gtest.h" |
| 19 | |
Guillaume Chatelet | 5ad2909 | 2018-09-18 11:26:27 +0000 | [diff] [blame] | 20 | #include "llvm/MC/MCInstPrinter.h" |
| 21 | |
| 22 | namespace llvm { |
| 23 | |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 24 | bool operator==(const MCOperand &a, const MCOperand &b) { |
Guillaume Chatelet | 5ad2909 | 2018-09-18 11:26:27 +0000 | [diff] [blame] | 25 | if (a.isImm() && b.isImm()) |
| 26 | return a.getImm() == b.getImm(); |
| 27 | if (a.isReg() && b.isReg()) |
| 28 | return a.getReg() == b.getReg(); |
| 29 | return false; |
| 30 | } |
| 31 | |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 32 | bool operator==(const MCInst &a, const MCInst &b) { |
Guillaume Chatelet | 5ad2909 | 2018-09-18 11:26:27 +0000 | [diff] [blame] | 33 | if (a.getOpcode() != b.getOpcode()) |
| 34 | return false; |
| 35 | if (a.getNumOperands() != b.getNumOperands()) |
| 36 | return false; |
| 37 | for (unsigned I = 0; I < a.getNumOperands(); ++I) { |
| 38 | if (!(a.getOperand(I) == b.getOperand(I))) |
| 39 | return false; |
| 40 | } |
| 41 | return true; |
| 42 | } |
| 43 | |
| 44 | } // namespace llvm |
| 45 | |
Fangrui Song | 32401af | 2018-10-22 17:10:47 +0000 | [diff] [blame] | 46 | namespace llvm { |
Clement Courbet | 44b4c54 | 2018-06-19 11:28:59 +0000 | [diff] [blame] | 47 | namespace exegesis { |
| 48 | |
| 49 | void InitializeX86ExegesisTarget(); |
| 50 | |
| 51 | namespace { |
| 52 | |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 53 | using testing::AllOf; |
Guillaume Chatelet | 5ad2909 | 2018-09-18 11:26:27 +0000 | [diff] [blame] | 54 | using testing::ElementsAre; |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 55 | using testing::ElementsAreArray; |
| 56 | using testing::Eq; |
Clement Courbet | a51efc2 | 2018-06-25 13:12:02 +0000 | [diff] [blame] | 57 | using testing::Gt; |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 58 | using testing::Matcher; |
Clement Courbet | 44b4c54 | 2018-06-19 11:28:59 +0000 | [diff] [blame] | 59 | using testing::NotNull; |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 60 | using testing::Property; |
Clement Courbet | a51efc2 | 2018-06-25 13:12:02 +0000 | [diff] [blame] | 61 | using testing::SizeIs; |
Clement Courbet | 44b4c54 | 2018-06-19 11:28:59 +0000 | [diff] [blame] | 62 | |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 63 | Matcher<MCOperand> IsImm(int64_t Value) { |
| 64 | return AllOf(Property(&MCOperand::isImm, Eq(true)), |
| 65 | Property(&MCOperand::getImm, Eq(Value))); |
| 66 | } |
Clement Courbet | e785169 | 2018-07-03 06:17:05 +0000 | [diff] [blame] | 67 | |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 68 | Matcher<MCOperand> IsReg(unsigned Reg) { |
| 69 | return AllOf(Property(&MCOperand::isReg, Eq(true)), |
| 70 | Property(&MCOperand::getReg, Eq(Reg))); |
| 71 | } |
| 72 | |
| 73 | Matcher<MCInst> OpcodeIs(unsigned Opcode) { |
| 74 | return Property(&MCInst::getOpcode, Eq(Opcode)); |
| 75 | } |
| 76 | |
| 77 | Matcher<MCInst> IsMovImmediate(unsigned Opcode, int64_t Reg, int64_t Value) { |
| 78 | return AllOf(OpcodeIs(Opcode), ElementsAre(IsReg(Reg), IsImm(Value))); |
| 79 | } |
| 80 | |
| 81 | Matcher<MCInst> IsMovValueToStack(unsigned Opcode, int64_t Value, |
| 82 | size_t Offset) { |
| 83 | return AllOf(OpcodeIs(Opcode), |
Clement Courbet | d422d3a | 2019-10-09 11:29:21 +0000 | [diff] [blame] | 84 | ElementsAre(IsReg(X86::RSP), IsImm(1), IsReg(0), IsImm(Offset), |
| 85 | IsReg(0), IsImm(Value))); |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 86 | } |
| 87 | |
| 88 | Matcher<MCInst> IsMovValueFromStack(unsigned Opcode, unsigned Reg) { |
| 89 | return AllOf(OpcodeIs(Opcode), |
Clement Courbet | d422d3a | 2019-10-09 11:29:21 +0000 | [diff] [blame] | 90 | ElementsAre(IsReg(Reg), IsReg(X86::RSP), IsImm(1), IsReg(0), |
| 91 | IsImm(0), IsReg(0))); |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 92 | } |
| 93 | |
| 94 | Matcher<MCInst> IsStackAllocate(unsigned Size) { |
Clement Courbet | d422d3a | 2019-10-09 11:29:21 +0000 | [diff] [blame] | 95 | return AllOf(OpcodeIs(X86::SUB64ri8), |
| 96 | ElementsAre(IsReg(X86::RSP), IsReg(X86::RSP), IsImm(Size))); |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 97 | } |
| 98 | |
| 99 | Matcher<MCInst> IsStackDeallocate(unsigned Size) { |
Clement Courbet | d422d3a | 2019-10-09 11:29:21 +0000 | [diff] [blame] | 100 | return AllOf(OpcodeIs(X86::ADD64ri8), |
| 101 | ElementsAre(IsReg(X86::RSP), IsReg(X86::RSP), IsImm(Size))); |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 102 | } |
| 103 | |
Guillaume Chatelet | 12ca74e | 2018-09-20 13:37:04 +0000 | [diff] [blame] | 104 | constexpr const char kTriple[] = "x86_64-unknown-linux"; |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 105 | |
Clement Courbet | 44b4c54 | 2018-06-19 11:28:59 +0000 | [diff] [blame] | 106 | class X86TargetTest : public ::testing::Test { |
| 107 | protected: |
Clement Courbet | bbab546 | 2018-11-19 14:31:43 +0000 | [diff] [blame] | 108 | X86TargetTest(const char *Features) : State(kTriple, "core2", Features) {} |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 109 | |
Clement Courbet | e785169 | 2018-07-03 06:17:05 +0000 | [diff] [blame] | 110 | static void SetUpTestCase() { |
| 111 | LLVMInitializeX86TargetInfo(); |
| 112 | LLVMInitializeX86Target(); |
| 113 | LLVMInitializeX86TargetMC(); |
| 114 | InitializeX86ExegesisTarget(); |
| 115 | } |
Clement Courbet | a51efc2 | 2018-06-25 13:12:02 +0000 | [diff] [blame] | 116 | |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 117 | std::vector<MCInst> setRegTo(unsigned Reg, const APInt &Value) { |
Clement Courbet | bbab546 | 2018-11-19 14:31:43 +0000 | [diff] [blame] | 118 | return State.getExegesisTarget().setRegTo(State.getSubtargetInfo(), Reg, |
| 119 | Value); |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 120 | } |
| 121 | |
Clement Courbet | bbab546 | 2018-11-19 14:31:43 +0000 | [diff] [blame] | 122 | LLVMState State; |
Clement Courbet | 44b4c54 | 2018-06-19 11:28:59 +0000 | [diff] [blame] | 123 | }; |
| 124 | |
Guillaume Chatelet | 12ca74e | 2018-09-20 13:37:04 +0000 | [diff] [blame] | 125 | class Core2TargetTest : public X86TargetTest { |
| 126 | public: |
| 127 | Core2TargetTest() : X86TargetTest("") {} |
| 128 | }; |
| 129 | |
| 130 | class Core2AvxTargetTest : public X86TargetTest { |
| 131 | public: |
| 132 | Core2AvxTargetTest() : X86TargetTest("+avx") {} |
| 133 | }; |
| 134 | |
| 135 | class Core2Avx512TargetTest : public X86TargetTest { |
| 136 | public: |
| 137 | Core2Avx512TargetTest() : X86TargetTest("+avx512vl") {} |
| 138 | }; |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 139 | |
Clement Courbet | 52da938 | 2019-03-26 15:44:57 +0000 | [diff] [blame] | 140 | TEST_F(Core2TargetTest, NoHighByteRegs) { |
| 141 | EXPECT_TRUE(State.getRATC().reservedRegisters().test(X86::AH)); |
| 142 | } |
| 143 | |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 144 | TEST_F(Core2TargetTest, SetFlags) { |
Clement Courbet | d422d3a | 2019-10-09 11:29:21 +0000 | [diff] [blame] | 145 | const unsigned Reg = X86::EFLAGS; |
| 146 | EXPECT_THAT(setRegTo(Reg, APInt(64, 0x1111222233334444ULL)), |
| 147 | ElementsAre(IsStackAllocate(8), |
| 148 | IsMovValueToStack(X86::MOV32mi, 0x33334444UL, 0), |
| 149 | IsMovValueToStack(X86::MOV32mi, 0x11112222UL, 4), |
| 150 | OpcodeIs(X86::POPF64))); |
Clement Courbet | a51efc2 | 2018-06-25 13:12:02 +0000 | [diff] [blame] | 151 | } |
| 152 | |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 153 | TEST_F(Core2TargetTest, SetRegToGR8Value) { |
| 154 | const uint8_t Value = 0xFFU; |
Clement Courbet | d422d3a | 2019-10-09 11:29:21 +0000 | [diff] [blame] | 155 | const unsigned Reg = X86::AL; |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 156 | EXPECT_THAT(setRegTo(Reg, APInt(8, Value)), |
Clement Courbet | d422d3a | 2019-10-09 11:29:21 +0000 | [diff] [blame] | 157 | ElementsAre(IsMovImmediate(X86::MOV8ri, Reg, Value))); |
Clement Courbet | e785169 | 2018-07-03 06:17:05 +0000 | [diff] [blame] | 158 | } |
| 159 | |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 160 | TEST_F(Core2TargetTest, SetRegToGR16Value) { |
| 161 | const uint16_t Value = 0xFFFFU; |
Clement Courbet | d422d3a | 2019-10-09 11:29:21 +0000 | [diff] [blame] | 162 | const unsigned Reg = X86::BX; |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 163 | EXPECT_THAT(setRegTo(Reg, APInt(16, Value)), |
Clement Courbet | d422d3a | 2019-10-09 11:29:21 +0000 | [diff] [blame] | 164 | ElementsAre(IsMovImmediate(X86::MOV16ri, Reg, Value))); |
Clement Courbet | e785169 | 2018-07-03 06:17:05 +0000 | [diff] [blame] | 165 | } |
| 166 | |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 167 | TEST_F(Core2TargetTest, SetRegToGR32Value) { |
| 168 | const uint32_t Value = 0x7FFFFU; |
Clement Courbet | d422d3a | 2019-10-09 11:29:21 +0000 | [diff] [blame] | 169 | const unsigned Reg = X86::ECX; |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 170 | EXPECT_THAT(setRegTo(Reg, APInt(32, Value)), |
Clement Courbet | d422d3a | 2019-10-09 11:29:21 +0000 | [diff] [blame] | 171 | ElementsAre(IsMovImmediate(X86::MOV32ri, Reg, Value))); |
Clement Courbet | e785169 | 2018-07-03 06:17:05 +0000 | [diff] [blame] | 172 | } |
| 173 | |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 174 | TEST_F(Core2TargetTest, SetRegToGR64Value) { |
| 175 | const uint64_t Value = 0x7FFFFFFFFFFFFFFFULL; |
Clement Courbet | d422d3a | 2019-10-09 11:29:21 +0000 | [diff] [blame] | 176 | const unsigned Reg = X86::RDX; |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 177 | EXPECT_THAT(setRegTo(Reg, APInt(64, Value)), |
Clement Courbet | d422d3a | 2019-10-09 11:29:21 +0000 | [diff] [blame] | 178 | ElementsAre(IsMovImmediate(X86::MOV64ri, Reg, Value))); |
Clement Courbet | e785169 | 2018-07-03 06:17:05 +0000 | [diff] [blame] | 179 | } |
| 180 | |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 181 | TEST_F(Core2TargetTest, SetRegToVR64Value) { |
Clement Courbet | d422d3a | 2019-10-09 11:29:21 +0000 | [diff] [blame] | 182 | EXPECT_THAT(setRegTo(X86::MM0, APInt(64, 0x1111222233334444ULL)), |
| 183 | ElementsAre(IsStackAllocate(8), |
| 184 | IsMovValueToStack(X86::MOV32mi, 0x33334444UL, 0), |
| 185 | IsMovValueToStack(X86::MOV32mi, 0x11112222UL, 4), |
| 186 | IsMovValueFromStack(X86::MMX_MOVQ64rm, X86::MM0), |
| 187 | IsStackDeallocate(8))); |
Clement Courbet | e785169 | 2018-07-03 06:17:05 +0000 | [diff] [blame] | 188 | } |
| 189 | |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 190 | TEST_F(Core2TargetTest, SetRegToVR128Value_Use_MOVDQUrm) { |
| 191 | EXPECT_THAT( |
Clement Courbet | d422d3a | 2019-10-09 11:29:21 +0000 | [diff] [blame] | 192 | setRegTo(X86::XMM0, APInt(128, "11112222333344445555666677778888", 16)), |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 193 | ElementsAre(IsStackAllocate(16), |
Clement Courbet | d422d3a | 2019-10-09 11:29:21 +0000 | [diff] [blame] | 194 | IsMovValueToStack(X86::MOV32mi, 0x77778888UL, 0), |
| 195 | IsMovValueToStack(X86::MOV32mi, 0x55556666UL, 4), |
| 196 | IsMovValueToStack(X86::MOV32mi, 0x33334444UL, 8), |
| 197 | IsMovValueToStack(X86::MOV32mi, 0x11112222UL, 12), |
| 198 | IsMovValueFromStack(X86::MOVDQUrm, X86::XMM0), |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 199 | IsStackDeallocate(16))); |
Clement Courbet | e785169 | 2018-07-03 06:17:05 +0000 | [diff] [blame] | 200 | } |
| 201 | |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 202 | TEST_F(Core2AvxTargetTest, SetRegToVR128Value_Use_VMOVDQUrm) { |
| 203 | EXPECT_THAT( |
Clement Courbet | d422d3a | 2019-10-09 11:29:21 +0000 | [diff] [blame] | 204 | setRegTo(X86::XMM0, APInt(128, "11112222333344445555666677778888", 16)), |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 205 | ElementsAre(IsStackAllocate(16), |
Clement Courbet | d422d3a | 2019-10-09 11:29:21 +0000 | [diff] [blame] | 206 | IsMovValueToStack(X86::MOV32mi, 0x77778888UL, 0), |
| 207 | IsMovValueToStack(X86::MOV32mi, 0x55556666UL, 4), |
| 208 | IsMovValueToStack(X86::MOV32mi, 0x33334444UL, 8), |
| 209 | IsMovValueToStack(X86::MOV32mi, 0x11112222UL, 12), |
| 210 | IsMovValueFromStack(X86::VMOVDQUrm, X86::XMM0), |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 211 | IsStackDeallocate(16))); |
Clement Courbet | 44b4c54 | 2018-06-19 11:28:59 +0000 | [diff] [blame] | 212 | } |
| 213 | |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 214 | TEST_F(Core2Avx512TargetTest, SetRegToVR128Value_Use_VMOVDQU32Z128rm) { |
| 215 | EXPECT_THAT( |
Clement Courbet | d422d3a | 2019-10-09 11:29:21 +0000 | [diff] [blame] | 216 | setRegTo(X86::XMM0, APInt(128, "11112222333344445555666677778888", 16)), |
| 217 | ElementsAre(IsStackAllocate(16), |
| 218 | IsMovValueToStack(X86::MOV32mi, 0x77778888UL, 0), |
| 219 | IsMovValueToStack(X86::MOV32mi, 0x55556666UL, 4), |
| 220 | IsMovValueToStack(X86::MOV32mi, 0x33334444UL, 8), |
| 221 | IsMovValueToStack(X86::MOV32mi, 0x11112222UL, 12), |
| 222 | IsMovValueFromStack(X86::VMOVDQU32Z128rm, X86::XMM0), |
| 223 | IsStackDeallocate(16))); |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 224 | } |
Guillaume Chatelet | 5ad2909 | 2018-09-18 11:26:27 +0000 | [diff] [blame] | 225 | |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 226 | TEST_F(Core2AvxTargetTest, SetRegToVR256Value_Use_VMOVDQUYrm) { |
| 227 | const char ValueStr[] = |
| 228 | "1111111122222222333333334444444455555555666666667777777788888888"; |
Clement Courbet | d422d3a | 2019-10-09 11:29:21 +0000 | [diff] [blame] | 229 | EXPECT_THAT( |
| 230 | setRegTo(X86::YMM0, APInt(256, ValueStr, 16)), |
| 231 | ElementsAreArray({IsStackAllocate(32), |
| 232 | IsMovValueToStack(X86::MOV32mi, 0x88888888UL, 0), |
| 233 | IsMovValueToStack(X86::MOV32mi, 0x77777777UL, 4), |
| 234 | IsMovValueToStack(X86::MOV32mi, 0x66666666UL, 8), |
| 235 | IsMovValueToStack(X86::MOV32mi, 0x55555555UL, 12), |
| 236 | IsMovValueToStack(X86::MOV32mi, 0x44444444UL, 16), |
| 237 | IsMovValueToStack(X86::MOV32mi, 0x33333333UL, 20), |
| 238 | IsMovValueToStack(X86::MOV32mi, 0x22222222UL, 24), |
| 239 | IsMovValueToStack(X86::MOV32mi, 0x11111111UL, 28), |
| 240 | IsMovValueFromStack(X86::VMOVDQUYrm, X86::YMM0), |
| 241 | IsStackDeallocate(32)})); |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 242 | } |
Guillaume Chatelet | 5ad2909 | 2018-09-18 11:26:27 +0000 | [diff] [blame] | 243 | |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 244 | TEST_F(Core2Avx512TargetTest, SetRegToVR256Value_Use_VMOVDQU32Z256rm) { |
| 245 | const char ValueStr[] = |
| 246 | "1111111122222222333333334444444455555555666666667777777788888888"; |
| 247 | EXPECT_THAT( |
Clement Courbet | d422d3a | 2019-10-09 11:29:21 +0000 | [diff] [blame] | 248 | setRegTo(X86::YMM0, APInt(256, ValueStr, 16)), |
| 249 | ElementsAreArray({IsStackAllocate(32), |
| 250 | IsMovValueToStack(X86::MOV32mi, 0x88888888UL, 0), |
| 251 | IsMovValueToStack(X86::MOV32mi, 0x77777777UL, 4), |
| 252 | IsMovValueToStack(X86::MOV32mi, 0x66666666UL, 8), |
| 253 | IsMovValueToStack(X86::MOV32mi, 0x55555555UL, 12), |
| 254 | IsMovValueToStack(X86::MOV32mi, 0x44444444UL, 16), |
| 255 | IsMovValueToStack(X86::MOV32mi, 0x33333333UL, 20), |
| 256 | IsMovValueToStack(X86::MOV32mi, 0x22222222UL, 24), |
| 257 | IsMovValueToStack(X86::MOV32mi, 0x11111111UL, 28), |
| 258 | IsMovValueFromStack(X86::VMOVDQU32Z256rm, X86::YMM0), |
| 259 | IsStackDeallocate(32)})); |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 260 | } |
| 261 | |
| 262 | TEST_F(Core2Avx512TargetTest, SetRegToVR512Value) { |
| 263 | const char ValueStr[] = |
| 264 | "1111111122222222333333334444444455555555666666667777777788888888" |
| 265 | "99999999AAAAAAAABBBBBBBBCCCCCCCCDDDDDDDDEEEEEEEEFFFFFFFF00000000"; |
| 266 | EXPECT_THAT( |
Clement Courbet | d422d3a | 2019-10-09 11:29:21 +0000 | [diff] [blame] | 267 | setRegTo(X86::ZMM0, APInt(512, ValueStr, 16)), |
| 268 | ElementsAreArray({IsStackAllocate(64), |
| 269 | IsMovValueToStack(X86::MOV32mi, 0x00000000UL, 0), |
| 270 | IsMovValueToStack(X86::MOV32mi, 0xFFFFFFFFUL, 4), |
| 271 | IsMovValueToStack(X86::MOV32mi, 0xEEEEEEEEUL, 8), |
| 272 | IsMovValueToStack(X86::MOV32mi, 0xDDDDDDDDUL, 12), |
| 273 | IsMovValueToStack(X86::MOV32mi, 0xCCCCCCCCUL, 16), |
| 274 | IsMovValueToStack(X86::MOV32mi, 0xBBBBBBBBUL, 20), |
| 275 | IsMovValueToStack(X86::MOV32mi, 0xAAAAAAAAUL, 24), |
| 276 | IsMovValueToStack(X86::MOV32mi, 0x99999999UL, 28), |
| 277 | IsMovValueToStack(X86::MOV32mi, 0x88888888UL, 32), |
| 278 | IsMovValueToStack(X86::MOV32mi, 0x77777777UL, 36), |
| 279 | IsMovValueToStack(X86::MOV32mi, 0x66666666UL, 40), |
| 280 | IsMovValueToStack(X86::MOV32mi, 0x55555555UL, 44), |
| 281 | IsMovValueToStack(X86::MOV32mi, 0x44444444UL, 48), |
| 282 | IsMovValueToStack(X86::MOV32mi, 0x33333333UL, 52), |
| 283 | IsMovValueToStack(X86::MOV32mi, 0x22222222UL, 56), |
| 284 | IsMovValueToStack(X86::MOV32mi, 0x11111111UL, 60), |
| 285 | IsMovValueFromStack(X86::VMOVDQU32Zrm, X86::ZMM0), |
| 286 | IsStackDeallocate(64)})); |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 287 | } |
| 288 | |
Clement Courbet | c51f452 | 2018-10-19 09:56:54 +0000 | [diff] [blame] | 289 | // Note: We always put 80 bits on the stack independently of the size of the |
| 290 | // value. This uses a bit more space but makes the code simpler. |
| 291 | |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 292 | TEST_F(Core2TargetTest, SetRegToST0_32Bits) { |
Clement Courbet | d422d3a | 2019-10-09 11:29:21 +0000 | [diff] [blame] | 293 | EXPECT_THAT(setRegTo(X86::ST0, APInt(32, 0x11112222ULL)), |
| 294 | ElementsAre(IsStackAllocate(10), |
| 295 | IsMovValueToStack(X86::MOV32mi, 0x11112222UL, 0), |
| 296 | IsMovValueToStack(X86::MOV32mi, 0x00000000UL, 4), |
| 297 | IsMovValueToStack(X86::MOV16mi, 0x0000UL, 8), |
| 298 | OpcodeIs(X86::LD_F80m), IsStackDeallocate(10))); |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 299 | } |
| 300 | |
| 301 | TEST_F(Core2TargetTest, SetRegToST1_32Bits) { |
Clement Courbet | d422d3a | 2019-10-09 11:29:21 +0000 | [diff] [blame] | 302 | const MCInst CopySt0ToSt1 = MCInstBuilder(X86::ST_Frr).addReg(X86::ST1); |
| 303 | EXPECT_THAT(setRegTo(X86::ST1, APInt(32, 0x11112222ULL)), |
| 304 | ElementsAre(IsStackAllocate(10), |
| 305 | IsMovValueToStack(X86::MOV32mi, 0x11112222UL, 0), |
| 306 | IsMovValueToStack(X86::MOV32mi, 0x00000000UL, 4), |
| 307 | IsMovValueToStack(X86::MOV16mi, 0x0000UL, 8), |
| 308 | OpcodeIs(X86::LD_F80m), CopySt0ToSt1, |
| 309 | IsStackDeallocate(10))); |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 310 | } |
| 311 | |
| 312 | TEST_F(Core2TargetTest, SetRegToST0_64Bits) { |
Clement Courbet | d422d3a | 2019-10-09 11:29:21 +0000 | [diff] [blame] | 313 | EXPECT_THAT(setRegTo(X86::ST0, APInt(64, 0x1111222233334444ULL)), |
| 314 | ElementsAre(IsStackAllocate(10), |
| 315 | IsMovValueToStack(X86::MOV32mi, 0x33334444UL, 0), |
| 316 | IsMovValueToStack(X86::MOV32mi, 0x11112222UL, 4), |
| 317 | IsMovValueToStack(X86::MOV16mi, 0x0000UL, 8), |
| 318 | OpcodeIs(X86::LD_F80m), IsStackDeallocate(10))); |
Guillaume Chatelet | c96a97b | 2018-09-20 12:22:18 +0000 | [diff] [blame] | 319 | } |
| 320 | |
| 321 | TEST_F(Core2TargetTest, SetRegToST0_80Bits) { |
Clement Courbet | d422d3a | 2019-10-09 11:29:21 +0000 | [diff] [blame] | 322 | EXPECT_THAT(setRegTo(X86::ST0, APInt(80, "11112222333344445555", 16)), |
| 323 | ElementsAre(IsStackAllocate(10), |
| 324 | IsMovValueToStack(X86::MOV32mi, 0x44445555UL, 0), |
| 325 | IsMovValueToStack(X86::MOV32mi, 0x22223333UL, 4), |
| 326 | IsMovValueToStack(X86::MOV16mi, 0x1111UL, 8), |
| 327 | OpcodeIs(X86::LD_F80m), IsStackDeallocate(10))); |
Guillaume Chatelet | 5ad2909 | 2018-09-18 11:26:27 +0000 | [diff] [blame] | 328 | } |
| 329 | |
Clement Courbet | c51f452 | 2018-10-19 09:56:54 +0000 | [diff] [blame] | 330 | TEST_F(Core2TargetTest, SetRegToFP0_80Bits) { |
Clement Courbet | d422d3a | 2019-10-09 11:29:21 +0000 | [diff] [blame] | 331 | EXPECT_THAT(setRegTo(X86::FP0, APInt(80, "11112222333344445555", 16)), |
| 332 | ElementsAre(IsStackAllocate(10), |
| 333 | IsMovValueToStack(X86::MOV32mi, 0x44445555UL, 0), |
| 334 | IsMovValueToStack(X86::MOV32mi, 0x22223333UL, 4), |
| 335 | IsMovValueToStack(X86::MOV16mi, 0x1111UL, 8), |
| 336 | OpcodeIs(X86::LD_Fp80m), IsStackDeallocate(10))); |
Clement Courbet | c51f452 | 2018-10-19 09:56:54 +0000 | [diff] [blame] | 337 | } |
| 338 | |
| 339 | TEST_F(Core2TargetTest, SetRegToFP1_32Bits) { |
Clement Courbet | d422d3a | 2019-10-09 11:29:21 +0000 | [diff] [blame] | 340 | EXPECT_THAT(setRegTo(X86::FP1, APInt(32, 0x11112222ULL)), |
| 341 | ElementsAre(IsStackAllocate(10), |
| 342 | IsMovValueToStack(X86::MOV32mi, 0x11112222UL, 0), |
| 343 | IsMovValueToStack(X86::MOV32mi, 0x00000000UL, 4), |
| 344 | IsMovValueToStack(X86::MOV16mi, 0x0000UL, 8), |
| 345 | OpcodeIs(X86::LD_Fp80m), IsStackDeallocate(10))); |
Clement Courbet | c51f452 | 2018-10-19 09:56:54 +0000 | [diff] [blame] | 346 | } |
| 347 | |
| 348 | TEST_F(Core2TargetTest, SetRegToFP1_4Bits) { |
Clement Courbet | d422d3a | 2019-10-09 11:29:21 +0000 | [diff] [blame] | 349 | EXPECT_THAT(setRegTo(X86::FP1, APInt(4, 0x1ULL)), |
| 350 | ElementsAre(IsStackAllocate(10), |
| 351 | IsMovValueToStack(X86::MOV32mi, 0x00000001UL, 0), |
| 352 | IsMovValueToStack(X86::MOV32mi, 0x00000000UL, 4), |
| 353 | IsMovValueToStack(X86::MOV16mi, 0x0000UL, 8), |
| 354 | OpcodeIs(X86::LD_Fp80m), IsStackDeallocate(10))); |
Clement Courbet | bbab546 | 2018-11-19 14:31:43 +0000 | [diff] [blame] | 355 | } |
| 356 | |
| 357 | TEST_F(Core2Avx512TargetTest, FillMemoryOperands_ADD64rm) { |
| 358 | Instruction I(State.getInstrInfo(), State.getRATC(), X86::ADD64rm); |
| 359 | InstructionTemplate IT(I); |
| 360 | constexpr const int kOffset = 42; |
| 361 | State.getExegesisTarget().fillMemoryOperands(IT, X86::RDI, kOffset); |
| 362 | // Memory is operands 2-6. |
| 363 | EXPECT_THAT(IT.getValueFor(I.Operands[2]), IsReg(X86::RDI)); |
| 364 | EXPECT_THAT(IT.getValueFor(I.Operands[3]), IsImm(1)); |
| 365 | EXPECT_THAT(IT.getValueFor(I.Operands[4]), IsReg(0)); |
| 366 | EXPECT_THAT(IT.getValueFor(I.Operands[5]), IsImm(kOffset)); |
| 367 | EXPECT_THAT(IT.getValueFor(I.Operands[6]), IsReg(0)); |
| 368 | } |
| 369 | |
| 370 | TEST_F(Core2Avx512TargetTest, FillMemoryOperands_VGATHERDPSZ128rm) { |
| 371 | Instruction I(State.getInstrInfo(), State.getRATC(), X86::VGATHERDPSZ128rm); |
| 372 | InstructionTemplate IT(I); |
| 373 | constexpr const int kOffset = 42; |
| 374 | State.getExegesisTarget().fillMemoryOperands(IT, X86::RDI, kOffset); |
| 375 | // Memory is operands 4-8. |
| 376 | EXPECT_THAT(IT.getValueFor(I.Operands[4]), IsReg(X86::RDI)); |
| 377 | EXPECT_THAT(IT.getValueFor(I.Operands[5]), IsImm(1)); |
| 378 | EXPECT_THAT(IT.getValueFor(I.Operands[6]), IsReg(0)); |
| 379 | EXPECT_THAT(IT.getValueFor(I.Operands[7]), IsImm(kOffset)); |
| 380 | EXPECT_THAT(IT.getValueFor(I.Operands[8]), IsReg(0)); |
Clement Courbet | c51f452 | 2018-10-19 09:56:54 +0000 | [diff] [blame] | 381 | } |
| 382 | |
Clement Courbet | 44b4c54 | 2018-06-19 11:28:59 +0000 | [diff] [blame] | 383 | } // namespace |
| 384 | } // namespace exegesis |
Fangrui Song | 32401af | 2018-10-22 17:10:47 +0000 | [diff] [blame] | 385 | } // namespace llvm |