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