Note that the intrinsic is now understood by SCEV and that other optimisations can treat it as a sub.