Lines Matching refs:Call
187 (Call
189 Call("INTERRUPT_EXCEPTION",CTy"exception",LW(0,8))),
196 (Call
198 Call("INTERRUPT_EXCEPTION",CTy"exception",LW(6,8))),
205 (Call
207 Call("INTERRUPT_EXCEPTION",CTy"exception",LW(13,8))),
214 (Call
216 Call("INTERRUPT_EXCEPTION",CTy"exception",LW(19,8))),
250 Call("reg'MXCSR",F32,Var("x",CTy"MXCSR")))
254 Call("rec'MXCSR",CTy"MXCSR",Var("x",F32)))
278 (Call("mem8",ATy(qTy,F8),Bop(Add,Var("addr",F64),LW(1,64))),
280 Apply(Call("mem8",ATy(qTy,F8),Var("addr",F64)),qVar"state")]))
287 (Call
292 (Call
302 (Call("mem16",ATy(qTy,F16),Bop(Add,Var("addr",F64),LW(2,64))),
304 Apply(Call("mem16",ATy(qTy,F16),Var("addr",F64)),qVar"state")]))
311 (Call
316 (Call
326 (Call("mem32",ATy(qTy,F32),Bop(Add,Var("addr",F64),LW(4,64))),
328 Apply(Call("mem32",ATy(qTy,F32),Var("addr",F64)),qVar"state")]))
335 (Call
340 (Call
350 (Call("mem64",ATy(qTy,F64),Bop(Add,Var("addr",F64),LW(8,64))),
352 Apply(Call("mem64",ATy(qTy,F64),Var("addr",F64)),qVar"state")]))
359 (Call
364 (Call
379 (Call
381 Call
410 (Call("Eflag",ATy(qTy,PTy(bTy,qTy)),LC("Z_CF",CTy"Zeflags")),
418 (Call
425 (Call("Eflag",ATy(qTy,PTy(bTy,qTy)),LC("Z_PF",CTy"Zeflags")),
433 (Call
440 (Call("Eflag",ATy(qTy,PTy(bTy,qTy)),LC("Z_AF",CTy"Zeflags")),
448 (Call
455 (Call("Eflag",ATy(qTy,PTy(bTy,qTy)),LC("Z_ZF",CTy"Zeflags")),
463 (Call
470 (Call("Eflag",ATy(qTy,PTy(bTy,qTy)),LC("Z_SF",CTy"Zeflags")),
478 (Call
485 (Call("Eflag",ATy(qTy,PTy(bTy,qTy)),LC("Z_OF",CTy"Zeflags")),
493 (Call
516 (Call("ZregBase",CTy"Zbase",Var("b",CTy"Zreg")),
531 (Call
536 (Call("ea_base",ATy(qTy,F64),Var("base",CTy"Zbase")),
544 [(Call("Zr",CTy"Zrm",Var("r",CTy"Zreg")),
545 Call
548 (Call
551 Call
555 (Call
566 [(Call("Zrm_i",CTy"Zdest_src",TP[Var("rm",CTy"Zrm"),AVar F64]),
568 (Call
572 (Call
576 (Call
580 (Call
582 Call
591 [(Call("Zrm_i",CTy"Zdest_src",TP[AVar(CTy"Zrm"),Var("i",F64)]),
592 Call("Zea_i",CTy"Zea",TP[Var("size",CTy"Zsize"),Var("i",F64)])),
593 (Call
595 Call
598 (Call
602 (Call
612 [(Call("Zrm",CTy"Zimm_rm",Var("rm",CTy"Zrm")),
614 (Call
618 (Call("Zimm",CTy"Zimm_rm",Var("imm",F64)),
619 Call
625 [(Call("Z8",CTy"Zsize",AVar bTy),Bop(Mod,Var("imm",F64),LW(8,64))),
633 [(Call("Z8",CTy"Zsize",AVar bTy),Bop(BAnd,Var("imm",F64),LW(255,64))),
643 [(Call("Zea_i",CTy"Zea",Var("i",PTy(CTy"Zsize",F64))),
644 Call("restrictSize",F64,Var("i",PTy(CTy"Zsize",F64)))),
645 (Call
647 TP[Call("Z8",CTy"Zsize",bVar"have_rex"),Var("r",CTy"Zreg")]),
663 (Call
665 Call
671 (Call
673 TP[Call("Z8",CTy"Zsize",AVar bTy),Var("a",F64)]),
675 Apply(Call("mem8",ATy(qTy,F8),Var("a",F64)),qVar"state"))),
676 (Call("Zea_m",CTy"Zea",TP[Const("Z16",CTy"Zsize"),Var("a",F64)]),
678 Apply(Call("mem16",ATy(qTy,F16),Var("a",F64)),qVar"state"))),
679 (Call("Zea_m",CTy"Zea",TP[Const("Z32",CTy"Zsize"),Var("a",F64)]),
681 Apply(Call("mem32",ATy(qTy,F32),Var("a",F64)),qVar"state"))),
682 (Call("Zea_m",CTy"Zea",TP[Const("Z64",CTy"Zsize"),Var("a",F64)]),
683 Apply(Call("mem64",ATy(qTy,F64),Var("a",F64)),qVar"state"))])))
690 [(Call("Zea_i",CTy"Zea",Var("i",PTy(CTy"Zsize",F64))),
693 (Call
695 Call("FAILURE",CTy"exception",LS"write to constant")),
697 (Call
699 TP[Call("Z8",CTy"Zsize",bVar"have_rex"),Var("r",CTy"Zreg")]),
729 (Call
742 (Call
752 (Call
761 (Call
763 TP[Call("Z8",CTy"Zsize",AVar bTy),Var("a",F64)]),
765 (Call
769 (Call("Zea_m",CTy"Zea",TP[Const("Z16",CTy"Zsize"),Var("a",F64)]),
771 (Call
775 (Call("Zea_m",CTy"Zea",TP[Const("Z32",CTy"Zsize"),Var("a",F64)]),
777 (Call
781 (Call("Zea_m",CTy"Zea",TP[Const("Z64",CTy"Zsize"),Var("a",F64)]),
783 (Call
793 (Call
797 Apply(Call("EA",ATy(qTy,F64),Var("v",CTy"Zea")),qVar"state"),
799 (Call
802 (Call
812 [(Call("Zea_i",CTy"Zea",TP[AVar(CTy"Zsize"),Var("i",F64)]),
814 (Call("Zea_r",CTy"Zea",TP[AVar(CTy"Zsize"),Var("r",CTy"Zreg")]),
818 (Call("Zea_m",CTy"Zea",TP[AVar(CTy"Zsize"),Var("a",F64)]),
819 Apply(Call("mem64",ATy(qTy,F64),Var("a",F64)),qVar"state"))])))
824 [(Call("Zea_i",CTy"Zea",TP[AVar(CTy"Zsize"),Var("i",F64)]),LW(0,64)),
825 (Call("Zea_r",CTy"Zea",TP[AVar(CTy"Zsize"),Var("r",CTy"Zreg")]),
827 (Call("Zea_m",CTy"Zea",TP[AVar(CTy"Zsize"),Var("a",F64)]),
838 (Call("call_dest_from_ea",ATy(qTy,F64),Var("ea",CTy"Zea")),
865 [(Call("Z8",CTy"Zsize",AVar bTy),LN 8),
872 Bop(Sub,Call("Zsize_width",nTy,Var("size",CTy"Zsize")),LN 1)))
879 (Call
881 Call("ByteParity",bTy,EX(Var("w",F64),LN 7,LN 0,F8))),
889 (Call
891 Call("word_size_msb",bTy,Var("s_w",PTy(CTy"Zsize",F64)))),
899 (Call
902 [(Call("Z8",CTy"Zsize",AVar bTy),
917 (Call("FlagUnspecified",ATy(qTy,qTy),LC("Z_AF",CTy"Zeflags")),
919 (Call
923 (Call
927 (Call("write_PF",ATy(qTy,qTy),Var("w",F64)),qVar"state"))))))
935 (Call
939 (Call("write'OF",ATy(qTy,qTy),bVar"x"),
940 Apply(Call("write'CF",ATy(qTy,qTy),bVar"c"),qVar"state")))))
947 (Call
957 Bop(Exp,LN 2,Call("Zsize_width",nTy,Var("s",CTy"Zsize"))))
963 EQ(Call
965 Call
968 EQ(Call
972 Call
981 EQ(Call
984 Call
988 EQ(Call
992 Call
1000 Bop(Le,Call("value_width",nTy,Var("size",CTy"Zsize")),
1002 Call
1010 Call
1021 (Call
1025 (Call
1036 (Call("write'EA",ATy(qTy,qTy),TP[Var("w",F64),Var("ea",CTy"Zea")]),
1038 (Call
1048 (Call("write'EA",ATy(qTy,qTy),TP[Var("w",F64),Var("ea",CTy"Zea")]),
1050 (Call
1059 (Call("write'EA",ATy(qTy,qTy),TP[Var("w",F64),Var("ea",CTy"Zea")]),
1070 [(TP[Call("Z8",CTy"Zsize",AVar bTy),
1075 (TP[Call("Z8",CTy"Zsize",AVar bTy),
1080 (TP[Call("Z8",CTy"Zsize",AVar bTy),
1098 (Call
1100 Call
1113 (Call
1127 [(Call("Z8",CTy"Zsize",AVar bTy),
1146 [(Call("Z8",CTy"Zsize",AVar bTy),
1165 [(Call("Z8",CTy"Zsize",AVar bTy),
1190 (Call
1193 Call
1199 (Call
1202 Call
1208 (Call
1211 Call
1217 (Call
1223 (Call
1230 (Call
1237 (Call
1244 (Call
1246 TP[Call
1252 (Call
1254 TP[Call
1260 (Call
1262 TP[Call
1268 (Call
1271 Call
1277 (Call
1280 Call
1288 (Call
1294 (Call
1298 (Call
1301 Call("value_width",nTy,Var("s",CTy"Zsize")),
1310 (Call
1317 (Call
1321 (Call
1329 (Call
1331 Call
1346 (Call
1352 (Call
1358 (Call
1364 (Call("FlagUnspecified",ATy(qTy,qTy),LC("Z_CF",CTy"Zeflags")),
1366 (Call
1379 (Call("EA",ATy(qTy,F64),Var("base",CTy"Zea")),qVar"state"),
1382 Apply(Call("write'CF",ATy(qTy,qTy),bVar"v"),qVar"state"),
1387 (Call
1392 (Call
1398 (Call
1402 (Call
1408 (Call
1412 (Call
1434 (Call
1436 Call
1459 (Call
1461 Call
1488 (Call
1490 Call
1526 (Call
1528 Call
1562 TP[Apply(Call("mem64",ATy(qTy,F64),Var("v",F64)),qVar"state"),
1577 (Call
1581 (Call
1602 (Call
1616 (Call
1619 (Call
1622 (Call
1630 (Call("x64_push_aux",ATy(qTy,qTy),Dest("RIP",F64,qVar"state")),
1641 (Call
1643 Call("FAILURE",CTy"exception",LS"x64_drop")),
1685 Call("zero32",F32,Var("a",F32)),Var("a",F32))))
1693 Call("zero64",F64,Var("a",F64)),Var("a",F64))))
1702 TP[Call("set_precision",fTy,TP[Var("flags",fTy),LT]),
1703 Call("zero32",F32,Var("a",F32))],
1713 TP[Call("set_precision",fTy,TP[Var("flags",fTy),LT]),
1714 Call("zero64",F64,Var("a",F64))],
1721 TP[Call
1723 TP[Call("initial_ieee_flags",fTy,LF),
1732 TP[Call
1734 TP[Call("initial_ieee_flags",fTy,LF),
1753 TP[Call
1755 TP[Call("initial_ieee_flags",fTy,LF),
1762 TP[Call("initial_ieee_flags",fTy,LT),Bop(Ror,LY(1,"N"),LN 1)])),
1764 TP[Call("initial_ieee_flags",fTy,LT),Bop(Ror,LY(1,"N"),LN 1)])]))
1780 TP[Call
1782 TP[Call("initial_ieee_flags",fTy,LF),
1789 TP[Call("initial_ieee_flags",fTy,LT),Bop(Ror,LY(1,"N"),LN 1)])),
1791 TP[Call("initial_ieee_flags",fTy,LT),Bop(Ror,LY(1,"N"),LN 1)])]))
1796 Call
1808 Call
1820 Call
1832 Call
1939 TP[Call("initial_ieee_flags",fTy,LF),LF,qVar"state"])),
2318 (Call("denormal_to_zero32",ATy(qTy,F32),Var("a",F32)),
2322 (Call("denormal_to_zero32",ATy(qTy,F32),Var("b",F32)),
2328 (Call
2339 (Call
2350 (Call
2361 (Call
2371 TP[Call
2375 TP[Call
2390 (Call("denormal_to_zero64",ATy(qTy,F64),Var("a",F64)),
2394 (Call("denormal_to_zero64",ATy(qTy,F64),Var("b",F64)),
2400 (Call
2411 (Call
2422 (Call
2433 (Call
2443 TP[Call
2447 TP[Call
2463 (Call("denormal_to_zero32",ATy(qTy,F32),Var("a",F32)),
2476 (Call("denormal_to_zero64",ATy(qTy,F64),Var("a",F64)),
2511 Call
2516 Call
2552 Call
2557 Call
2588 [(Call("Zr",CTy"Zrm",Var("r",CTy"Zreg")),
2589 Call("xmm_reg",CTy"xmm_mem",Mop(Cast(FTy 3),Var("r",CTy"Zreg")))),
2590 (Call
2593 Call
2602 [(Call("xmm_reg",CTy"xmm_mem",Var("r",FTy 3)),
2606 (Call
2610 (Call
2613 (Call
2625 [(Call("xmm_reg",CTy"xmm_mem",Var("r",FTy 3)),
2632 (Call
2636 (Call
2640 (Call
2652 [(Call("xmm_reg",CTy"xmm_mem",Var("r",FTy 3)),qVar"state"),
2653 (Call
2658 (Call
2675 Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3)),
2678 (Call("XMM",ATy(qTy,FTy 128),Var("dst",CTy"xmm_mem")),
2682 (Call("XMM",ATy(qTy,FTy 128),Var("src",CTy"xmm_mem")),
2686 (Call
2694 (Call
2702 (Call
2707 (Call
2718 Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3)),
2721 (Call("XMM",ATy(qTy,FTy 128),Var("dst",CTy"xmm_mem")),
2725 (Call("XMM",ATy(qTy,FTy 128),Var("src",CTy"xmm_mem")),
2729 (Call
2737 (Call
2746 (Call
2755 (Call
2764 (Call
2770 (Call
2785 Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3)),
2788 (Call
2792 (Call
2797 (Call
2804 (Call
2808 (Call
2812 (Call
2823 Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3)),
2826 (Call
2830 (Call
2835 (Call
2842 (Call
2846 (Call
2850 (Call
2861 Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3)),
2864 (Call("XMM",ATy(qTy,FTy 128),Var("dst",CTy"xmm_mem")),
2868 (Call("XMM",ATy(qTy,FTy 128),Var("src",CTy"xmm_mem")),
2871 (Call
2873 TP[CC[Call
2878 Call
2891 Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3)),
2894 (Call("XMM",ATy(qTy,FTy 128),Var("dst",CTy"xmm_mem")),
2898 (Call("XMM",ATy(qTy,FTy 128),Var("src",CTy"xmm_mem")),
2901 (Call
2903 TP[CC[Call
2908 Call
2913 Call
2918 Call
2931 Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3)),
2934 (Call("XMM",ATy(qTy,FTy 128),Var("dst",CTy"xmm_mem")),
2938 (Call("XMM",ATy(qTy,FTy 128),Var("src",CTy"xmm_mem")),
2941 Call
2947 Call
2953 (Call
2958 (Call
2969 Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3)),
2972 (Call("XMM",ATy(qTy,FTy 128),Var("dst",CTy"xmm_mem")),
2976 (Call("XMM",ATy(qTy,FTy 128),Var("src",CTy"xmm_mem")),
2979 Call
2985 Call
2991 Call
2997 Call
3005 (Call
3011 (Call
3026 Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3)),
3028 Call
3032 (Call
3037 (Call
3044 (Call
3048 (Call
3052 (Call
3063 Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3)),
3065 Call
3069 (Call
3074 (Call
3081 (Call
3085 (Call
3089 (Call
3099 (Call("write'SF",ATy(qTy,qTy),LF),
3101 (Call("write'AF",ATy(qTy,qTy),LF),
3103 (Call("write'OF",ATy(qTy,qTy),LF),
3106 (Call
3108 Call
3113 (Call
3119 (Call("write'CF",ATy(qTy,qTy),LT),
3121 (Call("write'PF",ATy(qTy,qTy),LT),
3123 (Call("write'ZF",ATy(qTy,qTy),LT),qVar"state")))),
3126 (Call("write'CF",ATy(qTy,qTy),LF),
3128 (Call("write'PF",ATy(qTy,qTy),LF),
3130 (Call("write'ZF",ATy(qTy,qTy),LF),qVar"state")))),
3133 (Call("write'CF",ATy(qTy,qTy),LT),
3135 (Call("write'PF",ATy(qTy,qTy),LF),
3137 (Call("write'ZF",ATy(qTy,qTy),LF),qVar"state")))),
3140 (Call("write'CF",ATy(qTy,qTy),LF),
3142 (Call("write'PF",ATy(qTy,qTy),LF),
3144 (Call("write'ZF",ATy(qTy,qTy),LT),qVar"state"))))]))))))
3151 (Call("write'SF",ATy(qTy,qTy),LF),
3153 (Call("write'AF",ATy(qTy,qTy),LF),
3155 (Call("write'OF",ATy(qTy,qTy),LF),
3158 (Call
3160 Call
3165 (Call
3171 (Call("write'CF",ATy(qTy,qTy),LT),
3173 (Call("write'PF",ATy(qTy,qTy),LT),
3175 (Call("write'ZF",ATy(qTy,qTy),LT),qVar"state")))),
3178 (Call("write'CF",ATy(qTy,qTy),LF),
3180 (Call("write'PF",ATy(qTy,qTy),LF),
3182 (Call("write'ZF",ATy(qTy,qTy),LF),qVar"state")))),
3185 (Call("write'CF",ATy(qTy,qTy),LT),
3187 (Call("write'PF",ATy(qTy,qTy),LF),
3189 (Call("write'ZF",ATy(qTy,qTy),LF),qVar"state")))),
3192 (Call("write'CF",ATy(qTy,qTy),LF),
3194 (Call("write'PF",ATy(qTy,qTy),LF),
3196 (Call("write'ZF",ATy(qTy,qTy),LT),qVar"state"))))]))))))
3204 (Call("XMM",ATy(qTy,FTy 128),Var("src",CTy"xmm_mem")),
3209 (Call
3219 Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3))]),
3228 (Call("XMM",ATy(qTy,FTy 128),Var("src",CTy"xmm_mem")),
3233 Call
3238 Call
3243 Call
3248 Call
3253 (Call
3257 Call
3261 (Call
3276 (Call("XMM",ATy(qTy,FTy 128),Var("src",CTy"xmm_mem")),
3282 Call
3287 Call
3292 Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3)),
3296 (Call
3303 (Call
3308 (Call
3321 (Call("XMM",ATy(qTy,FTy 128),Var("src",CTy"xmm_mem")),
3331 Call
3336 (Call
3348 (Call
3353 (Call
3369 (Call("XMM",ATy(qTy,FTy 128),Var("src",CTy"xmm_mem")),
3375 Call
3380 Call
3385 Call
3390 Call
3395 (Call
3399 Call
3403 (Call
3417 (Call("XMM",ATy(qTy,FTy 128),Var("src",CTy"xmm_mem")),
3422 (Call
3426 Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3))]),
3428 (Call
3431 Call
3435 Call
3448 (Call("XMM",ATy(qTy,FTy 128),Var("src",CTy"xmm_mem")),
3455 Call
3459 (Call
3462 Call
3467 (Call
3471 Call
3475 (Call
3478 Call
3483 (Call
3493 (Call("XMM",ATy(qTy,FTy 128),Var("src",CTy"xmm_mem")),
3500 Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3)),
3504 (Call
3509 (Call
3514 (Call
3525 Call
3529 (Call
3532 (Call
3539 Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3)),
3543 (Call
3547 (Call
3551 (Call
3561 Call
3565 (Call
3568 (Call
3575 Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3)),
3579 (Call
3583 (Call
3587 (Call
3598 (Call("XMM",ATy(qTy,FTy 128),Var("src",CTy"xmm_mem")),
3601 Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3)),
3605 (Call
3608 Call
3613 (Call
3617 (Call
3631 (Call("XMM",ATy(qTy,FTy 128),Var("src",CTy"xmm_mem")),
3638 Call
3642 (Call
3645 Call
3650 (Call
3654 Call
3658 (Call
3661 Call
3666 (Call
3678 (Call
3682 (Call
3686 (Call("XMM",ATy(qTy,FTy 128),Var("src",CTy"xmm_mem")),
3689 (Call
3699 (Call
3702 (Call("XMM",ATy(qTy,FTy 128),Var("src",CTy"xmm_mem")),
3713 (Call
3717 (Call
3719 Call
3724 (Call
3730 (Call
3733 (Call
3735 Call("xmm_reg",CTy"xmm_mem",Var("xmm",FTy 3))),
3738 (Call
3744 (Call
3748 (Call
3751 (Call
3756 Call("xmm_reg",CTy"xmm_mem",Var("xmm",FTy 3))]),
3760 (Call
3764 (Call
3767 (Call
3772 Call("xmm_reg",CTy"xmm_mem",Var("xmm",FTy 3))]),
3780 [(Call("xmm_reg",CTy"xmm_mem",AVar(FTy 3)),
3782 (Call
3786 (Call
3791 (Call
3795 (Call
3798 (Call
3803 (Call
3806 Call
3818 [(Call("xmm_reg",CTy"xmm_mem",AVar(FTy 3)),
3820 (Call
3824 (Call
3829 (Call
3833 (Call
3837 (Call
3841 (Call
3852 [(Call("xmm_reg",CTy"xmm_mem",AVar(FTy 3)),
3854 (Call
3858 (Call
3863 (Call
3867 (Call
3871 (Call
3875 (Call
3886 Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3)),
3889 (Call("XMM",ATy(qTy,FTy 128),Var("dst",CTy"xmm_mem")),
3893 (Call("XMM",ATy(qTy,FTy 128),Var("src",CTy"xmm_mem")),
3896 (Call
3911 Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3)),
3913 (Call
3917 (Call
3929 Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3)),
3932 (Call("XMM",ATy(qTy,FTy 128),Var("dst",CTy"xmm_mem")),
3936 (Call
3956 Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3)),
3959 (Call("XMM",ATy(qTy,FTy 128),Var("dst",CTy"xmm_mem")),
3963 (Call
3977 Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3)),
3980 (Call("XMM",ATy(qTy,FTy 128),Var("dst",CTy"xmm_mem")),
3984 (Call
4016 Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3)),
4019 (Call("XMM",ATy(qTy,FTy 128),Var("dst",CTy"xmm_mem")),
4023 (Call
4043 Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3)),
4046 (Call("XMM",ATy(qTy,FTy 128),Var("dst",CTy"xmm_mem")),
4050 (Call
4082 Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3)),
4084 (Call
4088 (Call
4100 Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3)),
4103 (Call("XMM",ATy(qTy,FTy 128),Var("dst",CTy"xmm_mem")),
4107 (Call
4127 Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3)),
4130 (Call("XMM",ATy(qTy,FTy 128),Var("dst",CTy"xmm_mem")),
4134 (Call
4148 Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3)),
4151 (Call("XMM",ATy(qTy,FTy 128),Var("dst",CTy"xmm_mem")),
4155 (Call
4188 (Call("XMM",ATy(qTy,FTy 128),Var("src",CTy"xmm_mem")),
4192 (Call
4197 (Call
4201 (Call
4204 Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3))]),
4206 (Call
4217 (Call
4220 (Call("XMM",ATy(qTy,FTy 128),Var("src",CTy"xmm_mem")),
4223 Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3)),
4227 (Call
4231 (Call
4235 (Call
4246 (Call("XMM",ATy(qTy,FTy 128),Var("src",CTy"xmm_mem")),
4250 (Call
4255 (Call
4260 (Call
4266 (Call
4272 (Call
4276 Call
4280 (Call
4293 (Call
4296 (Call("XMM",ATy(qTy,FTy 128),Var("src",CTy"xmm_mem")),
4299 Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3)),
4303 (Call
4307 (Call
4311 (Call
4324 (Call
4329 (Call
4343 (Call
4346 (Call
4352 [(Call("Zr_rm",CTy"Zdest_src",AVar(PTy(CTy"Zreg",CTy"Zrm"))),
4354 (Call
4356 TP[Call("Zr",CTy"Zrm",AVar(CTy"Zreg")),AVar(CTy"Zreg")]),
4358 (Call
4362 (Call
4368 Call
4372 (Call
4374 TP[Call("Zr",CTy"Zrm",AVar(CTy"Zreg")),AVar F64]),
4376 (Call
4380 (Call
4386 Call
4390 (Call
4392 TP[Call
4398 Call
4402 (Call
4406 (Call
4408 TP[Call("Z8",CTy"Zsize",LF),
4409 Call
4421 (Call
4423 TP[Call
4430 (Call
4435 (Call
4439 (Call
4441 TP[Call("Z8",CTy"Zsize",LF),
4442 Call
4461 (Call
4464 Apply(Call("jump_to_ea",ATy(qTy,qTy),Var("v",CTy"Zea")),qVar"s"))))
4472 Call
4477 (Call
4483 (Call("EA",ATy(qTy,F64),Var("v",CTy"Zea")),qVar"state"),
4486 (Call("EA",ATy(qTy,F64),Var("ea_src",CTy"Zea")),
4490 (Call
4498 (Call
4501 (Call
4507 (Call
4510 Call
4520 Let(nVar"w",Call("value_width",nTy,Var("size",CTy"Zsize")),
4522 Call
4526 Call
4534 (Call
4540 (Call
4546 (Call
4549 (Call
4558 (Call
4564 (Call
4581 Mop(Cast iTy,Call("value_width",nTy,Var("size",CTy"Zsize"))),
4583 Call
4587 Call
4595 (Call
4599 (Call
4611 (Call
4618 (Call
4622 (Call
4625 (Call
4638 (Call
4644 (Call
4670 (Call
4688 (Call
4691 (Call
4701 (Call
4703 TP[Call
4706 (Call
4711 (Call
4720 (Call("x64_pop",ATy(qTy,qTy),Call("Zr",CTy"Zrm",LC("RBP",CTy"Zreg"))),
4750 (Call
4769 (Call
4773 (Call
4777 (Call("EA",ATy(qTy,F64),Var("v",CTy"Zea")),
4788 (Call
4793 (Call
4796 (Call
4799 (Call
4805 (Call
4820 (Call
4823 (Call
4826 (Call
4835 (Call
4841 (Call("write'EA",ATy(qTy,qTy),Var("v",PTy(F64,CTy"Zea"))),
4851 (Call
4854 (Call
4857 (Call
4863 (Call
4874 Call
4879 (Call("EA",ATy(qTy,F64),Var("ea_eax",CTy"Zea")),
4883 (Call
4886 (Call
4893 [(Call("Z8",CTy"Zsize",AVar bTy),
4895 (Call
4898 Call
4905 (Call
4912 Call
4915 Call
4920 (Call
4930 Call
4935 (Call
4938 (Call("EA",ATy(qTy,F64),Var("ea_eax",CTy"Zea")),
4943 (Call
4946 (Call
4949 (Call
4971 (Call
4983 (Call
4987 (Call
4992 [(Call
4995 (Call
5000 Call
5011 (Call
5019 Call
5024 Call
5032 (Call
5047 Call
5052 (Call
5055 (Call("EA",ATy(qTy,F64),Var("ea_dst",CTy"Zea")),
5060 (Call
5063 (Call
5066 (Call
5088 (Call
5099 (Call
5104 (Call
5108 (Call
5120 (Call
5123 (Call
5126 (Call
5144 (Call
5154 (Call
5157 Call
5162 (Call("write'OF",ATy(qTy,qTy),bVar"v"),
5164 (Call
5174 Apply(Call("x64_pop",ATy(qTy,qTy),Var("rm",CTy"Zrm")),qVar"state")))
5181 (Call("x64_push",ATy(qTy,qTy),Var("imm_rm",CTy"Zimm_rm")),
5189 (Call("x64_drop",ATy(qTy,qTy),Var("imm",F64)),
5199 (Call
5203 (Call
5207 (Call
5209 TP[Call("Z8",CTy"Zsize",bVar"have_rex"),
5218 Call
5223 (Call
5229 (Call("EA",ATy(qTy,F64),Var("v",CTy"Zea")),qVar"state"),
5231 (Call
5236 (Call
5240 (Call
5251 Call
5256 (Call
5261 (Call
5264 (Call("EA",ATy(qTy,F64),Var("ea_src",CTy"Zea")),
5267 (Call
5270 (Call("EA",ATy(qTy,F64),Var("v",CTy"Zea")),
5278 Apply(Call("write'CF",ATy(qTy,qTy),Mop(Not,bVar"v")),qVar"s")))
5282 Apply(Call("write'CF",ATy(qTy,qTy),LF),qVar"state"))
5286 Apply(Call("write'CF",ATy(qTy,qTy),LT),qVar"state"))
5301 (Call
5306 (Call
5311 (Call
5316 (Call
5321 (Call("Zcall",CTy"instruction",Var("v49",CTy"Zimm_rm")),
5323 (Call("dfn'Zcall",ATy(qTy,qTy),Var("v49",CTy"Zimm_rm")),
5325 (Call
5329 (Call
5333 (Call
5336 (Call
5339 (Call
5342 (Call
5345 (Call
5348 (Call
5351 (Call
5355 (Call
5359 (Call
5363 (Call
5368 (Call("Zjcc",CTy"instruction",Var("v56",PTy(CTy"Zcond",F64))),
5370 (Call("dfn'Zjcc",ATy(qTy,qTy),Var("v56",PTy(CTy"Zcond",F64))),
5372 (Call("Zjmp",CTy"instruction",Var("v57",CTy"Zrm")),
5374 (Call("dfn'Zjmp",ATy(qTy,qTy),Var("v57",CTy"Zrm")),
5376 (Call
5380 (Call
5383 (Call("Zloop",CTy"instruction",Var("v59",PTy(CTy"Zcond",F64))),
5385 (Call
5388 (Call
5392 (Call
5396 (Call
5400 (Call
5404 (Call
5408 (Call
5412 (Call
5416 (Call
5420 (Call
5423 (Call
5426 (Call("Znop",CTy"instruction",nVar"v65"),qVar"state"),
5427 (Call("Zpop",CTy"instruction",Var("v66",CTy"Zrm")),
5429 (Call("dfn'Zpop",ATy(qTy,qTy),Var("v66",CTy"Zrm")),
5431 (Call("Zpush",CTy"instruction",Var("v67",CTy"Zimm_rm")),
5433 (Call("dfn'Zpush",ATy(qTy,qTy),Var("v67",CTy"Zimm_rm")),
5435 (Call("Zret",CTy"instruction",Var("v68",F64)),
5436 Apply(Call("dfn'Zret",ATy(qTy,qTy),Var("v68",F64)),qVar"state")),
5437 (Call
5441 (Call
5444 (Call
5448 (Call
5452 (Call
5456 (Call
5460 (Call("SSE",CTy"instruction",Var("v1",CTy"SSE")),
5462 [(Call
5466 (Call
5471 (Call
5475 (Call
5480 (Call
5484 (Call
5489 (Call
5493 (Call
5498 (Call("COMISD",CTy"SSE",Var("v6",PTy(FTy 3,CTy"xmm_mem"))),
5500 (Call
5503 (Call("COMISS",CTy"SSE",Var("v7",PTy(FTy 3,CTy"xmm_mem"))),
5505 (Call
5508 (Call
5511 (Call
5514 (Call
5517 (Call
5520 (Call
5524 (Call
5528 (Call
5531 (Call
5534 (Call
5538 (Call
5542 (Call
5545 (Call
5548 (Call
5552 (Call
5557 (Call
5560 (Call
5563 (Call
5567 (Call
5570 (Call
5574 (Call
5577 (Call
5580 (Call
5583 (Call
5587 (Call
5592 (Call
5596 (Call
5600 (Call
5604 (Call
5608 (Call
5612 (Call
5616 (Call
5620 (Call
5624 (Call
5628 (Call
5632 (Call
5636 (Call
5640 (Call
5643 (Call
5646 (Call("PSLLDQ",CTy"SSE",Var("v27",PTy(FTy 3,F8))),
5648 (Call
5651 (Call("PSLLD_imm",CTy"SSE",Var("v28",PTy(FTy 3,F8))),
5653 (Call
5656 (Call("PSLLQ_imm",CTy"SSE",Var("v29",PTy(FTy 3,F8))),
5658 (Call
5661 (Call("PSLLW_imm",CTy"SSE",Var("v30",PTy(FTy 3,F8))),
5663 (Call
5666 (Call("PSRAD_imm",CTy"SSE",Var("v31",PTy(FTy 3,F8))),
5668 (Call
5671 (Call("PSRAW_imm",CTy"SSE",Var("v32",PTy(FTy 3,F8))),
5673 (Call
5676 (Call("PSRLDQ",CTy"SSE",Var("v33",PTy(FTy 3,F8))),
5678 (Call
5681 (Call("PSRLD_imm",CTy"SSE",Var("v34",PTy(FTy 3,F8))),
5683 (Call
5686 (Call("PSRLQ_imm",CTy"SSE",Var("v35",PTy(FTy 3,F8))),
5688 (Call
5691 (Call("PSRLW_imm",CTy"SSE",Var("v36",PTy(FTy 3,F8))),
5693 (Call
5696 (Call("SQRTPD",CTy"SSE",Var("v37",PTy(FTy 3,CTy"xmm_mem"))),
5698 (Call
5701 (Call("SQRTPS",CTy"SSE",Var("v38",PTy(FTy 3,CTy"xmm_mem"))),
5703 (Call
5706 (Call("SQRTSD",CTy"SSE",Var("v39",PTy(FTy 3,CTy"xmm_mem"))),
5708 (Call
5711 (Call("SQRTSS",CTy"SSE",Var("v40",PTy(FTy 3,CTy"xmm_mem"))),
5713 (Call
5716 (Call
5720 (Call
5725 (Call
5729 (Call
5734 (Call
5738 (Call
5743 (Call
5747 (Call
5752 (Call
5756 (Call
5761 (Call
5765 (Call
5780 Call("oimmediate8",PTy(F64,OTy(LTy F8)),Mop(Some,Var("strm",LTy F8))))
5814 [(Call("Z8",CTy"Zsize",AVar bTy),
5815 Call("immediate8",PTy(F64,OTy(LTy F8)),Var("strm",LTy F8))),
5817 Call("immediate16",PTy(F64,OTy(LTy F8)),Var("strm",LTy F8))),
5819 Call("immediate32",PTy(F64,OTy(LTy F8)),Var("strm",LTy F8)))]))
5825 Call
5833 Call("immediate64",PTy(F64,OTy(LTy F8)),Var("strm",LTy F8)),
5834 Call
5853 Call("reg'REX",F4,Var("x",CTy"REX")))
5857 Call("rec'REX",CTy"REX",Var("x",F4)))
5866 Call("immediate8",PTy(F64,OTy(LTy F8)),Var("strm",LTy F8))),
5868 Call("immediate32",PTy(F64,OTy(LTy F8)),Var("strm",LTy F8)))],
5874 Call("immediate8",PTy(F64,OTy(LTy F8)),Var("strm",LTy F8)),
5875 Call("immediate32",PTy(F64,OTy(LTy F8)),Var("strm",LTy F8))))
5886 Call
5892 Call
5908 Call
5913 TP[Call
5919 Call
5926 Call
5931 TP[Call
5935 Call
5950 Call
5952 TP[Call
5958 Call
5966 TP[Call
5971 Call
5973 Call
5982 Call
5987 TP[Call
5998 Call
6002 TP[Call
6008 Call
6011 Call
6013 Call
6026 Call
6045 Let(nVar"group",Call("prefixGroup",nTy,Var("h",F8)),
6049 Call("rec'REX",CTy"REX",LW(0,4)),
6054 Call
6060 Call
6071 Call
6077 ITB([(EQ(Var("v",F1),LW(0,1)),Call("Z8",CTy"Zsize",bVar"have_rex")),
6084 [(Call
6091 CS(Call
6095 Call("Zdec_fail",CTy"Zinst",LS"Bad prefix")),
6103 Call
6115 Call
6121 Call
6124 Call
6131 Call
6143 Call
6149 Call
6160 Call
6168 Call
6172 Call
6175 Call
6184 Call
6187 TP[Call
6197 Call
6207 Call
6212 Call
6214 Call
6217 Call
6226 Call
6232 Call
6235 Call
6238 Call
6250 Call
6254 Call
6258 Call
6261 Call
6263 Call
6272 Call
6280 Call
6289 Call
6293 Call
6297 Call
6300 Call
6303 TP[Call
6322 Call
6325 Call
6328 Call
6341 Call
6350 Call
6358 Call
6363 Call
6366 Call
6375 Call
6387 Call
6394 Call
6398 Call
6401 Call
6406 Call
6415 Call
6426 Call
6432 Call
6435 Call
6438 Call
6447 Call
6457 Call
6463 Call
6466 Call
6468 TP[Call
6485 Call
6491 Call
6494 Call
6497 Call
6509 Call
6515 Call
6527 Call
6533 ITE(Call("isZm",bTy,Var("rm",CTy"Zrm")),
6534 Call
6537 Call
6539 TP[Call
6548 Call
6555 Call
6563 Call
6569 Call
6572 Call
6576 Call
6582 Call
6590 Call
6593 Call
6598 Call
6601 Call
6603 TP[Call
6612 Call
6620 Call
6628 Call
6632 Call
6635 Call
6640 Call
6643 TP[Call
6653 Call
6661 Call
6666 Call
6669 Call
6673 Call
6676 TP[Call
6678 Call
6698 Call
6705 Call
6710 Call
6714 Call
6717 Call
6727 Call
6738 Call
6750 Call
6754 Call
6757 Call
6761 Call
6764 Call
6771 Call
6780 Call
6788 Call
6795 Call
6798 Call
6805 Call
6814 Call
6820 Call
6830 Call
6836 Call
6840 Call
6843 Call
6852 Call
6865 Call
6871 Call
6883 Call
6886 Call
6889 Call
6902 Call
6905 Call
6908 Call
6917 Call
6920 Call
6923 Call
6925 Call
6935 Call
6939 Call
6943 Call
6946 Call
6953 Call
6961 Call
6970 Call
6980 Call
6986 Call
6989 Call
6996 Call
7006 Call
7009 Call
7019 Call
7022 Call
7032 Call
7035 Call
7043 Call
7046 Call
7054 Call
7057 Call
7065 Call
7068 Call
7076 Call
7082 Call
7089 Call
7099 Call
7105 Call
7108 Call
7113 Call
7119 Call
7122 Call
7127 Call
7132 Call
7139 Call
7147 Call
7155 Call
7158 Call
7168 Call
7171 Call
7181 Call
7184 Call
7187 Call
7192 Call
7195 Call
7201 Call
7204 Call
7207 Call
7212 Call
7225 Call
7231 Call
7234 Call
7237 Call
7240 Call
7246 Call
7252 Call
7258 Call
7284 Call
7293 Call
7298 Call
7307 Call
7319 Call
7346 Call
7359 Call
7371 Call
7376 Call
7385 Call
7397 Call
7412 Call
7435 Call
7444 Call
7449 Call
7452 TP[Call
7487 Call
7496 Call
7501 Call
7504 TP[Call
7535 Call
7558 Call
7562 Call
7569 Call
7581 Call
7591 Call
7600 Call
7629 Call
7640 Call
7649 Call
7654 Call
7657 Call
7669 Call
7674 Call
7677 Call
7688 Call
7693 Call
7696 Call
7708 Call
7717 Call
7742 Call
7760 Call
7765 Call
7768 Call
7780 Call
7785 Call
7788 Call
7800 Call
7824 Call
7835 Call
7844 Call
7849 Call
7852 Call
7863 Call
7868 Call
7871 Call
7898 Call
7911 Call
7923 Call
7928 Call
7933 Call
7936 Call
7951 Call
7956 Call
7961 Call
7964 Call
7979 Call
7984 Call
7989 Call
7992 Call
8008 Call
8013 Call
8035 Call
8048 Call
8060 Call
8065 Call
8070 Call
8073 Call
8088 Call
8093 Call
8098 Call
8101 Call
8116 Call
8121 Call
8126 Call
8129 Call
8144 Call
8149 Call
8154 Call
8157 Call
8173 Call
8178 Call
8198 Call
8211 Call
8216 Call
8219 Call
8244 Call
8249 Call
8252 Call
8255 TP[Call
8260 Call
8267 Call
8278 Call
8287 Call
8307 Call
8314 Call
8318 Call
8321 Call
8328 Call
8333 Call
8352 Call
8359 Call
8363 Call
8366 Call
8373 Call
8378 Call
8394 Call
8414 Call
8421 Call
8426 Call
8429 Call
8441 Call
8446 Call
8449 Call
8461 Call
8486 Call
8498 Call
8509 Call
8514 Call
8519 Call
8522 Call
8536 Call
8541 Call
8546 Call
8549 Call
8563 Call
8568 Call
8573 Call
8576 Call
8592 Call
8597 Call
8602 Call
8624 Call
8633 Call
8638 Call
8641 Call
8644 TP[Call
8649 Call
8657 Call
8670 Call
8674 Call
8678 Call
8699 Call
8706 Call
8710 Call
8741 Call
8748 Call
8752 Call
8755 TP[Call
8791 Call
8801 Call
8815 Call
8823 Call
8828 Call
8831 Call
8843 Call
8848 Call
8851 Call
8863 Call
8868 Call
8871 Call
8884 Call
8889 Call
8892 Call
8903 Call
8923 Call
8932 TP[Call
8936 Call
8942 Call
8946 Call
8949 Call
8960 Call
8964 Call
8967 Call
8977 Call
8981 Call
8984 Call
8994 Call
8998 Call
9001 Call
9024 Call
9033 TP[Call
9037 Call
9043 Call
9047 Call
9050 Call
9061 Call
9065 Call
9068 Call
9078 Call
9082 Call
9085 Call
9095 Call
9099 Call
9102 Call
9120 Call
9127 Call
9130 Call
9141 Call
9148 Call
9151 Call
9161 Call
9171 Call
9192 Call
9200 Call
9206 Call
9210 Call
9213 Call
9223 Call
9227 Call
9230 Call
9240 Call
9244 Call
9247 Call
9257 Call
9261 Call
9264 Call
9281 Call
9295 Call
9301 Call
9305 Call
9308 Call
9320 Call
9324 Call
9327 Call
9343 Call
9351 Call
9362 Call
9366 Call
9369 Call
9382 Call
9386 Call
9389 Call
9402 Call
9406 Call
9409 Call
9422 Call
9426 Call
9429 Call
9442 Call
9446 Call
9449 Call
9462 Call
9466 Call
9469 Call
9482 Call
9486 Call
9489 Call
9502 Call
9506 Call
9509 Call
9522 Call
9526 Call
9529 Call
9540 Call
9544 Call
9547 Call
9558 Call
9562 Call
9565 Call
9576 Call
9580 Call
9583 Call
9594 Call
9598 Call
9601 Call
9613 Call
9617 Call
9620 Call
9632 Call
9642 Call
9646 Call
9649 Call
9660 Call
9664 Call
9667 Call
9680 Call
9684 Call
9687 Call
9700 Call
9704 Call
9707 Call
9720 Call
9724 Call
9727 Call
9740 Call
9744 Call
9747 Call
9760 Call
9764 Call
9767 Call
9780 Call
9784 Call
9787 Call
9800 Call
9804 Call
9807 Call
9820 Call
9824 Call
9827 Call
9840 Call
9844 Call
9847 Call
9860 Call
9864 Call
9867 Call
9880 Call
9884 Call
9887 Call
9900 Call
9904 Call
9907 Call
9920 Call
9924 Call
9927 Call
9940 Call
9944 Call
9947 Call
9960 Call
9964 Call
9967 Call
9978 Call
9985 Call
9994 (LNL F8,Call("Zdec_fail",CTy"Zinst",LS"No opcode"))])))))]))
10025 CS(Call
10028 [(Call
10033 (Call("Run",ATy(qTy,qTy),Var("i",CTy"instruction")),
10040 (Call
10045 (Call
10047 Call("FAILURE",CTy"exception",LS"not enough bytes")),
10049 (Call("Zdec_fail",CTy"Zinst",sVar"s0"),
10052 (Call
10054 Call("FAILURE",CTy"exception",sVar"s0")),qVar"state")))]))
10087 CS(Call("e_imm8",LTy F8,Var("imm",F64)),
10089 CS(Call("e_imm16",LTy F8,Var("imm",F64)),
10091 CS(Call("e_imm32",LTy F8,Var("imm",F64)),
10092 [(LNL F8,Call("e_imm64",LTy F8,Var("imm",F64))),
10099 CS(Call("e_imm8",LTy F8,Var("imm",F64)),
10101 CS(Call("e_imm32",LTy F8,Var("imm",F64)),
10109 [(Call
10116 Call("e_imm32",LTy F8,Var("displacement",F64)))])),
10117 (Call("Zr",CTy"Zrm",Var("rm",CTy"Zreg")),
10124 (Call
10128 CS(Call("e_imm32",LTy F8,Var("imm",F64)),
10135 (Call
10140 CS(Call("e_imm32",LTy F8,Var("imm",F64)),
10151 (Call
10154 Call("ZregBase",CTy"Zbase",Var("base",CTy"Zreg")),
10163 Call
10182 (Call
10185 Call("ZregBase",CTy"Zbase",Var("base",CTy"Zreg")),
10193 Call("e_imm_8_32",PTy(nTy,LTy F8),Var("imm",F64))),
10218 [(Call("Z8",CTy"Zsize",bVar"have_rex"),
10219 Let(Var("p",LTy F8),Call("rex_prefix",LTy F8,Var("rex",F4)),
10224 Call("rex_prefix",LTy F8,Bop(BAnd,Var("rex",F4),LW(7,4)))],
10227 TP[Call("rex_prefix",LTy F8,Bop(BAnd,Var("rex",F4),LW(7,4))),
10230 TP[Call("rex_prefix",LTy F8,Bop(BOr,Var("rex",F4),LW(8,4))),
10237 Call
10242 [(Call("Z8",CTy"Zsize",AVar bTy),
10243 CS(Call("e_imm8",LTy F8,Var("imm",F64)),
10252 CS(Call("e_imm16",LTy F8,Var("imm",F64)),
10261 CS(Call("e_imm32",LTy F8,Var("imm",F64)),
10273 Call("e_imm64",LTy F8,Var("imm",F64))]),
10278 CS(Call
10283 CC[Call("rex_prefix",LTy F8,Var("rex",F4)),
10290 CS(Call
10295 Call
10308 CS(Call
10313 CS(Call
10327 CS(Call
10333 Call
10336 CS(Call("e_imm8",LTy F8,Var("imm",F64)),
10347 CS(Call
10351 CS(Call("e_imm8",LTy F8,Var("imm",F64)),
10355 Call
10364 CS(Call
10374 [(Call
10377 CS(TP[Call("e_imm32",LTy F8,Var("imm",F64)),Var("cond",CTy"Zcond")],
10389 [(Call("Z8",CTy"Zsize",AVar bTy),LF),(AVar(CTy"Zsize"),LT)]))
10394 [(Call("Zr",CTy"Zrm",LC("RAX",CTy"Zreg")),LT),(AVar(CTy"Zrm"),LF)]))
10399 [(Call("xmm_reg",CTy"xmm_mem",Var("r",FTy 3)),
10400 Call("Zr",CTy"Zrm",Mop(Cast(CTy"Zreg"),Var("r",FTy 3)))),
10401 (Call
10404 Call
10421 [(Call
10426 Call
10429 Call("xmm_mem_to_rm",CTy"Zrm",Var("src",CTy"xmm_mem")),
10432 Call
10435 (Call
10439 Call
10442 Call("xmm_mem_to_rm",CTy"Zrm",Var("src",CTy"xmm_mem")),
10445 Call("encode_sse_binop",FTy 3,Var("bop",CTy"sse_binop"))],
10447 (Call
10452 Call
10455 Call("xmm_mem_to_rm",CTy"Zrm",Var("src",CTy"xmm_mem")),
10458 Call
10461 (Call
10466 Call
10469 Call("xmm_mem_to_rm",CTy"Zrm",Var("src",CTy"xmm_mem")),
10472 Call
10475 (Call
10480 Call
10483 Call("xmm_mem_to_rm",CTy"Zrm",Var("src",CTy"xmm_mem")),
10488 (Call
10492 Call
10495 Call("xmm_mem_to_rm",CTy"Zrm",Var("src",CTy"xmm_mem")),
10500 (Call
10505 Call
10508 Call
10513 (Call
10517 CC[Call
10520 Call("xmm_mem_to_rm",CTy"Zrm",Var("src",CTy"xmm_mem")),
10524 (Call
10529 Call
10532 Call
10537 (Call
10542 Call
10545 Call
10550 (Call
10554 Call
10557 Call("xmm_mem_to_rm",CTy"Zrm",Var("src2",CTy"xmm_mem")),
10560 (Call
10563 Call
10566 Call("xmm_mem_to_rm",CTy"Zrm",Var("src2",CTy"xmm_mem")),
10568 (Call
10572 Call
10575 Call("xmm_mem_to_rm",CTy"Zrm",Var("src",CTy"xmm_mem")),
10578 (Call
10581 Call
10584 Call("xmm_mem_to_rm",CTy"Zrm",Var("src",CTy"xmm_mem")),
10587 (Call
10591 Call
10594 Call("xmm_mem_to_rm",CTy"Zrm",Var("src",CTy"xmm_mem")),
10597 (Call
10601 Call
10604 Call("xmm_mem_to_rm",CTy"Zrm",Var("src",CTy"xmm_mem")),
10607 (Call
10611 Call
10614 Call("xmm_mem_to_rm",CTy"Zrm",Var("src",CTy"xmm_mem")),
10617 (Call
10620 Call
10623 Call("xmm_mem_to_rm",CTy"Zrm",Var("src",CTy"xmm_mem")),
10626 (Call
10631 Call
10635 Call("xmm_mem_to_rm",CTy"Zrm",Var("src",CTy"xmm_mem")),
10638 (Call
10642 Call
10645 Call("xmm_mem_to_rm",CTy"Zrm",Var("src",CTy"xmm_mem")),
10648 (Call
10652 Call
10658 (Call
10662 Call
10668 (Call
10672 Call
10675 Call("xmm_mem_to_rm",CTy"Zrm",Var("src",CTy"xmm_mem")),
10678 (Call
10683 Call
10687 Call("xmm_mem_to_rm",CTy"Zrm",Var("src",CTy"xmm_mem")),
10690 (Call
10692 TP[bVar"double",Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3)),
10695 Call
10698 Call("xmm_mem_to_rm",CTy"Zrm",Var("src",CTy"xmm_mem")),
10701 (Call
10704 Call("xmm_reg",CTy"xmm_mem",Var("src",FTy 3))]),
10706 Call
10709 Call("xmm_mem_to_rm",CTy"Zrm",Var("dst",CTy"xmm_mem")),
10712 (Call
10715 (Call
10717 TP[bVar"double",Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3)),
10720 Call
10723 Call("xmm_mem_to_rm",CTy"Zrm",Var("src",CTy"xmm_mem")),
10726 (Call
10729 Call("xmm_reg",CTy"xmm_mem",Var("src",FTy 3))]),
10731 Call
10734 Call("xmm_mem_to_rm",CTy"Zrm",Var("dst",CTy"xmm_mem")),
10737 (Call
10740 (Call
10742 TP[Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3)),
10745 Call
10748 Call("xmm_mem_to_rm",CTy"Zrm",Var("src",CTy"xmm_mem")),
10751 (Call
10754 Call("xmm_reg",CTy"xmm_mem",Var("src",FTy 3))]),
10756 Call
10759 Call("xmm_mem_to_rm",CTy"Zrm",Var("dst",CTy"xmm_mem")),
10762 (Call("MOVSD",CTy"SSE",AVar(PTy(CTy"xmm_mem",CTy"xmm_mem"))),LNL F8),
10763 (Call
10765 TP[Call("xmm_reg",CTy"xmm_mem",Var("dst",FTy 3)),
10768 Call
10771 Call("xmm_mem_to_rm",CTy"Zrm",Var("src",CTy"xmm_mem")),
10774 (Call
10777 Call("xmm_reg",CTy"xmm_mem",Var("src",FTy 3))]),
10779 Call
10782 Call("xmm_mem_to_rm",CTy"Zrm",Var("dst",CTy"xmm_mem")),
10785 (Call("MOVSS",CTy"SSE",AVar(PTy(CTy"xmm_mem",CTy"xmm_mem"))),LNL F8),
10786 (Call
10790 Call
10797 (Call
10799 TP[Call
10803 Call("xmm_reg",CTy"xmm_mem",Var("src",FTy 3))]),
10805 Call
10807 TP[Call("Z8",CTy"Zsize",LF),
10808 Call
10814 (Call
10816 TP[Call("xmm_reg",CTy"xmm_mem",Var("r",FTy 3)),
10819 Call
10821 TP[Call("Z8",CTy"Zsize",LF),
10822 Call("xmm_mem_to_rm",CTy"Zrm",Var("src",CTy"xmm_mem")),
10824 (Call("MOVQ",CTy"SSE",AVar(PTy(CTy"xmm_mem",CTy"xmm_mem"))),LNL F8),
10825 (Call
10828 Call
10831 Call("xmm_mem_to_rm",CTy"Zrm",Var("src",CTy"xmm_mem")),
10834 (Call("PSRLW_imm",CTy"SSE",TP[Var("dst",FTy 3),Var("imm",F8)]),
10836 Call
10839 Call
10844 (Call("PSRAW_imm",CTy"SSE",TP[Var("dst",FTy 3),Var("imm",F8)]),
10846 Call
10849 Call
10854 (Call("PSLLW_imm",CTy"SSE",TP[Var("dst",FTy 3),Var("imm",F8)]),
10856 Call
10859 Call
10864 (Call("PSRLD_imm",CTy"SSE",TP[Var("dst",FTy 3),Var("imm",F8)]),
10866 Call
10869 Call
10874 (Call("PSRAD_imm",CTy"SSE",TP[Var("dst",FTy 3),Var("imm",F8)]),
10876 Call
10879 Call
10884 (Call("PSLLD_imm",CTy"SSE",TP[Var("dst",FTy 3),Var("imm",F8)]),
10886 Call
10889 Call
10894 (Call("PSRLQ_imm",CTy"SSE",TP[Var("dst",FTy 3),Var("imm",F8)]),
10896 Call
10899 Call
10904 (Call("PSRLDQ",CTy"SSE",TP[Var("dst",FTy 3),Var("imm",F8)]),
10906 Call
10909 Call
10914 (Call("PSLLQ_imm",CTy"SSE",TP[Var("dst",FTy 3),Var("imm",F8)]),
10916 Call
10919 Call
10924 (Call("PSLLDQ",CTy"SSE",TP[Var("dst",FTy 3),Var("imm",F8)]),
10926 Call
10929 Call
10934 (Call
10937 Call
10940 Call("xmm_mem_to_rm",CTy"Zrm",Var("src",CTy"xmm_mem")),
10943 (Call
10946 Call
10949 Call("xmm_mem_to_rm",CTy"Zrm",Var("src",CTy"xmm_mem")),
10952 (Call
10954 Call
10957 Call("xmm_mem_to_rm",CTy"Zrm",Var("src",CTy"xmm_mem")),
10960 (Call
10963 Call
10966 Call("xmm_mem_to_rm",CTy"Zrm",Var("src",CTy"xmm_mem")),
10973 [(Call("SSE",CTy"instruction",Var("j",CTy"SSE")),
10974 Call("encode_sse",LTy F8,Var("j",CTy"SSE"))),
10975 (Call
10978 Call
10982 ITE(Call("is_rax",bTy,Var("rm",CTy"Zrm")),
10983 Call
10986 Call
10993 Call
10998 Call
11003 (Bop(And,Call("not_byte",bTy,Var("sz",CTy"Zsize")),
11005 EQ(Call("e_imm8",LTy F8,Var("imm",F64)),
11007 Call
11011 (Call("is_rax",bTy,Var("rm",CTy"Zrm")),
11012 Call
11017 Call
11021 (Call
11024 Call
11028 Call
11035 Call
11040 Call
11046 (Call
11049 Call
11054 Call
11060 (Call
11063 Call
11066 Call
11072 (Call
11075 Call
11078 Call
11083 (Call
11087 (Call
11089 Call("Zrm",CTy"Zimm_rm",Var("rm",CTy"Zrm"))),
11090 Call("e_opc",LTy F8,TP[LW(255,8),LW(2,3),Var("rm",CTy"Zrm")])),
11091 (Call
11093 Call("Zimm",CTy"Zimm_rm",Var("imm",F64))),
11094 CS(Call("e_imm32",LTy F8,Var("imm",F64)),
11100 (Call
11103 Call
11107 (Call
11110 Call
11114 (Call
11117 Call
11121 (Call
11125 Call("e_imm_8_32",PTy(nTy,LTy F8),Var("imm",F64)),
11137 (Call("Zjmp",CTy"instruction",Var("rm",CTy"Zrm")),
11138 Call("e_opc",LTy F8,TP[LW(255,8),LW(4,3),Var("rm",CTy"Zrm")])),
11139 (Call
11141 TP[Call("Z8",CTy"Zsize",AVar bTy),AVar(CTy"Zdest_src")]),LNL F8),
11142 (Call
11145 Call
11148 Call
11153 Call
11156 Call
11161 (Call("Zlea",CTy"instruction",AVar(PTy(CTy"Zsize",CTy"Zdest_src"))),
11163 (Call
11166 CS(TP[Var("cond",CTy"Zcond"),Call("e_imm8",LTy F8,Var("imm",F64))],
11175 (Call
11177 TP[LC("Zinc",CTy"Zmonop_name"),Call("Z8",CTy"Zsize",AVar bTy),
11179 Call("e_opc",LTy F8,TP[LW(254,8),LW(0,3),Var("rm",CTy"Zrm")])),
11180 (Call
11182 TP[LC("Zdec",CTy"Zmonop_name"),Call("Z8",CTy"Zsize",AVar bTy),
11184 Call("e_opc",LTy F8,TP[LW(254,8),LW(1,3),Var("rm",CTy"Zrm")])),
11185 (Call
11189 Call
11193 (Call
11197 Call
11201 (Call
11205 Call
11209 (Call
11213 Call
11217 (Call
11220 Call
11223 Call
11227 (Call
11230 Call
11233 Call
11237 (Call
11240 Call
11242 TP[Call("Zr",CTy"Zrm",Var("reg",CTy"Zreg")),
11245 CS(Call
11257 (Call
11260 Call
11263 Call
11267 (Call
11269 TP[Var("cond",CTy"Zcond"),Call("Z8",CTy"Zsize",AVar bTy),
11271 (Call
11274 Call
11277 Call
11282 (Call
11285 (Call
11288 Call
11292 Call
11296 (Call
11299 Call
11303 ITE(Bop(Lt,Call("Zsize_width",nTy,Var("sz1",CTy"Zsize")),
11304 Call("Zsize_width",nTy,Var("sz2",CTy"Zsize"))),
11305 Call
11312 (Call
11315 (Call
11318 Call
11323 Bop(Lt,Call("Zsize_width",nTy,Var("sz1",CTy"Zsize")),
11324 Call("Zsize_width",nTy,Var("sz2",CTy"Zsize"))),
11326 Call
11333 (Call
11336 (Call
11339 Call
11343 (Call
11346 Call
11350 (Call
11352 TP[Call("Z8",CTy"Zsize",AVar bTy),AVar(CTy"Zreg"),
11354 (Call
11357 Call
11361 (Call
11363 TP[Call("Z8",CTy"Zsize",AVar bTy),AVar(CTy"Zreg"),
11365 (Call
11370 Call("e_imm_8_32",PTy(nTy,LTy F8),Var("imm",F64)),
11372 CC[Call
11378 CC[Call
11383 (Call("Znop",CTy"instruction",LN 1),LL[LW(144,8)]),
11384 (Call("Znop",CTy"instruction",LN 2),LL[LW(102,8),LW(144,8)]),
11385 (Call("Znop",CTy"instruction",LN 3),LL[LW(15,8),LW(31,8),LW(0,8)]),
11386 (Call("Znop",CTy"instruction",LN 4),
11388 (Call("Znop",CTy"instruction",LN 5),
11390 (Call("Znop",CTy"instruction",LN 6),
11392 (Call("Znop",CTy"instruction",LN 7),
11394 (Call("Znop",CTy"instruction",LN 8),
11397 (Call("Znop",CTy"instruction",LN 9),
11400 (Call("Znop",CTy"instruction",AVar nTy),LNL F8),
11401 (Call
11403 Call("Zr",CTy"Zrm",Var("reg",CTy"Zreg"))),
11407 (Call("Zpop",CTy"instruction",Var("rm",CTy"Zrm")),
11408 Call("e_opc",LTy F8,TP[LW(143,8),LW(0,3),Var("rm",CTy"Zrm")])),
11409 (Call
11411 Call
11412 ("Zrm",CTy"Zimm_rm",Call("Zr",CTy"Zrm",Var("reg",CTy"Zreg")))),
11416 (Call
11418 Call("Zrm",CTy"Zimm_rm",Var("rm",CTy"Zrm"))),
11419 Call("e_opc",LTy F8,TP[LW(255,8),LW(6,3),Var("rm",CTy"Zrm")])),
11420 (Call
11422 Call("Zimm",CTy"Zimm_rm",Var("imm",F64))),
11424 Call("e_imm_8_32",PTy(nTy,LTy F8),Var("imm",F64)),
11428 (Call("Zret",CTy"instruction",LW(0,64)),LL[LW(195,8)]),
11429 (Call("Zret",CTy"instruction",Var("imm",F64)),
11430 CS(Call("e_imm16",LTy F8,Var("imm",F64)),
11433 (Call
11437 (Call
11440 Call
11442 TP[Call("Z8",CTy"Zsize",bVar"have_rex"),Var("rm",CTy"Zrm"),
11445 (Call
11448 Call
11452 (Call
11455 ITE(Bop(And,Call("not_byte",bTy,Var("sz",CTy"Zsize")),
11457 Call("is_rax",bTy,Var("rm",CTy"Zrm")))),
11460 Call
11468 Call