1 // Copyright 2015, ARM Limited 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 using tools/generate_simulator_traces.py. 30 // 31 // PLEASE DO NOT EDIT. 32 // --------------------------------------------------------------------- 33 34 #ifndef VIXL_SIM_FNMUL_D_TRACE_A64_H_ 35 #define VIXL_SIM_FNMUL_D_TRACE_A64_H_ 36 37 const uint64_t kExpected_fnmul_d[] = { 38 0x8000000000000000, 39 0x8000000000000000, 40 0x8000000000000000, 41 0x8000000000000000, 42 0x8000000000000000, 43 0x8000000000000000, 44 0x8000000000000000, 45 0x8000000000000000, 46 0x8000000000000000, 47 0x8000000000000000, 48 0x8000000000000000, 49 0xfff8000000000000, 50 0xfff923456789abcd, 51 0xfff8000000000000, 52 0xfff923456789abcd, 53 0xfff8000000000000, 54 0x8000000000000000, 55 0x8000000000000000, 56 0x8000000000000000, 57 0x0000000000000000, 58 0x0000000000000000, 59 0x0000000000000000, 60 0x0000000000000000, 61 0x0000000000000000, 62 0x0000000000000000, 63 0x0000000000000000, 64 0x0000000000000000, 65 0x0000000000000000, 66 0x0000000000000000, 67 0x0000000000000000, 68 0xfff8000000000000, 69 0x7ff923456789abcd, 70 0x7ff8000000000000, 71 0x7ff923456789abcd, 72 0xfff8000000000000, 73 0x0000000000000000, 74 0x0000000000000000, 75 0x0000000000000000, 76 0x8000000000000000, 77 0x8000000000000000, 78 0x8008000000000000, 79 0x8008000000000000, 80 0x8008000000000000, 81 0x8010000000000000, 82 0x8010000000000000, 83 0x8010000000000001, 84 0x8018000000000000, 85 0x8044000000000000, 86 0xc00fffffffffffff, 87 0xfff0000000000000, 88 0xfff923456789abcd, 89 0xfff8000000000000, 90 0xfff923456789abcd, 91 0xfff0000000000000, 92 0x8000000000000000, 93 0x8000000000000000, 94 0x8000000000000000, 95 0x0000000000000000, 96 0x0000000000000000, 97 0x0008000000000000, 98 0x0008000000000000, 99 0x0008000000000000, 100 0x0010000000000000, 101 0x0010000000000000, 102 0x0010000000000001, 103 0x0018000000000000, 104 0x0044000000000000, 105 0x400fffffffffffff, 106 0x7ff0000000000000, 107 0x7ff923456789abcd, 108 0x7ff8000000000000, 109 0x7ff923456789abcd, 110 0x7ff0000000000000, 111 0x0000000000000000, 112 0x0000000000000000, 113 0x0000000000000000, 114 0x8000000000000000, 115 0x8008000000000000, 116 0xbfcffffffffffffe, 117 0xbfcfffffffffffff, 118 0xbfd0000000000000, 119 0xbfdffffffffffffe, 120 0xbfdfffffffffffff, 121 0xbfe0000000000000, 122 0xbfe7ffffffffffff, 123 0xc013ffffffffffff, 124 0xffdffffffffffffe, 125 0xfff0000000000000, 126 0xfff923456789abcd, 127 0xfff8000000000000, 128 0xfff923456789abcd, 129 0xfff0000000000000, 130 0x800091a2b3c4d5e6, 131 0x8007ffffffffffff, 132 0x8000000000000000, 133 0x0000000000000000, 134 0x0008000000000000, 135 0x3fcffffffffffffe, 136 0x3fcfffffffffffff, 137 0x3fd0000000000000, 138 0x3fdffffffffffffe, 139 0x3fdfffffffffffff, 140 0x3fe0000000000000, 141 0x3fe7ffffffffffff, 142 0x4013ffffffffffff, 143 0x7fdffffffffffffe, 144 0x7ff0000000000000, 145 0x7ff923456789abcd, 146 0x7ff8000000000000, 147 0x7ff923456789abcd, 148 0x7ff0000000000000, 149 0x000091a2b3c4d5e6, 150 0x0007ffffffffffff, 151 0x0000000000000000, 152 0x8000000000000000, 153 0x8008000000000000, 154 0xbfcfffffffffffff, 155 0xbfd0000000000000, 156 0xbfd0000000000001, 157 0xbfdfffffffffffff, 158 0xbfe0000000000000, 159 0xbfe0000000000001, 160 0xbfe8000000000000, 161 0xc014000000000000, 162 0xffdfffffffffffff, 163 0xfff0000000000000, 164 0xfff923456789abcd, 165 0xfff8000000000000, 166 0xfff923456789abcd, 167 0xfff0000000000000, 168 0x800091a2b3c4d5e6, 169 0x8008000000000000, 170 0x8000000000000000, 171 0x0000000000000000, 172 0x0008000000000000, 173 0x3fcfffffffffffff, 174 0x3fd0000000000000, 175 0x3fd0000000000001, 176 0x3fdfffffffffffff, 177 0x3fe0000000000000, 178 0x3fe0000000000001, 179 0x3fe8000000000000, 180 0x4014000000000000, 181 0x7fdfffffffffffff, 182 0x7ff0000000000000, 183 0x7ff923456789abcd, 184 0x7ff8000000000000, 185 0x7ff923456789abcd, 186 0x7ff0000000000000, 187 0x000091a2b3c4d5e6, 188 0x0008000000000000, 189 0x0000000000000000, 190 0x8000000000000000, 191 0x8008000000000000, 192 0xbfd0000000000000, 193 0xbfd0000000000001, 194 0xbfd0000000000002, 195 0xbfe0000000000000, 196 0xbfe0000000000001, 197 0xbfe0000000000002, 198 0xbfe8000000000002, 199 0xc014000000000001, 200 0xffe0000000000000, 201 0xfff0000000000000, 202 0xfff923456789abcd, 203 0xfff8000000000000, 204 0xfff923456789abcd, 205 0xfff0000000000000, 206 0x800091a2b3c4d5e7, 207 0x8008000000000000, 208 0x8000000000000001, 209 0x0000000000000000, 210 0x0008000000000000, 211 0x3fd0000000000000, 212 0x3fd0000000000001, 213 0x3fd0000000000002, 214 0x3fe0000000000000, 215 0x3fe0000000000001, 216 0x3fe0000000000002, 217 0x3fe8000000000002, 218 0x4014000000000001, 219 0x7fe0000000000000, 220 0x7ff0000000000000, 221 0x7ff923456789abcd, 222 0x7ff8000000000000, 223 0x7ff923456789abcd, 224 0x7ff0000000000000, 225 0x000091a2b3c4d5e7, 226 0x0008000000000000, 227 0x0000000000000001, 228 0x8000000000000000, 229 0x8010000000000000, 230 0xbfdffffffffffffe, 231 0xbfdfffffffffffff, 232 0xbfe0000000000000, 233 0xbfeffffffffffffe, 234 0xbfefffffffffffff, 235 0xbff0000000000000, 236 0xbff7ffffffffffff, 237 0xc023ffffffffffff, 238 0xffeffffffffffffe, 239 0xfff0000000000000, 240 0xfff923456789abcd, 241 0xfff8000000000000, 242 0xfff923456789abcd, 243 0xfff0000000000000, 244 0x800123456789abcd, 245 0x800fffffffffffff, 246 0x8000000000000001, 247 0x0000000000000000, 248 0x0010000000000000, 249 0x3fdffffffffffffe, 250 0x3fdfffffffffffff, 251 0x3fe0000000000000, 252 0x3feffffffffffffe, 253 0x3fefffffffffffff, 254 0x3ff0000000000000, 255 0x3ff7ffffffffffff, 256 0x4023ffffffffffff, 257 0x7feffffffffffffe, 258 0x7ff0000000000000, 259 0x7ff923456789abcd, 260 0x7ff8000000000000, 261 0x7ff923456789abcd, 262 0x7ff0000000000000, 263 0x000123456789abcd, 264 0x000fffffffffffff, 265 0x0000000000000001, 266 0x8000000000000000, 267 0x8010000000000000, 268 0xbfdfffffffffffff, 269 0xbfe0000000000000, 270 0xbfe0000000000001, 271 0xbfefffffffffffff, 272 0xbff0000000000000, 273 0xbff0000000000001, 274 0xbff8000000000000, 275 0xc024000000000000, 276 0xffefffffffffffff, 277 0xfff0000000000000, 278 0xfff923456789abcd, 279 0xfff8000000000000, 280 0xfff923456789abcd, 281 0xfff0000000000000, 282 0x800123456789abcd, 283 0x800fffffffffffff, 284 0x8000000000000001, 285 0x0000000000000000, 286 0x0010000000000000, 287 0x3fdfffffffffffff, 288 0x3fe0000000000000, 289 0x3fe0000000000001, 290 0x3fefffffffffffff, 291 0x3ff0000000000000, 292 0x3ff0000000000001, 293 0x3ff8000000000000, 294 0x4024000000000000, 295 0x7fefffffffffffff, 296 0x7ff0000000000000, 297 0x7ff923456789abcd, 298 0x7ff8000000000000, 299 0x7ff923456789abcd, 300 0x7ff0000000000000, 301 0x000123456789abcd, 302 0x000fffffffffffff, 303 0x0000000000000001, 304 0x8000000000000000, 305 0x8010000000000001, 306 0xbfe0000000000000, 307 0xbfe0000000000001, 308 0xbfe0000000000002, 309 0xbff0000000000000, 310 0xbff0000000000001, 311 0xbff0000000000002, 312 0xbff8000000000002, 313 0xc024000000000001, 314 0xfff0000000000000, 315 0xfff0000000000000, 316 0xfff923456789abcd, 317 0xfff8000000000000, 318 0xfff923456789abcd, 319 0xfff0000000000000, 320 0x800123456789abcd, 321 0x8010000000000000, 322 0x8000000000000001, 323 0x0000000000000000, 324 0x0010000000000001, 325 0x3fe0000000000000, 326 0x3fe0000000000001, 327 0x3fe0000000000002, 328 0x3ff0000000000000, 329 0x3ff0000000000001, 330 0x3ff0000000000002, 331 0x3ff8000000000002, 332 0x4024000000000001, 333 0x7ff0000000000000, 334 0x7ff0000000000000, 335 0x7ff923456789abcd, 336 0x7ff8000000000000, 337 0x7ff923456789abcd, 338 0x7ff0000000000000, 339 0x000123456789abcd, 340 0x0010000000000000, 341 0x0000000000000001, 342 0x8000000000000000, 343 0x8018000000000000, 344 0xbfe7ffffffffffff, 345 0xbfe8000000000000, 346 0xbfe8000000000002, 347 0xbff7ffffffffffff, 348 0xbff8000000000000, 349 0xbff8000000000002, 350 0xc002000000000000, 351 0xc02e000000000000, 352 0xfff0000000000000, 353 0xfff0000000000000, 354 0xfff923456789abcd, 355 0xfff8000000000000, 356 0xfff923456789abcd, 357 0xfff0000000000000, 358 0x8001b4e81b4e81b4, 359 0x8017fffffffffffe, 360 0x8000000000000002, 361 0x0000000000000000, 362 0x0018000000000000, 363 0x3fe7ffffffffffff, 364 0x3fe8000000000000, 365 0x3fe8000000000002, 366 0x3ff7ffffffffffff, 367 0x3ff8000000000000, 368 0x3ff8000000000002, 369 0x4002000000000000, 370 0x402e000000000000, 371 0x7ff0000000000000, 372 0x7ff0000000000000, 373 0x7ff923456789abcd, 374 0x7ff8000000000000, 375 0x7ff923456789abcd, 376 0x7ff0000000000000, 377 0x0001b4e81b4e81b4, 378 0x0017fffffffffffe, 379 0x0000000000000002, 380 0x8000000000000000, 381 0x8044000000000000, 382 0xc013ffffffffffff, 383 0xc014000000000000, 384 0xc014000000000001, 385 0xc023ffffffffffff, 386 0xc024000000000000, 387 0xc024000000000001, 388 0xc02e000000000000, 389 0xc059000000000000, 390 0xfff0000000000000, 391 0xfff0000000000000, 392 0xfff923456789abcd, 393 0xfff8000000000000, 394 0xfff923456789abcd, 395 0xfff0000000000000, 396 0x800b60b60b60b602, 397 0x8043ffffffffffff, 398 0x800000000000000a, 399 0x0000000000000000, 400 0x0044000000000000, 401 0x4013ffffffffffff, 402 0x4014000000000000, 403 0x4014000000000001, 404 0x4023ffffffffffff, 405 0x4024000000000000, 406 0x4024000000000001, 407 0x402e000000000000, 408 0x4059000000000000, 409 0x7ff0000000000000, 410 0x7ff0000000000000, 411 0x7ff923456789abcd, 412 0x7ff8000000000000, 413 0x7ff923456789abcd, 414 0x7ff0000000000000, 415 0x000b60b60b60b602, 416 0x0043ffffffffffff, 417 0x000000000000000a, 418 0x8000000000000000, 419 0xc00fffffffffffff, 420 0xffdffffffffffffe, 421 0xffdfffffffffffff, 422 0xffe0000000000000, 423 0xffeffffffffffffe, 424 0xffefffffffffffff, 425 0xfff0000000000000, 426 0xfff0000000000000, 427 0xfff0000000000000, 428 0xfff0000000000000, 429 0xfff0000000000000, 430 0xfff923456789abcd, 431 0xfff8000000000000, 432 0xfff923456789abcd, 433 0xfff0000000000000, 434 0xbfd23456789abccf, 435 0xc00ffffffffffffd, 436 0xbccfffffffffffff, 437 0x0000000000000000, 438 0x400fffffffffffff, 439 0x7fdffffffffffffe, 440 0x7fdfffffffffffff, 441 0x7fe0000000000000, 442 0x7feffffffffffffe, 443 0x7fefffffffffffff, 444 0x7ff0000000000000, 445 0x7ff0000000000000, 446 0x7ff0000000000000, 447 0x7ff0000000000000, 448 0x7ff0000000000000, 449 0x7ff923456789abcd, 450 0x7ff8000000000000, 451 0x7ff923456789abcd, 452 0x7ff0000000000000, 453 0x3fd23456789abccf, 454 0x400ffffffffffffd, 455 0x3ccfffffffffffff, 456 0xfff8000000000000, 457 0xfff0000000000000, 458 0xfff0000000000000, 459 0xfff0000000000000, 460 0xfff0000000000000, 461 0xfff0000000000000, 462 0xfff0000000000000, 463 0xfff0000000000000, 464 0xfff0000000000000, 465 0xfff0000000000000, 466 0xfff0000000000000, 467 0xfff0000000000000, 468 0xfff923456789abcd, 469 0xfff8000000000000, 470 0xfff923456789abcd, 471 0xfff0000000000000, 472 0xfff0000000000000, 473 0xfff0000000000000, 474 0xfff0000000000000, 475 0xfff8000000000000, 476 0x7ff0000000000000, 477 0x7ff0000000000000, 478 0x7ff0000000000000, 479 0x7ff0000000000000, 480 0x7ff0000000000000, 481 0x7ff0000000000000, 482 0x7ff0000000000000, 483 0x7ff0000000000000, 484 0x7ff0000000000000, 485 0x7ff0000000000000, 486 0x7ff0000000000000, 487 0x7ff923456789abcd, 488 0x7ff8000000000000, 489 0x7ff923456789abcd, 490 0x7ff0000000000000, 491 0x7ff0000000000000, 492 0x7ff0000000000000, 493 0x7ff0000000000000, 494 0xfff923456789abcd, 495 0xfff923456789abcd, 496 0xfff923456789abcd, 497 0xfff923456789abcd, 498 0xfff923456789abcd, 499 0xfff923456789abcd, 500 0xfff923456789abcd, 501 0xfff923456789abcd, 502 0xfff923456789abcd, 503 0xfff923456789abcd, 504 0xfff923456789abcd, 505 0xfff923456789abcd, 506 0xfff923456789abcd, 507 0xfff923456789abcd, 508 0xfff923456789abcd, 509 0xfff923456789abcd, 510 0xfff923456789abcd, 511 0xfff923456789abcd, 512 0xfff923456789abcd, 513 0xfff923456789abcd, 514 0xfff923456789abcd, 515 0xfff923456789abcd, 516 0xfff923456789abcd, 517 0xfff923456789abcd, 518 0xfff923456789abcd, 519 0xfff923456789abcd, 520 0xfff923456789abcd, 521 0xfff923456789abcd, 522 0xfff923456789abcd, 523 0xfff923456789abcd, 524 0xfff923456789abcd, 525 0xfff923456789abcd, 526 0xfff923456789abcd, 527 0x7ff923456789abcd, 528 0xfff923456789abcd, 529 0xfff923456789abcd, 530 0xfff923456789abcd, 531 0xfff923456789abcd, 532 0xfff8000000000000, 533 0xfff8000000000000, 534 0xfff8000000000000, 535 0xfff8000000000000, 536 0xfff8000000000000, 537 0xfff8000000000000, 538 0xfff8000000000000, 539 0xfff8000000000000, 540 0xfff8000000000000, 541 0xfff8000000000000, 542 0xfff8000000000000, 543 0xfff8000000000000, 544 0xfff8000000000000, 545 0xfff8000000000000, 546 0xfff923456789abcd, 547 0xfff8000000000000, 548 0xfff8000000000000, 549 0xfff8000000000000, 550 0xfff8000000000000, 551 0xfff8000000000000, 552 0xfff8000000000000, 553 0xfff8000000000000, 554 0xfff8000000000000, 555 0xfff8000000000000, 556 0xfff8000000000000, 557 0xfff8000000000000, 558 0xfff8000000000000, 559 0xfff8000000000000, 560 0xfff8000000000000, 561 0xfff8000000000000, 562 0xfff8000000000000, 563 0xfff8000000000000, 564 0xfff8000000000000, 565 0x7ff923456789abcd, 566 0xfff8000000000000, 567 0xfff8000000000000, 568 0xfff8000000000000, 569 0xfff8000000000000, 570 0xfff923456789abcd, 571 0xfff923456789abcd, 572 0xfff923456789abcd, 573 0xfff923456789abcd, 574 0xfff923456789abcd, 575 0xfff923456789abcd, 576 0xfff923456789abcd, 577 0xfff923456789abcd, 578 0xfff923456789abcd, 579 0xfff923456789abcd, 580 0xfff923456789abcd, 581 0xfff923456789abcd, 582 0xfff923456789abcd, 583 0xfff923456789abcd, 584 0xfff923456789abcd, 585 0xfff923456789abcd, 586 0xfff923456789abcd, 587 0xfff923456789abcd, 588 0xfff923456789abcd, 589 0xfff923456789abcd, 590 0xfff923456789abcd, 591 0xfff923456789abcd, 592 0xfff923456789abcd, 593 0xfff923456789abcd, 594 0xfff923456789abcd, 595 0xfff923456789abcd, 596 0xfff923456789abcd, 597 0xfff923456789abcd, 598 0xfff923456789abcd, 599 0xfff923456789abcd, 600 0xfff923456789abcd, 601 0xfff923456789abcd, 602 0xfff923456789abcd, 603 0xfff923456789abcd, 604 0xfff923456789abcd, 605 0xfff923456789abcd, 606 0xfff923456789abcd, 607 0xfff923456789abcd, 608 0xfff8000000000000, 609 0xfff0000000000000, 610 0xfff0000000000000, 611 0xfff0000000000000, 612 0xfff0000000000000, 613 0xfff0000000000000, 614 0xfff0000000000000, 615 0xfff0000000000000, 616 0xfff0000000000000, 617 0xfff0000000000000, 618 0xfff0000000000000, 619 0xfff0000000000000, 620 0xfff923456789abcd, 621 0xfff8000000000000, 622 0xfff923456789abcd, 623 0xfff0000000000000, 624 0xfff0000000000000, 625 0xfff0000000000000, 626 0xfff0000000000000, 627 0xfff8000000000000, 628 0x7ff0000000000000, 629 0x7ff0000000000000, 630 0x7ff0000000000000, 631 0x7ff0000000000000, 632 0x7ff0000000000000, 633 0x7ff0000000000000, 634 0x7ff0000000000000, 635 0x7ff0000000000000, 636 0x7ff0000000000000, 637 0x7ff0000000000000, 638 0x7ff0000000000000, 639 0x7ff923456789abcd, 640 0x7ff8000000000000, 641 0x7ff923456789abcd, 642 0x7ff0000000000000, 643 0x7ff0000000000000, 644 0x7ff0000000000000, 645 0x7ff0000000000000, 646 0x8000000000000000, 647 0x8000000000000000, 648 0x800091a2b3c4d5e6, 649 0x800091a2b3c4d5e6, 650 0x800091a2b3c4d5e7, 651 0x800123456789abcd, 652 0x800123456789abcd, 653 0x800123456789abcd, 654 0x8001b4e81b4e81b4, 655 0x800b60b60b60b602, 656 0xbfd23456789abccf, 657 0xfff0000000000000, 658 0xfff923456789abcd, 659 0xfff8000000000000, 660 0xfff923456789abcd, 661 0xfff0000000000000, 662 0x8000000000000000, 663 0x8000000000000000, 664 0x8000000000000000, 665 0x0000000000000000, 666 0x0000000000000000, 667 0x000091a2b3c4d5e6, 668 0x000091a2b3c4d5e6, 669 0x000091a2b3c4d5e7, 670 0x000123456789abcd, 671 0x000123456789abcd, 672 0x000123456789abcd, 673 0x0001b4e81b4e81b4, 674 0x000b60b60b60b602, 675 0x3fd23456789abccf, 676 0x7ff0000000000000, 677 0x7ff923456789abcd, 678 0x7ff8000000000000, 679 0x7ff923456789abcd, 680 0x7ff0000000000000, 681 0x0000000000000000, 682 0x0000000000000000, 683 0x0000000000000000, 684 0x8000000000000000, 685 0x8000000000000000, 686 0x8007ffffffffffff, 687 0x8008000000000000, 688 0x8008000000000000, 689 0x800fffffffffffff, 690 0x800fffffffffffff, 691 0x8010000000000000, 692 0x8017fffffffffffe, 693 0x8043ffffffffffff, 694 0xc00ffffffffffffd, 695 0xfff0000000000000, 696 0xfff923456789abcd, 697 0xfff8000000000000, 698 0xfff923456789abcd, 699 0xfff0000000000000, 700 0x8000000000000000, 701 0x8000000000000000, 702 0x8000000000000000, 703 0x0000000000000000, 704 0x0000000000000000, 705 0x0007ffffffffffff, 706 0x0008000000000000, 707 0x0008000000000000, 708 0x000fffffffffffff, 709 0x000fffffffffffff, 710 0x0010000000000000, 711 0x0017fffffffffffe, 712 0x0043ffffffffffff, 713 0x400ffffffffffffd, 714 0x7ff0000000000000, 715 0x7ff923456789abcd, 716 0x7ff8000000000000, 717 0x7ff923456789abcd, 718 0x7ff0000000000000, 719 0x0000000000000000, 720 0x0000000000000000, 721 0x0000000000000000, 722 0x8000000000000000, 723 0x8000000000000000, 724 0x8000000000000000, 725 0x8000000000000000, 726 0x8000000000000001, 727 0x8000000000000001, 728 0x8000000000000001, 729 0x8000000000000001, 730 0x8000000000000002, 731 0x800000000000000a, 732 0xbccfffffffffffff, 733 0xfff0000000000000, 734 0xfff923456789abcd, 735 0xfff8000000000000, 736 0xfff923456789abcd, 737 0xfff0000000000000, 738 0x8000000000000000, 739 0x8000000000000000, 740 0x8000000000000000, 741 0x0000000000000000, 742 0x0000000000000000, 743 0x0000000000000000, 744 0x0000000000000000, 745 0x0000000000000001, 746 0x0000000000000001, 747 0x0000000000000001, 748 0x0000000000000001, 749 0x0000000000000002, 750 0x000000000000000a, 751 0x3ccfffffffffffff, 752 0x7ff0000000000000, 753 0x7ff923456789abcd, 754 0x7ff8000000000000, 755 0x7ff923456789abcd, 756 0x7ff0000000000000, 757 0x0000000000000000, 758 0x0000000000000000, 759 0x0000000000000000, 760 0x0000000000000000, 761 0x0000000000000000, 762 0x0000000000000000, 763 0x0000000000000000, 764 0x0000000000000000, 765 0x0000000000000000, 766 0x0000000000000000, 767 0x0000000000000000, 768 0x0000000000000000, 769 0x0000000000000000, 770 0x0000000000000000, 771 0xfff8000000000000, 772 0xfff923456789abcd, 773 0xfff8000000000000, 774 0xfff923456789abcd, 775 0xfff8000000000000, 776 0x0000000000000000, 777 0x0000000000000000, 778 0x0000000000000000, 779 0x8000000000000000, 780 0x8000000000000000, 781 0x8000000000000000, 782 0x8000000000000000, 783 0x8000000000000000, 784 0x8000000000000000, 785 0x8000000000000000, 786 0x8000000000000000, 787 0x8000000000000000, 788 0x8000000000000000, 789 0x8000000000000000, 790 0xfff8000000000000, 791 0x7ff923456789abcd, 792 0x7ff8000000000000, 793 0x7ff923456789abcd, 794 0xfff8000000000000, 795 0x8000000000000000, 796 0x8000000000000000, 797 0x8000000000000000, 798 0x0000000000000000, 799 0x0000000000000000, 800 0x0008000000000000, 801 0x0008000000000000, 802 0x0008000000000000, 803 0x0010000000000000, 804 0x0010000000000000, 805 0x0010000000000001, 806 0x0018000000000000, 807 0x0044000000000000, 808 0x400fffffffffffff, 809 0x7ff0000000000000, 810 0xfff923456789abcd, 811 0xfff8000000000000, 812 0xfff923456789abcd, 813 0x7ff0000000000000, 814 0x0000000000000000, 815 0x0000000000000000, 816 0x0000000000000000, 817 0x8000000000000000, 818 0x8000000000000000, 819 0x8008000000000000, 820 0x8008000000000000, 821 0x8008000000000000, 822 0x8010000000000000, 823 0x8010000000000000, 824 0x8010000000000001, 825 0x8018000000000000, 826 0x8044000000000000, 827 0xc00fffffffffffff, 828 0xfff0000000000000, 829 0x7ff923456789abcd, 830 0x7ff8000000000000, 831 0x7ff923456789abcd, 832 0xfff0000000000000, 833 0x8000000000000000, 834 0x8000000000000000, 835 0x8000000000000000, 836 0x0000000000000000, 837 0x0008000000000000, 838 0x3fcffffffffffffe, 839 0x3fcfffffffffffff, 840 0x3fd0000000000000, 841 0x3fdffffffffffffe, 842 0x3fdfffffffffffff, 843 0x3fe0000000000000, 844 0x3fe7ffffffffffff, 845 0x4013ffffffffffff, 846 0x7fdffffffffffffe, 847 0x7ff0000000000000, 848 0xfff923456789abcd, 849 0xfff8000000000000, 850 0xfff923456789abcd, 851 0x7ff0000000000000, 852 0x000091a2b3c4d5e6, 853 0x0007ffffffffffff, 854 0x0000000000000000, 855 0x8000000000000000, 856 0x8008000000000000, 857 0xbfcffffffffffffe, 858 0xbfcfffffffffffff, 859 0xbfd0000000000000, 860 0xbfdffffffffffffe, 861 0xbfdfffffffffffff, 862 0xbfe0000000000000, 863 0xbfe7ffffffffffff, 864 0xc013ffffffffffff, 865 0xffdffffffffffffe, 866 0xfff0000000000000, 867 0x7ff923456789abcd, 868 0x7ff8000000000000, 869 0x7ff923456789abcd, 870 0xfff0000000000000, 871 0x800091a2b3c4d5e6, 872 0x8007ffffffffffff, 873 0x8000000000000000, 874 0x0000000000000000, 875 0x0008000000000000, 876 0x3fcfffffffffffff, 877 0x3fd0000000000000, 878 0x3fd0000000000001, 879 0x3fdfffffffffffff, 880 0x3fe0000000000000, 881 0x3fe0000000000001, 882 0x3fe8000000000000, 883 0x4014000000000000, 884 0x7fdfffffffffffff, 885 0x7ff0000000000000, 886 0xfff923456789abcd, 887 0xfff8000000000000, 888 0xfff923456789abcd, 889 0x7ff0000000000000, 890 0x000091a2b3c4d5e6, 891 0x0008000000000000, 892 0x0000000000000000, 893 0x8000000000000000, 894 0x8008000000000000, 895 0xbfcfffffffffffff, 896 0xbfd0000000000000, 897 0xbfd0000000000001, 898 0xbfdfffffffffffff, 899 0xbfe0000000000000, 900 0xbfe0000000000001, 901 0xbfe8000000000000, 902 0xc014000000000000, 903 0xffdfffffffffffff, 904 0xfff0000000000000, 905 0x7ff923456789abcd, 906 0x7ff8000000000000, 907 0x7ff923456789abcd, 908 0xfff0000000000000, 909 0x800091a2b3c4d5e6, 910 0x8008000000000000, 911 0x8000000000000000, 912 0x0000000000000000, 913 0x0008000000000000, 914 0x3fd0000000000000, 915 0x3fd0000000000001, 916 0x3fd0000000000002, 917 0x3fe0000000000000, 918 0x3fe0000000000001, 919 0x3fe0000000000002, 920 0x3fe8000000000002, 921 0x4014000000000001, 922 0x7fe0000000000000, 923 0x7ff0000000000000, 924 0xfff923456789abcd, 925 0xfff8000000000000, 926 0xfff923456789abcd, 927 0x7ff0000000000000, 928 0x000091a2b3c4d5e7, 929 0x0008000000000000, 930 0x0000000000000001, 931 0x8000000000000000, 932 0x8008000000000000, 933 0xbfd0000000000000, 934 0xbfd0000000000001, 935 0xbfd0000000000002, 936 0xbfe0000000000000, 937 0xbfe0000000000001, 938 0xbfe0000000000002, 939 0xbfe8000000000002, 940 0xc014000000000001, 941 0xffe0000000000000, 942 0xfff0000000000000, 943 0x7ff923456789abcd, 944 0x7ff8000000000000, 945 0x7ff923456789abcd, 946 0xfff0000000000000, 947 0x800091a2b3c4d5e7, 948 0x8008000000000000, 949 0x8000000000000001, 950 0x0000000000000000, 951 0x0010000000000000, 952 0x3fdffffffffffffe, 953 0x3fdfffffffffffff, 954 0x3fe0000000000000, 955 0x3feffffffffffffe, 956 0x3fefffffffffffff, 957 0x3ff0000000000000, 958 0x3ff7ffffffffffff, 959 0x4023ffffffffffff, 960 0x7feffffffffffffe, 961 0x7ff0000000000000, 962 0xfff923456789abcd, 963 0xfff8000000000000, 964 0xfff923456789abcd, 965 0x7ff0000000000000, 966 0x000123456789abcd, 967 0x000fffffffffffff, 968 0x0000000000000001, 969 0x8000000000000000, 970 0x8010000000000000, 971 0xbfdffffffffffffe, 972 0xbfdfffffffffffff, 973 0xbfe0000000000000, 974 0xbfeffffffffffffe, 975 0xbfefffffffffffff, 976 0xbff0000000000000, 977 0xbff7ffffffffffff, 978 0xc023ffffffffffff, 979 0xffeffffffffffffe, 980 0xfff0000000000000, 981 0x7ff923456789abcd, 982 0x7ff8000000000000, 983 0x7ff923456789abcd, 984 0xfff0000000000000, 985 0x800123456789abcd, 986 0x800fffffffffffff, 987 0x8000000000000001, 988 0x0000000000000000, 989 0x0010000000000000, 990 0x3fdfffffffffffff, 991 0x3fe0000000000000, 992 0x3fe0000000000001, 993 0x3fefffffffffffff, 994 0x3ff0000000000000, 995 0x3ff0000000000001, 996 0x3ff8000000000000, 997 0x4024000000000000, 998 0x7fefffffffffffff, 999 0x7ff0000000000000, 1000 0xfff923456789abcd, 1001 0xfff8000000000000, 1002 0xfff923456789abcd, 1003 0x7ff0000000000000, 1004 0x000123456789abcd, 1005 0x000fffffffffffff, 1006 0x0000000000000001, 1007 0x8000000000000000, 1008 0x8010000000000000, 1009 0xbfdfffffffffffff, 1010 0xbfe0000000000000, 1011 0xbfe0000000000001, 1012 0xbfefffffffffffff, 1013 0xbff0000000000000, 1014 0xbff0000000000001, 1015 0xbff8000000000000, 1016 0xc024000000000000, 1017 0xffefffffffffffff, 1018 0xfff0000000000000, 1019 0x7ff923456789abcd, 1020 0x7ff8000000000000, 1021 0x7ff923456789abcd, 1022 0xfff0000000000000, 1023 0x800123456789abcd, 1024 0x800fffffffffffff, 1025 0x8000000000000001, 1026 0x0000000000000000, 1027 0x0010000000000001, 1028 0x3fe0000000000000, 1029 0x3fe0000000000001, 1030 0x3fe0000000000002, 1031 0x3ff0000000000000, 1032 0x3ff0000000000001, 1033 0x3ff0000000000002, 1034 0x3ff8000000000002, 1035 0x4024000000000001, 1036 0x7ff0000000000000, 1037 0x7ff0000000000000, 1038 0xfff923456789abcd, 1039 0xfff8000000000000, 1040 0xfff923456789abcd, 1041 0x7ff0000000000000, 1042 0x000123456789abcd, 1043 0x0010000000000000, 1044 0x0000000000000001, 1045 0x8000000000000000, 1046 0x8010000000000001, 1047 0xbfe0000000000000, 1048 0xbfe0000000000001, 1049 0xbfe0000000000002, 1050 0xbff0000000000000, 1051 0xbff0000000000001, 1052 0xbff0000000000002, 1053 0xbff8000000000002, 1054 0xc024000000000001, 1055 0xfff0000000000000, 1056 0xfff0000000000000, 1057 0x7ff923456789abcd, 1058 0x7ff8000000000000, 1059 0x7ff923456789abcd, 1060 0xfff0000000000000, 1061 0x800123456789abcd, 1062 0x8010000000000000, 1063 0x8000000000000001, 1064 0x0000000000000000, 1065 0x0018000000000000, 1066 0x3fe7ffffffffffff, 1067 0x3fe8000000000000, 1068 0x3fe8000000000002, 1069 0x3ff7ffffffffffff, 1070 0x3ff8000000000000, 1071 0x3ff8000000000002, 1072 0x4002000000000000, 1073 0x402e000000000000, 1074 0x7ff0000000000000, 1075 0x7ff0000000000000, 1076 0xfff923456789abcd, 1077 0xfff8000000000000, 1078 0xfff923456789abcd, 1079 0x7ff0000000000000, 1080 0x0001b4e81b4e81b4, 1081 0x0017fffffffffffe, 1082 0x0000000000000002, 1083 0x8000000000000000, 1084 0x8018000000000000, 1085 0xbfe7ffffffffffff, 1086 0xbfe8000000000000, 1087 0xbfe8000000000002, 1088 0xbff7ffffffffffff, 1089 0xbff8000000000000, 1090 0xbff8000000000002, 1091 0xc002000000000000, 1092 0xc02e000000000000, 1093 0xfff0000000000000, 1094 0xfff0000000000000, 1095 0x7ff923456789abcd, 1096 0x7ff8000000000000, 1097 0x7ff923456789abcd, 1098 0xfff0000000000000, 1099 0x8001b4e81b4e81b4, 1100 0x8017fffffffffffe, 1101 0x8000000000000002, 1102 0x0000000000000000, 1103 0x0044000000000000, 1104 0x4013ffffffffffff, 1105 0x4014000000000000, 1106 0x4014000000000001, 1107 0x4023ffffffffffff, 1108 0x4024000000000000, 1109 0x4024000000000001, 1110 0x402e000000000000, 1111 0x4059000000000000, 1112 0x7ff0000000000000, 1113 0x7ff0000000000000, 1114 0xfff923456789abcd, 1115 0xfff8000000000000, 1116 0xfff923456789abcd, 1117 0x7ff0000000000000, 1118 0x000b60b60b60b602, 1119 0x0043ffffffffffff, 1120 0x000000000000000a, 1121 0x8000000000000000, 1122 0x8044000000000000, 1123 0xc013ffffffffffff, 1124 0xc014000000000000, 1125 0xc014000000000001, 1126 0xc023ffffffffffff, 1127 0xc024000000000000, 1128 0xc024000000000001, 1129 0xc02e000000000000, 1130 0xc059000000000000, 1131 0xfff0000000000000, 1132 0xfff0000000000000, 1133 0x7ff923456789abcd, 1134 0x7ff8000000000000, 1135 0x7ff923456789abcd, 1136 0xfff0000000000000, 1137 0x800b60b60b60b602, 1138 0x8043ffffffffffff, 1139 0x800000000000000a, 1140 0x0000000000000000, 1141 0x400fffffffffffff, 1142 0x7fdffffffffffffe, 1143 0x7fdfffffffffffff, 1144 0x7fe0000000000000, 1145 0x7feffffffffffffe, 1146 0x7fefffffffffffff, 1147 0x7ff0000000000000, 1148 0x7ff0000000000000, 1149 0x7ff0000000000000, 1150 0x7ff0000000000000, 1151 0x7ff0000000000000, 1152 0xfff923456789abcd, 1153 0xfff8000000000000, 1154 0xfff923456789abcd, 1155 0x7ff0000000000000, 1156 0x3fd23456789abccf, 1157 0x400ffffffffffffd, 1158 0x3ccfffffffffffff, 1159 0x8000000000000000, 1160 0xc00fffffffffffff, 1161 0xffdffffffffffffe, 1162 0xffdfffffffffffff, 1163 0xffe0000000000000, 1164 0xffeffffffffffffe, 1165 0xffefffffffffffff, 1166 0xfff0000000000000, 1167 0xfff0000000000000, 1168 0xfff0000000000000, 1169 0xfff0000000000000, 1170 0xfff0000000000000, 1171 0x7ff923456789abcd, 1172 0x7ff8000000000000, 1173 0x7ff923456789abcd, 1174 0xfff0000000000000, 1175 0xbfd23456789abccf, 1176 0xc00ffffffffffffd, 1177 0xbccfffffffffffff, 1178 0xfff8000000000000, 1179 0x7ff0000000000000, 1180 0x7ff0000000000000, 1181 0x7ff0000000000000, 1182 0x7ff0000000000000, 1183 0x7ff0000000000000, 1184 0x7ff0000000000000, 1185 0x7ff0000000000000, 1186 0x7ff0000000000000, 1187 0x7ff0000000000000, 1188 0x7ff0000000000000, 1189 0x7ff0000000000000, 1190 0xfff923456789abcd, 1191 0xfff8000000000000, 1192 0xfff923456789abcd, 1193 0x7ff0000000000000, 1194 0x7ff0000000000000, 1195 0x7ff0000000000000, 1196 0x7ff0000000000000, 1197 0xfff8000000000000, 1198 0xfff0000000000000, 1199 0xfff0000000000000, 1200 0xfff0000000000000, 1201 0xfff0000000000000, 1202 0xfff0000000000000, 1203 0xfff0000000000000, 1204 0xfff0000000000000, 1205 0xfff0000000000000, 1206 0xfff0000000000000, 1207 0xfff0000000000000, 1208 0xfff0000000000000, 1209 0x7ff923456789abcd, 1210 0x7ff8000000000000, 1211 0x7ff923456789abcd, 1212 0xfff0000000000000, 1213 0xfff0000000000000, 1214 0xfff0000000000000, 1215 0xfff0000000000000, 1216 0x7ff923456789abcd, 1217 0x7ff923456789abcd, 1218 0x7ff923456789abcd, 1219 0x7ff923456789abcd, 1220 0x7ff923456789abcd, 1221 0x7ff923456789abcd, 1222 0x7ff923456789abcd, 1223 0x7ff923456789abcd, 1224 0x7ff923456789abcd, 1225 0x7ff923456789abcd, 1226 0x7ff923456789abcd, 1227 0x7ff923456789abcd, 1228 0x7ff923456789abcd, 1229 0x7ff923456789abcd, 1230 0xfff923456789abcd, 1231 0x7ff923456789abcd, 1232 0x7ff923456789abcd, 1233 0x7ff923456789abcd, 1234 0x7ff923456789abcd, 1235 0x7ff923456789abcd, 1236 0x7ff923456789abcd, 1237 0x7ff923456789abcd, 1238 0x7ff923456789abcd, 1239 0x7ff923456789abcd, 1240 0x7ff923456789abcd, 1241 0x7ff923456789abcd, 1242 0x7ff923456789abcd, 1243 0x7ff923456789abcd, 1244 0x7ff923456789abcd, 1245 0x7ff923456789abcd, 1246 0x7ff923456789abcd, 1247 0x7ff923456789abcd, 1248 0x7ff923456789abcd, 1249 0x7ff923456789abcd, 1250 0x7ff923456789abcd, 1251 0x7ff923456789abcd, 1252 0x7ff923456789abcd, 1253 0x7ff923456789abcd, 1254 0x7ff8000000000000, 1255 0x7ff8000000000000, 1256 0x7ff8000000000000, 1257 0x7ff8000000000000, 1258 0x7ff8000000000000, 1259 0x7ff8000000000000, 1260 0x7ff8000000000000, 1261 0x7ff8000000000000, 1262 0x7ff8000000000000, 1263 0x7ff8000000000000, 1264 0x7ff8000000000000, 1265 0x7ff8000000000000, 1266 0x7ff8000000000000, 1267 0x7ff8000000000000, 1268 0xfff923456789abcd, 1269 0x7ff8000000000000, 1270 0x7ff8000000000000, 1271 0x7ff8000000000000, 1272 0x7ff8000000000000, 1273 0x7ff8000000000000, 1274 0x7ff8000000000000, 1275 0x7ff8000000000000, 1276 0x7ff8000000000000, 1277 0x7ff8000000000000, 1278 0x7ff8000000000000, 1279 0x7ff8000000000000, 1280 0x7ff8000000000000, 1281 0x7ff8000000000000, 1282 0x7ff8000000000000, 1283 0x7ff8000000000000, 1284 0x7ff8000000000000, 1285 0x7ff8000000000000, 1286 0x7ff8000000000000, 1287 0x7ff923456789abcd, 1288 0x7ff8000000000000, 1289 0x7ff8000000000000, 1290 0x7ff8000000000000, 1291 0x7ff8000000000000, 1292 0x7ff923456789abcd, 1293 0x7ff923456789abcd, 1294 0x7ff923456789abcd, 1295 0x7ff923456789abcd, 1296 0x7ff923456789abcd, 1297 0x7ff923456789abcd, 1298 0x7ff923456789abcd, 1299 0x7ff923456789abcd, 1300 0x7ff923456789abcd, 1301 0x7ff923456789abcd, 1302 0x7ff923456789abcd, 1303 0x7ff923456789abcd, 1304 0x7ff923456789abcd, 1305 0x7ff923456789abcd, 1306 0x7ff923456789abcd, 1307 0x7ff923456789abcd, 1308 0x7ff923456789abcd, 1309 0x7ff923456789abcd, 1310 0x7ff923456789abcd, 1311 0x7ff923456789abcd, 1312 0x7ff923456789abcd, 1313 0x7ff923456789abcd, 1314 0x7ff923456789abcd, 1315 0x7ff923456789abcd, 1316 0x7ff923456789abcd, 1317 0x7ff923456789abcd, 1318 0x7ff923456789abcd, 1319 0x7ff923456789abcd, 1320 0x7ff923456789abcd, 1321 0x7ff923456789abcd, 1322 0x7ff923456789abcd, 1323 0x7ff923456789abcd, 1324 0x7ff923456789abcd, 1325 0x7ff923456789abcd, 1326 0x7ff923456789abcd, 1327 0x7ff923456789abcd, 1328 0x7ff923456789abcd, 1329 0x7ff923456789abcd, 1330 0xfff8000000000000, 1331 0x7ff0000000000000, 1332 0x7ff0000000000000, 1333 0x7ff0000000000000, 1334 0x7ff0000000000000, 1335 0x7ff0000000000000, 1336 0x7ff0000000000000, 1337 0x7ff0000000000000, 1338 0x7ff0000000000000, 1339 0x7ff0000000000000, 1340 0x7ff0000000000000, 1341 0x7ff0000000000000, 1342 0xfff923456789abcd, 1343 0xfff8000000000000, 1344 0xfff923456789abcd, 1345 0x7ff0000000000000, 1346 0x7ff0000000000000, 1347 0x7ff0000000000000, 1348 0x7ff0000000000000, 1349 0xfff8000000000000, 1350 0xfff0000000000000, 1351 0xfff0000000000000, 1352 0xfff0000000000000, 1353 0xfff0000000000000, 1354 0xfff0000000000000, 1355 0xfff0000000000000, 1356 0xfff0000000000000, 1357 0xfff0000000000000, 1358 0xfff0000000000000, 1359 0xfff0000000000000, 1360 0xfff0000000000000, 1361 0x7ff923456789abcd, 1362 0x7ff8000000000000, 1363 0x7ff923456789abcd, 1364 0xfff0000000000000, 1365 0xfff0000000000000, 1366 0xfff0000000000000, 1367 0xfff0000000000000, 1368 0x0000000000000000, 1369 0x0000000000000000, 1370 0x000091a2b3c4d5e6, 1371 0x000091a2b3c4d5e6, 1372 0x000091a2b3c4d5e7, 1373 0x000123456789abcd, 1374 0x000123456789abcd, 1375 0x000123456789abcd, 1376 0x0001b4e81b4e81b4, 1377 0x000b60b60b60b602, 1378 0x3fd23456789abccf, 1379 0x7ff0000000000000, 1380 0xfff923456789abcd, 1381 0xfff8000000000000, 1382 0xfff923456789abcd, 1383 0x7ff0000000000000, 1384 0x0000000000000000, 1385 0x0000000000000000, 1386 0x0000000000000000, 1387 0x8000000000000000, 1388 0x8000000000000000, 1389 0x800091a2b3c4d5e6, 1390 0x800091a2b3c4d5e6, 1391 0x800091a2b3c4d5e7, 1392 0x800123456789abcd, 1393 0x800123456789abcd, 1394 0x800123456789abcd, 1395 0x8001b4e81b4e81b4, 1396 0x800b60b60b60b602, 1397 0xbfd23456789abccf, 1398 0xfff0000000000000, 1399 0x7ff923456789abcd, 1400 0x7ff8000000000000, 1401 0x7ff923456789abcd, 1402 0xfff0000000000000, 1403 0x8000000000000000, 1404 0x8000000000000000, 1405 0x8000000000000000, 1406 0x0000000000000000, 1407 0x0000000000000000, 1408 0x0007ffffffffffff, 1409 0x0008000000000000, 1410 0x0008000000000000, 1411 0x000fffffffffffff, 1412 0x000fffffffffffff, 1413 0x0010000000000000, 1414 0x0017fffffffffffe, 1415 0x0043ffffffffffff, 1416 0x400ffffffffffffd, 1417 0x7ff0000000000000, 1418 0xfff923456789abcd, 1419 0xfff8000000000000, 1420 0xfff923456789abcd, 1421 0x7ff0000000000000, 1422 0x0000000000000000, 1423 0x0000000000000000, 1424 0x0000000000000000, 1425 0x8000000000000000, 1426 0x8000000000000000, 1427 0x8007ffffffffffff, 1428 0x8008000000000000, 1429 0x8008000000000000, 1430 0x800fffffffffffff, 1431 0x800fffffffffffff, 1432 0x8010000000000000, 1433 0x8017fffffffffffe, 1434 0x8043ffffffffffff, 1435 0xc00ffffffffffffd, 1436 0xfff0000000000000, 1437 0x7ff923456789abcd, 1438 0x7ff8000000000000, 1439 0x7ff923456789abcd, 1440 0xfff0000000000000, 1441 0x8000000000000000, 1442 0x8000000000000000, 1443 0x8000000000000000, 1444 0x0000000000000000, 1445 0x0000000000000000, 1446 0x0000000000000000, 1447 0x0000000000000000, 1448 0x0000000000000001, 1449 0x0000000000000001, 1450 0x0000000000000001, 1451 0x0000000000000001, 1452 0x0000000000000002, 1453 0x000000000000000a, 1454 0x3ccfffffffffffff, 1455 0x7ff0000000000000, 1456 0xfff923456789abcd, 1457 0xfff8000000000000, 1458 0xfff923456789abcd, 1459 0x7ff0000000000000, 1460 0x0000000000000000, 1461 0x0000000000000000, 1462 0x0000000000000000, 1463 0x8000000000000000, 1464 0x8000000000000000, 1465 0x8000000000000000, 1466 0x8000000000000000, 1467 0x8000000000000001, 1468 0x8000000000000001, 1469 0x8000000000000001, 1470 0x8000000000000001, 1471 0x8000000000000002, 1472 0x800000000000000a, 1473 0xbccfffffffffffff, 1474 0xfff0000000000000, 1475 0x7ff923456789abcd, 1476 0x7ff8000000000000, 1477 0x7ff923456789abcd, 1478 0xfff0000000000000, 1479 0x8000000000000000, 1480 0x8000000000000000, 1481 0x8000000000000000, 1482 }; 1483 const unsigned kExpectedCount_fnmul_d = 1444; 1484 1485 #endif // VIXL_SIM_FNMUL_D_TRACE_A64_H_ 1486
