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_FMAXNM_S_TRACE_A64_H_ 35 #define VIXL_SIM_FMAXNM_S_TRACE_A64_H_ 36 37 const uint32_t kExpected_fmaxnm_s[] = { 38 0x00000000, 39 0x00800000, 40 0x3effffff, 41 0x3f000000, 42 0x3f000001, 43 0x3f7fffff, 44 0x3f800000, 45 0x3f800001, 46 0x3fc00000, 47 0x41200000, 48 0x7fcfffff, 49 0x7f800000, 50 0x00000000, 51 0x00000000, 52 0x7fd23456, 53 0x7fc00001, 54 0x00123456, 55 0x007fffff, 56 0x00000001, 57 0x00000000, 58 0x00000000, 59 0x00000000, 60 0x00000000, 61 0x00000000, 62 0x00000000, 63 0x00000000, 64 0x00000000, 65 0x00000000, 66 0x00000000, 67 0xffcfffff, 68 0x00000000, 69 0x00000000, 70 0x00000000, 71 0xffd23456, 72 0xffc00001, 73 0x00000000, 74 0x00000000, 75 0x00000000, 76 0x00800000, 77 0x00800000, 78 0x3effffff, 79 0x3f000000, 80 0x3f000001, 81 0x3f7fffff, 82 0x3f800000, 83 0x3f800001, 84 0x3fc00000, 85 0x41200000, 86 0x7fcfffff, 87 0x7f800000, 88 0x00800000, 89 0x00800000, 90 0x7fd23456, 91 0x7fc00001, 92 0x00800000, 93 0x00800000, 94 0x00800000, 95 0x00800000, 96 0x00800000, 97 0x00800000, 98 0x00800000, 99 0x00800000, 100 0x00800000, 101 0x00800000, 102 0x00800000, 103 0x00800000, 104 0x00800000, 105 0xffcfffff, 106 0x00800000, 107 0x00800000, 108 0x00800000, 109 0xffd23456, 110 0xffc00001, 111 0x00800000, 112 0x00800000, 113 0x00800000, 114 0x3effffff, 115 0x3effffff, 116 0x3effffff, 117 0x3f000000, 118 0x3f000001, 119 0x3f7fffff, 120 0x3f800000, 121 0x3f800001, 122 0x3fc00000, 123 0x41200000, 124 0x7fcfffff, 125 0x7f800000, 126 0x3effffff, 127 0x3effffff, 128 0x7fd23456, 129 0x7fc00001, 130 0x3effffff, 131 0x3effffff, 132 0x3effffff, 133 0x3effffff, 134 0x3effffff, 135 0x3effffff, 136 0x3effffff, 137 0x3effffff, 138 0x3effffff, 139 0x3effffff, 140 0x3effffff, 141 0x3effffff, 142 0x3effffff, 143 0xffcfffff, 144 0x3effffff, 145 0x3effffff, 146 0x3effffff, 147 0xffd23456, 148 0xffc00001, 149 0x3effffff, 150 0x3effffff, 151 0x3effffff, 152 0x3f000000, 153 0x3f000000, 154 0x3f000000, 155 0x3f000000, 156 0x3f000001, 157 0x3f7fffff, 158 0x3f800000, 159 0x3f800001, 160 0x3fc00000, 161 0x41200000, 162 0x7fcfffff, 163 0x7f800000, 164 0x3f000000, 165 0x3f000000, 166 0x7fd23456, 167 0x7fc00001, 168 0x3f000000, 169 0x3f000000, 170 0x3f000000, 171 0x3f000000, 172 0x3f000000, 173 0x3f000000, 174 0x3f000000, 175 0x3f000000, 176 0x3f000000, 177 0x3f000000, 178 0x3f000000, 179 0x3f000000, 180 0x3f000000, 181 0xffcfffff, 182 0x3f000000, 183 0x3f000000, 184 0x3f000000, 185 0xffd23456, 186 0xffc00001, 187 0x3f000000, 188 0x3f000000, 189 0x3f000000, 190 0x3f000001, 191 0x3f000001, 192 0x3f000001, 193 0x3f000001, 194 0x3f000001, 195 0x3f7fffff, 196 0x3f800000, 197 0x3f800001, 198 0x3fc00000, 199 0x41200000, 200 0x7fcfffff, 201 0x7f800000, 202 0x3f000001, 203 0x3f000001, 204 0x7fd23456, 205 0x7fc00001, 206 0x3f000001, 207 0x3f000001, 208 0x3f000001, 209 0x3f000001, 210 0x3f000001, 211 0x3f000001, 212 0x3f000001, 213 0x3f000001, 214 0x3f000001, 215 0x3f000001, 216 0x3f000001, 217 0x3f000001, 218 0x3f000001, 219 0xffcfffff, 220 0x3f000001, 221 0x3f000001, 222 0x3f000001, 223 0xffd23456, 224 0xffc00001, 225 0x3f000001, 226 0x3f000001, 227 0x3f000001, 228 0x3f7fffff, 229 0x3f7fffff, 230 0x3f7fffff, 231 0x3f7fffff, 232 0x3f7fffff, 233 0x3f7fffff, 234 0x3f800000, 235 0x3f800001, 236 0x3fc00000, 237 0x41200000, 238 0x7fcfffff, 239 0x7f800000, 240 0x3f7fffff, 241 0x3f7fffff, 242 0x7fd23456, 243 0x7fc00001, 244 0x3f7fffff, 245 0x3f7fffff, 246 0x3f7fffff, 247 0x3f7fffff, 248 0x3f7fffff, 249 0x3f7fffff, 250 0x3f7fffff, 251 0x3f7fffff, 252 0x3f7fffff, 253 0x3f7fffff, 254 0x3f7fffff, 255 0x3f7fffff, 256 0x3f7fffff, 257 0xffcfffff, 258 0x3f7fffff, 259 0x3f7fffff, 260 0x3f7fffff, 261 0xffd23456, 262 0xffc00001, 263 0x3f7fffff, 264 0x3f7fffff, 265 0x3f7fffff, 266 0x3f800000, 267 0x3f800000, 268 0x3f800000, 269 0x3f800000, 270 0x3f800000, 271 0x3f800000, 272 0x3f800000, 273 0x3f800001, 274 0x3fc00000, 275 0x41200000, 276 0x7fcfffff, 277 0x7f800000, 278 0x3f800000, 279 0x3f800000, 280 0x7fd23456, 281 0x7fc00001, 282 0x3f800000, 283 0x3f800000, 284 0x3f800000, 285 0x3f800000, 286 0x3f800000, 287 0x3f800000, 288 0x3f800000, 289 0x3f800000, 290 0x3f800000, 291 0x3f800000, 292 0x3f800000, 293 0x3f800000, 294 0x3f800000, 295 0xffcfffff, 296 0x3f800000, 297 0x3f800000, 298 0x3f800000, 299 0xffd23456, 300 0xffc00001, 301 0x3f800000, 302 0x3f800000, 303 0x3f800000, 304 0x3f800001, 305 0x3f800001, 306 0x3f800001, 307 0x3f800001, 308 0x3f800001, 309 0x3f800001, 310 0x3f800001, 311 0x3f800001, 312 0x3fc00000, 313 0x41200000, 314 0x7fcfffff, 315 0x7f800000, 316 0x3f800001, 317 0x3f800001, 318 0x7fd23456, 319 0x7fc00001, 320 0x3f800001, 321 0x3f800001, 322 0x3f800001, 323 0x3f800001, 324 0x3f800001, 325 0x3f800001, 326 0x3f800001, 327 0x3f800001, 328 0x3f800001, 329 0x3f800001, 330 0x3f800001, 331 0x3f800001, 332 0x3f800001, 333 0xffcfffff, 334 0x3f800001, 335 0x3f800001, 336 0x3f800001, 337 0xffd23456, 338 0xffc00001, 339 0x3f800001, 340 0x3f800001, 341 0x3f800001, 342 0x3fc00000, 343 0x3fc00000, 344 0x3fc00000, 345 0x3fc00000, 346 0x3fc00000, 347 0x3fc00000, 348 0x3fc00000, 349 0x3fc00000, 350 0x3fc00000, 351 0x41200000, 352 0x7fcfffff, 353 0x7f800000, 354 0x3fc00000, 355 0x3fc00000, 356 0x7fd23456, 357 0x7fc00001, 358 0x3fc00000, 359 0x3fc00000, 360 0x3fc00000, 361 0x3fc00000, 362 0x3fc00000, 363 0x3fc00000, 364 0x3fc00000, 365 0x3fc00000, 366 0x3fc00000, 367 0x3fc00000, 368 0x3fc00000, 369 0x3fc00000, 370 0x3fc00000, 371 0xffcfffff, 372 0x3fc00000, 373 0x3fc00000, 374 0x3fc00000, 375 0xffd23456, 376 0xffc00001, 377 0x3fc00000, 378 0x3fc00000, 379 0x3fc00000, 380 0x41200000, 381 0x41200000, 382 0x41200000, 383 0x41200000, 384 0x41200000, 385 0x41200000, 386 0x41200000, 387 0x41200000, 388 0x41200000, 389 0x41200000, 390 0x7fcfffff, 391 0x7f800000, 392 0x41200000, 393 0x41200000, 394 0x7fd23456, 395 0x7fc00001, 396 0x41200000, 397 0x41200000, 398 0x41200000, 399 0x41200000, 400 0x41200000, 401 0x41200000, 402 0x41200000, 403 0x41200000, 404 0x41200000, 405 0x41200000, 406 0x41200000, 407 0x41200000, 408 0x41200000, 409 0xffcfffff, 410 0x41200000, 411 0x41200000, 412 0x41200000, 413 0xffd23456, 414 0xffc00001, 415 0x41200000, 416 0x41200000, 417 0x41200000, 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 0x7f800000, 468 0x7f800000, 469 0x7f800000, 470 0x7fd23456, 471 0x7fc00001, 472 0x7f800000, 473 0x7f800000, 474 0x7f800000, 475 0x7f800000, 476 0x7f800000, 477 0x7f800000, 478 0x7f800000, 479 0x7f800000, 480 0x7f800000, 481 0x7f800000, 482 0x7f800000, 483 0x7f800000, 484 0x7f800000, 485 0xffcfffff, 486 0x7f800000, 487 0x7f800000, 488 0x7f800000, 489 0xffd23456, 490 0xffc00001, 491 0x7f800000, 492 0x7f800000, 493 0x7f800000, 494 0x00000000, 495 0x00800000, 496 0x3effffff, 497 0x3f000000, 498 0x3f000001, 499 0x3f7fffff, 500 0x3f800000, 501 0x3f800001, 502 0x3fc00000, 503 0x41200000, 504 0x7fcfffff, 505 0x7f800000, 506 0x7fd23456, 507 0x7fd23456, 508 0x7fd23456, 509 0x7fc00001, 510 0x00123456, 511 0x007fffff, 512 0x00000001, 513 0x80000000, 514 0x80800000, 515 0xbeffffff, 516 0xbf000000, 517 0xbf000001, 518 0xbf7fffff, 519 0xbf800000, 520 0xbf800001, 521 0xbfc00000, 522 0xc1200000, 523 0xffcfffff, 524 0xff800000, 525 0x7fd23456, 526 0x7fd23456, 527 0xffd23456, 528 0xffc00001, 529 0x80123456, 530 0x807fffff, 531 0x80000001, 532 0x00000000, 533 0x00800000, 534 0x3effffff, 535 0x3f000000, 536 0x3f000001, 537 0x3f7fffff, 538 0x3f800000, 539 0x3f800001, 540 0x3fc00000, 541 0x41200000, 542 0x7fcfffff, 543 0x7f800000, 544 0x7fc00000, 545 0x7fc00000, 546 0x7fd23456, 547 0x7fc00001, 548 0x00123456, 549 0x007fffff, 550 0x00000001, 551 0x80000000, 552 0x80800000, 553 0xbeffffff, 554 0xbf000000, 555 0xbf000001, 556 0xbf7fffff, 557 0xbf800000, 558 0xbf800001, 559 0xbfc00000, 560 0xc1200000, 561 0xffcfffff, 562 0xff800000, 563 0x7fc00000, 564 0x7fc00000, 565 0xffd23456, 566 0xffc00001, 567 0x80123456, 568 0x807fffff, 569 0x80000001, 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 0x00123456, 647 0x00800000, 648 0x3effffff, 649 0x3f000000, 650 0x3f000001, 651 0x3f7fffff, 652 0x3f800000, 653 0x3f800001, 654 0x3fc00000, 655 0x41200000, 656 0x7fcfffff, 657 0x7f800000, 658 0x00123456, 659 0x00123456, 660 0x7fd23456, 661 0x7fc00001, 662 0x00123456, 663 0x007fffff, 664 0x00123456, 665 0x00123456, 666 0x00123456, 667 0x00123456, 668 0x00123456, 669 0x00123456, 670 0x00123456, 671 0x00123456, 672 0x00123456, 673 0x00123456, 674 0x00123456, 675 0xffcfffff, 676 0x00123456, 677 0x00123456, 678 0x00123456, 679 0xffd23456, 680 0xffc00001, 681 0x00123456, 682 0x00123456, 683 0x00123456, 684 0x007fffff, 685 0x00800000, 686 0x3effffff, 687 0x3f000000, 688 0x3f000001, 689 0x3f7fffff, 690 0x3f800000, 691 0x3f800001, 692 0x3fc00000, 693 0x41200000, 694 0x7fcfffff, 695 0x7f800000, 696 0x007fffff, 697 0x007fffff, 698 0x7fd23456, 699 0x7fc00001, 700 0x007fffff, 701 0x007fffff, 702 0x007fffff, 703 0x007fffff, 704 0x007fffff, 705 0x007fffff, 706 0x007fffff, 707 0x007fffff, 708 0x007fffff, 709 0x007fffff, 710 0x007fffff, 711 0x007fffff, 712 0x007fffff, 713 0xffcfffff, 714 0x007fffff, 715 0x007fffff, 716 0x007fffff, 717 0xffd23456, 718 0xffc00001, 719 0x007fffff, 720 0x007fffff, 721 0x007fffff, 722 0x00000001, 723 0x00800000, 724 0x3effffff, 725 0x3f000000, 726 0x3f000001, 727 0x3f7fffff, 728 0x3f800000, 729 0x3f800001, 730 0x3fc00000, 731 0x41200000, 732 0x7fcfffff, 733 0x7f800000, 734 0x00000001, 735 0x00000001, 736 0x7fd23456, 737 0x7fc00001, 738 0x00123456, 739 0x007fffff, 740 0x00000001, 741 0x00000001, 742 0x00000001, 743 0x00000001, 744 0x00000001, 745 0x00000001, 746 0x00000001, 747 0x00000001, 748 0x00000001, 749 0x00000001, 750 0x00000001, 751 0xffcfffff, 752 0x00000001, 753 0x00000001, 754 0x00000001, 755 0xffd23456, 756 0xffc00001, 757 0x00000001, 758 0x00000001, 759 0x00000001, 760 0x00000000, 761 0x00800000, 762 0x3effffff, 763 0x3f000000, 764 0x3f000001, 765 0x3f7fffff, 766 0x3f800000, 767 0x3f800001, 768 0x3fc00000, 769 0x41200000, 770 0x7fcfffff, 771 0x7f800000, 772 0x80000000, 773 0x80000000, 774 0x7fd23456, 775 0x7fc00001, 776 0x00123456, 777 0x007fffff, 778 0x00000001, 779 0x80000000, 780 0x80000000, 781 0x80000000, 782 0x80000000, 783 0x80000000, 784 0x80000000, 785 0x80000000, 786 0x80000000, 787 0x80000000, 788 0x80000000, 789 0xffcfffff, 790 0x80000000, 791 0x80000000, 792 0x80000000, 793 0xffd23456, 794 0xffc00001, 795 0x80000000, 796 0x80000000, 797 0x80000000, 798 0x00000000, 799 0x00800000, 800 0x3effffff, 801 0x3f000000, 802 0x3f000001, 803 0x3f7fffff, 804 0x3f800000, 805 0x3f800001, 806 0x3fc00000, 807 0x41200000, 808 0x7fcfffff, 809 0x7f800000, 810 0x80800000, 811 0x80800000, 812 0x7fd23456, 813 0x7fc00001, 814 0x00123456, 815 0x007fffff, 816 0x00000001, 817 0x80000000, 818 0x80800000, 819 0x80800000, 820 0x80800000, 821 0x80800000, 822 0x80800000, 823 0x80800000, 824 0x80800000, 825 0x80800000, 826 0x80800000, 827 0xffcfffff, 828 0x80800000, 829 0x80800000, 830 0x80800000, 831 0xffd23456, 832 0xffc00001, 833 0x80123456, 834 0x807fffff, 835 0x80000001, 836 0x00000000, 837 0x00800000, 838 0x3effffff, 839 0x3f000000, 840 0x3f000001, 841 0x3f7fffff, 842 0x3f800000, 843 0x3f800001, 844 0x3fc00000, 845 0x41200000, 846 0x7fcfffff, 847 0x7f800000, 848 0xbeffffff, 849 0xbeffffff, 850 0x7fd23456, 851 0x7fc00001, 852 0x00123456, 853 0x007fffff, 854 0x00000001, 855 0x80000000, 856 0x80800000, 857 0xbeffffff, 858 0xbeffffff, 859 0xbeffffff, 860 0xbeffffff, 861 0xbeffffff, 862 0xbeffffff, 863 0xbeffffff, 864 0xbeffffff, 865 0xffcfffff, 866 0xbeffffff, 867 0xbeffffff, 868 0xbeffffff, 869 0xffd23456, 870 0xffc00001, 871 0x80123456, 872 0x807fffff, 873 0x80000001, 874 0x00000000, 875 0x00800000, 876 0x3effffff, 877 0x3f000000, 878 0x3f000001, 879 0x3f7fffff, 880 0x3f800000, 881 0x3f800001, 882 0x3fc00000, 883 0x41200000, 884 0x7fcfffff, 885 0x7f800000, 886 0xbf000000, 887 0xbf000000, 888 0x7fd23456, 889 0x7fc00001, 890 0x00123456, 891 0x007fffff, 892 0x00000001, 893 0x80000000, 894 0x80800000, 895 0xbeffffff, 896 0xbf000000, 897 0xbf000000, 898 0xbf000000, 899 0xbf000000, 900 0xbf000000, 901 0xbf000000, 902 0xbf000000, 903 0xffcfffff, 904 0xbf000000, 905 0xbf000000, 906 0xbf000000, 907 0xffd23456, 908 0xffc00001, 909 0x80123456, 910 0x807fffff, 911 0x80000001, 912 0x00000000, 913 0x00800000, 914 0x3effffff, 915 0x3f000000, 916 0x3f000001, 917 0x3f7fffff, 918 0x3f800000, 919 0x3f800001, 920 0x3fc00000, 921 0x41200000, 922 0x7fcfffff, 923 0x7f800000, 924 0xbf000001, 925 0xbf000001, 926 0x7fd23456, 927 0x7fc00001, 928 0x00123456, 929 0x007fffff, 930 0x00000001, 931 0x80000000, 932 0x80800000, 933 0xbeffffff, 934 0xbf000000, 935 0xbf000001, 936 0xbf000001, 937 0xbf000001, 938 0xbf000001, 939 0xbf000001, 940 0xbf000001, 941 0xffcfffff, 942 0xbf000001, 943 0xbf000001, 944 0xbf000001, 945 0xffd23456, 946 0xffc00001, 947 0x80123456, 948 0x807fffff, 949 0x80000001, 950 0x00000000, 951 0x00800000, 952 0x3effffff, 953 0x3f000000, 954 0x3f000001, 955 0x3f7fffff, 956 0x3f800000, 957 0x3f800001, 958 0x3fc00000, 959 0x41200000, 960 0x7fcfffff, 961 0x7f800000, 962 0xbf7fffff, 963 0xbf7fffff, 964 0x7fd23456, 965 0x7fc00001, 966 0x00123456, 967 0x007fffff, 968 0x00000001, 969 0x80000000, 970 0x80800000, 971 0xbeffffff, 972 0xbf000000, 973 0xbf000001, 974 0xbf7fffff, 975 0xbf7fffff, 976 0xbf7fffff, 977 0xbf7fffff, 978 0xbf7fffff, 979 0xffcfffff, 980 0xbf7fffff, 981 0xbf7fffff, 982 0xbf7fffff, 983 0xffd23456, 984 0xffc00001, 985 0x80123456, 986 0x807fffff, 987 0x80000001, 988 0x00000000, 989 0x00800000, 990 0x3effffff, 991 0x3f000000, 992 0x3f000001, 993 0x3f7fffff, 994 0x3f800000, 995 0x3f800001, 996 0x3fc00000, 997 0x41200000, 998 0x7fcfffff, 999 0x7f800000, 1000 0xbf800000, 1001 0xbf800000, 1002 0x7fd23456, 1003 0x7fc00001, 1004 0x00123456, 1005 0x007fffff, 1006 0x00000001, 1007 0x80000000, 1008 0x80800000, 1009 0xbeffffff, 1010 0xbf000000, 1011 0xbf000001, 1012 0xbf7fffff, 1013 0xbf800000, 1014 0xbf800000, 1015 0xbf800000, 1016 0xbf800000, 1017 0xffcfffff, 1018 0xbf800000, 1019 0xbf800000, 1020 0xbf800000, 1021 0xffd23456, 1022 0xffc00001, 1023 0x80123456, 1024 0x807fffff, 1025 0x80000001, 1026 0x00000000, 1027 0x00800000, 1028 0x3effffff, 1029 0x3f000000, 1030 0x3f000001, 1031 0x3f7fffff, 1032 0x3f800000, 1033 0x3f800001, 1034 0x3fc00000, 1035 0x41200000, 1036 0x7fcfffff, 1037 0x7f800000, 1038 0xbf800001, 1039 0xbf800001, 1040 0x7fd23456, 1041 0x7fc00001, 1042 0x00123456, 1043 0x007fffff, 1044 0x00000001, 1045 0x80000000, 1046 0x80800000, 1047 0xbeffffff, 1048 0xbf000000, 1049 0xbf000001, 1050 0xbf7fffff, 1051 0xbf800000, 1052 0xbf800001, 1053 0xbf800001, 1054 0xbf800001, 1055 0xffcfffff, 1056 0xbf800001, 1057 0xbf800001, 1058 0xbf800001, 1059 0xffd23456, 1060 0xffc00001, 1061 0x80123456, 1062 0x807fffff, 1063 0x80000001, 1064 0x00000000, 1065 0x00800000, 1066 0x3effffff, 1067 0x3f000000, 1068 0x3f000001, 1069 0x3f7fffff, 1070 0x3f800000, 1071 0x3f800001, 1072 0x3fc00000, 1073 0x41200000, 1074 0x7fcfffff, 1075 0x7f800000, 1076 0xbfc00000, 1077 0xbfc00000, 1078 0x7fd23456, 1079 0x7fc00001, 1080 0x00123456, 1081 0x007fffff, 1082 0x00000001, 1083 0x80000000, 1084 0x80800000, 1085 0xbeffffff, 1086 0xbf000000, 1087 0xbf000001, 1088 0xbf7fffff, 1089 0xbf800000, 1090 0xbf800001, 1091 0xbfc00000, 1092 0xbfc00000, 1093 0xffcfffff, 1094 0xbfc00000, 1095 0xbfc00000, 1096 0xbfc00000, 1097 0xffd23456, 1098 0xffc00001, 1099 0x80123456, 1100 0x807fffff, 1101 0x80000001, 1102 0x00000000, 1103 0x00800000, 1104 0x3effffff, 1105 0x3f000000, 1106 0x3f000001, 1107 0x3f7fffff, 1108 0x3f800000, 1109 0x3f800001, 1110 0x3fc00000, 1111 0x41200000, 1112 0x7fcfffff, 1113 0x7f800000, 1114 0xc1200000, 1115 0xc1200000, 1116 0x7fd23456, 1117 0x7fc00001, 1118 0x00123456, 1119 0x007fffff, 1120 0x00000001, 1121 0x80000000, 1122 0x80800000, 1123 0xbeffffff, 1124 0xbf000000, 1125 0xbf000001, 1126 0xbf7fffff, 1127 0xbf800000, 1128 0xbf800001, 1129 0xbfc00000, 1130 0xc1200000, 1131 0xffcfffff, 1132 0xc1200000, 1133 0xc1200000, 1134 0xc1200000, 1135 0xffd23456, 1136 0xffc00001, 1137 0x80123456, 1138 0x807fffff, 1139 0x80000001, 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 0x00000000, 1179 0x00800000, 1180 0x3effffff, 1181 0x3f000000, 1182 0x3f000001, 1183 0x3f7fffff, 1184 0x3f800000, 1185 0x3f800001, 1186 0x3fc00000, 1187 0x41200000, 1188 0x7fcfffff, 1189 0x7f800000, 1190 0xff800000, 1191 0xff800000, 1192 0x7fd23456, 1193 0x7fc00001, 1194 0x00123456, 1195 0x007fffff, 1196 0x00000001, 1197 0x80000000, 1198 0x80800000, 1199 0xbeffffff, 1200 0xbf000000, 1201 0xbf000001, 1202 0xbf7fffff, 1203 0xbf800000, 1204 0xbf800001, 1205 0xbfc00000, 1206 0xc1200000, 1207 0xffcfffff, 1208 0xff800000, 1209 0xff800000, 1210 0xff800000, 1211 0xffd23456, 1212 0xffc00001, 1213 0x80123456, 1214 0x807fffff, 1215 0x80000001, 1216 0x00000000, 1217 0x00800000, 1218 0x3effffff, 1219 0x3f000000, 1220 0x3f000001, 1221 0x3f7fffff, 1222 0x3f800000, 1223 0x3f800001, 1224 0x3fc00000, 1225 0x41200000, 1226 0x7fcfffff, 1227 0x7f800000, 1228 0xffd23456, 1229 0xffd23456, 1230 0x7fd23456, 1231 0x7fc00001, 1232 0x00123456, 1233 0x007fffff, 1234 0x00000001, 1235 0x80000000, 1236 0x80800000, 1237 0xbeffffff, 1238 0xbf000000, 1239 0xbf000001, 1240 0xbf7fffff, 1241 0xbf800000, 1242 0xbf800001, 1243 0xbfc00000, 1244 0xc1200000, 1245 0xffcfffff, 1246 0xff800000, 1247 0xffd23456, 1248 0xffd23456, 1249 0xffd23456, 1250 0xffc00001, 1251 0x80123456, 1252 0x807fffff, 1253 0x80000001, 1254 0x00000000, 1255 0x00800000, 1256 0x3effffff, 1257 0x3f000000, 1258 0x3f000001, 1259 0x3f7fffff, 1260 0x3f800000, 1261 0x3f800001, 1262 0x3fc00000, 1263 0x41200000, 1264 0x7fcfffff, 1265 0x7f800000, 1266 0xffc00000, 1267 0xffc00000, 1268 0x7fd23456, 1269 0x7fc00001, 1270 0x00123456, 1271 0x007fffff, 1272 0x00000001, 1273 0x80000000, 1274 0x80800000, 1275 0xbeffffff, 1276 0xbf000000, 1277 0xbf000001, 1278 0xbf7fffff, 1279 0xbf800000, 1280 0xbf800001, 1281 0xbfc00000, 1282 0xc1200000, 1283 0xffcfffff, 1284 0xff800000, 1285 0xffc00000, 1286 0xffc00000, 1287 0xffd23456, 1288 0xffc00001, 1289 0x80123456, 1290 0x807fffff, 1291 0x80000001, 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 0x00000000, 1369 0x00800000, 1370 0x3effffff, 1371 0x3f000000, 1372 0x3f000001, 1373 0x3f7fffff, 1374 0x3f800000, 1375 0x3f800001, 1376 0x3fc00000, 1377 0x41200000, 1378 0x7fcfffff, 1379 0x7f800000, 1380 0x80123456, 1381 0x80123456, 1382 0x7fd23456, 1383 0x7fc00001, 1384 0x00123456, 1385 0x007fffff, 1386 0x00000001, 1387 0x80000000, 1388 0x80123456, 1389 0x80123456, 1390 0x80123456, 1391 0x80123456, 1392 0x80123456, 1393 0x80123456, 1394 0x80123456, 1395 0x80123456, 1396 0x80123456, 1397 0xffcfffff, 1398 0x80123456, 1399 0x80123456, 1400 0x80123456, 1401 0xffd23456, 1402 0xffc00001, 1403 0x80123456, 1404 0x80123456, 1405 0x80000001, 1406 0x00000000, 1407 0x00800000, 1408 0x3effffff, 1409 0x3f000000, 1410 0x3f000001, 1411 0x3f7fffff, 1412 0x3f800000, 1413 0x3f800001, 1414 0x3fc00000, 1415 0x41200000, 1416 0x7fcfffff, 1417 0x7f800000, 1418 0x807fffff, 1419 0x807fffff, 1420 0x7fd23456, 1421 0x7fc00001, 1422 0x00123456, 1423 0x007fffff, 1424 0x00000001, 1425 0x80000000, 1426 0x807fffff, 1427 0x807fffff, 1428 0x807fffff, 1429 0x807fffff, 1430 0x807fffff, 1431 0x807fffff, 1432 0x807fffff, 1433 0x807fffff, 1434 0x807fffff, 1435 0xffcfffff, 1436 0x807fffff, 1437 0x807fffff, 1438 0x807fffff, 1439 0xffd23456, 1440 0xffc00001, 1441 0x80123456, 1442 0x807fffff, 1443 0x80000001, 1444 0x00000000, 1445 0x00800000, 1446 0x3effffff, 1447 0x3f000000, 1448 0x3f000001, 1449 0x3f7fffff, 1450 0x3f800000, 1451 0x3f800001, 1452 0x3fc00000, 1453 0x41200000, 1454 0x7fcfffff, 1455 0x7f800000, 1456 0x80000001, 1457 0x80000001, 1458 0x7fd23456, 1459 0x7fc00001, 1460 0x00123456, 1461 0x007fffff, 1462 0x00000001, 1463 0x80000000, 1464 0x80000001, 1465 0x80000001, 1466 0x80000001, 1467 0x80000001, 1468 0x80000001, 1469 0x80000001, 1470 0x80000001, 1471 0x80000001, 1472 0x80000001, 1473 0xffcfffff, 1474 0x80000001, 1475 0x80000001, 1476 0x80000001, 1477 0xffd23456, 1478 0xffc00001, 1479 0x80000001, 1480 0x80000001, 1481 0x80000001, 1482 }; 1483 const unsigned kExpectedCount_fmaxnm_s = 1444; 1484 1485 #endif // VIXL_SIM_FMAXNM_S_TRACE_A64_H_ 1486
