[all-commits] [llvm/llvm-project] e78767: [Test] Add some simple tests where IndVars cannot ...

[Max Kazantsev via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: e787678cef03348fddce84d45963fbe4d6570d8e
      https://github.com/llvm/llvm-project/commit/e787678cef03348fddce84d45963fbe4d6570d8e
  Author: Max Kazantsev <mkazantsev at azul.com>
  Date:   2021-09-27 (Mon, 27 Sep 2021)

  Changed paths:
    M llvm/test/Transforms/IndVarSimplify/outer_phi.ll

  Log Message:
  -----------
  [Test] Add some simple tests where IndVars cannot remove a check in loop

Previously I've added tests that require context for inference, but it
seems tha SCEV can't prove same facts even when the context isn't required.