[all-commits] [llvm/llvm-project] dc8571: [TBAA] Use !tbaa for first accessed field if it is...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: dc85719d5b4dfca528d81892eb3c853581094070
      https://github.com/llvm/llvm-project/commit/dc85719d5b4dfca528d81892eb3c853581094070
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2024-02-16 (Fri, 16 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 if it is an exact match in offset and size.  (#81313)

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.

PR: https://github.com/llvm/llvm-project/pull/81313



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications