mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-18 18:42:46 +02:00
2a2896669d
Being lazy with printing the banner seems hard to reason with, we should print it unconditionally first (it could also lead to duplicate banners if we have multiple functions in -filter-print-funcs). The printIR() functions were doing too many things. I separated out the call from PrintPassInstrumentation since we were essentially doing two completely separate things in printIR() from different callers. There were multiple ways to generate the name of some IR. That's all been moved to getIRName(). The printing of the IR name was also inconsistent, now it's always "IR Dump on $foo" where "$foo" is the name. For a function, it's the function name. For a loop, it's what's printed by Loop::print(), which is more detailed. For an SCC, it's the list of functions in parentheses. For a module it's "[module]", to differentiate between a possible SCC with a function called "module". To preserve D74814, we have to check if we're going to print anything at all first. This is unfortunate, but I would consider this a special case that shouldn't be handled in the core logic. Reviewed By: jamieschmeiser Differential Revision: https://reviews.llvm.org/D100231
82 lines
2.5 KiB
LLVM
82 lines
2.5 KiB
LLVM
; This test checks -print-after/before on loop passes
|
|
; Besides of the loop itself it should be dumping loop pre-header and exits.
|
|
;
|
|
; RUN: opt < %s 2>&1 -disable-output \
|
|
; RUN: -loop-deletion -print-before=loop-deletion \
|
|
; RUN: | FileCheck %s -check-prefix=DEL
|
|
; RUN: opt < %s 2>&1 -disable-output \
|
|
; RUN: -passes='loop(loop-deletion)' -print-before=loop-deletion \
|
|
; RUN: | FileCheck %s -check-prefix=DEL
|
|
; RUN: opt -enable-new-pm=0 < %s 2>&1 -disable-output \
|
|
; RUN: -loop-unroll -print-after=loop-unroll -filter-print-funcs=bar \
|
|
; RUN: | FileCheck %s -check-prefix=BAR -check-prefix=BAR-OLD
|
|
; RUN: opt < %s 2>&1 -disable-output \
|
|
; RUN: -passes='require<opt-remark-emit>,loop(loop-unroll-full)' -print-after=loop-unroll-full -filter-print-funcs=bar \
|
|
; RUN: | FileCheck %s -check-prefix=BAR
|
|
; RUN: opt -enable-new-pm=0 < %s 2>&1 -disable-output \
|
|
; RUN: -loop-unroll -print-after=loop-unroll -filter-print-funcs=foo -print-module-scope \
|
|
; RUN: | FileCheck %s -check-prefix=FOO-MODULE -check-prefix=FOO-MODULE-OLD
|
|
; RUN: opt < %s 2>&1 -disable-output \
|
|
; RUN: -passes='require<opt-remark-emit>,loop(loop-unroll-full)' -print-after=loop-unroll-full -filter-print-funcs=foo -print-module-scope \
|
|
; RUN: | FileCheck %s -check-prefix=FOO-MODULE
|
|
|
|
; DEL: IR Dump Before {{Delete dead loops|LoopDeletionPass}}
|
|
; DEL: ; Preheader:
|
|
; DEL-NEXT: %idx = alloca i32, align 4
|
|
; DEL: ; Loop:
|
|
; DEL-NEXT: loop:
|
|
; DEL: cont:
|
|
; DEL: ; Exit blocks
|
|
; DEL: done:
|
|
; DEL: IR Dump Before {{Delete dead loops|LoopDeletionPass}}
|
|
; DEL: ; Preheader:
|
|
; DEL-NEXT: br label %loop
|
|
; DEL: ; Loop:
|
|
; DEL-NEXT: loop:
|
|
; DEL: ; Exit blocks
|
|
; DEL: end:
|
|
|
|
; BAR: IR Dump After {{Unroll|LoopFullUnrollPass}}
|
|
; BAR: ; Preheader:
|
|
; BAR-NEXT: br label %loop
|
|
; BAR: ; Loop:
|
|
; BAR-NEXT: loop:
|
|
; BAR: ; Exit blocks
|
|
; BAR: end:
|
|
; BAR-OLD-NOT: IR Dump
|
|
; BAR-OLD-NOT: ; Loop
|
|
|
|
; FOO-MODULE: IR Dump After {{Unroll|LoopFullUnrollPass}} {{.*}}%loop
|
|
; FOO-MODULE-NEXT: ModuleID =
|
|
; FOO-MODULE: define void @foo
|
|
; FOO-MODULE: define void @bar
|
|
; FOO-MODULE-OLD-NOT: IR Dump
|
|
|
|
define void @foo(){
|
|
%idx = alloca i32, align 4
|
|
store i32 0, i32* %idx, align 4
|
|
br label %loop
|
|
|
|
loop:
|
|
%1 = load i32, i32* %idx, align 4
|
|
%2 = icmp slt i32 %1, 10
|
|
br i1 %2, label %cont, label %done
|
|
|
|
cont:
|
|
%3 = load i32, i32* %idx, align 4
|
|
%4 = add nsw i32 %3, 1
|
|
store i32 %4, i32* %idx, align 4
|
|
br label %loop
|
|
|
|
done:
|
|
ret void
|
|
}
|
|
|
|
define void @bar(){
|
|
br label %loop
|
|
loop:
|
|
br i1 1, label %loop, label %end
|
|
end:
|
|
ret void
|
|
}
|