[all-commits] [llvm/llvm-project] b7dd1e: [PhaseOrdering] Add additional test for #79161 (NFC)

[Nikita Popov via All-commits]

  Branch: refs/heads/release/18.x
  Home:   https://github.com/llvm/llvm-project
  Commit: b7dd1e099f2c3335ba2636cd1d4cfcc4db7a243d
      https://github.com/llvm/llvm-project/commit/b7dd1e099f2c3335ba2636cd1d4cfcc4db7a243d
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2024-02-03 (Sat, 03 Feb 2024)

  Changed paths:
    A llvm/test/Transforms/PhaseOrdering/X86/loop-vectorizer-noalias.ll

  Log Message:
  -----------
  [PhaseOrdering] Add additional test for #79161 (NFC)

(cherry picked from commit 543cf08636f3a3bb55dddba2e8cad787601647ba)


  Commit: 42b7061f1f0a2c52c8302a25ec656f990236b933
      https://github.com/llvm/llvm-project/commit/42b7061f1f0a2c52c8302a25ec656f990236b933
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2024-02-03 (Sat, 03 Feb 2024)

  Changed paths:
    M llvm/lib/Analysis/LoopAccessAnalysis.cpp
    M llvm/test/Analysis/LoopAccessAnalysis/noalias-scope-decl.ll
    M llvm/test/Transforms/PhaseOrdering/X86/loop-vectorizer-noalias.ll

  Log Message:
  -----------
  [LAA] Drop alias scope metadata that is not valid across iterations (#79161)

LAA currently adds memory locations with their original AATags to AST.
However, scoped alias AATags may be valid only within one loop
iteration, while LAA reasons across iterations.

Fix this by determining which alias scopes are defined inside the loop,
and drop AATags that reference these scopes.

Fixes https://github.com/llvm/llvm-project/issues/79137.

(cherry picked from commit cd7ea4ea657ea41b42fcbd0e6b33faa46608d18e)


Compare: https://github.com/llvm/llvm-project/compare/d9f8cd8028db...42b7061f1f0a