| http://www.w3.org/ns/prov#value | - Note that saturation is not performed in case of overflow (see the description of {if (tb)} Rdest = Rn $- Rm on page 67 for a subtract with satura- tion).Flags affected: if unconditional or test bit is set, then update N, Z, C,OV, LTExample: r5 = rA - rB; // Subtract rB from rA storing result in r5 tb = GTE(0 - r7); // Compare r7 to 0; if r7 <= 0, set TB to 1; otherwise,
|
