| prov:value
| - Note that flags are set according to the result prior to saturation and that for unsigned saturation, the carry flag (C) indicates overflow.Flags affected: if unconditional or test bit is set, then update N, Z, C,OV, LTExample: mode(signedSat,,,,); // Set desired saturation mode (in this case signed) r5 = rC $+ r8; // Add rC and r8 with saturation on overflow storing res
|