[PATCH] D61166: [SCEV] Use isKnownViaNonRecursiveReasoning for smax simplification

[Keno Fischer via Phabricator via llvm-commits]

loladiro added a comment.

In D61166#1481838 <https://reviews.llvm.org/D61166#1481838>, @sanjoy wrote:

> > and as I found out also stack overflows
>
> For posterity, do you have some example IR and/or stack traces that you could attach to the commit message, or make a test case out of?


I looked around in my notes from back when I did that patch, but doesn't look like I recorded it. I think all I did was try changing `umax` back to `isKnownPredicate` and running the test suite.


Repository:
  rL LLVM

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

https://reviews.llvm.org/D61166