mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-23 11:13:28 +01:00
27f75460b8
Removing terminators will result in invalid IR, making further reductions pointless. I do not think there is any valid use case where we actually want to create invalid IR as part of a reduction. Reviewed By: lebedev.ri Differential Revision: https://reviews.llvm.org/D86210
32 lines
817 B
LLVM
32 lines
817 B
LLVM
; Test that llvm-reduce can remove uninteresting functions as well as
|
|
; their InstCalls.
|
|
;
|
|
; RUN: llvm-reduce --test FileCheck --test-arg --check-prefixes=CHECK-ALL,CHECK-INTERESTINGNESS --test-arg %s --test-arg --input-file %s -o %t
|
|
; RUN: cat %t | FileCheck -implicit-check-not=uninteresting --check-prefixes=CHECK-ALL,CHECK-FINAL %s
|
|
|
|
define i32 @uninteresting1() {
|
|
entry:
|
|
ret i32 0
|
|
}
|
|
|
|
; CHECK-ALL-LABEL: interesting()
|
|
define i32 @interesting() {
|
|
entry:
|
|
; CHECK-INTERESTINGNESS: call i32 @interesting()
|
|
%call2 = call i32 @interesting()
|
|
%call = call i32 @uninteresting1()
|
|
ret i32 5
|
|
}
|
|
|
|
; CHECK-FINAL-NEXT: entry:
|
|
; CHECK-FINAL-NEXT: %call2 = call i32 @interesting()
|
|
; CHECK-FINAL-NEXT: ret i32 5
|
|
; CHECK-FINAL-NEXT: }
|
|
|
|
define i32 @uninteresting2() {
|
|
entry:
|
|
ret i32 0
|
|
}
|
|
|
|
declare void @uninteresting3()
|