Displaying 2 results from an estimated 2 matches for "makeicmpregion".
2011 Mar 31
0
[LLVMdev] signed/unsigned integers ?
On Wed, Mar 30, 2011 at 03:19, Julien Henry <Julien.Henry at imag.fr> wrote:
>
> Actually, I'm working on a static analyzer that computes invariants at
> each basicBlock: "In basicBlock B, what is the set of possible
> assignments for each live values ?"
> and I obtains results such as "In B, we have 0 <= x <= 42"
>
Well, you have to find that
2011 Mar 30
4
[LLVMdev] signed/unsigned integers ?
>> The compiler remembers for debugging purpose that x is defined as
>> unsigned, and y as signed, no ? I'm not familiar with LLVM debug info,
>> but maybe I can find this info there ?
>
> probably it can be extracted from debug info, but what if there is no debug
> info? Can you please explain what you intend to do with this information -
> then maybe we can