blob: fabb0962fbb0db921f10a0fcac3b956d80807257 [file] [log] [blame]
Chris Larsen3add9cb2016-04-14 14:01:33 -07001/*
2 * Copyright (C) 2016 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 */
16
17#include "assembler_mips.h"
18
19#include <map>
20
21#include "base/stl_util.h"
22#include "utils/assembler_test.h"
23
24#define __ GetAssembler()->
25
26namespace art {
27
28struct MIPSCpuRegisterCompare {
29 bool operator()(const mips::Register& a, const mips::Register& b) const {
30 return a < b;
31 }
32};
33
34class AssemblerMIPS32r6Test : public AssemblerTest<mips::MipsAssembler,
35 mips::Register,
36 mips::FRegister,
37 uint32_t> {
38 public:
39 typedef AssemblerTest<mips::MipsAssembler, mips::Register, mips::FRegister, uint32_t> Base;
40
41 AssemblerMIPS32r6Test() :
42 instruction_set_features_(MipsInstructionSetFeatures::FromVariant("mips32r6", nullptr)) {
43 }
44
45 protected:
46 // Get the typically used name for this architecture, e.g., aarch64, x86-64, ...
47 std::string GetArchitectureString() OVERRIDE {
48 return "mips";
49 }
50
Alexey Frunzee3fb2452016-05-10 16:08:05 -070051 std::string GetAssemblerCmdName() OVERRIDE {
52 // We assemble and link for MIPS32R6. See GetAssemblerParameters() for details.
53 return "gcc";
54 }
55
Chris Larsen3add9cb2016-04-14 14:01:33 -070056 std::string GetAssemblerParameters() OVERRIDE {
Alexey Frunzee3fb2452016-05-10 16:08:05 -070057 // We assemble and link for MIPS32R6. The reason is that object files produced for MIPS32R6
58 // (and MIPS64R6) with the GNU assembler don't have correct final offsets in PC-relative
59 // branches in the .text section and so they require a relocation pass (there's a relocation
60 // section, .rela.text, that has the needed info to fix up the branches).
61 // We use "-modd-spreg" so we can use odd-numbered single precision FPU registers.
62 // We put the code at address 0x1000000 (instead of 0) to avoid overlapping with the
63 // .MIPS.abiflags section (there doesn't seem to be a way to suppress its generation easily).
64 return " -march=mips32r6 -modd-spreg -Wa,--no-warn"
65 " -Wl,-Ttext=0x1000000 -Wl,-e0x1000000 -nostdlib";
66 }
67
68 void Pad(std::vector<uint8_t>& data) OVERRIDE {
69 // The GNU linker unconditionally pads the code segment with NOPs to a size that is a multiple
70 // of 16 and there doesn't appear to be a way to suppress this padding. Our assembler doesn't
71 // pad, so, in order for two assembler outputs to match, we need to match the padding as well.
72 // NOP is encoded as four zero bytes on MIPS.
73 size_t pad_size = RoundUp(data.size(), 16u) - data.size();
74 data.insert(data.end(), pad_size, 0);
Chris Larsen3add9cb2016-04-14 14:01:33 -070075 }
76
77 std::string GetDisassembleParameters() OVERRIDE {
78 return " -D -bbinary -mmips:isa32r6";
79 }
80
81 mips::MipsAssembler* CreateAssembler(ArenaAllocator* arena) OVERRIDE {
82 return new (arena) mips::MipsAssembler(arena, instruction_set_features_.get());
83 }
84
85 void SetUpHelpers() OVERRIDE {
86 if (registers_.size() == 0) {
87 registers_.push_back(new mips::Register(mips::ZERO));
88 registers_.push_back(new mips::Register(mips::AT));
89 registers_.push_back(new mips::Register(mips::V0));
90 registers_.push_back(new mips::Register(mips::V1));
91 registers_.push_back(new mips::Register(mips::A0));
92 registers_.push_back(new mips::Register(mips::A1));
93 registers_.push_back(new mips::Register(mips::A2));
94 registers_.push_back(new mips::Register(mips::A3));
95 registers_.push_back(new mips::Register(mips::T0));
96 registers_.push_back(new mips::Register(mips::T1));
97 registers_.push_back(new mips::Register(mips::T2));
98 registers_.push_back(new mips::Register(mips::T3));
99 registers_.push_back(new mips::Register(mips::T4));
100 registers_.push_back(new mips::Register(mips::T5));
101 registers_.push_back(new mips::Register(mips::T6));
102 registers_.push_back(new mips::Register(mips::T7));
103 registers_.push_back(new mips::Register(mips::S0));
104 registers_.push_back(new mips::Register(mips::S1));
105 registers_.push_back(new mips::Register(mips::S2));
106 registers_.push_back(new mips::Register(mips::S3));
107 registers_.push_back(new mips::Register(mips::S4));
108 registers_.push_back(new mips::Register(mips::S5));
109 registers_.push_back(new mips::Register(mips::S6));
110 registers_.push_back(new mips::Register(mips::S7));
111 registers_.push_back(new mips::Register(mips::T8));
112 registers_.push_back(new mips::Register(mips::T9));
113 registers_.push_back(new mips::Register(mips::K0));
114 registers_.push_back(new mips::Register(mips::K1));
115 registers_.push_back(new mips::Register(mips::GP));
116 registers_.push_back(new mips::Register(mips::SP));
117 registers_.push_back(new mips::Register(mips::FP));
118 registers_.push_back(new mips::Register(mips::RA));
119
120 secondary_register_names_.emplace(mips::Register(mips::ZERO), "zero");
121 secondary_register_names_.emplace(mips::Register(mips::AT), "at");
122 secondary_register_names_.emplace(mips::Register(mips::V0), "v0");
123 secondary_register_names_.emplace(mips::Register(mips::V1), "v1");
124 secondary_register_names_.emplace(mips::Register(mips::A0), "a0");
125 secondary_register_names_.emplace(mips::Register(mips::A1), "a1");
126 secondary_register_names_.emplace(mips::Register(mips::A2), "a2");
127 secondary_register_names_.emplace(mips::Register(mips::A3), "a3");
128 secondary_register_names_.emplace(mips::Register(mips::T0), "t0");
129 secondary_register_names_.emplace(mips::Register(mips::T1), "t1");
130 secondary_register_names_.emplace(mips::Register(mips::T2), "t2");
131 secondary_register_names_.emplace(mips::Register(mips::T3), "t3");
132 secondary_register_names_.emplace(mips::Register(mips::T4), "t4");
133 secondary_register_names_.emplace(mips::Register(mips::T5), "t5");
134 secondary_register_names_.emplace(mips::Register(mips::T6), "t6");
135 secondary_register_names_.emplace(mips::Register(mips::T7), "t7");
136 secondary_register_names_.emplace(mips::Register(mips::S0), "s0");
137 secondary_register_names_.emplace(mips::Register(mips::S1), "s1");
138 secondary_register_names_.emplace(mips::Register(mips::S2), "s2");
139 secondary_register_names_.emplace(mips::Register(mips::S3), "s3");
140 secondary_register_names_.emplace(mips::Register(mips::S4), "s4");
141 secondary_register_names_.emplace(mips::Register(mips::S5), "s5");
142 secondary_register_names_.emplace(mips::Register(mips::S6), "s6");
143 secondary_register_names_.emplace(mips::Register(mips::S7), "s7");
144 secondary_register_names_.emplace(mips::Register(mips::T8), "t8");
145 secondary_register_names_.emplace(mips::Register(mips::T9), "t9");
146 secondary_register_names_.emplace(mips::Register(mips::K0), "k0");
147 secondary_register_names_.emplace(mips::Register(mips::K1), "k1");
148 secondary_register_names_.emplace(mips::Register(mips::GP), "gp");
149 secondary_register_names_.emplace(mips::Register(mips::SP), "sp");
150 secondary_register_names_.emplace(mips::Register(mips::FP), "fp");
151 secondary_register_names_.emplace(mips::Register(mips::RA), "ra");
152
153 fp_registers_.push_back(new mips::FRegister(mips::F0));
154 fp_registers_.push_back(new mips::FRegister(mips::F1));
155 fp_registers_.push_back(new mips::FRegister(mips::F2));
156 fp_registers_.push_back(new mips::FRegister(mips::F3));
157 fp_registers_.push_back(new mips::FRegister(mips::F4));
158 fp_registers_.push_back(new mips::FRegister(mips::F5));
159 fp_registers_.push_back(new mips::FRegister(mips::F6));
160 fp_registers_.push_back(new mips::FRegister(mips::F7));
161 fp_registers_.push_back(new mips::FRegister(mips::F8));
162 fp_registers_.push_back(new mips::FRegister(mips::F9));
163 fp_registers_.push_back(new mips::FRegister(mips::F10));
164 fp_registers_.push_back(new mips::FRegister(mips::F11));
165 fp_registers_.push_back(new mips::FRegister(mips::F12));
166 fp_registers_.push_back(new mips::FRegister(mips::F13));
167 fp_registers_.push_back(new mips::FRegister(mips::F14));
168 fp_registers_.push_back(new mips::FRegister(mips::F15));
169 fp_registers_.push_back(new mips::FRegister(mips::F16));
170 fp_registers_.push_back(new mips::FRegister(mips::F17));
171 fp_registers_.push_back(new mips::FRegister(mips::F18));
172 fp_registers_.push_back(new mips::FRegister(mips::F19));
173 fp_registers_.push_back(new mips::FRegister(mips::F20));
174 fp_registers_.push_back(new mips::FRegister(mips::F21));
175 fp_registers_.push_back(new mips::FRegister(mips::F22));
176 fp_registers_.push_back(new mips::FRegister(mips::F23));
177 fp_registers_.push_back(new mips::FRegister(mips::F24));
178 fp_registers_.push_back(new mips::FRegister(mips::F25));
179 fp_registers_.push_back(new mips::FRegister(mips::F26));
180 fp_registers_.push_back(new mips::FRegister(mips::F27));
181 fp_registers_.push_back(new mips::FRegister(mips::F28));
182 fp_registers_.push_back(new mips::FRegister(mips::F29));
183 fp_registers_.push_back(new mips::FRegister(mips::F30));
184 fp_registers_.push_back(new mips::FRegister(mips::F31));
185 }
186 }
187
188 void TearDown() OVERRIDE {
189 AssemblerTest::TearDown();
190 STLDeleteElements(&registers_);
191 STLDeleteElements(&fp_registers_);
192 }
193
194 std::vector<mips::Register*> GetRegisters() OVERRIDE {
195 return registers_;
196 }
197
198 std::vector<mips::FRegister*> GetFPRegisters() OVERRIDE {
199 return fp_registers_;
200 }
201
202 uint32_t CreateImmediate(int64_t imm_value) OVERRIDE {
203 return imm_value;
204 }
205
206 std::string GetSecondaryRegisterName(const mips::Register& reg) OVERRIDE {
207 CHECK(secondary_register_names_.find(reg) != secondary_register_names_.end());
208 return secondary_register_names_[reg];
209 }
210
211 std::string RepeatInsn(size_t count, const std::string& insn) {
212 std::string result;
213 for (; count != 0u; --count) {
214 result += insn;
215 }
216 return result;
217 }
218
219 void BranchCondTwoRegsHelper(void (mips::MipsAssembler::*f)(mips::Register,
220 mips::Register,
221 mips::MipsLabel*),
222 std::string instr_name) {
223 mips::MipsLabel label;
224 (Base::GetAssembler()->*f)(mips::A0, mips::A1, &label);
225 constexpr size_t kAdduCount1 = 63;
226 for (size_t i = 0; i != kAdduCount1; ++i) {
227 __ Addu(mips::ZERO, mips::ZERO, mips::ZERO);
228 }
229 __ Bind(&label);
230 constexpr size_t kAdduCount2 = 64;
231 for (size_t i = 0; i != kAdduCount2; ++i) {
232 __ Addu(mips::ZERO, mips::ZERO, mips::ZERO);
233 }
234 (Base::GetAssembler()->*f)(mips::A2, mips::A3, &label);
235
236 std::string expected =
237 ".set noreorder\n" +
238 instr_name + " $a0, $a1, 1f\n"
239 "nop\n" +
240 RepeatInsn(kAdduCount1, "addu $zero, $zero, $zero\n") +
241 "1:\n" +
242 RepeatInsn(kAdduCount2, "addu $zero, $zero, $zero\n") +
243 instr_name + " $a2, $a3, 1b\n"
244 "nop\n";
245 DriverStr(expected, instr_name);
246 }
247
248 private:
249 std::vector<mips::Register*> registers_;
250 std::map<mips::Register, std::string, MIPSCpuRegisterCompare> secondary_register_names_;
251
252 std::vector<mips::FRegister*> fp_registers_;
253 std::unique_ptr<const MipsInstructionSetFeatures> instruction_set_features_;
254};
255
256
257TEST_F(AssemblerMIPS32r6Test, Toolchain) {
258 EXPECT_TRUE(CheckTools());
259}
260
261TEST_F(AssemblerMIPS32r6Test, MulR6) {
262 DriverStr(RepeatRRR(&mips::MipsAssembler::MulR6, "mul ${reg1}, ${reg2}, ${reg3}"), "MulR6");
263}
264
265TEST_F(AssemblerMIPS32r6Test, MuhR6) {
266 DriverStr(RepeatRRR(&mips::MipsAssembler::MuhR6, "muh ${reg1}, ${reg2}, ${reg3}"), "MuhR6");
267}
268
269TEST_F(AssemblerMIPS32r6Test, MuhuR6) {
270 DriverStr(RepeatRRR(&mips::MipsAssembler::MuhuR6, "muhu ${reg1}, ${reg2}, ${reg3}"), "MuhuR6");
271}
272
273TEST_F(AssemblerMIPS32r6Test, DivR6) {
274 DriverStr(RepeatRRR(&mips::MipsAssembler::DivR6, "div ${reg1}, ${reg2}, ${reg3}"), "DivR6");
275}
276
277TEST_F(AssemblerMIPS32r6Test, ModR6) {
278 DriverStr(RepeatRRR(&mips::MipsAssembler::ModR6, "mod ${reg1}, ${reg2}, ${reg3}"), "ModR6");
279}
280
281TEST_F(AssemblerMIPS32r6Test, DivuR6) {
282 DriverStr(RepeatRRR(&mips::MipsAssembler::DivuR6, "divu ${reg1}, ${reg2}, ${reg3}"), "DivuR6");
283}
284
285TEST_F(AssemblerMIPS32r6Test, ModuR6) {
286 DriverStr(RepeatRRR(&mips::MipsAssembler::ModuR6, "modu ${reg1}, ${reg2}, ${reg3}"), "ModuR6");
287}
288
289//////////
290// MISC //
291//////////
292
293TEST_F(AssemblerMIPS32r6Test, Aui) {
294 DriverStr(RepeatRRIb(&mips::MipsAssembler::Aui, 16, "aui ${reg1}, ${reg2}, {imm}"), "Aui");
295}
296
Alexey Frunzee3fb2452016-05-10 16:08:05 -0700297TEST_F(AssemblerMIPS32r6Test, Auipc) {
298 DriverStr(RepeatRIb(&mips::MipsAssembler::Auipc, 16, "auipc ${reg}, {imm}"), "Auipc");
299}
300
301TEST_F(AssemblerMIPS32r6Test, Lwpc) {
302 // Lwpc() takes an unsigned 19-bit immediate, while the GNU assembler needs a signed offset,
303 // hence the sign extension from bit 18 with `imm - ((imm & 0x40000) << 1)`.
304 // The GNU assembler also wants the offset to be a multiple of 4, which it will shift right
305 // by 2 positions when encoding, hence `<< 2` to compensate for that shift.
306 // We capture the value of the immediate with `.set imm, {imm}` because the value is needed
307 // twice for the sign extension, but `{imm}` is substituted only once.
308 const char* code = ".set imm, {imm}\nlw ${reg}, ((imm - ((imm & 0x40000) << 1)) << 2)($pc)";
309 DriverStr(RepeatRIb(&mips::MipsAssembler::Lwpc, 19, code), "Lwpc");
310}
311
Chris Larsen3add9cb2016-04-14 14:01:33 -0700312TEST_F(AssemblerMIPS32r6Test, Bitswap) {
313 DriverStr(RepeatRR(&mips::MipsAssembler::Bitswap, "bitswap ${reg1}, ${reg2}"), "bitswap");
314}
315
316TEST_F(AssemblerMIPS32r6Test, Seleqz) {
317 DriverStr(RepeatRRR(&mips::MipsAssembler::Seleqz, "seleqz ${reg1}, ${reg2}, ${reg3}"),
318 "seleqz");
319}
320
321TEST_F(AssemblerMIPS32r6Test, Selnez) {
322 DriverStr(RepeatRRR(&mips::MipsAssembler::Selnez, "selnez ${reg1}, ${reg2}, ${reg3}"),
323 "selnez");
324}
325
326TEST_F(AssemblerMIPS32r6Test, ClzR6) {
327 DriverStr(RepeatRR(&mips::MipsAssembler::ClzR6, "clz ${reg1}, ${reg2}"), "clzR6");
328}
329
330TEST_F(AssemblerMIPS32r6Test, CloR6) {
331 DriverStr(RepeatRR(&mips::MipsAssembler::CloR6, "clo ${reg1}, ${reg2}"), "cloR6");
332}
333
334////////////////////
335// FLOATING POINT //
336////////////////////
337
338TEST_F(AssemblerMIPS32r6Test, SelS) {
339 DriverStr(RepeatFFF(&mips::MipsAssembler::SelS, "sel.s ${reg1}, ${reg2}, ${reg3}"), "sel.s");
340}
341
342TEST_F(AssemblerMIPS32r6Test, SelD) {
343 DriverStr(RepeatFFF(&mips::MipsAssembler::SelD, "sel.d ${reg1}, ${reg2}, ${reg3}"), "sel.d");
344}
345
346TEST_F(AssemblerMIPS32r6Test, ClassS) {
347 DriverStr(RepeatFF(&mips::MipsAssembler::ClassS, "class.s ${reg1}, ${reg2}"), "class.s");
348}
349
350TEST_F(AssemblerMIPS32r6Test, ClassD) {
351 DriverStr(RepeatFF(&mips::MipsAssembler::ClassD, "class.d ${reg1}, ${reg2}"), "class.d");
352}
353
354TEST_F(AssemblerMIPS32r6Test, MinS) {
355 DriverStr(RepeatFFF(&mips::MipsAssembler::MinS, "min.s ${reg1}, ${reg2}, ${reg3}"), "min.s");
356}
357
358TEST_F(AssemblerMIPS32r6Test, MinD) {
359 DriverStr(RepeatFFF(&mips::MipsAssembler::MinD, "min.d ${reg1}, ${reg2}, ${reg3}"), "min.d");
360}
361
362TEST_F(AssemblerMIPS32r6Test, MaxS) {
363 DriverStr(RepeatFFF(&mips::MipsAssembler::MaxS, "max.s ${reg1}, ${reg2}, ${reg3}"), "max.s");
364}
365
366TEST_F(AssemblerMIPS32r6Test, MaxD) {
367 DriverStr(RepeatFFF(&mips::MipsAssembler::MaxD, "max.d ${reg1}, ${reg2}, ${reg3}"), "max.d");
368}
369
370TEST_F(AssemblerMIPS32r6Test, CmpUnS) {
371 DriverStr(RepeatFFF(&mips::MipsAssembler::CmpUnS, "cmp.un.s ${reg1}, ${reg2}, ${reg3}"),
372 "cmp.un.s");
373}
374
375TEST_F(AssemblerMIPS32r6Test, CmpEqS) {
376 DriverStr(RepeatFFF(&mips::MipsAssembler::CmpEqS, "cmp.eq.s ${reg1}, ${reg2}, ${reg3}"),
377 "cmp.eq.s");
378}
379
380TEST_F(AssemblerMIPS32r6Test, CmpUeqS) {
381 DriverStr(RepeatFFF(&mips::MipsAssembler::CmpUeqS, "cmp.ueq.s ${reg1}, ${reg2}, ${reg3}"),
382 "cmp.ueq.s");
383}
384
385TEST_F(AssemblerMIPS32r6Test, CmpLtS) {
386 DriverStr(RepeatFFF(&mips::MipsAssembler::CmpLtS, "cmp.lt.s ${reg1}, ${reg2}, ${reg3}"),
387 "cmp.lt.s");
388}
389
390TEST_F(AssemblerMIPS32r6Test, CmpUltS) {
391 DriverStr(RepeatFFF(&mips::MipsAssembler::CmpUltS, "cmp.ult.s ${reg1}, ${reg2}, ${reg3}"),
392 "cmp.ult.s");
393}
394
395TEST_F(AssemblerMIPS32r6Test, CmpLeS) {
396 DriverStr(RepeatFFF(&mips::MipsAssembler::CmpLeS, "cmp.le.s ${reg1}, ${reg2}, ${reg3}"),
397 "cmp.le.s");
398}
399
400TEST_F(AssemblerMIPS32r6Test, CmpUleS) {
401 DriverStr(RepeatFFF(&mips::MipsAssembler::CmpUleS, "cmp.ule.s ${reg1}, ${reg2}, ${reg3}"),
402 "cmp.ule.s");
403}
404
405TEST_F(AssemblerMIPS32r6Test, CmpOrS) {
406 DriverStr(RepeatFFF(&mips::MipsAssembler::CmpOrS, "cmp.or.s ${reg1}, ${reg2}, ${reg3}"),
407 "cmp.or.s");
408}
409
410TEST_F(AssemblerMIPS32r6Test, CmpUneS) {
411 DriverStr(RepeatFFF(&mips::MipsAssembler::CmpUneS, "cmp.une.s ${reg1}, ${reg2}, ${reg3}"),
412 "cmp.une.s");
413}
414
415TEST_F(AssemblerMIPS32r6Test, CmpNeS) {
416 DriverStr(RepeatFFF(&mips::MipsAssembler::CmpNeS, "cmp.ne.s ${reg1}, ${reg2}, ${reg3}"),
417 "cmp.ne.s");
418}
419
420TEST_F(AssemblerMIPS32r6Test, CmpUnD) {
421 DriverStr(RepeatFFF(&mips::MipsAssembler::CmpUnD, "cmp.un.d ${reg1}, ${reg2}, ${reg3}"),
422 "cmp.un.d");
423}
424
425TEST_F(AssemblerMIPS32r6Test, CmpEqD) {
426 DriverStr(RepeatFFF(&mips::MipsAssembler::CmpEqD, "cmp.eq.d ${reg1}, ${reg2}, ${reg3}"),
427 "cmp.eq.d");
428}
429
430TEST_F(AssemblerMIPS32r6Test, CmpUeqD) {
431 DriverStr(RepeatFFF(&mips::MipsAssembler::CmpUeqD, "cmp.ueq.d ${reg1}, ${reg2}, ${reg3}"),
432 "cmp.ueq.d");
433}
434
435TEST_F(AssemblerMIPS32r6Test, CmpLtD) {
436 DriverStr(RepeatFFF(&mips::MipsAssembler::CmpLtD, "cmp.lt.d ${reg1}, ${reg2}, ${reg3}"),
437 "cmp.lt.d");
438}
439
440TEST_F(AssemblerMIPS32r6Test, CmpUltD) {
441 DriverStr(RepeatFFF(&mips::MipsAssembler::CmpUltD, "cmp.ult.d ${reg1}, ${reg2}, ${reg3}"),
442 "cmp.ult.d");
443}
444
445TEST_F(AssemblerMIPS32r6Test, CmpLeD) {
446 DriverStr(RepeatFFF(&mips::MipsAssembler::CmpLeD, "cmp.le.d ${reg1}, ${reg2}, ${reg3}"),
447 "cmp.le.d");
448}
449
450TEST_F(AssemblerMIPS32r6Test, CmpUleD) {
451 DriverStr(RepeatFFF(&mips::MipsAssembler::CmpUleD, "cmp.ule.d ${reg1}, ${reg2}, ${reg3}"),
452 "cmp.ule.d");
453}
454
455TEST_F(AssemblerMIPS32r6Test, CmpOrD) {
456 DriverStr(RepeatFFF(&mips::MipsAssembler::CmpOrD, "cmp.or.d ${reg1}, ${reg2}, ${reg3}"),
457 "cmp.or.d");
458}
459
460TEST_F(AssemblerMIPS32r6Test, CmpUneD) {
461 DriverStr(RepeatFFF(&mips::MipsAssembler::CmpUneD, "cmp.une.d ${reg1}, ${reg2}, ${reg3}"),
462 "cmp.une.d");
463}
464
465TEST_F(AssemblerMIPS32r6Test, CmpNeD) {
466 DriverStr(RepeatFFF(&mips::MipsAssembler::CmpNeD, "cmp.ne.d ${reg1}, ${reg2}, ${reg3}"),
467 "cmp.ne.d");
468}
469
470TEST_F(AssemblerMIPS32r6Test, LoadDFromOffset) {
471 __ LoadDFromOffset(mips::F0, mips::A0, -0x8000);
472 __ LoadDFromOffset(mips::F0, mips::A0, +0);
473 __ LoadDFromOffset(mips::F0, mips::A0, +0x7FF8);
474 __ LoadDFromOffset(mips::F0, mips::A0, +0x7FFB);
475 __ LoadDFromOffset(mips::F0, mips::A0, +0x7FFC);
476 __ LoadDFromOffset(mips::F0, mips::A0, +0x7FFF);
477 __ LoadDFromOffset(mips::F0, mips::A0, -0xFFF0);
478 __ LoadDFromOffset(mips::F0, mips::A0, -0x8008);
479 __ LoadDFromOffset(mips::F0, mips::A0, -0x8001);
480 __ LoadDFromOffset(mips::F0, mips::A0, +0x8000);
481 __ LoadDFromOffset(mips::F0, mips::A0, +0xFFF0);
482 __ LoadDFromOffset(mips::F0, mips::A0, -0x17FE8);
483 __ LoadDFromOffset(mips::F0, mips::A0, -0x0FFF8);
484 __ LoadDFromOffset(mips::F0, mips::A0, -0x0FFF1);
485 __ LoadDFromOffset(mips::F0, mips::A0, +0x0FFF1);
486 __ LoadDFromOffset(mips::F0, mips::A0, +0x0FFF8);
487 __ LoadDFromOffset(mips::F0, mips::A0, +0x17FE8);
488 __ LoadDFromOffset(mips::F0, mips::A0, -0x17FF0);
489 __ LoadDFromOffset(mips::F0, mips::A0, -0x17FE9);
490 __ LoadDFromOffset(mips::F0, mips::A0, +0x17FE9);
491 __ LoadDFromOffset(mips::F0, mips::A0, +0x17FF0);
492 __ LoadDFromOffset(mips::F0, mips::A0, +0x12345678);
493
494 const char* expected =
495 "ldc1 $f0, -0x8000($a0)\n"
496 "ldc1 $f0, 0($a0)\n"
497 "ldc1 $f0, 0x7FF8($a0)\n"
498 "lwc1 $f0, 0x7FFB($a0)\n"
499 "lw $t8, 0x7FFF($a0)\n"
500 "mthc1 $t8, $f0\n"
501 "addiu $at, $a0, 0x7FF8\n"
502 "lwc1 $f0, 4($at)\n"
503 "lw $t8, 8($at)\n"
504 "mthc1 $t8, $f0\n"
505 "addiu $at, $a0, 0x7FF8\n"
506 "lwc1 $f0, 7($at)\n"
507 "lw $t8, 11($at)\n"
508 "mthc1 $t8, $f0\n"
509 "addiu $at, $a0, -0x7FF8\n"
510 "ldc1 $f0, -0x7FF8($at)\n"
511 "addiu $at, $a0, -0x7FF8\n"
512 "ldc1 $f0, -0x10($at)\n"
513 "addiu $at, $a0, -0x7FF8\n"
514 "lwc1 $f0, -9($at)\n"
515 "lw $t8, -5($at)\n"
516 "mthc1 $t8, $f0\n"
517 "addiu $at, $a0, 0x7FF8\n"
518 "ldc1 $f0, 8($at)\n"
519 "addiu $at, $a0, 0x7FF8\n"
520 "ldc1 $f0, 0x7FF8($at)\n"
521 "aui $at, $a0, 0xFFFF\n"
522 "ldc1 $f0, -0x7FE8($at)\n"
523 "aui $at, $a0, 0xFFFF\n"
524 "ldc1 $f0, 0x8($at)\n"
525 "aui $at, $a0, 0xFFFF\n"
526 "lwc1 $f0, 0xF($at)\n"
527 "lw $t8, 0x13($at)\n"
528 "mthc1 $t8, $f0\n"
529 "aui $at, $a0, 0x1\n"
530 "lwc1 $f0, -0xF($at)\n"
531 "lw $t8, -0xB($at)\n"
532 "mthc1 $t8, $f0\n"
533 "aui $at, $a0, 0x1\n"
534 "ldc1 $f0, -0x8($at)\n"
535 "aui $at, $a0, 0x1\n"
536 "ldc1 $f0, 0x7FE8($at)\n"
537 "aui $at, $a0, 0xFFFF\n"
538 "ldc1 $f0, -0x7FF0($at)\n"
539 "aui $at, $a0, 0xFFFF\n"
540 "lwc1 $f0, -0x7FE9($at)\n"
541 "lw $t8, -0x7FE5($at)\n"
542 "mthc1 $t8, $f0\n"
543 "aui $at, $a0, 0x1\n"
544 "lwc1 $f0, 0x7FE9($at)\n"
545 "lw $t8, 0x7FED($at)\n"
546 "mthc1 $t8, $f0\n"
547 "aui $at, $a0, 0x1\n"
548 "ldc1 $f0, 0x7FF0($at)\n"
549 "aui $at, $a0, 0x1234\n"
550 "ldc1 $f0, 0x5678($at)\n";
551 DriverStr(expected, "LoadDFromOffset");
552}
553
554TEST_F(AssemblerMIPS32r6Test, StoreDToOffset) {
555 __ StoreDToOffset(mips::F0, mips::A0, -0x8000);
556 __ StoreDToOffset(mips::F0, mips::A0, +0);
557 __ StoreDToOffset(mips::F0, mips::A0, +0x7FF8);
558 __ StoreDToOffset(mips::F0, mips::A0, +0x7FFB);
559 __ StoreDToOffset(mips::F0, mips::A0, +0x7FFC);
560 __ StoreDToOffset(mips::F0, mips::A0, +0x7FFF);
561 __ StoreDToOffset(mips::F0, mips::A0, -0xFFF0);
562 __ StoreDToOffset(mips::F0, mips::A0, -0x8008);
563 __ StoreDToOffset(mips::F0, mips::A0, -0x8001);
564 __ StoreDToOffset(mips::F0, mips::A0, +0x8000);
565 __ StoreDToOffset(mips::F0, mips::A0, +0xFFF0);
566 __ StoreDToOffset(mips::F0, mips::A0, -0x17FE8);
567 __ StoreDToOffset(mips::F0, mips::A0, -0x0FFF8);
568 __ StoreDToOffset(mips::F0, mips::A0, -0x0FFF1);
569 __ StoreDToOffset(mips::F0, mips::A0, +0x0FFF1);
570 __ StoreDToOffset(mips::F0, mips::A0, +0x0FFF8);
571 __ StoreDToOffset(mips::F0, mips::A0, +0x17FE8);
572 __ StoreDToOffset(mips::F0, mips::A0, -0x17FF0);
573 __ StoreDToOffset(mips::F0, mips::A0, -0x17FE9);
574 __ StoreDToOffset(mips::F0, mips::A0, +0x17FE9);
575 __ StoreDToOffset(mips::F0, mips::A0, +0x17FF0);
576 __ StoreDToOffset(mips::F0, mips::A0, +0x12345678);
577
578 const char* expected =
579 "sdc1 $f0, -0x8000($a0)\n"
580 "sdc1 $f0, 0($a0)\n"
581 "sdc1 $f0, 0x7FF8($a0)\n"
582 "mfhc1 $t8, $f0\n"
583 "swc1 $f0, 0x7FFB($a0)\n"
584 "sw $t8, 0x7FFF($a0)\n"
585 "addiu $at, $a0, 0x7FF8\n"
586 "mfhc1 $t8, $f0\n"
587 "swc1 $f0, 4($at)\n"
588 "sw $t8, 8($at)\n"
589 "addiu $at, $a0, 0x7FF8\n"
590 "mfhc1 $t8, $f0\n"
591 "swc1 $f0, 7($at)\n"
592 "sw $t8, 11($at)\n"
593 "addiu $at, $a0, -0x7FF8\n"
594 "sdc1 $f0, -0x7FF8($at)\n"
595 "addiu $at, $a0, -0x7FF8\n"
596 "sdc1 $f0, -0x10($at)\n"
597 "addiu $at, $a0, -0x7FF8\n"
598 "mfhc1 $t8, $f0\n"
599 "swc1 $f0, -9($at)\n"
600 "sw $t8, -5($at)\n"
601 "addiu $at, $a0, 0x7FF8\n"
602 "sdc1 $f0, 8($at)\n"
603 "addiu $at, $a0, 0x7FF8\n"
604 "sdc1 $f0, 0x7FF8($at)\n"
605 "aui $at, $a0, 0xFFFF\n"
606 "sdc1 $f0, -0x7FE8($at)\n"
607 "aui $at, $a0, 0xFFFF\n"
608 "sdc1 $f0, 0x8($at)\n"
609 "aui $at, $a0, 0xFFFF\n"
610 "mfhc1 $t8, $f0\n"
611 "swc1 $f0, 0xF($at)\n"
612 "sw $t8, 0x13($at)\n"
613 "aui $at, $a0, 0x1\n"
614 "mfhc1 $t8, $f0\n"
615 "swc1 $f0, -0xF($at)\n"
616 "sw $t8, -0xB($at)\n"
617 "aui $at, $a0, 0x1\n"
618 "sdc1 $f0, -0x8($at)\n"
619 "aui $at, $a0, 0x1\n"
620 "sdc1 $f0, 0x7FE8($at)\n"
621 "aui $at, $a0, 0xFFFF\n"
622 "sdc1 $f0, -0x7FF0($at)\n"
623 "aui $at, $a0, 0xFFFF\n"
624 "mfhc1 $t8, $f0\n"
625 "swc1 $f0, -0x7FE9($at)\n"
626 "sw $t8, -0x7FE5($at)\n"
627 "aui $at, $a0, 0x1\n"
628 "mfhc1 $t8, $f0\n"
629 "swc1 $f0, 0x7FE9($at)\n"
630 "sw $t8, 0x7FED($at)\n"
631 "aui $at, $a0, 0x1\n"
632 "sdc1 $f0, 0x7FF0($at)\n"
633 "aui $at, $a0, 0x1234\n"
634 "sdc1 $f0, 0x5678($at)\n";
635 DriverStr(expected, "StoreDToOffset");
636}
637
Alexey Frunzee3fb2452016-05-10 16:08:05 -0700638TEST_F(AssemblerMIPS32r6Test, LoadFarthestNearLiteral) {
639 mips::Literal* literal = __ NewLiteral<uint32_t>(0x12345678);
640 __ LoadLiteral(mips::V0, mips::ZERO, literal);
641 constexpr size_t kAdduCount = 0x3FFDE;
642 for (size_t i = 0; i != kAdduCount; ++i) {
643 __ Addu(mips::ZERO, mips::ZERO, mips::ZERO);
644 }
645
646 std::string expected =
647 "lwpc $v0, 1f\n" +
648 RepeatInsn(kAdduCount, "addu $zero, $zero, $zero\n") +
649 "1:\n"
650 ".word 0x12345678\n";
651 DriverStr(expected, "LoadFarthestNearLiteral");
652}
653
654TEST_F(AssemblerMIPS32r6Test, LoadNearestFarLiteral) {
655 mips::Literal* literal = __ NewLiteral<uint32_t>(0x12345678);
656 __ LoadLiteral(mips::V0, mips::ZERO, literal);
657 constexpr size_t kAdduCount = 0x3FFDF;
658 for (size_t i = 0; i != kAdduCount; ++i) {
659 __ Addu(mips::ZERO, mips::ZERO, mips::ZERO);
660 }
661
662 std::string expected =
663 "1:\n"
664 "auipc $at, %hi(2f - 1b)\n"
665 "lw $v0, %lo(2f - 1b)($at)\n" +
666 RepeatInsn(kAdduCount, "addu $zero, $zero, $zero\n") +
667 "2:\n"
668 ".word 0x12345678\n";
669 DriverStr(expected, "LoadNearestFarLiteral");
670}
671
Chris Larsen3add9cb2016-04-14 14:01:33 -0700672//////////////
673// BRANCHES //
674//////////////
675
Alexey Frunze57eb0f52016-07-29 22:04:46 -0700676TEST_F(AssemblerMIPS32r6Test, ImpossibleReordering) {
677 mips::MipsLabel label;
678 __ SetReorder(true);
679 __ Bind(&label);
680
681 __ CmpLtD(mips::F0, mips::F2, mips::F4);
682 __ Bc1nez(mips::F0, &label); // F0 dependency.
683
684 __ MulD(mips::F10, mips::F2, mips::F4);
685 __ Bc1eqz(mips::F10, &label); // F10 dependency.
686
687 std::string expected =
688 ".set noreorder\n"
689 "1:\n"
690
691 "cmp.lt.d $f0, $f2, $f4\n"
692 "bc1nez $f0, 1b\n"
693 "nop\n"
694
695 "mul.d $f10, $f2, $f4\n"
696 "bc1eqz $f10, 1b\n"
697 "nop\n";
698 DriverStr(expected, "ImpossibleReordering");
699}
700
701TEST_F(AssemblerMIPS32r6Test, Reordering) {
702 mips::MipsLabel label;
703 __ SetReorder(true);
704 __ Bind(&label);
705
706 __ CmpLtD(mips::F0, mips::F2, mips::F4);
707 __ Bc1nez(mips::F2, &label);
708
709 __ MulD(mips::F0, mips::F2, mips::F4);
710 __ Bc1eqz(mips::F4, &label);
711
712 std::string expected =
713 ".set noreorder\n"
714 "1:\n"
715
716 "bc1nez $f2, 1b\n"
717 "cmp.lt.d $f0, $f2, $f4\n"
718
719 "bc1eqz $f4, 1b\n"
720 "mul.d $f0, $f2, $f4\n";
721 DriverStr(expected, "Reordering");
722}
723
724TEST_F(AssemblerMIPS32r6Test, SetReorder) {
725 mips::MipsLabel label1, label2, label3, label4;
726
727 __ SetReorder(true);
728 __ Bind(&label1);
729 __ Addu(mips::T0, mips::T1, mips::T2);
730 __ Bc1nez(mips::F0, &label1);
731
732 __ SetReorder(false);
733 __ Bind(&label2);
734 __ Addu(mips::T0, mips::T1, mips::T2);
735 __ Bc1nez(mips::F0, &label2);
736
737 __ SetReorder(true);
738 __ Bind(&label3);
739 __ Addu(mips::T0, mips::T1, mips::T2);
740 __ Bc1eqz(mips::F0, &label3);
741
742 __ SetReorder(false);
743 __ Bind(&label4);
744 __ Addu(mips::T0, mips::T1, mips::T2);
745 __ Bc1eqz(mips::F0, &label4);
746
747 std::string expected =
748 ".set noreorder\n"
749 "1:\n"
750 "bc1nez $f0, 1b\n"
751 "addu $t0, $t1, $t2\n"
752
753 "2:\n"
754 "addu $t0, $t1, $t2\n"
755 "bc1nez $f0, 2b\n"
756 "nop\n"
757
758 "3:\n"
759 "bc1eqz $f0, 3b\n"
760 "addu $t0, $t1, $t2\n"
761
762 "4:\n"
763 "addu $t0, $t1, $t2\n"
764 "bc1eqz $f0, 4b\n"
765 "nop\n";
766 DriverStr(expected, "SetReorder");
767}
768
769TEST_F(AssemblerMIPS32r6Test, LongBranchReorder) {
770 mips::MipsLabel label;
771 __ SetReorder(true);
772 __ Subu(mips::T0, mips::T1, mips::T2);
773 __ Bc1nez(mips::F0, &label);
774 constexpr uint32_t kAdduCount1 = (1u << 15) + 1;
775 for (uint32_t i = 0; i != kAdduCount1; ++i) {
776 __ Addu(mips::ZERO, mips::ZERO, mips::ZERO);
777 }
778 __ Bind(&label);
779 constexpr uint32_t kAdduCount2 = (1u << 15) + 1;
780 for (uint32_t i = 0; i != kAdduCount2; ++i) {
781 __ Addu(mips::ZERO, mips::ZERO, mips::ZERO);
782 }
783 __ Subu(mips::T0, mips::T1, mips::T2);
784 __ Bc1eqz(mips::F0, &label);
785
786 uint32_t offset_forward = 2 + kAdduCount1; // 2: account for auipc and jic.
787 offset_forward <<= 2;
788 offset_forward += (offset_forward & 0x8000) << 1; // Account for sign extension in jic.
789
790 uint32_t offset_back = -(kAdduCount2 + 2); // 2: account for subu and bc1nez.
791 offset_back <<= 2;
792 offset_back += (offset_back & 0x8000) << 1; // Account for sign extension in jic.
793
794 std::ostringstream oss;
795 oss <<
796 ".set noreorder\n"
797 "subu $t0, $t1, $t2\n"
798 "bc1eqz $f0, 1f\n"
799 "auipc $at, 0x" << std::hex << High16Bits(offset_forward) << "\n"
800 "jic $at, 0x" << std::hex << Low16Bits(offset_forward) << "\n"
801 "1:\n" <<
802 RepeatInsn(kAdduCount1, "addu $zero, $zero, $zero\n") <<
803 "2:\n" <<
804 RepeatInsn(kAdduCount2, "addu $zero, $zero, $zero\n") <<
805 "subu $t0, $t1, $t2\n"
806 "bc1nez $f0, 3f\n"
807 "auipc $at, 0x" << std::hex << High16Bits(offset_back) << "\n"
808 "jic $at, 0x" << std::hex << Low16Bits(offset_back) << "\n"
809 "3:\n";
810 std::string expected = oss.str();
811 DriverStr(expected, "LongBeqc");
812}
813
Alexey Frunzee3fb2452016-05-10 16:08:05 -0700814// TODO: MipsAssembler::Addiupc
Chris Larsen3add9cb2016-04-14 14:01:33 -0700815// MipsAssembler::Bc
816// MipsAssembler::Jic
817// MipsAssembler::Jialc
818// MipsAssembler::Bltc
819// MipsAssembler::Bltzc
820// MipsAssembler::Bgtzc
821// MipsAssembler::Bgec
822// MipsAssembler::Bgezc
823// MipsAssembler::Blezc
824// MipsAssembler::Bltuc
825// MipsAssembler::Bgeuc
826// MipsAssembler::Beqc
827// MipsAssembler::Bnec
828// MipsAssembler::Beqzc
829// MipsAssembler::Bnezc
830// MipsAssembler::Bc1eqz
831// MipsAssembler::Bc1nez
832// MipsAssembler::Buncond
833// MipsAssembler::Bcond
834// MipsAssembler::Call
835
836// TODO: AssemblerMIPS32r6Test.B
837// AssemblerMIPS32r6Test.Beq
838// AssemblerMIPS32r6Test.Bne
839// AssemblerMIPS32r6Test.Beqz
840// AssemblerMIPS32r6Test.Bnez
841// AssemblerMIPS32r6Test.Bltz
842// AssemblerMIPS32r6Test.Bgez
843// AssemblerMIPS32r6Test.Blez
844// AssemblerMIPS32r6Test.Bgtz
845// AssemblerMIPS32r6Test.Blt
846// AssemblerMIPS32r6Test.Bge
847// AssemblerMIPS32r6Test.Bltu
848// AssemblerMIPS32r6Test.Bgeu
849
850#undef __
851
852} // namespace art