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()
|