to be an integer Overflow condition, and CR0.SO, XER.SO and XER.OV
are all set as normal for any GPR instructions that overflow.
+\newpage{}
+
### FP to Integer Conversion Simplified Pseudo-code
Key for pseudo-code:
```
# based on xscvdpuxws
reset_xflags()
-
if RCS[0] = 1 then # if Single mode
src <- bfp_CONVERT_FROM_BFP32(SINGLE((FRB)))
else
XER SO, OV, OV32 (if OE=1)
FPCSR (TODO: which bits?)
-----------
-
-\newpage{}
-
### Assembly Aliases
For brevity, `[o]` is used to mean `o` is optional there.