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

[aeubanks via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 6db3ab2903f42712f44000afb5aa467efbd25f35
      https://github.com/llvm/llvm-project/commit/6db3ab2903f42712f44000afb5aa467efbd25f35
  Author: Arthur Eubanks <aeubanks at google.com>
  Date:   2021-03-17 (Wed, 17 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.

Reviewed By: asbirlea

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