[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