[llvm] [DebugInfo] Add an specification_of attribute to LLVM DebugInfo (PR #115362)

David Blaikie via llvm-commits llvm-commits at lists.llvm.org
Mon Nov 11 12:48:56 PST 2024


dwblaikie wrote:

> > I'd probably call the attribute just "specification" same as DWARF does?
> > but also it worries me a bit - the reason we haven't had "specification" in LLVM IR debug info for types so far is that we never have a declaration and a definition of the same type simultaneously - we deduplicate them via the `identifier` if we're merging modules, etc.
> > So, yeah, maybe a bit more detail on how this works - and maybe it deserves a different name once we look at the details.
> 
> I see. On the Swift side this works since the identifiers (type mangled names) are different: you have a generic "Type" and a specification "Type", "Type", etc. I can remove any references to C++ if needed, but I'll leave it to @Michael137 to decide if we can adapt this for C++ or not.

Could you add a more complete description/examples of the Swift situation this is used for currently?

https://github.com/llvm/llvm-project/pull/115362


More information about the llvm-commits mailing list