[all-commits] [llvm/llvm-project] 768802: [Test] Add tests showing that IndVars cannot prove...

[max-azul via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 7688027f166311164982bb15fe44041f31b6d45f
      https://github.com/llvm/llvm-project/commit/7688027f166311164982bb15fe44041f31b6d45f
  Author: Max Kazantsev <mkazantsev at azul.com>
  Date:   2020-09-17 (Thu, 17 Sep 2020)

  Changed paths:
    A llvm/test/Transforms/IndVarSimplify/trivial-checks.ll

  Log Message:
  -----------
  [Test] Add tests showing that IndVars cannot prove (X + 1 > X)