[all-commits] [llvm/llvm-project] 90639e: [SROA] Use !tbaa instead of !tbaa.struct if op mat...
Florian Hahn via All-commits
all-commits at lists.llvm.org
Fri Feb 9 10:28:02 PST 2024
Branch: refs/heads/users/fhahn/sroa-use-tbaa-for-matching-field-access
Home: https://github.com/llvm/llvm-project
Commit: 90639e9131670863ebb4c199a9861b2b0094d601
https://github.com/llvm/llvm-project/commit/90639e9131670863ebb4c199a9861b2b0094d601
Author: Florian Hahn <flo at fhahn.com>
Date: 2024-02-09 (Fri, 09 Feb 2024)
Changed paths:
M llvm/include/llvm/IR/Metadata.h
M llvm/lib/Analysis/TypeBasedAliasAnalysis.cpp
M llvm/lib/Transforms/Scalar/SROA.cpp
M llvm/test/Transforms/SROA/tbaa-struct2.ll
M llvm/test/Transforms/SROA/tbaa-struct3.ll
Log Message:
-----------
[SROA] Use !tbaa instead of !tbaa.struct if op matches field.
If a split memory access introduced by SROA accesses precisely a single
field of the original operation's !tbaa.struct, use the !tbaa tag for
the accessed field directly instead of the full !tbaa.struct.
InstCombine already had a similar logic.
Motivation for this and follow-on patches is to improve codegen for
libc++, where using memcpy limits optimizations, like vectorization for
code iteration over std::vector<std::complex<float>>:
https://godbolt.org/z/f3vqYos3c
Depends on https://github.com/llvm/llvm-project/pull/81285.
More information about the All-commits
mailing list