blob: 1de51a2dc879ded57c31ad4b4bcfc7d55509dd5c [file] [log] [blame]
Dave Allison65fcc2c2014-04-28 13:45:27 -07001/*
2 * Copyright (C) 2014 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
Nicolas Geoffray96f89a22014-07-11 10:57:49 +010017#include <dirent.h>
Andreas Gampefd114702015-05-13 17:00:41 -070018#include <errno.h>
Dave Allison65fcc2c2014-04-28 13:45:27 -070019#include <fstream>
Nicolas Geoffray96f89a22014-07-11 10:57:49 +010020#include <map>
Andreas Gampefd114702015-05-13 17:00:41 -070021#include <string.h>
22#include <sys/types.h>
Dave Allison65fcc2c2014-04-28 13:45:27 -070023
24#include "gtest/gtest.h"
25#include "utils/arm/assembler_thumb2.h"
26#include "base/hex_dump.h"
27#include "common_runtime_test.h"
28
29namespace art {
30namespace arm {
31
32// Include results file (generated manually)
33#include "assembler_thumb_test_expected.cc.inc"
34
Andreas Gampec60e1b72015-07-30 08:57:50 -070035#ifndef __ANDROID__
Dave Allison45fdb932014-06-25 12:37:10 -070036// This controls whether the results are printed to the
37// screen or compared against the expected output.
38// To generate new expected output, set this to true and
39// copy the output into the .cc.inc file in the form
40// of the other results.
41//
42// When this is false, the results are not printed to the
43// output, but are compared against the expected results
44// in the .cc.inc file.
Dave Allison65fcc2c2014-04-28 13:45:27 -070045static constexpr bool kPrintResults = false;
Dave Allisond20ddb22014-06-05 14:16:30 -070046#endif
Dave Allison65fcc2c2014-04-28 13:45:27 -070047
48void SetAndroidData() {
49 const char* data = getenv("ANDROID_DATA");
50 if (data == nullptr) {
51 setenv("ANDROID_DATA", "/tmp", 1);
52 }
53}
54
Dave Allison45fdb932014-06-25 12:37:10 -070055int CompareIgnoringSpace(const char* s1, const char* s2) {
56 while (*s1 != '\0') {
57 while (isspace(*s1)) ++s1;
58 while (isspace(*s2)) ++s2;
59 if (*s1 == '\0' || *s1 != *s2) {
60 break;
61 }
62 ++s1;
63 ++s2;
64 }
65 return *s1 - *s2;
66}
67
Vladimir Markocf93a5c2015-06-16 11:33:24 +000068void InitResults() {
69 if (test_results.empty()) {
70 setup_results();
71 }
72}
73
74std::string GetToolsDir() {
Andreas Gampec60e1b72015-07-30 08:57:50 -070075#ifndef __ANDROID__
Vladimir Markocf93a5c2015-06-16 11:33:24 +000076 // This will only work on the host. There is no as, objcopy or objdump on the device.
Dave Allison65fcc2c2014-04-28 13:45:27 -070077 static std::string toolsdir;
78
Vladimir Markocf93a5c2015-06-16 11:33:24 +000079 if (toolsdir.empty()) {
Dave Allison65fcc2c2014-04-28 13:45:27 -070080 setup_results();
David Srbecky3e52aa42015-04-12 07:45:18 +010081 toolsdir = CommonRuntimeTest::GetAndroidTargetToolsDir(kThumb2);
Dave Allison65fcc2c2014-04-28 13:45:27 -070082 SetAndroidData();
Dave Allison65fcc2c2014-04-28 13:45:27 -070083 }
84
Vladimir Markocf93a5c2015-06-16 11:33:24 +000085 return toolsdir;
86#else
87 return std::string();
88#endif
89}
90
91void DumpAndCheck(std::vector<uint8_t>& code, const char* testname, const char* const* results) {
Andreas Gampec60e1b72015-07-30 08:57:50 -070092#ifndef __ANDROID__
Vladimir Markocf93a5c2015-06-16 11:33:24 +000093 static std::string toolsdir = GetToolsDir();
94
Dave Allison65fcc2c2014-04-28 13:45:27 -070095 ScratchFile file;
96
97 const char* filename = file.GetFilename().c_str();
98
99 std::ofstream out(filename);
100 if (out) {
101 out << ".section \".text\"\n";
102 out << ".syntax unified\n";
103 out << ".arch armv7-a\n";
104 out << ".thumb\n";
105 out << ".thumb_func\n";
106 out << ".type " << testname << ", #function\n";
107 out << ".global " << testname << "\n";
108 out << testname << ":\n";
109 out << ".fnstart\n";
110
111 for (uint32_t i = 0 ; i < code.size(); ++i) {
112 out << ".byte " << (static_cast<int>(code[i]) & 0xff) << "\n";
113 }
114 out << ".fnend\n";
115 out << ".size " << testname << ", .-" << testname << "\n";
116 }
117 out.close();
118
Andreas Gampe4470c1d2014-07-21 18:32:59 -0700119 char cmd[1024];
Dave Allison65fcc2c2014-04-28 13:45:27 -0700120
121 // Assemble the .S
David Srbecky3e52aa42015-04-12 07:45:18 +0100122 snprintf(cmd, sizeof(cmd), "%sas %s -o %s.o", toolsdir.c_str(), filename, filename);
Andreas Gampefd114702015-05-13 17:00:41 -0700123 int cmd_result = system(cmd);
124 ASSERT_EQ(cmd_result, 0) << strerror(errno);
Dave Allison65fcc2c2014-04-28 13:45:27 -0700125
126 // Remove the $d symbols to prevent the disassembler dumping the instructions
127 // as .word
David Srbecky3e52aa42015-04-12 07:45:18 +0100128 snprintf(cmd, sizeof(cmd), "%sobjcopy -N '$d' %s.o %s.oo", toolsdir.c_str(), filename, filename);
Andreas Gampefd114702015-05-13 17:00:41 -0700129 int cmd_result2 = system(cmd);
130 ASSERT_EQ(cmd_result2, 0) << strerror(errno);
Dave Allison65fcc2c2014-04-28 13:45:27 -0700131
132 // Disassemble.
133
David Srbecky3e52aa42015-04-12 07:45:18 +0100134 snprintf(cmd, sizeof(cmd), "%sobjdump -d %s.oo | grep '^ *[0-9a-f][0-9a-f]*:'",
135 toolsdir.c_str(), filename);
Dave Allison65fcc2c2014-04-28 13:45:27 -0700136 if (kPrintResults) {
137 // Print the results only, don't check. This is used to generate new output for inserting
138 // into the .inc file.
Andreas Gampefd114702015-05-13 17:00:41 -0700139 int cmd_result3 = system(cmd);
140 ASSERT_EQ(cmd_result3, 0) << strerror(errno);
Dave Allison65fcc2c2014-04-28 13:45:27 -0700141 } else {
142 // Check the results match the appropriate results in the .inc file.
143 FILE *fp = popen(cmd, "r");
144 ASSERT_TRUE(fp != nullptr);
145
Dave Allison65fcc2c2014-04-28 13:45:27 -0700146 uint32_t lineindex = 0;
147
148 while (!feof(fp)) {
149 char testline[256];
150 char *s = fgets(testline, sizeof(testline), fp);
151 if (s == nullptr) {
152 break;
153 }
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000154 if (CompareIgnoringSpace(results[lineindex], testline) != 0) {
Dave Allison45fdb932014-06-25 12:37:10 -0700155 LOG(FATAL) << "Output is not as expected at line: " << lineindex
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000156 << results[lineindex] << "/" << testline;
Dave Allison45fdb932014-06-25 12:37:10 -0700157 }
Dave Allison65fcc2c2014-04-28 13:45:27 -0700158 ++lineindex;
159 }
160 // Check that we are at the end.
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000161 ASSERT_TRUE(results[lineindex] == nullptr);
Dave Allison65fcc2c2014-04-28 13:45:27 -0700162 fclose(fp);
163 }
164
165 char buf[FILENAME_MAX];
166 snprintf(buf, sizeof(buf), "%s.o", filename);
167 unlink(buf);
168
169 snprintf(buf, sizeof(buf), "%s.oo", filename);
170 unlink(buf);
171#endif
172}
173
174#define __ assembler->
175
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000176void EmitAndCheck(arm::Thumb2Assembler* assembler, const char* testname,
177 const char* const* results) {
178 __ FinalizeCode();
179 size_t cs = __ CodeSize();
180 std::vector<uint8_t> managed_code(cs);
181 MemoryRegion code(&managed_code[0], managed_code.size());
182 __ FinalizeInstructions(code);
183
184 DumpAndCheck(managed_code, testname, results);
185}
186
187void EmitAndCheck(arm::Thumb2Assembler* assembler, const char* testname) {
188 InitResults();
189 std::map<std::string, const char* const*>::iterator results = test_results.find(testname);
190 ASSERT_NE(results, test_results.end());
191
192 EmitAndCheck(assembler, testname, results->second);
193}
194
195#undef __
196
197#define __ assembler.
198
Dave Allison65fcc2c2014-04-28 13:45:27 -0700199TEST(Thumb2AssemblerTest, SimpleMov) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000200 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700201
Vladimir Marko73cf0fb2015-07-30 15:07:22 +0100202 __ movs(R0, ShifterOperand(R1));
Dave Allison65fcc2c2014-04-28 13:45:27 -0700203 __ mov(R0, ShifterOperand(R1));
204 __ mov(R8, ShifterOperand(R9));
205
206 __ mov(R0, ShifterOperand(1));
207 __ mov(R8, ShifterOperand(9));
208
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000209 EmitAndCheck(&assembler, "SimpleMov");
Dave Allison65fcc2c2014-04-28 13:45:27 -0700210}
211
212TEST(Thumb2AssemblerTest, SimpleMov32) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000213 arm::Thumb2Assembler assembler;
214 __ Force32Bit();
Dave Allison65fcc2c2014-04-28 13:45:27 -0700215
216 __ mov(R0, ShifterOperand(R1));
217 __ mov(R8, ShifterOperand(R9));
218
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000219 EmitAndCheck(&assembler, "SimpleMov32");
Dave Allison65fcc2c2014-04-28 13:45:27 -0700220}
221
222TEST(Thumb2AssemblerTest, SimpleMovAdd) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000223 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700224
225 __ mov(R0, ShifterOperand(R1));
Vladimir Marko73cf0fb2015-07-30 15:07:22 +0100226 __ adds(R0, R1, ShifterOperand(R2));
227 __ add(R0, R1, ShifterOperand(0));
Dave Allison65fcc2c2014-04-28 13:45:27 -0700228
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000229 EmitAndCheck(&assembler, "SimpleMovAdd");
Dave Allison65fcc2c2014-04-28 13:45:27 -0700230}
231
232TEST(Thumb2AssemblerTest, DataProcessingRegister) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000233 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700234
Vladimir Marko73cf0fb2015-07-30 15:07:22 +0100235 // 32 bit variants using low registers.
236 __ mvn(R0, ShifterOperand(R1), AL, kCcKeep);
237 __ add(R0, R1, ShifterOperand(R2), AL, kCcKeep);
238 __ sub(R0, R1, ShifterOperand(R2), AL, kCcKeep);
239 __ and_(R0, R1, ShifterOperand(R2), AL, kCcKeep);
240 __ orr(R0, R1, ShifterOperand(R2), AL, kCcKeep);
Vladimir Markod2b4ca22015-09-14 15:13:26 +0100241 __ orn(R0, R1, ShifterOperand(R2), AL, kCcKeep);
Vladimir Marko73cf0fb2015-07-30 15:07:22 +0100242 __ eor(R0, R1, ShifterOperand(R2), AL, kCcKeep);
243 __ bic(R0, R1, ShifterOperand(R2), AL, kCcKeep);
244 __ adc(R0, R1, ShifterOperand(R2), AL, kCcKeep);
245 __ sbc(R0, R1, ShifterOperand(R2), AL, kCcKeep);
246 __ rsb(R0, R1, ShifterOperand(R2), AL, kCcKeep);
247 __ teq(R0, ShifterOperand(R1));
248
249 // 16 bit variants using low registers.
250 __ movs(R0, ShifterOperand(R1));
251 __ mov(R0, ShifterOperand(R1), AL, kCcKeep);
252 __ mvns(R0, ShifterOperand(R1));
253 __ add(R0, R0, ShifterOperand(R1), AL, kCcKeep);
254 __ adds(R0, R1, ShifterOperand(R2));
255 __ subs(R0, R1, ShifterOperand(R2));
256 __ adcs(R0, R0, ShifterOperand(R1));
257 __ sbcs(R0, R0, ShifterOperand(R1));
258 __ ands(R0, R0, ShifterOperand(R1));
259 __ orrs(R0, R0, ShifterOperand(R1));
260 __ eors(R0, R0, ShifterOperand(R1));
261 __ bics(R0, R0, ShifterOperand(R1));
262 __ tst(R0, ShifterOperand(R1));
263 __ cmp(R0, ShifterOperand(R1));
264 __ cmn(R0, ShifterOperand(R1));
265
266 // 16-bit variants using high registers.
267 __ mov(R1, ShifterOperand(R8), AL, kCcKeep);
268 __ mov(R9, ShifterOperand(R0), AL, kCcKeep);
269 __ mov(R8, ShifterOperand(R9), AL, kCcKeep);
270 __ add(R1, R1, ShifterOperand(R8), AL, kCcKeep);
271 __ add(R9, R9, ShifterOperand(R0), AL, kCcKeep);
272 __ add(R8, R8, ShifterOperand(R9), AL, kCcKeep);
273 __ cmp(R0, ShifterOperand(R9));
274 __ cmp(R8, ShifterOperand(R1));
275 __ cmp(R9, ShifterOperand(R8));
276
277 // The 16-bit RSBS Rd, Rn, #0, also known as NEGS Rd, Rn is specified using
278 // an immediate (0) but emitted without any, so we test it here.
279 __ rsbs(R0, R1, ShifterOperand(0));
280 __ rsbs(R0, R0, ShifterOperand(0)); // Check Rd == Rn code path.
281
282 // 32 bit variants using high registers that would be 16-bit if using low registers.
283 __ movs(R0, ShifterOperand(R8));
284 __ mvns(R0, ShifterOperand(R8));
285 __ add(R0, R1, ShifterOperand(R8), AL, kCcKeep);
286 __ adds(R0, R1, ShifterOperand(R8));
287 __ subs(R0, R1, ShifterOperand(R8));
288 __ adcs(R0, R0, ShifterOperand(R8));
289 __ sbcs(R0, R0, ShifterOperand(R8));
290 __ ands(R0, R0, ShifterOperand(R8));
291 __ orrs(R0, R0, ShifterOperand(R8));
292 __ eors(R0, R0, ShifterOperand(R8));
293 __ bics(R0, R0, ShifterOperand(R8));
294 __ tst(R0, ShifterOperand(R8));
295 __ cmn(R0, ShifterOperand(R8));
296 __ rsbs(R0, R8, ShifterOperand(0)); // Check that this is not emitted as 16-bit.
297 __ rsbs(R8, R8, ShifterOperand(0)); // Check that this is not emitted as 16-bit (Rd == Rn).
298
299 // 32-bit variants of instructions that would be 16-bit outside IT block.
300 __ it(arm::EQ);
301 __ mvns(R0, ShifterOperand(R1), arm::EQ);
302 __ it(arm::EQ);
303 __ adds(R0, R1, ShifterOperand(R2), arm::EQ);
304 __ it(arm::EQ);
305 __ subs(R0, R1, ShifterOperand(R2), arm::EQ);
306 __ it(arm::EQ);
307 __ adcs(R0, R0, ShifterOperand(R1), arm::EQ);
308 __ it(arm::EQ);
309 __ sbcs(R0, R0, ShifterOperand(R1), arm::EQ);
310 __ it(arm::EQ);
311 __ ands(R0, R0, ShifterOperand(R1), arm::EQ);
312 __ it(arm::EQ);
313 __ orrs(R0, R0, ShifterOperand(R1), arm::EQ);
314 __ it(arm::EQ);
315 __ eors(R0, R0, ShifterOperand(R1), arm::EQ);
316 __ it(arm::EQ);
317 __ bics(R0, R0, ShifterOperand(R1), arm::EQ);
318
319 // 16-bit variants of instructions that would be 32-bit outside IT block.
320 __ it(arm::EQ);
321 __ mvn(R0, ShifterOperand(R1), arm::EQ, kCcKeep);
322 __ it(arm::EQ);
323 __ add(R0, R1, ShifterOperand(R2), arm::EQ, kCcKeep);
324 __ it(arm::EQ);
325 __ sub(R0, R1, ShifterOperand(R2), arm::EQ, kCcKeep);
326 __ it(arm::EQ);
327 __ adc(R0, R0, ShifterOperand(R1), arm::EQ, kCcKeep);
328 __ it(arm::EQ);
329 __ sbc(R0, R0, ShifterOperand(R1), arm::EQ, kCcKeep);
330 __ it(arm::EQ);
331 __ and_(R0, R0, ShifterOperand(R1), arm::EQ, kCcKeep);
332 __ it(arm::EQ);
333 __ orr(R0, R0, ShifterOperand(R1), arm::EQ, kCcKeep);
334 __ it(arm::EQ);
335 __ eor(R0, R0, ShifterOperand(R1), arm::EQ, kCcKeep);
336 __ it(arm::EQ);
337 __ bic(R0, R0, ShifterOperand(R1), arm::EQ, kCcKeep);
338
339 // 16 bit variants selected for the default kCcDontCare.
Dave Allison65fcc2c2014-04-28 13:45:27 -0700340 __ mov(R0, ShifterOperand(R1));
341 __ mvn(R0, ShifterOperand(R1));
Vladimir Marko73cf0fb2015-07-30 15:07:22 +0100342 __ add(R0, R0, ShifterOperand(R1));
Dave Allison65fcc2c2014-04-28 13:45:27 -0700343 __ add(R0, R1, ShifterOperand(R2));
344 __ sub(R0, R1, ShifterOperand(R2));
Vladimir Marko73cf0fb2015-07-30 15:07:22 +0100345 __ adc(R0, R0, ShifterOperand(R1));
346 __ sbc(R0, R0, ShifterOperand(R1));
Andreas Gampe7b7e5242015-02-02 19:17:11 -0800347 __ and_(R0, R0, ShifterOperand(R1));
348 __ orr(R0, R0, ShifterOperand(R1));
349 __ eor(R0, R0, ShifterOperand(R1));
350 __ bic(R0, R0, ShifterOperand(R1));
Vladimir Marko73cf0fb2015-07-30 15:07:22 +0100351 __ mov(R1, ShifterOperand(R8));
352 __ mov(R9, ShifterOperand(R0));
353 __ mov(R8, ShifterOperand(R9));
354 __ add(R1, R1, ShifterOperand(R8));
355 __ add(R9, R9, ShifterOperand(R0));
356 __ add(R8, R8, ShifterOperand(R9));
357 __ rsb(R0, R1, ShifterOperand(0));
358 __ rsb(R0, R0, ShifterOperand(0));
Dave Allison65fcc2c2014-04-28 13:45:27 -0700359
Vladimir Marko73cf0fb2015-07-30 15:07:22 +0100360 // And an arbitrary 32-bit instruction using IP.
361 __ add(R12, R1, ShifterOperand(R0), AL, kCcKeep);
Nicolas Geoffray3c7bb982014-07-23 16:04:16 +0100362
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000363 EmitAndCheck(&assembler, "DataProcessingRegister");
Dave Allison65fcc2c2014-04-28 13:45:27 -0700364}
365
366TEST(Thumb2AssemblerTest, DataProcessingImmediate) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000367 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700368
369 __ mov(R0, ShifterOperand(0x55));
370 __ mvn(R0, ShifterOperand(0x55));
371 __ add(R0, R1, ShifterOperand(0x55));
372 __ sub(R0, R1, ShifterOperand(0x55));
373 __ and_(R0, R1, ShifterOperand(0x55));
374 __ orr(R0, R1, ShifterOperand(0x55));
Vladimir Markod2b4ca22015-09-14 15:13:26 +0100375 __ orn(R0, R1, ShifterOperand(0x55));
Dave Allison65fcc2c2014-04-28 13:45:27 -0700376 __ eor(R0, R1, ShifterOperand(0x55));
377 __ bic(R0, R1, ShifterOperand(0x55));
378 __ adc(R0, R1, ShifterOperand(0x55));
379 __ sbc(R0, R1, ShifterOperand(0x55));
380 __ rsb(R0, R1, ShifterOperand(0x55));
381
382 __ tst(R0, ShifterOperand(0x55));
383 __ teq(R0, ShifterOperand(0x55));
384 __ cmp(R0, ShifterOperand(0x55));
385 __ cmn(R0, ShifterOperand(0x55));
386
387 __ add(R0, R1, ShifterOperand(5));
388 __ sub(R0, R1, ShifterOperand(5));
389
390 __ movs(R0, ShifterOperand(0x55));
391 __ mvns(R0, ShifterOperand(0x55));
392
Vladimir Marko73cf0fb2015-07-30 15:07:22 +0100393 __ adds(R0, R1, ShifterOperand(5));
394 __ subs(R0, R1, ShifterOperand(5));
395
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000396 EmitAndCheck(&assembler, "DataProcessingImmediate");
Dave Allison65fcc2c2014-04-28 13:45:27 -0700397}
398
399TEST(Thumb2AssemblerTest, DataProcessingModifiedImmediate) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000400 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700401
402 __ mov(R0, ShifterOperand(0x550055));
403 __ mvn(R0, ShifterOperand(0x550055));
404 __ add(R0, R1, ShifterOperand(0x550055));
405 __ sub(R0, R1, ShifterOperand(0x550055));
406 __ and_(R0, R1, ShifterOperand(0x550055));
407 __ orr(R0, R1, ShifterOperand(0x550055));
Vladimir Markod2b4ca22015-09-14 15:13:26 +0100408 __ orn(R0, R1, ShifterOperand(0x550055));
Dave Allison65fcc2c2014-04-28 13:45:27 -0700409 __ eor(R0, R1, ShifterOperand(0x550055));
410 __ bic(R0, R1, ShifterOperand(0x550055));
411 __ adc(R0, R1, ShifterOperand(0x550055));
412 __ sbc(R0, R1, ShifterOperand(0x550055));
413 __ rsb(R0, R1, ShifterOperand(0x550055));
414
415 __ tst(R0, ShifterOperand(0x550055));
416 __ teq(R0, ShifterOperand(0x550055));
417 __ cmp(R0, ShifterOperand(0x550055));
418 __ cmn(R0, ShifterOperand(0x550055));
419
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000420 EmitAndCheck(&assembler, "DataProcessingModifiedImmediate");
Dave Allison65fcc2c2014-04-28 13:45:27 -0700421}
422
423
424TEST(Thumb2AssemblerTest, DataProcessingModifiedImmediates) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000425 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700426
427 __ mov(R0, ShifterOperand(0x550055));
428 __ mov(R0, ShifterOperand(0x55005500));
429 __ mov(R0, ShifterOperand(0x55555555));
430 __ mov(R0, ShifterOperand(0xd5000000)); // rotated to first position
431 __ mov(R0, ShifterOperand(0x6a000000)); // rotated to second position
432 __ mov(R0, ShifterOperand(0x350)); // rotated to 2nd last position
433 __ mov(R0, ShifterOperand(0x1a8)); // rotated to last position
434
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000435 EmitAndCheck(&assembler, "DataProcessingModifiedImmediates");
Dave Allison65fcc2c2014-04-28 13:45:27 -0700436}
437
438TEST(Thumb2AssemblerTest, DataProcessingShiftedRegister) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000439 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700440
Vladimir Marko73cf0fb2015-07-30 15:07:22 +0100441 // 16-bit variants.
442 __ movs(R3, ShifterOperand(R4, LSL, 4));
443 __ movs(R3, ShifterOperand(R4, LSR, 5));
444 __ movs(R3, ShifterOperand(R4, ASR, 6));
Dave Allison65fcc2c2014-04-28 13:45:27 -0700445
Vladimir Marko73cf0fb2015-07-30 15:07:22 +0100446 // 32-bit ROR because ROR immediate doesn't have the same 16-bit version as other shifts.
447 __ movs(R3, ShifterOperand(R4, ROR, 7));
448
449 // 32-bit RRX because RRX has no 16-bit version.
450 __ movs(R3, ShifterOperand(R4, RRX));
451
452 // 32 bit variants (not setting condition codes).
453 __ mov(R3, ShifterOperand(R4, LSL, 4), AL, kCcKeep);
454 __ mov(R3, ShifterOperand(R4, LSR, 5), AL, kCcKeep);
455 __ mov(R3, ShifterOperand(R4, ASR, 6), AL, kCcKeep);
456 __ mov(R3, ShifterOperand(R4, ROR, 7), AL, kCcKeep);
457 __ mov(R3, ShifterOperand(R4, RRX), AL, kCcKeep);
458
459 // 32 bit variants (high registers).
460 __ movs(R8, ShifterOperand(R4, LSL, 4));
461 __ movs(R8, ShifterOperand(R4, LSR, 5));
462 __ movs(R8, ShifterOperand(R4, ASR, 6));
463 __ movs(R8, ShifterOperand(R4, ROR, 7));
464 __ movs(R8, ShifterOperand(R4, RRX));
Dave Allison65fcc2c2014-04-28 13:45:27 -0700465
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000466 EmitAndCheck(&assembler, "DataProcessingShiftedRegister");
Dave Allison65fcc2c2014-04-28 13:45:27 -0700467}
468
Vladimir Markof9d741e2015-11-20 15:08:11 +0000469TEST(Thumb2AssemblerTest, ShiftImmediate) {
470 // Note: This test produces the same results as DataProcessingShiftedRegister
471 // but it does so using shift functions instead of mov().
472 arm::Thumb2Assembler assembler;
473
474 // 16-bit variants.
475 __ Lsl(R3, R4, 4);
476 __ Lsr(R3, R4, 5);
477 __ Asr(R3, R4, 6);
478
479 // 32-bit ROR because ROR immediate doesn't have the same 16-bit version as other shifts.
480 __ Ror(R3, R4, 7);
481
482 // 32-bit RRX because RRX has no 16-bit version.
483 __ Rrx(R3, R4);
484
485 // 32 bit variants (not setting condition codes).
486 __ Lsl(R3, R4, 4, AL, kCcKeep);
487 __ Lsr(R3, R4, 5, AL, kCcKeep);
488 __ Asr(R3, R4, 6, AL, kCcKeep);
489 __ Ror(R3, R4, 7, AL, kCcKeep);
490 __ Rrx(R3, R4, AL, kCcKeep);
491
492 // 32 bit variants (high registers).
493 __ Lsls(R8, R4, 4);
494 __ Lsrs(R8, R4, 5);
495 __ Asrs(R8, R4, 6);
496 __ Rors(R8, R4, 7);
497 __ Rrxs(R8, R4);
498
499 EmitAndCheck(&assembler, "ShiftImmediate");
500}
Dave Allison65fcc2c2014-04-28 13:45:27 -0700501
502TEST(Thumb2AssemblerTest, BasicLoad) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000503 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700504
505 __ ldr(R3, Address(R4, 24));
506 __ ldrb(R3, Address(R4, 24));
507 __ ldrh(R3, Address(R4, 24));
508 __ ldrsb(R3, Address(R4, 24));
509 __ ldrsh(R3, Address(R4, 24));
510
511 __ ldr(R3, Address(SP, 24));
512
513 // 32 bit variants
514 __ ldr(R8, Address(R4, 24));
515 __ ldrb(R8, Address(R4, 24));
516 __ ldrh(R8, Address(R4, 24));
517 __ ldrsb(R8, Address(R4, 24));
518 __ ldrsh(R8, Address(R4, 24));
519
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000520 EmitAndCheck(&assembler, "BasicLoad");
Dave Allison65fcc2c2014-04-28 13:45:27 -0700521}
522
523
524TEST(Thumb2AssemblerTest, BasicStore) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000525 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700526
527 __ str(R3, Address(R4, 24));
528 __ strb(R3, Address(R4, 24));
529 __ strh(R3, Address(R4, 24));
530
531 __ str(R3, Address(SP, 24));
532
533 // 32 bit variants.
534 __ str(R8, Address(R4, 24));
535 __ strb(R8, Address(R4, 24));
536 __ strh(R8, Address(R4, 24));
537
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000538 EmitAndCheck(&assembler, "BasicStore");
Dave Allison65fcc2c2014-04-28 13:45:27 -0700539}
540
541TEST(Thumb2AssemblerTest, ComplexLoad) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000542 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700543
544 __ ldr(R3, Address(R4, 24, Address::Mode::Offset));
545 __ ldr(R3, Address(R4, 24, Address::Mode::PreIndex));
546 __ ldr(R3, Address(R4, 24, Address::Mode::PostIndex));
547 __ ldr(R3, Address(R4, 24, Address::Mode::NegOffset));
548 __ ldr(R3, Address(R4, 24, Address::Mode::NegPreIndex));
549 __ ldr(R3, Address(R4, 24, Address::Mode::NegPostIndex));
550
551 __ ldrb(R3, Address(R4, 24, Address::Mode::Offset));
552 __ ldrb(R3, Address(R4, 24, Address::Mode::PreIndex));
553 __ ldrb(R3, Address(R4, 24, Address::Mode::PostIndex));
554 __ ldrb(R3, Address(R4, 24, Address::Mode::NegOffset));
555 __ ldrb(R3, Address(R4, 24, Address::Mode::NegPreIndex));
556 __ ldrb(R3, Address(R4, 24, Address::Mode::NegPostIndex));
557
558 __ ldrh(R3, Address(R4, 24, Address::Mode::Offset));
559 __ ldrh(R3, Address(R4, 24, Address::Mode::PreIndex));
560 __ ldrh(R3, Address(R4, 24, Address::Mode::PostIndex));
561 __ ldrh(R3, Address(R4, 24, Address::Mode::NegOffset));
562 __ ldrh(R3, Address(R4, 24, Address::Mode::NegPreIndex));
563 __ ldrh(R3, Address(R4, 24, Address::Mode::NegPostIndex));
564
565 __ ldrsb(R3, Address(R4, 24, Address::Mode::Offset));
566 __ ldrsb(R3, Address(R4, 24, Address::Mode::PreIndex));
567 __ ldrsb(R3, Address(R4, 24, Address::Mode::PostIndex));
568 __ ldrsb(R3, Address(R4, 24, Address::Mode::NegOffset));
569 __ ldrsb(R3, Address(R4, 24, Address::Mode::NegPreIndex));
570 __ ldrsb(R3, Address(R4, 24, Address::Mode::NegPostIndex));
571
572 __ ldrsh(R3, Address(R4, 24, Address::Mode::Offset));
573 __ ldrsh(R3, Address(R4, 24, Address::Mode::PreIndex));
574 __ ldrsh(R3, Address(R4, 24, Address::Mode::PostIndex));
575 __ ldrsh(R3, Address(R4, 24, Address::Mode::NegOffset));
576 __ ldrsh(R3, Address(R4, 24, Address::Mode::NegPreIndex));
577 __ ldrsh(R3, Address(R4, 24, Address::Mode::NegPostIndex));
578
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000579 EmitAndCheck(&assembler, "ComplexLoad");
Dave Allison65fcc2c2014-04-28 13:45:27 -0700580}
581
582
583TEST(Thumb2AssemblerTest, ComplexStore) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000584 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700585
586 __ str(R3, Address(R4, 24, Address::Mode::Offset));
587 __ str(R3, Address(R4, 24, Address::Mode::PreIndex));
588 __ str(R3, Address(R4, 24, Address::Mode::PostIndex));
589 __ str(R3, Address(R4, 24, Address::Mode::NegOffset));
590 __ str(R3, Address(R4, 24, Address::Mode::NegPreIndex));
591 __ str(R3, Address(R4, 24, Address::Mode::NegPostIndex));
592
593 __ strb(R3, Address(R4, 24, Address::Mode::Offset));
594 __ strb(R3, Address(R4, 24, Address::Mode::PreIndex));
595 __ strb(R3, Address(R4, 24, Address::Mode::PostIndex));
596 __ strb(R3, Address(R4, 24, Address::Mode::NegOffset));
597 __ strb(R3, Address(R4, 24, Address::Mode::NegPreIndex));
598 __ strb(R3, Address(R4, 24, Address::Mode::NegPostIndex));
599
600 __ strh(R3, Address(R4, 24, Address::Mode::Offset));
601 __ strh(R3, Address(R4, 24, Address::Mode::PreIndex));
602 __ strh(R3, Address(R4, 24, Address::Mode::PostIndex));
603 __ strh(R3, Address(R4, 24, Address::Mode::NegOffset));
604 __ strh(R3, Address(R4, 24, Address::Mode::NegPreIndex));
605 __ strh(R3, Address(R4, 24, Address::Mode::NegPostIndex));
606
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000607 EmitAndCheck(&assembler, "ComplexStore");
Dave Allison65fcc2c2014-04-28 13:45:27 -0700608}
609
610TEST(Thumb2AssemblerTest, NegativeLoadStore) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000611 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700612
613 __ ldr(R3, Address(R4, -24, Address::Mode::Offset));
614 __ ldr(R3, Address(R4, -24, Address::Mode::PreIndex));
615 __ ldr(R3, Address(R4, -24, Address::Mode::PostIndex));
616 __ ldr(R3, Address(R4, -24, Address::Mode::NegOffset));
617 __ ldr(R3, Address(R4, -24, Address::Mode::NegPreIndex));
618 __ ldr(R3, Address(R4, -24, Address::Mode::NegPostIndex));
619
620 __ ldrb(R3, Address(R4, -24, Address::Mode::Offset));
621 __ ldrb(R3, Address(R4, -24, Address::Mode::PreIndex));
622 __ ldrb(R3, Address(R4, -24, Address::Mode::PostIndex));
623 __ ldrb(R3, Address(R4, -24, Address::Mode::NegOffset));
624 __ ldrb(R3, Address(R4, -24, Address::Mode::NegPreIndex));
625 __ ldrb(R3, Address(R4, -24, Address::Mode::NegPostIndex));
626
627 __ ldrh(R3, Address(R4, -24, Address::Mode::Offset));
628 __ ldrh(R3, Address(R4, -24, Address::Mode::PreIndex));
629 __ ldrh(R3, Address(R4, -24, Address::Mode::PostIndex));
630 __ ldrh(R3, Address(R4, -24, Address::Mode::NegOffset));
631 __ ldrh(R3, Address(R4, -24, Address::Mode::NegPreIndex));
632 __ ldrh(R3, Address(R4, -24, Address::Mode::NegPostIndex));
633
634 __ ldrsb(R3, Address(R4, -24, Address::Mode::Offset));
635 __ ldrsb(R3, Address(R4, -24, Address::Mode::PreIndex));
636 __ ldrsb(R3, Address(R4, -24, Address::Mode::PostIndex));
637 __ ldrsb(R3, Address(R4, -24, Address::Mode::NegOffset));
638 __ ldrsb(R3, Address(R4, -24, Address::Mode::NegPreIndex));
639 __ ldrsb(R3, Address(R4, -24, Address::Mode::NegPostIndex));
640
641 __ ldrsh(R3, Address(R4, -24, Address::Mode::Offset));
642 __ ldrsh(R3, Address(R4, -24, Address::Mode::PreIndex));
643 __ ldrsh(R3, Address(R4, -24, Address::Mode::PostIndex));
644 __ ldrsh(R3, Address(R4, -24, Address::Mode::NegOffset));
645 __ ldrsh(R3, Address(R4, -24, Address::Mode::NegPreIndex));
646 __ ldrsh(R3, Address(R4, -24, Address::Mode::NegPostIndex));
647
648 __ str(R3, Address(R4, -24, Address::Mode::Offset));
649 __ str(R3, Address(R4, -24, Address::Mode::PreIndex));
650 __ str(R3, Address(R4, -24, Address::Mode::PostIndex));
651 __ str(R3, Address(R4, -24, Address::Mode::NegOffset));
652 __ str(R3, Address(R4, -24, Address::Mode::NegPreIndex));
653 __ str(R3, Address(R4, -24, Address::Mode::NegPostIndex));
654
655 __ strb(R3, Address(R4, -24, Address::Mode::Offset));
656 __ strb(R3, Address(R4, -24, Address::Mode::PreIndex));
657 __ strb(R3, Address(R4, -24, Address::Mode::PostIndex));
658 __ strb(R3, Address(R4, -24, Address::Mode::NegOffset));
659 __ strb(R3, Address(R4, -24, Address::Mode::NegPreIndex));
660 __ strb(R3, Address(R4, -24, Address::Mode::NegPostIndex));
661
662 __ strh(R3, Address(R4, -24, Address::Mode::Offset));
663 __ strh(R3, Address(R4, -24, Address::Mode::PreIndex));
664 __ strh(R3, Address(R4, -24, Address::Mode::PostIndex));
665 __ strh(R3, Address(R4, -24, Address::Mode::NegOffset));
666 __ strh(R3, Address(R4, -24, Address::Mode::NegPreIndex));
667 __ strh(R3, Address(R4, -24, Address::Mode::NegPostIndex));
668
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000669 EmitAndCheck(&assembler, "NegativeLoadStore");
Dave Allison65fcc2c2014-04-28 13:45:27 -0700670}
671
672TEST(Thumb2AssemblerTest, SimpleLoadStoreDual) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000673 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700674
675 __ strd(R2, Address(R0, 24, Address::Mode::Offset));
676 __ ldrd(R2, Address(R0, 24, Address::Mode::Offset));
677
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000678 EmitAndCheck(&assembler, "SimpleLoadStoreDual");
Dave Allison65fcc2c2014-04-28 13:45:27 -0700679}
680
681TEST(Thumb2AssemblerTest, ComplexLoadStoreDual) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000682 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700683
684 __ strd(R2, Address(R0, 24, Address::Mode::Offset));
685 __ strd(R2, Address(R0, 24, Address::Mode::PreIndex));
686 __ strd(R2, Address(R0, 24, Address::Mode::PostIndex));
687 __ strd(R2, Address(R0, 24, Address::Mode::NegOffset));
688 __ strd(R2, Address(R0, 24, Address::Mode::NegPreIndex));
689 __ strd(R2, Address(R0, 24, Address::Mode::NegPostIndex));
690
691 __ ldrd(R2, Address(R0, 24, Address::Mode::Offset));
692 __ ldrd(R2, Address(R0, 24, Address::Mode::PreIndex));
693 __ ldrd(R2, Address(R0, 24, Address::Mode::PostIndex));
694 __ ldrd(R2, Address(R0, 24, Address::Mode::NegOffset));
695 __ ldrd(R2, Address(R0, 24, Address::Mode::NegPreIndex));
696 __ ldrd(R2, Address(R0, 24, Address::Mode::NegPostIndex));
697
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000698 EmitAndCheck(&assembler, "ComplexLoadStoreDual");
Dave Allison65fcc2c2014-04-28 13:45:27 -0700699}
700
701TEST(Thumb2AssemblerTest, NegativeLoadStoreDual) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000702 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700703
704 __ strd(R2, Address(R0, -24, Address::Mode::Offset));
705 __ strd(R2, Address(R0, -24, Address::Mode::PreIndex));
706 __ strd(R2, Address(R0, -24, Address::Mode::PostIndex));
707 __ strd(R2, Address(R0, -24, Address::Mode::NegOffset));
708 __ strd(R2, Address(R0, -24, Address::Mode::NegPreIndex));
709 __ strd(R2, Address(R0, -24, Address::Mode::NegPostIndex));
710
711 __ ldrd(R2, Address(R0, -24, Address::Mode::Offset));
712 __ ldrd(R2, Address(R0, -24, Address::Mode::PreIndex));
713 __ ldrd(R2, Address(R0, -24, Address::Mode::PostIndex));
714 __ ldrd(R2, Address(R0, -24, Address::Mode::NegOffset));
715 __ ldrd(R2, Address(R0, -24, Address::Mode::NegPreIndex));
716 __ ldrd(R2, Address(R0, -24, Address::Mode::NegPostIndex));
717
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000718 EmitAndCheck(&assembler, "NegativeLoadStoreDual");
Dave Allison65fcc2c2014-04-28 13:45:27 -0700719}
720
721TEST(Thumb2AssemblerTest, SimpleBranch) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000722 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700723
724 Label l1;
725 __ mov(R0, ShifterOperand(2));
726 __ Bind(&l1);
727 __ mov(R1, ShifterOperand(1));
728 __ b(&l1);
729 Label l2;
730 __ b(&l2);
731 __ mov(R1, ShifterOperand(2));
732 __ Bind(&l2);
733 __ mov(R0, ShifterOperand(3));
734
735 Label l3;
736 __ mov(R0, ShifterOperand(2));
737 __ Bind(&l3);
738 __ mov(R1, ShifterOperand(1));
739 __ b(&l3, EQ);
740
741 Label l4;
742 __ b(&l4, EQ);
743 __ mov(R1, ShifterOperand(2));
744 __ Bind(&l4);
745 __ mov(R0, ShifterOperand(3));
746
747 // 2 linked labels.
748 Label l5;
749 __ b(&l5);
750 __ mov(R1, ShifterOperand(4));
751 __ b(&l5);
752 __ mov(R1, ShifterOperand(5));
753 __ Bind(&l5);
754 __ mov(R0, ShifterOperand(6));
755
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000756 EmitAndCheck(&assembler, "SimpleBranch");
Dave Allison65fcc2c2014-04-28 13:45:27 -0700757}
758
759TEST(Thumb2AssemblerTest, LongBranch) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000760 arm::Thumb2Assembler assembler;
761 __ Force32Bit();
Dave Allison65fcc2c2014-04-28 13:45:27 -0700762 // 32 bit branches.
763 Label l1;
764 __ mov(R0, ShifterOperand(2));
765 __ Bind(&l1);
766 __ mov(R1, ShifterOperand(1));
767 __ b(&l1);
768
769 Label l2;
770 __ b(&l2);
771 __ mov(R1, ShifterOperand(2));
772 __ Bind(&l2);
773 __ mov(R0, ShifterOperand(3));
774
775 Label l3;
776 __ mov(R0, ShifterOperand(2));
777 __ Bind(&l3);
778 __ mov(R1, ShifterOperand(1));
779 __ b(&l3, EQ);
780
781 Label l4;
782 __ b(&l4, EQ);
783 __ mov(R1, ShifterOperand(2));
784 __ Bind(&l4);
785 __ mov(R0, ShifterOperand(3));
786
787 // 2 linked labels.
788 Label l5;
789 __ b(&l5);
790 __ mov(R1, ShifterOperand(4));
791 __ b(&l5);
792 __ mov(R1, ShifterOperand(5));
793 __ Bind(&l5);
794 __ mov(R0, ShifterOperand(6));
795
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000796 EmitAndCheck(&assembler, "LongBranch");
Dave Allison65fcc2c2014-04-28 13:45:27 -0700797}
798
799TEST(Thumb2AssemblerTest, LoadMultiple) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000800 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700801
802 // 16 bit.
803 __ ldm(DB_W, R4, (1 << R0 | 1 << R3));
804
805 // 32 bit.
806 __ ldm(DB_W, R4, (1 << LR | 1 << R11));
807 __ ldm(DB, R4, (1 << LR | 1 << R11));
808
809 // Single reg is converted to ldr
810 __ ldm(DB_W, R4, (1 << R5));
811
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000812 EmitAndCheck(&assembler, "LoadMultiple");
Dave Allison65fcc2c2014-04-28 13:45:27 -0700813}
814
815TEST(Thumb2AssemblerTest, StoreMultiple) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000816 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700817
818 // 16 bit.
819 __ stm(IA_W, R4, (1 << R0 | 1 << R3));
820
821 // 32 bit.
822 __ stm(IA_W, R4, (1 << LR | 1 << R11));
823 __ stm(IA, R4, (1 << LR | 1 << R11));
824
825 // Single reg is converted to str
826 __ stm(IA_W, R4, (1 << R5));
827 __ stm(IA, R4, (1 << R5));
828
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000829 EmitAndCheck(&assembler, "StoreMultiple");
Dave Allison65fcc2c2014-04-28 13:45:27 -0700830}
831
832TEST(Thumb2AssemblerTest, MovWMovT) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000833 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700834
835 __ movw(R4, 0); // 16 bit.
836 __ movw(R4, 0x34); // 16 bit.
837 __ movw(R9, 0x34); // 32 bit due to high register.
838 __ movw(R3, 0x1234); // 32 bit due to large value.
839 __ movw(R9, 0xffff); // 32 bit due to large value and high register.
840
841 // Always 32 bit.
842 __ movt(R0, 0);
843 __ movt(R0, 0x1234);
844 __ movt(R1, 0xffff);
845
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000846 EmitAndCheck(&assembler, "MovWMovT");
Dave Allison65fcc2c2014-04-28 13:45:27 -0700847}
848
849TEST(Thumb2AssemblerTest, SpecialAddSub) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000850 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700851
852 __ add(R2, SP, ShifterOperand(0x50)); // 16 bit.
853 __ add(SP, SP, ShifterOperand(0x50)); // 16 bit.
854 __ add(R8, SP, ShifterOperand(0x50)); // 32 bit.
855
856 __ add(R2, SP, ShifterOperand(0xf00)); // 32 bit due to imm size.
857 __ add(SP, SP, ShifterOperand(0xf00)); // 32 bit due to imm size.
Vladimir Marko6fd0ffe2015-11-19 21:13:52 +0000858 __ add(SP, SP, ShifterOperand(0xffc)); // 32 bit due to imm size; encoding T4.
Dave Allison65fcc2c2014-04-28 13:45:27 -0700859
Vladimir Marko6fd0ffe2015-11-19 21:13:52 +0000860 __ sub(SP, SP, ShifterOperand(0x50)); // 16 bit
861 __ sub(R0, SP, ShifterOperand(0x50)); // 32 bit
862 __ sub(R8, SP, ShifterOperand(0x50)); // 32 bit.
Dave Allison65fcc2c2014-04-28 13:45:27 -0700863
Vladimir Marko6fd0ffe2015-11-19 21:13:52 +0000864 __ sub(SP, SP, ShifterOperand(0xf00)); // 32 bit due to imm size
865 __ sub(SP, SP, ShifterOperand(0xffc)); // 32 bit due to imm size; encoding T4.
Dave Allison65fcc2c2014-04-28 13:45:27 -0700866
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000867 EmitAndCheck(&assembler, "SpecialAddSub");
Dave Allison65fcc2c2014-04-28 13:45:27 -0700868}
869
Vladimir Marko6fd0ffe2015-11-19 21:13:52 +0000870TEST(Thumb2AssemblerTest, LoadFromOffset) {
871 arm::Thumb2Assembler assembler;
872
873 __ LoadFromOffset(kLoadWord, R2, R4, 12);
874 __ LoadFromOffset(kLoadWord, R2, R4, 0xfff);
875 __ LoadFromOffset(kLoadWord, R2, R4, 0x1000);
876 __ LoadFromOffset(kLoadWord, R2, R4, 0x1000a4);
877 __ LoadFromOffset(kLoadWord, R2, R4, 0x101000);
878 __ LoadFromOffset(kLoadWord, R4, R4, 0x101000);
879 __ LoadFromOffset(kLoadUnsignedHalfword, R2, R4, 12);
880 __ LoadFromOffset(kLoadUnsignedHalfword, R2, R4, 0xfff);
881 __ LoadFromOffset(kLoadUnsignedHalfword, R2, R4, 0x1000);
882 __ LoadFromOffset(kLoadUnsignedHalfword, R2, R4, 0x1000a4);
883 __ LoadFromOffset(kLoadUnsignedHalfword, R2, R4, 0x101000);
884 __ LoadFromOffset(kLoadUnsignedHalfword, R4, R4, 0x101000);
885 __ LoadFromOffset(kLoadWordPair, R2, R4, 12);
886 __ LoadFromOffset(kLoadWordPair, R2, R4, 0x3fc);
887 __ LoadFromOffset(kLoadWordPair, R2, R4, 0x400);
888 __ LoadFromOffset(kLoadWordPair, R2, R4, 0x400a4);
889 __ LoadFromOffset(kLoadWordPair, R2, R4, 0x40400);
890 __ LoadFromOffset(kLoadWordPair, R4, R4, 0x40400);
891
892 __ LoadFromOffset(kLoadWord, R0, R12, 12); // 32-bit because of R12.
893 __ LoadFromOffset(kLoadWord, R2, R4, 0xa4 - 0x100000);
894
895 __ LoadFromOffset(kLoadSignedByte, R2, R4, 12);
896 __ LoadFromOffset(kLoadUnsignedByte, R2, R4, 12);
897 __ LoadFromOffset(kLoadSignedHalfword, R2, R4, 12);
898
899 EmitAndCheck(&assembler, "LoadFromOffset");
900}
901
Dave Allison65fcc2c2014-04-28 13:45:27 -0700902TEST(Thumb2AssemblerTest, StoreToOffset) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000903 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700904
Vladimir Marko6fd0ffe2015-11-19 21:13:52 +0000905 __ StoreToOffset(kStoreWord, R2, R4, 12);
906 __ StoreToOffset(kStoreWord, R2, R4, 0xfff);
907 __ StoreToOffset(kStoreWord, R2, R4, 0x1000);
908 __ StoreToOffset(kStoreWord, R2, R4, 0x1000a4);
909 __ StoreToOffset(kStoreWord, R2, R4, 0x101000);
910 __ StoreToOffset(kStoreWord, R4, R4, 0x101000);
911 __ StoreToOffset(kStoreHalfword, R2, R4, 12);
912 __ StoreToOffset(kStoreHalfword, R2, R4, 0xfff);
913 __ StoreToOffset(kStoreHalfword, R2, R4, 0x1000);
914 __ StoreToOffset(kStoreHalfword, R2, R4, 0x1000a4);
915 __ StoreToOffset(kStoreHalfword, R2, R4, 0x101000);
916 __ StoreToOffset(kStoreHalfword, R4, R4, 0x101000);
917 __ StoreToOffset(kStoreWordPair, R2, R4, 12);
918 __ StoreToOffset(kStoreWordPair, R2, R4, 0x3fc);
919 __ StoreToOffset(kStoreWordPair, R2, R4, 0x400);
920 __ StoreToOffset(kStoreWordPair, R2, R4, 0x400a4);
921 __ StoreToOffset(kStoreWordPair, R2, R4, 0x40400);
922 __ StoreToOffset(kStoreWordPair, R4, R4, 0x40400);
923
924 __ StoreToOffset(kStoreWord, R0, R12, 12); // 32-bit because of R12.
925 __ StoreToOffset(kStoreWord, R2, R4, 0xa4 - 0x100000);
926
927 __ StoreToOffset(kStoreByte, R2, R4, 12);
Dave Allison65fcc2c2014-04-28 13:45:27 -0700928
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000929 EmitAndCheck(&assembler, "StoreToOffset");
Dave Allison65fcc2c2014-04-28 13:45:27 -0700930}
931
Dave Allison65fcc2c2014-04-28 13:45:27 -0700932TEST(Thumb2AssemblerTest, IfThen) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000933 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700934
935 __ it(EQ);
936 __ mov(R1, ShifterOperand(1), EQ);
937
938 __ it(EQ, kItThen);
939 __ mov(R1, ShifterOperand(1), EQ);
940 __ mov(R2, ShifterOperand(2), EQ);
941
942 __ it(EQ, kItElse);
943 __ mov(R1, ShifterOperand(1), EQ);
944 __ mov(R2, ShifterOperand(2), NE);
945
946 __ it(EQ, kItThen, kItElse);
947 __ mov(R1, ShifterOperand(1), EQ);
948 __ mov(R2, ShifterOperand(2), EQ);
949 __ mov(R3, ShifterOperand(3), NE);
950
951 __ it(EQ, kItElse, kItElse);
952 __ mov(R1, ShifterOperand(1), EQ);
953 __ mov(R2, ShifterOperand(2), NE);
954 __ mov(R3, ShifterOperand(3), NE);
955
956 __ it(EQ, kItThen, kItThen, kItElse);
957 __ mov(R1, ShifterOperand(1), EQ);
958 __ mov(R2, ShifterOperand(2), EQ);
959 __ mov(R3, ShifterOperand(3), EQ);
960 __ mov(R4, ShifterOperand(4), NE);
961
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000962 EmitAndCheck(&assembler, "IfThen");
Dave Allison65fcc2c2014-04-28 13:45:27 -0700963}
964
965TEST(Thumb2AssemblerTest, CbzCbnz) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000966 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700967
968 Label l1;
969 __ cbz(R2, &l1);
970 __ mov(R1, ShifterOperand(3));
971 __ mov(R2, ShifterOperand(3));
972 __ Bind(&l1);
973 __ mov(R2, ShifterOperand(4));
974
975 Label l2;
976 __ cbnz(R2, &l2);
977 __ mov(R8, ShifterOperand(3));
978 __ mov(R2, ShifterOperand(3));
979 __ Bind(&l2);
980 __ mov(R2, ShifterOperand(4));
981
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000982 EmitAndCheck(&assembler, "CbzCbnz");
Dave Allison65fcc2c2014-04-28 13:45:27 -0700983}
984
985TEST(Thumb2AssemblerTest, Multiply) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +0000986 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700987
988 __ mul(R0, R1, R0);
989 __ mul(R0, R1, R2);
990 __ mul(R8, R9, R8);
991 __ mul(R8, R9, R10);
992
993 __ mla(R0, R1, R2, R3);
994 __ mla(R8, R9, R8, R9);
995
996 __ mls(R0, R1, R2, R3);
997 __ mls(R8, R9, R8, R9);
998
999 __ umull(R0, R1, R2, R3);
1000 __ umull(R8, R9, R10, R11);
1001
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001002 EmitAndCheck(&assembler, "Multiply");
Dave Allison65fcc2c2014-04-28 13:45:27 -07001003}
1004
1005TEST(Thumb2AssemblerTest, Divide) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001006 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -07001007
1008 __ sdiv(R0, R1, R2);
1009 __ sdiv(R8, R9, R10);
1010
1011 __ udiv(R0, R1, R2);
1012 __ udiv(R8, R9, R10);
1013
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001014 EmitAndCheck(&assembler, "Divide");
Dave Allison65fcc2c2014-04-28 13:45:27 -07001015}
1016
1017TEST(Thumb2AssemblerTest, VMov) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001018 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -07001019
1020 __ vmovs(S1, 1.0);
1021 __ vmovd(D1, 1.0);
1022
1023 __ vmovs(S1, S2);
1024 __ vmovd(D1, D2);
1025
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001026 EmitAndCheck(&assembler, "VMov");
Dave Allison65fcc2c2014-04-28 13:45:27 -07001027}
1028
1029
1030TEST(Thumb2AssemblerTest, BasicFloatingPoint) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001031 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -07001032
1033 __ vadds(S0, S1, S2);
1034 __ vsubs(S0, S1, S2);
1035 __ vmuls(S0, S1, S2);
1036 __ vmlas(S0, S1, S2);
1037 __ vmlss(S0, S1, S2);
1038 __ vdivs(S0, S1, S2);
1039 __ vabss(S0, S1);
1040 __ vnegs(S0, S1);
1041 __ vsqrts(S0, S1);
1042
1043 __ vaddd(D0, D1, D2);
1044 __ vsubd(D0, D1, D2);
1045 __ vmuld(D0, D1, D2);
1046 __ vmlad(D0, D1, D2);
1047 __ vmlsd(D0, D1, D2);
1048 __ vdivd(D0, D1, D2);
1049 __ vabsd(D0, D1);
1050 __ vnegd(D0, D1);
1051 __ vsqrtd(D0, D1);
1052
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001053 EmitAndCheck(&assembler, "BasicFloatingPoint");
Dave Allison65fcc2c2014-04-28 13:45:27 -07001054}
1055
1056TEST(Thumb2AssemblerTest, FloatingPointConversions) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001057 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -07001058
1059 __ vcvtsd(S2, D2);
1060 __ vcvtds(D2, S2);
1061
1062 __ vcvtis(S1, S2);
1063 __ vcvtsi(S1, S2);
1064
1065 __ vcvtid(S1, D2);
1066 __ vcvtdi(D1, S2);
1067
1068 __ vcvtus(S1, S2);
1069 __ vcvtsu(S1, S2);
1070
1071 __ vcvtud(S1, D2);
1072 __ vcvtdu(D1, S2);
1073
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001074 EmitAndCheck(&assembler, "FloatingPointConversions");
Dave Allison65fcc2c2014-04-28 13:45:27 -07001075}
1076
1077TEST(Thumb2AssemblerTest, FloatingPointComparisons) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001078 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -07001079
1080 __ vcmps(S0, S1);
1081 __ vcmpd(D0, D1);
1082
1083 __ vcmpsz(S2);
1084 __ vcmpdz(D2);
1085
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001086 EmitAndCheck(&assembler, "FloatingPointComparisons");
Dave Allison65fcc2c2014-04-28 13:45:27 -07001087}
1088
1089TEST(Thumb2AssemblerTest, Calls) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001090 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -07001091
1092 __ blx(LR);
1093 __ bx(LR);
1094
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001095 EmitAndCheck(&assembler, "Calls");
Dave Allison65fcc2c2014-04-28 13:45:27 -07001096}
1097
1098TEST(Thumb2AssemblerTest, Breakpoint) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001099 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -07001100
1101 __ bkpt(0);
1102
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001103 EmitAndCheck(&assembler, "Breakpoint");
Dave Allison65fcc2c2014-04-28 13:45:27 -07001104}
1105
1106TEST(Thumb2AssemblerTest, StrR1) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001107 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -07001108
1109 __ str(R1, Address(SP, 68));
1110 __ str(R1, Address(SP, 1068));
1111
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001112 EmitAndCheck(&assembler, "StrR1");
Dave Allison65fcc2c2014-04-28 13:45:27 -07001113}
1114
1115TEST(Thumb2AssemblerTest, VPushPop) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001116 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -07001117
1118 __ vpushs(S2, 4);
1119 __ vpushd(D2, 4);
1120
1121 __ vpops(S2, 4);
1122 __ vpopd(D2, 4);
1123
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001124 EmitAndCheck(&assembler, "VPushPop");
Dave Allison65fcc2c2014-04-28 13:45:27 -07001125}
1126
1127TEST(Thumb2AssemblerTest, Max16BitBranch) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001128 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -07001129
1130 Label l1;
1131 __ b(&l1);
1132 for (int i = 0 ; i < (1 << 11) ; i += 2) {
1133 __ mov(R3, ShifterOperand(i & 0xff));
1134 }
1135 __ Bind(&l1);
1136 __ mov(R1, ShifterOperand(R2));
1137
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001138 EmitAndCheck(&assembler, "Max16BitBranch");
Dave Allison65fcc2c2014-04-28 13:45:27 -07001139}
1140
1141TEST(Thumb2AssemblerTest, Branch32) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001142 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -07001143
1144 Label l1;
1145 __ b(&l1);
1146 for (int i = 0 ; i < (1 << 11) + 2 ; i += 2) {
1147 __ mov(R3, ShifterOperand(i & 0xff));
1148 }
1149 __ Bind(&l1);
1150 __ mov(R1, ShifterOperand(R2));
1151
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001152 EmitAndCheck(&assembler, "Branch32");
Dave Allison65fcc2c2014-04-28 13:45:27 -07001153}
1154
1155TEST(Thumb2AssemblerTest, CompareAndBranchMax) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001156 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -07001157
1158 Label l1;
1159 __ cbz(R4, &l1);
1160 for (int i = 0 ; i < (1 << 7) ; i += 2) {
1161 __ mov(R3, ShifterOperand(i & 0xff));
1162 }
1163 __ Bind(&l1);
1164 __ mov(R1, ShifterOperand(R2));
1165
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001166 EmitAndCheck(&assembler, "CompareAndBranchMax");
Dave Allison65fcc2c2014-04-28 13:45:27 -07001167}
1168
1169TEST(Thumb2AssemblerTest, CompareAndBranchRelocation16) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001170 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -07001171
1172 Label l1;
1173 __ cbz(R4, &l1);
1174 for (int i = 0 ; i < (1 << 7) + 2 ; i += 2) {
1175 __ mov(R3, ShifterOperand(i & 0xff));
1176 }
1177 __ Bind(&l1);
1178 __ mov(R1, ShifterOperand(R2));
1179
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001180 EmitAndCheck(&assembler, "CompareAndBranchRelocation16");
Dave Allison65fcc2c2014-04-28 13:45:27 -07001181}
1182
1183TEST(Thumb2AssemblerTest, CompareAndBranchRelocation32) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001184 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -07001185
1186 Label l1;
1187 __ cbz(R4, &l1);
1188 for (int i = 0 ; i < (1 << 11) + 2 ; i += 2) {
1189 __ mov(R3, ShifterOperand(i & 0xff));
1190 }
1191 __ Bind(&l1);
1192 __ mov(R1, ShifterOperand(R2));
1193
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001194 EmitAndCheck(&assembler, "CompareAndBranchRelocation32");
Dave Allison65fcc2c2014-04-28 13:45:27 -07001195}
1196
1197TEST(Thumb2AssemblerTest, MixedBranch32) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001198 arm::Thumb2Assembler assembler;
Dave Allison65fcc2c2014-04-28 13:45:27 -07001199
1200 Label l1;
1201 Label l2;
1202 __ b(&l1); // Forwards.
1203 __ Bind(&l2);
1204
1205 // Space to force relocation.
1206 for (int i = 0 ; i < (1 << 11) + 2 ; i += 2) {
1207 __ mov(R3, ShifterOperand(i & 0xff));
1208 }
1209 __ b(&l2); // Backwards.
1210 __ Bind(&l1);
1211 __ mov(R1, ShifterOperand(R2));
1212
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001213 EmitAndCheck(&assembler, "MixedBranch32");
Dave Allison65fcc2c2014-04-28 13:45:27 -07001214}
1215
Dave Allison45fdb932014-06-25 12:37:10 -07001216TEST(Thumb2AssemblerTest, Shifts) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001217 arm::Thumb2Assembler assembler;
Dave Allison45fdb932014-06-25 12:37:10 -07001218
Vladimir Marko73cf0fb2015-07-30 15:07:22 +01001219 // 16 bit selected for CcDontCare.
Dave Allison45fdb932014-06-25 12:37:10 -07001220 __ Lsl(R0, R1, 5);
1221 __ Lsr(R0, R1, 5);
1222 __ Asr(R0, R1, 5);
1223
1224 __ Lsl(R0, R0, R1);
1225 __ Lsr(R0, R0, R1);
1226 __ Asr(R0, R0, R1);
Vladimir Marko73cf0fb2015-07-30 15:07:22 +01001227 __ Ror(R0, R0, R1);
1228
1229 // 16 bit with kCcSet.
1230 __ Lsls(R0, R1, 5);
1231 __ Lsrs(R0, R1, 5);
1232 __ Asrs(R0, R1, 5);
1233
1234 __ Lsls(R0, R0, R1);
1235 __ Lsrs(R0, R0, R1);
1236 __ Asrs(R0, R0, R1);
1237 __ Rors(R0, R0, R1);
1238
1239 // 32-bit with kCcKeep.
1240 __ Lsl(R0, R1, 5, AL, kCcKeep);
1241 __ Lsr(R0, R1, 5, AL, kCcKeep);
1242 __ Asr(R0, R1, 5, AL, kCcKeep);
1243
1244 __ Lsl(R0, R0, R1, AL, kCcKeep);
1245 __ Lsr(R0, R0, R1, AL, kCcKeep);
1246 __ Asr(R0, R0, R1, AL, kCcKeep);
1247 __ Ror(R0, R0, R1, AL, kCcKeep);
1248
1249 // 32-bit because ROR immediate doesn't have a 16-bit version like the other shifts.
1250 __ Ror(R0, R1, 5);
1251 __ Rors(R0, R1, 5);
1252 __ Ror(R0, R1, 5, AL, kCcKeep);
Dave Allison45fdb932014-06-25 12:37:10 -07001253
1254 // 32 bit due to high registers.
1255 __ Lsl(R8, R1, 5);
1256 __ Lsr(R0, R8, 5);
1257 __ Asr(R8, R1, 5);
1258 __ Ror(R0, R8, 5);
1259
1260 // 32 bit due to different Rd and Rn.
1261 __ Lsl(R0, R1, R2);
1262 __ Lsr(R0, R1, R2);
1263 __ Asr(R0, R1, R2);
1264 __ Ror(R0, R1, R2);
1265
1266 // 32 bit due to use of high registers.
1267 __ Lsl(R8, R1, R2);
1268 __ Lsr(R0, R8, R2);
1269 __ Asr(R0, R1, R8);
1270
1271 // S bit (all 32 bit)
1272
1273 // 32 bit due to high registers.
Vladimir Marko73cf0fb2015-07-30 15:07:22 +01001274 __ Lsls(R8, R1, 5);
1275 __ Lsrs(R0, R8, 5);
1276 __ Asrs(R8, R1, 5);
1277 __ Rors(R0, R8, 5);
Dave Allison45fdb932014-06-25 12:37:10 -07001278
1279 // 32 bit due to different Rd and Rn.
Vladimir Marko73cf0fb2015-07-30 15:07:22 +01001280 __ Lsls(R0, R1, R2);
1281 __ Lsrs(R0, R1, R2);
1282 __ Asrs(R0, R1, R2);
1283 __ Rors(R0, R1, R2);
Dave Allison45fdb932014-06-25 12:37:10 -07001284
1285 // 32 bit due to use of high registers.
Vladimir Marko73cf0fb2015-07-30 15:07:22 +01001286 __ Lsls(R8, R1, R2);
1287 __ Lsrs(R0, R8, R2);
1288 __ Asrs(R0, R1, R8);
Dave Allison45fdb932014-06-25 12:37:10 -07001289
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001290 EmitAndCheck(&assembler, "Shifts");
Dave Allison45fdb932014-06-25 12:37:10 -07001291}
1292
1293TEST(Thumb2AssemblerTest, LoadStoreRegOffset) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001294 arm::Thumb2Assembler assembler;
Dave Allison45fdb932014-06-25 12:37:10 -07001295
1296 // 16 bit.
1297 __ ldr(R0, Address(R1, R2));
1298 __ str(R0, Address(R1, R2));
1299
1300 // 32 bit due to shift.
1301 __ ldr(R0, Address(R1, R2, LSL, 1));
1302 __ str(R0, Address(R1, R2, LSL, 1));
1303
1304 __ ldr(R0, Address(R1, R2, LSL, 3));
1305 __ str(R0, Address(R1, R2, LSL, 3));
1306
1307 // 32 bit due to high register use.
1308 __ ldr(R8, Address(R1, R2));
1309 __ str(R8, Address(R1, R2));
1310
1311 __ ldr(R1, Address(R8, R2));
1312 __ str(R2, Address(R8, R2));
1313
1314 __ ldr(R0, Address(R1, R8));
1315 __ str(R0, Address(R1, R8));
1316
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001317 EmitAndCheck(&assembler, "LoadStoreRegOffset");
Dave Allison45fdb932014-06-25 12:37:10 -07001318}
1319
1320TEST(Thumb2AssemblerTest, LoadStoreLiteral) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001321 arm::Thumb2Assembler assembler;
Dave Allison45fdb932014-06-25 12:37:10 -07001322
1323 __ ldr(R0, Address(4));
1324 __ str(R0, Address(4));
1325
1326 __ ldr(R0, Address(-8));
1327 __ str(R0, Address(-8));
1328
1329 // Limits.
1330 __ ldr(R0, Address(0x3ff)); // 10 bits (16 bit).
1331 __ ldr(R0, Address(0x7ff)); // 11 bits (32 bit).
1332 __ str(R0, Address(0x3ff)); // 32 bit (no 16 bit str(literal)).
1333 __ str(R0, Address(0x7ff)); // 11 bits (32 bit).
1334
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001335 EmitAndCheck(&assembler, "LoadStoreLiteral");
Dave Allison45fdb932014-06-25 12:37:10 -07001336}
1337
Dave Allison0bb9ade2014-06-26 17:57:36 -07001338TEST(Thumb2AssemblerTest, LoadStoreLimits) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001339 arm::Thumb2Assembler assembler;
Dave Allison0bb9ade2014-06-26 17:57:36 -07001340
1341 __ ldr(R0, Address(R4, 124)); // 16 bit.
1342 __ ldr(R0, Address(R4, 128)); // 32 bit.
1343
1344 __ ldrb(R0, Address(R4, 31)); // 16 bit.
1345 __ ldrb(R0, Address(R4, 32)); // 32 bit.
1346
1347 __ ldrh(R0, Address(R4, 62)); // 16 bit.
1348 __ ldrh(R0, Address(R4, 64)); // 32 bit.
1349
1350 __ ldrsb(R0, Address(R4, 31)); // 32 bit.
1351 __ ldrsb(R0, Address(R4, 32)); // 32 bit.
1352
1353 __ ldrsh(R0, Address(R4, 62)); // 32 bit.
1354 __ ldrsh(R0, Address(R4, 64)); // 32 bit.
1355
1356 __ str(R0, Address(R4, 124)); // 16 bit.
1357 __ str(R0, Address(R4, 128)); // 32 bit.
1358
1359 __ strb(R0, Address(R4, 31)); // 16 bit.
1360 __ strb(R0, Address(R4, 32)); // 32 bit.
1361
1362 __ strh(R0, Address(R4, 62)); // 16 bit.
1363 __ strh(R0, Address(R4, 64)); // 32 bit.
1364
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001365 EmitAndCheck(&assembler, "LoadStoreLimits");
Dave Allison0bb9ade2014-06-26 17:57:36 -07001366}
1367
Nicolas Geoffrayd56376c2015-05-21 12:32:34 +00001368TEST(Thumb2AssemblerTest, CompareAndBranch) {
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001369 arm::Thumb2Assembler assembler;
Nicolas Geoffrayd56376c2015-05-21 12:32:34 +00001370
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001371 Label label;
Nicolas Geoffrayd56376c2015-05-21 12:32:34 +00001372 __ CompareAndBranchIfZero(arm::R0, &label);
1373 __ CompareAndBranchIfZero(arm::R11, &label);
1374 __ CompareAndBranchIfNonZero(arm::R0, &label);
1375 __ CompareAndBranchIfNonZero(arm::R11, &label);
1376 __ Bind(&label);
1377
Vladimir Markocf93a5c2015-06-16 11:33:24 +00001378 EmitAndCheck(&assembler, "CompareAndBranch");
Nicolas Geoffrayd56376c2015-05-21 12:32:34 +00001379}
1380
Dave Allison65fcc2c2014-04-28 13:45:27 -07001381#undef __
1382} // namespace arm
1383} // namespace art