[LLVMdev] User defined types in LLVM-IR

[Arushi Aggarwal]

Hi,

LLVM front end is taking a user defined type of

[21 x { i32, i32, i32, [8 x i32] }]

and converting it to the structurally equivalent type

{ { i32, i32, i32, [8 x i32] }, { i32, i32, i32, [8 x i32] }, { i32, i32,
i32, [8 x i32] }, { i32, i32, i32, [8 x i32] }, { i32, i32, i32, [8 x i32]
}, { i32, i32, i32, [8 x i32] }, { i32, i32, i32, [8 x i32] }, { i32, i32,
i32, [8 x i32] }, { i32, i32, i32, [32 x i8] }, { i32, i32, i32, [32 x i8]
}, { i32, i32, i32, [32 x i8] }, { i32, i32, i32, [32 x i8] }, { i32, i32,
i32, [32 x i8] }, { i32, i32, i32, [32 x i8] }, { i32, i32, i32, [8 x i32]
}, { i32, i32, i32, [8 x i32] }, { i32, i32, i32, [8 x i32] }, { i32, i32,
i32, [8 x i32] }, { i32, i32, i32, [8 x i32] }, { i32, i32, i32, [8 x i32]
}, { i32, i32, i32, [32 x i8] } }

Is there any utility function, that given these two types can say they are
structurally equivalent? Or not, for some other 2 types?

If I were to write such a function, are there any special properties that
need to be checked?

Thanks,
Arushi



On Fri, Apr 1, 2011 at 12:38 PM, Duncan Sands <baldrick at free.fr> wrote:

> Hi Arushi,
>
> > Given a LLVM bitcode file, is there any way of knowing which type
> declarations
> > actually came from the user code and what transformations were made by
> the front
> > end.
>
> not really.  However debug info may give you some of the information you
> are
> looking for.
>
> Ciao, Duncan.
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20110401/2d2328cf/attachment.html>