[LLVMdev] Range Analysis GSoC 2011 Proposal

[Allan Tong]

On Wed, Mar 23, 2011 at 6:24 PM, John Criswell <criswell at illinois.edu> wrote:
>
> > On 3/23/11 8:06 AM, Douglas do Couto Teixeira wrote:
> >
> > the execution of a program. Thus, for each integer variable, a range
> > analysis determines its lower and upper limits. A very simple range analysis
> > > would, for instance, map each variable to the limits imposed by its type.
> > That is, an 8-bit unsigned integer variable can be correctly mapped to the
> > interval [0, 255], and an 16-bit signed integer can be mapped to [-32767,
> > 32766].
>
> You probably want to be consistent in how numbers are interpreted.  Use the
> unsigned or signed interpretations in both examples above.

Also, if you keep the 16-bit signed example, it should be [-32768, 32767].

 - Allan