1// Copyright 2016, VIXL authors 2// All rights reserved. 3// 4// Redistribution and use in source and binary forms, with or without 5// modification, are permitted provided that the following conditions are met: 6// 7// * Redistributions of source code must retain the above copyright notice, 8// this list of conditions and the following disclaimer. 9// * Redistributions in binary form must reproduce the above copyright notice, 10// this list of conditions and the following disclaimer in the documentation 11// and/or other materials provided with the distribution. 12// * Neither the name of ARM Limited nor the names of its contributors may be 13// used to endorse or promote products derived from this software without 14// specific prior written permission. 15// 16// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND 17// ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED 18// WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE 19// DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE 20// FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 21// DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR 22// SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER 23// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, 24// OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 25// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 26 27 28// ----------------------------------------------------------------------------- 29// This file is auto generated from the 30// test/aarch32/config/template-simulator-aarch32.cc.in template file using 31// tools/generate_tests.py. 32// 33// PLEASE DO NOT EDIT. 34// ----------------------------------------------------------------------------- 35 36 37#include "test-runner.h" 38 39#include "test-utils.h" 40#include "test-utils-aarch32.h" 41 42#include "aarch32/assembler-aarch32.h" 43#include "aarch32/macro-assembler-aarch32.h" 44#include "aarch32/disasm-aarch32.h" 45 46#define __ masm. 47#define BUF_SIZE (4096) 48 49#ifdef VIXL_INCLUDE_SIMULATOR_AARCH32 50// Run tests with the simulator. 51 52#define SETUP() MacroAssembler masm(BUF_SIZE) 53 54#define START() masm.GetBuffer()->Reset() 55 56#define END() \ 57 __ Hlt(0); \ 58 __ FinalizeCode(); 59 60// TODO: Run the tests in the simulator. 61#define RUN() 62 63#define TEARDOWN() 64 65#else // ifdef VIXL_INCLUDE_SIMULATOR_AARCH32. 66 67#define SETUP() \ 68 MacroAssembler masm(BUF_SIZE); \ 69 UseScratchRegisterScope harness_scratch(&masm); \ 70 harness_scratch.ExcludeAll(); 71 72#define START() \ 73 masm.GetBuffer()->Reset(); \ 74 __ Push(r4); \ 75 __ Push(r5); \ 76 __ Push(r6); \ 77 __ Push(r7); \ 78 __ Push(r8); \ 79 __ Push(r9); \ 80 __ Push(r10); \ 81 __ Push(r11); \ 82 __ Push(lr); \ 83 harness_scratch.Include(ip); 84 85#define END() \ 86 harness_scratch.Exclude(ip); \ 87 __ Pop(lr); \ 88 __ Pop(r11); \ 89 __ Pop(r10); \ 90 __ Pop(r9); \ 91 __ Pop(r8); \ 92 __ Pop(r7); \ 93 __ Pop(r6); \ 94 __ Pop(r5); \ 95 __ Pop(r4); \ 96 __ Bx(lr); \ 97 __ FinalizeCode(); 98 99#define RUN() \ 100 { \ 101 int pcs_offset = masm.IsUsingT32() ? 1 : 0; \ 102 masm.GetBuffer()->SetExecutable(); \ 103 ExecuteMemory(masm.GetBuffer()->GetStartAddress<byte*>(), \ 104 masm.GetSizeOfCodeGenerated(), \ 105 pcs_offset); \ 106 masm.GetBuffer()->SetWritable(); \ 107 } 108 109#define TEARDOWN() harness_scratch.Close(); 110 111#endif // ifdef VIXL_INCLUDE_SIMULATOR_AARCH32 112 113namespace vixl { 114namespace aarch32 { 115 116// List of instruction encodings: 117#define FOREACH_INSTRUCTION(M) \ 118 M(Crc32b) \ 119 M(Crc32cb) \ 120 M(Crc32ch) \ 121 M(Crc32cw) \ 122 M(Crc32h) \ 123 M(Crc32w) 124 125 126// The following definitions are defined again in each generated test, therefore 127// we need to place them in an anomymous namespace. It expresses that they are 128// local to this file only, and the compiler is not allowed to share these types 129// across test files during template instantiation. Specifically, `Operands` and 130// `Inputs` have various layouts across generated tests so they absolutely 131// cannot be shared. 132 133#ifdef VIXL_INCLUDE_TARGET_T32 134namespace { 135 136// Values to be passed to the assembler to produce the instruction under test. 137struct Operands { 138 Register rd; 139 Register rn; 140 Register rm; 141}; 142 143// Input data to feed to the instruction. 144struct Inputs { 145 uint32_t rd; 146 uint32_t rn; 147 uint32_t rm; 148}; 149 150// This structure contains all input data needed to test one specific encoding. 151// It used to generate a loop over an instruction. 152struct TestLoopData { 153 // The `operands` fields represents the values to pass to the assembler to 154 // produce the instruction. 155 Operands operands; 156 // Description of the operands, used for error reporting. 157 const char* operands_description; 158 // Unique identifier, used for generating traces. 159 const char* identifier; 160 // Array of values to be fed to the instruction. 161 size_t input_size; 162 const Inputs* inputs; 163}; 164 165static const Inputs kRnIsRm[] = {{0xffffffe0, 0x00007fff, 0x00007fff}, 166 {0xaaaaaaaa, 0x00007fff, 0x00007fff}, 167 {0xffffff82, 0x7ffffffe, 0x7ffffffe}, 168 {0x7ffffffd, 0x33333333, 0x33333333}, 169 {0x00007ffd, 0x00000002, 0x00000002}, 170 {0xffffff80, 0xfffffffd, 0xfffffffd}, 171 {0xffffff82, 0x33333333, 0x33333333}, 172 {0xcccccccc, 0xffff8002, 0xffff8002}, 173 {0x55555555, 0xffffffe0, 0xffffffe0}, 174 {0x00007fff, 0xffffffff, 0xffffffff}, 175 {0x55555555, 0x33333333, 0x33333333}, 176 {0x7ffffffd, 0xffff8002, 0xffff8002}, 177 {0x00000020, 0xffffff83, 0xffffff83}, 178 {0x0000007e, 0x00007fff, 0x00007fff}, 179 {0xfffffffe, 0xffffff82, 0xffffff82}, 180 {0xffffff82, 0x00007fff, 0x00007fff}, 181 {0xffffff82, 0xfffffffd, 0xfffffffd}, 182 {0x80000000, 0x7fffffff, 0x7fffffff}, 183 {0x55555555, 0x00000002, 0x00000002}, 184 {0xfffffffe, 0xffffff80, 0xffffff80}, 185 {0xfffffffe, 0x00000002, 0x00000002}, 186 {0xfffffffe, 0x00000020, 0x00000020}, 187 {0xfffffffe, 0x00007ffd, 0x00007ffd}, 188 {0x0000007f, 0x33333333, 0x33333333}, 189 {0xfffffffd, 0xfffffffe, 0xfffffffe}, 190 {0x80000001, 0x7ffffffd, 0x7ffffffd}, 191 {0x7ffffffe, 0xffffff83, 0xffffff83}, 192 {0xffffffe0, 0x00000002, 0x00000002}, 193 {0x00007ffe, 0xffffff83, 0xffffff83}, 194 {0xffffff82, 0xffffff80, 0xffffff80}, 195 {0x0000007e, 0x33333333, 0x33333333}, 196 {0xffff8001, 0xfffffffe, 0xfffffffe}, 197 {0xfffffffe, 0xffffff81, 0xffffff81}, 198 {0x00000001, 0xffffff83, 0xffffff83}, 199 {0xfffffffe, 0xaaaaaaaa, 0xaaaaaaaa}, 200 {0xcccccccc, 0xffffff80, 0xffffff80}, 201 {0xffffff83, 0x0000007f, 0x0000007f}, 202 {0x00007ffd, 0x00000020, 0x00000020}, 203 {0x0000007d, 0xfffffffd, 0xfffffffd}, 204 {0x7ffffffe, 0xaaaaaaaa, 0xaaaaaaaa}, 205 {0xffffff83, 0x00000001, 0x00000001}, 206 {0x0000007d, 0xffff8000, 0xffff8000}, 207 {0xffffffe0, 0x00000020, 0x00000020}, 208 {0xffff8003, 0xffffff80, 0xffffff80}, 209 {0x00000000, 0xaaaaaaaa, 0xaaaaaaaa}, 210 {0x00007fff, 0x00000020, 0x00000020}, 211 {0x80000000, 0x0000007d, 0x0000007d}, 212 {0xffffff81, 0x0000007e, 0x0000007e}, 213 {0xcccccccc, 0x00000020, 0x00000020}, 214 {0xffffff81, 0x33333333, 0x33333333}, 215 {0xffff8002, 0xffffffe0, 0xffffffe0}, 216 {0xffffffe0, 0x00007ffe, 0x00007ffe}, 217 {0xffff8002, 0xaaaaaaaa, 0xaaaaaaaa}, 218 {0xffff8001, 0x00007ffe, 0x00007ffe}, 219 {0x80000000, 0xcccccccc, 0xcccccccc}, 220 {0x7ffffffd, 0x00000002, 0x00000002}, 221 {0xcccccccc, 0x0000007f, 0x0000007f}, 222 {0x7ffffffe, 0xffffff82, 0xffffff82}, 223 {0x00000001, 0x0000007e, 0x0000007e}, 224 {0x00007ffd, 0x00007ffe, 0x00007ffe}, 225 {0x7ffffffd, 0xfffffffe, 0xfffffffe}, 226 {0x00000001, 0x80000001, 0x80000001}, 227 {0x00007ffe, 0x7fffffff, 0x7fffffff}, 228 {0xffff8001, 0xffff8002, 0xffff8002}, 229 {0x00000001, 0xffff8003, 0xffff8003}, 230 {0x00000002, 0xfffffffe, 0xfffffffe}, 231 {0x00000002, 0x00007ffd, 0x00007ffd}, 232 {0x7ffffffe, 0xfffffffd, 0xfffffffd}, 233 {0xffff8001, 0x7ffffffd, 0x7ffffffd}, 234 {0x7ffffffd, 0x55555555, 0x55555555}, 235 {0x80000000, 0xffffff80, 0xffffff80}, 236 {0xffff8002, 0xffff8003, 0xffff8003}, 237 {0xffffffff, 0x00000020, 0x00000020}, 238 {0xfffffffe, 0x00000001, 0x00000001}, 239 {0x00007fff, 0x00007fff, 0x00007fff}, 240 {0x00000000, 0xffffff83, 0xffffff83}, 241 {0x33333333, 0xaaaaaaaa, 0xaaaaaaaa}, 242 {0x0000007d, 0x7ffffffe, 0x7ffffffe}, 243 {0xffff8003, 0xffff8001, 0xffff8001}, 244 {0xfffffffd, 0xcccccccc, 0xcccccccc}, 245 {0x80000000, 0x80000001, 0x80000001}, 246 {0xffff8002, 0x00000002, 0x00000002}, 247 {0xfffffffd, 0xffffffe0, 0xffffffe0}, 248 {0xffffffe0, 0xffffff82, 0xffffff82}, 249 {0x33333333, 0x00007ffe, 0x00007ffe}, 250 {0xffff8002, 0xffffff80, 0xffffff80}, 251 {0xffffff81, 0x80000000, 0x80000000}, 252 {0x00000000, 0x80000000, 0x80000000}, 253 {0x00000000, 0xcccccccc, 0xcccccccc}, 254 {0x00000020, 0xffffffe0, 0xffffffe0}, 255 {0x00007ffe, 0xffffffe0, 0xffffffe0}, 256 {0xffffff81, 0xfffffffe, 0xfffffffe}, 257 {0x00000002, 0x00007ffe, 0x00007ffe}, 258 {0xffff8000, 0x7fffffff, 0x7fffffff}, 259 {0x00000002, 0x55555555, 0x55555555}, 260 {0xffff8000, 0x55555555, 0x55555555}, 261 {0xffff8001, 0x00000020, 0x00000020}, 262 {0xffffffff, 0x55555555, 0x55555555}, 263 {0x33333333, 0x00000020, 0x00000020}, 264 {0xfffffffd, 0x7fffffff, 0x7fffffff}, 265 {0x7ffffffd, 0x7fffffff, 0x7fffffff}, 266 {0xaaaaaaaa, 0xffffff81, 0xffffff81}, 267 {0x00007ffd, 0x80000001, 0x80000001}, 268 {0x7ffffffe, 0xffffffff, 0xffffffff}, 269 {0x00007ffe, 0x7ffffffe, 0x7ffffffe}, 270 {0xffff8001, 0x55555555, 0x55555555}, 271 {0xffffff80, 0xfffffffe, 0xfffffffe}, 272 {0x0000007e, 0x7ffffffd, 0x7ffffffd}, 273 {0x00000000, 0x00007ffd, 0x00007ffd}, 274 {0x00000020, 0x80000001, 0x80000001}, 275 {0xffffff83, 0xffffffe0, 0xffffffe0}, 276 {0x55555555, 0xffff8000, 0xffff8000}, 277 {0x33333333, 0xffff8002, 0xffff8002}, 278 {0x7ffffffd, 0x0000007f, 0x0000007f}, 279 {0x00000002, 0xffffff82, 0xffffff82}, 280 {0xfffffffe, 0xcccccccc, 0xcccccccc}, 281 {0x33333333, 0xffffff82, 0xffffff82}, 282 {0x7ffffffd, 0x00007ffd, 0x00007ffd}, 283 {0x00000002, 0xffffff80, 0xffffff80}, 284 {0xffff8001, 0x00000000, 0x00000000}, 285 {0x7ffffffe, 0x0000007d, 0x0000007d}, 286 {0x00000001, 0x00000020, 0x00000020}, 287 {0xaaaaaaaa, 0xffffff82, 0xffffff82}, 288 {0x00000001, 0xfffffffd, 0xfffffffd}, 289 {0x80000001, 0xfffffffe, 0xfffffffe}, 290 {0xffffff80, 0x80000000, 0x80000000}, 291 {0x80000000, 0xffffffff, 0xffffffff}, 292 {0x00000001, 0x00000001, 0x00000001}, 293 {0x80000001, 0xffff8003, 0xffff8003}, 294 {0xffffffff, 0xffffff83, 0xffffff83}, 295 {0x00007ffe, 0x00007ffe, 0x00007ffe}, 296 {0x7ffffffd, 0xcccccccc, 0xcccccccc}, 297 {0xffff8003, 0xcccccccc, 0xcccccccc}, 298 {0xcccccccc, 0x00007fff, 0x00007fff}, 299 {0x00000002, 0x7ffffffd, 0x7ffffffd}, 300 {0x00000002, 0xffff8002, 0xffff8002}, 301 {0xffffff80, 0x33333333, 0x33333333}, 302 {0x55555555, 0xffffff82, 0xffffff82}, 303 {0x7fffffff, 0x00007fff, 0x00007fff}, 304 {0x33333333, 0x00000001, 0x00000001}, 305 {0x33333333, 0xffffffe0, 0xffffffe0}, 306 {0xffffff83, 0x0000007e, 0x0000007e}, 307 {0x00000002, 0xffff8001, 0xffff8001}, 308 {0xcccccccc, 0xffffffe0, 0xffffffe0}, 309 {0xffff8000, 0x7ffffffe, 0x7ffffffe}, 310 {0x00007ffe, 0xffffff81, 0xffffff81}, 311 {0x7ffffffd, 0xffffffe0, 0xffffffe0}, 312 {0x00007fff, 0xffffff81, 0xffffff81}, 313 {0xffffffff, 0x00007ffd, 0x00007ffd}, 314 {0x00007fff, 0x80000001, 0x80000001}, 315 {0xffffffff, 0xcccccccc, 0xcccccccc}, 316 {0x00007ffd, 0x0000007d, 0x0000007d}, 317 {0x0000007e, 0x00000000, 0x00000000}, 318 {0x0000007f, 0x7ffffffe, 0x7ffffffe}, 319 {0x00000020, 0xffffff82, 0xffffff82}, 320 {0xcccccccc, 0x80000001, 0x80000001}, 321 {0xffff8002, 0x00007ffd, 0x00007ffd}, 322 {0xffff8000, 0x00000001, 0x00000001}, 323 {0xffffff83, 0xffffff83, 0xffffff83}, 324 {0x00000002, 0xffffffe0, 0xffffffe0}, 325 {0xfffffffe, 0xffff8000, 0xffff8000}, 326 {0x7ffffffe, 0xffffff80, 0xffffff80}, 327 {0x0000007f, 0xffffff81, 0xffffff81}, 328 {0xffffffff, 0x0000007f, 0x0000007f}, 329 {0x7ffffffe, 0x0000007e, 0x0000007e}, 330 {0x80000000, 0xfffffffd, 0xfffffffd}, 331 {0x33333333, 0x0000007d, 0x0000007d}, 332 {0x80000001, 0xcccccccc, 0xcccccccc}, 333 {0xaaaaaaaa, 0x7ffffffd, 0x7ffffffd}, 334 {0x7fffffff, 0x0000007f, 0x0000007f}, 335 {0x0000007e, 0xffff8001, 0xffff8001}, 336 {0x0000007d, 0xaaaaaaaa, 0xaaaaaaaa}, 337 {0xffffff82, 0x55555555, 0x55555555}, 338 {0x55555555, 0xffffff81, 0xffffff81}, 339 {0xcccccccc, 0xffffff82, 0xffffff82}, 340 {0x0000007d, 0x0000007d, 0x0000007d}, 341 {0xfffffffd, 0xfffffffd, 0xfffffffd}, 342 {0xffffff82, 0xffff8002, 0xffff8002}, 343 {0xffffffe0, 0x00000001, 0x00000001}, 344 {0x0000007d, 0x00007ffe, 0x00007ffe}, 345 {0xfffffffe, 0xffff8003, 0xffff8003}, 346 {0x00000001, 0xffff8001, 0xffff8001}, 347 {0xffff8003, 0x00007ffe, 0x00007ffe}, 348 {0x7ffffffd, 0x00000020, 0x00000020}, 349 {0xfffffffd, 0x00007ffe, 0x00007ffe}, 350 {0x7fffffff, 0xfffffffd, 0xfffffffd}, 351 {0x7fffffff, 0xffff8001, 0xffff8001}, 352 {0xffff8003, 0xffffffff, 0xffffffff}, 353 {0x0000007d, 0x33333333, 0x33333333}, 354 {0xffffffff, 0x00000000, 0x00000000}, 355 {0xffffffe0, 0xffffff81, 0xffffff81}, 356 {0xffffffe0, 0xffffffff, 0xffffffff}, 357 {0x00007ffd, 0x00007ffd, 0x00007ffd}, 358 {0x00000002, 0x33333333, 0x33333333}, 359 {0x0000007f, 0x00000002, 0x00000002}, 360 {0xffff8000, 0x0000007e, 0x0000007e}, 361 {0x80000000, 0x00007fff, 0x00007fff}, 362 {0xffff8000, 0xfffffffd, 0xfffffffd}, 363 {0xffff8002, 0xcccccccc, 0xcccccccc}, 364 {0xffff8003, 0xffffff82, 0xffffff82}}; 365 366static const Inputs kRnIsNotRm[] = {{0x00007ffe, 0x00007ffe, 0x80000000}, 367 {0x80000001, 0xcccccccc, 0x00000001}, 368 {0x0000007d, 0x00000020, 0xcccccccc}, 369 {0x7ffffffd, 0x55555555, 0x0000007f}, 370 {0x00000020, 0xffff8001, 0x80000001}, 371 {0xffffffe0, 0xffffff81, 0xffffff83}, 372 {0x00000002, 0xffffff80, 0xaaaaaaaa}, 373 {0x00000002, 0x00000001, 0x0000007d}, 374 {0xffffff83, 0x00007ffd, 0x00000002}, 375 {0xffff8000, 0x00000020, 0x55555555}, 376 {0x00007ffd, 0x0000007f, 0x7ffffffd}, 377 {0xfffffffd, 0x80000000, 0x00000000}, 378 {0x0000007f, 0x33333333, 0x7fffffff}, 379 {0x00000000, 0x33333333, 0x55555555}, 380 {0xffffff81, 0x00007fff, 0xaaaaaaaa}, 381 {0x33333333, 0x00000000, 0x7ffffffe}, 382 {0xfffffffe, 0x00000001, 0xffffffff}, 383 {0xaaaaaaaa, 0xffffffe0, 0xffffff80}, 384 {0x33333333, 0xffffffe0, 0x7fffffff}, 385 {0x55555555, 0x7ffffffd, 0xffffff81}, 386 {0xaaaaaaaa, 0xffffffe0, 0x0000007f}, 387 {0x00007fff, 0xfffffffd, 0xcccccccc}, 388 {0x7fffffff, 0xffff8002, 0x00000001}, 389 {0x0000007d, 0x00000002, 0x7fffffff}, 390 {0x00000002, 0x55555555, 0x00007ffe}, 391 {0x00007ffd, 0x0000007d, 0xfffffffe}, 392 {0x7ffffffd, 0x55555555, 0xffffff83}, 393 {0x7ffffffe, 0x80000001, 0x00000001}, 394 {0xfffffffd, 0x80000001, 0x80000000}, 395 {0xffff8002, 0x00000000, 0x80000001}, 396 {0x0000007d, 0x00000020, 0x0000007e}, 397 {0x00000020, 0x0000007f, 0x80000001}, 398 {0x7ffffffe, 0x80000001, 0xffff8002}, 399 {0xffffff81, 0xffffff80, 0xffffff81}, 400 {0x7ffffffe, 0xffffff80, 0x0000007d}, 401 {0x00007ffd, 0x00000000, 0x55555555}, 402 {0xcccccccc, 0xcccccccc, 0x7ffffffe}, 403 {0xffff8002, 0x00000001, 0xffff8000}, 404 {0x00007ffe, 0x0000007d, 0xffffffe0}, 405 {0x00007ffd, 0x7ffffffe, 0xffffffe0}, 406 {0x80000001, 0x7ffffffe, 0xffff8001}, 407 {0x55555555, 0xffffff80, 0xffff8003}, 408 {0xfffffffd, 0xffff8002, 0x55555555}, 409 {0x33333333, 0xffff8000, 0xffff8003}, 410 {0x7ffffffd, 0xffff8002, 0x0000007e}, 411 {0x7fffffff, 0xffffff80, 0xfffffffd}, 412 {0xffff8002, 0x00000001, 0xaaaaaaaa}, 413 {0xffffff83, 0xffff8001, 0x33333333}, 414 {0x00000000, 0xfffffffe, 0x0000007e}, 415 {0x80000000, 0xffffffe0, 0x0000007d}, 416 {0xffff8000, 0x33333333, 0x00000002}, 417 {0xfffffffe, 0x00000002, 0xffffffe0}, 418 {0x00007ffd, 0x0000007e, 0x7ffffffe}, 419 {0xffffff81, 0xffffffff, 0x00000000}, 420 {0x0000007e, 0x7ffffffe, 0x33333333}, 421 {0x00000002, 0x80000001, 0xffffff80}, 422 {0x7ffffffd, 0xffffff82, 0x7ffffffe}, 423 {0xffffff81, 0x0000007e, 0xffffff81}, 424 {0xffff8002, 0x00007fff, 0x0000007f}, 425 {0xcccccccc, 0xcccccccc, 0x0000007d}, 426 {0x7ffffffd, 0xffffff80, 0x00007ffe}, 427 {0x55555555, 0x55555555, 0xfffffffe}, 428 {0x00000001, 0x00000020, 0x00000001}, 429 {0x0000007f, 0x7ffffffd, 0x80000001}, 430 {0x55555555, 0xaaaaaaaa, 0xfffffffd}, 431 {0x00000020, 0x00007fff, 0xffffff81}, 432 {0xffffff80, 0x33333333, 0xffffff81}, 433 {0x00000000, 0xffff8001, 0xffffff83}, 434 {0x0000007e, 0x33333333, 0x7ffffffd}, 435 {0xaaaaaaaa, 0x55555555, 0xffffffff}, 436 {0xfffffffd, 0xffff8000, 0x00000000}, 437 {0xffff8000, 0xfffffffe, 0x7fffffff}, 438 {0xffff8001, 0xcccccccc, 0x33333333}, 439 {0x00007ffd, 0xffff8001, 0x0000007f}, 440 {0xffffff83, 0x7ffffffd, 0x7fffffff}, 441 {0xffffff81, 0xffffffe0, 0x00007fff}, 442 {0xffffffff, 0x00000002, 0xffffff82}, 443 {0xffff8001, 0xffffff81, 0x55555555}, 444 {0x00007fff, 0xffffff83, 0x00007ffe}, 445 {0x00007fff, 0xcccccccc, 0x00000020}, 446 {0x7fffffff, 0x7ffffffd, 0xffff8000}, 447 {0x0000007f, 0x80000000, 0x7ffffffd}, 448 {0x0000007e, 0x0000007e, 0x0000007d}, 449 {0xfffffffe, 0x00000020, 0xffffff80}, 450 {0x00007ffd, 0x00007ffe, 0xffffff82}, 451 {0x00000020, 0x80000000, 0x0000007e}, 452 {0x00000020, 0x00000002, 0xffffffff}, 453 {0x00007fff, 0xffff8000, 0x00007fff}, 454 {0xcccccccc, 0x7ffffffd, 0x80000000}, 455 {0xffffff80, 0x00000002, 0xffffff81}, 456 {0xfffffffe, 0xffffff83, 0x33333333}, 457 {0xffff8000, 0x7ffffffe, 0x55555555}, 458 {0x00007fff, 0x0000007e, 0xffffff81}, 459 {0xaaaaaaaa, 0xcccccccc, 0xffffffe0}, 460 {0x7ffffffd, 0xffffffff, 0xffff8003}, 461 {0xffffff81, 0xffff8002, 0xffffff82}, 462 {0x00000002, 0xffffffe0, 0x80000001}, 463 {0x7ffffffe, 0x33333333, 0xaaaaaaaa}, 464 {0x00007fff, 0x00000020, 0xfffffffe}, 465 {0xcccccccc, 0xfffffffe, 0x00000000}, 466 {0x7ffffffe, 0x80000001, 0xfffffffd}, 467 {0xffffffe0, 0x00000000, 0xaaaaaaaa}, 468 {0x80000000, 0xffffff83, 0xffff8000}, 469 {0xffffff81, 0xfffffffe, 0xffffff83}, 470 {0x80000000, 0x0000007e, 0xffff8002}, 471 {0x80000001, 0x00000020, 0x00007ffe}, 472 {0x00000000, 0x00000020, 0x0000007e}, 473 {0x80000001, 0xffffffff, 0x7ffffffe}, 474 {0xffffff83, 0x33333333, 0x00000001}, 475 {0x00000020, 0xffffff80, 0xffffff81}, 476 {0xcccccccc, 0xffff8000, 0x00007ffd}, 477 {0xffff8003, 0x00000000, 0x0000007f}, 478 {0xffff8003, 0x00000001, 0x0000007d}, 479 {0x0000007e, 0x00000020, 0x55555555}, 480 {0xffffffff, 0xfffffffe, 0xffffff83}, 481 {0xffffff80, 0x80000000, 0xfffffffe}, 482 {0x0000007e, 0x0000007e, 0x00000000}, 483 {0xaaaaaaaa, 0x00000002, 0xffffffe0}, 484 {0xffff8001, 0x00007ffe, 0x00000020}, 485 {0x7ffffffe, 0xffff8000, 0x00007ffe}, 486 {0xffffff80, 0x33333333, 0x00007fff}, 487 {0x33333333, 0xffffff81, 0x00000001}, 488 {0x00000000, 0x33333333, 0x00000020}, 489 {0x00007fff, 0x00000020, 0x0000007e}, 490 {0xcccccccc, 0x55555555, 0xffffffe0}, 491 {0xffffff80, 0x0000007e, 0x33333333}, 492 {0x0000007e, 0xffff8002, 0x00000000}, 493 {0xffffff83, 0xffffffe0, 0xfffffffd}, 494 {0x00000001, 0x0000007f, 0xffff8001}, 495 {0xffffffff, 0x00000020, 0xcccccccc}, 496 {0x7ffffffd, 0xfffffffd, 0xffff8000}, 497 {0xffffffff, 0x80000000, 0x00007fff}, 498 {0x00000020, 0xffffffe0, 0xfffffffd}, 499 {0x55555555, 0xffff8002, 0x0000007f}, 500 {0xffff8002, 0x55555555, 0x0000007f}, 501 {0xffff8003, 0xffff8000, 0x0000007d}, 502 {0x00007fff, 0x00007ffe, 0x00000000}, 503 {0xcccccccc, 0xffffff81, 0x00007fff}, 504 {0x7ffffffd, 0xcccccccc, 0xffff8000}, 505 {0x7ffffffe, 0xffff8001, 0x80000000}, 506 {0x0000007f, 0xffffffe0, 0x80000001}, 507 {0xffff8000, 0x00007ffd, 0xffff8003}, 508 {0xffff8001, 0xffffff80, 0x00000001}, 509 {0x33333333, 0x00000000, 0x80000000}, 510 {0xfffffffe, 0x7ffffffd, 0x80000001}, 511 {0x00000000, 0xffffffe0, 0x80000001}, 512 {0xffff8002, 0x7ffffffe, 0x33333333}, 513 {0xffffffe0, 0x0000007e, 0x00000001}, 514 {0xffffff80, 0xffffffe0, 0x00007ffe}, 515 {0xffff8000, 0x0000007f, 0x80000001}, 516 {0xffffff80, 0xffffff80, 0xffff8002}, 517 {0x7fffffff, 0x0000007f, 0xfffffffd}, 518 {0x00000001, 0xffffffe0, 0xffffffff}, 519 {0x55555555, 0x0000007f, 0xffff8002}, 520 {0xffff8001, 0xfffffffd, 0x00000020}, 521 {0x00007ffd, 0xfffffffd, 0x0000007e}, 522 {0xfffffffd, 0xffff8003, 0x55555555}, 523 {0xfffffffe, 0xffffff80, 0x0000007f}, 524 {0x0000007f, 0x0000007f, 0xfffffffe}, 525 {0x33333333, 0x55555555, 0xffff8003}, 526 {0x0000007d, 0x00000020, 0x55555555}, 527 {0xffff8003, 0x33333333, 0xffffff83}, 528 {0xffffffe0, 0x00007fff, 0xffffff80}, 529 {0x00000020, 0x00000001, 0x0000007d}, 530 {0xffffff83, 0x00007fff, 0xaaaaaaaa}, 531 {0xfffffffd, 0xffffff83, 0x55555555}, 532 {0xffff8002, 0x00007fff, 0xffffffe0}, 533 {0x80000001, 0xffffff82, 0x00007ffd}, 534 {0xffff8000, 0x00000002, 0xffffffe0}, 535 {0xfffffffd, 0xffffff80, 0x7ffffffe}, 536 {0xffffffff, 0xaaaaaaaa, 0xffff8000}, 537 {0x7ffffffd, 0x00000002, 0xffff8002}, 538 {0xffff8001, 0x00007ffe, 0xffffffff}, 539 {0xffff8001, 0x00000001, 0x00000000}, 540 {0x80000001, 0xffffff80, 0x7ffffffd}, 541 {0xffffff80, 0x0000007d, 0xffffff81}, 542 {0xffffff81, 0xcccccccc, 0xffffff81}, 543 {0xaaaaaaaa, 0x00000000, 0xffffff81}, 544 {0x00000002, 0x00000020, 0xffffff81}, 545 {0x7ffffffd, 0x7ffffffe, 0xffffff83}, 546 {0x7fffffff, 0x55555555, 0x0000007f}, 547 {0xfffffffd, 0xffffff82, 0xfffffffd}, 548 {0x00000020, 0x00007ffd, 0xffffff81}, 549 {0x0000007e, 0xffffff83, 0x33333333}, 550 {0xffffff83, 0x00007fff, 0x00000002}, 551 {0xffffffe0, 0xffffff80, 0xffff8001}, 552 {0x00000000, 0x00000000, 0x00000002}, 553 {0xfffffffd, 0x7ffffffe, 0x00000001}, 554 {0xfffffffd, 0xfffffffd, 0xffffff80}, 555 {0xffffff83, 0x00000000, 0x00007ffe}, 556 {0xffff8002, 0xcccccccc, 0x33333333}, 557 {0xffffff80, 0xffffff81, 0x0000007d}, 558 {0x0000007e, 0xffff8000, 0x00007ffe}, 559 {0x0000007e, 0x80000000, 0x80000001}, 560 {0xffffff83, 0x00007fff, 0xffffffe0}, 561 {0xcccccccc, 0x00007fff, 0xffffff80}, 562 {0x0000007f, 0x0000007e, 0xfffffffd}, 563 {0xcccccccc, 0xffffffff, 0x00000001}, 564 {0xffffffff, 0xffff8000, 0xffffff82}, 565 {0xfffffffe, 0x00000002, 0xffffffff}}; 566 567 568// A loop will be generated for each element of this array. 569const TestLoopData kTests[] = { 570 {{r9, r8, r8}, "r9 r8 r8", "RnIsRm_r9_r8_r8", ARRAY_SIZE(kRnIsRm), kRnIsRm}, 571 {{r6, r11, r11}, 572 "r6 r11 r11", 573 "RnIsRm_r6_r11_r11", 574 ARRAY_SIZE(kRnIsRm), 575 kRnIsRm}, 576 {{r3, r12, r12}, 577 "r3 r12 r12", 578 "RnIsRm_r3_r12_r12", 579 ARRAY_SIZE(kRnIsRm), 580 kRnIsRm}, 581 {{r14, r3, r3}, 582 "r14 r3 r3", 583 "RnIsRm_r14_r3_r3", 584 ARRAY_SIZE(kRnIsRm), 585 kRnIsRm}, 586 {{r10, r4, r4}, 587 "r10 r4 r4", 588 "RnIsRm_r10_r4_r4", 589 ARRAY_SIZE(kRnIsRm), 590 kRnIsRm}, 591 {{r6, r8, r8}, "r6 r8 r8", "RnIsRm_r6_r8_r8", ARRAY_SIZE(kRnIsRm), kRnIsRm}, 592 {{r5, r7, r7}, "r5 r7 r7", "RnIsRm_r5_r7_r7", ARRAY_SIZE(kRnIsRm), kRnIsRm}, 593 {{r6, r3, r3}, "r6 r3 r3", "RnIsRm_r6_r3_r3", ARRAY_SIZE(kRnIsRm), kRnIsRm}, 594 {{r7, r0, r0}, "r7 r0 r0", "RnIsRm_r7_r0_r0", ARRAY_SIZE(kRnIsRm), kRnIsRm}, 595 {{r2, r1, r1}, "r2 r1 r1", "RnIsRm_r2_r1_r1", ARRAY_SIZE(kRnIsRm), kRnIsRm}, 596 {{r5, r3, r14}, 597 "r5 r3 r14", 598 "RnIsNotRm_r5_r3_r14", 599 ARRAY_SIZE(kRnIsNotRm), 600 kRnIsNotRm}, 601 {{r10, r8, r3}, 602 "r10 r8 r3", 603 "RnIsNotRm_r10_r8_r3", 604 ARRAY_SIZE(kRnIsNotRm), 605 kRnIsNotRm}, 606 {{r2, r8, r11}, 607 "r2 r8 r11", 608 "RnIsNotRm_r2_r8_r11", 609 ARRAY_SIZE(kRnIsNotRm), 610 kRnIsNotRm}, 611 {{r7, r12, r7}, 612 "r7 r12 r7", 613 "RnIsNotRm_r7_r12_r7", 614 ARRAY_SIZE(kRnIsNotRm), 615 kRnIsNotRm}, 616 {{r2, r4, r10}, 617 "r2 r4 r10", 618 "RnIsNotRm_r2_r4_r10", 619 ARRAY_SIZE(kRnIsNotRm), 620 kRnIsNotRm}, 621 {{r1, r10, r8}, 622 "r1 r10 r8", 623 "RnIsNotRm_r1_r10_r8", 624 ARRAY_SIZE(kRnIsNotRm), 625 kRnIsNotRm}, 626 {{r1, r4, r2}, 627 "r1 r4 r2", 628 "RnIsNotRm_r1_r4_r2", 629 ARRAY_SIZE(kRnIsNotRm), 630 kRnIsNotRm}, 631 {{r12, r2, r12}, 632 "r12 r2 r12", 633 "RnIsNotRm_r12_r2_r12", 634 ARRAY_SIZE(kRnIsNotRm), 635 kRnIsNotRm}, 636 {{r4, r8, r5}, 637 "r4 r8 r5", 638 "RnIsNotRm_r4_r8_r5", 639 ARRAY_SIZE(kRnIsNotRm), 640 kRnIsNotRm}, 641 {{r4, r0, r9}, 642 "r4 r0 r9", 643 "RnIsNotRm_r4_r0_r9", 644 ARRAY_SIZE(kRnIsNotRm), 645 kRnIsNotRm}}; 646 647// We record all inputs to the instructions as outputs. This way, we also check 648// that what shouldn't change didn't change. 649struct TestResult { 650 size_t output_size; 651 const Inputs* outputs; 652}; 653 654// These headers each contain an array of `TestResult` with the reference output 655// values. The reference arrays are names `kReference{mnemonic}`. 656#include "aarch32/traces/simulator-rd-rn-rm-t32-crc32b.h" 657#include "aarch32/traces/simulator-rd-rn-rm-t32-crc32cb.h" 658#include "aarch32/traces/simulator-rd-rn-rm-t32-crc32ch.h" 659#include "aarch32/traces/simulator-rd-rn-rm-t32-crc32cw.h" 660#include "aarch32/traces/simulator-rd-rn-rm-t32-crc32h.h" 661#include "aarch32/traces/simulator-rd-rn-rm-t32-crc32w.h" 662 663 664// The maximum number of errors to report in detail for each test. 665const unsigned kErrorReportLimit = 8; 666 667typedef void (MacroAssembler::*Fn)(Register rd, Register rn, Register rm); 668 669void TestHelper(Fn instruction, 670 const char* mnemonic, 671 const TestResult reference[]) { 672 SETUP(); 673 masm.UseT32(); 674 START(); 675 676 // Data to compare to `reference`. 677 TestResult* results[ARRAY_SIZE(kTests)]; 678 679 // Test cases for memory bound instructions may allocate a buffer and save its 680 // address in this array. 681 byte* scratch_memory_buffers[ARRAY_SIZE(kTests)]; 682 683 // Generate a loop for each element in `kTests`. Each loop tests one specific 684 // instruction. 685 for (unsigned i = 0; i < ARRAY_SIZE(kTests); i++) { 686 // Allocate results on the heap for this test. 687 results[i] = new TestResult; 688 results[i]->outputs = new Inputs[kTests[i].input_size]; 689 results[i]->output_size = kTests[i].input_size; 690 691 size_t input_stride = sizeof(kTests[i].inputs[0]) * kTests[i].input_size; 692 VIXL_ASSERT(IsUint32(input_stride)); 693 694 scratch_memory_buffers[i] = NULL; 695 696 Label loop; 697 UseScratchRegisterScope scratch_registers(&masm); 698 // Include all registers from r0 ro r12. 699 scratch_registers.Include(RegisterList(0x1fff)); 700 701 // Values to pass to the macro-assembler. 702 Register rd = kTests[i].operands.rd; 703 Register rn = kTests[i].operands.rn; 704 Register rm = kTests[i].operands.rm; 705 scratch_registers.Exclude(rd); 706 scratch_registers.Exclude(rn); 707 scratch_registers.Exclude(rm); 708 709 // Allocate reserved registers for our own use. 710 Register input_ptr = scratch_registers.Acquire(); 711 Register input_end = scratch_registers.Acquire(); 712 Register result_ptr = scratch_registers.Acquire(); 713 714 // Initialize `input_ptr` to the first element and `input_end` the address 715 // after the array. 716 __ Mov(input_ptr, Operand::From(kTests[i].inputs)); 717 __ Add(input_end, input_ptr, static_cast<uint32_t>(input_stride)); 718 __ Mov(result_ptr, Operand::From(results[i]->outputs)); 719 __ Bind(&loop); 720 721 __ Ldr(rd, MemOperand(input_ptr, offsetof(Inputs, rd))); 722 __ Ldr(rn, MemOperand(input_ptr, offsetof(Inputs, rn))); 723 __ Ldr(rm, MemOperand(input_ptr, offsetof(Inputs, rm))); 724 725 (masm.*instruction)(rd, rn, rm); 726 727 __ Str(rd, MemOperand(result_ptr, offsetof(Inputs, rd))); 728 __ Str(rn, MemOperand(result_ptr, offsetof(Inputs, rn))); 729 __ Str(rm, MemOperand(result_ptr, offsetof(Inputs, rm))); 730 731 // Advance the result pointer. 732 __ Add(result_ptr, result_ptr, Operand::From(sizeof(kTests[i].inputs[0]))); 733 // Loop back until `input_ptr` is lower than `input_base`. 734 __ Add(input_ptr, input_ptr, Operand::From(sizeof(kTests[i].inputs[0]))); 735 __ Cmp(input_ptr, input_end); 736 __ B(ne, &loop); 737 } 738 739 END(); 740 741 RUN(); 742 743 if (Test::generate_test_trace()) { 744 // Print the results. 745 for (size_t i = 0; i < ARRAY_SIZE(kTests); i++) { 746 printf("const Inputs kOutputs_%s_%s[] = {\n", 747 mnemonic, 748 kTests[i].identifier); 749 for (size_t j = 0; j < results[i]->output_size; j++) { 750 printf(" { "); 751 printf("0x%08" PRIx32, results[i]->outputs[j].rd); 752 printf(", "); 753 printf("0x%08" PRIx32, results[i]->outputs[j].rn); 754 printf(", "); 755 printf("0x%08" PRIx32, results[i]->outputs[j].rm); 756 printf(" },\n"); 757 } 758 printf("};\n"); 759 } 760 printf("const TestResult kReference%s[] = {\n", mnemonic); 761 for (size_t i = 0; i < ARRAY_SIZE(kTests); i++) { 762 printf(" {\n"); 763 printf(" ARRAY_SIZE(kOutputs_%s_%s),\n", 764 mnemonic, 765 kTests[i].identifier); 766 printf(" kOutputs_%s_%s,\n", mnemonic, kTests[i].identifier); 767 printf(" },\n"); 768 } 769 printf("};\n"); 770 } else if (kCheckSimulatorTestResults) { 771 // Check the results. 772 unsigned total_error_count = 0; 773 for (size_t i = 0; i < ARRAY_SIZE(kTests); i++) { 774 bool instruction_has_errors = false; 775 for (size_t j = 0; j < kTests[i].input_size; j++) { 776 uint32_t rd = results[i]->outputs[j].rd; 777 uint32_t rn = results[i]->outputs[j].rn; 778 uint32_t rm = results[i]->outputs[j].rm; 779 uint32_t rd_input = kTests[i].inputs[j].rd; 780 uint32_t rn_input = kTests[i].inputs[j].rn; 781 uint32_t rm_input = kTests[i].inputs[j].rm; 782 uint32_t rd_ref = reference[i].outputs[j].rd; 783 uint32_t rn_ref = reference[i].outputs[j].rn; 784 uint32_t rm_ref = reference[i].outputs[j].rm; 785 786 if (((rd != rd_ref) || (rn != rn_ref) || (rm != rm_ref)) && 787 (++total_error_count <= kErrorReportLimit)) { 788 // Print the instruction once even if it triggered multiple failures. 789 if (!instruction_has_errors) { 790 printf("Error(s) when testing \"%s %s\":\n", 791 mnemonic, 792 kTests[i].operands_description); 793 instruction_has_errors = true; 794 } 795 // Print subsequent errors. 796 printf(" Input: "); 797 printf("0x%08" PRIx32, rd_input); 798 printf(", "); 799 printf("0x%08" PRIx32, rn_input); 800 printf(", "); 801 printf("0x%08" PRIx32, rm_input); 802 printf("\n"); 803 printf(" Expected: "); 804 printf("0x%08" PRIx32, rd_ref); 805 printf(", "); 806 printf("0x%08" PRIx32, rn_ref); 807 printf(", "); 808 printf("0x%08" PRIx32, rm_ref); 809 printf("\n"); 810 printf(" Found: "); 811 printf("0x%08" PRIx32, rd); 812 printf(", "); 813 printf("0x%08" PRIx32, rn); 814 printf(", "); 815 printf("0x%08" PRIx32, rm); 816 printf("\n\n"); 817 } 818 } 819 } 820 821 if (total_error_count > kErrorReportLimit) { 822 printf("%u other errors follow.\n", 823 total_error_count - kErrorReportLimit); 824 } 825 VIXL_CHECK(total_error_count == 0); 826 } else { 827 VIXL_WARNING("Assembled the code, but did not run anything.\n"); 828 } 829 830 for (size_t i = 0; i < ARRAY_SIZE(kTests); i++) { 831 delete[] results[i]->outputs; 832 delete results[i]; 833 delete[] scratch_memory_buffers[i]; 834 } 835 836 TEARDOWN(); 837} 838 839// Instantiate tests for each instruction in the list. 840// TODO: Remove this limitation by having a sandboxing mechanism. 841#if defined(VIXL_HOST_POINTER_32) 842#define TEST(mnemonic) \ 843 void Test_##mnemonic() { \ 844 TestHelper(&MacroAssembler::mnemonic, #mnemonic, kReference##mnemonic); \ 845 } \ 846 Test test_##mnemonic("AARCH32_SIMULATOR_RD_RN_RM_T32_" #mnemonic, \ 847 &Test_##mnemonic); 848#else 849#define TEST(mnemonic) \ 850 void Test_##mnemonic() { \ 851 VIXL_WARNING("This test can only run on a 32-bit host.\n"); \ 852 USE(TestHelper); \ 853 } \ 854 Test test_##mnemonic("AARCH32_SIMULATOR_RD_RN_RM_T32_" #mnemonic, \ 855 &Test_##mnemonic); 856#endif 857 858FOREACH_INSTRUCTION(TEST) 859#undef TEST 860 861} // namespace 862#endif 863 864} // namespace aarch32 865} // namespace vixl 866