Displaying 3 results from an estimated 3 matches for "makeconstantrange".
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
2016 Nov 15
2
In LLVM IR, how can I determine if a switch statement had an explicit default case?
Since a SwitchInst always has a default case even if no default case
appeared in the code, what's the best way to determine if it's explicit or
implicit?
thanks..
don
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20161114/7b2965db/attachment.html>
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