[PATCH] D111186: [SCEV] Infer flags from add/gep in any block

[Philip Reames via Phabricator via llvm-commits]

reames created this revision.
reames added reviewers: nikic, efriedma, mkazantsev.
Herald added subscribers: bmahjour, javed.absar, bollu, hiraditya, mcrosier.
reames requested review of this revision.
Herald added a project: LLVM.

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*.

@nikic If you can easily run compile time impact data, doing a sanity check on this patch is probably reasonable.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D111186

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D111186.377361.patch
Type: text/x-patch
Size: 5895 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20211005/e6764dd1/attachment.bin>