> Interesting but I would be a bit defensive and make sure that this
> matches only if -ffast-math in the FP case. You are sort of relying on
> the fact that vsub wouldn't be generated without ffast-math but I'd
> rather be defensive about it . (This is in case it's not clear in the
> non-intrinsics case).
Fixed.
> BTW was SPEC2k built with -Ofast ? Maybe then you'll see a bit of vectorization.
Yes, I built it with -Ofast. I think it's because SPEC2K tests mostly 
use doubles, which are not supported by vabd.

-- 
Best regards,
    Dmitry