[all-commits] [llvm/llvm-project] a17394: [NewPM] Verify LoopAnalysisResults after a loop pass

[aeubanks via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a17394dc88cccc669b8c16f8ba8f40f546dafc1b
      https://github.com/llvm/llvm-project/commit/a17394dc88cccc669b8c16f8ba8f40f546dafc1b
  Author: Arthur Eubanks <aeubanks at google.com>
  Date:   2021-03-19 (Fri, 19 Mar 2021)

  Changed paths:
    M llvm/lib/Transforms/Scalar/LoopPassManager.cpp

  Log Message:
  -----------
  [NewPM] Verify LoopAnalysisResults after a loop pass

All loop passes should preserve all analyses in LoopAnalysisResults. Add
checks for those when the checks are enabled (which is by default with
expensive checks on).

Note that due to PR44815, we don't check LAR's ScalarEvolution.
Apparently calling SE.verify() can change its results.

This is a reland of https://reviews.llvm.org/D98820 which was reverted
due to unacceptably large compile time regressions in normal debug
builds.