xref: /llvm-project/llvm/test/tools/llvm-reduce/remove-funcs.ll (revision 1437a83491cbe4af1b452a3f862a6b609057c26d) 
10bc5436aSSamuel; Test that llvm-reduce can remove uninteresting functions as well as
20bc5436aSSamuel; their InstCalls.
30bc5436aSSamuel;
4*1437a834SRushi Bhamani; RUN: llvm-reduce --abort-on-invalid-reduction --delta-passes=functions,instructions --test FileCheck --test-arg --check-prefixes=CHECK-ALL,CHECK-INTERESTINGNESS --test-arg %s --test-arg --input-file %s -o %t
50bc5436aSSamuel; RUN: cat %t | FileCheck -implicit-check-not=uninteresting --check-prefixes=CHECK-ALL,CHECK-FINAL %s
60bc5436aSSamuel
70bc5436aSSamueldefine i32 @uninteresting1() {
80bc5436aSSamuelentry:
90bc5436aSSamuel  ret i32 0
100bc5436aSSamuel}
110bc5436aSSamuel
120bc5436aSSamuel; CHECK-ALL-LABEL: interesting()
130bc5436aSSamueldefine i32 @interesting() {
140bc5436aSSamuelentry:
150bc5436aSSamuel  ; CHECK-INTERESTINGNESS: call i32 @interesting()
160bc5436aSSamuel  %call2 = call i32 @interesting()
170bc5436aSSamuel  %call = call i32 @uninteresting1()
180bc5436aSSamuel  ret i32 5
190bc5436aSSamuel}
200bc5436aSSamuel
210bc5436aSSamuel; CHECK-FINAL-NEXT: entry:
220bc5436aSSamuel; CHECK-FINAL-NEXT:   %call2 = call i32 @interesting()
230bc5436aSSamuel; CHECK-FINAL-NEXT:   ret i32 5
240bc5436aSSamuel; CHECK-FINAL-NEXT: }
250bc5436aSSamuel
260bc5436aSSamueldefine i32 @uninteresting2() {
270bc5436aSSamuelentry:
280bc5436aSSamuel  ret i32 0
290bc5436aSSamuel}
300bc5436aSSamuel
310bc5436aSSamueldeclare void @uninteresting3()
32