LLVM 20.0.0git
Macros | Typedefs | Enumerations | Functions | Variables
Function.cpp File Reference
#include "llvm/IR/Function.h"
#include "SymbolTableListTraitsImpl.h"
#include "llvm/ADT/ArrayRef.h"
#include "llvm/ADT/BitVector.h"
#include "llvm/ADT/DenseSet.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/SmallString.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/ADT/StringRef.h"
#include "llvm/IR/AbstractCallSite.h"
#include "llvm/IR/Argument.h"
#include "llvm/IR/Attributes.h"
#include "llvm/IR/BasicBlock.h"
#include "llvm/IR/Constant.h"
#include "llvm/IR/ConstantRange.h"
#include "llvm/IR/Constants.h"
#include "llvm/IR/DerivedTypes.h"
#include "llvm/IR/GlobalValue.h"
#include "llvm/IR/InstIterator.h"
#include "llvm/IR/Instruction.h"
#include "llvm/IR/IntrinsicInst.h"
#include "llvm/IR/Intrinsics.h"
#include "llvm/IR/IntrinsicsAArch64.h"
#include "llvm/IR/IntrinsicsAMDGPU.h"
#include "llvm/IR/IntrinsicsARM.h"
#include "llvm/IR/IntrinsicsBPF.h"
#include "llvm/IR/IntrinsicsDirectX.h"
#include "llvm/IR/IntrinsicsHexagon.h"
#include "llvm/IR/IntrinsicsLoongArch.h"
#include "llvm/IR/IntrinsicsMips.h"
#include "llvm/IR/IntrinsicsNVPTX.h"
#include "llvm/IR/IntrinsicsPowerPC.h"
#include "llvm/IR/IntrinsicsR600.h"
#include "llvm/IR/IntrinsicsRISCV.h"
#include "llvm/IR/IntrinsicsS390.h"
#include "llvm/IR/IntrinsicsSPIRV.h"
#include "llvm/IR/IntrinsicsVE.h"
#include "llvm/IR/IntrinsicsWebAssembly.h"
#include "llvm/IR/IntrinsicsX86.h"
#include "llvm/IR/IntrinsicsXCore.h"
#include "llvm/IR/LLVMContext.h"
#include "llvm/IR/MDBuilder.h"
#include "llvm/IR/Metadata.h"
#include "llvm/IR/Module.h"
#include "llvm/IR/Operator.h"
#include "llvm/IR/SymbolTableListTraits.h"
#include "llvm/IR/Type.h"
#include "llvm/IR/Use.h"
#include "llvm/IR/User.h"
#include "llvm/IR/Value.h"
#include "llvm/IR/ValueSymbolTable.h"
#include "llvm/Support/Casting.h"
#include "llvm/Support/CommandLine.h"
#include "llvm/Support/Compiler.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/ModRef.h"
#include <cassert>
#include <cstddef>
#include <cstdint>
#include <cstring>
#include <string>
#include "llvm/IR/IntrinsicImpl.inc"
#include "llvm/IR/ConstrainedOps.def"

Go to the source code of this file.

Macros

#define GET_INTRINSIC_NAME_TABLE
 
#define GET_INTRINSIC_TARGET_DATA
 Table of per-target intrinsic name tables.
 
#define GET_INTRINSIC_IITINFO
 
#define GET_INTRINSIC_GENERATOR_GLOBAL
 
#define GET_INTRINSIC_OVERLOAD_TABLE
 
#define GET_INTRINSIC_ATTRIBUTES
 This defines the "Intrinsic::getAttributes(ID id)" method.
 
#define GET_LLVM_INTRINSIC_FOR_CLANG_BUILTIN
 
#define GET_LLVM_INTRINSIC_FOR_MS_BUILTIN
 
#define INSTRUCTION(NAME, NARG, ROUND_MODE, INTRINSIC)    case Intrinsic::INTRINSIC:
 
#define INSTRUCTION(NAME, NARG, ROUND_MODE, INTRINSIC)
 

Typedefs

using ProfileCount = Function::ProfileCount
 
using DeferredIntrinsicMatchPair = std::pair< Type *, ArrayRef< Intrinsic::IITDescriptor > >
 

Enumerations

enum  IIT_Info
 IIT_Info - These are enumerators that describe the entries returned by the getIntrinsicInfoTableEntries function. More...
 

Functions

static TypegetMemoryParamAllocType (AttributeSet ParamAttrs)
 For a byval, sret, inalloca, or preallocated parameter, get the in-memory parameter type.
 
