On Wed, Dec 04, 2013 at 02:52:25PM +0100, Uros Bizjak wrote:
> On Wed, Dec 4, 2013 at 2:44 PM, Marek Polacek <pola...@redhat.com> wrote:
> > And this is the i?86 specific part of -fsanitize=signed-integer-overflow,
> > split out of the huge patch. It really is dependent on the generic
> > parts, when commiting, I'll put both parts together.
>
> Just a question (I will review the patch later today): shouldn't
Perfect, thanks!
> generic parts also work without new target patterns and use __addv*
> stuff from libgcc when patterns are not present?
If we can't use target patterns, we fall back to generic
implementation, using emit_cmp_and_jump_insns/emit_jump etc.
This generic implementation is indeed modelled after libgcc routines.
Marek
