From mboxrd@z Thu Jan  1 00:00:00 1970
From: Jeffrey A Law <law@cygnus.com>
To: Greg McGary <gkm@eng.ascend.com>
Cc: Geoff Keating <geoffk@cygnus.com>, gcc@gcc.gnu.org
Subject: Re: Need advice on bounds checking approaches 
Date: Tue, 28 Mar 2000 07:05:00 -0000
Message-id: <9365.954255482@upchuck>
References: <ms3dpbr5kg.fsf@gkm-dsl-194.ascend.com>
X-SW-Source: 2000-03/msg00726.html

  In message < ms3dpbr5kg.fsf@gkm-dsl-194.ascend.com >you write:
  > optimize away redundant conditional traps.  An advantage to emitting
  > separate conditional traps for low and high bounds checks is that the
  > separate lower-bound check can be more easily be moved out of a loop
  > for monotonically increasing pointer livs.
I hadn't thought of that.  It assumes you can't overflow, but that's
probably a reasonable simplification for pointer operations.

Is there any advantage to not always emitting the high/low bounds checks
separately?

jeff