[llvm] [IR][TBAA] Allow multiple fileds with same offset in TBAA struct-path (PR #76356)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Mon Jan 15 05:51:49 PST 2024


nikic wrote:

This needs a review from a TBAA expert like @dobbelaj-snps or @jdoerfert.

Though as a preliminary note from my side: This need a LangRef update to specify what exactly you're allowing here and what semantics it has.

>From a glance at your implementation I assume you want to allow only the same offset to occur multiple times, but no other forms of overlap?

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


More information about the llvm-commits mailing list