LLVM 20.0.0git
GlobalIFunc.h
Go to the documentation of this file.
1//===-------- llvm/GlobalIFunc.h - GlobalIFunc class ------------*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8///
9/// \file
10/// This file contains the declaration of the GlobalIFunc class, which
11/// represents a single indirect function in the IR. Indirect function uses
12/// ELF symbol type extension to mark that the address of a declaration should
13/// be resolved at runtime by calling a resolver function.
14///
15//===----------------------------------------------------------------------===//
16
17#ifndef LLVM_IR_GLOBALIFUNC_H
18#define LLVM_IR_GLOBALIFUNC_H
19
20#include "llvm/ADT/ilist_node.h"
21#include "llvm/IR/Constant.h"
24#include "llvm/IR/Value.h"
25
26namespace llvm {
27
28class Twine;
29class Module;
30
31// Traits class for using GlobalIFunc in symbol table in Module.
32template <typename ValueSubClass, typename... Args> class SymbolTableListTraits;
33
34class GlobalIFunc final : public GlobalObject, public ilist_node<GlobalIFunc> {
36
37 constexpr static IntrusiveOperandsAllocMarker AllocMarker{1};
38
41
42public:
43 GlobalIFunc(const GlobalIFunc &) = delete;
44 GlobalIFunc &operator=(const GlobalIFunc &) = delete;
45
46 /// If a parent module is specified, the ifunc is automatically inserted into
47 /// the end of the specified module's ifunc list.
48 static GlobalIFunc *create(Type *Ty, unsigned AddressSpace,
51
52 // allocate space for exactly one operand
53 void *operator new(size_t S) { return User::operator new(S, AllocMarker); }
54 void operator delete(void *Ptr) { User::operator delete(Ptr); }
55
56 /// Provide fast operand accessors
58
61 }
62
63 /// This method unlinks 'this' from the containing module, but does not
64 /// delete it.
65 void removeFromParent();
66
67 /// This method unlinks 'this' from the containing module and deletes it.
68 void eraseFromParent();
69
70 /// These methods retrieve and set ifunc resolver function.
72 const Constant *getResolver() const {
73 return static_cast<Constant *>(Op<0>().get());
74 }
75 Constant *getResolver() { return static_cast<Constant *>(Op<0>().get()); }
76
77 // Return the resolver function after peeling off potential ConstantExpr
78 // indirection.
79 const Function *getResolverFunction() const;
81 return const_cast<Function *>(
82 static_cast<const GlobalIFunc *>(this)->getResolverFunction());
83 }
84
86 return isExternalLinkage(L) || isLocalLinkage(L) || isWeakLinkage(L) ||
88 }
89
90 // Methods for support type inquiry through isa, cast, and dyn_cast:
91 static bool classof(const Value *V) {
92 return V->getValueID() == Value::GlobalIFuncVal;
93 }
94
95 // Apply specific operation to all resolver-related values. If resolver target
96 // is already a global object, then apply the operation to it directly. If
97 // target is a GlobalExpr or a GlobalAlias, evaluate it to its base object and
98 // apply the operation for the base object and all aliases along the path.
99 void applyAlongResolverPath(function_ref<void(const GlobalValue &)> Op) const;
100};
101
102template <>
104 : public FixedNumOperandTraits<GlobalIFunc, 1> {};
105
107
108} // end namespace llvm
109
110#endif // LLVM_IR_GLOBALIFUNC_H
std::string Name
Machine Check Debug Module
#define DEFINE_TRANSPARENT_OPERAND_ACCESSORS(CLASS, VALUECLASS)
Macro for generating out-of-class operand accessor definitions.
This is an important base class in LLVM.
Definition: Constant.h:42
This class represents an Operation in the Expression.
GlobalIFunc(const GlobalIFunc &)=delete
void applyAlongResolverPath(function_ref< void(const GlobalValue &)> Op) const
Definition: Globals.cpp:628
DECLARE_TRANSPARENT_OPERAND_ACCESSORS(Constant)
Provide fast operand accessors.
void copyAttributesFrom(const GlobalIFunc *Src)
Definition: GlobalIFunc.h:59
Function * getResolverFunction()
Definition: GlobalIFunc.h:80
const Function * getResolverFunction() const
Definition: Globals.cpp:624
Constant * getResolver()
Definition: GlobalIFunc.h:75
void removeFromParent()
This method unlinks 'this' from the containing module, but does not delete it.
Definition: Globals.cpp:620
static bool isValidLinkage(LinkageTypes L)
Definition: GlobalIFunc.h:85
static GlobalIFunc * create(Type *Ty, unsigned AddressSpace, LinkageTypes Linkage, const Twine &Name, Constant *Resolver, Module *Parent)
If a parent module is specified, the ifunc is automatically inserted into the end of the specified mo...
Definition: Globals.cpp:614
void setResolver(Constant *Resolver)
These methods retrieve and set ifunc resolver function.
Definition: GlobalIFunc.h:71
void eraseFromParent()
This method unlinks 'this' from the containing module and deletes it.
Definition: Globals.cpp:622
static bool classof(const Value *V)
Definition: GlobalIFunc.h:91
GlobalIFunc & operator=(const GlobalIFunc &)=delete
const Constant * getResolver() const
Definition: GlobalIFunc.h:72
void copyAttributesFrom(const GlobalObject *Src)
Definition: Globals.cpp:153
static bool isLocalLinkage(LinkageTypes Linkage)
Definition: GlobalValue.h:409
static bool isLinkOnceLinkage(LinkageTypes Linkage)
Definition: GlobalValue.h:388
static bool isExternalLinkage(LinkageTypes Linkage)
Definition: GlobalValue.h:376
static bool isWeakLinkage(LinkageTypes Linkage)
Definition: GlobalValue.h:397
unsigned Linkage
Definition: GlobalValue.h:98
LinkageTypes
An enumeration for the kinds of linkage for global values.
Definition: GlobalValue.h:51
A Module instance is used to store all the information related to an LLVM module.
Definition: Module.h:65
Interface for looking up the initializer for a variable name, used by Init::resolveReferences.
Definition: Record.h:2203
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
Definition: Twine.h:81
The instances of the Type class are immutable: once they are created, they are never changed.
Definition: Type.h:45
LLVM Value Representation.
Definition: Value.h:74
An efficient, type-erasing, non-owning reference to a callable.
This file defines the ilist_node class template, which is a convenient base class for creating classe...
constexpr char Args[]
Key for Kernel::Metadata::mArgs.
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
FixedNumOperandTraits - determine the allocation regime of the Use array when it is a prefix to the U...
Definition: OperandTraits.h:30
Compile-time customization of User operands.
Definition: User.h:42
Indicates this User has operands co-allocated.
Definition: User.h:60