[PATCH] D81558: [NewPM] Introduce PreserveCFG check

[Yevgeny Rouban via Phabricator via llvm-commits]

yrouban created this revision.
yrouban added reviewers: fedor.sergeev, kuhar, asbirlea.
Herald added a subscriber: hiraditya.
Herald added a project: LLVM.
yrouban added parent revisions: D81555: [NewPM][PassInstrumentation] Add PreservedAnalyses parameter to AfterPass* callbacks. NFC, D81089: Mark InstCombine as not preserving PostDomTree.

Check that all passes, which report they preserve CFG, are really preserving CFG.
A new standard instrumentation is introduced. It can be switched on/off by the flag //verify-cfg-preserved//, which is on by default for debug builds.

Make/ninja check shows several failures. They all are fixed with the patch
D81089 <https://reviews.llvm.org/D81089> Mark InstCombine as not preserving CFG

In other words, make check found only one violating pass - InstCombine.


https://reviews.llvm.org/D81558

Files:
  llvm/include/llvm/Passes/StandardInstrumentations.h
  llvm/lib/Passes/StandardInstrumentations.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D81558.269807.patch
Type: text/x-patch
Size: 5010 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200610/1d30bf07/attachment.bin>