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