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 FETCH_INST_OPCODE 2 %ecx 8 1: 9 fprem 10 fstsw %ax 11 sahf 12 jp 1b 13 fstp %st(1) 14 ADVANCE_PC 2 15 fstpl (rFP,rINST,4) # %st to vAA 16 GOTO_NEXT_R %ecx 17