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