On Fri, 28 Jun 2013, Shiva Chen wrote: > Does the abssi2 semantically assume target abs shouldn't do saturation ?
Yes. The semantics of RTL abs are modulo, whereas ss_abs does signed saturation. Likewise for addition, subtraction and multiplication. (Some RTL codes have more complicated target-specific semantics, e.g. shifts, and signed INT_MIN / -1 and INT_MIN % -1 should currently be considered undefined in RTL rather than defined with modulo semantics.) -- Joseph S. Myers jos...@codesourcery.com
