[all-commits] [llvm/llvm-project] 0d61ff: [Loads] Support SCEVAddExpr as start for pointer A...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 0d61ffd350a5d5367ee2f35ee5a98223aa8e6be3
      https://github.com/llvm/llvm-project/commit/0d61ffd350a5d5367ee2f35ee5a98223aa8e6be3
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2023-04-02 (Sun, 02 Apr 2023)

  Changed paths:
    M llvm/lib/Analysis/Loads.cpp
    M llvm/test/Transforms/LoopVectorize/X86/load-deref-pred.ll
    M llvm/test/Transforms/LoopVectorize/load-of-struct-deref-pred.ll

  Log Message:
  -----------
  [Loads] Support SCEVAddExpr as start for pointer AddRec.

Extend handling to support `%base + offset` as start for AddRecs in
isDereferenceableAndAlignedInLoop. This is done by adjusting AccessSize
by the offset and effectively checking if the full object starting from
%base to %base + offset + access-size is dereferenceable.

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D147260