[LLVMdev] signed/unsigned integers ?

[me22]

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 from the comparisons that control the
branches to the blocks, so you determine signedness from the
signedness of the comparison instructions.  (And get to have the fun
of figuring out the right thing to do when the instructions mix
signedness.)

~ Scott