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_FMUL_H_TRACE_AARCH64_H_ 35#define VIXL_SIM_FMUL_H_TRACE_AARCH64_H_ 36 37const uint16_t kExpected_fmul_h[] = { 38 0x0000, 39 0x0000, 40 0x0000, 41 0x0000, 42 0x0000, 43 0x0000, 44 0x0000, 45 0x0000, 46 0x0000, 47 0x0000, 48 0x0000, 49 0x7e00, 50 0x7f23, 51 0x7e00, 52 0x7f23, 53 0x7e01, 54 0x0000, 55 0x0000, 56 0x0000, 57 0x8000, 58 0x8000, 59 0x8000, 60 0x8000, 61 0x8000, 62 0x8000, 63 0x8000, 64 0x8000, 65 0x8000, 66 0x8000, 67 0x8000, 68 0x7e00, 69 0xff23, 70 0xfe00, 71 0xff23, 72 0xfe01, 73 0x8000, 74 0x8000, 75 0x8000, 76 0x0000, 77 0x0000, 78 0x0200, 79 0x0200, 80 0x0200, 81 0x0400, 82 0x0400, 83 0x0401, 84 0x0600, 85 0x1100, 86 0x43ff, 87 0x7c00, 88 0x7f23, 89 0x7e00, 90 0x7f23, 91 0x7e01, 92 0x0000, 93 0x0000, 94 0x0000, 95 0x8000, 96 0x8000, 97 0x8200, 98 0x8200, 99 0x8200, 100 0x8400, 101 0x8400, 102 0x8401, 103 0x8600, 104 0x9100, 105 0xc3ff, 106 0xfc00, 107 0xff23, 108 0xfe00, 109 0xff23, 110 0xfe01, 111 0x8000, 112 0x8000, 113 0x8000, 114 0x0000, 115 0x0200, 116 0x33fe, 117 0x33ff, 118 0x3400, 119 0x37fe, 120 0x37ff, 121 0x3800, 122 0x39ff, 123 0x44ff, 124 0x77fe, 125 0x7c00, 126 0x7f23, 127 0x7e00, 128 0x7f23, 129 0x7e01, 130 0x0009, 131 0x01ff, 132 0x0000, 133 0x8000, 134 0x8200, 135 0xb3fe, 136 0xb3ff, 137 0xb400, 138 0xb7fe, 139 0xb7ff, 140 0xb800, 141 0xb9ff, 142 0xc4ff, 143 0xf7fe, 144 0xfc00, 145 0xff23, 146 0xfe00, 147 0xff23, 148 0xfe01, 149 0x8009, 150 0x81ff, 151 0x8000, 152 0x0000, 153 0x0200, 154 0x33ff, 155 0x3400, 156 0x3401, 157 0x37ff, 158 0x3800, 159 0x3801, 160 0x3a00, 161 0x4500, 162 0x77ff, 163 0x7c00, 164 0x7f23, 165 0x7e00, 166 0x7f23, 167 0x7e01, 168 0x0009, 169 0x0200, 170 0x0000, 171 0x8000, 172 0x8200, 173 0xb3ff, 174 0xb400, 175 0xb401, 176 0xb7ff, 177 0xb800, 178 0xb801, 179 0xba00, 180 0xc500, 181 0xf7ff, 182 0xfc00, 183 0xff23, 184 0xfe00, 185 0xff23, 186 0xfe01, 187 0x8009, 188 0x8200, 189 0x8000, 190 0x0000, 191 0x0200, 192 0x3400, 193 0x3401, 194 0x3402, 195 0x3800, 196 0x3801, 197 0x3802, 198 0x3a02, 199 0x4501, 200 0x7800, 201 0x7c00, 202 0x7f23, 203 0x7e00, 204 0x7f23, 205 0x7e01, 206 0x0009, 207 0x0200, 208 0x0001, 209 0x8000, 210 0x8200, 211 0xb400, 212 0xb401, 213 0xb402, 214 0xb800, 215 0xb801, 216 0xb802, 217 0xba02, 218 0xc501, 219 0xf800, 220 0xfc00, 221 0xff23, 222 0xfe00, 223 0xff23, 224 0xfe01, 225 0x8009, 226 0x8200, 227 0x8001, 228 0x0000, 229 0x0400, 230 0x37fe, 231 0x37ff, 232 0x3800, 233 0x3bfe, 234 0x3bff, 235 0x3c00, 236 0x3dff, 237 0x48ff, 238 0x7bfe, 239 0x7c00, 240 0x7f23, 241 0x7e00, 242 0x7f23, 243 0x7e01, 244 0x0012, 245 0x03ff, 246 0x0001, 247 0x8000, 248 0x8400, 249 0xb7fe, 250 0xb7ff, 251 0xb800, 252 0xbbfe, 253 0xbbff, 254 0xbc00, 255 0xbdff, 256 0xc8ff, 257 0xfbfe, 258 0xfc00, 259 0xff23, 260 0xfe00, 261 0xff23, 262 0xfe01, 263 0x8012, 264 0x83ff, 265 0x8001, 266 0x0000, 267 0x0400, 268 0x37ff, 269 0x3800, 270 0x3801, 271 0x3bff, 272 0x3c00, 273 0x3c01, 274 0x3e00, 275 0x4900, 276 0x7bff, 277 0x7c00, 278 0x7f23, 279 0x7e00, 280 0x7f23, 281 0x7e01, 282 0x0012, 283 0x03ff, 284 0x0001, 285 0x8000, 286 0x8400, 287 0xb7ff, 288 0xb800, 289 0xb801, 290 0xbbff, 291 0xbc00, 292 0xbc01, 293 0xbe00, 294 0xc900, 295 0xfbff, 296 0xfc00, 297 0xff23, 298 0xfe00, 299 0xff23, 300 0xfe01, 301 0x8012, 302 0x83ff, 303 0x8001, 304 0x0000, 305 0x0401, 306 0x3800, 307 0x3801, 308 0x3802, 309 0x3c00, 310 0x3c01, 311 0x3c02, 312 0x3e02, 313 0x4901, 314 0x7c00, 315 0x7c00, 316 0x7f23, 317 0x7e00, 318 0x7f23, 319 0x7e01, 320 0x0012, 321 0x0400, 322 0x0001, 323 0x8000, 324 0x8401, 325 0xb800, 326 0xb801, 327 0xb802, 328 0xbc00, 329 0xbc01, 330 0xbc02, 331 0xbe02, 332 0xc901, 333 0xfc00, 334 0xfc00, 335 0xff23, 336 0xfe00, 337 0xff23, 338 0xfe01, 339 0x8012, 340 0x8400, 341 0x8001, 342 0x0000, 343 0x0600, 344 0x39ff, 345 0x3a00, 346 0x3a02, 347 0x3dff, 348 0x3e00, 349 0x3e02, 350 0x4080, 351 0x4b80, 352 0x7c00, 353 0x7c00, 354 0x7f23, 355 0x7e00, 356 0x7f23, 357 0x7e01, 358 0x001b, 359 0x05fe, 360 0x0002, 361 0x8000, 362 0x8600, 363 0xb9ff, 364 0xba00, 365 0xba02, 366 0xbdff, 367 0xbe00, 368 0xbe02, 369 0xc080, 370 0xcb80, 371 0xfc00, 372 0xfc00, 373 0xff23, 374 0xfe00, 375 0xff23, 376 0xfe01, 377 0x801b, 378 0x85fe, 379 0x8002, 380 0x0000, 381 0x1100, 382 0x44ff, 383 0x4500, 384 0x4501, 385 0x48ff, 386 0x4900, 387 0x4901, 388 0x4b80, 389 0x5640, 390 0x7c00, 391 0x7c00, 392 0x7f23, 393 0x7e00, 394 0x7f23, 395 0x7e01, 396 0x00b4, 397 0x10ff, 398 0x000a, 399 0x8000, 400 0x9100, 401 0xc4ff, 402 0xc500, 403 0xc501, 404 0xc8ff, 405 0xc900, 406 0xc901, 407 0xcb80, 408 0xd640, 409 0xfc00, 410 0xfc00, 411 0xff23, 412 0xfe00, 413 0xff23, 414 0xfe01, 415 0x80b4, 416 0x90ff, 417 0x800a, 418 0x0000, 419 0x43ff, 420 0x77fe, 421 0x77ff, 422 0x7800, 423 0x7bfe, 424 0x7bff, 425 0x7c00, 426 0x7c00, 427 0x7c00, 428 0x7c00, 429 0x7c00, 430 0x7f23, 431 0x7e00, 432 0x7f23, 433 0x7e01, 434 0x2c7f, 435 0x43fd, 436 0x1bff, 437 0x8000, 438 0xc3ff, 439 0xf7fe, 440 0xf7ff, 441 0xf800, 442 0xfbfe, 443 0xfbff, 444 0xfc00, 445 0xfc00, 446 0xfc00, 447 0xfc00, 448 0xfc00, 449 0xff23, 450 0xfe00, 451 0xff23, 452 0xfe01, 453 0xac7f, 454 0xc3fd, 455 0x9bff, 456 0x7e00, 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 0x7e00, 476 0xfc00, 477 0xfc00, 478 0xfc00, 479 0xfc00, 480 0xfc00, 481 0xfc00, 482 0xfc00, 483 0xfc00, 484 0xfc00, 485 0xfc00, 486 0xfc00, 487 0xff23, 488 0xfe00, 489 0xff23, 490 0xfe01, 491 0xfc00, 492 0xfc00, 493 0xfc00, 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 0x0000, 647 0x0000, 648 0x0009, 649 0x0009, 650 0x0009, 651 0x0012, 652 0x0012, 653 0x0012, 654 0x001b, 655 0x00b4, 656 0x2c7f, 657 0x7c00, 658 0x7f23, 659 0x7e00, 660 0x7f23, 661 0x7e01, 662 0x0000, 663 0x0000, 664 0x0000, 665 0x8000, 666 0x8000, 667 0x8009, 668 0x8009, 669 0x8009, 670 0x8012, 671 0x8012, 672 0x8012, 673 0x801b, 674 0x80b4, 675 0xac7f, 676 0xfc00, 677 0xff23, 678 0xfe00, 679 0xff23, 680 0xfe01, 681 0x8000, 682 0x8000, 683 0x8000, 684 0x0000, 685 0x0000, 686 0x01ff, 687 0x0200, 688 0x0200, 689 0x03ff, 690 0x03ff, 691 0x0400, 692 0x05fe, 693 0x10ff, 694 0x43fd, 695 0x7c00, 696 0x7f23, 697 0x7e00, 698 0x7f23, 699 0x7e01, 700 0x0000, 701 0x0000, 702 0x0000, 703 0x8000, 704 0x8000, 705 0x81ff, 706 0x8200, 707 0x8200, 708 0x83ff, 709 0x83ff, 710 0x8400, 711 0x85fe, 712 0x90ff, 713 0xc3fd, 714 0xfc00, 715 0xff23, 716 0xfe00, 717 0xff23, 718 0xfe01, 719 0x8000, 720 0x8000, 721 0x8000, 722 0x0000, 723 0x0000, 724 0x0000, 725 0x0000, 726 0x0001, 727 0x0001, 728 0x0001, 729 0x0001, 730 0x0002, 731 0x000a, 732 0x1bff, 733 0x7c00, 734 0x7f23, 735 0x7e00, 736 0x7f23, 737 0x7e01, 738 0x0000, 739 0x0000, 740 0x0000, 741 0x8000, 742 0x8000, 743 0x8000, 744 0x8000, 745 0x8001, 746 0x8001, 747 0x8001, 748 0x8001, 749 0x8002, 750 0x800a, 751 0x9bff, 752 0xfc00, 753 0xff23, 754 0xfe00, 755 0xff23, 756 0xfe01, 757 0x8000, 758 0x8000, 759 0x8000, 760 0x8000, 761 0x8000, 762 0x8000, 763 0x8000, 764 0x8000, 765 0x8000, 766 0x8000, 767 0x8000, 768 0x8000, 769 0x8000, 770 0x8000, 771 0x7e00, 772 0x7f23, 773 0x7e00, 774 0x7f23, 775 0x7e01, 776 0x8000, 777 0x8000, 778 0x8000, 779 0x0000, 780 0x0000, 781 0x0000, 782 0x0000, 783 0x0000, 784 0x0000, 785 0x0000, 786 0x0000, 787 0x0000, 788 0x0000, 789 0x0000, 790 0x7e00, 791 0xff23, 792 0xfe00, 793 0xff23, 794 0xfe01, 795 0x0000, 796 0x0000, 797 0x0000, 798 0x8000, 799 0x8000, 800 0x8200, 801 0x8200, 802 0x8200, 803 0x8400, 804 0x8400, 805 0x8401, 806 0x8600, 807 0x9100, 808 0xc3ff, 809 0xfc00, 810 0x7f23, 811 0x7e00, 812 0x7f23, 813 0x7e01, 814 0x8000, 815 0x8000, 816 0x8000, 817 0x0000, 818 0x0000, 819 0x0200, 820 0x0200, 821 0x0200, 822 0x0400, 823 0x0400, 824 0x0401, 825 0x0600, 826 0x1100, 827 0x43ff, 828 0x7c00, 829 0xff23, 830 0xfe00, 831 0xff23, 832 0xfe01, 833 0x0000, 834 0x0000, 835 0x0000, 836 0x8000, 837 0x8200, 838 0xb3fe, 839 0xb3ff, 840 0xb400, 841 0xb7fe, 842 0xb7ff, 843 0xb800, 844 0xb9ff, 845 0xc4ff, 846 0xf7fe, 847 0xfc00, 848 0x7f23, 849 0x7e00, 850 0x7f23, 851 0x7e01, 852 0x8009, 853 0x81ff, 854 0x8000, 855 0x0000, 856 0x0200, 857 0x33fe, 858 0x33ff, 859 0x3400, 860 0x37fe, 861 0x37ff, 862 0x3800, 863 0x39ff, 864 0x44ff, 865 0x77fe, 866 0x7c00, 867 0xff23, 868 0xfe00, 869 0xff23, 870 0xfe01, 871 0x0009, 872 0x01ff, 873 0x0000, 874 0x8000, 875 0x8200, 876 0xb3ff, 877 0xb400, 878 0xb401, 879 0xb7ff, 880 0xb800, 881 0xb801, 882 0xba00, 883 0xc500, 884 0xf7ff, 885 0xfc00, 886 0x7f23, 887 0x7e00, 888 0x7f23, 889 0x7e01, 890 0x8009, 891 0x8200, 892 0x8000, 893 0x0000, 894 0x0200, 895 0x33ff, 896 0x3400, 897 0x3401, 898 0x37ff, 899 0x3800, 900 0x3801, 901 0x3a00, 902 0x4500, 903 0x77ff, 904 0x7c00, 905 0xff23, 906 0xfe00, 907 0xff23, 908 0xfe01, 909 0x0009, 910 0x0200, 911 0x0000, 912 0x8000, 913 0x8200, 914 0xb400, 915 0xb401, 916 0xb402, 917 0xb800, 918 0xb801, 919 0xb802, 920 0xba02, 921 0xc501, 922 0xf800, 923 0xfc00, 924 0x7f23, 925 0x7e00, 926 0x7f23, 927 0x7e01, 928 0x8009, 929 0x8200, 930 0x8001, 931 0x0000, 932 0x0200, 933 0x3400, 934 0x3401, 935 0x3402, 936 0x3800, 937 0x3801, 938 0x3802, 939 0x3a02, 940 0x4501, 941 0x7800, 942 0x7c00, 943 0xff23, 944 0xfe00, 945 0xff23, 946 0xfe01, 947 0x0009, 948 0x0200, 949 0x0001, 950 0x8000, 951 0x8400, 952 0xb7fe, 953 0xb7ff, 954 0xb800, 955 0xbbfe, 956 0xbbff, 957 0xbc00, 958 0xbdff, 959 0xc8ff, 960 0xfbfe, 961 0xfc00, 962 0x7f23, 963 0x7e00, 964 0x7f23, 965 0x7e01, 966 0x8012, 967 0x83ff, 968 0x8001, 969 0x0000, 970 0x0400, 971 0x37fe, 972 0x37ff, 973 0x3800, 974 0x3bfe, 975 0x3bff, 976 0x3c00, 977 0x3dff, 978 0x48ff, 979 0x7bfe, 980 0x7c00, 981 0xff23, 982 0xfe00, 983 0xff23, 984 0xfe01, 985 0x0012, 986 0x03ff, 987 0x0001, 988 0x8000, 989 0x8400, 990 0xb7ff, 991 0xb800, 992 0xb801, 993 0xbbff, 994 0xbc00, 995 0xbc01, 996 0xbe00, 997 0xc900, 998 0xfbff, 999 0xfc00, 1000 0x7f23, 1001 0x7e00, 1002 0x7f23, 1003 0x7e01, 1004 0x8012, 1005 0x83ff, 1006 0x8001, 1007 0x0000, 1008 0x0400, 1009 0x37ff, 1010 0x3800, 1011 0x3801, 1012 0x3bff, 1013 0x3c00, 1014 0x3c01, 1015 0x3e00, 1016 0x4900, 1017 0x7bff, 1018 0x7c00, 1019 0xff23, 1020 0xfe00, 1021 0xff23, 1022 0xfe01, 1023 0x0012, 1024 0x03ff, 1025 0x0001, 1026 0x8000, 1027 0x8401, 1028 0xb800, 1029 0xb801, 1030 0xb802, 1031 0xbc00, 1032 0xbc01, 1033 0xbc02, 1034 0xbe02, 1035 0xc901, 1036 0xfc00, 1037 0xfc00, 1038 0x7f23, 1039 0x7e00, 1040 0x7f23, 1041 0x7e01, 1042 0x8012, 1043 0x8400, 1044 0x8001, 1045 0x0000, 1046 0x0401, 1047 0x3800, 1048 0x3801, 1049 0x3802, 1050 0x3c00, 1051 0x3c01, 1052 0x3c02, 1053 0x3e02, 1054 0x4901, 1055 0x7c00, 1056 0x7c00, 1057 0xff23, 1058 0xfe00, 1059 0xff23, 1060 0xfe01, 1061 0x0012, 1062 0x0400, 1063 0x0001, 1064 0x8000, 1065 0x8600, 1066 0xb9ff, 1067 0xba00, 1068 0xba02, 1069 0xbdff, 1070 0xbe00, 1071 0xbe02, 1072 0xc080, 1073 0xcb80, 1074 0xfc00, 1075 0xfc00, 1076 0x7f23, 1077 0x7e00, 1078 0x7f23, 1079 0x7e01, 1080 0x801b, 1081 0x85fe, 1082 0x8002, 1083 0x0000, 1084 0x0600, 1085 0x39ff, 1086 0x3a00, 1087 0x3a02, 1088 0x3dff, 1089 0x3e00, 1090 0x3e02, 1091 0x4080, 1092 0x4b80, 1093 0x7c00, 1094 0x7c00, 1095 0xff23, 1096 0xfe00, 1097 0xff23, 1098 0xfe01, 1099 0x001b, 1100 0x05fe, 1101 0x0002, 1102 0x8000, 1103 0x9100, 1104 0xc4ff, 1105 0xc500, 1106 0xc501, 1107 0xc8ff, 1108 0xc900, 1109 0xc901, 1110 0xcb80, 1111 0xd640, 1112 0xfc00, 1113 0xfc00, 1114 0x7f23, 1115 0x7e00, 1116 0x7f23, 1117 0x7e01, 1118 0x80b4, 1119 0x90ff, 1120 0x800a, 1121 0x0000, 1122 0x1100, 1123 0x44ff, 1124 0x4500, 1125 0x4501, 1126 0x48ff, 1127 0x4900, 1128 0x4901, 1129 0x4b80, 1130 0x5640, 1131 0x7c00, 1132 0x7c00, 1133 0xff23, 1134 0xfe00, 1135 0xff23, 1136 0xfe01, 1137 0x00b4, 1138 0x10ff, 1139 0x000a, 1140 0x8000, 1141 0xc3ff, 1142 0xf7fe, 1143 0xf7ff, 1144 0xf800, 1145 0xfbfe, 1146 0xfbff, 1147 0xfc00, 1148 0xfc00, 1149 0xfc00, 1150 0xfc00, 1151 0xfc00, 1152 0x7f23, 1153 0x7e00, 1154 0x7f23, 1155 0x7e01, 1156 0xac7f, 1157 0xc3fd, 1158 0x9bff, 1159 0x0000, 1160 0x43ff, 1161 0x77fe, 1162 0x77ff, 1163 0x7800, 1164 0x7bfe, 1165 0x7bff, 1166 0x7c00, 1167 0x7c00, 1168 0x7c00, 1169 0x7c00, 1170 0x7c00, 1171 0xff23, 1172 0xfe00, 1173 0xff23, 1174 0xfe01, 1175 0x2c7f, 1176 0x43fd, 1177 0x1bff, 1178 0x7e00, 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 0x7e00, 1198 0x7c00, 1199 0x7c00, 1200 0x7c00, 1201 0x7c00, 1202 0x7c00, 1203 0x7c00, 1204 0x7c00, 1205 0x7c00, 1206 0x7c00, 1207 0x7c00, 1208 0x7c00, 1209 0xff23, 1210 0xfe00, 1211 0xff23, 1212 0xfe01, 1213 0x7c00, 1214 0x7c00, 1215 0x7c00, 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 0x8000, 1369 0x8000, 1370 0x8009, 1371 0x8009, 1372 0x8009, 1373 0x8012, 1374 0x8012, 1375 0x8012, 1376 0x801b, 1377 0x80b4, 1378 0xac7f, 1379 0xfc00, 1380 0x7f23, 1381 0x7e00, 1382 0x7f23, 1383 0x7e01, 1384 0x8000, 1385 0x8000, 1386 0x8000, 1387 0x0000, 1388 0x0000, 1389 0x0009, 1390 0x0009, 1391 0x0009, 1392 0x0012, 1393 0x0012, 1394 0x0012, 1395 0x001b, 1396 0x00b4, 1397 0x2c7f, 1398 0x7c00, 1399 0xff23, 1400 0xfe00, 1401 0xff23, 1402 0xfe01, 1403 0x0000, 1404 0x0000, 1405 0x0000, 1406 0x8000, 1407 0x8000, 1408 0x81ff, 1409 0x8200, 1410 0x8200, 1411 0x83ff, 1412 0x83ff, 1413 0x8400, 1414 0x85fe, 1415 0x90ff, 1416 0xc3fd, 1417 0xfc00, 1418 0x7f23, 1419 0x7e00, 1420 0x7f23, 1421 0x7e01, 1422 0x8000, 1423 0x8000, 1424 0x8000, 1425 0x0000, 1426 0x0000, 1427 0x01ff, 1428 0x0200, 1429 0x0200, 1430 0x03ff, 1431 0x03ff, 1432 0x0400, 1433 0x05fe, 1434 0x10ff, 1435 0x43fd, 1436 0x7c00, 1437 0xff23, 1438 0xfe00, 1439 0xff23, 1440 0xfe01, 1441 0x0000, 1442 0x0000, 1443 0x0000, 1444 0x8000, 1445 0x8000, 1446 0x8000, 1447 0x8000, 1448 0x8001, 1449 0x8001, 1450 0x8001, 1451 0x8001, 1452 0x8002, 1453 0x800a, 1454 0x9bff, 1455 0xfc00, 1456 0x7f23, 1457 0x7e00, 1458 0x7f23, 1459 0x7e01, 1460 0x8000, 1461 0x8000, 1462 0x8000, 1463 0x0000, 1464 0x0000, 1465 0x0000, 1466 0x0000, 1467 0x0001, 1468 0x0001, 1469 0x0001, 1470 0x0001, 1471 0x0002, 1472 0x000a, 1473 0x1bff, 1474 0x7c00, 1475 0xff23, 1476 0xfe00, 1477 0xff23, 1478 0xfe01, 1479 0x0000, 1480 0x0000, 1481 0x0000, 1482}; 1483const unsigned kExpectedCount_fmul_h = 1444; 1484 1485#endif // VIXL_SIM_FMUL_H_TRACE_AARCH64_H_ 1486