[all-commits] [llvm/llvm-project] 0658ba: [SCEV] Infer flags from add/gep in any block

[Philip Reames via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 0658bab870c89d81678f1f37aac0396ddd0913b3
      https://github.com/llvm/llvm-project/commit/0658bab870c89d81678f1f37aac0396ddd0913b3
  Author: Philip Reames <listmail at philipreames.com>
  Date:   2021-10-06 (Wed, 06 Oct 2021)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Analysis/DependenceAnalysis/Preliminary.ll
    M llvm/test/Analysis/ScalarEvolution/flags-from-poison.ll
    M llvm/test/Transforms/SLPVectorizer/X86/consecutive-access.ll

  Log Message:
  -----------
  [SCEV] Infer flags from add/gep in any block

This patch removes a compile time restriction from isSCEVExprNeverPoison. We've strengthened our ability to reason about flags on scopes other than addrecs, and this bailout prevents us from using it. The comment is also suspect as well in that we're in the middle of constructing a SCEV for I. As such, we're going to visit all operands *anyways*.

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