static unsigned computeAddrSpace (unsigned AddrSpace, Module *M)
 
static MutableArrayRef< ArgumentmakeArgArray (Argument *Args, size_t Count)
 
static ArrayRef< const char * > findTargetSubtable (StringRef Name)
 Find the segment of IntrinsicNameTable for intrinsics with the same target as Name, or the generic table if Name is not target specific.
 
static std::string getMangledTypeStr (Type *Ty, bool &HasUnnamedType)
 Returns a stable mangling for the type specified for use in the name mangling scheme used by 'any' types in intrinsic signatures.
 
static std::string getIntrinsicNameImpl (Intrinsic::ID Id, ArrayRef< Type * > Tys, Module *M, FunctionType *FT, bool EarlyModuleCheck)
 
static void DecodeIITType (unsigned &NextElt, ArrayRef< unsigned char > Infos, IIT_Info LastInfo, SmallVectorImpl< Intrinsic::IITDescriptor > &OutputTable)
 
static TypeDecodeFixedType (ArrayRef< Intrinsic::IITDescriptor > &Infos, ArrayRef< Type * > Tys, LLVMContext &Context)
 
static bool matchIntrinsicType (Type *Ty, ArrayRef< Intrinsic::IITDescriptor > &Infos, SmallVectorImpl< Type * > &ArgTys, SmallVectorImpl< DeferredIntrinsicMatchPair > &DeferredChecks, bool IsDeferredCheck)
 

Variables

static cl::opt< int > NonGlobalValueMaxNameSize ("non-global-value-max-name-size", cl::Hidden, cl::init(1024), cl::desc("Maximum size for the name of non-global values."))
 
cl::opt< boolUseNewDbgInfoFormat
 
static const char *const IntrinsicNameTable []
 Table of string intrinsic names indexed by enum value.
 

Macro Definition Documentation

◆ GET_INTRINSIC_ATTRIBUTES

#define GET_INTRINSIC_ATTRIBUTES

This defines the "Intrinsic::getAttributes(ID id)" method.

Definition at line 1535 of file Function.cpp.

◆ GET_INTRINSIC_GENERATOR_GLOBAL

#define GET_INTRINSIC_GENERATOR_GLOBAL

Definition at line 1378 of file Function.cpp.

◆ GET_INTRINSIC_IITINFO

#define GET_INTRINSIC_IITINFO

Definition at line 1145 of file Function.cpp.

◆ GET_INTRINSIC_NAME_TABLE

#define GET_INTRINSIC_NAME_TABLE

◆ GET_INTRINSIC_OVERLOAD_TABLE

#define GET_INTRINSIC_OVERLOAD_TABLE

◆ GET_INTRINSIC_TARGET_DATA

#define GET_INTRINSIC_TARGET_DATA

Table of per-target intrinsic name tables.

Definition at line 947 of file Function.cpp.

◆ GET_LLVM_INTRINSIC_FOR_CLANG_BUILTIN

#define GET_LLVM_INTRINSIC_FOR_CLANG_BUILTIN

Definition at line 1550 of file Function.cpp.

◆ GET_LLVM_INTRINSIC_FOR_MS_BUILTIN

#define GET_LLVM_INTRINSIC_FOR_MS_BUILTIN

Definition at line 1555 of file Function.cpp.

◆ INSTRUCTION [1/2]

#define INSTRUCTION (   NAME,
  NARG,
  ROUND_MODE,
  INTRINSIC 
)     case Intrinsic::INTRINSIC:

◆ INSTRUCTION [2/2]

#define INSTRUCTION (   NAME,
  NARG,
  ROUND_MODE,
  INTRINSIC 
)
Value:
case Intrinsic::INTRINSIC: \
return ROUND_MODE == 1;

Typedef Documentation

◆ DeferredIntrinsicMatchPair

Definition at line 1583 of file Function.cpp.

◆ ProfileCount

Definition at line 77 of file Function.cpp.

Enumeration Type Documentation

◆ IIT_Info

enum IIT_Info

IIT_Info - These are enumerators that describe the entries returned by the getIntrinsicInfoTableEntries function.

Defined in Intrinsics.td.

Definition at line 1144 of file Function.cpp.

Function Documentation

◆ computeAddrSpace()

static unsigned computeAddrSpace ( unsigned  AddrSpace,
Module M 
)
static

Definition at line 494 of file Function.cpp.

