Elliott Hughes | 2faa5f1 | 2012-01-30 14:42:07 -0800 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2011 The Android Open Source Project |
| 3 | * |
| 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 5 | * you may not use this file except in compliance with the License. |
| 6 | * You may obtain a copy of the License at |
| 7 | * |
| 8 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 9 | * |
| 10 | * Unless required by applicable law or agreed to in writing, software |
| 11 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 13 | * See the License for the specific language governing permissions and |
| 14 | * limitations under the License. |
| 15 | */ |
Ian Rogers | b033c75 | 2011-07-20 12:22:35 -0700 | [diff] [blame] | 16 | |
Brian Carlstrom | 578bbdc | 2011-07-21 14:07:47 -0700 | [diff] [blame] | 17 | #include "assembler_x86.h" |
Jesse Wilson | c981ace | 2011-06-22 14:17:14 -0700 | [diff] [blame] | 18 | |
Roland Levillain | 647b9ed | 2014-11-27 12:06:00 +0000 | [diff] [blame] | 19 | #include "base/stl_util.h" |
| 20 | #include "utils/assembler_test.h" |
Jesse Wilson | c981ace | 2011-06-22 14:17:14 -0700 | [diff] [blame] | 21 | |
Ian Rogers | b033c75 | 2011-07-20 12:22:35 -0700 | [diff] [blame] | 22 | namespace art { |
| 23 | |
| 24 | TEST(AssemblerX86, CreateBuffer) { |
| 25 | AssemblerBuffer buffer; |
| 26 | AssemblerBuffer::EnsureCapacity ensured(&buffer); |
| 27 | buffer.Emit<uint8_t>(0x42); |
| 28 | ASSERT_EQ(static_cast<size_t>(1), buffer.Size()); |
| 29 | buffer.Emit<int32_t>(42); |
| 30 | ASSERT_EQ(static_cast<size_t>(5), buffer.Size()); |
Jesse Wilson | c981ace | 2011-06-22 14:17:14 -0700 | [diff] [blame] | 31 | } |
Ian Rogers | b033c75 | 2011-07-20 12:22:35 -0700 | [diff] [blame] | 32 | |
Roland Levillain | 647b9ed | 2014-11-27 12:06:00 +0000 | [diff] [blame] | 33 | class AssemblerX86Test : public AssemblerTest<x86::X86Assembler, x86::Register, |
| 34 | x86::XmmRegister, x86::Immediate> { |
Mark Mendell | bcee092 | 2015-09-15 21:45:01 -0400 | [diff] [blame^] | 35 | public: |
| 36 | typedef AssemblerTest<x86::X86Assembler, x86::Register, |
| 37 | x86::XmmRegister, x86::Immediate> Base; |
| 38 | |
Roland Levillain | 647b9ed | 2014-11-27 12:06:00 +0000 | [diff] [blame] | 39 | protected: |
| 40 | std::string GetArchitectureString() OVERRIDE { |
| 41 | return "x86"; |
| 42 | } |
| 43 | |
| 44 | std::string GetAssemblerParameters() OVERRIDE { |
| 45 | return " --32"; |
| 46 | } |
| 47 | |
| 48 | std::string GetDisassembleParameters() OVERRIDE { |
| 49 | return " -D -bbinary -mi386 --no-show-raw-insn"; |
| 50 | } |
| 51 | |
| 52 | void SetUpHelpers() OVERRIDE { |
| 53 | if (registers_.size() == 0) { |
| 54 | registers_.insert(end(registers_), |
| 55 | { // NOLINT(whitespace/braces) |
| 56 | new x86::Register(x86::EAX), |
| 57 | new x86::Register(x86::EBX), |
| 58 | new x86::Register(x86::ECX), |
| 59 | new x86::Register(x86::EDX), |
| 60 | new x86::Register(x86::EBP), |
| 61 | new x86::Register(x86::ESP), |
| 62 | new x86::Register(x86::ESI), |
| 63 | new x86::Register(x86::EDI) |
| 64 | }); |
| 65 | } |
| 66 | |
| 67 | if (fp_registers_.size() == 0) { |
| 68 | fp_registers_.insert(end(fp_registers_), |
| 69 | { // NOLINT(whitespace/braces) |
| 70 | new x86::XmmRegister(x86::XMM0), |
| 71 | new x86::XmmRegister(x86::XMM1), |
| 72 | new x86::XmmRegister(x86::XMM2), |
| 73 | new x86::XmmRegister(x86::XMM3), |
| 74 | new x86::XmmRegister(x86::XMM4), |
| 75 | new x86::XmmRegister(x86::XMM5), |
| 76 | new x86::XmmRegister(x86::XMM6), |
| 77 | new x86::XmmRegister(x86::XMM7) |
| 78 | }); |
| 79 | } |
| 80 | } |
| 81 | |
| 82 | void TearDown() OVERRIDE { |
| 83 | AssemblerTest::TearDown(); |
| 84 | STLDeleteElements(®isters_); |
| 85 | STLDeleteElements(&fp_registers_); |
| 86 | } |
| 87 | |
| 88 | std::vector<x86::Register*> GetRegisters() OVERRIDE { |
| 89 | return registers_; |
| 90 | } |
| 91 | |
| 92 | std::vector<x86::XmmRegister*> GetFPRegisters() OVERRIDE { |
| 93 | return fp_registers_; |
| 94 | } |
| 95 | |
| 96 | x86::Immediate CreateImmediate(int64_t imm_value) OVERRIDE { |
| 97 | return x86::Immediate(imm_value); |
| 98 | } |
| 99 | |
| 100 | private: |
| 101 | std::vector<x86::Register*> registers_; |
| 102 | std::vector<x86::XmmRegister*> fp_registers_; |
| 103 | }; |
| 104 | |
| 105 | |
| 106 | TEST_F(AssemblerX86Test, Movl) { |
| 107 | GetAssembler()->movl(x86::EAX, x86::EBX); |
| 108 | const char* expected = "mov %ebx, %eax\n"; |
| 109 | DriverStr(expected, "movl"); |
| 110 | } |
| 111 | |
Mark Mendell | 7a08fb5 | 2015-07-15 14:09:35 -0400 | [diff] [blame] | 112 | TEST_F(AssemblerX86Test, Movntl) { |
| 113 | GetAssembler()->movntl(x86::Address(x86::EDI, x86::EBX, x86::TIMES_4, 12), x86::EAX); |
| 114 | GetAssembler()->movntl(x86::Address(x86::EDI, 0), x86::EAX); |
| 115 | const char* expected = |
| 116 | "movntil %EAX, 0xc(%EDI,%EBX,4)\n" |
| 117 | "movntil %EAX, (%EDI)\n"; |
| 118 | |
| 119 | DriverStr(expected, "movntl"); |
| 120 | } |
| 121 | |
Calin Juravle | 52c4896 | 2014-12-16 17:02:57 +0000 | [diff] [blame] | 122 | TEST_F(AssemblerX86Test, psrlq) { |
| 123 | GetAssembler()->psrlq(x86::XMM0, CreateImmediate(32)); |
| 124 | const char* expected = "psrlq $0x20, %xmm0\n"; |
| 125 | DriverStr(expected, "psrlq"); |
| 126 | } |
| 127 | |
| 128 | TEST_F(AssemblerX86Test, punpckldq) { |
| 129 | GetAssembler()->punpckldq(x86::XMM0, x86::XMM1); |
| 130 | const char* expected = "punpckldq %xmm1, %xmm0\n"; |
| 131 | DriverStr(expected, "punpckldq"); |
| 132 | } |
| 133 | |
Roland Levillain | 647b9ed | 2014-11-27 12:06:00 +0000 | [diff] [blame] | 134 | TEST_F(AssemblerX86Test, LoadLongConstant) { |
| 135 | GetAssembler()->LoadLongConstant(x86::XMM0, 51); |
| 136 | const char* expected = |
| 137 | "push $0x0\n" |
| 138 | "push $0x33\n" |
| 139 | "movsd 0(%esp), %xmm0\n" |
| 140 | "add $8, %esp\n"; |
| 141 | DriverStr(expected, "LoadLongConstant"); |
| 142 | } |
| 143 | |
Mark Mendell | 58d25fd | 2015-04-03 14:52:31 -0400 | [diff] [blame] | 144 | TEST_F(AssemblerX86Test, LockCmpxchgl) { |
| 145 | GetAssembler()->LockCmpxchgl(x86::Address( |
| 146 | x86::Register(x86::EDI), x86::Register(x86::EBX), x86::TIMES_4, 12), |
| 147 | x86::Register(x86::ESI)); |
| 148 | GetAssembler()->LockCmpxchgl(x86::Address( |
| 149 | x86::Register(x86::EDI), x86::Register(x86::ESI), x86::TIMES_4, 12), |
| 150 | x86::Register(x86::ESI)); |
| 151 | GetAssembler()->LockCmpxchgl(x86::Address( |
| 152 | x86::Register(x86::EDI), x86::Register(x86::ESI), x86::TIMES_4, 12), |
| 153 | x86::Register(x86::EDI)); |
| 154 | GetAssembler()->LockCmpxchgl(x86::Address( |
| 155 | x86::Register(x86::EBP), 0), x86::Register(x86::ESI)); |
| 156 | GetAssembler()->LockCmpxchgl(x86::Address( |
| 157 | x86::Register(x86::EBP), x86::Register(x86::ESI), x86::TIMES_1, 0), |
| 158 | x86::Register(x86::ESI)); |
| 159 | const char* expected = |
| 160 | "lock cmpxchgl %ESI, 0xc(%EDI,%EBX,4)\n" |
| 161 | "lock cmpxchgl %ESI, 0xc(%EDI,%ESI,4)\n" |
| 162 | "lock cmpxchgl %EDI, 0xc(%EDI,%ESI,4)\n" |
| 163 | "lock cmpxchgl %ESI, (%EBP)\n" |
| 164 | "lock cmpxchgl %ESI, (%EBP,%ESI,1)\n"; |
| 165 | |
| 166 | DriverStr(expected, "lock_cmpxchgl"); |
| 167 | } |
| 168 | |
| 169 | TEST_F(AssemblerX86Test, LockCmpxchg8b) { |
| 170 | GetAssembler()->LockCmpxchg8b(x86::Address( |
| 171 | x86::Register(x86::EDI), x86::Register(x86::EBX), x86::TIMES_4, 12)); |
| 172 | GetAssembler()->LockCmpxchg8b(x86::Address( |
| 173 | x86::Register(x86::EDI), x86::Register(x86::ESI), x86::TIMES_4, 12)); |
| 174 | GetAssembler()->LockCmpxchg8b(x86::Address( |
| 175 | x86::Register(x86::EDI), x86::Register(x86::ESI), x86::TIMES_4, 12)); |
| 176 | GetAssembler()->LockCmpxchg8b(x86::Address(x86::Register(x86::EBP), 0)); |
| 177 | GetAssembler()->LockCmpxchg8b(x86::Address( |
| 178 | x86::Register(x86::EBP), x86::Register(x86::ESI), x86::TIMES_1, 0)); |
| 179 | const char* expected = |
| 180 | "lock cmpxchg8b 0xc(%EDI,%EBX,4)\n" |
| 181 | "lock cmpxchg8b 0xc(%EDI,%ESI,4)\n" |
| 182 | "lock cmpxchg8b 0xc(%EDI,%ESI,4)\n" |
| 183 | "lock cmpxchg8b (%EBP)\n" |
| 184 | "lock cmpxchg8b (%EBP,%ESI,1)\n"; |
| 185 | |
| 186 | DriverStr(expected, "lock_cmpxchg8b"); |
| 187 | } |
| 188 | |
Roland Levillain | 0a18601 | 2015-04-13 17:00:20 +0100 | [diff] [blame] | 189 | TEST_F(AssemblerX86Test, FPUIntegerLoad) { |
| 190 | GetAssembler()->filds(x86::Address(x86::Register(x86::ESP), 4)); |
| 191 | GetAssembler()->fildl(x86::Address(x86::Register(x86::ESP), 12)); |
| 192 | const char* expected = |
| 193 | "fildl 0x4(%ESP)\n" |
| 194 | "fildll 0xc(%ESP)\n"; |
| 195 | DriverStr(expected, "FPUIntegerLoad"); |
| 196 | } |
| 197 | |
| 198 | TEST_F(AssemblerX86Test, FPUIntegerStore) { |
| 199 | GetAssembler()->fistps(x86::Address(x86::Register(x86::ESP), 16)); |
| 200 | GetAssembler()->fistpl(x86::Address(x86::Register(x86::ESP), 24)); |
| 201 | const char* expected = |
| 202 | "fistpl 0x10(%ESP)\n" |
| 203 | "fistpll 0x18(%ESP)\n"; |
| 204 | DriverStr(expected, "FPUIntegerStore"); |
| 205 | } |
| 206 | |
Andreas Gampe | 21030dd | 2015-05-07 14:46:15 -0700 | [diff] [blame] | 207 | TEST_F(AssemblerX86Test, Repnescasw) { |
| 208 | GetAssembler()->repne_scasw(); |
| 209 | const char* expected = "repne scasw\n"; |
| 210 | DriverStr(expected, "Repnescasw"); |
| 211 | } |
| 212 | |
agicsaki | 71311f8 | 2015-07-27 11:34:13 -0700 | [diff] [blame] | 213 | TEST_F(AssemblerX86Test, Repecmpsw) { |
| 214 | GetAssembler()->repe_cmpsw(); |
| 215 | const char* expected = "repe cmpsw\n"; |
| 216 | DriverStr(expected, "Repecmpsw"); |
| 217 | } |
| 218 | |
agicsaki | 970abfb | 2015-07-31 10:31:14 -0700 | [diff] [blame] | 219 | TEST_F(AssemblerX86Test, Repecmpsl) { |
| 220 | GetAssembler()->repe_cmpsl(); |
| 221 | const char* expected = "repe cmpsl\n"; |
| 222 | DriverStr(expected, "Repecmpsl"); |
| 223 | } |
| 224 | |
Mark Mendell | b9c4bbe | 2015-07-01 14:26:52 -0400 | [diff] [blame] | 225 | TEST_F(AssemblerX86Test, RepneScasw) { |
| 226 | GetAssembler()->repne_scasw(); |
| 227 | const char* expected = "repne scasw\n"; |
| 228 | DriverStr(expected, "repne_scasw"); |
| 229 | } |
| 230 | |
| 231 | TEST_F(AssemblerX86Test, RepMovsw) { |
| 232 | GetAssembler()->rep_movsw(); |
| 233 | const char* expected = "rep movsw\n"; |
| 234 | DriverStr(expected, "rep_movsw"); |
| 235 | } |
| 236 | |
Mark Mendell | bcee092 | 2015-09-15 21:45:01 -0400 | [diff] [blame^] | 237 | TEST_F(AssemblerX86Test, Bsfl) { |
| 238 | DriverStr(RepeatRR(&x86::X86Assembler::bsfl, "bsfl %{reg2}, %{reg1}"), "bsfl"); |
| 239 | } |
| 240 | |
| 241 | TEST_F(AssemblerX86Test, BsflAddress) { |
| 242 | GetAssembler()->bsfl(x86::Register(x86::EDI), x86::Address( |
| 243 | x86::Register(x86::EDI), x86::Register(x86::EBX), x86::TIMES_4, 12)); |
| 244 | const char* expected = |
| 245 | "bsfl 0xc(%EDI,%EBX,4), %EDI\n"; |
| 246 | |
| 247 | DriverStr(expected, "bsfl_address"); |
| 248 | } |
| 249 | |
Mark Mendell | 8ae3ffb | 2015-08-12 21:16:41 -0400 | [diff] [blame] | 250 | TEST_F(AssemblerX86Test, Bsrl) { |
| 251 | DriverStr(RepeatRR(&x86::X86Assembler::bsrl, "bsrl %{reg2}, %{reg1}"), "bsrl"); |
| 252 | } |
| 253 | |
| 254 | TEST_F(AssemblerX86Test, BsrlAddress) { |
| 255 | GetAssembler()->bsrl(x86::Register(x86::EDI), x86::Address( |
| 256 | x86::Register(x86::EDI), x86::Register(x86::EBX), x86::TIMES_4, 12)); |
| 257 | const char* expected = |
| 258 | "bsrl 0xc(%EDI,%EBX,4), %EDI\n"; |
| 259 | |
| 260 | DriverStr(expected, "bsrl_address"); |
| 261 | } |
| 262 | |
Mark Mendell | bcee092 | 2015-09-15 21:45:01 -0400 | [diff] [blame^] | 263 | // Rorl only allows CL as the shift count. |
| 264 | std::string rorl_fn(AssemblerX86Test::Base* assembler_test, x86::X86Assembler* assembler) { |
| 265 | std::ostringstream str; |
| 266 | |
| 267 | std::vector<x86::Register*> registers = assembler_test->GetRegisters(); |
| 268 | |
| 269 | x86::Register shifter(x86::ECX); |
| 270 | for (auto reg : registers) { |
| 271 | assembler->rorl(*reg, shifter); |
| 272 | str << "rorl %cl, %" << assembler_test->GetRegisterName(*reg) << "\n"; |
| 273 | } |
| 274 | |
| 275 | return str.str(); |
| 276 | } |
| 277 | |
| 278 | TEST_F(AssemblerX86Test, RorlReg) { |
| 279 | DriverFn(&rorl_fn, "rorl"); |
| 280 | } |
| 281 | |
| 282 | TEST_F(AssemblerX86Test, RorlImm) { |
| 283 | DriverStr(RepeatRI(&x86::X86Assembler::rorl, 1U, "rorl ${imm}, %{reg}"), "rorli"); |
| 284 | } |
| 285 | |
| 286 | // Roll only allows CL as the shift count. |
| 287 | std::string roll_fn(AssemblerX86Test::Base* assembler_test, x86::X86Assembler* assembler) { |
| 288 | std::ostringstream str; |
| 289 | |
| 290 | std::vector<x86::Register*> registers = assembler_test->GetRegisters(); |
| 291 | |
| 292 | x86::Register shifter(x86::ECX); |
| 293 | for (auto reg : registers) { |
| 294 | assembler->roll(*reg, shifter); |
| 295 | str << "roll %cl, %" << assembler_test->GetRegisterName(*reg) << "\n"; |
| 296 | } |
| 297 | |
| 298 | return str.str(); |
| 299 | } |
| 300 | |
| 301 | TEST_F(AssemblerX86Test, RollReg) { |
| 302 | DriverFn(&roll_fn, "roll"); |
| 303 | } |
| 304 | |
| 305 | TEST_F(AssemblerX86Test, RollImm) { |
| 306 | DriverStr(RepeatRI(&x86::X86Assembler::roll, 1U, "roll ${imm}, %{reg}"), "rolli"); |
| 307 | } |
| 308 | |
Mark Mendell | 73f455e | 2015-08-21 09:30:05 -0400 | [diff] [blame] | 309 | ///////////////// |
| 310 | // Near labels // |
| 311 | ///////////////// |
| 312 | |
| 313 | TEST_F(AssemblerX86Test, Jecxz) { |
| 314 | x86::NearLabel target; |
| 315 | GetAssembler()->jecxz(&target); |
| 316 | GetAssembler()->addl(x86::EDI, x86::Address(x86::ESP, 4)); |
| 317 | GetAssembler()->Bind(&target); |
| 318 | const char* expected = |
| 319 | "jecxz 1f\n" |
| 320 | "addl 4(%ESP),%EDI\n" |
| 321 | "1:\n"; |
| 322 | |
| 323 | DriverStr(expected, "jecxz"); |
| 324 | } |
| 325 | |
| 326 | TEST_F(AssemblerX86Test, NearLabel) { |
| 327 | // Test both forward and backward branches. |
| 328 | x86::NearLabel start, target; |
| 329 | GetAssembler()->Bind(&start); |
| 330 | GetAssembler()->j(x86::kEqual, &target); |
| 331 | GetAssembler()->jmp(&target); |
| 332 | GetAssembler()->jecxz(&target); |
| 333 | GetAssembler()->addl(x86::EDI, x86::Address(x86::ESP, 4)); |
| 334 | GetAssembler()->Bind(&target); |
| 335 | GetAssembler()->j(x86::kNotEqual, &start); |
| 336 | GetAssembler()->jmp(&start); |
| 337 | const char* expected = |
| 338 | "1: je 2f\n" |
| 339 | "jmp 2f\n" |
| 340 | "jecxz 2f\n" |
| 341 | "addl 4(%ESP),%EDI\n" |
| 342 | "2: jne 1b\n" |
| 343 | "jmp 1b\n"; |
| 344 | |
| 345 | DriverStr(expected, "near_label"); |
| 346 | } |
| 347 | |
Ian Rogers | b033c75 | 2011-07-20 12:22:35 -0700 | [diff] [blame] | 348 | } // namespace art |