[all-commits] [llvm/llvm-project] e879ab: [TBAA] Use !tbaa for first accessed field, even if...

[Florian Hahn via All-commits]

  Branch: refs/heads/users/fhahn/tbaa-allow-multiple-fields
  Home:   https://github.com/llvm/llvm-project
  Commit: e879ab07a6b39d7cf47fbc3c17ff25918cdee628
      https://github.com/llvm/llvm-project/commit/e879ab07a6b39d7cf47fbc3c17ff25918cdee628
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2024-02-09 (Fri, 09 Feb 2024)

  Changed paths:
    M llvm/lib/Analysis/TypeBasedAliasAnalysis.cpp
    M llvm/test/Transforms/SROA/tbaa-struct2.ll
    M llvm/test/Transforms/SROA/tbaa-struct3.ll

  Log Message:
  -----------
  [TBAA] Use !tbaa for first accessed field, even if there are others.

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/81289.