◆ DecodeFixedType()

static Type * DecodeFixedType ( ArrayRef< Intrinsic::IITDescriptor > &  Infos,
ArrayRef< Type * >  Tys,
LLVMContext Context 
)
static

◆ DecodeIITType()

static void DecodeIITType ( unsigned NextElt,
ArrayRef< unsigned char Infos,
IIT_Info  LastInfo,
SmallVectorImpl< Intrinsic::IITDescriptor > &  OutputTable 
)
static

◆ findTargetSubtable()

static ArrayRef< const char * > findTargetSubtable ( StringRef  Name)
static

Find the segment of IntrinsicNameTable for intrinsics with the same target as Name, or the generic table if Name is not target specific.

Returns the relevant slice of IntrinsicNameTable

Definition at line 963 of file Function.cpp.

References assert(), llvm::ArrayRef< T >::end(), IntrinsicNameTable, Name, and llvm::partition_point().

Referenced by llvm::Function::lookupIntrinsicID().

◆ getIntrinsicNameImpl()

static std::string getIntrinsicNameImpl ( Intrinsic::ID  Id,
ArrayRef< Type * >  Tys,
Module M,
FunctionType FT,
bool  EarlyModuleCheck 
)
static

◆ getMangledTypeStr()

static std::string getMangledTypeStr ( Type Ty,
bool HasUnnamedType 
)
static

Returns a stable mangling for the type specified for use in the name mangling scheme used by 'any' types in intrinsic signatures.

The mangling of named types is simply their name. Manglings for unnamed types consist of a prefix ('p' for pointers, 'a' for arrays, 'f_' for functions) combined with the mangling of their component types. A vararg function type will have a suffix of 'vararg'. Since function types can contain other function types, we close a function type mangling with suffix 'f' which can't be confused with it's prefix. This ensures we don't have collisions between two unrelated function types. Otherwise, you might parse ffXX as f(fXX) or f(fX)X. (X is a placeholder for any other type.) The HasUnnamedType boolean is set if an unnamed type was encountered, indicating that extra care must be taken to ensure a unique name.

Definition at line 1024 of file Function.cpp.

References llvm::Type::BFloatTyID, llvm::Type::DoubleTyID, llvm::Type::FloatTyID, llvm::Type::FP128TyID, getBitWidth(), getMangledTypeStr(), llvm::Type::getTypeID(), llvm::Type::HalfTyID, llvm::Type::IntegerTyID, llvm_unreachable, llvm::Type::MetadataTyID, llvm::Type::PPC_FP128TyID, llvm::Type::VoidTyID, llvm::Type::X86_AMXTyID, and llvm::Type::X86_FP80TyID.

Referenced by getIntrinsicNameImpl(), and getMangledTypeStr().

◆ getMemoryParamAllocType()

static Type * getMemoryParamAllocType ( AttributeSet  ParamAttrs)
static

◆ makeArgArray()

static MutableArrayRef< Argument > makeArgArray ( Argument Args,
size_t  Count 
)
static

Definition at line 565 of file Function.cpp.

Referenced by llvm::Function::stealArgumentListFrom().

◆ matchIntrinsicType()

static bool matchIntrinsicType ( Type Ty,
ArrayRef< Intrinsic::IITDescriptor > &  Infos,
SmallVectorImpl< Type * > &  ArgTys,
SmallVectorImpl< DeferredIntrinsicMatchPair > &  DeferredChecks,
bool  IsDeferredCheck 
)
static

Variable Documentation

◆ IntrinsicNameTable

const char* const IntrinsicNameTable[]
static
Initial value:
= {
"not_intrinsic",
#define GET_INTRINSIC_NAME_TABLE
}

Table of string intrinsic names indexed by enum value.

Definition at line 939 of file Function.cpp.

Referenced by findTargetSubtable(), llvm::Intrinsic::getBaseName(), and llvm::Function::lookupIntrinsicID().

◆ NonGlobalValueMaxNameSize

cl::opt< int > NonGlobalValueMaxNameSize("non-global-value-max-name-size", cl::Hidden, cl::init(1024), cl::desc("Maximum size for the name of non-global values.")) ( "non-global-value-max-name-size"  ,
cl::Hidden  ,
cl::init(1024)  ,
cl::desc("Maximum size for the name of non-global values.")   
)
static

◆ UseNewDbgInfoFormat

cl::opt<bool> UseNewDbgInfoFormat
extern