1%verify "executed"
2    /* rem_float/2addr vA, vB */
3    movzx   rINST_HI,%ecx               # ecx<- A+
4    sarl    $$12,rINST_FULL             # rINST_FULL<- B
5    fldl     (rFP,rINST_FULL,4)         # vBB to fp stack
6    andb    $$0xf,%cl                   # ecx<- A
7    fldl     (rFP,%ecx,4)               # vAA to fp stack
8    FETCH_INST_WORD(1)
91:
10    fprem
11    fstsw     %ax
12    sahf
13    jp        1b
14    fstp      %st(1)
15    ADVANCE_PC(1)
16    fstpl    (rFP,%ecx,4)               # %st to vA
17    GOTO_NEXT
18