[RFC] First-Party Support for LLVM Types

[River707]

@jdd

Am I correct? If so, is there currently any way to ensure they both get printed? Would that be part of this RFC?

This is already answered in the RFC:

@ftynse

// Equivalent of struct A { int32_t i; struct B *b};
// struct B { struct A *a; struct B *b }; in C.
// Note that the first occurrence of "B" has its members listed.
!llvm.struct<"A", (i32, struct<"B", (ptr<struct<"A">>, ptr<struct<"B">>)>)>

The recursive context is only within a single type, so we always print the full context for the first instance of that type. This does not apply to two different prints, i.e. your example would be something like:

!llvm.struct<"A", ptr<struct<"B", ptr<struct<"A">>>>>
!llvm.struct<"B", ptr<struct<"A", ptr<struct<"B">>>>>