x64/model/x64Script.sml

173 val raise'exception_def = Def
183 val DE_exception_def = Def
192 val UD_exception_def = Def
201 val GP_exception_def = Def
210 val XM_exception_def = Def
219 val rec'MXCSR_def = Def
232 val reg'MXCSR_def = Def
248 val write'rec'MXCSR_def = Def
252 val write'reg'MXCSR_def = Def
256 val mem8_def = Def
262 val write'mem8_def = Def
273 val mem16_def = Def
282 val write'mem16_def = Def
297 val mem32_def = Def
306 val write'mem32_def = Def
321 val mem64_def = Def
330 val write'mem64_def = Def
345 val mem128_def = Def
354 val write'mem128_def = Def
369 val Eflag_def = Def
385 val write'Eflag_def = Def
396 val FlagUnspecified_def = Def
407 val CF_def = Def
413 val write'CF_def = Def
422 val PF_def = Def
428 val write'PF_def = Def
437 val AF_def = Def
443 val write'AF_def = Def
452 val ZF_def = Def
458 val write'ZF_def = Def
467 val SF_def = Def
473 val write'SF_def = Def
482 val OF_def = Def
488 val write'OF_def = Def
497 val ea_index_def = Def
509 val ea_base_def = Def
521 val mem_addr_def = Def
539 val ea_Zrm_def = Def
561 val ea_Zdest_def = Def
586 val ea_Zsrc_def = Def
607 val ea_Zimm_rm_def = Def
622 val modSize_def = Def
630 val restrictSize_def = Def
638 val EA_def = Def
685 val write'EA_def = Def
787 val read_dest_src_ea_def = Def
807 val call_dest_from_ea_def = Def
821 val get_ea_address_def = Def
830 val jump_to_ea_def = Def
841 val ByteParity_def = Def
862 val Zsize_width_def = Def
869 val word_size_msb_def = Def
874 val write_PF_def = Def
884 val write_SF_def = Def
894 val write_ZF_def = Def
911 val write_arith_eflags_except_CF_OF_def = Def
929 val write_arith_eflags_def = Def
942 val write_logical_eflags_def = Def
951 val erase_eflags_def = Def
955 val value_width_def = Def
959 val word_signed_overflow_add_def = Def
976 val word_signed_overflow_sub_def = Def
996 val add_with_carry_out_def = Def
1006 val sub_with_borrow_def = Def
1014 val write_arith_result_def = Def
1030 val write_arith_result_no_CF_OF_def = Def
1042 val write_logical_result_def = Def
1054 val write_result_erase_eflags_def = Def
1062 val SignExtension_def = Def
1106 val SignExtension64_def = Def
1118 val maskShift_def = Def
1124 val ROL_def = Def
1143 val ROR_def = Def
1162 val SAR_def = Def
1181 val write_binop_def = Def
1337 val write_monop_def = Def
1371 val bit_test_def = Def
1417 val read_cond_def = Def
1557 val x64_pop_aux_def = Def
1570 val x64_pop_def = Def
1586 val x64_pop_rip_def = Def
1592 val x64_push_aux_def = Def
1611 val x64_push_def = Def
1627 val x64_push_rip_def = Def
1633 val x64_drop_def = Def
1656 val initial_ieee_flags_def = Def
1669 val set_precision_def = Def
1673 val zero32_def = Def
1676 val zero64_def = Def
1679 val denormal_to_zero32_def = Def
1687 val denormal_to_zero64_def = Def
1695 val flush_to_zero32_def = Def
1706 val flush_to_zero64_def = Def
1717 val sse_from_int64_def = Def
1728 val sse_from_int32_def = Def
1739 val sse_to_int64_def = Def
1766 val sse_to_int32_def = Def
1793 val float_min32_def = Def
1805 val float_max32_def = Def
1817 val float_min64_def = Def
1829 val float_max64_def = Def
1841 val process_float_flags_def = Def
2304 val RoundingMode_def = Def
2312 val sse_binop32_def = Def
2384 val sse_binop64_def = Def
2456 val sse_sqrt32_def = Def
2469 val sse_sqrt64_def = Def
2482 val sse_logic_def = Def
2495 val sse_compare_signalling_def = Def
2503 val sse_compare32_def = Def
2544 val sse_compare64_def = Def
2585 val rm_to_xmm_mem_def = Def
2597 val XMM_def = Def
2620 val write'XMM_def = Def
2647 val CheckAlignedXMM_def = Def
2669 val dfn'bin_PD_def = Def
2712 val dfn'bin_PS_def = Def
2779 val dfn'bin_SD_def = Def
2817 val dfn'bin_SS_def = Def
2855 val dfn'logic_PD_def = Def
2885 val dfn'logic_PS_def = Def
2925 val dfn'CMPPD_def = Def
2963 val dfn'CMPPS_def = Def
3020 val dfn'CMPSD_def = Def
3057 val dfn'CMPSS_def = Def
3094 val dfn'COMISD_def = Def
3146 val dfn'COMISS_def = Def
3198 val dfn'CVTDQ2PD_def = Def
3222 val dfn'CVTDQ2PS_def = Def
3269 val dfn'CVTPD2DQ_def = Def
3315 val dfn'CVTPD2PS_def = Def
3362 val dfn'CVTPS2DQ_def = Def
3411 val dfn'CVTPS2PD_def = Def
3440 val dfn'CVTSD2SI_def = Def
3487 val dfn'CVTSD2SS_def = Def
3520 val dfn'CVTSI2SD_def = Def
3556 val dfn'CVTSI2SS_def = Def
3592 val dfn'CVTSS2SD_def = Def
3623 val dfn'CVTSS2SI_def = Def
3670 val dfn'MOVAP_D_S_def = Def
3693 val dfn'MOVUP_D_S_def = Def
3705 val dfn'MOV_D_Q_def = Def
3775 val dfn'MOVQ_def = Def
3813 val dfn'MOVSD_def = Def
3847 val dfn'MOVSS_def = Def
3881 val dfn'PCMPEQQ_def = Def
3906 val dfn'PSLLDQ_def = Def
3924 val dfn'PSLLD_imm_def = Def
3951 val dfn'PSLLQ_imm_def = Def
3972 val dfn'PSLLW_imm_def = Def
4011 val dfn'PSRAD_imm_def = Def
4038 val dfn'PSRAW_imm_def = Def
4077 val dfn'PSRLDQ_def = Def
4095 val dfn'PSRLD_imm_def = Def
4122 val dfn'PSRLQ_imm_def = Def
4143 val dfn'PSRLW_imm_def = Def
4182 val dfn'SQRTPD_def = Def
4211 val dfn'SQRTSD_def = Def
4240 val dfn'SQRTPS_def = Def
4287 val dfn'SQRTSS_def = Def
4316 val dfn'Zbinop_def = Def
4335 val dfn'Zbit_test_def = Def
4453 val dfn'Zcall_def = Def
4466 val dfn'Zcmpxchg_def = Def
4516 val dfn'Zdiv_def = Def
4576 val dfn'Zidiv_def = Def
4664 val dfn'Zjcc_def = Def
4680 val dfn'Zjmp_def = Def
4696 val dfn'Zlea_def = Def
4717 val dfn'Zleave_def = Def
4731 val dfn'Zloop_def = Def
4761 val dfn'Zmonop_def = Def
4780 val dfn'Zmov_def = Def
4811 val dfn'Zmovsx_def = Def
4844 val dfn'Zmovzx_def = Def
4869 val dfn'Zmul_def = Def
4925 val dfn'Zimul_def = Def
5041 val dfn'Zimul2_def = Def
5112 val dfn'Zimul3_def = Def
5168 val dfn'Znop_def = Def ("dfn'Znop",nVar"n",LU)
5170 val dfn'Zpop_def = Def
5176 val dfn'Zpush_def = Def
5184 val dfn'Zret_def = Def
5192 val dfn'Zset_def = Def
5212 val dfn'Zxadd_def = Def
5245 val dfn'Zxchg_def = Def
5274 val dfn'Zcmc_def = Def
5280 val dfn'Zclc_def = Def
5284 val dfn'Zstc_def = Def
5288 val Run_def = Def
5771 val oimmediate8_def = Def
5778 val immediate8_def = Def
5782 val immediate16_def = Def
5790 val immediate32_def = Def
5800 val immediate64_def = Def
5811 val immediate_def = Def
5821 val oimmediate_def = Def
5830 val full_immediate_def = Def
5838 val rec'REX_def = Def
5844 val reg'REX_def = Def
5851 val write'rec'REX_def = Def
5855 val write'reg'REX_def = Def
5859 val RexReg_def = Def
5863 val readDisplacement_def = Def
5871 val readSibDisplacement_def = Def
5877 val readSIB_def = Def
5942 val readModRM_def = Def
6022 val readOpcodeModRM_def = Def
6033 val prefixGroup_def = Def
6041 val readPrefix_def = Def
6069 val readPrefixes_def = Def
6075 val OpSize_def = Def
6081 val isZm_def = Def
6089 val x64_decode_def = Def
9996 val x64_fetch_def = Def
10023 val x64_next_def = Def
10056 val e_imm8_def = Def
10062 val e_imm16_def = Def
10069 val e_imm32_def = Def
10078 val e_imm64_def = Def
10085 val e_imm_def = Def
10097 val e_imm_8_32_def = Def
10106 val e_ModRM_def = Def
10211 val rex_prefix_def = Def
10215 val e_opsize_def = Def
10233 val e_opsize_imm_def = Def
10276 val e_opc_def = Def
10286 val e_gen_rm_reg_def = Def
10304 val e_rm_imm_def = Def
10323 val e_rm_imm8_def = Def
10343 val e_rm_imm8b_def = Def
10362 val e_rax_imm_def = Def
10371 val e_jcc_rel32_def = Def
10386 val not_byte_def = Def
10391 val is_rax_def = Def
10396 val xmm_mem_to_rm_def = Def
10408 val encode_sse_binop_def = Def
10418 val encode_sse_def = Def
10970 val encode_def = Def