81eb7defa2
This commit adds a new pass gate that allows selective disabling of one or more passes via the clang command line using the `-opt-disable` option. Passes to be disabled should be specified as a comma-separated list of their names. The implementation resides in the same file as the bisection tool. The `getGlobalPassGate()` function returns the currently enabled gate. Example: `-opt-disable="PassA,PassB"` Pass names are matched using case-insensitive comparisons. However, note that special characters, including spaces, must be included exactly as they appear in the pass names. Additionally, a `-opt-disable-enable-verbosity` flag has been introduced to enable verbose output when this functionality is in use. When enabled, it prints the status of all passes (either running or NOT running), similar to the default behavior of `-opt-bisect-limit`. This flag is disabled by default, which is the opposite of the `-opt-bisect-verbose` flag (which defaults to enabled). To validate this functionality, a test file has also been provided. It reuses the same infrastructure as the opt-bisect test, but disables three specific passes and checks the output to ensure the expected behavior. --------- Co-authored-by: Nikita Popov <github@npopov.com>
92 lines
2.8 KiB
LLVM
92 lines
2.8 KiB
LLVM
; This test uses the same IR functions of the opt-bisect test
|
|
; but it checks the correctness of the -opt-disable flag.
|
|
; -opt-disable-enable-verbosity is required to have output.
|
|
|
|
; RUN: opt -disable-output -disable-verify \
|
|
; RUN: -opt-disable-enable-verbosity \
|
|
; RUN: -passes=inferattrs -opt-disable=inferattrs %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-MODULE-PASS
|
|
; CHECK-MODULE-PASS: OptDisable: NOT running pass inferattrs on [module]
|
|
|
|
; RUN: opt -disable-output -disable-verify \
|
|
; RUN: -opt-disable-enable-verbosity \
|
|
; RUN: -passes=sroa -opt-disable=sroa %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-FUNCTION-PASS
|
|
; CHECK-FUNCTION-PASS: OptDisable: NOT running pass sroa on f1
|
|
; CHECK-FUNCTION-PASS: OptDisable: NOT running pass sroa on f2
|
|
; CHECK-FUNCTION-PASS: OptDisable: NOT running pass sroa on f3
|
|
; CHECK-FUNCTION-PASS: OptDisable: NOT running pass sroa on f4
|
|
|
|
; RUN: opt -disable-output -disable-verify \
|
|
; RUN: -opt-disable=inferattrs,function-attrs \
|
|
; RUN: -opt-disable-enable-verbosity \
|
|
; RUN: -passes='inferattrs,cgscc(function-attrs,function(early-cse))' %s 2>&1 \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-MULTI-PASS
|
|
; CHECK-MULTI-PASS: OptDisable: NOT running pass inferattrs on [module]
|
|
; CHECK-MULTI-PASS: OptDisable: NOT running pass function-attrs on (f1)
|
|
; CHECK-MULTI-PASS: OptDisable: running pass early-cse on f1
|
|
; CHECK-MULTI-PASS: OptDisable: NOT running pass function-attrs on (f2)
|
|
; CHECK-MULTI-PASS: OptDisable: running pass early-cse on f2
|
|
; CHECK-MULTI-PASS: OptDisable: NOT running pass function-attrs on (f3)
|
|
; CHECK-MULTI-PASS: OptDisable: running pass early-cse on f3
|
|
; CHECK-MULTI-PASS: OptDisable: NOT running pass function-attrs on (f4)
|
|
; CHECK-MULTI-PASS: OptDisable: running pass early-cse on f4
|
|
|
|
declare i32 @g()
|
|
|
|
define void @f1(i1 %arg) {
|
|
entry:
|
|
br label %loop.0
|
|
loop.0:
|
|
br i1 %arg, label %loop.0.0, label %loop.1
|
|
loop.0.0:
|
|
br i1 %arg, label %loop.0.0, label %loop.0.1
|
|
loop.0.1:
|
|
br i1 %arg, label %loop.0.1, label %loop.0
|
|
loop.1:
|
|
br i1 %arg, label %loop.1, label %loop.1.bb1
|
|
loop.1.bb1:
|
|
br i1 %arg, label %loop.1, label %loop.1.bb2
|
|
loop.1.bb2:
|
|
br i1 %arg, label %end, label %loop.1.0
|
|
loop.1.0:
|
|
br i1 %arg, label %loop.1.0, label %loop.1
|
|
end:
|
|
ret void
|
|
}
|
|
|
|
define i32 @f2() {
|
|
entry:
|
|
ret i32 0
|
|
}
|
|
|
|
define i32 @f3() {
|
|
entry:
|
|
%temp = call i32 @g()
|
|
%icmp = icmp ugt i32 %temp, 2
|
|
br i1 %icmp, label %bb.true, label %bb.false
|
|
bb.true:
|
|
%temp2 = call i32 @f2()
|
|
ret i32 %temp2
|
|
bb.false:
|
|
ret i32 0
|
|
}
|
|
|
|
define void @f4(i1 %arg) {
|
|
entry:
|
|
%i = alloca i32, align 4
|
|
call void @llvm.lifetime.start(i64 4, ptr %i)
|
|
br label %for.cond
|
|
|
|
for.cond:
|
|
br i1 %arg, label %for.body, label %for.end
|
|
|
|
for.body:
|
|
br label %for.cond
|
|
|
|
for.end:
|
|
ret void
|
|
}
|
|
|
|
declare void @llvm.lifetime.start(i64, ptr nocapture)
|