[all-commits] [llvm/llvm-project] 259ca0: [SCEV] Make SCEV verification available from comma...

[Daniil Suchkov via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 259ca0418ee962a69adc4057bce5d596bd3d42d1
      https://github.com/llvm/llvm-project/commit/259ca0418ee962a69adc4057bce5d596bd3d42d1
  Author: Daniil Suchkov <suc-daniil at yandex.ru>
  Date:   2019-12-02 (Mon, 02 Dec 2019)

  Changed paths:
    M llvm/include/llvm/Analysis/ScalarEvolution.h
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/lib/Passes/PassRegistry.def

  Log Message:
  -----------
  [SCEV] Make SCEV verification available from command line with new PM

New pass manager doesn't use verifyAnalysis, so currently there is no
way to call SCEV verification from command line when new PM is used.
This patch adds a pass that allows you to do that.

Reviewers: reames, fhahn, sanjoy.google, nikic

Reviewed By: fhahn

Subscribers: hiraditya, javed.absar, llvm-commits

Tags: #llvm

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