Add new hidden option -print-changed which only reports changes to IR

[jamieschmeiser]

Summary

A new hidden option -print-changed is added along with code to support
printing the IR as it passes through the opt pipeline in the new pass
manager. Only those passes that change the IR are reported, with others
only having the banner reported, indicating that they did not change the
IR, were filtered out or ignored. Filtering of output via the
-filter-print-funcs is supported and a new supporting hidden option
-filter-passes is added. The latter takes a comma separated list of pass
names and filters the output to only show those passes in the list that
change the IR. The output of both of these functions can be modified
via the -print-module-scope function.

The code introduces a template base class that generalizes the comparison
of IRs that takes an IR representation as template parameter. The
constructor takes a series of lambdas that provide an event based API
for generalized printing of IRs as they are changed in the opt pipeline
through the new pass manager.

The first of several instantiations is provided that prints the IR
in a form similar to that produced by -print-after-all with the above
mentioned filtering capabilities. This version, and the others to
follow will be introduced at the upcoming developer's conference.
See https://hotcrp.llvm.org/usllvm2020/paper/29 for more information.

[jamieschmeiser]

Change function names based on suggestions from clang-tidy

[yrouban]

llvm/lib/Passes/StandardInstrumentations.cpp

461

static cannot be used for a multi-threaded compiler.
Please create IRChangePrinter instance for every instance of StandardInstrumentations.

[ychen]

The paper link is not accessible. Could you please make it available somewhere else?

The overall approach seems very general. What's the motivation.

The current patch misses a lot the diffs. Looks like diff 1 is missed.

llvm/lib/Passes/StandardInstrumentations.cpp

69

Maybe use a pass's PassRegistery.def name instead of its textual class name? It would be consistent.

220–477

Use early return

220–477

This could be put into the lambda capture list. Maybe use shared_ptr for the IRChangePrinter instance.

220–477

Delete?

235

Make sure we consider uselist order changes for comparison.

632

For consistency, make registerChangePrinters a member function.

llvm/test/Other/change-printer.ll

16

It has some non-trivial maintenance costs. I would suggest to use unit test for this patch altogether.

[jamieschmeiser]

Always stack an entry on the stack before each pass in change reporters.

There was an inconsistency when handling invalidated passes in that they
always popped the stack even if the pass was filtered out or if it was for a
function that was filtered out. However, for invalidated passes, no IR
is given in the callback from the pass manager so it is difficult to tell
if an invalidated pass was for a filtered function (which would not have
a stack entry previously). Only the banner is printed for filtered,
invalidated or ignored passes so just print the banner message that the pass
is invalidated rather than being more specific and pop the stack (which will
always now have an entry).

[jamieschmeiser]

I noticed a problem in the code and posted the fix separately as I did not want to confuse it with the changes based on the review comments.

[jamieschmeiser]

Make IRChangePrinter a member of StandardInstrumentations to control
object lifespan.

Move template base class for change printers to header file and make
IRChangePrinter a member of StandardInstrumentations. This gives the
object the appropriate life-span rather than using a static object.
This also makes registerCallbacks a member function for consistency.
This is in response to comments made by reviewers yrouban and ychen.

[jamieschmeiser]

Thanks for the review comments. I have tried to address all of your concerns above and in the last set of changes posted.

llvm/lib/Passes/StandardInstrumentations.cpp

69

While it may be more consistent, I think it would also be more inconvenient for the user and would require the user to either know the PassRegistry.def id or look it up. However, with the textual class name, it can be determined by looking at the output itself. So, if the output is being examined and it is determined that a pass can be filtered out, the name of the pass is there in the output. Also, to use the PassRegistry.def id would require a map to get back to the textual class name as that is what the callbacks provide and would require updating the mapping function each time a pass name changed or a new pass was added or deleted.

220–477

I don't understand these comments. All 3 callbacks are registered and there is no testing so there can be no early return. Regarding the shared_ptr and delete comments, the object was made a member of StandardInstrumentations, which ovviates the need for the static member and control of life-span.

235

I am not sure I understand what you mean... If you mean that changes in order should be reported as no change, that does not happen with this option. As the comparison exists, if the order of functions change in a module pass or the order of blocks change in a function pass, this will report it as changed as it is just comparing strings. This may or may not be what the user desires but a more complex difference mechanism would be required to not report changes due to ordering changes only and would be a different change reporter. It would be possible to create such a reporting system using these base classes and a subsequent change reporter that I will be putting up for review when this has landed will provide more functionality that would ease creating such a change reporter.

461

Note that the life-span of the object extends beyond this function (which is why it was static). I changed it to be a member of StandardInstrumentations object, which gives it the appropriate life-span and there is no longer a static member.

632

Done as part of the code changes.

llvm/test/Other/change-printer.ll

16

I'm sorry but I do not understand what you mean.
I tried to choose 2 passes that currently and would likely continue to make changes to the source in the test and the tests only check that changes are made and not what the changes actually are, to avoid churn. I think the only way to completely avoid the possibility of churn would be to not test it.

[jamieschmeiser]

llvm/test/Other/change-printer.ll

16

I now know what you mean and will look into the possibility.

[jamieschmeiser]

See comments regarding the unit tests

llvm/test/Other/change-printer.ll

16

I do not think it is possible to capture the output from dbgs() within the unit test framework. The only information I could find about capturing std::out or std::err involved using non-public APIs in the test framework. Also, llvm::dbgs() does not actually use std::out but uses its own buffer. This buffer can be sized but that would require altering the hidden option controlling the size to make it non-static so that it could be accessed within the test, which doesn't seem like a good plan. I think these tests are the best that can be done and if the concern is that they are fragile, then I will remove them if you prefer, seeing as this is for debugging information anyway.

[jamieschmeiser]

Create 2 dummy passes, one that changes the IR by adding a dummy attribute
to a function, the other which does not change the IR. Neither are
added to any pipeline. Change the -print-changed unit test to use these
2 passes to make the unit test robust.

[aeubanks]

llvm/test/Other/change-printer.ll

16

The IR seems a bit heavy. Could you do something simple like

define i32 @f() {
  %a = add i32 2, 3
  ret i32 %a
}

and run
opt -passes='no-op-function,instsimplify'?
no-op-function serves as make-no-change and instsimplify will simplify the IR to just ret i32 5, serving as make-a-change.
That way there's no need to add two more passes to LLVM.

[jamieschmeiser]

Respond to review comments: remove dummy passes created in last
changeset and change tests to use no-op-function and instsimplify.

[yrouban]

llvm/include/llvm/Passes/StandardInstrumentations.h

123–144 ↗

