630
634
save_reg = floatx80_to_int32_round_to_zero(BX_READ_FPU_REG(0), status);
636
640
write_virtual_dword(i->seg(), RMAddr(i), (Bit32u)(save_reg));
637
641
BX_CPU_THIS_PTR the_i387.FPU_pop();
639
643
BX_INFO(("FISTTP32: required SSE3, use --enable-sse option"));