[all-commits] [llvm/llvm-project] 81b43b: [SCEV] Enable verification under EXPENSIVE_CHECKS

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 81b43b23e4cb2cb23ea579a3836baceae644e3ce
      https://github.com/llvm/llvm-project/commit/81b43b23e4cb2cb23ea579a3836baceae644e3ce
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2022-03-07 (Mon, 07 Mar 2022)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp

  Log Message:
  -----------
  [SCEV] Enable verification under EXPENSIVE_CHECKS

SCEV verification should no longer affect results of subsequent
queries, and our lit tests as well as llvm-test-suite pass with
SCEV verification enabled, so I think we can enable it by default
under EXPENSIVE_CHECKS now.

Differential Revision: https://reviews.llvm.org/D120708