FPSCR_VX
if ((fpscr & FPSCR_VE) && (fpscr & FPSCR_VX))
fpscr |= FPSCR_VX;
fpscr |= FPSCR_VX;
if (((fpscr & FPSCR_VX) && (fpscr & FPSCR_VE)) ||
~(FPSCR_VX | FPSCR_FEX | 0x800);
fpscr |= FPSCR_VX;