[Test] Add tests showing that IndVars cannot prove (X + 1 > X)
authorMax Kazantsev <mkazantsev@azul.com>
Thu, 17 Sep 2020 15:36:41 +0000 (22:36 +0700)
committerMax Kazantsev <mkazantsev@azul.com>
Thu, 17 Sep 2020 15:37:43 +0000 (22:37 +0700)
commit7688027f166311164982bb15fe44041f31b6d45f
tree09962fbfbbe3b18f806567fe502872ad341ca2f9
parentf0e028f4b32393676b5d3eb36d6598ec5a390180
[Test] Add tests showing that IndVars cannot prove (X + 1 > X)
llvm/test/Transforms/IndVarSimplify/trivial-checks.ll [new file with mode: 0644]