[SCEV] Make SCEV verification available from command line with new PM
authorDaniil Suchkov <suc-daniil@yandex.ru>
Tue, 19 Nov 2019 07:16:39 +0000 (14:16 +0700)
committerDaniil Suchkov <suc-daniil@yandex.ru>
Mon, 2 Dec 2019 06:08:20 +0000 (13:08 +0700)
commit259ca0418ee962a69adc4057bce5d596bd3d42d1
tree9eb04d4a9aa433a99a980bae4fb9675ee4851e1e
parent19fd8925a4afe6efd248688cce06aceff50efe0c
[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
llvm/include/llvm/Analysis/ScalarEvolution.h
llvm/lib/Analysis/ScalarEvolution.cpp
llvm/lib/Passes/PassRegistry.def