[PATCH] D79746: [SCEV] Relax abnormal exit check in isAddRecNeverPoison.

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

> Not sure how worthwhile/feasible it would be to try to invalidate the information. Do you know if something like that was explored previously?

I don't think that's something anyone has looked at.  I have no idea how it would work.

On a more general topic, there's been some interest in changing the way poison flags on SCEV expressions work, so it's possible to have both a poison and non-poison SCEV computing the same value.  But nobody has actually tried to implement it, I think.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D79746/new/

https://reviews.llvm.org/D79746