[tests] Add indvars tests showing missing transforms with small IVs
authorPhilip Reames <listmail@philipreames.com>
Thu, 14 Oct 2021 20:26:59 +0000 (13:26 -0700)
committerPhilip Reames <listmail@philipreames.com>
Thu, 14 Oct 2021 20:28:18 +0000 (13:28 -0700)
commit8b31f07cdf1302665d687b7840c3db298daacc22
tree81df461d391ccfc60dcb2cf638e33f74a5a5de56
parente9e6266c704df43e2c52308e1b653dccefa89e04
[tests] Add indvars tests showing missing transforms with small IVs

This shows the transform side of D109457, but also lets us try other approaches to the same problem.  The common trend to all is that we need to explicit reason about UB to disallow possibility of infinite loops.
llvm/test/Transforms/IndVarSimplify/finite-exit-comparisons.ll [new file with mode: 0644]