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