xref: /llvm-project/llvm/test/tools/llvm-reduce/no-remove-ifunc-function.ll (revision 8e3e218a5fb64deda325f93a6cdebefbccf205a3)
1*8e3e218aSMatt Arsenault; RUN: llvm-reduce -abort-on-invalid-reduction --delta-passes=functions --test FileCheck --test-arg --check-prefixes=CHECK-INTERESTINGNESS --test-arg %s --test-arg --input-file %s -o %t
2*8e3e218aSMatt Arsenault; RUN: FileCheck --check-prefixes=CHECK-FINAL --input-file=%t %s
3*8e3e218aSMatt Arsenault
4*8e3e218aSMatt Arsenault; Test handling of ifunc. Make sure function reduction doesn't create
5*8e3e218aSMatt Arsenault; invalid ifunc
6*8e3e218aSMatt Arsenault
7*8e3e218aSMatt Arsenault
8*8e3e218aSMatt Arsenault; CHECK-INTERESTINGNESS: define void @no_ifunc_interesting
9*8e3e218aSMatt Arsenault
10*8e3e218aSMatt Arsenault; CHECK-FINAL: @ifunc1 = ifunc void (), ptr @has_ifunc
11*8e3e218aSMatt Arsenault; CHECK-FINAL: define void @no_ifunc_interesting() {
12*8e3e218aSMatt Arsenault; CHECK-FINAL-NOT: define
13*8e3e218aSMatt Arsenault
14*8e3e218aSMatt Arsenault@ifunc1 = ifunc void (), ptr @has_ifunc
15*8e3e218aSMatt Arsenault
16*8e3e218aSMatt Arsenault
17*8e3e218aSMatt Arsenaultdefine ptr @has_ifunc() {
18*8e3e218aSMatt Arsenault  ret ptr inttoptr (i64 124 to ptr)
19*8e3e218aSMatt Arsenault}
20*8e3e218aSMatt Arsenault
21*8e3e218aSMatt Arsenaultdefine void @no_ifunc_interesting() {
22*8e3e218aSMatt Arsenault  ret void
23*8e3e218aSMatt Arsenault}
24*8e3e218aSMatt Arsenault
25*8e3e218aSMatt Arsenaultdefine void @no_ifunc_boring() {
26*8e3e218aSMatt Arsenault  ret void
27*8e3e218aSMatt Arsenault}
28