(On Diff #289170)

minor comments:

swap 1st and 2nd parameters of HandleAfter for consistency with the other callbacks.

consider const for Before and After parameters:

std::function<bool(const T &Before, const T &After)> Same;
std::function<void(StringRef PassID, std::string &Name, const T &Before, const T &After, Any)>   HandleAfter;

94 ↗

(On Diff #287480)

minor: it would be more convenient to have meaningful names inplace of F1 - F8.

[jamieschmeiser]

[NFC] Respond to review comments: change parameter order, change variable
names, add const to parameters

[yrouban]

No further complains from me.
lgtm if the other reviewers' comments are addressed.

[aeubanks]

I'm actually very excited for this, it makes tracking down a bad transform easier and would have helped in earlier investigations!

llvm/lib/Passes/StandardInstrumentations.cpp

59

69

I'm also in favor of using the short name like "instsimplify" that matches --print-before/after, and -passes=, it seems more consistent. If you're looking at IR, you probably are familiar with how to run passes under opt, which requires knowing the short name.

However, that doesn't work under the NPM yet for --print-before/after, see https://bugs.llvm.org/show_bug.cgi?id=47370.

So for now we can proceed with this, but I'll probably try and fix this up alongside --print-before/after later.

229

I don't think this is necessary since the ModuleToFunctionPassAdaptor already filters declarations out.

[jamieschmeiser]

Respond to review comments: fix comment and remove unnecessary test
from isInterestingFunction. Also, mark some functions inline.

[jamieschmeiser]

Thanks for doing the reviews.

llvm/lib/Passes/StandardInstrumentations.cpp

69

I am fine with this changing when 47370 is fixed. I think it will be changed automatically if the pass id that is sent on the callback changes. It will also change the name that it printed out so it will be consistent and the cut/paste aspect of my earlier comments would remain. My main concern was having to do a mapping function that would need to be kept up to date.

229

I have removed it and marked these functions inline. I think I put that test in while working on some of the follow-on reporters that report for modules so I suspect I will have to add it back in later.

[jamieschmeiser]

Merge of last 2 changesets for committing.

[rupprecht]

llvm/test/Other/change-printer.ll

58

I'm seeing test failures that this should actually be: ModuleToFunctionPassAdaptor<llvm::PassManager<llvm::Function>> (note the lack of whitespace at the end in >>).

Is it safe to change it to that, or is this test somehow sensitive to the build/runtime environment? > > being required is a legacy of older versions of C++.

[jamieschmeiser]

llvm/test/Other/change-printer.ll

58

@rupprecht I see this and can fix this by removing the tail part of the CHECK. There are probably others that need the same fix and I will do this fix right away. Thanks for pointing this out.

[jamieschmeiser]

llvm/test/Other/change-printer.ll

58

Actually, the better fix is to just use a reg-ex to make the space optional, which I will do.

[ychen]

Sorry to get around to this late. Some comments. If possible, please revert and recommit the patch after we solve these remaining issues.

llvm/lib/Passes/StandardInstrumentations.cpp

222

There is llvm::isSpecialPass for this.

235

Uselist order

235

(Maybe as a followup work) Please check the declaration of Module::print. Makes sure *ShouldPreserveUseListOrder* is true when printing IR for comparison. It should work out-of-box for Module, but needs some work for other IR units. This is helpful for tracking passes that may transform IR differently depending on the uselist order.

[ychen]

llvm/include/llvm/Passes/StandardInstrumentations.h

92 ↗

(On Diff #289735)

It would be nice to use IRUnitT instead of T.

llvm/lib/Passes/StandardInstrumentations.cpp

547

Why is the round-trip of defining these here and passing them into the ctor of IRChangePrinter? Why do we need private callbacks such as ChangePrinter::HandleInitialIR. It seems just a trivial wrapper of handleInitialIR.

llvm/test/Other/change-printer.ll

7

Instead of check0, check1, check2, could you use some short meaningful string. Say check0->check-simple, check1->check-changed-pass, etc..

[jamieschmeiser]

llvm/lib/Passes/StandardInstrumentations.cpp

235

I'm sorry but I still do not understand... This unordered_set is just a list of pass names that are specified using the hidden option -filter-passes to allow filtering of output for passes. So, if you do not want output for a particular pass, you specify it with -filter-passes and that pass will be listed as being filtered out even if it makes changes. This is similar to -filter-print-funcs and this function is similar to llvm::isFuntionInPrintList. The output for a module is generated using unwrapAndPrint so I think the change that you are implying would be made in printIR that takes a Module (near line 139) and would also affect other users of that code (such as print-[before|after]-all). I think such a change should be handled separately as it doesn't just affect this new code and I am not sure of the implications.

547

The reason for the round-trip structure is that there are more instantiations of these templates that report changes in different forms still to come. I will be subsequently posting reviews for at least 2 different change reporters based on these base classes. By defining these templates in this fashion, the functionality of comparing different IR representations and determining when changes have occurred and should be filtered, reported or ignored is all in common in the base classes. The derived classes will be called when interesting events happen and only need to handle presenting the events without having to determine when the events occur.

[jamieschmeiser]

Respond to review comments: Change template parameter name, use
llvm::isSpecialPass, make space between template end delimiters optional
and use more meaningful check prefixes in tests.

[aeubanks]

lgtm after ychen's comments are addressed

[ychen]

llvm/lib/Passes/StandardInstrumentations.cpp

235

Sorry. The position of this comment is a bit misplaced. What I meant is that uselist order is also part of IR (https://llvm.org/docs/LangRef.html#use-list-order-directives) but it is not printed by default. When we comparing IR here, it would be helpful to make sure uselist order changes are also captured by this patch.

547

Maybe I missed something. This sounds like either virtual inheritance or CRTP are better alternatives than many function objects as class members. I would prefer CRTP.

[jamieschmeiser]

llvm/lib/Passes/StandardInstrumentations.cpp

547

@ychen Sorry for the delay in response but I had to concentrate on preparing my tutorial for the meeting as the recording is due today. Anyway, I don't really think CRTP is really applicable here because there really aren't polymorphic calls being made. The calls are registered with the PIC and at that point, everything about the calls is essentially known so there isn't polymorphism in the calls. There are 3 ways of handling the callbacks: lambdas (as I've done), virtual overrides and leaving the functions to be defined by the template instantiation. Pre-C++11, I would have used virtual overrides and I think this is a clean way of handling this situation. The bases would be abstract and the derived classes would just provide the overrides. However, it seems that the llvm community shies away from virtual hierarchies in favour of CRTP which is appropriate for the way it is mostly used, but not in this situation IMHO. Virtuals have a bad rap for being unefficient but would be fine here. I don't like leaving functions that have to be provided by template instantiations as the errors provided when they are incorrect often come from the linking stage and it can be very difficult to determine how to properly provide the necessary functions in the instantiation. Lambdas seem to be preferred over virtuals so I chose them. I would be fine with changing the hierarchy to use virtual functions but I would shy away from requiring the instantiation from providing missing functions even though it would be a more efficient way of calling the functions since it makes it harder to extend the hierarchy. Efficiency isn't the main concern here since this is for aiding in code development/understanding and the overhead of virtual calls or calling through function pointers (lambdas) is small in comparison to the overhead involved in saving the representation of the IR. Would you prefer this to be expressed with virtual functions? If so, I will change it but I would rather avoid leaving functions to be provided by instantiations. I did that in one of the subsequent PRs and found it cumbersome and difficult.

[jamieschmeiser]

Respond to review comments: Set ShouldPreserveUseListOrder to true
when generating the output for a module.

[jamieschmeiser]

Respond to review comments: change lambdas to virtual function calls and
place code directly in functions.

[ychen]

One more nit. Thank you!

llvm/include/llvm/Passes/StandardInstrumentations.h

109 ↗

(On Diff #291648)

Please remove mentioning callback here and after.

[jamieschmeiser]

[NFC] Respond to reviewers comments: Update comments.

[thakis]

This seems to break tests on most bots, e.g. http://45.33.8.238/linux/27972/step_12.txt

On other bots it doesn't build: http://lab.llvm.org:8011/builders/clang-ppc64le-linux-multistage/builds/14540/steps/build%20stage%201/logs/stdio

PTAL, and revert for now if it's not a quick fix.

[mkitzan]

llvm/lib/Passes/StandardInstrumentations.cpp

631

@thakis and @jamieschmeiser this extra semi-colon appears to be the cause of the recent build breaks.

[jamieschmeiser]

@mkitzan, Thanks for fixing the build by removing the extra semicolon. Also, removing the call to the base dtor is fine.
commit 6859d95ea2d0f3fe0de2923a3f642170e66a1a14
Author: Michael Liao <[e-mail]>
Date: Wed Sep 16 14:43:08 2020 -0400

[mkitzan]

I can't take credit for that. It was @hliao who committed the fix (thanks btw!).

[jamieschmeiser]

@hliao Thanks!

[wolfgangp]

This commit seems to cause a test failure on some bots, e.g. here.

[aeubanks]

In D86360#2278086, @wolfgangp wrote:

This commit seems to cause a test failure on some bots, e.g. here.

I think it was already fixed, the bot has been green for the last 2 runs.

[dyung]

In D86360#2278087, @aeubanks wrote:

In D86360#2278086, @wolfgangp wrote:

This commit seems to cause a test failure on some bots, e.g. here.

I think it was already fixed, the bot has been green for the last 2 runs.

This is still failing on Windows bots:

http://lab.llvm.org:8011/builders/llvm-clang-win-x-armv7l/builds/1269

[kuhnel]

It also broke pre-merge testing for everyone: https://buildkite.com/llvm-project/llvm-master-build/builds/1071#7bfa9e1f-a2fe-47aa-8263-d2646ac0a0f5

I tried to revert, but it causes a merge conflict :(
Please fix ASAP.

[goncharov]

This comment was removed by goncharov.

[dyung]

I have reverted this change and the follow-up commit in b03c2b8395ba94fb53f1e73a6473faedf628bbd9. Hopefully this should get the bots green again.

[jamieschmeiser]

It appears that the failing tests are due to differences in the PassID that is passed in the PassInstrumentationCallbacks, which is presumably build compiler/platform dependent. I know that the name sent is language dependent because it is the mangled name for C++ but all of these tests are based on input that was originally C so that should be fine. I will alter the tests to have a regex accepting anything for the PassID and just verify the constructed part of the banner and the name, which should make these tests robust and still test the functionality.

[jamieschmeiser]

Respond to build/test problems: Remove extra ;, remove call to base dtor,
change tests to have regex for PassID and ModuleID

[MaskRay]

llvm/include/llvm/Passes/StandardInstrumentations.h

131 ↗

(On Diff #292554)

Prefer member initializer

InitialIR = true

llvm/lib/Passes/StandardInstrumentations.cpp

47

No need to specifically to call out "hidden". Other options don't document themselves "hidden".

52

The relations with -filter-passes and print-module-scope probably should be moved to a separate graph, because several other -print-* (e..g -print-after-all) share the documentation.

495

512

526

Was

527

same has a trivial definition. Consider deleting the member function

577

Prefer the argument comment form detectable by https://clang.llvm.org/extra/clang-tidy/checks/bugprone-argument-comment.html

628

Before == After

[MaskRay]

llvm/include/llvm/Passes/StandardInstrumentations.h

108 ↗

(On Diff #292554)

Capitalize comments and end with full stops.

ditto below

llvm/test/Other/change-printer.ll

58

The current tested form is too loose. Worth adding some CHECK-NEXT: with the first line of the dump, e.g. CHECK-NEXT: define i32 @g()

[ychen]

In D86360#2279738, @jamieschmeiser wrote:

Respond to build/test problems: Remove extra ;, remove call to base dtor,
change tests to have regex for PassID and ModuleID

The regex checking is not sufficient. Could you please check the common sub-string of GCC's and MSVC's output?

llvm/lib/IR/LegacyPassManager.cpp

89

Add a comma before "always"

llvm/test/Other/change-printer.ll

7

For check prefixes, using dash is much more common than underscore.

[MaskRay]

llvm/test/Other/change-printer.ll

7

I am fine with underscores because several directives use dashes and underscores are more distinguishable.

[MaskRay]

I think my biggest question is about the necessity of the ChangePrinter base class... The paragraph in the summary hints on that it is probably necessary....... but the link is unreadable and I think we need other concrete derived classes to justify the base class design.

The first of several instantiations is provided that prints the IR in a form similar to that produced by -print-after-all with the above mentioned filtering capabilities. This version, and the others to follow will be introduced at the upcoming developer's conference. See https://hotcrp.llvm.org/usllvm2020/paper/29 for more information.

[jamieschmeiser]

@ychen, Why are the regexs not sufficient for testing? I would rather not "check the common sub-string of GCC's and MSVC's output" because it has already been sufficiently demonstrated that this is fragile in the test. Referring to the code creating one of the banners:
SmallString<20> Banner = formatv("* IR Dump After {0} *", PassID);
We see that the test checks everything except the PassID (the name is added after) and the rest of the banner is distinct in all cases. I have changed the regexs to {{.+}} which will ensure that there is actually something there but checking anything else will make the test susceptible to failing based on the compiler. The important part of the test is captured in that the banner shows that the dump is either filtered, ignored, output, etc and that the portion of IR is correct. This is the intent of the tests, rather than testing how different compilers construct a PassID.
@MaskRay From earlier comments:
"The reason for the round-trip structure is that there are more instantiations of these templates that report changes in different forms still to come. I will be subsequently posting reviews for at least 2 different change reporters based on these base classes. By defining these templates in this fashion, the functionality of comparing different IR representations and determining when changes have occurred and should be filtered, reported or ignored is all in common in the base classes. The derived classes will be called when interesting events happen and only need to handle presenting the events without having to determine when the events occur."
There are 2 other derived change reporters currently up for review based on these base classes, although the PRs need updating based on changes made in this PR. This makes at least 3 derived classes. See https://reviews.llvm.org/D87000 and https://reviews.llvm.org/D87202

llvm/lib/Passes/StandardInstrumentations.cpp

52

-filter-passes only supports this option and no other options. It is new with this code and is described here because it is easier to understand its usage when described in this context.

527

Same is a virtual override and must exist. See discussion of base class in response to another of your comments.

[jamieschmeiser]

Respond to review comments: change comments, few code revisions, notably with
std::string. Tighten up test cases with more -NEXT checks of the IR.

Fixed a bug so that the initial IR reported is always the module.

[MaskRay]

Detecting changes of IR transformations is pain and I am really exited to see -print-changed, the diff version -print-changes and -dot-cfg-changed . Added @fedor.sergeev who is the original implementer of -print-* in the new PM.

Can you mark the dependency relation of D87000 clearly? Why does D87000 delete lots of code added in this patch? If you are organizing patches in a series, please make sure adjacent patches don't cancel each other locally.

[jamieschmeiser]

@MaskRay, https://reviews.llvm.org/D87000 moves a bunch of the code into a separate file, rather than deleting it. -print-changed, by itself, doesn't add enough to justify it's own file but once you add in -print-changes and -dot-cfg-changes, it grows to a significant amount of code, so I moved it to a separate file. I had already marked the other PRs as children in a chain, which can be seen in the stack tab of the revision contents. Is there another way that I should indicate the relationship between the PRs? Thanks for your comments about these 3 PRs. I have found these ways of looking at the changes very useful, particularly -dot-cfg-changes. (Shameless promotion alert:) I will be presenting these three ways of looking at the IR in my tutorial at the upcoming virtual developers meeting, including a demo of -dot-cfg-changes.

[ychen]

In D86360#2282199, @jamieschmeiser wrote:

@ychen, Why are the regexs not sufficient for testing? I would rather not "check the common sub-string of GCC's and MSVC's output" because it has already been sufficiently demonstrated that this is fragile in the test.

"check the common sub-string of GCC's and MSVC's output" is not fragile because we only support GCC/Clang/MSVC as the host compiler. For PassID, GCC and Clang produce similar if not identical results. Checking PassID for only one compiler is fragile yes.

The important part of the test is captured in that the banner shows that the dump is either filtered, ignored, output, etc and that the portion of IR is correct. This is the intent of the tests, rather than testing how different compilers construct a PassID.

That covers " dump is either filtered, ignored, output," functionality but it does not make sure that these functionalies are applied to the right pass and in the right order. Besides, {{.+}} makes it hard to understand the test.

[jamieschmeiser]

Fair enough, I'll come up with a regex that works for all three. I suspect that this will need to change in response to https://reviews.llvm.org/D87216

[jamieschmeiser]

Put text in tests that indicates the name of the pass in the banner,
using regex for template arguments.

[jamieschmeiser]

@ychen, I changed the tests so that the banners check the names of the passes, based on other tests I found that also rely on pass ids. The other tests use regex to handle template arguments and specify other pass ids directly, so that is what I changed the tests to do.
@MaskRay I believe your concerns have been addressed; if not, please let me know.

[ychen]

In D86360#2304352, @jamieschmeiser wrote:

@ychen, I changed the tests so that the banners check the names of the passes, based on other tests I found that also rely on pass ids. The other tests use regex to handle template arguments and specify other pass ids directly, so that is what I changed the tests to do.

Thanks. LGTM.

llvm/lib/IR/LegacyPassManager.cpp

static cl::opt<bool> PrintBeforeAll("print-before-all",
                                     cl::init(false), cl::Hidden);
 static cl::opt<bool> PrintAfterAll("print-after-all",
                                    llvm::cl::desc("Print IR after each pass"),
                                    cl::init(false), cl::Hidden);
 
 static cl::opt<bool>
     PrintModuleScope("print-module-scope",
                      cl::desc("When printing IR for print-[before|after]{-all} "
-                              "always print a module IR"),
+                              "and change reporters always print a module IR"),
                      cl::init(false), cl::Hidden);
 
 static cl::list<std::string>
     PrintFuncsList("filter-print-funcs", cl::value_desc("function names"),
                    cl::desc("Only print IR for functions whose name "
                             "match this for all print-[before|after][-all] "
-                            "options"),
+                            "and change reporter options"),
                    cl::CommaSeparated, cl::Hidden);
 
 /// This is a helper to determine whether to print IR before or
 /// after a pass.
 
 bool llvm::shouldPrintBeforePass() {
   return PrintBeforeAll || !PrintBefore.empty();
 }

llvm/lib/Passes/StandardInstrumentations.cpp

 #include "llvm/IR/Function.h"
 #include "llvm/IR/IRPrintingPasses.h"
 #include "llvm/IR/Module.h"
 #include "llvm/IR/PassInstrumentation.h"
 #include "llvm/Support/CommandLine.h"
 #include "llvm/Support/Debug.h"
 #include "llvm/Support/FormatVariadic.h"
 #include "llvm/Support/raw_ostream.h"
+#include <unordered_set>
 #include <vector>
 
 using namespace llvm;
 
 // TODO: remove once all required passes are marked as such.
 static cl::opt<bool>
     EnableOptnone("enable-npm-optnone", cl::init(false),
                   cl::desc("Enable skipping optional passes optnone functions "
                            "under new pass manager"));
 
 // FIXME: Change `-debug-pass-manager` from boolean to enum type. Similar to
 // `-debug-pass` in legacy PM.
 static cl::opt<bool>
     DebugPMVerbose("debug-pass-manager-verbose", cl::Hidden, cl::init(false),
                    cl::desc("Print all pass management debugging information. "
                             "`-debug-pass-manager` must also be specified"));
 
+// A hidden option that prints out the IR after passes, similar to
+// -print-after-all except that it only prints the IR after passes that
+// change the IR.  Those passes that do not make changes to the IR are
+// reported as not making any changes.  In addition, the initial IR is
+// also reported.  Other hidden options affect the output from this
+// option.  -filter-passes will limit the output to the named passes
+// that actually change the IR and other passes are reported as filtered out.
+// The specified passes will either be reported as making no changes (with
+// no IR reported) or the changed IR will be reported.  Also, the
+// -filter-print-funcs and -print-module-scope options will do similar
+// filtering based on function name, reporting changed IRs as functions(or
+// modules if -print-module-scope is specified) for a particular function
+// or indicating that the IR has been filtered out.  The exta options
+// can be combined, allowing only changed IRs for certain passes on certain
+// functions to be reported in different formats, with the rest being
+// reported as filtered out.
+static cl::opt<bool> PrintChanged("print-changed",
+                                  cl::desc("Print changed IRs"),
+                                  cl::init(false), cl::Hidden);
+// A hidden option that supports the -print-changed option.  See
+// the description for -print-changed for an explanation of the use
+// of this option.  Note that this option has no effect without -print-changed.
+static cl::list<std::string>
+    PrintPassesList("filter-passes", cl::value_desc("pass names"),
+                    cl::desc("Only consider IR changes for passes whose names "
+                             "match for the print-changed option"),
+                    cl::CommaSeparated, cl::Hidden);
+
 namespace {
 
 /// Extracting Module out of \p IR unit. Also fills a textual description
 /// of \p IR for use in header when printing.
 Optional<std::pair<const Module *, std::string>> unwrapModule(Any IR) {
   if (any_isa<const Module *>(IR))
     return std::make_pair(any_cast<const Module *>(IR), std::string());
 
void unwrapAndPrint(raw_ostream &OS, Any IR, StringRef Banner,
   if (any_isa<const Loop *>(IR)) {
     const Loop *L = any_cast<const Loop *>(IR);
     assert(L && "Loop should be valid for printing");
     printIR(OS, L, Banner, Brief);
     return;
   }
   llvm_unreachable("Unknown wrapped IR type");
 }
 
+// Base class for classes that report changes to the IR.
+// It presents an interface for such classes and provides callbacks
+// on various events as the new pass manager transforms the IR.
+// It also provides filtering of information based on hidden options
+// specifying which functions are interesting.
+// Callbacks are made for the following events/queries:
+// 1.  The initial IR processed.
+// 2.  To get the representation of the IR (of type \p T).
+// 3.  When a pass does not change the IR.
+// 4.  When a pass changes the IR (given both before and after representations
+//         of type \p T).
+// 5.  When an IR is invalidated.
+// 6.  When a pass is run on an IR that is not interesting (based on options).
+// 7.  When a pass is ignored (pass manager or adapter pass).
+// 8.  To compare two IR representations (of type \p T).
+template <typename T> class ChangePrinter {
+public:
+  // Not virtual as classes are expected to be referenced as derived classes.
+  ~ChangePrinter() {
+    assert(BeforeStack.empty() && "Problem with Change Printer stack.");
+  }
+
+  // Determine if this pass/IR is interesting and if so, save the IR
+  void saveIRBeforePass(Any IR, StringRef PassID) {
+    if (!isInteresting(IR, PassID))
+      return;
+    // Is this the initial IR?
+    if (InitialIR) {
+      InitialIR = false;
+      HandleInitialIR(IR);
+    }
+
+    // Save the IR representation on the stack.
+    BeforeStack.emplace_back();
+    auto &Data = BeforeStack.back();
+    GenerateIRRepresentation(IR, PassID, Data);
+  }
+  // Compare the IR from before the pass after the pass.
+  void handleIRAfterPass(Any IR, StringRef PassID) {
+    std::string Name;
+
+    // unwrapModule has inconsistent handling of names for function IRs.
+    if (any_isa<const Function *>(IR)) {
+      const Function *F = any_cast<const Function *>(IR);
+      Name = formatv(" (function: {0})", F->getName()).str();
+    } else {
+      if (auto UM = unwrapModule(IR))
+        Name = UM->second;
+    }
+    if (Name == "")
+      Name = " (module)";
+
+    if (isIgnored(PassID)) {
+      HandleIgnored(PassID, Name);
+      return;
+    }
+
+    if (!isInteresting(IR, PassID)) {
+      HandleFiltered(PassID, Name);
+      return;
+    }
+
+    assert(!BeforeStack.empty() && "Unexpected empty stack for printing.");
+
+    // Get the before rep from the stack
+    T &Before = BeforeStack.back();
+    // Create the after rep
+    T After;
+    GenerateIRRepresentation(IR, PassID, After);
+
+    // was there a change in IR?
+    if (Same(Before, After))
+      OmitAfter(PassID, Name);
+    else
+      HandleAfter(Name, PassID, Before, After, IR);
+
+    // Now remove the before IR as it is no longer needed.
+    BeforeStack.pop_back();
+  }
+  // Handle the situation where a pass is invalidated.
+  void handleInvalidatedPass(StringRef PassID) {
+    assert(!BeforeStack.empty() && "Unexpected empty stack for printing.");
+    HandleInvalidated(PassID);
+    BeforeStack.pop_back();
+  }
+
+protected:
+  ChangePrinter(std::function<void(Any IR)> F1,
+                std::function<void(Any IR, StringRef PassID, T &Output)> F2,
+                std::function<void(StringRef PassID, std::string &Name)> F3,
+                std::function<void(std::string &Name, StringRef PassID,
+                                   T &Before, T &After, Any IR)>
+                    F4,
+                std::function<void(StringRef PassID)> F5,
+                std::function<void(StringRef PassID, std::string &Name)> F6,
+                std::function<void(StringRef PassID, std::string &Name)> F7,
+                std::function<bool(T &Before, T &After)> F8)
+      : HandleInitialIR(F1), GenerateIRRepresentation(F2), OmitAfter(F3),
+        HandleAfter(F4), HandleInvalidated(F5), HandleFiltered(F6),
+        HandleIgnored(F7), Same(F8), InitialIR(true) {}
+
+private:
+  // Return true when this is a pass on IR for which printing
+  // of changes is desired.
+  static bool isInteresting(Any IR, StringRef PassID) {
+    if (!isInterestingPass(PassID))
+      return false;
+    if (any_isa<const Function *>(IR))
+      return isInterestingFunction(*any_cast<const Function *>(IR));
+    return true;
+  }
+
+  // Return true when this is a pass for which printing of changes is desired.
+  static bool isIgnored(StringRef PassID) {
+    return PassID.startswith("PassManager<") || PassID.contains("PassAdaptor<");
+  }
+
+  // Return true when this is a defined function for which printing
+  // of changes is desired.
+  static bool isInterestingFunction(const Function &F) {
+    return !F.isDeclaration() && llvm::isFunctionInPrintList(F.getName());
+  }
+
+  // Return true when this is a pass for which printing of changes is desired.
+  static bool isInterestingPass(StringRef PassID) {
+    if (isIgnored(PassID))
+      return false;
+
+    static std::unordered_set<std::string> PrintPassNames(
+        PrintPassesList.begin(), PrintPassesList.end());
+    return PrintPassNames.empty() || PrintPassNames.count(PassID.str());
+  }
+
+  // callback on the first IR processed
+  std::function<void(Any IR)> HandleInitialIR;
+  // callback before and after a pass to get the representation of the IR
+  std::function<void(Any IR, StringRef PassID, T &Output)>
+      GenerateIRRepresentation;
+  // callback when the pass is not iteresting
+  std::function<void(StringRef PassID, std::string &Name)> OmitAfter;
+  // callback when interesting IR has changed
+  std::function<void(std::string &Name, StringRef PassID, T &Before, T &After,
+                     Any)>
+      HandleAfter;
+  // callback when an interesting pass is invalidated
+  std::function<void(StringRef PassID)> HandleInvalidated;
+  // callback when the IR or pass is not interesting
+  std::function<void(StringRef PassID, std::string &Name)> HandleFiltered;
+  // callback when an ignored pass is encountered
+  std::function<void(StringRef PassID, std::string &Name)> HandleIgnored;
+  // callback to compare the before and after representations of the IR
+  std::function<bool(T &Before, T &After)> Same;
+
+  // stack of IRs before passes
+  std::vector<T> BeforeStack;
+  // Is this the first IR seen?
+  bool InitialIR;
+};
+
+void HandleInitialIR(Any IR, raw_ostream &Out) {
+  StringRef Banner("*** IR Dump At Start: ***");
+  unwrapAndPrint(Out, IR, Banner, true);
+}
+
+void GenerateOutput(Any IR, StringRef PassID, std::string &Output) {
+  raw_string_ostream OS(Output);
+  // use the after banner for all cases so it will match
+  SmallString<20> Banner = formatv("*** IR Dump After {0} ***", PassID);
+  unwrapAndPrint(OS, IR, Banner, llvm::forcePrintModuleIR());
+  OS.str();
+}
+
+void OmitAfter(StringRef PassID, std::string &Name, raw_ostream &Out) {
+  Out << formatv("*** IR Dump After {0}{1} omitted because no change ***\n",
+                 PassID, Name);
+}
+
+void handleAfter(std::string &Name, StringRef After, raw_ostream &Out) {
+  assert(After.find("*** IR Dump") == 0 && "Unexpected banner format.");
+  StringRef Banner = After.take_until([](char C) -> bool { return C == '\n'; });
+  Out << Banner;
+
+  // LazyCallGraph::SCC already has "(scc:..." in banner so only add
+  // in the name if it isn't already there.
+  if (Name.substr(0, 6).compare(" (scc:") != 0 && !llvm::forcePrintModuleIR())
+    Out << Name;
+
+  Out << After.substr(Banner.size());
+}
+
+void HandleInvalidated(StringRef PassID, raw_ostream &Out) {
+  Out << formatv("*** IR Pass {0} invalidated ***\n", PassID);
+}
+
+void HandleFiltered(StringRef PassID, std::string &Name, raw_ostream &Out) {
+  SmallString<20> Banner =
+      formatv("*** IR Dump After {0}{1} filtered out ***\n", PassID, Name);
+  Out << Banner;
+}
+
+void HandleIgnored(StringRef PassID, std::string &Name, raw_ostream &Out) {
+  Out << formatv("*** IR Pass {0}{1} ignored ***\n", PassID, Name);
+}
+
+bool Same(std::string &S1, std::string &S2) { return S1.compare(S2) == 0; }
+
+// A change printer based on the string representation of the IR as created
+// by unwrapAndPrint.  The string representation is stored in a std::string
+// to preserve it as the IR changes in each pass.  Note that the banner is
+// included in this representation but it is massaged before reporting.
+class IRChangePrinter : public ChangePrinter<std::string> {
+public:
+  IRChangePrinter(raw_ostream &OS)
+      : ChangePrinter<std::string>(
+            [this](Any IR) -> void { ::HandleInitialIR(IR, Out); },
+            ::GenerateOutput,
+            [this](StringRef PassID, std::string &Name) -> void {
+              ::OmitAfter(PassID, Name, Out);
+            },
+            [this](std::string &Name, StringRef PassID, std::string &Before,
+                   std::string &After,
+                   Any IR) -> void { ::handleAfter(Name, After, Out); },
+            [this](StringRef PassID) -> void {
+              ::HandleInvalidated(PassID, Out);
+            },
+            [this](StringRef PassID, std::string &Name) -> void {
+              ::HandleFiltered(PassID, Name, Out);
+            },
+            [this](StringRef PassID, std::string &Name) -> void {
+              ::HandleIgnored(PassID, Name, Out);
+            },
+            ::Same),
+        Out(OS) {}
+
+protected:
+  raw_ostream &Out;
+};
+
+void registerChangePrinters(PassInstrumentationCallbacks &PIC) {
+  if (PrintChanged) {
+    static IRChangePrinter ICP(dbgs());
+    PIC.registerBeforePassCallback([](StringRef P, Any IR) {
+      ICP.saveIRBeforePass(IR, P);
+      return true;
+    });
+    PIC.registerAfterPassCallback(
+        [](StringRef P, Any IR, const PreservedAnalyses &) {
+          ICP.handleIRAfterPass(IR, P);
+        });
+    PIC.registerAfterPassInvalidatedCallback(
+        [](StringRef P, const PreservedAnalyses &) {
+          ICP.handleInvalidatedPass(P);
+        });
+  }
+}
+
 } // namespace
 
 PrintIRInstrumentation::~PrintIRInstrumentation() {
   assert(ModuleDescStack.empty() && "ModuleDescStack is not empty at exit");
 }
 
 void PrintIRInstrumentation::pushModuleDesc(StringRef PassID, Any IR) {
   assert(StoreModuleDesc);
   const Module *M = nullptr;
   std::string Extra;
   if (auto UnwrappedModule = unwrapModule(IR))
     std::tie(M, Extra) = UnwrappedModule.getValue();
   ModuleDescStack.emplace_back(M, Extra, PassID);
 }
 
 PrintIRInstrumentation::PrintModuleDesc
 PrintIRInstrumentation::popModuleDesc(StringRef PassID) {
   assert(!ModuleDescStack.empty() && "empty ModuleDescStack");
   PrintModuleDesc ModuleDesc = ModuleDescStack.pop_back_val();
   assert(std::get<2>(ModuleDesc).equals(PassID) && "malformed ModuleDescStack");
   return ModuleDesc;
 }
 
 void PrintIRInstrumentation::printBeforePass(StringRef PassID, Any IR) {
   if (PassID.startswith("PassManager<") || PassID.contains("PassAdaptor<"))
     return;
 
   // Saving Module for AfterPassInvalidated operations.
   // Note: here we rely on a fact that we do not change modules while
   // traversing the pipeline, so the latest captured module is good
   // for all print operations that has not happen yet.
   if (StoreModuleDesc && llvm::shouldPrintAfterPass(PassID))
     pushModuleDesc(PassID, IR);
 
   if (!llvm::shouldPrintBeforePass(PassID))
     return;
 
   SmallString<20> Banner = formatv("*** IR Dump Before {0} ***", PassID);
   unwrapAndPrint(dbgs(), IR, Banner, llvm::forcePrintModuleIR());
   return;
 }
 
 void PrintIRInstrumentation::printAfterPass(StringRef PassID, Any IR) {
   if (PassID.startswith("PassManager<") || PassID.contains("PassAdaptor<"))
     return;
 
   if (!llvm::shouldPrintAfterPass(PassID))
     return;
 
   if (StoreModuleDesc)
     popModuleDesc(PassID);
 
   SmallString<20> Banner = formatv("*** IR Dump After {0} ***", PassID);
   unwrapAndPrint(dbgs(), IR, Banner, llvm::forcePrintModuleIR());
 }
 
 void PrintIRInstrumentation::printAfterPassInvalidated(StringRef PassID) {
   if (!StoreModuleDesc || !llvm::shouldPrintAfterPass(PassID))
     return;
 
   if (PassID.startswith("PassManager<") || PassID.contains("PassAdaptor<"))
     return;
 
   const Module *M;
   std::string Extra;
   StringRef StoredPassID;
   std::tie(M, Extra, StoredPassID) = popModuleDesc(PassID);
   // Additional filtering (e.g. -filter-print-func) can lead to module
   // printing being skipped.
   if (!M)
     return;
 
   SmallString<20> Banner =
       formatv("*** IR Dump After {0} *** invalidated: ", PassID);
   printIR(dbgs(), M, Banner, Extra);
 }
 
 void PrintIRInstrumentation::registerCallbacks(
     PassInstrumentationCallbacks &PIC) {
PIC.registerAfterPassInvalidatedCallback(
         [this](StringRef P, const PreservedAnalyses &) {
           this->printAfterPassInvalidated(P);
         });
   }
 }
 
 void OptNoneInstrumentation::registerCallbacks(
     PassInstrumentationCallbacks &PIC) {
   PIC.registerBeforePassCallback(
       [this](StringRef P, Any IR) { return this->skip(P, IR); });
 }
 
 bool OptNoneInstrumentation::skip(StringRef PassID, Any IR) {
   if (!EnableOptnone)
     return true;
   const Function *F = nullptr;
   if (any_isa<const Function *>(IR)) {
void PrintPassInstrumentation::registerCallbacks(
   PIC.registerBeforeAnalysisCallback([](StringRef PassID, Any IR) {
     dbgs() << "Running analysis: " << PassID << " on ";
     unwrapAndPrint(dbgs(), IR, "", false, true);
   });
 }
 
 void StandardInstrumentations::registerCallbacks(
     PassInstrumentationCallbacks &PIC) {
   PrintIR.registerCallbacks(PIC);
   PrintPass.registerCallbacks(PIC);
   TimePasses.registerCallbacks(PIC);
   OptNone.registerCallbacks(PIC);
+  registerChangePrinters(PIC);
 }

llvm/test/Other/change-printer.ll

+; !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
+; ! This test may need altering if simplify-cfg is changed.  It reports
+; ! the passes that make changes to the IR so if simplify-cfg is changed
+; ! such that it no longer makes changes to this source, then the test
+; ! will need to be changed.  simplify-cfg was chosen as it was guessed
+; ! that it would likely continue to change this input.
+; !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
+;
+; Simple functionality check.
+;
+; RUN: opt -S -print-changed -passes=simplify-cfg 2>&1 -o /dev/null < %s | FileCheck %s --check-prefix=CHECK0
+;
+; Check that only the passes that change the IR are printed and that the
+; others (including g) are filtered out.  Note that only the headings
+; are checked.
+; N.B. As passes change functionality, this test may fail because it reports
+; whether a pass made a change or not, which can change as pass functionality
+; changes.
+;
+; RUN: opt -S -print-changed -passes=simplify-cfg -filter-print-funcs=f  2>&1 -o /dev/null < %s | FileCheck %s --check-prefix=CHECK1
+;
+; Check that the reporting of IRs respects -print-module-scope
+; RUN: opt -S -print-changed -passes=simplify-cfg -print-module-scope 2>&1 -o /dev/null < %s | FileCheck %s --check-prefix=CHECK2
+;
+; Check that the reporting of IRs respects -print-module-scope
+; RUN: opt -S -print-changed -passes=simplify-cfg -filter-print-funcs=f -print-module-scope 2>&1 -o /dev/null < %s | FileCheck %s --check-prefix=CHECK3
+;
+; Check that reporting of multiple functions happens
+; RUN: opt -S -print-changed -passes=simplify-cfg -filter-print-funcs="f,g" 2>&1 -o /dev/null < %s | FileCheck %s --check-prefix=CHECK4
+;
+; Check that the reporting of IRs respects -filter-passes
+; RUN: opt -S -print-changed -passes="simplify-cfg,instcombine" -filter-passes="InstCombinePass" 2>&1 -o /dev/null < %s | FileCheck %s --check-prefix=CHECK5
+;
+; Check that the reporting of IRs respects -filter-passes with multiple passes
+; RUN: opt -S -print-changed -passes="simplify-cfg,instcombine" -filter-passes="InstCombinePass,SimplifyCFGPass" 2>&1 -o /dev/null < %s | FileCheck %s --check-prefix=CHECK6
+;
+; Check that the reporting of IRs respects both -filter-passes and -filter-print-funcs
+; RUN: opt -S -print-changed -passes="simplify-cfg,instcombine" -filter-passes="InstCombinePass,SimplifyCFGPass" -filter-print-funcs=f 2>&1 -o /dev/null < %s | FileCheck %s --check-prefix=CHECK7
+;
+; Check that the reporting of IRs respects -filter-passes, -filter-print-funcs and -print-module-scope
+; RUN: opt -S -print-changed -passes="simplify-cfg,instcombine" -filter-passes="InstCombinePass,SimplifyCFGPass" -filter-print-funcs=f -print-module-scope 2>&1 -o /dev/null < %s | FileCheck %s --check-prefix=CHECK8
+;
+; Simple checks of -print-changed functionality using the approximate
+; equivalent of the following C file.
+;
+; int g(int upper) {
+;   int i;
+;   for (i = 0; i < upper; ++i)
+;     i = i + 1;
+;   return i;
+; }
+; int f(int upper) {
+;   int i;
+;   for (i = 0; i < upper; ++i)
+;     i = i + 1;
+;   return i;
+; }
+; int main() {
+;   int i = f(10) + g(5);
+;   return i;
+; }
+;
+
+define dso_local signext i32 @g(i32 signext %upper) {
+entry:
+  %upper.addr = alloca i32, align 4
+  %i = alloca i32, align 4
+  store i32 %upper, i32* %upper.addr, align 4
+  %0 = bitcast i32* %i to i8*
+  call void @llvm.lifetime.start.p0i8(i64 4, i8* %0)
+  store i32 0, i32* %i, align 4
+  br label %for.cond
+
+for.cond:
+  %1 = load i32, i32* %i, align 4
+  %2 = load i32, i32* %upper.addr, align 4
+  %cmp = icmp slt i32 %1, %2
+  br i1 %cmp, label %for.body, label %for.end
+
+for.body:
+  %3 = load i32, i32* %i, align 4
+  %add = add nsw i32 %3, 1
+  store i32 %add, i32* %i, align 4
+  br label %for.inc
+
+for.inc:
+  %4 = load i32, i32* %i, align 4
+  %inc = add nsw i32 %4, 1
+  store i32 %inc, i32* %i, align 4
+  br label %for.cond
+
+for.end:
+  %5 = load i32, i32* %i, align 4
+  %6 = bitcast i32* %i to i8*
+  call void @llvm.lifetime.end.p0i8(i64 4, i8* %6)
+  ret i32 %5
+}
+
+define dso_local signext i32 @f(i32 signext %upper) {
+entry:
+  %upper.addr = alloca i32, align 4
+  %i = alloca i32, align 4
+  store i32 %upper, i32* %upper.addr, align 4
+  %0 = bitcast i32* %i to i8*
+  call void @llvm.lifetime.start.p0i8(i64 4, i8* %0)
+  store i32 0, i32* %i, align 4
+  br label %for.cond
+
+for.cond:
+  %1 = load i32, i32* %i, align 4
+  %2 = load i32, i32* %upper.addr, align 4
+  %cmp = icmp slt i32 %1, %2
+  br i1 %cmp, label %for.body, label %for.end
+
+for.body:
+  %3 = load i32, i32* %i, align 4
+  %add = add nsw i32 %3, 1
+  store i32 %add, i32* %i, align 4
+  br label %for.inc
+
+for.inc:
+  %4 = load i32, i32* %i, align 4
+  %inc = add nsw i32 %4, 1
+  store i32 %inc, i32* %i, align 4
+  br label %for.cond
+
+for.end:
+  %5 = load i32, i32* %i, align 4
+  %6 = bitcast i32* %i to i8*
+  call void @llvm.lifetime.end.p0i8(i64 4, i8* %6)
+  ret i32 %5
+}
+
+; Function Attrs:
+declare void @llvm.lifetime.start.p0i8(i64 immarg, i8* nocapture)
+
+; Function Attrs:
+declare void @llvm.lifetime.end.p0i8(i64 immarg, i8* nocapture)
+
+; Function Attrs:
+define dso_local signext i32 @main() {
+entry:
+  %retval = alloca i32, align 4
+  %i = alloca i32, align 4
+  store i32 0, i32* %retval, align 4
+  %0 = bitcast i32* %i to i8*
+  call void @llvm.lifetime.start.p0i8(i64 4, i8* %0)
+  %call = call signext i32 @f(i32 signext 10)
+  %call1 = call signext i32 @g(i32 signext 5)
+  %add = add nsw i32 %call, %call1
+  store i32 %add, i32* %i, align 4
+  %1 = load i32, i32* %i, align 4
+  %2 = bitcast i32* %i to i8*
+  call void @llvm.lifetime.end.p0i8(i64 4, i8* %2)
+  ret i32 %1
+}
+
+; CHECK0: *** IR Dump At Start: ***
+; CHECK0: *** IR Dump After VerifierPass (module) omitted because no change ***
+; CHECK0: *** IR Dump After SimplifyCFGPass *** (function: g)
+; CHECK0: *** IR Pass PassManager<llvm::Function> (function: g) ignored ***
+; CHECK0: *** IR Dump After SimplifyCFGPass *** (function: f)
+; CHECK0: *** IR Pass PassManager<llvm::Function> (function: f) ignored ***
+; CHECK0: *** IR Dump After SimplifyCFGPass (function: main) omitted because no change ***
+; CHECK0: *** IR Pass PassManager<llvm::Function> (function: main) ignored ***
+; CHECK0: *** IR Pass ModuleToFunctionPassAdaptor<llvm::PassManager<llvm::Function>{{[ ]?}}> (module) ignored ***
+; CHECK0: *** IR Dump After VerifierPass (module) omitted because no change ***
+; CHECK0: *** IR Dump After PrintModulePass (module) omitted because no change ***
+
+; CHECK1: *** IR Dump At Start: ***
+; CHECK1: *** IR Dump After VerifierPass (module) omitted because no change ***
+; CHECK1: *** IR Dump After SimplifyCFGPass (function: g) filtered out ***
+; CHECK1: *** IR Pass PassManager<llvm::Function> (function: g) ignored ***
+; CHECK1: *** IR Dump After SimplifyCFGPass *** (function: f)
+; CHECK1: *** IR Pass PassManager<llvm::Function> (function: f) ignored ***
+; CHECK1: *** IR Dump After SimplifyCFGPass (function: main) filtered out ***
+; CHECK1: *** IR Pass PassManager<llvm::Function> (function: main) ignored ***
+; CHECK1: *** IR Pass ModuleToFunctionPassAdaptor<llvm::PassManager<llvm::Function>{{[ ]?}}> (module) ignored ***
+; CHECK1: *** IR Dump After VerifierPass (module) omitted because no change ***
+; CHECK1: *** IR Dump After PrintModulePass (module) omitted because no change ***
+
+; CHECK2: *** IR Dump At Start: ***
+; CHECK2: *** IR Dump After VerifierPass (module) omitted because no change ***
+; CHECK2: *** IR Dump After SimplifyCFGPass *** (function: g)
+; CHECK2: ModuleID = '<stdin>'
+; CHECK2: *** IR Pass PassManager<llvm::Function> (function: g) ignored ***
+; CHECK2: *** IR Dump After SimplifyCFGPass *** (function: f)
+; CHECK2: ModuleID = '<stdin>'
+; CHECK2: *** IR Pass PassManager<llvm::Function> (function: f) ignored ***
+; CHECK2: *** IR Dump After SimplifyCFGPass (function: main) omitted because no change ***
+; CHECK2: *** IR Pass PassManager<llvm::Function> (function: main) ignored ***
+; CHECK2: *** IR Pass ModuleToFunctionPassAdaptor<llvm::PassManager<llvm::Function>{{[ ]?}}> (module) ignored ***
+; CHECK2: *** IR Dump After VerifierPass (module) omitted because no change ***
+; CHECK2: *** IR Dump After PrintModulePass (module) omitted because no change ***
+
+; CHECK3: *** IR Dump At Start: ***
+; CHECK3: *** IR Dump After VerifierPass (module) omitted because no change ***
+; CHECK3: *** IR Dump After SimplifyCFGPass (function: g) filtered out ***
+; CHECK3: *** IR Pass PassManager<llvm::Function> (function: g) ignored ***
+; CHECK3: *** IR Dump After SimplifyCFGPass *** (function: f)
+; CHECK3: ModuleID = '<stdin>'
+; CHECK3: *** IR Pass PassManager<llvm::Function> (function: f) ignored ***
+; CHECK3: *** IR Dump After SimplifyCFGPass (function: main) filtered out ***
+; CHECK3: *** IR Pass PassManager<llvm::Function> (function: main) ignored ***
+; CHECK3: *** IR Pass ModuleToFunctionPassAdaptor<llvm::PassManager<llvm::Function>{{[ ]?}}> (module) ignored ***
+; CHECK3: *** IR Dump After VerifierPass (module) omitted because no change ***
+; CHECK3: *** IR Dump After PrintModulePass (module) omitted because no change ***
+
+; CHECK4: *** IR Dump At Start: ***
+; CHECK4: *** IR Dump After VerifierPass (module) omitted because no change ***
+; CHECK4: *** IR Dump After SimplifyCFGPass *** (function: g)
+; CHECK4: *** IR Pass PassManager<llvm::Function> (function: g) ignored ***
+; CHECK4: *** IR Dump After SimplifyCFGPass *** (function: f)
+; CHECK4: *** IR Pass PassManager<llvm::Function> (function: f) ignored ***
+; CHECK4: *** IR Dump After SimplifyCFGPass (function: main) filtered out ***
+; CHECK4: *** IR Pass PassManager<llvm::Function> (function: main) ignored ***
+; CHECK4: *** IR Pass ModuleToFunctionPassAdaptor<llvm::PassManager<llvm::Function>{{[ ]?}}> (module) ignored ***
+; CHECK4: *** IR Dump After VerifierPass (module) omitted because no change ***
+; CHECK4: *** IR Dump After PrintModulePass (module) omitted because no change ***
+
+; CHECK5: *** IR Dump After VerifierPass (module) filtered out ***
+; CHECK5: *** IR Dump After SimplifyCFGPass (function: g) filtered out ***
+; CHECK5: *** IR Dump At Start: *** (function: g)
+; CHECK5: *** IR Dump After InstCombinePass *** (function: g)
+; CHECK5: *** IR Pass PassManager<llvm::Function> (function: g) ignored ***
+; CHECK5: *** IR Dump After SimplifyCFGPass (function: f) filtered out ***
+; CHECK5: *** IR Dump After InstCombinePass *** (function: f)
+; CHECK5: *** IR Pass PassManager<llvm::Function> (function: f) ignored ***
+; CHECK5: *** IR Dump After SimplifyCFGPass (function: main) filtered out ***
+; CHECK5: *** IR Dump After InstCombinePass *** (function: main)
+; CHECK5: *** IR Pass PassManager<llvm::Function> (function: main) ignored ***
+; CHECK5: *** IR Pass ModuleToFunctionPassAdaptor<llvm::PassManager<llvm::Function> > (module) ignored ***
+; CHECK5: *** IR Dump After VerifierPass (module) filtered out ***
+; CHECK5: *** IR Dump After PrintModulePass (module) filtered out ***
+
+; CHECK6: *** IR Dump After VerifierPass (module) filtered out ***
+; CHECK6: *** IR Dump At Start: *** (function: g)
+; CHECK6: *** IR Dump After SimplifyCFGPass *** (function: g)
+; CHECK6: *** IR Dump After InstCombinePass *** (function: g)
+; CHECK6: *** IR Pass PassManager<llvm::Function> (function: g) ignored ***
+; CHECK6: *** IR Dump After SimplifyCFGPass *** (function: f)
+; CHECK6: *** IR Dump After InstCombinePass *** (function: f)
+; CHECK6: *** IR Pass PassManager<llvm::Function> (function: f) ignored ***
+; CHECK6: *** IR Dump After SimplifyCFGPass (function: main) omitted because no change ***
+; CHECK6: *** IR Dump After InstCombinePass *** (function: main)
+; CHECK6: *** IR Pass PassManager<llvm::Function> (function: main) ignored ***
+; CHECK6: *** IR Pass ModuleToFunctionPassAdaptor<llvm::PassManager<llvm::Function> > (module) ignored ***
+; CHECK6: *** IR Dump After VerifierPass (module) filtered out ***
+; CHECK6: *** IR Dump After PrintModulePass (module) filtered out ***
+
+; CHECK7: *** IR Dump After VerifierPass (module) filtered out ***
+; CHECK7: *** IR Dump After SimplifyCFGPass (function: g) filtered out ***
+; CHECK7: *** IR Dump After InstCombinePass (function: g) filtered out ***
+; CHECK7: *** IR Pass PassManager<llvm::Function> (function: g) ignored ***
+; CHECK7: *** IR Dump At Start: *** (function: f)
+; CHECK7: *** IR Dump After SimplifyCFGPass *** (function: f)
+; CHECK7: *** IR Dump After InstCombinePass *** (function: f)
+; CHECK7: *** IR Pass PassManager<llvm::Function> (function: f) ignored ***
+; CHECK7: *** IR Dump After SimplifyCFGPass (function: main) filtered out ***
+; CHECK7: *** IR Dump After InstCombinePass (function: main) filtered out ***
+; CHECK7: *** IR Pass PassManager<llvm::Function> (function: main) ignored ***
+; CHECK7: *** IR Pass ModuleToFunctionPassAdaptor<llvm::PassManager<llvm::Function> > (module) ignored ***
+; CHECK7: *** IR Dump After VerifierPass (module) filtered out ***
+; CHECK7: *** IR Dump After PrintModulePass (module) filtered out ***
+
+; CHECK8: *** IR Dump After VerifierPass (module) filtered out ***
+; CHECK8: *** IR Dump After SimplifyCFGPass (function: g) filtered out ***
+; CHECK8: *** IR Dump After InstCombinePass (function: g) filtered out ***
+; CHECK8: *** IR Pass PassManager<llvm::Function> (function: g) ignored ***
+; CHECK8: *** IR Dump At Start: *** (function: f)
+; CHECK8: *** IR Dump After SimplifyCFGPass *** (function: f)
+; CHECK8: ModuleID = '<stdin>'
+; CHECK8: *** IR Dump After InstCombinePass *** (function: f)
+; CHECK8: ModuleID = '<stdin>'
+; CHECK8: *** IR Pass PassManager<llvm::Function> (function: f) ignored ***
+; CHECK8: *** IR Dump After SimplifyCFGPass (function: main) filtered out ***
+; CHECK8: *** IR Dump After InstCombinePass (function: main) filtered out ***
+; CHECK8: *** IR Pass PassManager<llvm::Function> (function: main) ignored ***
+; CHECK8: *** IR Pass ModuleToFunctionPassAdaptor<llvm::PassManager<llvm::Function> > (module) ignored ***
+; CHECK8: *** IR Dump After VerifierPass (module) filtered out ***
+; CHECK8: *** IR Dump After PrintModulePass (module) filtered out ***