1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 1118 1119 1120 1121 1122 1123 1124 1125 1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 1189 1190 1191 1192 1193 1194 1195 1196 1197 1198 1199 1200 1201 1202 1203 1204 1205 1206 1207 1208 1209 1210 1211 1212 1213 1214 1215 1216 1217 1218 1219 1220 1221 1222 1223 1224 1225 1226 1227 1228 1229 1230 1231 1232 1233 1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245 1246 1247 1248 1249 1250 1251 1252 1253 1254 1255 1256 1257 1258 1259 1260 1261 1262 1263 1264 1265 1266 1267 1268 1269 1270 1271 1272 1273 1274 1275 1276 1277 1278 1279 1280 1281 1282 1283 1284 1285 1286 1287 1288 1289 1290 1291 1292 1293 1294 1295 1296 1297 1298 1299 1300 1301 1302 1303 1304 1305 1306 1307 1308 1309 1310 1311 1312 1313 1314 1315 1316 1317 1318 1319 1320 1321 1322 1323 1324 1325 1326 1327 1328 1329 1330 1331 1332 1333 1334 1335 1336 1337 1338 1339 1340 1341 1342 1343 1344 1345 1346 1347 1348 1349 1350 1351 1352 1353 1354 1355 1356 1357 1358 1359 1360 1361 1362 1363 1364 1365 1366 1367 1368 1369 1370 1371 1372 1373 1374 1375 1376 1377 1378 1379 1380 1381 1382 1383 1384 1385 1386 1387 1388 1389 1390 1391 1392 1393 1394 1395 1396 1397 1398 1399 1400 1401 1402 1403 1404 1405 1406 1407 1408 1409 1410 1411 1412 1413 1414 1415 1416 1417 1418 1419 1420 1421 1422 1423 1424 1425 1426 1427 1428 1429 1430 1431 1432 1433 1434 1435 1436 1437 1438 1439 1440 1441 1442 1443 1444 1445 1446 1447 1448 1449 1450 1451 1452 1453 1454 1455 1456 1457 1458 1459 1460 1461 1462 1463 1464 1465 1466 1467 1468 1469 1470 1471 1472 1473 1474 1475 1476 1477 1478 1479 1480 1481 1482 1483 1484 1485 1486 1487 1488 1489 1490 1491 1492 1493 1494 1495 1496 1497 1498 1499 1500 1501 1502 1503 1504 1505 1506 1507 1508 1509 1510 1511 1512 1513 1514 1515 1516 1517 1518 1519 1520 1521 1522 1523 1524 1525 1526 1527 1528 1529 1530 1531 1532 1533
|
PPC floating point arith insns with three args:
fsel 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
fsel 0010000000000001, 0010000000000001, bfe00094e0000359 => 0010000000000000
fsel 0010000000000001, 80100094e0000359, 0010000000000001 => 80100094e0000300
fsel 0010000000000001, 80100094e0000359, bfe00094e0000359 => 80100094e0000300
fsel 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0010000000000000
fsel 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 0010000000000000
fsel 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 80100094e0000300
fsel 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 80100094e0000300
fsel bfe0000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
fsel bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
fsel bfe0000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000
fsel bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
fmadd 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
fmadd 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
fmadd 0010000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000
fmadd 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
fmadd 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0018004a70000100
fmadd 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
fmadd 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0007ff6b1d4b5e00
fmadd 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
fmadd bfe0000000000001, 0010000000000001, 0010000000000001 => 0008000000000000
fmadd bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
fmadd bfe0000000000001, 80100094e0000359, 0010000000000001 => 0018004a70000100
fmadd bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
fmadds 0010000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
fmadds 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
fmadds 0010000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
fmadds 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
fmadds 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0000000000000000
fmadds 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
fmadds 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0000000000000000
fmadds 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
fmadds bfe0000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
fmadds bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
fmadds bfe0000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
fmadds bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
fmsub 0010000000000001, 0010000000000001, 0010000000000001 => 8010000000000000
fmsub 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
fmsub 0010000000000001, 80100094e0000359, 0010000000000001 => 8010000000000000
fmsub 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
fmsub 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8007ffb58ffffe00
fmsub 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
fmsub 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 80180094e2b4a100
fmsub 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
fmsub bfe0000000000001, 0010000000000001, 0010000000000001 => 8018000000000000
fmsub bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
fmsub bfe0000000000001, 80100094e0000359, 0010000000000001 => 8007ffb58ffffe00
fmsub bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
fmsubs 0010000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
fmsubs 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
fmsubs 0010000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
fmsubs 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
fmsubs 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8000000000000000
fmsubs 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
fmsubs 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8000000000000000
fmsubs 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
fmsubs bfe0000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
fmsubs bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
fmsubs bfe0000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
fmsubs bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
fnmadd 0010000000000001, 0010000000000001, 0010000000000001 => 8010000000000000
fnmadd 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
fnmadd 0010000000000001, 80100094e0000359, 0010000000000001 => 8010000000000000
fnmadd 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
fnmadd 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8018004a70000100
fnmadd 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
fnmadd 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8007ff6b1d4b5e00
fnmadd 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
fnmadd bfe0000000000001, 0010000000000001, 0010000000000001 => 8008000000000000
fnmadd bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
fnmadd bfe0000000000001, 80100094e0000359, 0010000000000001 => 8018004a70000100
fnmadd bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
fnmadds 0010000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
fnmadds 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
fnmadds 0010000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
fnmadds 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
fnmadds 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8000000000000000
fnmadds 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
fnmadds 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8000000000000000
fnmadds 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
fnmadds bfe0000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
fnmadds bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
fnmadds bfe0000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
fnmadds bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
fnmsub 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
fnmsub 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
fnmsub 0010000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000
fnmsub 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
fnmsub 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0007ffb58ffffe00
fnmsub 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
fnmsub 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 00180094e2b4a100
fnmsub 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
fnmsub bfe0000000000001, 0010000000000001, 0010000000000001 => 0018000000000000
fnmsub bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
fnmsub bfe0000000000001, 80100094e0000359, 0010000000000001 => 0007ffb58ffffe00
fnmsub bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
fnmsubs 0010000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
fnmsubs 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
fnmsubs 0010000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
fnmsubs 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
fnmsubs 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0000000000000000
fnmsubs 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
fnmsubs 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0000000000000000
fnmsubs 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
fnmsubs bfe0000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
fnmsubs bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
fnmsubs bfe0000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
fnmsubs bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
PPC floating point arith insns
with three args with flags update:
fsel. 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
fsel. 0010000000000001, 0010000000000001, bfe00094e0000359 => 0010000000000000
fsel. 0010000000000001, 80100094e0000359, 0010000000000001 => 80100094e0000300
fsel. 0010000000000001, 80100094e0000359, bfe00094e0000359 => 80100094e0000300
fsel. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0010000000000000
fsel. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 0010000000000000
fsel. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 80100094e0000300
fsel. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 80100094e0000300
fsel. bfe0000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
fsel. bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
fsel. bfe0000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000
fsel. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
fmadd. 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
fmadd. 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
fmadd. 0010000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000
fmadd. 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
fmadd. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0018004a70000100
fmadd. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
fmadd. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0007ff6b1d4b5e00
fmadd. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
fmadd. bfe0000000000001, 0010000000000001, 0010000000000001 => 0008000000000000
fmadd. bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
fmadd. bfe0000000000001, 80100094e0000359, 0010000000000001 => 0018004a70000100
fmadd. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
fmadds. 0010000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
fmadds. 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
fmadds. 0010000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
fmadds. 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
fmadds. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0000000000000000
fmadds. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
fmadds. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0000000000000000
fmadds. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
fmadds. bfe0000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
fmadds. bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
fmadds. bfe0000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
fmadds. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
fmsub. 0010000000000001, 0010000000000001, 0010000000000001 => 8010000000000000
fmsub. 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
fmsub. 0010000000000001, 80100094e0000359, 0010000000000001 => 8010000000000000
fmsub. 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
fmsub. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8007ffb58ffffe00
fmsub. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
fmsub. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 80180094e2b4a100
fmsub. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
fmsub. bfe0000000000001, 0010000000000001, 0010000000000001 => 8018000000000000
fmsub. bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
fmsub. bfe0000000000001, 80100094e0000359, 0010000000000001 => 8007ffb58ffffe00
fmsub. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
fmsubs. 0010000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
fmsubs. 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
fmsubs. 0010000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
fmsubs. 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
fmsubs. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8000000000000000
fmsubs. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
fmsubs. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8000000000000000
fmsubs. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
fmsubs. bfe0000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
fmsubs. bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
fmsubs. bfe0000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
fmsubs. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
fnmadd. 0010000000000001, 0010000000000001, 0010000000000001 => 8010000000000000
fnmadd. 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
fnmadd. 0010000000000001, 80100094e0000359, 0010000000000001 => 8010000000000000
fnmadd. 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
fnmadd. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8018004a70000100
fnmadd. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
fnmadd. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8007ff6b1d4b5e00
fnmadd. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
fnmadd. bfe0000000000001, 0010000000000001, 0010000000000001 => 8008000000000000
fnmadd. bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
fnmadd. bfe0000000000001, 80100094e0000359, 0010000000000001 => 8018004a70000100
fnmadd. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
fnmadds. 0010000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
fnmadds. 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
fnmadds. 0010000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
fnmadds. 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
fnmadds. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8000000000000000
fnmadds. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
fnmadds. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8000000000000000
fnmadds. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
fnmadds. bfe0000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
fnmadds. bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
fnmadds. bfe0000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
fnmadds. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
fnmsub. 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
fnmsub. 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
fnmsub. 0010000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000
fnmsub. 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
fnmsub. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0007ffb58ffffe00
fnmsub. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
fnmsub. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 00180094e2b4a100
fnmsub. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
fnmsub. bfe0000000000001, 0010000000000001, 0010000000000001 => 0018000000000000
fnmsub. bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
fnmsub. bfe0000000000001, 80100094e0000359, 0010000000000001 => 0007ffb58ffffe00
fnmsub. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
fnmsubs. 0010000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
fnmsubs. 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
fnmsubs. 0010000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
fnmsubs. 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
fnmsubs. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0000000000000000
fnmsubs. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
fnmsubs. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0000000000000000
fnmsubs. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
fnmsubs. bfe0000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
fnmsubs. bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
fnmsubs. bfe0000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
fnmsubs. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
PPC floating point arith insns with two args:
fadd 0010000000000001, 0010000000000001 => 0020000000000001
fadd 0010000000000001, 80100094e0000359 => 80000094e0000358
fadd 0010000000000001, 7ff0000000000000 => 7ff0000000000000
fadd 0010000000000001, fff8000000000000 => fff8000000000000
fadd 3fe00094e0000359, 0010000000000001 => 3fe00094e0000359
fadd 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000359
fadd 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
fadd 3fe00094e0000359, fff8000000000000 => fff8000000000000
fadd bfe0000000000001, 0010000000000001 => bfe0000000000001
fadd bfe0000000000001, 80100094e0000359 => bfe0000000000001
fadd bfe0000000000001, 7ff0000000000000 => 7ff0000000000000
fadd bfe0000000000001, fff8000000000000 => fff8000000000000
fadd 8000000000000000, 0010000000000001 => 0010000000000001
fadd 8000000000000000, 80100094e0000359 => 80100094e0000359
fadd 8000000000000000, 7ff0000000000000 => 7ff0000000000000
fadd 8000000000000000, fff8000000000000 => fff8000000000000
fadd 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
fadd 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
fadd 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
fadd 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
fadd fff8000000000000, 0010000000000001 => fff8000000000000
fadd fff8000000000000, 80100094e0000359 => fff8000000000000
fadd fff8000000000000, 7ff0000000000000 => fff8000000000000
fadd fff8000000000000, fff8000000000000 => fff8000000000000
fadds 0010000000000001, 0010000000000001 => 0000000000000000
fadds 0010000000000001, 80100094e0000359 => 8000000000000000
fadds 0010000000000001, 7ff0000000000000 => 7ff0000000000000
fadds 0010000000000001, fff8000000000000 => fff8000000000000
fadds 3fe00094e0000359, 0010000000000001 => 3fe00094e0000000
fadds 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000000
fadds 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
fadds 3fe00094e0000359, fff8000000000000 => fff8000000000000
fadds bfe0000000000001, 0010000000000001 => bfe0000000000000
fadds bfe0000000000001, 80100094e0000359 => bfe0000000000000
fadds bfe0000000000001, 7ff0000000000000 => 7ff0000000000000
fadds bfe0000000000001, fff8000000000000 => fff8000000000000
fadds 8000000000000000, 0010000000000001 => 0000000000000000
fadds 8000000000000000, 80100094e0000359 => 8000000000000000
fadds 8000000000000000, 7ff0000000000000 => 7ff0000000000000
fadds 8000000000000000, fff8000000000000 => fff8000000000000
fadds 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
fadds 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
fadds 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
fadds 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
fadds fff8000000000000, 0010000000000001 => fff8000000000000
fadds fff8000000000000, 80100094e0000359 => fff8000000000000
fadds fff8000000000000, 7ff0000000000000 => fff8000000000000
fadds fff8000000000000, fff8000000000000 => fff8000000000000
fsub 0010000000000001, 0010000000000001 => 0000000000000000
fsub 0010000000000001, 80100094e0000359 => 0020004a700001ad
fsub 0010000000000001, 7ff0000000000000 => fff0000000000000
fsub 0010000000000001, fff8000000000000 => fff8000000000000
fsub 3fe00094e0000359, 0010000000000001 => 3fe00094e0000359
fsub 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000359
fsub 3fe00094e0000359, 7ff0000000000000 => fff0000000000000
fsub 3fe00094e0000359, fff8000000000000 => fff8000000000000
fsub bfe0000000000001, 0010000000000001 => bfe0000000000001
fsub bfe0000000000001, 80100094e0000359 => bfe0000000000001
fsub bfe0000000000001, 7ff0000000000000 => fff0000000000000
fsub bfe0000000000001, fff8000000000000 => fff8000000000000
fsub 8000000000000000, 0010000000000001 => 8010000000000001
fsub 8000000000000000, 80100094e0000359 => 00100094e0000359
fsub 8000000000000000, 7ff0000000000000 => fff0000000000000
fsub 8000000000000000, fff8000000000000 => fff8000000000000
fsub 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
fsub 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
fsub 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
fsub 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
fsub fff8000000000000, 0010000000000001 => fff8000000000000
fsub fff8000000000000, 80100094e0000359 => fff8000000000000
fsub fff8000000000000, 7ff0000000000000 => fff8000000000000
fsub fff8000000000000, fff8000000000000 => fff8000000000000
fsubs 0010000000000001, 0010000000000001 => 0000000000000000
fsubs 0010000000000001, 80100094e0000359 => 0000000000000000
fsubs 0010000000000001, 7ff0000000000000 => fff0000000000000
fsubs 0010000000000001, fff8000000000000 => fff8000000000000
fsubs 3fe00094e0000359, 0010000000000001 => 3fe00094e0000000
fsubs 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000000
fsubs 3fe00094e0000359, 7ff0000000000000 => fff0000000000000
fsubs 3fe00094e0000359, fff8000000000000 => fff8000000000000
fsubs bfe0000000000001, 0010000000000001 => bfe0000000000000
fsubs bfe0000000000001, 80100094e0000359 => bfe0000000000000
fsubs bfe0000000000001, 7ff0000000000000 => fff0000000000000
fsubs bfe0000000000001, fff8000000000000 => fff8000000000000
fsubs 8000000000000000, 0010000000000001 => 8000000000000000
fsubs 8000000000000000, 80100094e0000359 => 0000000000000000
fsubs 8000000000000000, 7ff0000000000000 => fff0000000000000
fsubs 8000000000000000, fff8000000000000 => fff8000000000000
fsubs 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
fsubs 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
fsubs 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
fsubs 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
fsubs fff8000000000000, 0010000000000001 => fff8000000000000
fsubs fff8000000000000, 80100094e0000359 => fff8000000000000
fsubs fff8000000000000, 7ff0000000000000 => fff8000000000000
fsubs fff8000000000000, fff8000000000000 => fff8000000000000
fmul 0010000000000001, 0010000000000001 => 0000000000000000
fmul 0010000000000001, 80100094e0000359 => 8000000000000000
fmul 0010000000000001, 7ff0000000000000 => 7ff0000000000000
fmul 0010000000000001, fff8000000000000 => fff8000000000000
fmul 3fe00094e0000359, 0010000000000001 => 0008004a700001ad
fmul 3fe00094e0000359, 80100094e0000359 => 80080094e2b4a179
fmul 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
fmul 3fe00094e0000359, fff8000000000000 => fff8000000000000
fmul bfe0000000000001, 0010000000000001 => 8008000000000001
fmul bfe0000000000001, 80100094e0000359 => 0008004a700001ad
fmul bfe0000000000001, 7ff0000000000000 => fff0000000000000
fmul bfe0000000000001, fff8000000000000 => fff8000000000000
fmul 8000000000000000, 0010000000000001 => 8000000000000000
fmul 8000000000000000, 80100094e0000359 => 0000000000000000
fmul 8000000000000000, 7ff0000000000000 => 7ff8000000000000
fmul 8000000000000000, fff8000000000000 => fff8000000000000
fmul 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
fmul 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
fmul 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
fmul 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
fmul fff8000000000000, 0010000000000001 => fff8000000000000
fmul fff8000000000000, 80100094e0000359 => fff8000000000000
fmul fff8000000000000, 7ff0000000000000 => fff8000000000000
fmul fff8000000000000, fff8000000000000 => fff8000000000000
fmuls 0010000000000001, 0010000000000001 => 0000000000000000
fmuls 0010000000000001, 80100094e0000359 => 8000000000000000
fmuls 0010000000000001, 7ff0000000000000 => 7ff0000000000000
fmuls 0010000000000001, fff8000000000000 => fff8000000000000
fmuls 3fe00094e0000359, 0010000000000001 => 0000000000000000
fmuls 3fe00094e0000359, 80100094e0000359 => 8000000000000000
fmuls 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
fmuls 3fe00094e0000359, fff8000000000000 => fff8000000000000
fmuls bfe0000000000001, 0010000000000001 => 8000000000000000
fmuls bfe0000000000001, 80100094e0000359 => 0000000000000000
fmuls bfe0000000000001, 7ff0000000000000 => fff0000000000000
fmuls bfe0000000000001, fff8000000000000 => fff8000000000000
fmuls 8000000000000000, 0010000000000001 => 8000000000000000
fmuls 8000000000000000, 80100094e0000359 => 0000000000000000
fmuls 8000000000000000, 7ff0000000000000 => 7ff8000000000000
fmuls 8000000000000000, fff8000000000000 => fff8000000000000
fmuls 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
fmuls 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
fmuls 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
fmuls 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
fmuls fff8000000000000, 0010000000000001 => fff8000000000000
fmuls fff8000000000000, 80100094e0000359 => fff8000000000000
fmuls fff8000000000000, 7ff0000000000000 => fff8000000000000
fmuls fff8000000000000, fff8000000000000 => fff8000000000000
fdiv 0010000000000001, 0010000000000001 => 3ff0000000000000
fdiv 0010000000000001, 80100094e0000359 => bfeffed64ad20d22
fdiv 0010000000000001, 7ff0000000000000 => 0000000000000000
fdiv 0010000000000001, fff8000000000000 => fff8000000000000
fdiv 3fe00094e0000359, 0010000000000001 => 7fc00094e0000358
fdiv 3fe00094e0000359, 80100094e0000359 => ffc0000000000000
fdiv 3fe00094e0000359, 7ff0000000000000 => 0000000000000000
fdiv 3fe00094e0000359, fff8000000000000 => fff8000000000000
fdiv bfe0000000000001, 0010000000000001 => ffc0000000000000
fdiv bfe0000000000001, 80100094e0000359 => 7fbffed64ad20d22
fdiv bfe0000000000001, 7ff0000000000000 => 8000000000000000
fdiv bfe0000000000001, fff8000000000000 => fff8000000000000
fdiv 8000000000000000, 0010000000000001 => 8000000000000000
fdiv 8000000000000000, 80100094e0000359 => 0000000000000000
fdiv 8000000000000000, 7ff0000000000000 => 8000000000000000
fdiv 8000000000000000, fff8000000000000 => fff8000000000000
fdiv 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
fdiv 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
fdiv 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
fdiv 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
fdiv fff8000000000000, 0010000000000001 => fff8000000000000
fdiv fff8000000000000, 80100094e0000359 => fff8000000000000
fdiv fff8000000000000, 7ff0000000000000 => fff8000000000000
fdiv fff8000000000000, fff8000000000000 => fff8000000000000
fdivs 0010000000000001, 0010000000000001 => 3ff0000000000000
fdivs 0010000000000001, 80100094e0000359 => bfeffed640000000
fdivs 0010000000000001, 7ff0000000000000 => 0000000000000000
fdivs 0010000000000001, fff8000000000000 => fff8000000000000
fdivs 3fe00094e0000359, 0010000000000001 => 7ff0000000000000
fdivs 3fe00094e0000359, 80100094e0000359 => fff0000000000000
fdivs 3fe00094e0000359, 7ff0000000000000 => 0000000000000000
fdivs 3fe00094e0000359, fff8000000000000 => fff8000000000000
fdivs bfe0000000000001, 0010000000000001 => fff0000000000000
fdivs bfe0000000000001, 80100094e0000359 => 7ff0000000000000
fdivs bfe0000000000001, 7ff0000000000000 => 8000000000000000
fdivs bfe0000000000001, fff8000000000000 => fff8000000000000
fdivs 8000000000000000, 0010000000000001 => 8000000000000000
fdivs 8000000000000000, 80100094e0000359 => 0000000000000000
fdivs 8000000000000000, 7ff0000000000000 => 8000000000000000
fdivs 8000000000000000, fff8000000000000 => fff8000000000000
fdivs 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
fdivs 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
fdivs 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
fdivs 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
fdivs fff8000000000000, 0010000000000001 => fff8000000000000
fdivs fff8000000000000, 80100094e0000359 => fff8000000000000
fdivs fff8000000000000, 7ff0000000000000 => fff8000000000000
fdivs fff8000000000000, fff8000000000000 => fff8000000000000
PPC floating point arith insns
with two args with flags update:
fadd. 0010000000000001, 0010000000000001 => 0020000000000001
fadd. 0010000000000001, 80100094e0000359 => 80000094e0000358
fadd. 0010000000000001, 7ff0000000000000 => 7ff0000000000000
fadd. 0010000000000001, fff8000000000000 => fff8000000000000
fadd. 3fe00094e0000359, 0010000000000001 => 3fe00094e0000359
fadd. 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000359
fadd. 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
fadd. 3fe00094e0000359, fff8000000000000 => fff8000000000000
fadd. bfe0000000000001, 0010000000000001 => bfe0000000000001
fadd. bfe0000000000001, 80100094e0000359 => bfe0000000000001
fadd. bfe0000000000001, 7ff0000000000000 => 7ff0000000000000
fadd. bfe0000000000001, fff8000000000000 => fff8000000000000
fadd. 8000000000000000, 0010000000000001 => 0010000000000001
fadd. 8000000000000000, 80100094e0000359 => 80100094e0000359
fadd. 8000000000000000, 7ff0000000000000 => 7ff0000000000000
fadd. 8000000000000000, fff8000000000000 => fff8000000000000
fadd. 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
fadd. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
fadd. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
fadd. 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
fadd. fff8000000000000, 0010000000000001 => fff8000000000000
fadd. fff8000000000000, 80100094e0000359 => fff8000000000000
fadd. fff8000000000000, 7ff0000000000000 => fff8000000000000
fadd. fff8000000000000, fff8000000000000 => fff8000000000000
fadds. 0010000000000001, 0010000000000001 => 0000000000000000
fadds. 0010000000000001, 80100094e0000359 => 8000000000000000
fadds. 0010000000000001, 7ff0000000000000 => 7ff0000000000000
fadds. 0010000000000001, fff8000000000000 => fff8000000000000
fadds. 3fe00094e0000359, 0010000000000001 => 3fe00094e0000000
fadds. 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000000
fadds. 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
fadds. 3fe00094e0000359, fff8000000000000 => fff8000000000000
fadds. bfe0000000000001, 0010000000000001 => bfe0000000000000
fadds. bfe0000000000001, 80100094e0000359 => bfe0000000000000
fadds. bfe0000000000001, 7ff0000000000000 => 7ff0000000000000
fadds. bfe0000000000001, fff8000000000000 => fff8000000000000
fadds. 8000000000000000, 0010000000000001 => 0000000000000000
fadds. 8000000000000000, 80100094e0000359 => 8000000000000000
fadds. 8000000000000000, 7ff0000000000000 => 7ff0000000000000
fadds. 8000000000000000, fff8000000000000 => fff8000000000000
fadds. 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
fadds. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
fadds. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
fadds. 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
fadds. fff8000000000000, 0010000000000001 => fff8000000000000
fadds. fff8000000000000, 80100094e0000359 => fff8000000000000
fadds. fff8000000000000, 7ff0000000000000 => fff8000000000000
fadds. fff8000000000000, fff8000000000000 => fff8000000000000
fsub. 0010000000000001, 0010000000000001 => 0000000000000000
fsub. 0010000000000001, 80100094e0000359 => 0020004a700001ad
fsub. 0010000000000001, 7ff0000000000000 => fff0000000000000
fsub. 0010000000000001, fff8000000000000 => fff8000000000000
fsub. 3fe00094e0000359, 0010000000000001 => 3fe00094e0000359
fsub. 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000359
fsub. 3fe00094e0000359, 7ff0000000000000 => fff0000000000000
fsub. 3fe00094e0000359, fff8000000000000 => fff8000000000000
fsub. bfe0000000000001, 0010000000000001 => bfe0000000000001
fsub. bfe0000000000001, 80100094e0000359 => bfe0000000000001
fsub. bfe0000000000001, 7ff0000000000000 => fff0000000000000
fsub. bfe0000000000001, fff8000000000000 => fff8000000000000
fsub. 8000000000000000, 0010000000000001 => 8010000000000001
fsub. 8000000000000000, 80100094e0000359 => 00100094e0000359
fsub. 8000000000000000, 7ff0000000000000 => fff0000000000000
fsub. 8000000000000000, fff8000000000000 => fff8000000000000
fsub. 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
fsub. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
fsub. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
fsub. 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
fsub. fff8000000000000, 0010000000000001 => fff8000000000000
fsub. fff8000000000000, 80100094e0000359 => fff8000000000000
fsub. fff8000000000000, 7ff0000000000000 => fff8000000000000
fsub. fff8000000000000, fff8000000000000 => fff8000000000000
fsubs. 0010000000000001, 0010000000000001 => 0000000000000000
fsubs. 0010000000000001, 80100094e0000359 => 0000000000000000
fsubs. 0010000000000001, 7ff0000000000000 => fff0000000000000
fsubs. 0010000000000001, fff8000000000000 => fff8000000000000
fsubs. 3fe00094e0000359, 0010000000000001 => 3fe00094e0000000
fsubs. 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000000
fsubs. 3fe00094e0000359, 7ff0000000000000 => fff0000000000000
fsubs. 3fe00094e0000359, fff8000000000000 => fff8000000000000
fsubs. bfe0000000000001, 0010000000000001 => bfe0000000000000
fsubs. bfe0000000000001, 80100094e0000359 => bfe0000000000000
fsubs. bfe0000000000001, 7ff0000000000000 => fff0000000000000
fsubs. bfe0000000000001, fff8000000000000 => fff8000000000000
fsubs. 8000000000000000, 0010000000000001 => 8000000000000000
fsubs. 8000000000000000, 80100094e0000359 => 0000000000000000
fsubs. 8000000000000000, 7ff0000000000000 => fff0000000000000
fsubs. 8000000000000000, fff8000000000000 => fff8000000000000
fsubs. 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
fsubs. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
fsubs. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
fsubs. 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
fsubs. fff8000000000000, 0010000000000001 => fff8000000000000
fsubs. fff8000000000000, 80100094e0000359 => fff8000000000000
fsubs. fff8000000000000, 7ff0000000000000 => fff8000000000000
fsubs. fff8000000000000, fff8000000000000 => fff8000000000000
fmul. 0010000000000001, 0010000000000001 => 0000000000000000
fmul. 0010000000000001, 80100094e0000359 => 8000000000000000
fmul. 0010000000000001, 7ff0000000000000 => 7ff0000000000000
fmul. 0010000000000001, fff8000000000000 => fff8000000000000
fmul. 3fe00094e0000359, 0010000000000001 => 0008004a700001ad
fmul. 3fe00094e0000359, 80100094e0000359 => 80080094e2b4a179
fmul. 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
fmul. 3fe00094e0000359, fff8000000000000 => fff8000000000000
fmul. bfe0000000000001, 0010000000000001 => 8008000000000001
fmul. bfe0000000000001, 80100094e0000359 => 0008004a700001ad
fmul. bfe0000000000001, 7ff0000000000000 => fff0000000000000
fmul. bfe0000000000001, fff8000000000000 => fff8000000000000
fmul. 8000000000000000, 0010000000000001 => 8000000000000000
fmul. 8000000000000000, 80100094e0000359 => 0000000000000000
fmul. 8000000000000000, 7ff0000000000000 => 7ff8000000000000
fmul. 8000000000000000, fff8000000000000 => fff8000000000000
fmul. 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
fmul. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
fmul. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
fmul. 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
fmul. fff8000000000000, 0010000000000001 => fff8000000000000
fmul. fff8000000000000, 80100094e0000359 => fff8000000000000
fmul. fff8000000000000, 7ff0000000000000 => fff8000000000000
fmul. fff8000000000000, fff8000000000000 => fff8000000000000
fmuls. 0010000000000001, 0010000000000001 => 0000000000000000
fmuls. 0010000000000001, 80100094e0000359 => 8000000000000000
fmuls. 0010000000000001, 7ff0000000000000 => 7ff0000000000000
fmuls. 0010000000000001, fff8000000000000 => fff8000000000000
fmuls. 3fe00094e0000359, 0010000000000001 => 0000000000000000
fmuls. 3fe00094e0000359, 80100094e0000359 => 8000000000000000
fmuls. 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
fmuls. 3fe00094e0000359, fff8000000000000 => fff8000000000000
fmuls. bfe0000000000001, 0010000000000001 => 8000000000000000
fmuls. bfe0000000000001, 80100094e0000359 => 0000000000000000
fmuls. bfe0000000000001, 7ff0000000000000 => fff0000000000000
fmuls. bfe0000000000001, fff8000000000000 => fff8000000000000
fmuls. 8000000000000000, 0010000000000001 => 8000000000000000
fmuls. 8000000000000000, 80100094e0000359 => 0000000000000000
fmuls. 8000000000000000, 7ff0000000000000 => 7ff8000000000000
fmuls. 8000000000000000, fff8000000000000 => fff8000000000000
fmuls. 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
fmuls. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
fmuls. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
fmuls. 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
fmuls. fff8000000000000, 0010000000000001 => fff8000000000000
fmuls. fff8000000000000, 80100094e0000359 => fff8000000000000
fmuls. fff8000000000000, 7ff0000000000000 => fff8000000000000
fmuls. fff8000000000000, fff8000000000000 => fff8000000000000
fdiv. 0010000000000001, 0010000000000001 => 3ff0000000000000
fdiv. 0010000000000001, 80100094e0000359 => bfeffed64ad20d22
fdiv. 0010000000000001, 7ff0000000000000 => 0000000000000000
fdiv. 0010000000000001, fff8000000000000 => fff8000000000000
fdiv. 3fe00094e0000359, 0010000000000001 => 7fc00094e0000358
fdiv. 3fe00094e0000359, 80100094e0000359 => ffc0000000000000
fdiv. 3fe00094e0000359, 7ff0000000000000 => 0000000000000000
fdiv. 3fe00094e0000359, fff8000000000000 => fff8000000000000
fdiv. bfe0000000000001, 0010000000000001 => ffc0000000000000
fdiv. bfe0000000000001, 80100094e0000359 => 7fbffed64ad20d22
fdiv. bfe0000000000001, 7ff0000000000000 => 8000000000000000
fdiv. bfe0000000000001, fff8000000000000 => fff8000000000000
fdiv. 8000000000000000, 0010000000000001 => 8000000000000000
fdiv. 8000000000000000, 80100094e0000359 => 0000000000000000
fdiv. 8000000000000000, 7ff0000000000000 => 8000000000000000
fdiv. 8000000000000000, fff8000000000000 => fff8000000000000
fdiv. 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
fdiv. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
fdiv. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
fdiv. 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
fdiv. fff8000000000000, 0010000000000001 => fff8000000000000
fdiv. fff8000000000000, 80100094e0000359 => fff8000000000000
fdiv. fff8000000000000, 7ff0000000000000 => fff8000000000000
fdiv. fff8000000000000, fff8000000000000 => fff8000000000000
fdivs. 0010000000000001, 0010000000000001 => 3ff0000000000000
fdivs. 0010000000000001, 80100094e0000359 => bfeffed640000000
fdivs. 0010000000000001, 7ff0000000000000 => 0000000000000000
fdivs. 0010000000000001, fff8000000000000 => fff8000000000000
fdivs. 3fe00094e0000359, 0010000000000001 => 7ff0000000000000
fdivs. 3fe00094e0000359, 80100094e0000359 => fff0000000000000
fdivs. 3fe00094e0000359, 7ff0000000000000 => 0000000000000000
fdivs. 3fe00094e0000359, fff8000000000000 => fff8000000000000
fdivs. bfe0000000000001, 0010000000000001 => fff0000000000000
fdivs. bfe0000000000001, 80100094e0000359 => 7ff0000000000000
fdivs. bfe0000000000001, 7ff0000000000000 => 8000000000000000
fdivs. bfe0000000000001, fff8000000000000 => fff8000000000000
fdivs. 8000000000000000, 0010000000000001 => 8000000000000000
fdivs. 8000000000000000, 80100094e0000359 => 0000000000000000
fdivs. 8000000000000000, 7ff0000000000000 => 8000000000000000
fdivs. 8000000000000000, fff8000000000000 => fff8000000000000
fdivs. 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
fdivs. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
fdivs. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
fdivs. 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
fdivs. fff8000000000000, 0010000000000001 => fff8000000000000
fdivs. fff8000000000000, 80100094e0000359 => fff8000000000000
fdivs. fff8000000000000, 7ff0000000000000 => fff8000000000000
fdivs. fff8000000000000, fff8000000000000 => fff8000000000000
PPC floating point compare insns (two args):
fcmpo 0010000000000001, 0010000000000001 => fff8000000000000
fcmpo 0010000000000001, 80100094e0000359 => fff8000000000000
fcmpo 0010000000000001, 7ff0000000000000 => fff8000000000000
fcmpo 0010000000000001, fff8000000000000 => fff8000000000000
fcmpo 3fe00094e0000359, 0010000000000001 => fff8000000000000
fcmpo 3fe00094e0000359, 80100094e0000359 => fff8000000000000
fcmpo 3fe00094e0000359, 7ff0000000000000 => fff8000000000000
fcmpo 3fe00094e0000359, fff8000000000000 => fff8000000000000
fcmpo bfe0000000000001, 0010000000000001 => fff8000000000000
fcmpo bfe0000000000001, 80100094e0000359 => fff8000000000000
fcmpo bfe0000000000001, 7ff0000000000000 => fff8000000000000
fcmpo bfe0000000000001, fff8000000000000 => fff8000000000000
fcmpo 8000000000000000, 0010000000000001 => fff8000000000000
fcmpo 8000000000000000, 80100094e0000359 => fff8000000000000
fcmpo 8000000000000000, 7ff0000000000000 => fff8000000000000
fcmpo 8000000000000000, fff8000000000000 => fff8000000000000
fcmpo 7ff7ffffffffffff, 0010000000000001 => fff8000000000000
fcmpo 7ff7ffffffffffff, 80100094e0000359 => fff8000000000000
fcmpo 7ff7ffffffffffff, 7ff0000000000000 => fff8000000000000
fcmpo 7ff7ffffffffffff, fff8000000000000 => fff8000000000000
fcmpo fff8000000000000, 0010000000000001 => fff8000000000000
fcmpo fff8000000000000, 80100094e0000359 => fff8000000000000
fcmpo fff8000000000000, 7ff0000000000000 => fff8000000000000
fcmpo fff8000000000000, fff8000000000000 => fff8000000000000
fcmpu 0010000000000001, 0010000000000001 => fff8000000000000
fcmpu 0010000000000001, 80100094e0000359 => fff8000000000000
fcmpu 0010000000000001, 7ff0000000000000 => fff8000000000000
fcmpu 0010000000000001, fff8000000000000 => fff8000000000000
fcmpu 3fe00094e0000359, 0010000000000001 => fff8000000000000
fcmpu 3fe00094e0000359, 80100094e0000359 => fff8000000000000
fcmpu 3fe00094e0000359, 7ff0000000000000 => fff8000000000000
fcmpu 3fe00094e0000359, fff8000000000000 => fff8000000000000
fcmpu bfe0000000000001, 0010000000000001 => fff8000000000000
fcmpu bfe0000000000001, 80100094e0000359 => fff8000000000000
fcmpu bfe0000000000001, 7ff0000000000000 => fff8000000000000
fcmpu bfe0000000000001, fff8000000000000 => fff8000000000000
fcmpu 8000000000000000, 0010000000000001 => fff8000000000000
fcmpu 8000000000000000, 80100094e0000359 => fff8000000000000
fcmpu 8000000000000000, 7ff0000000000000 => fff8000000000000
fcmpu 8000000000000000, fff8000000000000 => fff8000000000000
fcmpu 7ff7ffffffffffff, 0010000000000001 => fff8000000000000
fcmpu 7ff7ffffffffffff, 80100094e0000359 => fff8000000000000
fcmpu 7ff7ffffffffffff, 7ff0000000000000 => fff8000000000000
fcmpu 7ff7ffffffffffff, fff8000000000000 => fff8000000000000
fcmpu fff8000000000000, 0010000000000001 => fff8000000000000
fcmpu fff8000000000000, 80100094e0000359 => fff8000000000000
fcmpu fff8000000000000, 7ff0000000000000 => fff8000000000000
fcmpu fff8000000000000, fff8000000000000 => fff8000000000000
PPC floating point arith insns with one arg:
fres 0010000000000001 => 7ff0000000000000
fres 00100094e0000359 => 7ff0000000000000
fres 3fe0000000000001 => 3ffff00000000000
fres 3fe00094e0000359 => 3ffff00000000000
fres 8010000000000001 => fff0000000000000
fres 80100094e0000359 => fff0000000000000
fres bfe0000000000001 => bffff00000000000
fres bfe00094e0000359 => bffff00000000000
fres 0000000000000000 => 7ff0000000000000
fres 8000000000000000 => fff0000000000000
fres 7ff0000000000000 => 0000000000000000
fres fff0000000000000 => 8000000000000000
fres 7ff7ffffffffffff => 7ffff00000000000
fres fff7ffffffffffff => fffff00000000000
fres 7ff8000000000000 => 7ff8000000000000
fres fff8000000000000 => fff8000000000000
frsqrte 0010000000000001 => 5fdf000000000000
frsqrte 00100094e0000359 => 5fdf000000000000
frsqrte 3fe0000000000001 => 3ff6000000000000
frsqrte 3fe00094e0000359 => 3ff6000000000000
frsqrte 8010000000000001 => 7ff8000000000000
frsqrte 80100094e0000359 => 7ff8000000000000
frsqrte bfe0000000000001 => 7ff8000000000000
frsqrte bfe00094e0000359 => 7ff8000000000000
frsqrte 0000000000000000 => 7ff0000000000000
frsqrte 8000000000000000 => fff0000000000000
frsqrte 7ff0000000000000 => 0000000000000000
frsqrte fff0000000000000 => 7ff8000000000000
frsqrte 7ff7ffffffffffff => 7fff000000000000
frsqrte fff7ffffffffffff => ffff000000000000
frsqrte 7ff8000000000000 => 7ff8000000000000
frsqrte fff8000000000000 => fff8000000000000
frsp 0010000000000001 => 0000000000000000
frsp 00100094e0000359 => 0000000000000000
frsp 3fe0000000000001 => 3fe0000000000000
frsp 3fe00094e0000359 => 3fe00094e0000000
frsp 8010000000000001 => 8000000000000000
frsp 80100094e0000359 => 8000000000000000
frsp bfe0000000000001 => bfe0000000000000
frsp bfe00094e0000359 => bfe00094e0000000
frsp 0000000000000000 => 0000000000000000
frsp 8000000000000000 => 8000000000000000
frsp 7ff0000000000000 => 7ff0000000000000
frsp fff0000000000000 => fff0000000000000
frsp 7ff7ffffffffffff => 7fffffffe0000000
frsp fff7ffffffffffff => ffffffffe0000000
frsp 7ff8000000000000 => 7ff8000000000000
frsp fff8000000000000 => fff8000000000000
fctiw 0010000000000001 => 0000000000000000
fctiw 00100094e0000359 => 0000000000000000
fctiw 3fe0000000000001 => 0000000000000001
fctiw 3fe00094e0000359 => 0000000000000001
fctiw 8010000000000001 => 0000000000000000
fctiw 80100094e0000359 => 0000000000000000
fctiw bfe0000000000001 => 00000000ffffffff
fctiw bfe00094e0000359 => 00000000ffffffff
fctiw 0000000000000000 => 0000000000000000
fctiw 8000000000000000 => 0000000000000000
fctiw 7ff0000000000000 => 000000007fffffff
fctiw fff0000000000000 => 0000000080000000
fctiw 7ff7ffffffffffff => 0000000080000000
fctiw fff7ffffffffffff => 0000000080000000
fctiw 7ff8000000000000 => 0000000080000000
fctiw fff8000000000000 => 0000000080000000
fctiwz 0010000000000001 => 0000000000000000
fctiwz 00100094e0000359 => 0000000000000000
fctiwz 3fe0000000000001 => 0000000000000000
fctiwz 3fe00094e0000359 => 0000000000000000
fctiwz 8010000000000001 => 0000000000000000
fctiwz 80100094e0000359 => 0000000000000000
fctiwz bfe0000000000001 => 0000000000000000
fctiwz bfe00094e0000359 => 0000000000000000
fctiwz 0000000000000000 => 0000000000000000
fctiwz 8000000000000000 => 0000000000000000
fctiwz 7ff0000000000000 => 000000007fffffff
fctiwz fff0000000000000 => 0000000080000000
fctiwz 7ff7ffffffffffff => 0000000080000000
fctiwz fff7ffffffffffff => 0000000080000000
fctiwz 7ff8000000000000 => 0000000080000000
fctiwz fff8000000000000 => 0000000080000000
fmr 0010000000000001 => 0010000000000001
fmr 00100094e0000359 => 00100094e0000359
fmr 3fe0000000000001 => 3fe0000000000001
fmr 3fe00094e0000359 => 3fe00094e0000359
fmr 8010000000000001 => 8010000000000001
fmr 80100094e0000359 => 80100094e0000359
fmr bfe0000000000001 => bfe0000000000001
fmr bfe00094e0000359 => bfe00094e0000359
fmr 0000000000000000 => 0000000000000000
fmr 8000000000000000 => 8000000000000000
fmr 7ff0000000000000 => 7ff0000000000000
fmr fff0000000000000 => fff0000000000000
fmr 7ff7ffffffffffff => 7ff7ffffffffffff
fmr fff7ffffffffffff => fff7ffffffffffff
fmr 7ff8000000000000 => 7ff8000000000000
fmr fff8000000000000 => fff8000000000000
fneg 0010000000000001 => 8010000000000001
fneg 00100094e0000359 => 80100094e0000359
fneg 3fe0000000000001 => bfe0000000000001
fneg 3fe00094e0000359 => bfe00094e0000359
fneg 8010000000000001 => 0010000000000001
fneg 80100094e0000359 => 00100094e0000359
fneg bfe0000000000001 => 3fe0000000000001
fneg bfe00094e0000359 => 3fe00094e0000359
fneg 0000000000000000 => 8000000000000000
fneg 8000000000000000 => 0000000000000000
fneg 7ff0000000000000 => fff0000000000000
fneg fff0000000000000 => 7ff0000000000000
fneg 7ff7ffffffffffff => fff7ffffffffffff
fneg fff7ffffffffffff => 7ff7ffffffffffff
fneg 7ff8000000000000 => fff8000000000000
fneg fff8000000000000 => 7ff8000000000000
fabs 0010000000000001 => 0010000000000001
fabs 00100094e0000359 => 00100094e0000359
fabs 3fe0000000000001 => 3fe0000000000001
fabs 3fe00094e0000359 => 3fe00094e0000359
fabs 8010000000000001 => 0010000000000001
fabs 80100094e0000359 => 00100094e0000359
fabs bfe0000000000001 => 3fe0000000000001
fabs bfe00094e0000359 => 3fe00094e0000359
fabs 0000000000000000 => 0000000000000000
fabs 8000000000000000 => 0000000000000000
fabs 7ff0000000000000 => 7ff0000000000000
fabs fff0000000000000 => 7ff0000000000000
fabs 7ff7ffffffffffff => 7ff7ffffffffffff
fabs fff7ffffffffffff => 7ff7ffffffffffff
fabs 7ff8000000000000 => 7ff8000000000000
fabs fff8000000000000 => 7ff8000000000000
fnabs 0010000000000001 => 8010000000000001
fnabs 00100094e0000359 => 80100094e0000359
fnabs 3fe0000000000001 => bfe0000000000001
fnabs 3fe00094e0000359 => bfe00094e0000359
fnabs 8010000000000001 => 8010000000000001
fnabs 80100094e0000359 => 80100094e0000359
fnabs bfe0000000000001 => bfe0000000000001
fnabs bfe00094e0000359 => bfe00094e0000359
fnabs 0000000000000000 => 8000000000000000
fnabs 8000000000000000 => 8000000000000000
fnabs 7ff0000000000000 => fff0000000000000
fnabs fff0000000000000 => fff0000000000000
fnabs 7ff7ffffffffffff => fff7ffffffffffff
fnabs fff7ffffffffffff => fff7ffffffffffff
fnabs 7ff8000000000000 => fff8000000000000
fnabs fff8000000000000 => fff8000000000000
fsqrt 0010000000000001 => 2000000000000000
fsqrt 00100094e0000359 => 2000004a6f52dd4a
fsqrt 3fe0000000000001 => 3fe6a09e667f3bcd
fsqrt 3fe00094e0000359 => 3fe6a107aacb50df
fsqrt 8010000000000001 => 7ff8000000000000
fsqrt 80100094e0000359 => 7ff8000000000000
fsqrt bfe0000000000001 => 7ff8000000000000
fsqrt bfe00094e0000359 => 7ff8000000000000
fsqrt 0000000000000000 => 0000000000000000
fsqrt 8000000000000000 => 8000000000000000
fsqrt 7ff0000000000000 => 7ff0000000000000
fsqrt fff0000000000000 => 7ff8000000000000
fsqrt 7ff7ffffffffffff => 7fffffffffffffff
fsqrt fff7ffffffffffff => ffffffffffffffff
fsqrt 7ff8000000000000 => 7ff8000000000000
fsqrt fff8000000000000 => fff8000000000000
fcfid 0010000000000001 => 4330000000000001
fcfid 00100094e0000359 => 43300094e0000359
fcfid 3fe0000000000001 => 43cff00000000000
fcfid 3fe00094e0000359 => 43cff0004a700002
fcfid 8010000000000001 => c3dffc0000000000
fcfid 80100094e0000359 => c3dffbffdac7ffff
fcfid bfe0000000000001 => c3d0080000000000
fcfid bfe00094e0000359 => c3d007ffdac7ffff
fcfid 0000000000000000 => 0000000000000000
fcfid 8000000000000000 => c3e0000000000000
fcfid 7ff0000000000000 => 43dffc0000000000
fcfid fff0000000000000 => c330000000000000
fcfid 7ff7ffffffffffff => 43dffe0000000000
fcfid fff7ffffffffffff => c320000000000002
fcfid 7ff8000000000000 => 43dffe0000000000
fcfid fff8000000000000 => c320000000000000
fctid 0010000000000001 => 0000000000000000
fctid 00100094e0000359 => 0000000000000000
fctid 3fe0000000000001 => 0000000000000001
fctid 3fe00094e0000359 => 0000000000000001
fctid 8010000000000001 => 0000000000000000
fctid 80100094e0000359 => 0000000000000000
fctid bfe0000000000001 => ffffffffffffffff
fctid bfe00094e0000359 => ffffffffffffffff
fctid 0000000000000000 => 0000000000000000
fctid 8000000000000000 => 0000000000000000
fctid 7ff0000000000000 => 7fffffffffffffff
fctid fff0000000000000 => 8000000000000000
fctid 7ff7ffffffffffff => 8000000000000000
fctid fff7ffffffffffff => 8000000000000000
fctid 7ff8000000000000 => 8000000000000000
fctid fff8000000000000 => 8000000000000000
fctidz 0010000000000001 => 0000000000000000
fctidz 00100094e0000359 => 0000000000000000
fctidz 3fe0000000000001 => 0000000000000000
fctidz 3fe00094e0000359 => 0000000000000000
fctidz 8010000000000001 => 0000000000000000
fctidz 80100094e0000359 => 0000000000000000
fctidz bfe0000000000001 => 0000000000000000
fctidz bfe00094e0000359 => 0000000000000000
fctidz 0000000000000000 => 0000000000000000
fctidz 8000000000000000 => 0000000000000000
fctidz 7ff0000000000000 => 7fffffffffffffff
fctidz fff0000000000000 => 8000000000000000
fctidz 7ff7ffffffffffff => 8000000000000000
fctidz fff7ffffffffffff => 8000000000000000
fctidz 7ff8000000000000 => 8000000000000000
fctidz fff8000000000000 => 8000000000000000
PPC floating point arith insns
with one arg with flags update:
fres. 0010000000000001 => 7ff0000000000000
fres. 00100094e0000359 => 7ff0000000000000
fres. 3fe0000000000001 => 3ffff00000000000
fres. 3fe00094e0000359 => 3ffff00000000000
fres. 8010000000000001 => fff0000000000000
fres. 80100094e0000359 => fff0000000000000
fres. bfe0000000000001 => bffff00000000000
fres. bfe00094e0000359 => bffff00000000000
fres. 0000000000000000 => 7ff0000000000000
fres. 8000000000000000 => fff0000000000000
fres. 7ff0000000000000 => 0000000000000000
fres. fff0000000000000 => 8000000000000000
fres. 7ff7ffffffffffff => 7ffff00000000000
fres. fff7ffffffffffff => fffff00000000000
fres. 7ff8000000000000 => 7ff8000000000000
fres. fff8000000000000 => fff8000000000000
frsqrte. 0010000000000001 => 5fdf000000000000
frsqrte. 00100094e0000359 => 5fdf000000000000
frsqrte. 3fe0000000000001 => 3ff6000000000000
frsqrte. 3fe00094e0000359 => 3ff6000000000000
frsqrte. 8010000000000001 => 7ff8000000000000
frsqrte. 80100094e0000359 => 7ff8000000000000
frsqrte. bfe0000000000001 => 7ff8000000000000
frsqrte. bfe00094e0000359 => 7ff8000000000000
frsqrte. 0000000000000000 => 7ff0000000000000
frsqrte. 8000000000000000 => fff0000000000000
frsqrte. 7ff0000000000000 => 0000000000000000
frsqrte. fff0000000000000 => 7ff8000000000000
frsqrte. 7ff7ffffffffffff => 7fff000000000000
frsqrte. fff7ffffffffffff => ffff000000000000
frsqrte. 7ff8000000000000 => 7ff8000000000000
frsqrte. fff8000000000000 => fff8000000000000
frsp. 0010000000000001 => 0000000000000000
frsp. 00100094e0000359 => 0000000000000000
frsp. 3fe0000000000001 => 3fe0000000000000
frsp. 3fe00094e0000359 => 3fe00094e0000000
frsp. 8010000000000001 => 8000000000000000
frsp. 80100094e0000359 => 8000000000000000
frsp. bfe0000000000001 => bfe0000000000000
frsp. bfe00094e0000359 => bfe00094e0000000
frsp. 0000000000000000 => 0000000000000000
frsp. 8000000000000000 => 8000000000000000
frsp. 7ff0000000000000 => 7ff0000000000000
frsp. fff0000000000000 => fff0000000000000
frsp. 7ff7ffffffffffff => 7fffffffe0000000
frsp. fff7ffffffffffff => ffffffffe0000000
frsp. 7ff8000000000000 => 7ff8000000000000
frsp. fff8000000000000 => fff8000000000000
fctiw. 0010000000000001 => 0000000000000000
fctiw. 00100094e0000359 => 0000000000000000
fctiw. 3fe0000000000001 => 0000000000000001
fctiw. 3fe00094e0000359 => 0000000000000001
fctiw. 8010000000000001 => 0000000000000000
fctiw. 80100094e0000359 => 0000000000000000
fctiw. bfe0000000000001 => 00000000ffffffff
fctiw. bfe00094e0000359 => 00000000ffffffff
fctiw. 0000000000000000 => 0000000000000000
fctiw. 8000000000000000 => 0000000000000000
fctiw. 7ff0000000000000 => 000000007fffffff
fctiw. fff0000000000000 => 0000000080000000
fctiw. 7ff7ffffffffffff => 0000000080000000
fctiw. fff7ffffffffffff => 0000000080000000
fctiw. 7ff8000000000000 => 0000000080000000
fctiw. fff8000000000000 => 0000000080000000
fctiwz. 0010000000000001 => 0000000000000000
fctiwz. 00100094e0000359 => 0000000000000000
fctiwz. 3fe0000000000001 => 0000000000000000
fctiwz. 3fe00094e0000359 => 0000000000000000
fctiwz. 8010000000000001 => 0000000000000000
fctiwz. 80100094e0000359 => 0000000000000000
fctiwz. bfe0000000000001 => 0000000000000000
fctiwz. bfe00094e0000359 => 0000000000000000
fctiwz. 0000000000000000 => 0000000000000000
fctiwz. 8000000000000000 => 0000000000000000
fctiwz. 7ff0000000000000 => 000000007fffffff
fctiwz. fff0000000000000 => 0000000080000000
fctiwz. 7ff7ffffffffffff => 0000000080000000
fctiwz. fff7ffffffffffff => 0000000080000000
fctiwz. 7ff8000000000000 => 0000000080000000
fctiwz. fff8000000000000 => 0000000080000000
fmr. 0010000000000001 => 0010000000000001
fmr. 00100094e0000359 => 00100094e0000359
fmr. 3fe0000000000001 => 3fe0000000000001
fmr. 3fe00094e0000359 => 3fe00094e0000359
fmr. 8010000000000001 => 8010000000000001
fmr. 80100094e0000359 => 80100094e0000359
fmr. bfe0000000000001 => bfe0000000000001
fmr. bfe00094e0000359 => bfe00094e0000359
fmr. 0000000000000000 => 0000000000000000
fmr. 8000000000000000 => 8000000000000000
fmr. 7ff0000000000000 => 7ff0000000000000
fmr. fff0000000000000 => fff0000000000000
fmr. 7ff7ffffffffffff => 7ff7ffffffffffff
fmr. fff7ffffffffffff => fff7ffffffffffff
fmr. 7ff8000000000000 => 7ff8000000000000
fmr. fff8000000000000 => fff8000000000000
fneg. 0010000000000001 => 8010000000000001
fneg. 00100094e0000359 => 80100094e0000359
fneg. 3fe0000000000001 => bfe0000000000001
fneg. 3fe00094e0000359 => bfe00094e0000359
fneg. 8010000000000001 => 0010000000000001
fneg. 80100094e0000359 => 00100094e0000359
fneg. bfe0000000000001 => 3fe0000000000001
fneg. bfe00094e0000359 => 3fe00094e0000359
fneg. 0000000000000000 => 8000000000000000
fneg. 8000000000000000 => 0000000000000000
fneg. 7ff0000000000000 => fff0000000000000
fneg. fff0000000000000 => 7ff0000000000000
fneg. 7ff7ffffffffffff => fff7ffffffffffff
fneg. fff7ffffffffffff => 7ff7ffffffffffff
fneg. 7ff8000000000000 => fff8000000000000
fneg. fff8000000000000 => 7ff8000000000000
fabs. 0010000000000001 => 0010000000000001
fabs. 00100094e0000359 => 00100094e0000359
fabs. 3fe0000000000001 => 3fe0000000000001
fabs. 3fe00094e0000359 => 3fe00094e0000359
fabs. 8010000000000001 => 0010000000000001
fabs. 80100094e0000359 => 00100094e0000359
fabs. bfe0000000000001 => 3fe0000000000001
fabs. bfe00094e0000359 => 3fe00094e0000359
fabs. 0000000000000000 => 0000000000000000
fabs. 8000000000000000 => 0000000000000000
fabs. 7ff0000000000000 => 7ff0000000000000
fabs. fff0000000000000 => 7ff0000000000000
fabs. 7ff7ffffffffffff => 7ff7ffffffffffff
fabs. fff7ffffffffffff => 7ff7ffffffffffff
fabs. 7ff8000000000000 => 7ff8000000000000
fabs. fff8000000000000 => 7ff8000000000000
fnabs. 0010000000000001 => 8010000000000001
fnabs. 00100094e0000359 => 80100094e0000359
fnabs. 3fe0000000000001 => bfe0000000000001
fnabs. 3fe00094e0000359 => bfe00094e0000359
fnabs. 8010000000000001 => 8010000000000001
fnabs. 80100094e0000359 => 80100094e0000359
fnabs. bfe0000000000001 => bfe0000000000001
fnabs. bfe00094e0000359 => bfe00094e0000359
fnabs. 0000000000000000 => 8000000000000000
fnabs. 8000000000000000 => 8000000000000000
fnabs. 7ff0000000000000 => fff0000000000000
fnabs. fff0000000000000 => fff0000000000000
fnabs. 7ff7ffffffffffff => fff7ffffffffffff
fnabs. fff7ffffffffffff => fff7ffffffffffff
fnabs. 7ff8000000000000 => fff8000000000000
fnabs. fff8000000000000 => fff8000000000000
fcfid. 0010000000000001 => 4330000000000001
fcfid. 00100094e0000359 => 43300094e0000359
fcfid. 3fe0000000000001 => 43cff00000000000
fcfid. 3fe00094e0000359 => 43cff0004a700002
fcfid. 8010000000000001 => c3dffc0000000000
fcfid. 80100094e0000359 => c3dffbffdac7ffff
fcfid. bfe0000000000001 => c3d0080000000000
fcfid. bfe00094e0000359 => c3d007ffdac7ffff
fcfid. 0000000000000000 => 0000000000000000
fcfid. 8000000000000000 => c3e0000000000000
fcfid. 7ff0000000000000 => 43dffc0000000000
fcfid. fff0000000000000 => c330000000000000
fcfid. 7ff7ffffffffffff => 43dffe0000000000
fcfid. fff7ffffffffffff => c320000000000002
fcfid. 7ff8000000000000 => 43dffe0000000000
fcfid. fff8000000000000 => c320000000000000
fctid. 0010000000000001 => 0000000000000000
fctid. 00100094e0000359 => 0000000000000000
fctid. 3fe0000000000001 => 0000000000000001
fctid. 3fe00094e0000359 => 0000000000000001
fctid. 8010000000000001 => 0000000000000000
fctid. 80100094e0000359 => 0000000000000000
fctid. bfe0000000000001 => ffffffffffffffff
fctid. bfe00094e0000359 => ffffffffffffffff
fctid. 0000000000000000 => 0000000000000000
fctid. 8000000000000000 => 0000000000000000
fctid. 7ff0000000000000 => 7fffffffffffffff
fctid. fff0000000000000 => 8000000000000000
fctid. 7ff7ffffffffffff => 8000000000000000
fctid. fff7ffffffffffff => 8000000000000000
fctid. 7ff8000000000000 => 8000000000000000
fctid. fff8000000000000 => 8000000000000000
fctidz. 0010000000000001 => 0000000000000000
fctidz. 00100094e0000359 => 0000000000000000
fctidz. 3fe0000000000001 => 0000000000000000
fctidz. 3fe00094e0000359 => 0000000000000000
fctidz. 8010000000000001 => 0000000000000000
fctidz. 80100094e0000359 => 0000000000000000
fctidz. bfe0000000000001 => 0000000000000000
fctidz. bfe00094e0000359 => 0000000000000000
fctidz. 0000000000000000 => 0000000000000000
fctidz. 8000000000000000 => 0000000000000000
fctidz. 7ff0000000000000 => 7fffffffffffffff
fctidz. fff0000000000000 => 8000000000000000
fctidz. 7ff7ffffffffffff => 8000000000000000
fctidz. fff7ffffffffffff => 8000000000000000
fctidz. 7ff8000000000000 => 8000000000000000
fctidz. fff8000000000000 => 8000000000000000
PPC floating point status register manipulation insns:
PPC floating point status register manipulation insns
with flags update:
PPC float load insns
with one register + one 16 bits immediate args with flags update:
lfs 0010000000000001, 65416 => 36a0000000000000, 0
lfs 00100094e0000359, 65424 => c400006b20000000, 0
lfs 3fe0000000000001, 65432 => 36a0000000000000, 0
lfs 3fe00094e0000359, 65440 => c400006b20000000, 0
lfs 8010000000000001, 65448 => 36a0000000000000, 0
lfs 80100094e0000359, 65456 => c400006b20000000, 0
lfs bfe0000000000001, 65464 => 36a0000000000000, 0
lfs bfe00094e0000359, 65472 => c400006b20000000, 0
lfs 0000000000000000, 65480 => 0000000000000000, 0
lfs 8000000000000000, 65488 => 0000000000000000, 0
lfs 7ff0000000000000, 65496 => 0000000000000000, 0
lfs fff0000000000000, 65504 => 0000000000000000, 0
lfs 7ff7ffffffffffff, 65512 => ffffffffe0000000, 0
lfs fff7ffffffffffff, 65520 => ffffffffe0000000, 0
lfs 7ff8000000000000, 65528 => 0000000000000000, 0
lfs 0010000000000001, 0 => 36a0000000000000, 0
lfs 00100094e0000359, 8 => c400006b20000000, 0
lfs 3fe0000000000001, 16 => 36a0000000000000, 0
lfs 3fe00094e0000359, 24 => c400006b20000000, 0
lfs 8010000000000001, 32 => 36a0000000000000, 0
lfs 80100094e0000359, 40 => c400006b20000000, 0
lfs bfe0000000000001, 48 => 36a0000000000000, 0
lfs bfe00094e0000359, 56 => c400006b20000000, 0
lfs 0000000000000000, 64 => 0000000000000000, 0
lfs 8000000000000000, 72 => 0000000000000000, 0
lfs 7ff0000000000000, 80 => 0000000000000000, 0
lfs fff0000000000000, 88 => 0000000000000000, 0
lfs 7ff7ffffffffffff, 96 => ffffffffe0000000, 0
lfs fff7ffffffffffff, 104 => ffffffffe0000000, 0
lfs 7ff8000000000000, 112 => 0000000000000000, 0
lfs fff8000000000000, 120 => 0000000000000000, 0
lfsu 0010000000000001, 65416 => 36a0000000000000, -120
lfsu 00100094e0000359, 65424 => c400006b20000000, -112
lfsu 3fe0000000000001, 65432 => 36a0000000000000, -104
lfsu 3fe00094e0000359, 65440 => c400006b20000000, -96
lfsu 8010000000000001, 65448 => 36a0000000000000, -88
lfsu 80100094e0000359, 65456 => c400006b20000000, -80
lfsu bfe0000000000001, 65464 => 36a0000000000000, -72
lfsu bfe00094e0000359, 65472 => c400006b20000000, -64
lfsu 0000000000000000, 65480 => 0000000000000000, -56
lfsu 8000000000000000, 65488 => 0000000000000000, -48
lfsu 7ff0000000000000, 65496 => 0000000000000000, -40
lfsu fff0000000000000, 65504 => 0000000000000000, -32
lfsu 7ff7ffffffffffff, 65512 => ffffffffe0000000, -24
lfsu fff7ffffffffffff, 65520 => ffffffffe0000000, -16
lfsu 7ff8000000000000, 65528 => 0000000000000000, -8
lfsu 0010000000000001, 0 => 36a0000000000000, 0
lfsu 00100094e0000359, 8 => c400006b20000000, 8
lfsu 3fe0000000000001, 16 => 36a0000000000000, 16
lfsu 3fe00094e0000359, 24 => c400006b20000000, 24
lfsu 8010000000000001, 32 => 36a0000000000000, 32
lfsu 80100094e0000359, 40 => c400006b20000000, 40
lfsu bfe0000000000001, 48 => 36a0000000000000, 48
lfsu bfe00094e0000359, 56 => c400006b20000000, 56
lfsu 0000000000000000, 64 => 0000000000000000, 64
lfsu 8000000000000000, 72 => 0000000000000000, 72
lfsu 7ff0000000000000, 80 => 0000000000000000, 80
lfsu fff0000000000000, 88 => 0000000000000000, 88
lfsu 7ff7ffffffffffff, 96 => ffffffffe0000000, 96
lfsu fff7ffffffffffff, 104 => ffffffffe0000000, 104
lfsu 7ff8000000000000, 112 => 0000000000000000, 112
lfsu fff8000000000000, 120 => 0000000000000000, 120
lfd 0010000000000001, 65416 => 0010000000000001, 0
lfd 00100094e0000359, 65424 => 00100094e0000359, 0
lfd 3fe0000000000001, 65432 => 3fe0000000000001, 0
lfd 3fe00094e0000359, 65440 => 3fe00094e0000359, 0
lfd 8010000000000001, 65448 => 8010000000000001, 0
lfd 80100094e0000359, 65456 => 80100094e0000359, 0
lfd bfe0000000000001, 65464 => bfe0000000000001, 0
lfd bfe00094e0000359, 65472 => bfe00094e0000359, 0
lfd 0000000000000000, 65480 => 0000000000000000, 0
lfd 8000000000000000, 65488 => 8000000000000000, 0
lfd 7ff0000000000000, 65496 => 7ff0000000000000, 0
lfd fff0000000000000, 65504 => fff0000000000000, 0
lfd 7ff7ffffffffffff, 65512 => 7ff7ffffffffffff, 0
lfd fff7ffffffffffff, 65520 => fff7ffffffffffff, 0
lfd 7ff8000000000000, 65528 => 7ff8000000000000, 0
lfd 0010000000000001, 0 => 0010000000000001, 0
lfd 00100094e0000359, 8 => 00100094e0000359, 0
lfd 3fe0000000000001, 16 => 3fe0000000000001, 0
lfd 3fe00094e0000359, 24 => 3fe00094e0000359, 0
lfd 8010000000000001, 32 => 8010000000000001, 0
lfd 80100094e0000359, 40 => 80100094e0000359, 0
lfd bfe0000000000001, 48 => bfe0000000000001, 0
lfd bfe00094e0000359, 56 => bfe00094e0000359, 0
lfd 0000000000000000, 64 => 0000000000000000, 0
lfd 8000000000000000, 72 => 8000000000000000, 0
lfd 7ff0000000000000, 80 => 7ff0000000000000, 0
lfd fff0000000000000, 88 => fff0000000000000, 0
lfd 7ff7ffffffffffff, 96 => 7ff7ffffffffffff, 0
lfd fff7ffffffffffff, 104 => fff7ffffffffffff, 0
lfd 7ff8000000000000, 112 => 7ff8000000000000, 0
lfd fff8000000000000, 120 => fff8000000000000, 0
lfdu 0010000000000001, 65416 => 0010000000000001, -120
lfdu 00100094e0000359, 65424 => 00100094e0000359, -112
lfdu 3fe0000000000001, 65432 => 3fe0000000000001, -104
lfdu 3fe00094e0000359, 65440 => 3fe00094e0000359, -96
lfdu 8010000000000001, 65448 => 8010000000000001, -88
lfdu 80100094e0000359, 65456 => 80100094e0000359, -80
lfdu bfe0000000000001, 65464 => bfe0000000000001, -72
lfdu bfe00094e0000359, 65472 => bfe00094e0000359, -64
lfdu 0000000000000000, 65480 => 0000000000000000, -56
lfdu 8000000000000000, 65488 => 8000000000000000, -48
lfdu 7ff0000000000000, 65496 => 7ff0000000000000, -40
lfdu fff0000000000000, 65504 => fff0000000000000, -32
lfdu 7ff7ffffffffffff, 65512 => 7ff7ffffffffffff, -24
lfdu fff7ffffffffffff, 65520 => fff7ffffffffffff, -16
lfdu 7ff8000000000000, 65528 => 7ff8000000000000, -8
lfdu 0010000000000001, 0 => 0010000000000001, 0
lfdu 00100094e0000359, 8 => 00100094e0000359, 8
lfdu 3fe0000000000001, 16 => 3fe0000000000001, 16
lfdu 3fe00094e0000359, 24 => 3fe00094e0000359, 24
lfdu 8010000000000001, 32 => 8010000000000001, 32
lfdu 80100094e0000359, 40 => 80100094e0000359, 40
lfdu bfe0000000000001, 48 => bfe0000000000001, 48
lfdu bfe00094e0000359, 56 => bfe00094e0000359, 56
lfdu 0000000000000000, 64 => 0000000000000000, 64
lfdu 8000000000000000, 72 => 8000000000000000, 72
lfdu 7ff0000000000000, 80 => 7ff0000000000000, 80
lfdu fff0000000000000, 88 => fff0000000000000, 88
lfdu 7ff7ffffffffffff, 96 => 7ff7ffffffffffff, 96
lfdu fff7ffffffffffff, 104 => fff7ffffffffffff, 104
lfdu 7ff8000000000000, 112 => 7ff8000000000000, 112
lfdu fff8000000000000, 120 => fff8000000000000, 120
PPC float load insns with two register args:
lfsx 0010000000000001, -120 => 36a0000000000000, 0
lfsx 00100094e0000359, -112 => c400006b20000000, 0
lfsx 3fe0000000000001, -104 => 36a0000000000000, 0
lfsx 3fe00094e0000359, -96 => c400006b20000000, 0
lfsx 8010000000000001, -88 => 36a0000000000000, 0
lfsx 80100094e0000359, -80 => c400006b20000000, 0
lfsx bfe0000000000001, -72 => 36a0000000000000, 0
lfsx bfe00094e0000359, -64 => c400006b20000000, 0
lfsx 0000000000000000, -56 => 0000000000000000, 0
lfsx 8000000000000000, -48 => 0000000000000000, 0
lfsx 7ff0000000000000, -40 => 0000000000000000, 0
lfsx fff0000000000000, -32 => 0000000000000000, 0
lfsx 7ff7ffffffffffff, -24 => ffffffffe0000000, 0
lfsx fff7ffffffffffff, -16 => ffffffffe0000000, 0
lfsx 7ff8000000000000, -8 => 0000000000000000, 0
lfsx 0010000000000001, 0 => 36a0000000000000, 0
lfsx 00100094e0000359, 8 => c400006b20000000, 0
lfsx 3fe0000000000001, 16 => 36a0000000000000, 0
lfsx 3fe00094e0000359, 24 => c400006b20000000, 0
lfsx 8010000000000001, 32 => 36a0000000000000, 0
lfsx 80100094e0000359, 40 => c400006b20000000, 0
lfsx bfe0000000000001, 48 => 36a0000000000000, 0
lfsx bfe00094e0000359, 56 => c400006b20000000, 0
lfsx 0000000000000000, 64 => 0000000000000000, 0
lfsx 8000000000000000, 72 => 0000000000000000, 0
lfsx 7ff0000000000000, 80 => 0000000000000000, 0
lfsx fff0000000000000, 88 => 0000000000000000, 0
lfsx 7ff7ffffffffffff, 96 => ffffffffe0000000, 0
lfsx fff7ffffffffffff, 104 => ffffffffe0000000, 0
lfsx 7ff8000000000000, 112 => 0000000000000000, 0
lfsx fff8000000000000, 120 => 0000000000000000, 0
lfsux 0010000000000001, -120 => 36a0000000000000, -120
lfsux 00100094e0000359, -112 => c400006b20000000, -112
lfsux 3fe0000000000001, -104 => 36a0000000000000, -104
lfsux 3fe00094e0000359, -96 => c400006b20000000, -96
lfsux 8010000000000001, -88 => 36a0000000000000, -88
lfsux 80100094e0000359, -80 => c400006b20000000, -80
lfsux bfe0000000000001, -72 => 36a0000000000000, -72
lfsux bfe00094e0000359, -64 => c400006b20000000, -64
lfsux 0000000000000000, -56 => 0000000000000000, -56
lfsux 8000000000000000, -48 => 0000000000000000, -48
lfsux 7ff0000000000000, -40 => 0000000000000000, -40
lfsux fff0000000000000, -32 => 0000000000000000, -32
lfsux 7ff7ffffffffffff, -24 => ffffffffe0000000, -24
lfsux fff7ffffffffffff, -16 => ffffffffe0000000, -16
lfsux 7ff8000000000000, -8 => 0000000000000000, -8
lfsux 0010000000000001, 0 => 36a0000000000000, 0
lfsux 00100094e0000359, 8 => c400006b20000000, 8
lfsux 3fe0000000000001, 16 => 36a0000000000000, 16
lfsux 3fe00094e0000359, 24 => c400006b20000000, 24
lfsux 8010000000000001, 32 => 36a0000000000000, 32
lfsux 80100094e0000359, 40 => c400006b20000000, 40
lfsux bfe0000000000001, 48 => 36a0000000000000, 48
lfsux bfe00094e0000359, 56 => c400006b20000000, 56
lfsux 0000000000000000, 64 => 0000000000000000, 64
lfsux 8000000000000000, 72 => 0000000000000000, 72
lfsux 7ff0000000000000, 80 => 0000000000000000, 80
lfsux fff0000000000000, 88 => 0000000000000000, 88
lfsux 7ff7ffffffffffff, 96 => ffffffffe0000000, 96
lfsux fff7ffffffffffff, 104 => ffffffffe0000000, 104
lfsux 7ff8000000000000, 112 => 0000000000000000, 112
lfsux fff8000000000000, 120 => 0000000000000000, 120
lfdx 0010000000000001, -120 => 0010000000000001, 0
lfdx 00100094e0000359, -112 => 00100094e0000359, 0
lfdx 3fe0000000000001, -104 => 3fe0000000000001, 0
lfdx 3fe00094e0000359, -96 => 3fe00094e0000359, 0
lfdx 8010000000000001, -88 => 8010000000000001, 0
lfdx 80100094e0000359, -80 => 80100094e0000359, 0
lfdx bfe0000000000001, -72 => bfe0000000000001, 0
lfdx bfe00094e0000359, -64 => bfe00094e0000359, 0
lfdx 0000000000000000, -56 => 0000000000000000, 0
lfdx 8000000000000000, -48 => 8000000000000000, 0
lfdx 7ff0000000000000, -40 => 7ff0000000000000, 0
lfdx fff0000000000000, -32 => fff0000000000000, 0
lfdx 7ff7ffffffffffff, -24 => 7ff7ffffffffffff, 0
lfdx fff7ffffffffffff, -16 => fff7ffffffffffff, 0
lfdx 7ff8000000000000, -8 => 7ff8000000000000, 0
lfdx 0010000000000001, 0 => 0010000000000001, 0
lfdx 00100094e0000359, 8 => 00100094e0000359, 0
lfdx 3fe0000000000001, 16 => 3fe0000000000001, 0
lfdx 3fe00094e0000359, 24 => 3fe00094e0000359, 0
lfdx 8010000000000001, 32 => 8010000000000001, 0
lfdx 80100094e0000359, 40 => 80100094e0000359, 0
lfdx bfe0000000000001, 48 => bfe0000000000001, 0
lfdx bfe00094e0000359, 56 => bfe00094e0000359, 0
lfdx 0000000000000000, 64 => 0000000000000000, 0
lfdx 8000000000000000, 72 => 8000000000000000, 0
lfdx 7ff0000000000000, 80 => 7ff0000000000000, 0
lfdx fff0000000000000, 88 => fff0000000000000, 0
lfdx 7ff7ffffffffffff, 96 => 7ff7ffffffffffff, 0
lfdx fff7ffffffffffff, 104 => fff7ffffffffffff, 0
lfdx 7ff8000000000000, 112 => 7ff8000000000000, 0
lfdx fff8000000000000, 120 => fff8000000000000, 0
lfdux 0010000000000001, -120 => 0010000000000001, -120
lfdux 00100094e0000359, -112 => 00100094e0000359, -112
lfdux 3fe0000000000001, -104 => 3fe0000000000001, -104
lfdux 3fe00094e0000359, -96 => 3fe00094e0000359, -96
lfdux 8010000000000001, -88 => 8010000000000001, -88
lfdux 80100094e0000359, -80 => 80100094e0000359, -80
lfdux bfe0000000000001, -72 => bfe0000000000001, -72
lfdux bfe00094e0000359, -64 => bfe00094e0000359, -64
lfdux 0000000000000000, -56 => 0000000000000000, -56
lfdux 8000000000000000, -48 => 8000000000000000, -48
lfdux 7ff0000000000000, -40 => 7ff0000000000000, -40
lfdux fff0000000000000, -32 => fff0000000000000, -32
lfdux 7ff7ffffffffffff, -24 => 7ff7ffffffffffff, -24
lfdux fff7ffffffffffff, -16 => fff7ffffffffffff, -16
lfdux 7ff8000000000000, -8 => 7ff8000000000000, -8
lfdux 0010000000000001, 0 => 0010000000000001, 0
lfdux 00100094e0000359, 8 => 00100094e0000359, 8
lfdux 3fe0000000000001, 16 => 3fe0000000000001, 16
lfdux 3fe00094e0000359, 24 => 3fe00094e0000359, 24
lfdux 8010000000000001, 32 => 8010000000000001, 32
lfdux 80100094e0000359, 40 => 80100094e0000359, 40
lfdux bfe0000000000001, 48 => bfe0000000000001, 48
lfdux bfe00094e0000359, 56 => bfe00094e0000359, 56
lfdux 0000000000000000, 64 => 0000000000000000, 64
lfdux 8000000000000000, 72 => 8000000000000000, 72
lfdux 7ff0000000000000, 80 => 7ff0000000000000, 80
lfdux fff0000000000000, 88 => fff0000000000000, 88
lfdux 7ff7ffffffffffff, 96 => 7ff7ffffffffffff, 96
lfdux fff7ffffffffffff, 104 => fff7ffffffffffff, 104
lfdux 7ff8000000000000, 112 => 7ff8000000000000, 112
lfdux fff8000000000000, 120 => fff8000000000000, 120
PPC float store insns
with one register + one 16 bits immediate args with flags update:
stfs 0010000000000001, -56 => 0000000000000000, 0
stfs 00100094e0000359, -48 => 0000000000000000, 0
stfs 3fe0000000000001, -40 => 000000003f000000, 0
stfs 3fe00094e0000359, -32 => 000000003f0004a7, 0
stfs 8010000000000001, -24 => 0000000080000000, 0
stfs 80100094e0000359, -16 => 0000000080000000, 0
stfs bfe0000000000001, -8 => 00000000bf000000, 0
stfs 0010000000000001, 0 => 0000000000000000, 0
stfs 00100094e0000359, 8 => 0000000000000000, 0
stfs 3fe0000000000001, 16 => 000000003f000000, 0
stfs 3fe00094e0000359, 24 => 000000003f0004a7, 0
stfs 8010000000000001, 32 => 0000000080000000, 0
stfs 80100094e0000359, 40 => 0000000080000000, 0
stfs bfe0000000000001, 48 => 00000000bf000000, 0
stfs bfe00094e0000359, 56 => 00000000bf0004a7, 0
stfsu 0010000000000001, -56 => 0000000000000000, -56
stfsu 00100094e0000359, -48 => 0000000000000000, -48
stfsu 3fe0000000000001, -40 => 000000003f000000, -40
stfsu 3fe00094e0000359, -32 => 000000003f0004a7, -32
stfsu 8010000000000001, -24 => 0000000080000000, -24
stfsu 80100094e0000359, -16 => 0000000080000000, -16
stfsu bfe0000000000001, -8 => 00000000bf000000, -8
stfsu 0010000000000001, 0 => 0000000000000000, 0
stfsu 00100094e0000359, 8 => 0000000000000000, 8
stfsu 3fe0000000000001, 16 => 000000003f000000, 16
stfsu 3fe00094e0000359, 24 => 000000003f0004a7, 24
stfsu 8010000000000001, 32 => 0000000080000000, 32
stfsu 80100094e0000359, 40 => 0000000080000000, 40
stfsu bfe0000000000001, 48 => 00000000bf000000, 48
stfsu bfe00094e0000359, 56 => 00000000bf0004a7, 56
stfd 0010000000000001, -120 => 0010000000000001, 0
stfd 00100094e0000359, -112 => 00100094e0000359, 0
stfd 3fe0000000000001, -104 => 3fe0000000000001, 0
stfd 3fe00094e0000359, -96 => 3fe00094e0000359, 0
stfd 8010000000000001, -88 => 8010000000000001, 0
stfd 80100094e0000359, -80 => 80100094e0000359, 0
stfd bfe0000000000001, -72 => bfe0000000000001, 0
stfd bfe00094e0000359, -64 => bfe00094e0000359, 0
stfd 0000000000000000, -56 => 0000000000000000, 0
stfd 8000000000000000, -48 => 8000000000000000, 0
stfd 7ff0000000000000, -40 => 7ff0000000000000, 0
stfd fff0000000000000, -32 => fff0000000000000, 0
stfd 7ff7ffffffffffff, -24 => 7ff7ffffffffffff, 0
stfd fff7ffffffffffff, -16 => fff7ffffffffffff, 0
stfd 7ff8000000000000, -8 => 7ff8000000000000, 0
stfd 0010000000000001, 0 => 0010000000000001, 0
stfd 00100094e0000359, 8 => 00100094e0000359, 0
stfd 3fe0000000000001, 16 => 3fe0000000000001, 0
stfd 3fe00094e0000359, 24 => 3fe00094e0000359, 0
stfd 8010000000000001, 32 => 8010000000000001, 0
stfd 80100094e0000359, 40 => 80100094e0000359, 0
stfd bfe0000000000001, 48 => bfe0000000000001, 0
stfd bfe00094e0000359, 56 => bfe00094e0000359, 0
stfd 0000000000000000, 64 => 0000000000000000, 0
stfd 8000000000000000, 72 => 8000000000000000, 0
stfd 7ff0000000000000, 80 => 7ff0000000000000, 0
stfd fff0000000000000, 88 => fff0000000000000, 0
stfd 7ff7ffffffffffff, 96 => 7ff7ffffffffffff, 0
stfd fff7ffffffffffff, 104 => fff7ffffffffffff, 0
stfd 7ff8000000000000, 112 => 7ff8000000000000, 0
stfd fff8000000000000, 120 => fff8000000000000, 0
stfdu 0010000000000001, -120 => 0010000000000001, -120
stfdu 00100094e0000359, -112 => 00100094e0000359, -112
stfdu 3fe0000000000001, -104 => 3fe0000000000001, -104
stfdu 3fe00094e0000359, -96 => 3fe00094e0000359, -96
stfdu 8010000000000001, -88 => 8010000000000001, -88
stfdu 80100094e0000359, -80 => 80100094e0000359, -80
stfdu bfe0000000000001, -72 => bfe0000000000001, -72
stfdu bfe00094e0000359, -64 => bfe00094e0000359, -64
stfdu 0000000000000000, -56 => 0000000000000000, -56
stfdu 8000000000000000, -48 => 8000000000000000, -48
stfdu 7ff0000000000000, -40 => 7ff0000000000000, -40
stfdu fff0000000000000, -32 => fff0000000000000, -32
stfdu 7ff7ffffffffffff, -24 => 7ff7ffffffffffff, -24
stfdu fff7ffffffffffff, -16 => fff7ffffffffffff, -16
stfdu 7ff8000000000000, -8 => 7ff8000000000000, -8
stfdu 0010000000000001, 0 => 0010000000000001, 0
stfdu 00100094e0000359, 8 => 00100094e0000359, 8
stfdu 3fe0000000000001, 16 => 3fe0000000000001, 16
stfdu 3fe00094e0000359, 24 => 3fe00094e0000359, 24
stfdu 8010000000000001, 32 => 8010000000000001, 32
stfdu 80100094e0000359, 40 => 80100094e0000359, 40
stfdu bfe0000000000001, 48 => bfe0000000000001, 48
stfdu bfe00094e0000359, 56 => bfe00094e0000359, 56
stfdu 0000000000000000, 64 => 0000000000000000, 64
stfdu 8000000000000000, 72 => 8000000000000000, 72
stfdu 7ff0000000000000, 80 => 7ff0000000000000, 80
stfdu fff0000000000000, 88 => fff0000000000000, 88
stfdu 7ff7ffffffffffff, 96 => 7ff7ffffffffffff, 96
stfdu fff7ffffffffffff, 104 => fff7ffffffffffff, 104
stfdu 7ff8000000000000, 112 => 7ff8000000000000, 112
stfdu fff8000000000000, 120 => fff8000000000000, 120
PPC float store insns with three register args:
stfsx 0010000000000001, 0 => 0000000000000000, 0
stfsx 00100094e0000359, 8 => 0000000000000000, 0
stfsx 3fe0000000000001, 16 => 000000003f000000, 0
stfsx 3fe00094e0000359, 24 => 000000003f0004a7, 0
stfsx 8010000000000001, 32 => 0000000080000000, 0
stfsx 80100094e0000359, 40 => 0000000080000000, 0
stfsx bfe0000000000001, 48 => 00000000bf000000, 0
stfsx bfe00094e0000359, 56 => 00000000bf0004a7, 0
stfsux 0010000000000001, 0 => 0000000000000000, 0
stfsux 00100094e0000359, 8 => 0000000000000000, 8
stfsux 3fe0000000000001, 16 => 000000003f000000, 16
stfsux 3fe00094e0000359, 24 => 000000003f0004a7, 24
stfsux 8010000000000001, 32 => 0000000080000000, 32
stfsux 80100094e0000359, 40 => 0000000080000000, 40
stfsux bfe0000000000001, 48 => 00000000bf000000, 48
stfsux bfe00094e0000359, 56 => 00000000bf0004a7, 56
stfdx 0010000000000001, 0 => 0010000000000001, 0
stfdx 00100094e0000359, 8 => 00100094e0000359, 0
stfdx 3fe0000000000001, 16 => 3fe0000000000001, 0
stfdx 3fe00094e0000359, 24 => 3fe00094e0000359, 0
stfdx 8010000000000001, 32 => 8010000000000001, 0
stfdx 80100094e0000359, 40 => 80100094e0000359, 0
stfdx bfe0000000000001, 48 => bfe0000000000001, 0
stfdx bfe00094e0000359, 56 => bfe00094e0000359, 0
stfdx 0000000000000000, 64 => 0000000000000000, 0
stfdx 8000000000000000, 72 => 8000000000000000, 0
stfdx 7ff0000000000000, 80 => 7ff0000000000000, 0
stfdx fff0000000000000, 88 => fff0000000000000, 0
stfdx 7ff7ffffffffffff, 96 => 7ff7ffffffffffff, 0
stfdx fff7ffffffffffff, 104 => fff7ffffffffffff, 0
stfdx 7ff8000000000000, 112 => 7ff8000000000000, 0
stfdx fff8000000000000, 120 => fff8000000000000, 0
stfdux 0010000000000001, 0 => 0010000000000001, 0
stfdux 00100094e0000359, 8 => 00100094e0000359, 8
stfdux 3fe0000000000001, 16 => 3fe0000000000001, 16
stfdux 3fe00094e0000359, 24 => 3fe00094e0000359, 24
stfdux 8010000000000001, 32 => 8010000000000001, 32
stfdux 80100094e0000359, 40 => 80100094e0000359, 40
stfdux bfe0000000000001, 48 => bfe0000000000001, 48
stfdux bfe00094e0000359, 56 => bfe00094e0000359, 56
stfdux 0000000000000000, 64 => 0000000000000000, 64
stfdux 8000000000000000, 72 => 8000000000000000, 72
stfdux 7ff0000000000000, 80 => 7ff0000000000000, 80
stfdux fff0000000000000, 88 => fff0000000000000, 88
stfdux 7ff7ffffffffffff, 96 => 7ff7ffffffffffff, 96
stfdux fff7ffffffffffff, 104 => fff7ffffffffffff, 104
stfdux 7ff8000000000000, 112 => 7ff8000000000000, 112
stfdux fff8000000000000, 120 => fff8000000000000, 120
All done. Tested 77 different instructions
|