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