Richard Biener writes:
> On Thu, Nov 28, 2013 at 12:26 PM, Richard Sandiford
> wrote:
>> At the moment, an anti range ~[A,B] is stored as [B+1,A-1]. This makes
>> it harder to store the range in the natural precision of A and B, since
>> B+1 and A-1 might not be representable in that precision.
On Thu, Nov 28, 2013 at 12:26 PM, Richard Sandiford
wrote:
> At the moment, an anti range ~[A,B] is stored as [B+1,A-1]. This makes
> it harder to store the range in the natural precision of A and B, since
> B+1 and A-1 might not be representable in that precision.
>
> This patch instead stores t
At the moment, an anti range ~[A,B] is stored as [B+1,A-1]. This makes
it harder to store the range in the natural precision of A and B, since
B+1 and A-1 might not be representable in that precision.
This patch instead stores the original minimum and maximum values and
uses a spare tree bit to r