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/disasm-aarch32.h" 44 #include "aarch32/macro-assembler-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 #else // ifdef VIXL_INCLUDE_SIMULATOR_AARCH32. 64 65 #define SETUP() \ 66 MacroAssembler masm(BUF_SIZE); \ 67 UseScratchRegisterScope harness_scratch; 68 69 #define START() \ 70 harness_scratch.Open(&masm); \ 71 harness_scratch.ExcludeAll(); \ 72 masm.GetBuffer()->Reset(); \ 73 __ Push(r4); \ 74 __ Push(r5); \ 75 __ Push(r6); \ 76 __ Push(r7); \ 77 __ Push(r8); \ 78 __ Push(r9); \ 79 __ Push(r10); \ 80 __ Push(r11); \ 81 __ Push(lr); \ 82 harness_scratch.Include(ip); 83 84 #define END() \ 85 harness_scratch.Exclude(ip); \ 86 __ Pop(lr); \ 87 __ Pop(r11); \ 88 __ Pop(r10); \ 89 __ Pop(r9); \ 90 __ Pop(r8); \ 91 __ Pop(r7); \ 92 __ Pop(r6); \ 93 __ Pop(r5); \ 94 __ Pop(r4); \ 95 __ Bx(lr); \ 96 __ FinalizeCode(); \ 97 harness_scratch.Close(); 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 #endif // ifdef VIXL_INCLUDE_SIMULATOR_AARCH32 110 111 namespace vixl { 112 namespace aarch32 { 113 114 // List of instruction encodings: 115 #define FOREACH_INSTRUCTION(M) \ 116 M(Add) \ 117 M(Sub) 118 119 120 // The following definitions are defined again in each generated test, therefore 121 // we need to place them in an anomymous namespace. It expresses that they are 122 // local to this file only, and the compiler is not allowed to share these types 123 // across test files during template instantiation. Specifically, `Operands` and 124 // `Inputs` have various layouts across generated tests so they absolutely 125 // cannot be shared. 126 127 #ifdef VIXL_INCLUDE_TARGET_T32 128 namespace { 129 130 // Values to be passed to the assembler to produce the instruction under test. 131 struct Operands { 132 Condition cond; 133 Register rd; 134 Register rn; 135 int32_t immediate; 136 }; 137 138 // Input data to feed to the instruction. 139 struct Inputs { 140 uint32_t rd; 141 uint32_t rn; 142 }; 143 144 // This structure contains all input data needed to test one specific encoding. 145 // It used to generate a loop over an instruction. 146 struct TestLoopData { 147 // The `operands` fields represents the values to pass to the assembler to 148 // produce the instruction. 149 Operands operands; 150 // Description of the operands, used for error reporting. 151 const char* operands_description; 152 // Unique identifier, used for generating traces. 153 const char* identifier; 154 // Array of values to be fed to the instruction. 155 size_t input_size; 156 const Inputs* inputs; 157 }; 158 159 static const Inputs kRdIsRn[] = 160 {{0x00000000, 0x00000000}, {0x00000001, 0x00000001}, 161 {0x00000002, 0x00000002}, {0x00000020, 0x00000020}, 162 {0x0000007d, 0x0000007d}, {0x0000007e, 0x0000007e}, 163 {0x0000007f, 0x0000007f}, {0x00007ffd, 0x00007ffd}, 164 {0x00007ffe, 0x00007ffe}, {0x00007fff, 0x00007fff}, 165 {0x33333333, 0x33333333}, {0x55555555, 0x55555555}, 166 {0x7ffffffd, 0x7ffffffd}, {0x7ffffffe, 0x7ffffffe}, 167 {0x7fffffff, 0x7fffffff}, {0x80000000, 0x80000000}, 168 {0x80000001, 0x80000001}, {0xaaaaaaaa, 0xaaaaaaaa}, 169 {0xcccccccc, 0xcccccccc}, {0xffff8000, 0xffff8000}, 170 {0xffff8001, 0xffff8001}, {0xffff8002, 0xffff8002}, 171 {0xffff8003, 0xffff8003}, {0xffffff80, 0xffffff80}, 172 {0xffffff81, 0xffffff81}, {0xffffff82, 0xffffff82}, 173 {0xffffff83, 0xffffff83}, {0xffffffe0, 0xffffffe0}, 174 {0xfffffffd, 0xfffffffd}, {0xfffffffe, 0xfffffffe}, 175 {0xffffffff, 0xffffffff}}; 176 177 static const Inputs kRdIsNotRn[] = 178 {{0x00000000, 0x00000000}, {0x00000000, 0x00000001}, 179 {0x00000000, 0x00000002}, {0x00000000, 0x00000020}, 180 {0x00000000, 0x0000007d}, {0x00000000, 0x0000007e}, 181 {0x00000000, 0x0000007f}, {0x00000000, 0x00007ffd}, 182 {0x00000000, 0x00007ffe}, {0x00000000, 0x00007fff}, 183 {0x00000000, 0x33333333}, {0x00000000, 0x55555555}, 184 {0x00000000, 0x7ffffffd}, {0x00000000, 0x7ffffffe}, 185 {0x00000000, 0x7fffffff}, {0x00000000, 0x80000000}, 186 {0x00000000, 0x80000001}, {0x00000000, 0xaaaaaaaa}, 187 {0x00000000, 0xcccccccc}, {0x00000000, 0xffff8000}, 188 {0x00000000, 0xffff8001}, {0x00000000, 0xffff8002}, 189 {0x00000000, 0xffff8003}, {0x00000000, 0xffffff80}, 190 {0x00000000, 0xffffff81}, {0x00000000, 0xffffff82}, 191 {0x00000000, 0xffffff83}, {0x00000000, 0xffffffe0}, 192 {0x00000000, 0xfffffffd}, {0x00000000, 0xfffffffe}, 193 {0x00000000, 0xffffffff}, {0x00000001, 0x00000000}, 194 {0x00000001, 0x00000001}, {0x00000001, 0x00000002}, 195 {0x00000001, 0x00000020}, {0x00000001, 0x0000007d}, 196 {0x00000001, 0x0000007e}, {0x00000001, 0x0000007f}, 197 {0x00000001, 0x00007ffd}, {0x00000001, 0x00007ffe}, 198 {0x00000001, 0x00007fff}, {0x00000001, 0x33333333}, 199 {0x00000001, 0x55555555}, {0x00000001, 0x7ffffffd}, 200 {0x00000001, 0x7ffffffe}, {0x00000001, 0x7fffffff}, 201 {0x00000001, 0x80000000}, {0x00000001, 0x80000001}, 202 {0x00000001, 0xaaaaaaaa}, {0x00000001, 0xcccccccc}, 203 {0x00000001, 0xffff8000}, {0x00000001, 0xffff8001}, 204 {0x00000001, 0xffff8002}, {0x00000001, 0xffff8003}, 205 {0x00000001, 0xffffff80}, {0x00000001, 0xffffff81}, 206 {0x00000001, 0xffffff82}, {0x00000001, 0xffffff83}, 207 {0x00000001, 0xffffffe0}, {0x00000001, 0xfffffffd}, 208 {0x00000001, 0xfffffffe}, {0x00000001, 0xffffffff}, 209 {0x00000002, 0x00000000}, {0x00000002, 0x00000001}, 210 {0x00000002, 0x00000002}, {0x00000002, 0x00000020}, 211 {0x00000002, 0x0000007d}, {0x00000002, 0x0000007e}, 212 {0x00000002, 0x0000007f}, {0x00000002, 0x00007ffd}, 213 {0x00000002, 0x00007ffe}, {0x00000002, 0x00007fff}, 214 {0x00000002, 0x33333333}, {0x00000002, 0x55555555}, 215 {0x00000002, 0x7ffffffd}, {0x00000002, 0x7ffffffe}, 216 {0x00000002, 0x7fffffff}, {0x00000002, 0x80000000}, 217 {0x00000002, 0x80000001}, {0x00000002, 0xaaaaaaaa}, 218 {0x00000002, 0xcccccccc}, {0x00000002, 0xffff8000}, 219 {0x00000002, 0xffff8001}, {0x00000002, 0xffff8002}, 220 {0x00000002, 0xffff8003}, {0x00000002, 0xffffff80}, 221 {0x00000002, 0xffffff81}, {0x00000002, 0xffffff82}, 222 {0x00000002, 0xffffff83}, {0x00000002, 0xffffffe0}, 223 {0x00000002, 0xfffffffd}, {0x00000002, 0xfffffffe}, 224 {0x00000002, 0xffffffff}, {0x00000020, 0x00000000}, 225 {0x00000020, 0x00000001}, {0x00000020, 0x00000002}, 226 {0x00000020, 0x00000020}, {0x00000020, 0x0000007d}, 227 {0x00000020, 0x0000007e}, {0x00000020, 0x0000007f}, 228 {0x00000020, 0x00007ffd}, {0x00000020, 0x00007ffe}, 229 {0x00000020, 0x00007fff}, {0x00000020, 0x33333333}, 230 {0x00000020, 0x55555555}, {0x00000020, 0x7ffffffd}, 231 {0x00000020, 0x7ffffffe}, {0x00000020, 0x7fffffff}, 232 {0x00000020, 0x80000000}, {0x00000020, 0x80000001}, 233 {0x00000020, 0xaaaaaaaa}, {0x00000020, 0xcccccccc}, 234 {0x00000020, 0xffff8000}, {0x00000020, 0xffff8001}, 235 {0x00000020, 0xffff8002}, {0x00000020, 0xffff8003}, 236 {0x00000020, 0xffffff80}, {0x00000020, 0xffffff81}, 237 {0x00000020, 0xffffff82}, {0x00000020, 0xffffff83}, 238 {0x00000020, 0xffffffe0}, {0x00000020, 0xfffffffd}, 239 {0x00000020, 0xfffffffe}, {0x00000020, 0xffffffff}, 240 {0x0000007d, 0x00000000}, {0x0000007d, 0x00000001}, 241 {0x0000007d, 0x00000002}, {0x0000007d, 0x00000020}, 242 {0x0000007d, 0x0000007d}, {0x0000007d, 0x0000007e}, 243 {0x0000007d, 0x0000007f}, {0x0000007d, 0x00007ffd}, 244 {0x0000007d, 0x00007ffe}, {0x0000007d, 0x00007fff}, 245 {0x0000007d, 0x33333333}, {0x0000007d, 0x55555555}, 246 {0x0000007d, 0x7ffffffd}, {0x0000007d, 0x7ffffffe}, 247 {0x0000007d, 0x7fffffff}, {0x0000007d, 0x80000000}, 248 {0x0000007d, 0x80000001}, {0x0000007d, 0xaaaaaaaa}, 249 {0x0000007d, 0xcccccccc}, {0x0000007d, 0xffff8000}, 250 {0x0000007d, 0xffff8001}, {0x0000007d, 0xffff8002}, 251 {0x0000007d, 0xffff8003}, {0x0000007d, 0xffffff80}, 252 {0x0000007d, 0xffffff81}, {0x0000007d, 0xffffff82}, 253 {0x0000007d, 0xffffff83}, {0x0000007d, 0xffffffe0}, 254 {0x0000007d, 0xfffffffd}, {0x0000007d, 0xfffffffe}, 255 {0x0000007d, 0xffffffff}, {0x0000007e, 0x00000000}, 256 {0x0000007e, 0x00000001}, {0x0000007e, 0x00000002}, 257 {0x0000007e, 0x00000020}, {0x0000007e, 0x0000007d}, 258 {0x0000007e, 0x0000007e}, {0x0000007e, 0x0000007f}, 259 {0x0000007e, 0x00007ffd}, {0x0000007e, 0x00007ffe}, 260 {0x0000007e, 0x00007fff}, {0x0000007e, 0x33333333}, 261 {0x0000007e, 0x55555555}, {0x0000007e, 0x7ffffffd}, 262 {0x0000007e, 0x7ffffffe}, {0x0000007e, 0x7fffffff}, 263 {0x0000007e, 0x80000000}, {0x0000007e, 0x80000001}, 264 {0x0000007e, 0xaaaaaaaa}, {0x0000007e, 0xcccccccc}, 265 {0x0000007e, 0xffff8000}, {0x0000007e, 0xffff8001}, 266 {0x0000007e, 0xffff8002}, {0x0000007e, 0xffff8003}, 267 {0x0000007e, 0xffffff80}, {0x0000007e, 0xffffff81}, 268 {0x0000007e, 0xffffff82}, {0x0000007e, 0xffffff83}, 269 {0x0000007e, 0xffffffe0}, {0x0000007e, 0xfffffffd}, 270 {0x0000007e, 0xfffffffe}, {0x0000007e, 0xffffffff}, 271 {0x0000007f, 0x00000000}, {0x0000007f, 0x00000001}, 272 {0x0000007f, 0x00000002}, {0x0000007f, 0x00000020}, 273 {0x0000007f, 0x0000007d}, {0x0000007f, 0x0000007e}, 274 {0x0000007f, 0x0000007f}, {0x0000007f, 0x00007ffd}, 275 {0x0000007f, 0x00007ffe}, {0x0000007f, 0x00007fff}, 276 {0x0000007f, 0x33333333}, {0x0000007f, 0x55555555}, 277 {0x0000007f, 0x7ffffffd}, {0x0000007f, 0x7ffffffe}, 278 {0x0000007f, 0x7fffffff}, {0x0000007f, 0x80000000}, 279 {0x0000007f, 0x80000001}, {0x0000007f, 0xaaaaaaaa}, 280 {0x0000007f, 0xcccccccc}, {0x0000007f, 0xffff8000}, 281 {0x0000007f, 0xffff8001}, {0x0000007f, 0xffff8002}, 282 {0x0000007f, 0xffff8003}, {0x0000007f, 0xffffff80}, 283 {0x0000007f, 0xffffff81}, {0x0000007f, 0xffffff82}, 284 {0x0000007f, 0xffffff83}, {0x0000007f, 0xffffffe0}, 285 {0x0000007f, 0xfffffffd}, {0x0000007f, 0xfffffffe}, 286 {0x0000007f, 0xffffffff}, {0x00007ffd, 0x00000000}, 287 {0x00007ffd, 0x00000001}, {0x00007ffd, 0x00000002}, 288 {0x00007ffd, 0x00000020}, {0x00007ffd, 0x0000007d}, 289 {0x00007ffd, 0x0000007e}, {0x00007ffd, 0x0000007f}, 290 {0x00007ffd, 0x00007ffd}, {0x00007ffd, 0x00007ffe}, 291 {0x00007ffd, 0x00007fff}, {0x00007ffd, 0x33333333}, 292 {0x00007ffd, 0x55555555}, {0x00007ffd, 0x7ffffffd}, 293 {0x00007ffd, 0x7ffffffe}, {0x00007ffd, 0x7fffffff}, 294 {0x00007ffd, 0x80000000}, {0x00007ffd, 0x80000001}, 295 {0x00007ffd, 0xaaaaaaaa}, {0x00007ffd, 0xcccccccc}, 296 {0x00007ffd, 0xffff8000}, {0x00007ffd, 0xffff8001}, 297 {0x00007ffd, 0xffff8002}, {0x00007ffd, 0xffff8003}, 298 {0x00007ffd, 0xffffff80}, {0x00007ffd, 0xffffff81}, 299 {0x00007ffd, 0xffffff82}, {0x00007ffd, 0xffffff83}, 300 {0x00007ffd, 0xffffffe0}, {0x00007ffd, 0xfffffffd}, 301 {0x00007ffd, 0xfffffffe}, {0x00007ffd, 0xffffffff}, 302 {0x00007ffe, 0x00000000}, {0x00007ffe, 0x00000001}, 303 {0x00007ffe, 0x00000002}, {0x00007ffe, 0x00000020}, 304 {0x00007ffe, 0x0000007d}, {0x00007ffe, 0x0000007e}, 305 {0x00007ffe, 0x0000007f}, {0x00007ffe, 0x00007ffd}, 306 {0x00007ffe, 0x00007ffe}, {0x00007ffe, 0x00007fff}, 307 {0x00007ffe, 0x33333333}, {0x00007ffe, 0x55555555}, 308 {0x00007ffe, 0x7ffffffd}, {0x00007ffe, 0x7ffffffe}, 309 {0x00007ffe, 0x7fffffff}, {0x00007ffe, 0x80000000}, 310 {0x00007ffe, 0x80000001}, {0x00007ffe, 0xaaaaaaaa}, 311 {0x00007ffe, 0xcccccccc}, {0x00007ffe, 0xffff8000}, 312 {0x00007ffe, 0xffff8001}, {0x00007ffe, 0xffff8002}, 313 {0x00007ffe, 0xffff8003}, {0x00007ffe, 0xffffff80}, 314 {0x00007ffe, 0xffffff81}, {0x00007ffe, 0xffffff82}, 315 {0x00007ffe, 0xffffff83}, {0x00007ffe, 0xffffffe0}, 316 {0x00007ffe, 0xfffffffd}, {0x00007ffe, 0xfffffffe}, 317 {0x00007ffe, 0xffffffff}, {0x00007fff, 0x00000000}, 318 {0x00007fff, 0x00000001}, {0x00007fff, 0x00000002}, 319 {0x00007fff, 0x00000020}, {0x00007fff, 0x0000007d}, 320 {0x00007fff, 0x0000007e}, {0x00007fff, 0x0000007f}, 321 {0x00007fff, 0x00007ffd}, {0x00007fff, 0x00007ffe}, 322 {0x00007fff, 0x00007fff}, {0x00007fff, 0x33333333}, 323 {0x00007fff, 0x55555555}, {0x00007fff, 0x7ffffffd}, 324 {0x00007fff, 0x7ffffffe}, {0x00007fff, 0x7fffffff}, 325 {0x00007fff, 0x80000000}, {0x00007fff, 0x80000001}, 326 {0x00007fff, 0xaaaaaaaa}, {0x00007fff, 0xcccccccc}, 327 {0x00007fff, 0xffff8000}, {0x00007fff, 0xffff8001}, 328 {0x00007fff, 0xffff8002}, {0x00007fff, 0xffff8003}, 329 {0x00007fff, 0xffffff80}, {0x00007fff, 0xffffff81}, 330 {0x00007fff, 0xffffff82}, {0x00007fff, 0xffffff83}, 331 {0x00007fff, 0xffffffe0}, {0x00007fff, 0xfffffffd}, 332 {0x00007fff, 0xfffffffe}, {0x00007fff, 0xffffffff}, 333 {0x33333333, 0x00000000}, {0x33333333, 0x00000001}, 334 {0x33333333, 0x00000002}, {0x33333333, 0x00000020}, 335 {0x33333333, 0x0000007d}, {0x33333333, 0x0000007e}, 336 {0x33333333, 0x0000007f}, {0x33333333, 0x00007ffd}, 337 {0x33333333, 0x00007ffe}, {0x33333333, 0x00007fff}, 338 {0x33333333, 0x33333333}, {0x33333333, 0x55555555}, 339 {0x33333333, 0x7ffffffd}, {0x33333333, 0x7ffffffe}, 340 {0x33333333, 0x7fffffff}, {0x33333333, 0x80000000}, 341 {0x33333333, 0x80000001}, {0x33333333, 0xaaaaaaaa}, 342 {0x33333333, 0xcccccccc}, {0x33333333, 0xffff8000}, 343 {0x33333333, 0xffff8001}, {0x33333333, 0xffff8002}, 344 {0x33333333, 0xffff8003}, {0x33333333, 0xffffff80}, 345 {0x33333333, 0xffffff81}, {0x33333333, 0xffffff82}, 346 {0x33333333, 0xffffff83}, {0x33333333, 0xffffffe0}, 347 {0x33333333, 0xfffffffd}, {0x33333333, 0xfffffffe}, 348 {0x33333333, 0xffffffff}, {0x55555555, 0x00000000}, 349 {0x55555555, 0x00000001}, {0x55555555, 0x00000002}, 350 {0x55555555, 0x00000020}, {0x55555555, 0x0000007d}, 351 {0x55555555, 0x0000007e}, {0x55555555, 0x0000007f}, 352 {0x55555555, 0x00007ffd}, {0x55555555, 0x00007ffe}, 353 {0x55555555, 0x00007fff}, {0x55555555, 0x33333333}, 354 {0x55555555, 0x55555555}, {0x55555555, 0x7ffffffd}, 355 {0x55555555, 0x7ffffffe}, {0x55555555, 0x7fffffff}, 356 {0x55555555, 0x80000000}, {0x55555555, 0x80000001}, 357 {0x55555555, 0xaaaaaaaa}, {0x55555555, 0xcccccccc}, 358 {0x55555555, 0xffff8000}, {0x55555555, 0xffff8001}, 359 {0x55555555, 0xffff8002}, {0x55555555, 0xffff8003}, 360 {0x55555555, 0xffffff80}, {0x55555555, 0xffffff81}, 361 {0x55555555, 0xffffff82}, {0x55555555, 0xffffff83}, 362 {0x55555555, 0xffffffe0}, {0x55555555, 0xfffffffd}, 363 {0x55555555, 0xfffffffe}, {0x55555555, 0xffffffff}, 364 {0x7ffffffd, 0x00000000}, {0x7ffffffd, 0x00000001}, 365 {0x7ffffffd, 0x00000002}, {0x7ffffffd, 0x00000020}, 366 {0x7ffffffd, 0x0000007d}, {0x7ffffffd, 0x0000007e}, 367 {0x7ffffffd, 0x0000007f}, {0x7ffffffd, 0x00007ffd}, 368 {0x7ffffffd, 0x00007ffe}, {0x7ffffffd, 0x00007fff}, 369 {0x7ffffffd, 0x33333333}, {0x7ffffffd, 0x55555555}, 370 {0x7ffffffd, 0x7ffffffd}, {0x7ffffffd, 0x7ffffffe}, 371 {0x7ffffffd, 0x7fffffff}, {0x7ffffffd, 0x80000000}, 372 {0x7ffffffd, 0x80000001}, {0x7ffffffd, 0xaaaaaaaa}, 373 {0x7ffffffd, 0xcccccccc}, {0x7ffffffd, 0xffff8000}, 374 {0x7ffffffd, 0xffff8001}, {0x7ffffffd, 0xffff8002}, 375 {0x7ffffffd, 0xffff8003}, {0x7ffffffd, 0xffffff80}, 376 {0x7ffffffd, 0xffffff81}, {0x7ffffffd, 0xffffff82}, 377 {0x7ffffffd, 0xffffff83}, {0x7ffffffd, 0xffffffe0}, 378 {0x7ffffffd, 0xfffffffd}, {0x7ffffffd, 0xfffffffe}, 379 {0x7ffffffd, 0xffffffff}, {0x7ffffffe, 0x00000000}, 380 {0x7ffffffe, 0x00000001}, {0x7ffffffe, 0x00000002}, 381 {0x7ffffffe, 0x00000020}, {0x7ffffffe, 0x0000007d}, 382 {0x7ffffffe, 0x0000007e}, {0x7ffffffe, 0x0000007f}, 383 {0x7ffffffe, 0x00007ffd}, {0x7ffffffe, 0x00007ffe}, 384 {0x7ffffffe, 0x00007fff}, {0x7ffffffe, 0x33333333}, 385 {0x7ffffffe, 0x55555555}, {0x7ffffffe, 0x7ffffffd}, 386 {0x7ffffffe, 0x7ffffffe}, {0x7ffffffe, 0x7fffffff}, 387 {0x7ffffffe, 0x80000000}, {0x7ffffffe, 0x80000001}, 388 {0x7ffffffe, 0xaaaaaaaa}, {0x7ffffffe, 0xcccccccc}, 389 {0x7ffffffe, 0xffff8000}, {0x7ffffffe, 0xffff8001}, 390 {0x7ffffffe, 0xffff8002}, {0x7ffffffe, 0xffff8003}, 391 {0x7ffffffe, 0xffffff80}, {0x7ffffffe, 0xffffff81}, 392 {0x7ffffffe, 0xffffff82}, {0x7ffffffe, 0xffffff83}, 393 {0x7ffffffe, 0xffffffe0}, {0x7ffffffe, 0xfffffffd}, 394 {0x7ffffffe, 0xfffffffe}, {0x7ffffffe, 0xffffffff}, 395 {0x7fffffff, 0x00000000}, {0x7fffffff, 0x00000001}, 396 {0x7fffffff, 0x00000002}, {0x7fffffff, 0x00000020}, 397 {0x7fffffff, 0x0000007d}, {0x7fffffff, 0x0000007e}, 398 {0x7fffffff, 0x0000007f}, {0x7fffffff, 0x00007ffd}, 399 {0x7fffffff, 0x00007ffe}, {0x7fffffff, 0x00007fff}, 400 {0x7fffffff, 0x33333333}, {0x7fffffff, 0x55555555}, 401 {0x7fffffff, 0x7ffffffd}, {0x7fffffff, 0x7ffffffe}, 402 {0x7fffffff, 0x7fffffff}, {0x7fffffff, 0x80000000}, 403 {0x7fffffff, 0x80000001}, {0x7fffffff, 0xaaaaaaaa}, 404 {0x7fffffff, 0xcccccccc}, {0x7fffffff, 0xffff8000}, 405 {0x7fffffff, 0xffff8001}, {0x7fffffff, 0xffff8002}, 406 {0x7fffffff, 0xffff8003}, {0x7fffffff, 0xffffff80}, 407 {0x7fffffff, 0xffffff81}, {0x7fffffff, 0xffffff82}, 408 {0x7fffffff, 0xffffff83}, {0x7fffffff, 0xffffffe0}, 409 {0x7fffffff, 0xfffffffd}, {0x7fffffff, 0xfffffffe}, 410 {0x7fffffff, 0xffffffff}, {0x80000000, 0x00000000}, 411 {0x80000000, 0x00000001}, {0x80000000, 0x00000002}, 412 {0x80000000, 0x00000020}, {0x80000000, 0x0000007d}, 413 {0x80000000, 0x0000007e}, {0x80000000, 0x0000007f}, 414 {0x80000000, 0x00007ffd}, {0x80000000, 0x00007ffe}, 415 {0x80000000, 0x00007fff}, {0x80000000, 0x33333333}, 416 {0x80000000, 0x55555555}, {0x80000000, 0x7ffffffd}, 417 {0x80000000, 0x7ffffffe}, {0x80000000, 0x7fffffff}, 418 {0x80000000, 0x80000000}, {0x80000000, 0x80000001}, 419 {0x80000000, 0xaaaaaaaa}, {0x80000000, 0xcccccccc}, 420 {0x80000000, 0xffff8000}, {0x80000000, 0xffff8001}, 421 {0x80000000, 0xffff8002}, {0x80000000, 0xffff8003}, 422 {0x80000000, 0xffffff80}, {0x80000000, 0xffffff81}, 423 {0x80000000, 0xffffff82}, {0x80000000, 0xffffff83}, 424 {0x80000000, 0xffffffe0}, {0x80000000, 0xfffffffd}, 425 {0x80000000, 0xfffffffe}, {0x80000000, 0xffffffff}, 426 {0x80000001, 0x00000000}, {0x80000001, 0x00000001}, 427 {0x80000001, 0x00000002}, {0x80000001, 0x00000020}, 428 {0x80000001, 0x0000007d}, {0x80000001, 0x0000007e}, 429 {0x80000001, 0x0000007f}, {0x80000001, 0x00007ffd}, 430 {0x80000001, 0x00007ffe}, {0x80000001, 0x00007fff}, 431 {0x80000001, 0x33333333}, {0x80000001, 0x55555555}, 432 {0x80000001, 0x7ffffffd}, {0x80000001, 0x7ffffffe}, 433 {0x80000001, 0x7fffffff}, {0x80000001, 0x80000000}, 434 {0x80000001, 0x80000001}, {0x80000001, 0xaaaaaaaa}, 435 {0x80000001, 0xcccccccc}, {0x80000001, 0xffff8000}, 436 {0x80000001, 0xffff8001}, {0x80000001, 0xffff8002}, 437 {0x80000001, 0xffff8003}, {0x80000001, 0xffffff80}, 438 {0x80000001, 0xffffff81}, {0x80000001, 0xffffff82}, 439 {0x80000001, 0xffffff83}, {0x80000001, 0xffffffe0}, 440 {0x80000001, 0xfffffffd}, {0x80000001, 0xfffffffe}, 441 {0x80000001, 0xffffffff}, {0xaaaaaaaa, 0x00000000}, 442 {0xaaaaaaaa, 0x00000001}, {0xaaaaaaaa, 0x00000002}, 443 {0xaaaaaaaa, 0x00000020}, {0xaaaaaaaa, 0x0000007d}, 444 {0xaaaaaaaa, 0x0000007e}, {0xaaaaaaaa, 0x0000007f}, 445 {0xaaaaaaaa, 0x00007ffd}, {0xaaaaaaaa, 0x00007ffe}, 446 {0xaaaaaaaa, 0x00007fff}, {0xaaaaaaaa, 0x33333333}, 447 {0xaaaaaaaa, 0x55555555}, {0xaaaaaaaa, 0x7ffffffd}, 448 {0xaaaaaaaa, 0x7ffffffe}, {0xaaaaaaaa, 0x7fffffff}, 449 {0xaaaaaaaa, 0x80000000}, {0xaaaaaaaa, 0x80000001}, 450 {0xaaaaaaaa, 0xaaaaaaaa}, {0xaaaaaaaa, 0xcccccccc}, 451 {0xaaaaaaaa, 0xffff8000}, {0xaaaaaaaa, 0xffff8001}, 452 {0xaaaaaaaa, 0xffff8002}, {0xaaaaaaaa, 0xffff8003}, 453 {0xaaaaaaaa, 0xffffff80}, {0xaaaaaaaa, 0xffffff81}, 454 {0xaaaaaaaa, 0xffffff82}, {0xaaaaaaaa, 0xffffff83}, 455 {0xaaaaaaaa, 0xffffffe0}, {0xaaaaaaaa, 0xfffffffd}, 456 {0xaaaaaaaa, 0xfffffffe}, {0xaaaaaaaa, 0xffffffff}, 457 {0xcccccccc, 0x00000000}, {0xcccccccc, 0x00000001}, 458 {0xcccccccc, 0x00000002}, {0xcccccccc, 0x00000020}, 459 {0xcccccccc, 0x0000007d}, {0xcccccccc, 0x0000007e}, 460 {0xcccccccc, 0x0000007f}, {0xcccccccc, 0x00007ffd}, 461 {0xcccccccc, 0x00007ffe}, {0xcccccccc, 0x00007fff}, 462 {0xcccccccc, 0x33333333}, {0xcccccccc, 0x55555555}, 463 {0xcccccccc, 0x7ffffffd}, {0xcccccccc, 0x7ffffffe}, 464 {0xcccccccc, 0x7fffffff}, {0xcccccccc, 0x80000000}, 465 {0xcccccccc, 0x80000001}, {0xcccccccc, 0xaaaaaaaa}, 466 {0xcccccccc, 0xcccccccc}, {0xcccccccc, 0xffff8000}, 467 {0xcccccccc, 0xffff8001}, {0xcccccccc, 0xffff8002}, 468 {0xcccccccc, 0xffff8003}, {0xcccccccc, 0xffffff80}, 469 {0xcccccccc, 0xffffff81}, {0xcccccccc, 0xffffff82}, 470 {0xcccccccc, 0xffffff83}, {0xcccccccc, 0xffffffe0}, 471 {0xcccccccc, 0xfffffffd}, {0xcccccccc, 0xfffffffe}, 472 {0xcccccccc, 0xffffffff}, {0xffff8000, 0x00000000}, 473 {0xffff8000, 0x00000001}, {0xffff8000, 0x00000002}, 474 {0xffff8000, 0x00000020}, {0xffff8000, 0x0000007d}, 475 {0xffff8000, 0x0000007e}, {0xffff8000, 0x0000007f}, 476 {0xffff8000, 0x00007ffd}, {0xffff8000, 0x00007ffe}, 477 {0xffff8000, 0x00007fff}, {0xffff8000, 0x33333333}, 478 {0xffff8000, 0x55555555}, {0xffff8000, 0x7ffffffd}, 479 {0xffff8000, 0x7ffffffe}, {0xffff8000, 0x7fffffff}, 480 {0xffff8000, 0x80000000}, {0xffff8000, 0x80000001}, 481 {0xffff8000, 0xaaaaaaaa}, {0xffff8000, 0xcccccccc}, 482 {0xffff8000, 0xffff8000}, {0xffff8000, 0xffff8001}, 483 {0xffff8000, 0xffff8002}, {0xffff8000, 0xffff8003}, 484 {0xffff8000, 0xffffff80}, {0xffff8000, 0xffffff81}, 485 {0xffff8000, 0xffffff82}, {0xffff8000, 0xffffff83}, 486 {0xffff8000, 0xffffffe0}, {0xffff8000, 0xfffffffd}, 487 {0xffff8000, 0xfffffffe}, {0xffff8000, 0xffffffff}, 488 {0xffff8001, 0x00000000}, {0xffff8001, 0x00000001}, 489 {0xffff8001, 0x00000002}, {0xffff8001, 0x00000020}, 490 {0xffff8001, 0x0000007d}, {0xffff8001, 0x0000007e}, 491 {0xffff8001, 0x0000007f}, {0xffff8001, 0x00007ffd}, 492 {0xffff8001, 0x00007ffe}, {0xffff8001, 0x00007fff}, 493 {0xffff8001, 0x33333333}, {0xffff8001, 0x55555555}, 494 {0xffff8001, 0x7ffffffd}, {0xffff8001, 0x7ffffffe}, 495 {0xffff8001, 0x7fffffff}, {0xffff8001, 0x80000000}, 496 {0xffff8001, 0x80000001}, {0xffff8001, 0xaaaaaaaa}, 497 {0xffff8001, 0xcccccccc}, {0xffff8001, 0xffff8000}, 498 {0xffff8001, 0xffff8001}, {0xffff8001, 0xffff8002}, 499 {0xffff8001, 0xffff8003}, {0xffff8001, 0xffffff80}, 500 {0xffff8001, 0xffffff81}, {0xffff8001, 0xffffff82}, 501 {0xffff8001, 0xffffff83}, {0xffff8001, 0xffffffe0}, 502 {0xffff8001, 0xfffffffd}, {0xffff8001, 0xfffffffe}, 503 {0xffff8001, 0xffffffff}, {0xffff8002, 0x00000000}, 504 {0xffff8002, 0x00000001}, {0xffff8002, 0x00000002}, 505 {0xffff8002, 0x00000020}, {0xffff8002, 0x0000007d}, 506 {0xffff8002, 0x0000007e}, {0xffff8002, 0x0000007f}, 507 {0xffff8002, 0x00007ffd}, {0xffff8002, 0x00007ffe}, 508 {0xffff8002, 0x00007fff}, {0xffff8002, 0x33333333}, 509 {0xffff8002, 0x55555555}, {0xffff8002, 0x7ffffffd}, 510 {0xffff8002, 0x7ffffffe}, {0xffff8002, 0x7fffffff}, 511 {0xffff8002, 0x80000000}, {0xffff8002, 0x80000001}, 512 {0xffff8002, 0xaaaaaaaa}, {0xffff8002, 0xcccccccc}, 513 {0xffff8002, 0xffff8000}, {0xffff8002, 0xffff8001}, 514 {0xffff8002, 0xffff8002}, {0xffff8002, 0xffff8003}, 515 {0xffff8002, 0xffffff80}, {0xffff8002, 0xffffff81}, 516 {0xffff8002, 0xffffff82}, {0xffff8002, 0xffffff83}, 517 {0xffff8002, 0xffffffe0}, {0xffff8002, 0xfffffffd}, 518 {0xffff8002, 0xfffffffe}, {0xffff8002, 0xffffffff}, 519 {0xffff8003, 0x00000000}, {0xffff8003, 0x00000001}, 520 {0xffff8003, 0x00000002}, {0xffff8003, 0x00000020}, 521 {0xffff8003, 0x0000007d}, {0xffff8003, 0x0000007e}, 522 {0xffff8003, 0x0000007f}, {0xffff8003, 0x00007ffd}, 523 {0xffff8003, 0x00007ffe}, {0xffff8003, 0x00007fff}, 524 {0xffff8003, 0x33333333}, {0xffff8003, 0x55555555}, 525 {0xffff8003, 0x7ffffffd}, {0xffff8003, 0x7ffffffe}, 526 {0xffff8003, 0x7fffffff}, {0xffff8003, 0x80000000}, 527 {0xffff8003, 0x80000001}, {0xffff8003, 0xaaaaaaaa}, 528 {0xffff8003, 0xcccccccc}, {0xffff8003, 0xffff8000}, 529 {0xffff8003, 0xffff8001}, {0xffff8003, 0xffff8002}, 530 {0xffff8003, 0xffff8003}, {0xffff8003, 0xffffff80}, 531 {0xffff8003, 0xffffff81}, {0xffff8003, 0xffffff82}, 532 {0xffff8003, 0xffffff83}, {0xffff8003, 0xffffffe0}, 533 {0xffff8003, 0xfffffffd}, {0xffff8003, 0xfffffffe}, 534 {0xffff8003, 0xffffffff}, {0xffffff80, 0x00000000}, 535 {0xffffff80, 0x00000001}, {0xffffff80, 0x00000002}, 536 {0xffffff80, 0x00000020}, {0xffffff80, 0x0000007d}, 537 {0xffffff80, 0x0000007e}, {0xffffff80, 0x0000007f}, 538 {0xffffff80, 0x00007ffd}, {0xffffff80, 0x00007ffe}, 539 {0xffffff80, 0x00007fff}, {0xffffff80, 0x33333333}, 540 {0xffffff80, 0x55555555}, {0xffffff80, 0x7ffffffd}, 541 {0xffffff80, 0x7ffffffe}, {0xffffff80, 0x7fffffff}, 542 {0xffffff80, 0x80000000}, {0xffffff80, 0x80000001}, 543 {0xffffff80, 0xaaaaaaaa}, {0xffffff80, 0xcccccccc}, 544 {0xffffff80, 0xffff8000}, {0xffffff80, 0xffff8001}, 545 {0xffffff80, 0xffff8002}, {0xffffff80, 0xffff8003}, 546 {0xffffff80, 0xffffff80}, {0xffffff80, 0xffffff81}, 547 {0xffffff80, 0xffffff82}, {0xffffff80, 0xffffff83}, 548 {0xffffff80, 0xffffffe0}, {0xffffff80, 0xfffffffd}, 549 {0xffffff80, 0xfffffffe}, {0xffffff80, 0xffffffff}, 550 {0xffffff81, 0x00000000}, {0xffffff81, 0x00000001}, 551 {0xffffff81, 0x00000002}, {0xffffff81, 0x00000020}, 552 {0xffffff81, 0x0000007d}, {0xffffff81, 0x0000007e}, 553 {0xffffff81, 0x0000007f}, {0xffffff81, 0x00007ffd}, 554 {0xffffff81, 0x00007ffe}, {0xffffff81, 0x00007fff}, 555 {0xffffff81, 0x33333333}, {0xffffff81, 0x55555555}, 556 {0xffffff81, 0x7ffffffd}, {0xffffff81, 0x7ffffffe}, 557 {0xffffff81, 0x7fffffff}, {0xffffff81, 0x80000000}, 558 {0xffffff81, 0x80000001}, {0xffffff81, 0xaaaaaaaa}, 559 {0xffffff81, 0xcccccccc}, {0xffffff81, 0xffff8000}, 560 {0xffffff81, 0xffff8001}, {0xffffff81, 0xffff8002}, 561 {0xffffff81, 0xffff8003}, {0xffffff81, 0xffffff80}, 562 {0xffffff81, 0xffffff81}, {0xffffff81, 0xffffff82}, 563 {0xffffff81, 0xffffff83}, {0xffffff81, 0xffffffe0}, 564 {0xffffff81, 0xfffffffd}, {0xffffff81, 0xfffffffe}, 565 {0xffffff81, 0xffffffff}, {0xffffff82, 0x00000000}, 566 {0xffffff82, 0x00000001}, {0xffffff82, 0x00000002}, 567 {0xffffff82, 0x00000020}, {0xffffff82, 0x0000007d}, 568 {0xffffff82, 0x0000007e}, {0xffffff82, 0x0000007f}, 569 {0xffffff82, 0x00007ffd}, {0xffffff82, 0x00007ffe}, 570 {0xffffff82, 0x00007fff}, {0xffffff82, 0x33333333}, 571 {0xffffff82, 0x55555555}, {0xffffff82, 0x7ffffffd}, 572 {0xffffff82, 0x7ffffffe}, {0xffffff82, 0x7fffffff}, 573 {0xffffff82, 0x80000000}, {0xffffff82, 0x80000001}, 574 {0xffffff82, 0xaaaaaaaa}, {0xffffff82, 0xcccccccc}, 575 {0xffffff82, 0xffff8000}, {0xffffff82, 0xffff8001}, 576 {0xffffff82, 0xffff8002}, {0xffffff82, 0xffff8003}, 577 {0xffffff82, 0xffffff80}, {0xffffff82, 0xffffff81}, 578 {0xffffff82, 0xffffff82}, {0xffffff82, 0xffffff83}, 579 {0xffffff82, 0xffffffe0}, {0xffffff82, 0xfffffffd}, 580 {0xffffff82, 0xfffffffe}, {0xffffff82, 0xffffffff}, 581 {0xffffff83, 0x00000000}, {0xffffff83, 0x00000001}, 582 {0xffffff83, 0x00000002}, {0xffffff83, 0x00000020}, 583 {0xffffff83, 0x0000007d}, {0xffffff83, 0x0000007e}, 584 {0xffffff83, 0x0000007f}, {0xffffff83, 0x00007ffd}, 585 {0xffffff83, 0x00007ffe}, {0xffffff83, 0x00007fff}, 586 {0xffffff83, 0x33333333}, {0xffffff83, 0x55555555}, 587 {0xffffff83, 0x7ffffffd}, {0xffffff83, 0x7ffffffe}, 588 {0xffffff83, 0x7fffffff}, {0xffffff83, 0x80000000}, 589 {0xffffff83, 0x80000001}, {0xffffff83, 0xaaaaaaaa}, 590 {0xffffff83, 0xcccccccc}, {0xffffff83, 0xffff8000}, 591 {0xffffff83, 0xffff8001}, {0xffffff83, 0xffff8002}, 592 {0xffffff83, 0xffff8003}, {0xffffff83, 0xffffff80}, 593 {0xffffff83, 0xffffff81}, {0xffffff83, 0xffffff82}, 594 {0xffffff83, 0xffffff83}, {0xffffff83, 0xffffffe0}, 595 {0xffffff83, 0xfffffffd}, {0xffffff83, 0xfffffffe}, 596 {0xffffff83, 0xffffffff}, {0xffffffe0, 0x00000000}, 597 {0xffffffe0, 0x00000001}, {0xffffffe0, 0x00000002}, 598 {0xffffffe0, 0x00000020}, {0xffffffe0, 0x0000007d}, 599 {0xffffffe0, 0x0000007e}, {0xffffffe0, 0x0000007f}, 600 {0xffffffe0, 0x00007ffd}, {0xffffffe0, 0x00007ffe}, 601 {0xffffffe0, 0x00007fff}, {0xffffffe0, 0x33333333}, 602 {0xffffffe0, 0x55555555}, {0xffffffe0, 0x7ffffffd}, 603 {0xffffffe0, 0x7ffffffe}, {0xffffffe0, 0x7fffffff}, 604 {0xffffffe0, 0x80000000}, {0xffffffe0, 0x80000001}, 605 {0xffffffe0, 0xaaaaaaaa}, {0xffffffe0, 0xcccccccc}, 606 {0xffffffe0, 0xffff8000}, {0xffffffe0, 0xffff8001}, 607 {0xffffffe0, 0xffff8002}, {0xffffffe0, 0xffff8003}, 608 {0xffffffe0, 0xffffff80}, {0xffffffe0, 0xffffff81}, 609 {0xffffffe0, 0xffffff82}, {0xffffffe0, 0xffffff83}, 610 {0xffffffe0, 0xffffffe0}, {0xffffffe0, 0xfffffffd}, 611 {0xffffffe0, 0xfffffffe}, {0xffffffe0, 0xffffffff}, 612 {0xfffffffd, 0x00000000}, {0xfffffffd, 0x00000001}, 613 {0xfffffffd, 0x00000002}, {0xfffffffd, 0x00000020}, 614 {0xfffffffd, 0x0000007d}, {0xfffffffd, 0x0000007e}, 615 {0xfffffffd, 0x0000007f}, {0xfffffffd, 0x00007ffd}, 616 {0xfffffffd, 0x00007ffe}, {0xfffffffd, 0x00007fff}, 617 {0xfffffffd, 0x33333333}, {0xfffffffd, 0x55555555}, 618 {0xfffffffd, 0x7ffffffd}, {0xfffffffd, 0x7ffffffe}, 619 {0xfffffffd, 0x7fffffff}, {0xfffffffd, 0x80000000}, 620 {0xfffffffd, 0x80000001}, {0xfffffffd, 0xaaaaaaaa}, 621 {0xfffffffd, 0xcccccccc}, {0xfffffffd, 0xffff8000}, 622 {0xfffffffd, 0xffff8001}, {0xfffffffd, 0xffff8002}, 623 {0xfffffffd, 0xffff8003}, {0xfffffffd, 0xffffff80}, 624 {0xfffffffd, 0xffffff81}, {0xfffffffd, 0xffffff82}, 625 {0xfffffffd, 0xffffff83}, {0xfffffffd, 0xffffffe0}, 626 {0xfffffffd, 0xfffffffd}, {0xfffffffd, 0xfffffffe}, 627 {0xfffffffd, 0xffffffff}, {0xfffffffe, 0x00000000}, 628 {0xfffffffe, 0x00000001}, {0xfffffffe, 0x00000002}, 629 {0xfffffffe, 0x00000020}, {0xfffffffe, 0x0000007d}, 630 {0xfffffffe, 0x0000007e}, {0xfffffffe, 0x0000007f}, 631 {0xfffffffe, 0x00007ffd}, {0xfffffffe, 0x00007ffe}, 632 {0xfffffffe, 0x00007fff}, {0xfffffffe, 0x33333333}, 633 {0xfffffffe, 0x55555555}, {0xfffffffe, 0x7ffffffd}, 634 {0xfffffffe, 0x7ffffffe}, {0xfffffffe, 0x7fffffff}, 635 {0xfffffffe, 0x80000000}, {0xfffffffe, 0x80000001}, 636 {0xfffffffe, 0xaaaaaaaa}, {0xfffffffe, 0xcccccccc}, 637 {0xfffffffe, 0xffff8000}, {0xfffffffe, 0xffff8001}, 638 {0xfffffffe, 0xffff8002}, {0xfffffffe, 0xffff8003}, 639 {0xfffffffe, 0xffffff80}, {0xfffffffe, 0xffffff81}, 640 {0xfffffffe, 0xffffff82}, {0xfffffffe, 0xffffff83}, 641 {0xfffffffe, 0xffffffe0}, {0xfffffffe, 0xfffffffd}, 642 {0xfffffffe, 0xfffffffe}, {0xfffffffe, 0xffffffff}, 643 {0xffffffff, 0x00000000}, {0xffffffff, 0x00000001}, 644 {0xffffffff, 0x00000002}, {0xffffffff, 0x00000020}, 645 {0xffffffff, 0x0000007d}, {0xffffffff, 0x0000007e}, 646 {0xffffffff, 0x0000007f}, {0xffffffff, 0x00007ffd}, 647 {0xffffffff, 0x00007ffe}, {0xffffffff, 0x00007fff}, 648 {0xffffffff, 0x33333333}, {0xffffffff, 0x55555555}, 649 {0xffffffff, 0x7ffffffd}, {0xffffffff, 0x7ffffffe}, 650 {0xffffffff, 0x7fffffff}, {0xffffffff, 0x80000000}, 651 {0xffffffff, 0x80000001}, {0xffffffff, 0xaaaaaaaa}, 652 {0xffffffff, 0xcccccccc}, {0xffffffff, 0xffff8000}, 653 {0xffffffff, 0xffff8001}, {0xffffffff, 0xffff8002}, 654 {0xffffffff, 0xffff8003}, {0xffffffff, 0xffffff80}, 655 {0xffffffff, 0xffffff81}, {0xffffffff, 0xffffff82}, 656 {0xffffffff, 0xffffff83}, {0xffffffff, 0xffffffe0}, 657 {0xffffffff, 0xfffffffd}, {0xffffffff, 0xfffffffe}, 658 {0xffffffff, 0xffffffff}}; 659 660 static const Inputs kImmediate[] = 661 {{0xabababab, 0x00000000}, {0xabababab, 0x00000001}, 662 {0xabababab, 0x00000002}, {0xabababab, 0x00000020}, 663 {0xabababab, 0x0000007d}, {0xabababab, 0x0000007e}, 664 {0xabababab, 0x0000007f}, {0xabababab, 0x00007ffd}, 665 {0xabababab, 0x00007ffe}, {0xabababab, 0x00007fff}, 666 {0xabababab, 0x33333333}, {0xabababab, 0x55555555}, 667 {0xabababab, 0x7ffffffd}, {0xabababab, 0x7ffffffe}, 668 {0xabababab, 0x7fffffff}, {0xabababab, 0x80000000}, 669 {0xabababab, 0x80000001}, {0xabababab, 0xaaaaaaaa}, 670 {0xabababab, 0xcccccccc}, {0xabababab, 0xffff8000}, 671 {0xabababab, 0xffff8001}, {0xabababab, 0xffff8002}, 672 {0xabababab, 0xffff8003}, {0xabababab, 0xffffff80}, 673 {0xabababab, 0xffffff81}, {0xabababab, 0xffffff82}, 674 {0xabababab, 0xffffff83}, {0xabababab, 0xffffffe0}, 675 {0xabababab, 0xfffffffd}, {0xabababab, 0xfffffffe}, 676 {0xabababab, 0xffffffff}}; 677 678 679 // A loop will be generated for each element of this array. 680 const TestLoopData kTests[] = {{{al, r4, r4, 4018}, 681 "al r4 r4 4018", 682 "RdIsRn_al_r4_r4_4018", 683 ARRAY_SIZE(kRdIsRn), 684 kRdIsRn}, 685 {{al, r0, r0, 490}, 686 "al r0 r0 490", 687 "RdIsRn_al_r0_r0_490", 688 ARRAY_SIZE(kRdIsRn), 689 kRdIsRn}, 690 {{al, r1, r1, 2365}, 691 "al r1 r1 2365", 692 "RdIsRn_al_r1_r1_2365", 693 ARRAY_SIZE(kRdIsRn), 694 kRdIsRn}, 695 {{al, r9, r9, 2945}, 696 "al r9 r9 2945", 697 "RdIsRn_al_r9_r9_2945", 698 ARRAY_SIZE(kRdIsRn), 699 kRdIsRn}, 700 {{al, r14, r14, 3287}, 701 "al r14 r14 3287", 702 "RdIsRn_al_r14_r14_3287", 703 ARRAY_SIZE(kRdIsRn), 704 kRdIsRn}, 705 {{al, r1, r1, 3529}, 706 "al r1 r1 3529", 707 "RdIsRn_al_r1_r1_3529", 708 ARRAY_SIZE(kRdIsRn), 709 kRdIsRn}, 710 {{al, r11, r11, 2072}, 711 "al r11 r11 2072", 712 "RdIsRn_al_r11_r11_2072", 713 ARRAY_SIZE(kRdIsRn), 714 kRdIsRn}, 715 {{al, r7, r7, 850}, 716 "al r7 r7 850", 717 "RdIsRn_al_r7_r7_850", 718 ARRAY_SIZE(kRdIsRn), 719 kRdIsRn}, 720 {{al, r3, r3, 3384}, 721 "al r3 r3 3384", 722 "RdIsRn_al_r3_r3_3384", 723 ARRAY_SIZE(kRdIsRn), 724 kRdIsRn}, 725 {{al, r7, r7, 1374}, 726 "al r7 r7 1374", 727 "RdIsRn_al_r7_r7_1374", 728 ARRAY_SIZE(kRdIsRn), 729 kRdIsRn}, 730 {{al, r4, r14, 3391}, 731 "al r4 r14 3391", 732 "RdIsNotRn_al_r4_r14_3391", 733 ARRAY_SIZE(kRdIsNotRn), 734 kRdIsNotRn}, 735 {{al, r0, r4, 960}, 736 "al r0 r4 960", 737 "RdIsNotRn_al_r0_r4_960", 738 ARRAY_SIZE(kRdIsNotRn), 739 kRdIsNotRn}, 740 {{al, r8, r5, 2021}, 741 "al r8 r5 2021", 742 "RdIsNotRn_al_r8_r5_2021", 743 ARRAY_SIZE(kRdIsNotRn), 744 kRdIsNotRn}, 745 {{al, r5, r4, 783}, 746 "al r5 r4 783", 747 "RdIsNotRn_al_r5_r4_783", 748 ARRAY_SIZE(kRdIsNotRn), 749 kRdIsNotRn}, 750 {{al, r9, r5, 3566}, 751 "al r9 r5 3566", 752 "RdIsNotRn_al_r9_r5_3566", 753 ARRAY_SIZE(kRdIsNotRn), 754 kRdIsNotRn}, 755 {{al, r2, r14, 3195}, 756 "al r2 r14 3195", 757 "RdIsNotRn_al_r2_r14_3195", 758 ARRAY_SIZE(kRdIsNotRn), 759 kRdIsNotRn}, 760 {{al, r1, r2, 484}, 761 "al r1 r2 484", 762 "RdIsNotRn_al_r1_r2_484", 763 ARRAY_SIZE(kRdIsNotRn), 764 kRdIsNotRn}, 765 {{al, r1, r8, 1374}, 766 "al r1 r8 1374", 767 "RdIsNotRn_al_r1_r8_1374", 768 ARRAY_SIZE(kRdIsNotRn), 769 kRdIsNotRn}, 770 {{al, r12, r3, 2366}, 771 "al r12 r3 2366", 772 "RdIsNotRn_al_r12_r3_2366", 773 ARRAY_SIZE(kRdIsNotRn), 774 kRdIsNotRn}, 775 {{al, r7, r2, 1505}, 776 "al r7 r2 1505", 777 "RdIsNotRn_al_r7_r2_1505", 778 ARRAY_SIZE(kRdIsNotRn), 779 kRdIsNotRn}, 780 {{al, r0, r0, 3570}, 781 "al r0 r0 3570", 782 "Immediate_al_r0_r0_3570", 783 ARRAY_SIZE(kImmediate), 784 kImmediate}, 785 {{al, r0, r0, 2535}, 786 "al r0 r0 2535", 787 "Immediate_al_r0_r0_2535", 788 ARRAY_SIZE(kImmediate), 789 kImmediate}, 790 {{al, r0, r0, 3239}, 791 "al r0 r0 3239", 792 "Immediate_al_r0_r0_3239", 793 ARRAY_SIZE(kImmediate), 794 kImmediate}, 795 {{al, r0, r0, 2403}, 796 "al r0 r0 2403", 797 "Immediate_al_r0_r0_2403", 798 ARRAY_SIZE(kImmediate), 799 kImmediate}, 800 {{al, r0, r0, 2290}, 801 "al r0 r0 2290", 802 "Immediate_al_r0_r0_2290", 803 ARRAY_SIZE(kImmediate), 804 kImmediate}, 805 {{al, r0, r0, 606}, 806 "al r0 r0 606", 807 "Immediate_al_r0_r0_606", 808 ARRAY_SIZE(kImmediate), 809 kImmediate}, 810 {{al, r0, r0, 2323}, 811 "al r0 r0 2323", 812 "Immediate_al_r0_r0_2323", 813 ARRAY_SIZE(kImmediate), 814 kImmediate}, 815 {{al, r0, r0, 1759}, 816 "al r0 r0 1759", 817 "Immediate_al_r0_r0_1759", 818 ARRAY_SIZE(kImmediate), 819 kImmediate}, 820 {{al, r0, r0, 47}, 821 "al r0 r0 47", 822 "Immediate_al_r0_r0_47", 823 ARRAY_SIZE(kImmediate), 824 kImmediate}, 825 {{al, r0, r0, 3063}, 826 "al r0 r0 3063", 827 "Immediate_al_r0_r0_3063", 828 ARRAY_SIZE(kImmediate), 829 kImmediate}, 830 {{al, r0, r0, 3256}, 831 "al r0 r0 3256", 832 "Immediate_al_r0_r0_3256", 833 ARRAY_SIZE(kImmediate), 834 kImmediate}, 835 {{al, r0, r0, 3626}, 836 "al r0 r0 3626", 837 "Immediate_al_r0_r0_3626", 838 ARRAY_SIZE(kImmediate), 839 kImmediate}, 840 {{al, r0, r0, 525}, 841 "al r0 r0 525", 842 "Immediate_al_r0_r0_525", 843 ARRAY_SIZE(kImmediate), 844 kImmediate}, 845 {{al, r0, r0, 3659}, 846 "al r0 r0 3659", 847 "Immediate_al_r0_r0_3659", 848 ARRAY_SIZE(kImmediate), 849 kImmediate}, 850 {{al, r0, r0, 3195}, 851 "al r0 r0 3195", 852 "Immediate_al_r0_r0_3195", 853 ARRAY_SIZE(kImmediate), 854 kImmediate}, 855 {{al, r0, r0, 2507}, 856 "al r0 r0 2507", 857 "Immediate_al_r0_r0_2507", 858 ARRAY_SIZE(kImmediate), 859 kImmediate}, 860 {{al, r0, r0, 3076}, 861 "al r0 r0 3076", 862 "Immediate_al_r0_r0_3076", 863 ARRAY_SIZE(kImmediate), 864 kImmediate}, 865 {{al, r0, r0, 2338}, 866 "al r0 r0 2338", 867 "Immediate_al_r0_r0_2338", 868 ARRAY_SIZE(kImmediate), 869 kImmediate}, 870 {{al, r0, r0, 3282}, 871 "al r0 r0 3282", 872 "Immediate_al_r0_r0_3282", 873 ARRAY_SIZE(kImmediate), 874 kImmediate}, 875 {{al, r0, r0, 2374}, 876 "al r0 r0 2374", 877 "Immediate_al_r0_r0_2374", 878 ARRAY_SIZE(kImmediate), 879 kImmediate}}; 880 881 // We record all inputs to the instructions as outputs. This way, we also check 882 // that what shouldn't change didn't change. 883 struct TestResult { 884 size_t output_size; 885 const Inputs* outputs; 886 }; 887 888 // These headers each contain an array of `TestResult` with the reference output 889 // values. The reference arrays are names `kReference{mnemonic}`. 890 #include "aarch32/traces/simulator-cond-rd-rn-operand-imm12-add-t32.h" 891 #include "aarch32/traces/simulator-cond-rd-rn-operand-imm12-sub-t32.h" 892 893 894 // The maximum number of errors to report in detail for each test. 895 const unsigned kErrorReportLimit = 8; 896 897 typedef void (MacroAssembler::*Fn)(Condition cond, 898 Register rd, 899 Register rn, 900 const Operand& op); 901 902 void TestHelper(Fn instruction, 903 const char* mnemonic, 904 const TestResult reference[]) { 905 SETUP(); 906 masm.UseT32(); 907 START(); 908 909 // Data to compare to `reference`. 910 TestResult* results[ARRAY_SIZE(kTests)]; 911 912 // Test cases for memory bound instructions may allocate a buffer and save its 913 // address in this array. 914 byte* scratch_memory_buffers[ARRAY_SIZE(kTests)]; 915 916 // Generate a loop for each element in `kTests`. Each loop tests one specific 917 // instruction. 918 for (unsigned i = 0; i < ARRAY_SIZE(kTests); i++) { 919 // Allocate results on the heap for this test. 920 results[i] = new TestResult; 921 results[i]->outputs = new Inputs[kTests[i].input_size]; 922 results[i]->output_size = kTests[i].input_size; 923 924 size_t input_stride = sizeof(kTests[i].inputs[0]) * kTests[i].input_size; 925 VIXL_ASSERT(IsUint32(input_stride)); 926 927 scratch_memory_buffers[i] = NULL; 928 929 Label loop; 930 UseScratchRegisterScope scratch_registers(&masm); 931 // Include all registers from r0 ro r12. 932 scratch_registers.Include(RegisterList(0x1fff)); 933 934 // Values to pass to the macro-assembler. 935 Condition cond = kTests[i].operands.cond; 936 Register rd = kTests[i].operands.rd; 937 Register rn = kTests[i].operands.rn; 938 int32_t immediate = kTests[i].operands.immediate; 939 Operand op(immediate); 940 scratch_registers.Exclude(rd); 941 scratch_registers.Exclude(rn); 942 943 // Allocate reserved registers for our own use. 944 Register input_ptr = scratch_registers.Acquire(); 945 Register input_end = scratch_registers.Acquire(); 946 Register result_ptr = scratch_registers.Acquire(); 947 948 // Initialize `input_ptr` to the first element and `input_end` the address 949 // after the array. 950 __ Mov(input_ptr, Operand::From(kTests[i].inputs)); 951 __ Add(input_end, input_ptr, static_cast<uint32_t>(input_stride)); 952 __ Mov(result_ptr, Operand::From(results[i]->outputs)); 953 __ Bind(&loop); 954 955 __ Ldr(rd, MemOperand(input_ptr, offsetof(Inputs, rd))); 956 __ Ldr(rn, MemOperand(input_ptr, offsetof(Inputs, rn))); 957 958 (masm.*instruction)(cond, rd, rn, op); 959 960 __ Str(rd, MemOperand(result_ptr, offsetof(Inputs, rd))); 961 __ Str(rn, MemOperand(result_ptr, offsetof(Inputs, rn))); 962 963 // Advance the result pointer. 964 __ Add(result_ptr, result_ptr, Operand::From(sizeof(kTests[i].inputs[0]))); 965 // Loop back until `input_ptr` is lower than `input_base`. 966 __ Add(input_ptr, input_ptr, Operand::From(sizeof(kTests[i].inputs[0]))); 967 __ Cmp(input_ptr, input_end); 968 __ B(ne, &loop); 969 } 970 971 END(); 972 973 RUN(); 974 975 if (Test::generate_test_trace()) { 976 // Print the results. 977 for (size_t i = 0; i < ARRAY_SIZE(kTests); i++) { 978 printf("const Inputs kOutputs_%s_%s[] = {\n", 979 mnemonic, 980 kTests[i].identifier); 981 for (size_t j = 0; j < results[i]->output_size; j++) { 982 printf(" { "); 983 printf("0x%08" PRIx32, results[i]->outputs[j].rd); 984 printf(", "); 985 printf("0x%08" PRIx32, results[i]->outputs[j].rn); 986 printf(" },\n"); 987 } 988 printf("};\n"); 989 } 990 printf("const TestResult kReference%s[] = {\n", mnemonic); 991 for (size_t i = 0; i < ARRAY_SIZE(kTests); i++) { 992 printf(" {\n"); 993 printf(" ARRAY_SIZE(kOutputs_%s_%s),\n", 994 mnemonic, 995 kTests[i].identifier); 996 printf(" kOutputs_%s_%s,\n", mnemonic, kTests[i].identifier); 997 printf(" },\n"); 998 } 999 printf("};\n"); 1000 } else if (kCheckSimulatorTestResults) { 1001 // Check the results. 1002 unsigned total_error_count = 0; 1003 for (size_t i = 0; i < ARRAY_SIZE(kTests); i++) { 1004 bool instruction_has_errors = false; 1005 for (size_t j = 0; j < kTests[i].input_size; j++) { 1006 uint32_t rd = results[i]->outputs[j].rd; 1007 uint32_t rn = results[i]->outputs[j].rn; 1008 uint32_t rd_input = kTests[i].inputs[j].rd; 1009 uint32_t rn_input = kTests[i].inputs[j].rn; 1010 uint32_t rd_ref = reference[i].outputs[j].rd; 1011 uint32_t rn_ref = reference[i].outputs[j].rn; 1012 1013 if (((rd != rd_ref) || (rn != rn_ref)) && 1014 (++total_error_count <= kErrorReportLimit)) { 1015 // Print the instruction once even if it triggered multiple failures. 1016 if (!instruction_has_errors) { 1017 printf("Error(s) when testing \"%s %s\":\n", 1018 mnemonic, 1019 kTests[i].operands_description); 1020 instruction_has_errors = true; 1021 } 1022 // Print subsequent errors. 1023 printf(" Input: "); 1024 printf("0x%08" PRIx32, rd_input); 1025 printf(", "); 1026 printf("0x%08" PRIx32, rn_input); 1027 printf("\n"); 1028 printf(" Expected: "); 1029 printf("0x%08" PRIx32, rd_ref); 1030 printf(", "); 1031 printf("0x%08" PRIx32, rn_ref); 1032 printf("\n"); 1033 printf(" Found: "); 1034 printf("0x%08" PRIx32, rd); 1035 printf(", "); 1036 printf("0x%08" PRIx32, rn); 1037 printf("\n\n"); 1038 } 1039 } 1040 } 1041 1042 if (total_error_count > kErrorReportLimit) { 1043 printf("%u other errors follow.\n", 1044 total_error_count - kErrorReportLimit); 1045 } 1046 VIXL_CHECK(total_error_count == 0); 1047 } else { 1048 VIXL_WARNING("Assembled the code, but did not run anything.\n"); 1049 } 1050 1051 for (size_t i = 0; i < ARRAY_SIZE(kTests); i++) { 1052 delete[] results[i]->outputs; 1053 delete results[i]; 1054 delete[] scratch_memory_buffers[i]; 1055 } 1056 } 1057 1058 // Instantiate tests for each instruction in the list. 1059 // TODO: Remove this limitation by having a sandboxing mechanism. 1060 #if defined(VIXL_HOST_POINTER_32) 1061 #define TEST(mnemonic) \ 1062 void Test_##mnemonic() { \ 1063 TestHelper(&MacroAssembler::mnemonic, #mnemonic, kReference##mnemonic); \ 1064 } \ 1065 Test test_##mnemonic("AARCH32_SIMULATOR_COND_RD_RN_OPERAND_IMM12_" #mnemonic \ 1066 "_T32", \ 1067 &Test_##mnemonic); 1068 #else 1069 #define TEST(mnemonic) \ 1070 void Test_##mnemonic() { \ 1071 VIXL_WARNING("This test can only run on a 32-bit host.\n"); \ 1072 USE(TestHelper); \ 1073 } \ 1074 Test test_##mnemonic("AARCH32_SIMULATOR_COND_RD_RN_OPERAND_IMM12_" #mnemonic \ 1075 "_T32", \ 1076 &Test_##mnemonic); 1077 #endif 1078 1079 FOREACH_INSTRUCTION(TEST) 1080 #undef TEST 1081 1082 } // namespace 1083 #endif 1084 1085 } // namespace aarch32 1086 } // namespace vixl 1087
