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

via llvm-commits llvm-commits at lists.llvm.org
Sun Jan 21 04:09:07 PST 2024


dobbelaj-snps wrote:

Having looked at adding support for unions in the far past, starting from `new-struct-path tbaa` is probably a better way to come to a full solution that improves/allows more optimizations, as it also tracks the sizes of the fields. This makes it feasible to accurately detect what usages will result in overlap and what not. (Also see here for a more or less recent discussion about `new-struct-path tbaa` https://discourse.llvm.org/t/tbaa-new-struct-path-tbaa-status/70349 )

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


More information about the llvm-commits mailing list