ccc9107ad6
-opt-bisect-print-ir-path=foo will dump the IR to foo when opt-bisect-limit starts skipping passes. Currently we don't print the IR if the opt-bisect-limit is higher than the total number of times opt-bisect is called. This makes getting the IR right before a bad transform easier. Reviewed By: hans Differential Revision: https://reviews.llvm.org/D133809
29 lines
961 B
LLVM
29 lines
961 B
LLVM
; RUN: opt -disable-verify -passes=instcombine < %s -opt-bisect-limit=0 -opt-bisect-print-ir-path=%t -disable-output
|
|
; RUN: FileCheck %s --check-prefix=LIMIT0 --input-file %t
|
|
; RUN: opt -disable-verify -passes=instcombine < %s -opt-bisect-limit=1 -opt-bisect-print-ir-path=%t -disable-output
|
|
; RUN: FileCheck %s --check-prefix=LIMIT1 --input-file %t
|
|
; RUN: opt -disable-verify -passes=instcombine < %s -opt-bisect-limit=2 -opt-bisect-print-ir-path=%t -disable-output
|
|
; FIXME: print IR if limit is higher than number of opt-bisect invocations
|
|
|
|
; Check that we only print the module once
|
|
; RUN: opt -disable-verify -passes=instcombine < %s -opt-bisect-limit=1 -opt-bisect-print-ir-path=- -disable-output 2>&1 | FileCheck %s
|
|
|
|
; LIMIT0: ret i32 %r
|
|
; LIMIT0: ret i32 %r
|
|
|
|
; LIMIT1: ret i32 2
|
|
; LIMIT1: ret i32 %r
|
|
|
|
; CHECK: ModuleID
|
|
; CHECK-NOT: ModuleID
|
|
|
|
define i32 @f1() {
|
|
%r = add i32 1, 1
|
|
ret i32 %r
|
|
}
|
|
|
|
define i32 @f2() {
|
|
%r = add i32 1, 1
|
|
ret i32 %r
|
|
}
|