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_FADD_H_TRACE_AARCH64_H_ 35 #define VIXL_SIM_FADD_H_TRACE_AARCH64_H_ 36 37 const uint16_t kExpected_fadd_h[] = { 38 0x0000, 39 0x0400, 40 0x37ff, 41 0x3800, 42 0x3801, 43 0x3bff, 44 0x3c00, 45 0x3c01, 46 0x3e00, 47 0x4900, 48 0x7bff, 49 0x7c00, 50 0x7f23, 51 0x7e00, 52 0x7f23, 53 0x7e01, 54 0x0012, 55 0x03ff, 56 0x0001, 57 0x0000, 58 0x8400, 59 0xb7ff, 60 0xb800, 61 0xb801, 62 0xbbff, 63 0xbc00, 64 0xbc01, 65 0xbe00, 66 0xc900, 67 0xfbff, 68 0xfc00, 69 0xff23, 70 0xfe00, 71 0xff23, 72 0xfe01, 73 0x8012, 74 0x83ff, 75 0x8001, 76 0x0400, 77 0x0800, 78 0x37ff, 79 0x3800, 80 0x3801, 81 0x3bff, 82 0x3c00, 83 0x3c01, 84 0x3e00, 85 0x4900, 86 0x7bff, 87 0x7c00, 88 0x7f23, 89 0x7e00, 90 0x7f23, 91 0x7e01, 92 0x0412, 93 0x07ff, 94 0x0401, 95 0x0400, 96 0x0000, 97 0xb7ff, 98 0xb800, 99 0xb801, 100 0xbbff, 101 0xbc00, 102 0xbc01, 103 0xbe00, 104 0xc900, 105 0xfbff, 106 0xfc00, 107 0xff23, 108 0xfe00, 109 0xff23, 110 0xfe01, 111 0x03ee, 112 0x0001, 113 0x03ff, 114 0x37ff, 115 0x37ff, 116 0x3bff, 117 0x3c00, 118 0x3c00, 119 0x3dff, 120 0x3e00, 121 0x3e01, 122 0x4000, 123 0x4940, 124 0x7bff, 125 0x7c00, 126 0x7f23, 127 0x7e00, 128 0x7f23, 129 0x7e01, 130 0x37ff, 131 0x37ff, 132 0x37ff, 133 0x37ff, 134 0x37ff, 135 0x0000, 136 0x8c00, 137 0x9200, 138 0xb7ff, 139 0xb800, 140 0xb802, 141 0xbc00, 142 0xc8c0, 143 0xfbff, 144 0xfc00, 145 0xff23, 146 0xfe00, 147 0xff23, 148 0xfe01, 149 0x37ff, 150 0x37ff, 151 0x37ff, 152 0x3800, 153 0x3800, 154 0x3c00, 155 0x3c00, 156 0x3c00, 157 0x3e00, 158 0x3e00, 159 0x3e01, 160 0x4000, 161 0x4940, 162 0x7bff, 163 0x7c00, 164 0x7f23, 165 0x7e00, 166 0x7f23, 167 0x7e01, 168 0x3800, 169 0x3800, 170 0x3800, 171 0x3800, 172 0x3800, 173 0x0c00, 174 0x0000, 175 0x9000, 176 0xb7fe, 177 0xb800, 178 0xb802, 179 0xbc00, 180 0xc8c0, 181 0xfbff, 182 0xfc00, 183 0xff23, 184 0xfe00, 185 0xff23, 186 0xfe01, 187 0x3800, 188 0x3800, 189 0x3800, 190 0x3801, 191 0x3801, 192 0x3c00, 193 0x3c00, 194 0x3c01, 195 0x3e00, 196 0x3e00, 197 0x3e02, 198 0x4000, 199 0x4940, 200 0x7bff, 201 0x7c00, 202 0x7f23, 203 0x7e00, 204 0x7f23, 205 0x7e01, 206 0x3801, 207 0x3801, 208 0x3801, 209 0x3801, 210 0x3801, 211 0x1200, 212 0x1000, 213 0x0000, 214 0xb7fc, 215 0xb7fe, 216 0xb801, 217 0xbbff, 218 0xc8c0, 219 0xfbff, 220 0xfc00, 221 0xff23, 222 0xfe00, 223 0xff23, 224 0xfe01, 225 0x3801, 226 0x3801, 227 0x3801, 228 0x3bff, 229 0x3bff, 230 0x3dff, 231 0x3e00, 232 0x3e00, 233 0x3fff, 234 0x4000, 235 0x4000, 236 0x4100, 237 0x4980, 238 0x7bff, 239 0x7c00, 240 0x7f23, 241 0x7e00, 242 0x7f23, 243 0x7e01, 244 0x3bff, 245 0x3bff, 246 0x3bff, 247 0x3bff, 248 0x3bff, 249 0x37ff, 250 0x37fe, 251 0x37fc, 252 0x0000, 253 0x9000, 254 0x9600, 255 0xb801, 256 0xc880, 257 0xfbff, 258 0xfc00, 259 0xff23, 260 0xfe00, 261 0xff23, 262 0xfe01, 263 0x3bff, 264 0x3bff, 265 0x3bff, 266 0x3c00, 267 0x3c00, 268 0x3e00, 269 0x3e00, 270 0x3e00, 271 0x4000, 272 0x4000, 273 0x4000, 274 0x4100, 275 0x4980, 276 0x7bff, 277 0x7c00, 278 0x7f23, 279 0x7e00, 280 0x7f23, 281 0x7e01, 282 0x3c00, 283 0x3c00, 284 0x3c00, 285 0x3c00, 286 0x3c00, 287 0x3800, 288 0x3800, 289 0x37fe, 290 0x1000, 291 0x0000, 292 0x9400, 293 0xb800, 294 0xc880, 295 0xfbff, 296 0xfc00, 297 0xff23, 298 0xfe00, 299 0xff23, 300 0xfe01, 301 0x3c00, 302 0x3c00, 303 0x3c00, 304 0x3c01, 305 0x3c01, 306 0x3e01, 307 0x3e01, 308 0x3e02, 309 0x4000, 310 0x4000, 311 0x4001, 312 0x4100, 313 0x4980, 314 0x7bff, 315 0x7c00, 316 0x7f23, 317 0x7e00, 318 0x7f23, 319 0x7e01, 320 0x3c01, 321 0x3c01, 322 0x3c01, 323 0x3c01, 324 0x3c01, 325 0x3802, 326 0x3802, 327 0x3801, 328 0x1600, 329 0x1400, 330 0x0000, 331 0xb7fc, 332 0xc880, 333 0xfbff, 334 0xfc00, 335 0xff23, 336 0xfe00, 337 0xff23, 338 0xfe01, 339 0x3c01, 340 0x3c01, 341 0x3c01, 342 0x3e00, 343 0x3e00, 344 0x4000, 345 0x4000, 346 0x4000, 347 0x4100, 348 0x4100, 349 0x4100, 350 0x4200, 351 0x49c0, 352 0x7bff, 353 0x7c00, 354 0x7f23, 355 0x7e00, 356 0x7f23, 357 0x7e01, 358 0x3e00, 359 0x3e00, 360 0x3e00, 361 0x3e00, 362 0x3e00, 363 0x3c00, 364 0x3c00, 365 0x3bff, 366 0x3801, 367 0x3800, 368 0x37fc, 369 0x0000, 370 0xc840, 371 0xfbff, 372 0xfc00, 373 0xff23, 374 0xfe00, 375 0xff23, 376 0xfe01, 377 0x3e00, 378 0x3e00, 379 0x3e00, 380 0x4900, 381 0x4900, 382 0x4940, 383 0x4940, 384 0x4940, 385 0x4980, 386 0x4980, 387 0x4980, 388 0x49c0, 389 0x4d00, 390 0x7bff, 391 0x7c00, 392 0x7f23, 393 0x7e00, 394 0x7f23, 395 0x7e01, 396 0x4900, 397 0x4900, 398 0x4900, 399 0x4900, 400 0x4900, 401 0x48c0, 402 0x48c0, 403 0x48c0, 404 0x4880, 405 0x4880, 406 0x4880, 407 0x4840, 408 0x0000, 409 0xfbff, 410 0xfc00, 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 0x7c00, 429 0x7c00, 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 0x0000, 448 0xfc00, 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 0x7c00, 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 0x7e00, 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 0x0412, 648 0x37ff, 649 0x3800, 650 0x3801, 651 0x3bff, 652 0x3c00, 653 0x3c01, 654 0x3e00, 655 0x4900, 656 0x7bff, 657 0x7c00, 658 0x7f23, 659 0x7e00, 660 0x7f23, 661 0x7e01, 662 0x0024, 663 0x0411, 664 0x0013, 665 0x0012, 666 0x83ee, 667 0xb7ff, 668 0xb800, 669 0xb801, 670 0xbbff, 671 0xbc00, 672 0xbc01, 673 0xbe00, 674 0xc900, 675 0xfbff, 676 0xfc00, 677 0xff23, 678 0xfe00, 679 0xff23, 680 0xfe01, 681 0x0000, 682 0x83ed, 683 0x0011, 684 0x03ff, 685 0x07ff, 686 0x37ff, 687 0x3800, 688 0x3801, 689 0x3bff, 690 0x3c00, 691 0x3c01, 692 0x3e00, 693 0x4900, 694 0x7bff, 695 0x7c00, 696 0x7f23, 697 0x7e00, 698 0x7f23, 699 0x7e01, 700 0x0411, 701 0x07fe, 702 0x0400, 703 0x03ff, 704 0x8001, 705 0xb7ff, 706 0xb800, 707 0xb801, 708 0xbbff, 709 0xbc00, 710 0xbc01, 711 0xbe00, 712 0xc900, 713 0xfbff, 714 0xfc00, 715 0xff23, 716 0xfe00, 717 0xff23, 718 0xfe01, 719 0x03ed, 720 0x0000, 721 0x03fe, 722 0x0001, 723 0x0401, 724 0x37ff, 725 0x3800, 726 0x3801, 727 0x3bff, 728 0x3c00, 729 0x3c01, 730 0x3e00, 731 0x4900, 732 0x7bff, 733 0x7c00, 734 0x7f23, 735 0x7e00, 736 0x7f23, 737 0x7e01, 738 0x0013, 739 0x0400, 740 0x0002, 741 0x0001, 742 0x83ff, 743 0xb7ff, 744 0xb800, 745 0xb801, 746 0xbbff, 747 0xbc00, 748 0xbc01, 749 0xbe00, 750 0xc900, 751 0xfbff, 752 0xfc00, 753 0xff23, 754 0xfe00, 755 0xff23, 756 0xfe01, 757 0x8011, 758 0x83fe, 759 0x0000, 760 0x0000, 761 0x0400, 762 0x37ff, 763 0x3800, 764 0x3801, 765 0x3bff, 766 0x3c00, 767 0x3c01, 768 0x3e00, 769 0x4900, 770 0x7bff, 771 0x7c00, 772 0x7f23, 773 0x7e00, 774 0x7f23, 775 0x7e01, 776 0x0012, 777 0x03ff, 778 0x0001, 779 0x8000, 780 0x8400, 781 0xb7ff, 782 0xb800, 783 0xb801, 784 0xbbff, 785 0xbc00, 786 0xbc01, 787 0xbe00, 788 0xc900, 789 0xfbff, 790 0xfc00, 791 0xff23, 792 0xfe00, 793 0xff23, 794 0xfe01, 795 0x8012, 796 0x83ff, 797 0x8001, 798 0x8400, 799 0x0000, 800 0x37ff, 801 0x3800, 802 0x3801, 803 0x3bff, 804 0x3c00, 805 0x3c01, 806 0x3e00, 807 0x4900, 808 0x7bff, 809 0x7c00, 810 0x7f23, 811 0x7e00, 812 0x7f23, 813 0x7e01, 814 0x83ee, 815 0x8001, 816 0x83ff, 817 0x8400, 818 0x8800, 819 0xb7ff, 820 0xb800, 821 0xb801, 822 0xbbff, 823 0xbc00, 824 0xbc01, 825 0xbe00, 826 0xc900, 827 0xfbff, 828 0xfc00, 829 0xff23, 830 0xfe00, 831 0xff23, 832 0xfe01, 833 0x8412, 834 0x87ff, 835 0x8401, 836 0xb7ff, 837 0xb7ff, 838 0x0000, 839 0x0c00, 840 0x1200, 841 0x37ff, 842 0x3800, 843 0x3802, 844 0x3c00, 845 0x48c0, 846 0x7bff, 847 0x7c00, 848 0x7f23, 849 0x7e00, 850 0x7f23, 851 0x7e01, 852 0xb7ff, 853 0xb7ff, 854 0xb7ff, 855 0xb7ff, 856 0xb7ff, 857 0xbbff, 858 0xbc00, 859 0xbc00, 860 0xbdff, 861 0xbe00, 862 0xbe01, 863 0xc000, 864 0xc940, 865 0xfbff, 866 0xfc00, 867 0xff23, 868 0xfe00, 869 0xff23, 870 0xfe01, 871 0xb7ff, 872 0xb7ff, 873 0xb7ff, 874 0xb800, 875 0xb800, 876 0x8c00, 877 0x0000, 878 0x1000, 879 0x37fe, 880 0x3800, 881 0x3802, 882 0x3c00, 883 0x48c0, 884 0x7bff, 885 0x7c00, 886 0x7f23, 887 0x7e00, 888 0x7f23, 889 0x7e01, 890 0xb800, 891 0xb800, 892 0xb800, 893 0xb800, 894 0xb800, 895 0xbc00, 896 0xbc00, 897 0xbc00, 898 0xbe00, 899 0xbe00, 900 0xbe01, 901 0xc000, 902 0xc940, 903 0xfbff, 904 0xfc00, 905 0xff23, 906 0xfe00, 907 0xff23, 908 0xfe01, 909 0xb800, 910 0xb800, 911 0xb800, 912 0xb801, 913 0xb801, 914 0x9200, 915 0x9000, 916 0x0000, 917 0x37fc, 918 0x37fe, 919 0x3801, 920 0x3bff, 921 0x48c0, 922 0x7bff, 923 0x7c00, 924 0x7f23, 925 0x7e00, 926 0x7f23, 927 0x7e01, 928 0xb801, 929 0xb801, 930 0xb801, 931 0xb801, 932 0xb801, 933 0xbc00, 934 0xbc00, 935 0xbc01, 936 0xbe00, 937 0xbe00, 938 0xbe02, 939 0xc000, 940 0xc940, 941 0xfbff, 942 0xfc00, 943 0xff23, 944 0xfe00, 945 0xff23, 946 0xfe01, 947 0xb801, 948 0xb801, 949 0xb801, 950 0xbbff, 951 0xbbff, 952 0xb7ff, 953 0xb7fe, 954 0xb7fc, 955 0x0000, 956 0x1000, 957 0x1600, 958 0x3801, 959 0x4880, 960 0x7bff, 961 0x7c00, 962 0x7f23, 963 0x7e00, 964 0x7f23, 965 0x7e01, 966 0xbbff, 967 0xbbff, 968 0xbbff, 969 0xbbff, 970 0xbbff, 971 0xbdff, 972 0xbe00, 973 0xbe00, 974 0xbfff, 975 0xc000, 976 0xc000, 977 0xc100, 978 0xc980, 979 0xfbff, 980 0xfc00, 981 0xff23, 982 0xfe00, 983 0xff23, 984 0xfe01, 985 0xbbff, 986 0xbbff, 987 0xbbff, 988 0xbc00, 989 0xbc00, 990 0xb800, 991 0xb800, 992 0xb7fe, 993 0x9000, 994 0x0000, 995 0x1400, 996 0x3800, 997 0x4880, 998 0x7bff, 999 0x7c00, 1000 0x7f23, 1001 0x7e00, 1002 0x7f23, 1003 0x7e01, 1004 0xbc00, 1005 0xbc00, 1006 0xbc00, 1007 0xbc00, 1008 0xbc00, 1009 0xbe00, 1010 0xbe00, 1011 0xbe00, 1012 0xc000, 1013 0xc000, 1014 0xc000, 1015 0xc100, 1016 0xc980, 1017 0xfbff, 1018 0xfc00, 1019 0xff23, 1020 0xfe00, 1021 0xff23, 1022 0xfe01, 1023 0xbc00, 1024 0xbc00, 1025 0xbc00, 1026 0xbc01, 1027 0xbc01, 1028 0xb802, 1029 0xb802, 1030 0xb801, 1031 0x9600, 1032 0x9400, 1033 0x0000, 1034 0x37fc, 1035 0x4880, 1036 0x7bff, 1037 0x7c00, 1038 0x7f23, 1039 0x7e00, 1040 0x7f23, 1041 0x7e01, 1042 0xbc01, 1043 0xbc01, 1044 0xbc01, 1045 0xbc01, 1046 0xbc01, 1047 0xbe01, 1048 0xbe01, 1049 0xbe02, 1050 0xc000, 1051 0xc000, 1052 0xc001, 1053 0xc100, 1054 0xc980, 1055 0xfbff, 1056 0xfc00, 1057 0xff23, 1058 0xfe00, 1059 0xff23, 1060 0xfe01, 1061 0xbc01, 1062 0xbc01, 1063 0xbc01, 1064 0xbe00, 1065 0xbe00, 1066 0xbc00, 1067 0xbc00, 1068 0xbbff, 1069 0xb801, 1070 0xb800, 1071 0xb7fc, 1072 0x0000, 1073 0x4840, 1074 0x7bff, 1075 0x7c00, 1076 0x7f23, 1077 0x7e00, 1078 0x7f23, 1079 0x7e01, 1080 0xbe00, 1081 0xbe00, 1082 0xbe00, 1083 0xbe00, 1084 0xbe00, 1085 0xc000, 1086 0xc000, 1087 0xc000, 1088 0xc100, 1089 0xc100, 1090 0xc100, 1091 0xc200, 1092 0xc9c0, 1093 0xfbff, 1094 0xfc00, 1095 0xff23, 1096 0xfe00, 1097 0xff23, 1098 0xfe01, 1099 0xbe00, 1100 0xbe00, 1101 0xbe00, 1102 0xc900, 1103 0xc900, 1104 0xc8c0, 1105 0xc8c0, 1106 0xc8c0, 1107 0xc880, 1108 0xc880, 1109 0xc880, 1110 0xc840, 1111 0x0000, 1112 0x7bff, 1113 0x7c00, 1114 0x7f23, 1115 0x7e00, 1116 0x7f23, 1117 0x7e01, 1118 0xc900, 1119 0xc900, 1120 0xc900, 1121 0xc900, 1122 0xc900, 1123 0xc940, 1124 0xc940, 1125 0xc940, 1126 0xc980, 1127 0xc980, 1128 0xc980, 1129 0xc9c0, 1130 0xcd00, 1131 0xfbff, 1132 0xfc00, 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 0x0000, 1151 0x7c00, 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 0xfc00, 1170 0xfc00, 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 0x7e00, 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 0xfc00, 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 0x03ee, 1370 0x37ff, 1371 0x3800, 1372 0x3801, 1373 0x3bff, 1374 0x3c00, 1375 0x3c01, 1376 0x3e00, 1377 0x4900, 1378 0x7bff, 1379 0x7c00, 1380 0x7f23, 1381 0x7e00, 1382 0x7f23, 1383 0x7e01, 1384 0x0000, 1385 0x03ed, 1386 0x8011, 1387 0x8012, 1388 0x8412, 1389 0xb7ff, 1390 0xb800, 1391 0xb801, 1392 0xbbff, 1393 0xbc00, 1394 0xbc01, 1395 0xbe00, 1396 0xc900, 1397 0xfbff, 1398 0xfc00, 1399 0xff23, 1400 0xfe00, 1401 0xff23, 1402 0xfe01, 1403 0x8024, 1404 0x8411, 1405 0x8013, 1406 0x83ff, 1407 0x0001, 1408 0x37ff, 1409 0x3800, 1410 0x3801, 1411 0x3bff, 1412 0x3c00, 1413 0x3c01, 1414 0x3e00, 1415 0x4900, 1416 0x7bff, 1417 0x7c00, 1418 0x7f23, 1419 0x7e00, 1420 0x7f23, 1421 0x7e01, 1422 0x83ed, 1423 0x0000, 1424 0x83fe, 1425 0x83ff, 1426 0x87ff, 1427 0xb7ff, 1428 0xb800, 1429 0xb801, 1430 0xbbff, 1431 0xbc00, 1432 0xbc01, 1433 0xbe00, 1434 0xc900, 1435 0xfbff, 1436 0xfc00, 1437 0xff23, 1438 0xfe00, 1439 0xff23, 1440 0xfe01, 1441 0x8411, 1442 0x87fe, 1443 0x8400, 1444 0x8001, 1445 0x03ff, 1446 0x37ff, 1447 0x3800, 1448 0x3801, 1449 0x3bff, 1450 0x3c00, 1451 0x3c01, 1452 0x3e00, 1453 0x4900, 1454 0x7bff, 1455 0x7c00, 1456 0x7f23, 1457 0x7e00, 1458 0x7f23, 1459 0x7e01, 1460 0x0011, 1461 0x03fe, 1462 0x0000, 1463 0x8001, 1464 0x8401, 1465 0xb7ff, 1466 0xb800, 1467 0xb801, 1468 0xbbff, 1469 0xbc00, 1470 0xbc01, 1471 0xbe00, 1472 0xc900, 1473 0xfbff, 1474 0xfc00, 1475 0xff23, 1476 0xfe00, 1477 0xff23, 1478 0xfe01, 1479 0x8013, 1480 0x8400, 1481 0x8002, 1482 }; 1483 const unsigned kExpectedCount_fadd_h = 1444; 1484 1485 #endif // VIXL_SIM_FADD_H_TRACE_AARCH64_H_ 1486