[llvm-commits] RFC: initial union syntax support

[Gabor Greif]

There must be a proper equivalence relation with a sane
semantics defined on unions before this can work.
Andrew, can you provide such a definition?

LLVM types are uniqued, so the underlying machinery
already expects this.

Cheers,

    Gabor


On May 14, 8:46 am, me22 <me22... at gmail.com> wrote:
> On Wed, May 13, 2009 at 02:19, Nick Lewycky <nicho... at mxc.ca> wrote:
>
> > For that matter, I just realized after sending that <union {i8, i9}> and
> > <union {i9, i8}> must be the same type.
>
> If union {i8, i32} and union {i32, i8} are the same type, how does GEP
> know which type to return for a given index?
>
> Scott
> _______________________________________________
> llvm-commits mailing list
> llvm-comm... at cs.uiuc.eduhttp://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits