[LLVMdev] Re: recursive structs (linked list)

Chris Lattner sabre at nondot.org
Thu May 29 22:50:01 PDT 2003

On 28 May 2003, Joel Stanley wrote:
> I'm trying to make a struct type that is recursive. How can I do this?

It's very non-obvious, but an important lesson in how types in LLVM are
represented.  In particular, in LLVM, each type shape can only exist once
in memory, which allows users to do pointer comparisons to check
structural equality of types.  Naturally, this makes things interesting
when it comes to building recursive structures.  :)

The trick to it is to use an Opaque type like so:

// ST1 === struct ST1;
OpaqueType *ST1 = OpaqueType::get();

// ST2 === { int, ST1* }
StructType *ST2 = StructType::get(make_vector(Type::IntTy,
                      PointerType::get(ST1), 0));
// ST1 === ST2, delete ST1

More information about the llvm-dev mailing list