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