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

[aeubanks via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 94c269baf58330a5e303a4f86f64681f2f7a858b
      https://github.com/llvm/llvm-project/commit/94c269baf58330a5e303a4f86f64681f2f7a858b
  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.

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

    Only verify MSSA when VerifyMemorySSA, normally it's very expensive.

Reviewed By: asbirlea

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