[PATCH] D111191: [SCEV] Search operand tree for scope bound when inferring flags from IR

[Philip Reames via Phabricator via llvm-commits]

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

This does the obvious thing, and recurses through operands searching for a tighter bound on the defining scope.  I'm honestly surprised by how little this seems to mater.  I think it's worth doing for completeness, but I have to admit the test diffs are unconvincing.

(Excuse the messy test changes.  I will land the test IR changes and rebase once a couple of changes in the stack land.)


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D111191

Files:
  llvm/lib/Analysis/ScalarEvolution.cpp
  llvm/test/Analysis/ScalarEvolution/flags-from-poison.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D111191.377370.patch
Type: text/x-patch
Size: 10148 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20211005/04d5e7a8/attachment.bin>