[LLVMdev] Integer handling

Scott Graham scott.llvm at h4ck3r.net
Mon Sep 29 13:29:35 PDT 2008


On Mon, Sep 29, 2008 at 12:41 AM, OvermindDL1 <overminddl1 at gmail.com> wrote:
> I have ended up making a rather complicated type system to handle
> quite a few things, all stemming from the fact that the integer type
> has no sign information (even if it did not use it, would be nice to
> look at it in my code generator to so I can put out one function type
> [snip]

Hi, I had the same problem, but I don't have a great solution I'm afraid.

If you search the archives there was a suggestion to perhaps look at
the annotation intrinsics, but those weren't helpful for me. You'll
also find some rationale as to why the sign information is removed:
basically because it makes the backend cleaner/simpler/smaller.

It's a bit unfortunate, but as far as I understand, you have to just
deal with having two type systems in the front end.

scott



More information about the llvm-dev mailing list