Re: Store the SSA name range type in the tree structure

2013-11-28 Thread Richard Sandiford
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.

Re: Store the SSA name range type in the tree structure

2013-11-28 Thread Richard Biener
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

Store the SSA name range type in the tree structure

2013-11-28 Thread Richard Sandiford
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