[LLVMdev] Range Analysis GSoC 2011 Proposal

Allan Tong
Thu, 24 Mar 2011 14:05:25 -0000

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