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_FMAX_H_TRACE_AARCH64_H_ 35#define VIXL_SIM_FMAX_H_TRACE_AARCH64_H_ 36 37const uint16_t kExpected_fmax_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 0x0000, 59 0x0000, 60 0x0000, 61 0x0000, 62 0x0000, 63 0x0000, 64 0x0000, 65 0x0000, 66 0x0000, 67 0x0000, 68 0x0000, 69 0xff23, 70 0xfe00, 71 0xff23, 72 0xfe01, 73 0x0000, 74 0x0000, 75 0x0000, 76 0x0400, 77 0x0400, 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 0x0400, 93 0x0400, 94 0x0400, 95 0x0400, 96 0x0400, 97 0x0400, 98 0x0400, 99 0x0400, 100 0x0400, 101 0x0400, 102 0x0400, 103 0x0400, 104 0x0400, 105 0x0400, 106 0x0400, 107 0xff23, 108 0xfe00, 109 0xff23, 110 0xfe01, 111 0x0400, 112 0x0400, 113 0x0400, 114 0x37ff, 115 0x37ff, 116 0x37ff, 117 0x3800, 118 0x3801, 119 0x3bff, 120 0x3c00, 121 0x3c01, 122 0x3e00, 123 0x4900, 124 0x7bff, 125 0x7c00, 126 0x7f23, 127 0x7e00, 128 0x7f23, 129 0x7e01, 130 0x37ff, 131 0x37ff, 132 0x37ff, 133 0x37ff, 134 0x37ff, 135 0x37ff, 136 0x37ff, 137 0x37ff, 138 0x37ff, 139 0x37ff, 140 0x37ff, 141 0x37ff, 142 0x37ff, 143 0x37ff, 144 0x37ff, 145 0xff23, 146 0xfe00, 147 0xff23, 148 0xfe01, 149 0x37ff, 150 0x37ff, 151 0x37ff, 152 0x3800, 153 0x3800, 154 0x3800, 155 0x3800, 156 0x3801, 157 0x3bff, 158 0x3c00, 159 0x3c01, 160 0x3e00, 161 0x4900, 162 0x7bff, 163 0x7c00, 164 0x7f23, 165 0x7e00, 166 0x7f23, 167 0x7e01, 168 0x3800, 169 0x3800, 170 0x3800, 171 0x3800, 172 0x3800, 173 0x3800, 174 0x3800, 175 0x3800, 176 0x3800, 177 0x3800, 178 0x3800, 179 0x3800, 180 0x3800, 181 0x3800, 182 0x3800, 183 0xff23, 184 0xfe00, 185 0xff23, 186 0xfe01, 187 0x3800, 188 0x3800, 189 0x3800, 190 0x3801, 191 0x3801, 192 0x3801, 193 0x3801, 194 0x3801, 195 0x3bff, 196 0x3c00, 197 0x3c01, 198 0x3e00, 199 0x4900, 200 0x7bff, 201 0x7c00, 202 0x7f23, 203 0x7e00, 204 0x7f23, 205 0x7e01, 206 0x3801, 207 0x3801, 208 0x3801, 209 0x3801, 210 0x3801, 211 0x3801, 212 0x3801, 213 0x3801, 214 0x3801, 215 0x3801, 216 0x3801, 217 0x3801, 218 0x3801, 219 0x3801, 220 0x3801, 221 0xff23, 222 0xfe00, 223 0xff23, 224 0xfe01, 225 0x3801, 226 0x3801, 227 0x3801, 228 0x3bff, 229 0x3bff, 230 0x3bff, 231 0x3bff, 232 0x3bff, 233 0x3bff, 234 0x3c00, 235 0x3c01, 236 0x3e00, 237 0x4900, 238 0x7bff, 239 0x7c00, 240 0x7f23, 241 0x7e00, 242 0x7f23, 243 0x7e01, 244 0x3bff, 245 0x3bff, 246 0x3bff, 247 0x3bff, 248 0x3bff, 249 0x3bff, 250 0x3bff, 251 0x3bff, 252 0x3bff, 253 0x3bff, 254 0x3bff, 255 0x3bff, 256 0x3bff, 257 0x3bff, 258 0x3bff, 259 0xff23, 260 0xfe00, 261 0xff23, 262 0xfe01, 263 0x3bff, 264 0x3bff, 265 0x3bff, 266 0x3c00, 267 0x3c00, 268 0x3c00, 269 0x3c00, 270 0x3c00, 271 0x3c00, 272 0x3c00, 273 0x3c01, 274 0x3e00, 275 0x4900, 276 0x7bff, 277 0x7c00, 278 0x7f23, 279 0x7e00, 280 0x7f23, 281 0x7e01, 282 0x3c00, 283 0x3c00, 284 0x3c00, 285 0x3c00, 286 0x3c00, 287 0x3c00, 288 0x3c00, 289 0x3c00, 290 0x3c00, 291 0x3c00, 292 0x3c00, 293 0x3c00, 294 0x3c00, 295 0x3c00, 296 0x3c00, 297 0xff23, 298 0xfe00, 299 0xff23, 300 0xfe01, 301 0x3c00, 302 0x3c00, 303 0x3c00, 304 0x3c01, 305 0x3c01, 306 0x3c01, 307 0x3c01, 308 0x3c01, 309 0x3c01, 310 0x3c01, 311 0x3c01, 312 0x3e00, 313 0x4900, 314 0x7bff, 315 0x7c00, 316 0x7f23, 317 0x7e00, 318 0x7f23, 319 0x7e01, 320 0x3c01, 321 0x3c01, 322 0x3c01, 323 0x3c01, 324 0x3c01, 325 0x3c01, 326 0x3c01, 327 0x3c01, 328 0x3c01, 329 0x3c01, 330 0x3c01, 331 0x3c01, 332 0x3c01, 333 0x3c01, 334 0x3c01, 335 0xff23, 336 0xfe00, 337 0xff23, 338 0xfe01, 339 0x3c01, 340 0x3c01, 341 0x3c01, 342 0x3e00, 343 0x3e00, 344 0x3e00, 345 0x3e00, 346 0x3e00, 347 0x3e00, 348 0x3e00, 349 0x3e00, 350 0x3e00, 351 0x4900, 352 0x7bff, 353 0x7c00, 354 0x7f23, 355 0x7e00, 356 0x7f23, 357 0x7e01, 358 0x3e00, 359 0x3e00, 360 0x3e00, 361 0x3e00, 362 0x3e00, 363 0x3e00, 364 0x3e00, 365 0x3e00, 366 0x3e00, 367 0x3e00, 368 0x3e00, 369 0x3e00, 370 0x3e00, 371 0x3e00, 372 0x3e00, 373 0xff23, 374 0xfe00, 375 0xff23, 376 0xfe01, 377 0x3e00, 378 0x3e00, 379 0x3e00, 380 0x4900, 381 0x4900, 382 0x4900, 383 0x4900, 384 0x4900, 385 0x4900, 386 0x4900, 387 0x4900, 388 0x4900, 389 0x4900, 390 0x7bff, 391 0x7c00, 392 0x7f23, 393 0x7e00, 394 0x7f23, 395 0x7e01, 396 0x4900, 397 0x4900, 398 0x4900, 399 0x4900, 400 0x4900, 401 0x4900, 402 0x4900, 403 0x4900, 404 0x4900, 405 0x4900, 406 0x4900, 407 0x4900, 408 0x4900, 409 0x4900, 410 0x4900, 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 0x7bff, 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 0x7bff, 448 0x7bff, 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 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 0x0400, 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 0x0012, 663 0x03ff, 664 0x0012, 665 0x0012, 666 0x0012, 667 0x0012, 668 0x0012, 669 0x0012, 670 0x0012, 671 0x0012, 672 0x0012, 673 0x0012, 674 0x0012, 675 0x0012, 676 0x0012, 677 0xff23, 678 0xfe00, 679 0xff23, 680 0xfe01, 681 0x0012, 682 0x0012, 683 0x0012, 684 0x03ff, 685 0x0400, 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 0x03ff, 701 0x03ff, 702 0x03ff, 703 0x03ff, 704 0x03ff, 705 0x03ff, 706 0x03ff, 707 0x03ff, 708 0x03ff, 709 0x03ff, 710 0x03ff, 711 0x03ff, 712 0x03ff, 713 0x03ff, 714 0x03ff, 715 0xff23, 716 0xfe00, 717 0xff23, 718 0xfe01, 719 0x03ff, 720 0x03ff, 721 0x03ff, 722 0x0001, 723 0x0400, 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 0x0012, 739 0x03ff, 740 0x0001, 741 0x0001, 742 0x0001, 743 0x0001, 744 0x0001, 745 0x0001, 746 0x0001, 747 0x0001, 748 0x0001, 749 0x0001, 750 0x0001, 751 0x0001, 752 0x0001, 753 0xff23, 754 0xfe00, 755 0xff23, 756 0xfe01, 757 0x0001, 758 0x0001, 759 0x0001, 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 0x8000, 781 0x8000, 782 0x8000, 783 0x8000, 784 0x8000, 785 0x8000, 786 0x8000, 787 0x8000, 788 0x8000, 789 0x8000, 790 0x8000, 791 0xff23, 792 0xfe00, 793 0xff23, 794 0xfe01, 795 0x8000, 796 0x8000, 797 0x8000, 798 0x0000, 799 0x0400, 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 0x0012, 815 0x03ff, 816 0x0001, 817 0x8000, 818 0x8400, 819 0x8400, 820 0x8400, 821 0x8400, 822 0x8400, 823 0x8400, 824 0x8400, 825 0x8400, 826 0x8400, 827 0x8400, 828 0x8400, 829 0xff23, 830 0xfe00, 831 0xff23, 832 0xfe01, 833 0x8012, 834 0x83ff, 835 0x8001, 836 0x0000, 837 0x0400, 838 0x37ff, 839 0x3800, 840 0x3801, 841 0x3bff, 842 0x3c00, 843 0x3c01, 844 0x3e00, 845 0x4900, 846 0x7bff, 847 0x7c00, 848 0x7f23, 849 0x7e00, 850 0x7f23, 851 0x7e01, 852 0x0012, 853 0x03ff, 854 0x0001, 855 0x8000, 856 0x8400, 857 0xb7ff, 858 0xb7ff, 859 0xb7ff, 860 0xb7ff, 861 0xb7ff, 862 0xb7ff, 863 0xb7ff, 864 0xb7ff, 865 0xb7ff, 866 0xb7ff, 867 0xff23, 868 0xfe00, 869 0xff23, 870 0xfe01, 871 0x8012, 872 0x83ff, 873 0x8001, 874 0x0000, 875 0x0400, 876 0x37ff, 877 0x3800, 878 0x3801, 879 0x3bff, 880 0x3c00, 881 0x3c01, 882 0x3e00, 883 0x4900, 884 0x7bff, 885 0x7c00, 886 0x7f23, 887 0x7e00, 888 0x7f23, 889 0x7e01, 890 0x0012, 891 0x03ff, 892 0x0001, 893 0x8000, 894 0x8400, 895 0xb7ff, 896 0xb800, 897 0xb800, 898 0xb800, 899 0xb800, 900 0xb800, 901 0xb800, 902 0xb800, 903 0xb800, 904 0xb800, 905 0xff23, 906 0xfe00, 907 0xff23, 908 0xfe01, 909 0x8012, 910 0x83ff, 911 0x8001, 912 0x0000, 913 0x0400, 914 0x37ff, 915 0x3800, 916 0x3801, 917 0x3bff, 918 0x3c00, 919 0x3c01, 920 0x3e00, 921 0x4900, 922 0x7bff, 923 0x7c00, 924 0x7f23, 925 0x7e00, 926 0x7f23, 927 0x7e01, 928 0x0012, 929 0x03ff, 930 0x0001, 931 0x8000, 932 0x8400, 933 0xb7ff, 934 0xb800, 935 0xb801, 936 0xb801, 937 0xb801, 938 0xb801, 939 0xb801, 940 0xb801, 941 0xb801, 942 0xb801, 943 0xff23, 944 0xfe00, 945 0xff23, 946 0xfe01, 947 0x8012, 948 0x83ff, 949 0x8001, 950 0x0000, 951 0x0400, 952 0x37ff, 953 0x3800, 954 0x3801, 955 0x3bff, 956 0x3c00, 957 0x3c01, 958 0x3e00, 959 0x4900, 960 0x7bff, 961 0x7c00, 962 0x7f23, 963 0x7e00, 964 0x7f23, 965 0x7e01, 966 0x0012, 967 0x03ff, 968 0x0001, 969 0x8000, 970 0x8400, 971 0xb7ff, 972 0xb800, 973 0xb801, 974 0xbbff, 975 0xbbff, 976 0xbbff, 977 0xbbff, 978 0xbbff, 979 0xbbff, 980 0xbbff, 981 0xff23, 982 0xfe00, 983 0xff23, 984 0xfe01, 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 0x7f23, 1001 0x7e00, 1002 0x7f23, 1003 0x7e01, 1004 0x0012, 1005 0x03ff, 1006 0x0001, 1007 0x8000, 1008 0x8400, 1009 0xb7ff, 1010 0xb800, 1011 0xb801, 1012 0xbbff, 1013 0xbc00, 1014 0xbc00, 1015 0xbc00, 1016 0xbc00, 1017 0xbc00, 1018 0xbc00, 1019 0xff23, 1020 0xfe00, 1021 0xff23, 1022 0xfe01, 1023 0x8012, 1024 0x83ff, 1025 0x8001, 1026 0x0000, 1027 0x0400, 1028 0x37ff, 1029 0x3800, 1030 0x3801, 1031 0x3bff, 1032 0x3c00, 1033 0x3c01, 1034 0x3e00, 1035 0x4900, 1036 0x7bff, 1037 0x7c00, 1038 0x7f23, 1039 0x7e00, 1040 0x7f23, 1041 0x7e01, 1042 0x0012, 1043 0x03ff, 1044 0x0001, 1045 0x8000, 1046 0x8400, 1047 0xb7ff, 1048 0xb800, 1049 0xb801, 1050 0xbbff, 1051 0xbc00, 1052 0xbc01, 1053 0xbc01, 1054 0xbc01, 1055 0xbc01, 1056 0xbc01, 1057 0xff23, 1058 0xfe00, 1059 0xff23, 1060 0xfe01, 1061 0x8012, 1062 0x83ff, 1063 0x8001, 1064 0x0000, 1065 0x0400, 1066 0x37ff, 1067 0x3800, 1068 0x3801, 1069 0x3bff, 1070 0x3c00, 1071 0x3c01, 1072 0x3e00, 1073 0x4900, 1074 0x7bff, 1075 0x7c00, 1076 0x7f23, 1077 0x7e00, 1078 0x7f23, 1079 0x7e01, 1080 0x0012, 1081 0x03ff, 1082 0x0001, 1083 0x8000, 1084 0x8400, 1085 0xb7ff, 1086 0xb800, 1087 0xb801, 1088 0xbbff, 1089 0xbc00, 1090 0xbc01, 1091 0xbe00, 1092 0xbe00, 1093 0xbe00, 1094 0xbe00, 1095 0xff23, 1096 0xfe00, 1097 0xff23, 1098 0xfe01, 1099 0x8012, 1100 0x83ff, 1101 0x8001, 1102 0x0000, 1103 0x0400, 1104 0x37ff, 1105 0x3800, 1106 0x3801, 1107 0x3bff, 1108 0x3c00, 1109 0x3c01, 1110 0x3e00, 1111 0x4900, 1112 0x7bff, 1113 0x7c00, 1114 0x7f23, 1115 0x7e00, 1116 0x7f23, 1117 0x7e01, 1118 0x0012, 1119 0x03ff, 1120 0x0001, 1121 0x8000, 1122 0x8400, 1123 0xb7ff, 1124 0xb800, 1125 0xb801, 1126 0xbbff, 1127 0xbc00, 1128 0xbc01, 1129 0xbe00, 1130 0xc900, 1131 0xc900, 1132 0xc900, 1133 0xff23, 1134 0xfe00, 1135 0xff23, 1136 0xfe01, 1137 0x8012, 1138 0x83ff, 1139 0x8001, 1140 0x0000, 1141 0x0400, 1142 0x37ff, 1143 0x3800, 1144 0x3801, 1145 0x3bff, 1146 0x3c00, 1147 0x3c01, 1148 0x3e00, 1149 0x4900, 1150 0x7bff, 1151 0x7c00, 1152 0x7f23, 1153 0x7e00, 1154 0x7f23, 1155 0x7e01, 1156 0x0012, 1157 0x03ff, 1158 0x0001, 1159 0x8000, 1160 0x8400, 1161 0xb7ff, 1162 0xb800, 1163 0xb801, 1164 0xbbff, 1165 0xbc00, 1166 0xbc01, 1167 0xbe00, 1168 0xc900, 1169 0xfbff, 1170 0xfbff, 1171 0xff23, 1172 0xfe00, 1173 0xff23, 1174 0xfe01, 1175 0x8012, 1176 0x83ff, 1177 0x8001, 1178 0x0000, 1179 0x0400, 1180 0x37ff, 1181 0x3800, 1182 0x3801, 1183 0x3bff, 1184 0x3c00, 1185 0x3c01, 1186 0x3e00, 1187 0x4900, 1188 0x7bff, 1189 0x7c00, 1190 0x7f23, 1191 0x7e00, 1192 0x7f23, 1193 0x7e01, 1194 0x0012, 1195 0x03ff, 1196 0x0001, 1197 0x8000, 1198 0x8400, 1199 0xb7ff, 1200 0xb800, 1201 0xb801, 1202 0xbbff, 1203 0xbc00, 1204 0xbc01, 1205 0xbe00, 1206 0xc900, 1207 0xfbff, 1208 0xfc00, 1209 0xff23, 1210 0xfe00, 1211 0xff23, 1212 0xfe01, 1213 0x8012, 1214 0x83ff, 1215 0x8001, 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 0x0000, 1369 0x0400, 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 0x0012, 1385 0x03ff, 1386 0x0001, 1387 0x8000, 1388 0x8012, 1389 0x8012, 1390 0x8012, 1391 0x8012, 1392 0x8012, 1393 0x8012, 1394 0x8012, 1395 0x8012, 1396 0x8012, 1397 0x8012, 1398 0x8012, 1399 0xff23, 1400 0xfe00, 1401 0xff23, 1402 0xfe01, 1403 0x8012, 1404 0x8012, 1405 0x8001, 1406 0x0000, 1407 0x0400, 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 0x0012, 1423 0x03ff, 1424 0x0001, 1425 0x8000, 1426 0x83ff, 1427 0x83ff, 1428 0x83ff, 1429 0x83ff, 1430 0x83ff, 1431 0x83ff, 1432 0x83ff, 1433 0x83ff, 1434 0x83ff, 1435 0x83ff, 1436 0x83ff, 1437 0xff23, 1438 0xfe00, 1439 0xff23, 1440 0xfe01, 1441 0x8012, 1442 0x83ff, 1443 0x8001, 1444 0x0000, 1445 0x0400, 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 0x0012, 1461 0x03ff, 1462 0x0001, 1463 0x8000, 1464 0x8001, 1465 0x8001, 1466 0x8001, 1467 0x8001, 1468 0x8001, 1469 0x8001, 1470 0x8001, 1471 0x8001, 1472 0x8001, 1473 0x8001, 1474 0x8001, 1475 0xff23, 1476 0xfe00, 1477 0xff23, 1478 0xfe01, 1479 0x8001, 1480 0x8001, 1481 0x8001, 1482}; 1483const unsigned kExpectedCount_fmax_h = 1444; 1484 1485#endif // VIXL_SIM_FMAX_H_TRACE_AARCH64_H_ 1486