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