diff options
author | Fedor Sergeev <fedor.sergeev@azul.com> | 2017-12-01 17:42:46 +0000 |
---|---|---|
committer | Fedor Sergeev <fedor.sergeev@azul.com> | 2017-12-01 17:42:46 +0000 |
commit | 7d160f714357f6784ead669ce516e94991c12e5a (patch) | |
tree | e569a91159b78f4b76e27844dc3e5840fbbc32af /test/Other | |
parent | 31eff6b5eec89f1e512845d8eaf676e763851fb9 (diff) |
IR printing improvement for function passes - introducing -print-module-scope
Summary:
When debugging function passes it happens to be rather useful to dump
the whole module before the transformation and then use this dump
to analyze this single transformation by running it separately
on that particular module state.
Introducing
-print-module-scope
debugging option that forces all the function-level IR dumps
to become whole-module dumps.
This option builds on top of normal dumping controls like
-print-before/after
-filter-print-funcs
The plan is to eventually extend this option to cover other local passes
(at least loop passes) but that should go as a separate change.
Reviewers: sanjoy, weimingz, silvas, fedor.sergeev
Reviewed By: weimingz
Subscribers: apilipenko, skatkov, llvm-commits, mehdi_amini
Differential Revision: https://reviews.llvm.org/D40245
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@319561 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Other')
-rw-r--r-- | test/Other/print-module-scope.ll | 55 |
1 files changed, 55 insertions, 0 deletions
diff --git a/test/Other/print-module-scope.ll b/test/Other/print-module-scope.ll new file mode 100644 index 00000000000..0e9c4d59cc3 --- /dev/null +++ b/test/Other/print-module-scope.ll @@ -0,0 +1,55 @@ +; This test is checking basic properties of -print-module-scope options: +; - dumps all the module IR at once +; - all the function attributes are shown, including those of declarations +; - works on top of -print-after and -filter-print-funcs +; +; RUN: opt < %s 2>&1 -disable-output \ +; RUN: -simplifycfg -print-after=simplifycfg -print-module-scope \ +; RUN: | FileCheck %s -check-prefix=CFG +; RUN: opt < %s 2>&1 -disable-output \ +; RUN: -simplifycfg -print-after=simplifycfg -filter-print-funcs=foo -print-module-scope \ +; RUN: | FileCheck %s -check-prefix=FOO + +; CFG: IR Dump After +; CFG-SAME: function: foo +; CFG-NEXT: ModuleID = +; CFG: define void @foo +; CFG: define void @bar +; CFG: declare void @baz +; CFG: IR Dump After +; CFG-SAME: function: bar +; CFG-NEXT: ModuleID = +; CFG: define void @foo +; CFG: define void @bar +; CFG: declare void @baz + +; FOO: IR Dump After +; FOO-NOT: function: bar +; FOO-SAME: function: foo +; FOO-NEXT: ModuleID = +; FOO: Function Attrs: nounwind ssp +; FOO: define void @foo +; FOO: Function Attrs: nounwind +; FOO: define void @bar +; FOO: Function Attrs: nounwind readnone ssp +; FOO: declare void @baz + +define void @foo() nounwind ssp { + call void @baz() + ret void +} + +define void @bar() #0 { + ret void +} + +declare void @baz() #1 + +attributes #0 = { nounwind "no-frame-pointer-elim"="true" } + +attributes #1 = { nounwind readnone ssp "use-soft-float"="false" } +; FOO: attributes #{{[0-9]}} = { nounwind "no-frame-pointer-elim"="true" } + +; FOO: attributes #{{[0-9]}} = { nounwind readnone ssp "use-soft-float"="false" } + +; FOO-NOT: IR Dump |