x64/step/x64_stepLib.sml

221       [[`rm` |-> ``Zr r``],
222        [`rm` |-> ``Zm (NONE, ZnoBase, d)``],
223        [`rm` |-> ``Zm (NONE, ZripBase, d)``],
224        [`rm` |-> ``Zm (NONE, ZregBase r, d)``],
225        [`rm` |-> ``Zm (SOME (scale, inx), ZnoBase, d)``],
226        [`rm` |-> ``Zm (SOME (scale, inx), ZripBase, d)``],
227        [`rm` |-> ``Zm (SOME (scale, inx), ZregBase r, d)``]]
228       ``ea_Zrm (size, rm)``
430 val rm =
431    [[`rm` |-> ``Zr r``],
432     [`rm` |-> ``Zm (NONE, ZnoBase, d)``],
433     [`rm` |-> ``Zm (NONE, ZripBase, d)``],
434     [`rm` |-> ``Zm (NONE, ZregBase r, d)``],
435     [`rm` |-> ``Zm (SOME (scale, ix), ZnoBase, d)``],
436     [`rm` |-> ``Zm (SOME (scale, ix), ZripBase, d)``],
437     [`rm` |-> ``Zm (SOME (scale, ix), ZregBase r, d)``]]: utilsLib.cover
478   val rm_cases = aug_size rm
479   val rm_cases_not8 = aug_size_not8 rm
571        ea_Zimm_rm_rwt) [] rm
572       ``dfn'Zcall (Zrm rm)``
583    EV ([dfn'Zjmp_def] @ ea_Zrm_rwt @ EA_rwt) [] rm
584       ``dfn'Zjmp rm``
610       ``dfn'Zmonop (mop, size, rm)``
641       ``dfn'Zmul (size, rm)``
649       ``dfn'Zimul (size, rm)``
658       ``dfn'Zimul2 (size, d, rm)``
667       ``dfn'Zimul3 (size, d, rm, imm)``
674       [] rm
675       ``dfn'Zpop rm``
688        ea_Zimm_rm_rwt @ EA_rwt) [] rm
689       ``dfn'Zpush (Zrm rm)``
703       (utilsLib.augment (`c`, Lib.butlast conds) rm)
704       ``dfn'Zset (c, have_rex, rm)``
710       ``dfn'Zxchg (size, rm, r2)``
739       ``dfn'Zdiv (size, rm)``
745       ``dfn'Zidiv (size, rm)``
848                SOME [] => rm
933 val CVTSI2SD_0 = sse_rm ``dfn'CVTSI2SD (T, x, rm)``
934 val CVTSI2SD_1 = sse_rm ``dfn'CVTSI2SD (F, x, rm)``
935 val CVTSI2SS_0 = sse_rm ``dfn'CVTSI2SS (T, x, rm)``
936 val CVTSI2SS_1 = sse_rm ``dfn'CVTSI2SS (F, x, rm)``
952 val MOV_D_Q_0 = sse_rm ``dfn'MOV_D_Q (T, T, dst, rm)``
953 val MOV_D_Q_1 = sse_rm ``dfn'MOV_D_Q (T, F, dst, rm)``
954 val MOV_D_Q_2 = sse_rm ``dfn'MOV_D_Q (F, T, dst, rm)``
955 val MOV_D_Q_3 = sse_rm ``dfn'MOV_D_Q (F, F, dst, rm)``