1%verify "executed"
2    /* rem_float vAA, vBB, vCC */
3    movzbl   3(rPC),%ecx            # ecx<- BB
4    movzbl   2(rPC),%eax            # eax<- CC
5    fldl     (rFP,%ecx,4)           # vCC to fp stack
6    fldl     (rFP,%eax,4)           # vCC to fp stack
7    movzbl   rINST_HI,%ecx          # ecx<- AA
8    FETCH_INST_WORD(2)
91:
10    fprem
11    fstsw     %ax
12    sahf
13    jp        1b
14    fstp      %st(1)
15    ADVANCE_PC(2)
16    fstpl    (rFP,%ecx,4)           # %st to vAA
17    GOTO_NEXT
18