| http://www.w3.org/ns/prov#value | - Note that saturation is not performed in case of overflow (see the description of {if (tb)} Rdest = Rm $+ Rn on page 51 for an add with saturation).Flags affected: if unconditional or test bit is set, then update N, Z, C,OV, LTExample: r5 = rA + rB; // Add rA and rB storing result in r5 tb = LT(7 - r5); // Compare r5 to 7; if r5 > 7, set TB to 1; otherwise, set TB to 0
|
