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_FMIN_H_TRACE_AARCH64_H_ 35#define VIXL_SIM_FMIN_H_TRACE_AARCH64_H_ 36 37const uint16_t kExpected_fmin_h[] = { 38 0x0000, 39 0x0000, 40 0x0000, 41 0x0000, 42 0x0000, 43 0x0000, 44 0x0000, 45 0x0000, 46 0x0000, 47 0x0000, 48 0x0000, 49 0x0000, 50 0x7f23, 51 0x7e00, 52 0x7f23, 53 0x7e01, 54 0x0000, 55 0x0000, 56 0x0000, 57 0x8000, 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 0x0000, 77 0x0400, 78 0x0400, 79 0x0400, 80 0x0400, 81 0x0400, 82 0x0400, 83 0x0400, 84 0x0400, 85 0x0400, 86 0x0400, 87 0x0400, 88 0x7f23, 89 0x7e00, 90 0x7f23, 91 0x7e01, 92 0x0012, 93 0x03ff, 94 0x0001, 95 0x8000, 96 0x8400, 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 0x8012, 112 0x83ff, 113 0x8001, 114 0x0000, 115 0x0400, 116 0x37ff, 117 0x37ff, 118 0x37ff, 119 0x37ff, 120 0x37ff, 121 0x37ff, 122 0x37ff, 123 0x37ff, 124 0x37ff, 125 0x37ff, 126 0x7f23, 127 0x7e00, 128 0x7f23, 129 0x7e01, 130 0x0012, 131 0x03ff, 132 0x0001, 133 0x8000, 134 0x8400, 135 0xb7ff, 136 0xb800, 137 0xb801, 138 0xbbff, 139 0xbc00, 140 0xbc01, 141 0xbe00, 142 0xc900, 143 0xfbff, 144 0xfc00, 145 0xff23, 146 0xfe00, 147 0xff23, 148 0xfe01, 149 0x8012, 150 0x83ff, 151 0x8001, 152 0x0000, 153 0x0400, 154 0x37ff, 155 0x3800, 156 0x3800, 157 0x3800, 158 0x3800, 159 0x3800, 160 0x3800, 161 0x3800, 162 0x3800, 163 0x3800, 164 0x7f23, 165 0x7e00, 166 0x7f23, 167 0x7e01, 168 0x0012, 169 0x03ff, 170 0x0001, 171 0x8000, 172 0x8400, 173 0xb7ff, 174 0xb800, 175 0xb801, 176 0xbbff, 177 0xbc00, 178 0xbc01, 179 0xbe00, 180 0xc900, 181 0xfbff, 182 0xfc00, 183 0xff23, 184 0xfe00, 185 0xff23, 186 0xfe01, 187 0x8012, 188 0x83ff, 189 0x8001, 190 0x0000, 191 0x0400, 192 0x37ff, 193 0x3800, 194 0x3801, 195 0x3801, 196 0x3801, 197 0x3801, 198 0x3801, 199 0x3801, 200 0x3801, 201 0x3801, 202 0x7f23, 203 0x7e00, 204 0x7f23, 205 0x7e01, 206 0x0012, 207 0x03ff, 208 0x0001, 209 0x8000, 210 0x8400, 211 0xb7ff, 212 0xb800, 213 0xb801, 214 0xbbff, 215 0xbc00, 216 0xbc01, 217 0xbe00, 218 0xc900, 219 0xfbff, 220 0xfc00, 221 0xff23, 222 0xfe00, 223 0xff23, 224 0xfe01, 225 0x8012, 226 0x83ff, 227 0x8001, 228 0x0000, 229 0x0400, 230 0x37ff, 231 0x3800, 232 0x3801, 233 0x3bff, 234 0x3bff, 235 0x3bff, 236 0x3bff, 237 0x3bff, 238 0x3bff, 239 0x3bff, 240 0x7f23, 241 0x7e00, 242 0x7f23, 243 0x7e01, 244 0x0012, 245 0x03ff, 246 0x0001, 247 0x8000, 248 0x8400, 249 0xb7ff, 250 0xb800, 251 0xb801, 252 0xbbff, 253 0xbc00, 254 0xbc01, 255 0xbe00, 256 0xc900, 257 0xfbff, 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 0x3c00, 274 0x3c00, 275 0x3c00, 276 0x3c00, 277 0x3c00, 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 0x0400, 306 0x37ff, 307 0x3800, 308 0x3801, 309 0x3bff, 310 0x3c00, 311 0x3c01, 312 0x3c01, 313 0x3c01, 314 0x3c01, 315 0x3c01, 316 0x7f23, 317 0x7e00, 318 0x7f23, 319 0x7e01, 320 0x0012, 321 0x03ff, 322 0x0001, 323 0x8000, 324 0x8400, 325 0xb7ff, 326 0xb800, 327 0xb801, 328 0xbbff, 329 0xbc00, 330 0xbc01, 331 0xbe00, 332 0xc900, 333 0xfbff, 334 0xfc00, 335 0xff23, 336 0xfe00, 337 0xff23, 338 0xfe01, 339 0x8012, 340 0x83ff, 341 0x8001, 342 0x0000, 343 0x0400, 344 0x37ff, 345 0x3800, 346 0x3801, 347 0x3bff, 348 0x3c00, 349 0x3c01, 350 0x3e00, 351 0x3e00, 352 0x3e00, 353 0x3e00, 354 0x7f23, 355 0x7e00, 356 0x7f23, 357 0x7e01, 358 0x0012, 359 0x03ff, 360 0x0001, 361 0x8000, 362 0x8400, 363 0xb7ff, 364 0xb800, 365 0xb801, 366 0xbbff, 367 0xbc00, 368 0xbc01, 369 0xbe00, 370 0xc900, 371 0xfbff, 372 0xfc00, 373 0xff23, 374 0xfe00, 375 0xff23, 376 0xfe01, 377 0x8012, 378 0x83ff, 379 0x8001, 380 0x0000, 381 0x0400, 382 0x37ff, 383 0x3800, 384 0x3801, 385 0x3bff, 386 0x3c00, 387 0x3c01, 388 0x3e00, 389 0x4900, 390 0x4900, 391 0x4900, 392 0x7f23, 393 0x7e00, 394 0x7f23, 395 0x7e01, 396 0x0012, 397 0x03ff, 398 0x0001, 399 0x8000, 400 0x8400, 401 0xb7ff, 402 0xb800, 403 0xb801, 404 0xbbff, 405 0xbc00, 406 0xbc01, 407 0xbe00, 408 0xc900, 409 0xfbff, 410 0xfc00, 411 0xff23, 412 0xfe00, 413 0xff23, 414 0xfe01, 415 0x8012, 416 0x83ff, 417 0x8001, 418 0x0000, 419 0x0400, 420 0x37ff, 421 0x3800, 422 0x3801, 423 0x3bff, 424 0x3c00, 425 0x3c01, 426 0x3e00, 427 0x4900, 428 0x7bff, 429 0x7bff, 430 0x7f23, 431 0x7e00, 432 0x7f23, 433 0x7e01, 434 0x0012, 435 0x03ff, 436 0x0001, 437 0x8000, 438 0x8400, 439 0xb7ff, 440 0xb800, 441 0xb801, 442 0xbbff, 443 0xbc00, 444 0xbc01, 445 0xbe00, 446 0xc900, 447 0xfbff, 448 0xfc00, 449 0xff23, 450 0xfe00, 451 0xff23, 452 0xfe01, 453 0x8012, 454 0x83ff, 455 0x8001, 456 0x0000, 457 0x0400, 458 0x37ff, 459 0x3800, 460 0x3801, 461 0x3bff, 462 0x3c00, 463 0x3c01, 464 0x3e00, 465 0x4900, 466 0x7bff, 467 0x7c00, 468 0x7f23, 469 0x7e00, 470 0x7f23, 471 0x7e01, 472 0x0012, 473 0x03ff, 474 0x0001, 475 0x8000, 476 0x8400, 477 0xb7ff, 478 0xb800, 479 0xb801, 480 0xbbff, 481 0xbc00, 482 0xbc01, 483 0xbe00, 484 0xc900, 485 0xfbff, 486 0xfc00, 487 0xff23, 488 0xfe00, 489 0xff23, 490 0xfe01, 491 0x8012, 492 0x83ff, 493 0x8001, 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 0x0012, 648 0x0012, 649 0x0012, 650 0x0012, 651 0x0012, 652 0x0012, 653 0x0012, 654 0x0012, 655 0x0012, 656 0x0012, 657 0x0012, 658 0x7f23, 659 0x7e00, 660 0x7f23, 661 0x7e01, 662 0x0012, 663 0x0012, 664 0x0001, 665 0x8000, 666 0x8400, 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 0x8012, 682 0x83ff, 683 0x8001, 684 0x0000, 685 0x03ff, 686 0x03ff, 687 0x03ff, 688 0x03ff, 689 0x03ff, 690 0x03ff, 691 0x03ff, 692 0x03ff, 693 0x03ff, 694 0x03ff, 695 0x03ff, 696 0x7f23, 697 0x7e00, 698 0x7f23, 699 0x7e01, 700 0x0012, 701 0x03ff, 702 0x0001, 703 0x8000, 704 0x8400, 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 0x8012, 720 0x83ff, 721 0x8001, 722 0x0000, 723 0x0001, 724 0x0001, 725 0x0001, 726 0x0001, 727 0x0001, 728 0x0001, 729 0x0001, 730 0x0001, 731 0x0001, 732 0x0001, 733 0x0001, 734 0x7f23, 735 0x7e00, 736 0x7f23, 737 0x7e01, 738 0x0001, 739 0x0001, 740 0x0001, 741 0x8000, 742 0x8400, 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 0x8012, 758 0x83ff, 759 0x8001, 760 0x8000, 761 0x8000, 762 0x8000, 763 0x8000, 764 0x8000, 765 0x8000, 766 0x8000, 767 0x8000, 768 0x8000, 769 0x8000, 770 0x8000, 771 0x8000, 772 0x7f23, 773 0x7e00, 774 0x7f23, 775 0x7e01, 776 0x8000, 777 0x8000, 778 0x8000, 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 0x8400, 800 0x8400, 801 0x8400, 802 0x8400, 803 0x8400, 804 0x8400, 805 0x8400, 806 0x8400, 807 0x8400, 808 0x8400, 809 0x8400, 810 0x7f23, 811 0x7e00, 812 0x7f23, 813 0x7e01, 814 0x8400, 815 0x8400, 816 0x8400, 817 0x8400, 818 0x8400, 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 0x8400, 834 0x8400, 835 0x8400, 836 0xb7ff, 837 0xb7ff, 838 0xb7ff, 839 0xb7ff, 840 0xb7ff, 841 0xb7ff, 842 0xb7ff, 843 0xb7ff, 844 0xb7ff, 845 0xb7ff, 846 0xb7ff, 847 0xb7ff, 848 0x7f23, 849 0x7e00, 850 0x7f23, 851 0x7e01, 852 0xb7ff, 853 0xb7ff, 854 0xb7ff, 855 0xb7ff, 856 0xb7ff, 857 0xb7ff, 858 0xb800, 859 0xb801, 860 0xbbff, 861 0xbc00, 862 0xbc01, 863 0xbe00, 864 0xc900, 865 0xfbff, 866 0xfc00, 867 0xff23, 868 0xfe00, 869 0xff23, 870 0xfe01, 871 0xb7ff, 872 0xb7ff, 873 0xb7ff, 874 0xb800, 875 0xb800, 876 0xb800, 877 0xb800, 878 0xb800, 879 0xb800, 880 0xb800, 881 0xb800, 882 0xb800, 883 0xb800, 884 0xb800, 885 0xb800, 886 0x7f23, 887 0x7e00, 888 0x7f23, 889 0x7e01, 890 0xb800, 891 0xb800, 892 0xb800, 893 0xb800, 894 0xb800, 895 0xb800, 896 0xb800, 897 0xb801, 898 0xbbff, 899 0xbc00, 900 0xbc01, 901 0xbe00, 902 0xc900, 903 0xfbff, 904 0xfc00, 905 0xff23, 906 0xfe00, 907 0xff23, 908 0xfe01, 909 0xb800, 910 0xb800, 911 0xb800, 912 0xb801, 913 0xb801, 914 0xb801, 915 0xb801, 916 0xb801, 917 0xb801, 918 0xb801, 919 0xb801, 920 0xb801, 921 0xb801, 922 0xb801, 923 0xb801, 924 0x7f23, 925 0x7e00, 926 0x7f23, 927 0x7e01, 928 0xb801, 929 0xb801, 930 0xb801, 931 0xb801, 932 0xb801, 933 0xb801, 934 0xb801, 935 0xb801, 936 0xbbff, 937 0xbc00, 938 0xbc01, 939 0xbe00, 940 0xc900, 941 0xfbff, 942 0xfc00, 943 0xff23, 944 0xfe00, 945 0xff23, 946 0xfe01, 947 0xb801, 948 0xb801, 949 0xb801, 950 0xbbff, 951 0xbbff, 952 0xbbff, 953 0xbbff, 954 0xbbff, 955 0xbbff, 956 0xbbff, 957 0xbbff, 958 0xbbff, 959 0xbbff, 960 0xbbff, 961 0xbbff, 962 0x7f23, 963 0x7e00, 964 0x7f23, 965 0x7e01, 966 0xbbff, 967 0xbbff, 968 0xbbff, 969 0xbbff, 970 0xbbff, 971 0xbbff, 972 0xbbff, 973 0xbbff, 974 0xbbff, 975 0xbc00, 976 0xbc01, 977 0xbe00, 978 0xc900, 979 0xfbff, 980 0xfc00, 981 0xff23, 982 0xfe00, 983 0xff23, 984 0xfe01, 985 0xbbff, 986 0xbbff, 987 0xbbff, 988 0xbc00, 989 0xbc00, 990 0xbc00, 991 0xbc00, 992 0xbc00, 993 0xbc00, 994 0xbc00, 995 0xbc00, 996 0xbc00, 997 0xbc00, 998 0xbc00, 999 0xbc00, 1000 0x7f23, 1001 0x7e00, 1002 0x7f23, 1003 0x7e01, 1004 0xbc00, 1005 0xbc00, 1006 0xbc00, 1007 0xbc00, 1008 0xbc00, 1009 0xbc00, 1010 0xbc00, 1011 0xbc00, 1012 0xbc00, 1013 0xbc00, 1014 0xbc01, 1015 0xbe00, 1016 0xc900, 1017 0xfbff, 1018 0xfc00, 1019 0xff23, 1020 0xfe00, 1021 0xff23, 1022 0xfe01, 1023 0xbc00, 1024 0xbc00, 1025 0xbc00, 1026 0xbc01, 1027 0xbc01, 1028 0xbc01, 1029 0xbc01, 1030 0xbc01, 1031 0xbc01, 1032 0xbc01, 1033 0xbc01, 1034 0xbc01, 1035 0xbc01, 1036 0xbc01, 1037 0xbc01, 1038 0x7f23, 1039 0x7e00, 1040 0x7f23, 1041 0x7e01, 1042 0xbc01, 1043 0xbc01, 1044 0xbc01, 1045 0xbc01, 1046 0xbc01, 1047 0xbc01, 1048 0xbc01, 1049 0xbc01, 1050 0xbc01, 1051 0xbc01, 1052 0xbc01, 1053 0xbe00, 1054 0xc900, 1055 0xfbff, 1056 0xfc00, 1057 0xff23, 1058 0xfe00, 1059 0xff23, 1060 0xfe01, 1061 0xbc01, 1062 0xbc01, 1063 0xbc01, 1064 0xbe00, 1065 0xbe00, 1066 0xbe00, 1067 0xbe00, 1068 0xbe00, 1069 0xbe00, 1070 0xbe00, 1071 0xbe00, 1072 0xbe00, 1073 0xbe00, 1074 0xbe00, 1075 0xbe00, 1076 0x7f23, 1077 0x7e00, 1078 0x7f23, 1079 0x7e01, 1080 0xbe00, 1081 0xbe00, 1082 0xbe00, 1083 0xbe00, 1084 0xbe00, 1085 0xbe00, 1086 0xbe00, 1087 0xbe00, 1088 0xbe00, 1089 0xbe00, 1090 0xbe00, 1091 0xbe00, 1092 0xc900, 1093 0xfbff, 1094 0xfc00, 1095 0xff23, 1096 0xfe00, 1097 0xff23, 1098 0xfe01, 1099 0xbe00, 1100 0xbe00, 1101 0xbe00, 1102 0xc900, 1103 0xc900, 1104 0xc900, 1105 0xc900, 1106 0xc900, 1107 0xc900, 1108 0xc900, 1109 0xc900, 1110 0xc900, 1111 0xc900, 1112 0xc900, 1113 0xc900, 1114 0x7f23, 1115 0x7e00, 1116 0x7f23, 1117 0x7e01, 1118 0xc900, 1119 0xc900, 1120 0xc900, 1121 0xc900, 1122 0xc900, 1123 0xc900, 1124 0xc900, 1125 0xc900, 1126 0xc900, 1127 0xc900, 1128 0xc900, 1129 0xc900, 1130 0xc900, 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 0xfbff, 1151 0xfbff, 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 0xfbff, 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 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 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 0x8012, 1370 0x8012, 1371 0x8012, 1372 0x8012, 1373 0x8012, 1374 0x8012, 1375 0x8012, 1376 0x8012, 1377 0x8012, 1378 0x8012, 1379 0x8012, 1380 0x7f23, 1381 0x7e00, 1382 0x7f23, 1383 0x7e01, 1384 0x8012, 1385 0x8012, 1386 0x8012, 1387 0x8012, 1388 0x8400, 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 0x8012, 1404 0x83ff, 1405 0x8012, 1406 0x83ff, 1407 0x83ff, 1408 0x83ff, 1409 0x83ff, 1410 0x83ff, 1411 0x83ff, 1412 0x83ff, 1413 0x83ff, 1414 0x83ff, 1415 0x83ff, 1416 0x83ff, 1417 0x83ff, 1418 0x7f23, 1419 0x7e00, 1420 0x7f23, 1421 0x7e01, 1422 0x83ff, 1423 0x83ff, 1424 0x83ff, 1425 0x83ff, 1426 0x8400, 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 0x83ff, 1442 0x83ff, 1443 0x83ff, 1444 0x8001, 1445 0x8001, 1446 0x8001, 1447 0x8001, 1448 0x8001, 1449 0x8001, 1450 0x8001, 1451 0x8001, 1452 0x8001, 1453 0x8001, 1454 0x8001, 1455 0x8001, 1456 0x7f23, 1457 0x7e00, 1458 0x7f23, 1459 0x7e01, 1460 0x8001, 1461 0x8001, 1462 0x8001, 1463 0x8001, 1464 0x8400, 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 0x8012, 1480 0x83ff, 1481 0x8001, 1482}; 1483const unsigned kExpectedCount_fmin_h = 1444; 1484 1485#endif // VIXL_SIM_FMIN_H_TRACE_AARCH64_H_ 1486