On Sun, 30 Jun 2013, Shiva Chen wrote:

> But how the target generate abs instruction if the target abs have
> saturation behavior ?
> We couldn't use abssi2 naming pattern and ss_abssi2 naming pattern
> doesn't exist.
If you want to use a saturating abs instruction for C code that exhibits 
undefined behavior in cases where the instruction saturates, you need to 
add support for ss_abssi2 patterns and teach the GIMPLE-to-RTL conversion 
to use such patterns as appropriate (in the absence of -fwrapv/-ftrapv, of 
course).

-- 
Joseph S. Myers
jos...@codesourcery.com

Reply via email to