[all-commits] [llvm/llvm-project] e9cced: Recommit "[LAA] Initial support for runtime checks...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: e9cced27390ba38eac1144aa1240281a1edadec0
      https://github.com/llvm/llvm-project/commit/e9cced27390ba38eac1144aa1240281a1edadec0
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2022-06-17 (Fri, 17 Jun 2022)

  Changed paths:
    M llvm/include/llvm/Analysis/LoopAccessAnalysis.h
    M llvm/lib/Analysis/LoopAccessAnalysis.cpp
    M llvm/lib/Transforms/Utils/LoopUtils.cpp
    M llvm/test/Analysis/LoopAccessAnalysis/forked-pointers.ll
    M llvm/test/Transforms/LoopVectorize/pointer-select-runtime-checks.ll

  Log Message:
  -----------
  Recommit "[LAA] Initial support for runtime checks with pointer selects."

This reverts commit 7aa8a678826dea86ff3e6c7df9d2a8a6ef868f5d.

This version includes fixes to address issues uncovered after
the commit landed and discussed at D11448.

Those include:

* Limit select-traversal to selects inside the loop.
* Freeze pointers resulting from looking through selects to avoid
  branch-on-poison.