[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