10b57cec5SDimitry Andric //===- Function.cpp - Implement the Global object classes -----------------===// 20b57cec5SDimitry Andric // 30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 60b57cec5SDimitry Andric // 70b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 80b57cec5SDimitry Andric // 90b57cec5SDimitry Andric // This file implements the Function class for the IR library. 100b57cec5SDimitry Andric // 110b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 120b57cec5SDimitry Andric 130b57cec5SDimitry Andric #include "llvm/IR/Function.h" 140b57cec5SDimitry Andric #include "SymbolTableListTraitsImpl.h" 150b57cec5SDimitry Andric #include "llvm/ADT/ArrayRef.h" 160b57cec5SDimitry Andric #include "llvm/ADT/DenseSet.h" 170b57cec5SDimitry Andric #include "llvm/ADT/None.h" 180b57cec5SDimitry Andric #include "llvm/ADT/STLExtras.h" 190b57cec5SDimitry Andric #include "llvm/ADT/SmallString.h" 200b57cec5SDimitry Andric #include "llvm/ADT/SmallVector.h" 210b57cec5SDimitry Andric #include "llvm/ADT/StringExtras.h" 220b57cec5SDimitry Andric #include "llvm/ADT/StringRef.h" 235ffd83dbSDimitry Andric #include "llvm/IR/AbstractCallSite.h" 240b57cec5SDimitry Andric #include "llvm/IR/Argument.h" 250b57cec5SDimitry Andric #include "llvm/IR/Attributes.h" 260b57cec5SDimitry Andric #include "llvm/IR/BasicBlock.h" 270b57cec5SDimitry Andric #include "llvm/IR/Constant.h" 280b57cec5SDimitry Andric #include "llvm/IR/Constants.h" 290b57cec5SDimitry Andric #include "llvm/IR/DerivedTypes.h" 300b57cec5SDimitry Andric #include "llvm/IR/GlobalValue.h" 310b57cec5SDimitry Andric #include "llvm/IR/InstIterator.h" 320b57cec5SDimitry Andric #include "llvm/IR/Instruction.h" 330b57cec5SDimitry Andric #include "llvm/IR/Instructions.h" 34fe6060f1SDimitry Andric #include "llvm/IR/IntrinsicInst.h" 350b57cec5SDimitry Andric #include "llvm/IR/Intrinsics.h" 36480093f4SDimitry Andric #include "llvm/IR/IntrinsicsAArch64.h" 37480093f4SDimitry Andric #include "llvm/IR/IntrinsicsAMDGPU.h" 38480093f4SDimitry Andric #include "llvm/IR/IntrinsicsARM.h" 39480093f4SDimitry Andric #include "llvm/IR/IntrinsicsBPF.h" 40480093f4SDimitry Andric #include "llvm/IR/IntrinsicsHexagon.h" 41480093f4SDimitry Andric #include "llvm/IR/IntrinsicsMips.h" 42480093f4SDimitry Andric #include "llvm/IR/IntrinsicsNVPTX.h" 43480093f4SDimitry Andric #include "llvm/IR/IntrinsicsPowerPC.h" 44480093f4SDimitry Andric #include "llvm/IR/IntrinsicsR600.h" 45480093f4SDimitry Andric #include "llvm/IR/IntrinsicsRISCV.h" 46480093f4SDimitry Andric #include "llvm/IR/IntrinsicsS390.h" 47e8d8bef9SDimitry Andric #include "llvm/IR/IntrinsicsVE.h" 48480093f4SDimitry Andric #include "llvm/IR/IntrinsicsWebAssembly.h" 49480093f4SDimitry Andric #include "llvm/IR/IntrinsicsX86.h" 50480093f4SDimitry Andric #include "llvm/IR/IntrinsicsXCore.h" 510b57cec5SDimitry Andric #include "llvm/IR/LLVMContext.h" 520b57cec5SDimitry Andric #include "llvm/IR/MDBuilder.h" 530b57cec5SDimitry Andric #include "llvm/IR/Metadata.h" 540b57cec5SDimitry Andric #include "llvm/IR/Module.h" 55fe6060f1SDimitry Andric #include "llvm/IR/Operator.h" 560b57cec5SDimitry Andric #include "llvm/IR/SymbolTableListTraits.h" 570b57cec5SDimitry Andric #include "llvm/IR/Type.h" 580b57cec5SDimitry Andric #include "llvm/IR/Use.h" 590b57cec5SDimitry Andric #include "llvm/IR/User.h" 600b57cec5SDimitry Andric #include "llvm/IR/Value.h" 610b57cec5SDimitry Andric #include "llvm/IR/ValueSymbolTable.h" 620b57cec5SDimitry Andric #include "llvm/Support/Casting.h" 63fe6060f1SDimitry Andric #include "llvm/Support/CommandLine.h" 640b57cec5SDimitry Andric #include "llvm/Support/Compiler.h" 650b57cec5SDimitry Andric #include "llvm/Support/ErrorHandling.h" 660b57cec5SDimitry Andric #include <algorithm> 670b57cec5SDimitry Andric #include <cassert> 680b57cec5SDimitry Andric #include <cstddef> 690b57cec5SDimitry Andric #include <cstdint> 700b57cec5SDimitry Andric #include <cstring> 710b57cec5SDimitry Andric #include <string> 720b57cec5SDimitry Andric 730b57cec5SDimitry Andric using namespace llvm; 740b57cec5SDimitry Andric using ProfileCount = Function::ProfileCount; 750b57cec5SDimitry Andric 760b57cec5SDimitry Andric // Explicit instantiations of SymbolTableListTraits since some of the methods 770b57cec5SDimitry Andric // are not in the public header file... 780b57cec5SDimitry Andric template class llvm::SymbolTableListTraits<BasicBlock>; 790b57cec5SDimitry Andric 80fe6060f1SDimitry Andric static cl::opt<unsigned> NonGlobalValueMaxNameSize( 81fe6060f1SDimitry Andric "non-global-value-max-name-size", cl::Hidden, cl::init(1024), 82fe6060f1SDimitry Andric cl::desc("Maximum size for the name of non-global values.")); 83fe6060f1SDimitry Andric 840b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 850b57cec5SDimitry Andric // Argument Implementation 860b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 870b57cec5SDimitry Andric 880b57cec5SDimitry Andric Argument::Argument(Type *Ty, const Twine &Name, Function *Par, unsigned ArgNo) 890b57cec5SDimitry Andric : Value(Ty, Value::ArgumentVal), Parent(Par), ArgNo(ArgNo) { 900b57cec5SDimitry Andric setName(Name); 910b57cec5SDimitry Andric } 920b57cec5SDimitry Andric 930b57cec5SDimitry Andric void Argument::setParent(Function *parent) { 940b57cec5SDimitry Andric Parent = parent; 950b57cec5SDimitry Andric } 960b57cec5SDimitry Andric 97e8d8bef9SDimitry Andric bool Argument::hasNonNullAttr(bool AllowUndefOrPoison) const { 980b57cec5SDimitry Andric if (!getType()->isPointerTy()) return false; 99e8d8bef9SDimitry Andric if (getParent()->hasParamAttribute(getArgNo(), Attribute::NonNull) && 100e8d8bef9SDimitry Andric (AllowUndefOrPoison || 101e8d8bef9SDimitry Andric getParent()->hasParamAttribute(getArgNo(), Attribute::NoUndef))) 1020b57cec5SDimitry Andric return true; 1030b57cec5SDimitry Andric else if (getDereferenceableBytes() > 0 && 1040b57cec5SDimitry Andric !NullPointerIsDefined(getParent(), 1050b57cec5SDimitry Andric getType()->getPointerAddressSpace())) 1060b57cec5SDimitry Andric return true; 1070b57cec5SDimitry Andric return false; 1080b57cec5SDimitry Andric } 1090b57cec5SDimitry Andric 1100b57cec5SDimitry Andric bool Argument::hasByValAttr() const { 1110b57cec5SDimitry Andric if (!getType()->isPointerTy()) return false; 1120b57cec5SDimitry Andric return hasAttribute(Attribute::ByVal); 1130b57cec5SDimitry Andric } 1140b57cec5SDimitry Andric 115e8d8bef9SDimitry Andric bool Argument::hasByRefAttr() const { 116e8d8bef9SDimitry Andric if (!getType()->isPointerTy()) 117e8d8bef9SDimitry Andric return false; 118e8d8bef9SDimitry Andric return hasAttribute(Attribute::ByRef); 119e8d8bef9SDimitry Andric } 120e8d8bef9SDimitry Andric 1210b57cec5SDimitry Andric bool Argument::hasSwiftSelfAttr() const { 1220b57cec5SDimitry Andric return getParent()->hasParamAttribute(getArgNo(), Attribute::SwiftSelf); 1230b57cec5SDimitry Andric } 1240b57cec5SDimitry Andric 1250b57cec5SDimitry Andric bool Argument::hasSwiftErrorAttr() const { 1260b57cec5SDimitry Andric return getParent()->hasParamAttribute(getArgNo(), Attribute::SwiftError); 1270b57cec5SDimitry Andric } 1280b57cec5SDimitry Andric 1290b57cec5SDimitry Andric bool Argument::hasInAllocaAttr() const { 1300b57cec5SDimitry Andric if (!getType()->isPointerTy()) return false; 1310b57cec5SDimitry Andric return hasAttribute(Attribute::InAlloca); 1320b57cec5SDimitry Andric } 1330b57cec5SDimitry Andric 1345ffd83dbSDimitry Andric bool Argument::hasPreallocatedAttr() const { 1355ffd83dbSDimitry Andric if (!getType()->isPointerTy()) 1365ffd83dbSDimitry Andric return false; 1375ffd83dbSDimitry Andric return hasAttribute(Attribute::Preallocated); 1385ffd83dbSDimitry Andric } 1395ffd83dbSDimitry Andric 140e8d8bef9SDimitry Andric bool Argument::hasPassPointeeByValueCopyAttr() const { 1410b57cec5SDimitry Andric if (!getType()->isPointerTy()) return false; 1420b57cec5SDimitry Andric AttributeList Attrs = getParent()->getAttributes(); 143349cc55cSDimitry Andric return Attrs.hasParamAttr(getArgNo(), Attribute::ByVal) || 144349cc55cSDimitry Andric Attrs.hasParamAttr(getArgNo(), Attribute::InAlloca) || 145349cc55cSDimitry Andric Attrs.hasParamAttr(getArgNo(), Attribute::Preallocated); 1465ffd83dbSDimitry Andric } 1475ffd83dbSDimitry Andric 148e8d8bef9SDimitry Andric bool Argument::hasPointeeInMemoryValueAttr() const { 149e8d8bef9SDimitry Andric if (!getType()->isPointerTy()) 150e8d8bef9SDimitry Andric return false; 151e8d8bef9SDimitry Andric AttributeList Attrs = getParent()->getAttributes(); 152349cc55cSDimitry Andric return Attrs.hasParamAttr(getArgNo(), Attribute::ByVal) || 153349cc55cSDimitry Andric Attrs.hasParamAttr(getArgNo(), Attribute::StructRet) || 154349cc55cSDimitry Andric Attrs.hasParamAttr(getArgNo(), Attribute::InAlloca) || 155349cc55cSDimitry Andric Attrs.hasParamAttr(getArgNo(), Attribute::Preallocated) || 156349cc55cSDimitry Andric Attrs.hasParamAttr(getArgNo(), Attribute::ByRef); 157e8d8bef9SDimitry Andric } 1585ffd83dbSDimitry Andric 159e8d8bef9SDimitry Andric /// For a byval, sret, inalloca, or preallocated parameter, get the in-memory 160e8d8bef9SDimitry Andric /// parameter type. 161349cc55cSDimitry Andric static Type *getMemoryParamAllocType(AttributeSet ParamAttrs) { 1625ffd83dbSDimitry Andric // FIXME: All the type carrying attributes are mutually exclusive, so there 1635ffd83dbSDimitry Andric // should be a single query to get the stored type that handles any of them. 1645ffd83dbSDimitry Andric if (Type *ByValTy = ParamAttrs.getByValType()) 165e8d8bef9SDimitry Andric return ByValTy; 166e8d8bef9SDimitry Andric if (Type *ByRefTy = ParamAttrs.getByRefType()) 167e8d8bef9SDimitry Andric return ByRefTy; 1685ffd83dbSDimitry Andric if (Type *PreAllocTy = ParamAttrs.getPreallocatedType()) 169e8d8bef9SDimitry Andric return PreAllocTy; 170fe6060f1SDimitry Andric if (Type *InAllocaTy = ParamAttrs.getInAllocaType()) 171fe6060f1SDimitry Andric return InAllocaTy; 172fe6060f1SDimitry Andric if (Type *SRetTy = ParamAttrs.getStructRetType()) 173fe6060f1SDimitry Andric return SRetTy; 1745ffd83dbSDimitry Andric 175e8d8bef9SDimitry Andric return nullptr; 176e8d8bef9SDimitry Andric } 177e8d8bef9SDimitry Andric 178e8d8bef9SDimitry Andric uint64_t Argument::getPassPointeeByValueCopySize(const DataLayout &DL) const { 179e8d8bef9SDimitry Andric AttributeSet ParamAttrs = 180349cc55cSDimitry Andric getParent()->getAttributes().getParamAttrs(getArgNo()); 181349cc55cSDimitry Andric if (Type *MemTy = getMemoryParamAllocType(ParamAttrs)) 182e8d8bef9SDimitry Andric return DL.getTypeAllocSize(MemTy); 1835ffd83dbSDimitry Andric return 0; 1840b57cec5SDimitry Andric } 1850b57cec5SDimitry Andric 186e8d8bef9SDimitry Andric Type *Argument::getPointeeInMemoryValueType() const { 187e8d8bef9SDimitry Andric AttributeSet ParamAttrs = 188349cc55cSDimitry Andric getParent()->getAttributes().getParamAttrs(getArgNo()); 189349cc55cSDimitry Andric return getMemoryParamAllocType(ParamAttrs); 190e8d8bef9SDimitry Andric } 191e8d8bef9SDimitry Andric 192349cc55cSDimitry Andric uint64_t Argument::getParamAlignment() const { 1930b57cec5SDimitry Andric assert(getType()->isPointerTy() && "Only pointers have alignments"); 1940b57cec5SDimitry Andric return getParent()->getParamAlignment(getArgNo()); 1950b57cec5SDimitry Andric } 1960b57cec5SDimitry Andric 197480093f4SDimitry Andric MaybeAlign Argument::getParamAlign() const { 198480093f4SDimitry Andric assert(getType()->isPointerTy() && "Only pointers have alignments"); 199480093f4SDimitry Andric return getParent()->getParamAlign(getArgNo()); 200480093f4SDimitry Andric } 201480093f4SDimitry Andric 202fe6060f1SDimitry Andric MaybeAlign Argument::getParamStackAlign() const { 203fe6060f1SDimitry Andric return getParent()->getParamStackAlign(getArgNo()); 204fe6060f1SDimitry Andric } 205fe6060f1SDimitry Andric 2060b57cec5SDimitry Andric Type *Argument::getParamByValType() const { 2070b57cec5SDimitry Andric assert(getType()->isPointerTy() && "Only pointers have byval types"); 2080b57cec5SDimitry Andric return getParent()->getParamByValType(getArgNo()); 2090b57cec5SDimitry Andric } 2100b57cec5SDimitry Andric 211e8d8bef9SDimitry Andric Type *Argument::getParamStructRetType() const { 212e8d8bef9SDimitry Andric assert(getType()->isPointerTy() && "Only pointers have sret types"); 213e8d8bef9SDimitry Andric return getParent()->getParamStructRetType(getArgNo()); 214e8d8bef9SDimitry Andric } 215e8d8bef9SDimitry Andric 216e8d8bef9SDimitry Andric Type *Argument::getParamByRefType() const { 217fe6060f1SDimitry Andric assert(getType()->isPointerTy() && "Only pointers have byref types"); 218e8d8bef9SDimitry Andric return getParent()->getParamByRefType(getArgNo()); 219e8d8bef9SDimitry Andric } 220e8d8bef9SDimitry Andric 221fe6060f1SDimitry Andric Type *Argument::getParamInAllocaType() const { 222fe6060f1SDimitry Andric assert(getType()->isPointerTy() && "Only pointers have inalloca types"); 223fe6060f1SDimitry Andric return getParent()->getParamInAllocaType(getArgNo()); 224fe6060f1SDimitry Andric } 225fe6060f1SDimitry Andric 2260b57cec5SDimitry Andric uint64_t Argument::getDereferenceableBytes() const { 2270b57cec5SDimitry Andric assert(getType()->isPointerTy() && 2280b57cec5SDimitry Andric "Only pointers have dereferenceable bytes"); 2290b57cec5SDimitry Andric return getParent()->getParamDereferenceableBytes(getArgNo()); 2300b57cec5SDimitry Andric } 2310b57cec5SDimitry Andric 2320b57cec5SDimitry Andric uint64_t Argument::getDereferenceableOrNullBytes() const { 2330b57cec5SDimitry Andric assert(getType()->isPointerTy() && 2340b57cec5SDimitry Andric "Only pointers have dereferenceable bytes"); 2350b57cec5SDimitry Andric return getParent()->getParamDereferenceableOrNullBytes(getArgNo()); 2360b57cec5SDimitry Andric } 2370b57cec5SDimitry Andric 2380b57cec5SDimitry Andric bool Argument::hasNestAttr() const { 2390b57cec5SDimitry Andric if (!getType()->isPointerTy()) return false; 2400b57cec5SDimitry Andric return hasAttribute(Attribute::Nest); 2410b57cec5SDimitry Andric } 2420b57cec5SDimitry Andric 2430b57cec5SDimitry Andric bool Argument::hasNoAliasAttr() const { 2440b57cec5SDimitry Andric if (!getType()->isPointerTy()) return false; 2450b57cec5SDimitry Andric return hasAttribute(Attribute::NoAlias); 2460b57cec5SDimitry Andric } 2470b57cec5SDimitry Andric 2480b57cec5SDimitry Andric bool Argument::hasNoCaptureAttr() const { 2490b57cec5SDimitry Andric if (!getType()->isPointerTy()) return false; 2500b57cec5SDimitry Andric return hasAttribute(Attribute::NoCapture); 2510b57cec5SDimitry Andric } 2520b57cec5SDimitry Andric 253fe6060f1SDimitry Andric bool Argument::hasNoFreeAttr() const { 254fe6060f1SDimitry Andric if (!getType()->isPointerTy()) return false; 255fe6060f1SDimitry Andric return hasAttribute(Attribute::NoFree); 256fe6060f1SDimitry Andric } 257fe6060f1SDimitry Andric 2580b57cec5SDimitry Andric bool Argument::hasStructRetAttr() const { 2590b57cec5SDimitry Andric if (!getType()->isPointerTy()) return false; 2600b57cec5SDimitry Andric return hasAttribute(Attribute::StructRet); 2610b57cec5SDimitry Andric } 2620b57cec5SDimitry Andric 2630b57cec5SDimitry Andric bool Argument::hasInRegAttr() const { 2640b57cec5SDimitry Andric return hasAttribute(Attribute::InReg); 2650b57cec5SDimitry Andric } 2660b57cec5SDimitry Andric 2670b57cec5SDimitry Andric bool Argument::hasReturnedAttr() const { 2680b57cec5SDimitry Andric return hasAttribute(Attribute::Returned); 2690b57cec5SDimitry Andric } 2700b57cec5SDimitry Andric 2710b57cec5SDimitry Andric bool Argument::hasZExtAttr() const { 2720b57cec5SDimitry Andric return hasAttribute(Attribute::ZExt); 2730b57cec5SDimitry Andric } 2740b57cec5SDimitry Andric 2750b57cec5SDimitry Andric bool Argument::hasSExtAttr() const { 2760b57cec5SDimitry Andric return hasAttribute(Attribute::SExt); 2770b57cec5SDimitry Andric } 2780b57cec5SDimitry Andric 2790b57cec5SDimitry Andric bool Argument::onlyReadsMemory() const { 2800b57cec5SDimitry Andric AttributeList Attrs = getParent()->getAttributes(); 281349cc55cSDimitry Andric return Attrs.hasParamAttr(getArgNo(), Attribute::ReadOnly) || 282349cc55cSDimitry Andric Attrs.hasParamAttr(getArgNo(), Attribute::ReadNone); 2830b57cec5SDimitry Andric } 2840b57cec5SDimitry Andric 2850b57cec5SDimitry Andric void Argument::addAttrs(AttrBuilder &B) { 2860b57cec5SDimitry Andric AttributeList AL = getParent()->getAttributes(); 2870b57cec5SDimitry Andric AL = AL.addParamAttributes(Parent->getContext(), getArgNo(), B); 2880b57cec5SDimitry Andric getParent()->setAttributes(AL); 2890b57cec5SDimitry Andric } 2900b57cec5SDimitry Andric 2910b57cec5SDimitry Andric void Argument::addAttr(Attribute::AttrKind Kind) { 2920b57cec5SDimitry Andric getParent()->addParamAttr(getArgNo(), Kind); 2930b57cec5SDimitry Andric } 2940b57cec5SDimitry Andric 2950b57cec5SDimitry Andric void Argument::addAttr(Attribute Attr) { 2960b57cec5SDimitry Andric getParent()->addParamAttr(getArgNo(), Attr); 2970b57cec5SDimitry Andric } 2980b57cec5SDimitry Andric 2990b57cec5SDimitry Andric void Argument::removeAttr(Attribute::AttrKind Kind) { 3000b57cec5SDimitry Andric getParent()->removeParamAttr(getArgNo(), Kind); 3010b57cec5SDimitry Andric } 3020b57cec5SDimitry Andric 303*04eeddc0SDimitry Andric void Argument::removeAttrs(const AttributeMask &AM) { 304fe6060f1SDimitry Andric AttributeList AL = getParent()->getAttributes(); 305*04eeddc0SDimitry Andric AL = AL.removeParamAttributes(Parent->getContext(), getArgNo(), AM); 306fe6060f1SDimitry Andric getParent()->setAttributes(AL); 307fe6060f1SDimitry Andric } 308fe6060f1SDimitry Andric 3090b57cec5SDimitry Andric bool Argument::hasAttribute(Attribute::AttrKind Kind) const { 3100b57cec5SDimitry Andric return getParent()->hasParamAttribute(getArgNo(), Kind); 3110b57cec5SDimitry Andric } 3120b57cec5SDimitry Andric 3130b57cec5SDimitry Andric Attribute Argument::getAttribute(Attribute::AttrKind Kind) const { 3140b57cec5SDimitry Andric return getParent()->getParamAttribute(getArgNo(), Kind); 3150b57cec5SDimitry Andric } 3160b57cec5SDimitry Andric 3170b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 3180b57cec5SDimitry Andric // Helper Methods in Function 3190b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 3200b57cec5SDimitry Andric 3210b57cec5SDimitry Andric LLVMContext &Function::getContext() const { 3220b57cec5SDimitry Andric return getType()->getContext(); 3230b57cec5SDimitry Andric } 3240b57cec5SDimitry Andric 3250b57cec5SDimitry Andric unsigned Function::getInstructionCount() const { 3260b57cec5SDimitry Andric unsigned NumInstrs = 0; 3270b57cec5SDimitry Andric for (const BasicBlock &BB : BasicBlocks) 3280b57cec5SDimitry Andric NumInstrs += std::distance(BB.instructionsWithoutDebug().begin(), 3290b57cec5SDimitry Andric BB.instructionsWithoutDebug().end()); 3300b57cec5SDimitry Andric return NumInstrs; 3310b57cec5SDimitry Andric } 3320b57cec5SDimitry Andric 3330b57cec5SDimitry Andric Function *Function::Create(FunctionType *Ty, LinkageTypes Linkage, 3340b57cec5SDimitry Andric const Twine &N, Module &M) { 3350b57cec5SDimitry Andric return Create(Ty, Linkage, M.getDataLayout().getProgramAddressSpace(), N, &M); 3360b57cec5SDimitry Andric } 3370b57cec5SDimitry Andric 338fe6060f1SDimitry Andric Function *Function::createWithDefaultAttr(FunctionType *Ty, 339fe6060f1SDimitry Andric LinkageTypes Linkage, 340fe6060f1SDimitry Andric unsigned AddrSpace, const Twine &N, 341fe6060f1SDimitry Andric Module *M) { 342fe6060f1SDimitry Andric auto *F = new Function(Ty, Linkage, AddrSpace, N, M); 343*04eeddc0SDimitry Andric AttrBuilder B(F->getContext()); 344fe6060f1SDimitry Andric if (M->getUwtable()) 345fe6060f1SDimitry Andric B.addAttribute(Attribute::UWTable); 346fe6060f1SDimitry Andric switch (M->getFramePointer()) { 347fe6060f1SDimitry Andric case FramePointerKind::None: 348fe6060f1SDimitry Andric // 0 ("none") is the default. 349fe6060f1SDimitry Andric break; 350fe6060f1SDimitry Andric case FramePointerKind::NonLeaf: 351fe6060f1SDimitry Andric B.addAttribute("frame-pointer", "non-leaf"); 352fe6060f1SDimitry Andric break; 353fe6060f1SDimitry Andric case FramePointerKind::All: 354fe6060f1SDimitry Andric B.addAttribute("frame-pointer", "all"); 355fe6060f1SDimitry Andric break; 356fe6060f1SDimitry Andric } 357349cc55cSDimitry Andric F->addFnAttrs(B); 358fe6060f1SDimitry Andric return F; 359fe6060f1SDimitry Andric } 360fe6060f1SDimitry Andric 3610b57cec5SDimitry Andric void Function::removeFromParent() { 3620b57cec5SDimitry Andric getParent()->getFunctionList().remove(getIterator()); 3630b57cec5SDimitry Andric } 3640b57cec5SDimitry Andric 3650b57cec5SDimitry Andric void Function::eraseFromParent() { 3660b57cec5SDimitry Andric getParent()->getFunctionList().erase(getIterator()); 3670b57cec5SDimitry Andric } 3680b57cec5SDimitry Andric 3690b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 3700b57cec5SDimitry Andric // Function Implementation 3710b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 3720b57cec5SDimitry Andric 3730b57cec5SDimitry Andric static unsigned computeAddrSpace(unsigned AddrSpace, Module *M) { 3740b57cec5SDimitry Andric // If AS == -1 and we are passed a valid module pointer we place the function 3750b57cec5SDimitry Andric // in the program address space. Otherwise we default to AS0. 3760b57cec5SDimitry Andric if (AddrSpace == static_cast<unsigned>(-1)) 3770b57cec5SDimitry Andric return M ? M->getDataLayout().getProgramAddressSpace() : 0; 3780b57cec5SDimitry Andric return AddrSpace; 3790b57cec5SDimitry Andric } 3800b57cec5SDimitry Andric 3810b57cec5SDimitry Andric Function::Function(FunctionType *Ty, LinkageTypes Linkage, unsigned AddrSpace, 3820b57cec5SDimitry Andric const Twine &name, Module *ParentModule) 3830b57cec5SDimitry Andric : GlobalObject(Ty, Value::FunctionVal, 3840b57cec5SDimitry Andric OperandTraits<Function>::op_begin(this), 0, Linkage, name, 3850b57cec5SDimitry Andric computeAddrSpace(AddrSpace, ParentModule)), 3860b57cec5SDimitry Andric NumArgs(Ty->getNumParams()) { 3870b57cec5SDimitry Andric assert(FunctionType::isValidReturnType(getReturnType()) && 3880b57cec5SDimitry Andric "invalid return type"); 3890b57cec5SDimitry Andric setGlobalObjectSubClassData(0); 3900b57cec5SDimitry Andric 3910b57cec5SDimitry Andric // We only need a symbol table for a function if the context keeps value names 3920b57cec5SDimitry Andric if (!getContext().shouldDiscardValueNames()) 393fe6060f1SDimitry Andric SymTab = std::make_unique<ValueSymbolTable>(NonGlobalValueMaxNameSize); 3940b57cec5SDimitry Andric 3950b57cec5SDimitry Andric // If the function has arguments, mark them as lazily built. 3960b57cec5SDimitry Andric if (Ty->getNumParams()) 3970b57cec5SDimitry Andric setValueSubclassData(1); // Set the "has lazy arguments" bit. 3980b57cec5SDimitry Andric 3990b57cec5SDimitry Andric if (ParentModule) 4000b57cec5SDimitry Andric ParentModule->getFunctionList().push_back(this); 4010b57cec5SDimitry Andric 4020b57cec5SDimitry Andric HasLLVMReservedName = getName().startswith("llvm."); 4030b57cec5SDimitry Andric // Ensure intrinsics have the right parameter attributes. 4040b57cec5SDimitry Andric // Note, the IntID field will have been set in Value::setName if this function 4050b57cec5SDimitry Andric // name is a valid intrinsic ID. 4060b57cec5SDimitry Andric if (IntID) 4070b57cec5SDimitry Andric setAttributes(Intrinsic::getAttributes(getContext(), IntID)); 4080b57cec5SDimitry Andric } 4090b57cec5SDimitry Andric 4100b57cec5SDimitry Andric Function::~Function() { 4110b57cec5SDimitry Andric dropAllReferences(); // After this it is safe to delete instructions. 4120b57cec5SDimitry Andric 4130b57cec5SDimitry Andric // Delete all of the method arguments and unlink from symbol table... 4140b57cec5SDimitry Andric if (Arguments) 4150b57cec5SDimitry Andric clearArguments(); 4160b57cec5SDimitry Andric 4170b57cec5SDimitry Andric // Remove the function from the on-the-side GC table. 4180b57cec5SDimitry Andric clearGC(); 4190b57cec5SDimitry Andric } 4200b57cec5SDimitry Andric 4210b57cec5SDimitry Andric void Function::BuildLazyArguments() const { 4220b57cec5SDimitry Andric // Create the arguments vector, all arguments start out unnamed. 4230b57cec5SDimitry Andric auto *FT = getFunctionType(); 4240b57cec5SDimitry Andric if (NumArgs > 0) { 4250b57cec5SDimitry Andric Arguments = std::allocator<Argument>().allocate(NumArgs); 4260b57cec5SDimitry Andric for (unsigned i = 0, e = NumArgs; i != e; ++i) { 4270b57cec5SDimitry Andric Type *ArgTy = FT->getParamType(i); 4280b57cec5SDimitry Andric assert(!ArgTy->isVoidTy() && "Cannot have void typed arguments!"); 4290b57cec5SDimitry Andric new (Arguments + i) Argument(ArgTy, "", const_cast<Function *>(this), i); 4300b57cec5SDimitry Andric } 4310b57cec5SDimitry Andric } 4320b57cec5SDimitry Andric 4330b57cec5SDimitry Andric // Clear the lazy arguments bit. 4340b57cec5SDimitry Andric unsigned SDC = getSubclassDataFromValue(); 4358bcb0991SDimitry Andric SDC &= ~(1 << 0); 4368bcb0991SDimitry Andric const_cast<Function*>(this)->setValueSubclassData(SDC); 4370b57cec5SDimitry Andric assert(!hasLazyArguments()); 4380b57cec5SDimitry Andric } 4390b57cec5SDimitry Andric 4400b57cec5SDimitry Andric static MutableArrayRef<Argument> makeArgArray(Argument *Args, size_t Count) { 4410b57cec5SDimitry Andric return MutableArrayRef<Argument>(Args, Count); 4420b57cec5SDimitry Andric } 4430b57cec5SDimitry Andric 4445ffd83dbSDimitry Andric bool Function::isConstrainedFPIntrinsic() const { 4455ffd83dbSDimitry Andric switch (getIntrinsicID()) { 4465ffd83dbSDimitry Andric #define INSTRUCTION(NAME, NARG, ROUND_MODE, INTRINSIC) \ 4475ffd83dbSDimitry Andric case Intrinsic::INTRINSIC: 4485ffd83dbSDimitry Andric #include "llvm/IR/ConstrainedOps.def" 4495ffd83dbSDimitry Andric return true; 4505ffd83dbSDimitry Andric #undef INSTRUCTION 4515ffd83dbSDimitry Andric default: 4525ffd83dbSDimitry Andric return false; 4535ffd83dbSDimitry Andric } 4545ffd83dbSDimitry Andric } 4555ffd83dbSDimitry Andric 4560b57cec5SDimitry Andric void Function::clearArguments() { 4570b57cec5SDimitry Andric for (Argument &A : makeArgArray(Arguments, NumArgs)) { 4580b57cec5SDimitry Andric A.setName(""); 4590b57cec5SDimitry Andric A.~Argument(); 4600b57cec5SDimitry Andric } 4610b57cec5SDimitry Andric std::allocator<Argument>().deallocate(Arguments, NumArgs); 4620b57cec5SDimitry Andric Arguments = nullptr; 4630b57cec5SDimitry Andric } 4640b57cec5SDimitry Andric 4650b57cec5SDimitry Andric void Function::stealArgumentListFrom(Function &Src) { 4660b57cec5SDimitry Andric assert(isDeclaration() && "Expected no references to current arguments"); 4670b57cec5SDimitry Andric 4680b57cec5SDimitry Andric // Drop the current arguments, if any, and set the lazy argument bit. 4690b57cec5SDimitry Andric if (!hasLazyArguments()) { 4700b57cec5SDimitry Andric assert(llvm::all_of(makeArgArray(Arguments, NumArgs), 4710b57cec5SDimitry Andric [](const Argument &A) { return A.use_empty(); }) && 4720b57cec5SDimitry Andric "Expected arguments to be unused in declaration"); 4730b57cec5SDimitry Andric clearArguments(); 4740b57cec5SDimitry Andric setValueSubclassData(getSubclassDataFromValue() | (1 << 0)); 4750b57cec5SDimitry Andric } 4760b57cec5SDimitry Andric 4770b57cec5SDimitry Andric // Nothing to steal if Src has lazy arguments. 4780b57cec5SDimitry Andric if (Src.hasLazyArguments()) 4790b57cec5SDimitry Andric return; 4800b57cec5SDimitry Andric 4810b57cec5SDimitry Andric // Steal arguments from Src, and fix the lazy argument bits. 4820b57cec5SDimitry Andric assert(arg_size() == Src.arg_size()); 4830b57cec5SDimitry Andric Arguments = Src.Arguments; 4840b57cec5SDimitry Andric Src.Arguments = nullptr; 4850b57cec5SDimitry Andric for (Argument &A : makeArgArray(Arguments, NumArgs)) { 4860b57cec5SDimitry Andric // FIXME: This does the work of transferNodesFromList inefficiently. 4870b57cec5SDimitry Andric SmallString<128> Name; 4880b57cec5SDimitry Andric if (A.hasName()) 4890b57cec5SDimitry Andric Name = A.getName(); 4900b57cec5SDimitry Andric if (!Name.empty()) 4910b57cec5SDimitry Andric A.setName(""); 4920b57cec5SDimitry Andric A.setParent(this); 4930b57cec5SDimitry Andric if (!Name.empty()) 4940b57cec5SDimitry Andric A.setName(Name); 4950b57cec5SDimitry Andric } 4960b57cec5SDimitry Andric 4970b57cec5SDimitry Andric setValueSubclassData(getSubclassDataFromValue() & ~(1 << 0)); 4980b57cec5SDimitry Andric assert(!hasLazyArguments()); 4990b57cec5SDimitry Andric Src.setValueSubclassData(Src.getSubclassDataFromValue() | (1 << 0)); 5000b57cec5SDimitry Andric } 5010b57cec5SDimitry Andric 5020b57cec5SDimitry Andric // dropAllReferences() - This function causes all the subinstructions to "let 5030b57cec5SDimitry Andric // go" of all references that they are maintaining. This allows one to 5040b57cec5SDimitry Andric // 'delete' a whole class at a time, even though there may be circular 5050b57cec5SDimitry Andric // references... first all references are dropped, and all use counts go to 5060b57cec5SDimitry Andric // zero. Then everything is deleted for real. Note that no operations are 5070b57cec5SDimitry Andric // valid on an object that has "dropped all references", except operator 5080b57cec5SDimitry Andric // delete. 5090b57cec5SDimitry Andric // 5100b57cec5SDimitry Andric void Function::dropAllReferences() { 5110b57cec5SDimitry Andric setIsMaterializable(false); 5120b57cec5SDimitry Andric 5130b57cec5SDimitry Andric for (BasicBlock &BB : *this) 5140b57cec5SDimitry Andric BB.dropAllReferences(); 5150b57cec5SDimitry Andric 5160b57cec5SDimitry Andric // Delete all basic blocks. They are now unused, except possibly by 5170b57cec5SDimitry Andric // blockaddresses, but BasicBlock's destructor takes care of those. 5180b57cec5SDimitry Andric while (!BasicBlocks.empty()) 5190b57cec5SDimitry Andric BasicBlocks.begin()->eraseFromParent(); 5200b57cec5SDimitry Andric 5210b57cec5SDimitry Andric // Drop uses of any optional data (real or placeholder). 5220b57cec5SDimitry Andric if (getNumOperands()) { 5230b57cec5SDimitry Andric User::dropAllReferences(); 5240b57cec5SDimitry Andric setNumHungOffUseOperands(0); 5250b57cec5SDimitry Andric setValueSubclassData(getSubclassDataFromValue() & ~0xe); 5260b57cec5SDimitry Andric } 5270b57cec5SDimitry Andric 5280b57cec5SDimitry Andric // Metadata is stored in a side-table. 5290b57cec5SDimitry Andric clearMetadata(); 5300b57cec5SDimitry Andric } 5310b57cec5SDimitry Andric 532349cc55cSDimitry Andric void Function::addAttributeAtIndex(unsigned i, Attribute Attr) { 533349cc55cSDimitry Andric AttributeSets = AttributeSets.addAttributeAtIndex(getContext(), i, Attr); 5340b57cec5SDimitry Andric } 5350b57cec5SDimitry Andric 536349cc55cSDimitry Andric void Function::addFnAttr(Attribute::AttrKind Kind) { 537349cc55cSDimitry Andric AttributeSets = AttributeSets.addFnAttribute(getContext(), Kind); 5380b57cec5SDimitry Andric } 5390b57cec5SDimitry Andric 540349cc55cSDimitry Andric void Function::addFnAttr(StringRef Kind, StringRef Val) { 541349cc55cSDimitry Andric AttributeSets = AttributeSets.addFnAttribute(getContext(), Kind, Val); 542349cc55cSDimitry Andric } 543349cc55cSDimitry Andric 544349cc55cSDimitry Andric void Function::addFnAttr(Attribute Attr) { 545349cc55cSDimitry Andric AttributeSets = AttributeSets.addFnAttribute(getContext(), Attr); 546349cc55cSDimitry Andric } 547349cc55cSDimitry Andric 548349cc55cSDimitry Andric void Function::addFnAttrs(const AttrBuilder &Attrs) { 549349cc55cSDimitry Andric AttributeSets = AttributeSets.addFnAttributes(getContext(), Attrs); 550349cc55cSDimitry Andric } 551349cc55cSDimitry Andric 552349cc55cSDimitry Andric void Function::addRetAttr(Attribute::AttrKind Kind) { 553349cc55cSDimitry Andric AttributeSets = AttributeSets.addRetAttribute(getContext(), Kind); 554349cc55cSDimitry Andric } 555349cc55cSDimitry Andric 556349cc55cSDimitry Andric void Function::addRetAttr(Attribute Attr) { 557349cc55cSDimitry Andric AttributeSets = AttributeSets.addRetAttribute(getContext(), Attr); 558349cc55cSDimitry Andric } 559349cc55cSDimitry Andric 560349cc55cSDimitry Andric void Function::addRetAttrs(const AttrBuilder &Attrs) { 561349cc55cSDimitry Andric AttributeSets = AttributeSets.addRetAttributes(getContext(), Attrs); 5620b57cec5SDimitry Andric } 5630b57cec5SDimitry Andric 5640b57cec5SDimitry Andric void Function::addParamAttr(unsigned ArgNo, Attribute::AttrKind Kind) { 565349cc55cSDimitry Andric AttributeSets = AttributeSets.addParamAttribute(getContext(), ArgNo, Kind); 5660b57cec5SDimitry Andric } 5670b57cec5SDimitry Andric 5680b57cec5SDimitry Andric void Function::addParamAttr(unsigned ArgNo, Attribute Attr) { 569349cc55cSDimitry Andric AttributeSets = AttributeSets.addParamAttribute(getContext(), ArgNo, Attr); 5700b57cec5SDimitry Andric } 5710b57cec5SDimitry Andric 5720b57cec5SDimitry Andric void Function::addParamAttrs(unsigned ArgNo, const AttrBuilder &Attrs) { 573349cc55cSDimitry Andric AttributeSets = AttributeSets.addParamAttributes(getContext(), ArgNo, Attrs); 5740b57cec5SDimitry Andric } 5750b57cec5SDimitry Andric 576349cc55cSDimitry Andric void Function::removeAttributeAtIndex(unsigned i, Attribute::AttrKind Kind) { 577349cc55cSDimitry Andric AttributeSets = AttributeSets.removeAttributeAtIndex(getContext(), i, Kind); 5780b57cec5SDimitry Andric } 5790b57cec5SDimitry Andric 580349cc55cSDimitry Andric void Function::removeAttributeAtIndex(unsigned i, StringRef Kind) { 581349cc55cSDimitry Andric AttributeSets = AttributeSets.removeAttributeAtIndex(getContext(), i, Kind); 5820b57cec5SDimitry Andric } 5830b57cec5SDimitry Andric 584349cc55cSDimitry Andric void Function::removeFnAttr(Attribute::AttrKind Kind) { 585349cc55cSDimitry Andric AttributeSets = AttributeSets.removeFnAttribute(getContext(), Kind); 586349cc55cSDimitry Andric } 587349cc55cSDimitry Andric 588349cc55cSDimitry Andric void Function::removeFnAttr(StringRef Kind) { 589349cc55cSDimitry Andric AttributeSets = AttributeSets.removeFnAttribute(getContext(), Kind); 590349cc55cSDimitry Andric } 591349cc55cSDimitry Andric 592*04eeddc0SDimitry Andric void Function::removeFnAttrs(const AttributeMask &AM) { 593*04eeddc0SDimitry Andric AttributeSets = AttributeSets.removeFnAttributes(getContext(), AM); 594349cc55cSDimitry Andric } 595349cc55cSDimitry Andric 596349cc55cSDimitry Andric void Function::removeRetAttr(Attribute::AttrKind Kind) { 597349cc55cSDimitry Andric AttributeSets = AttributeSets.removeRetAttribute(getContext(), Kind); 598349cc55cSDimitry Andric } 599349cc55cSDimitry Andric 600349cc55cSDimitry Andric void Function::removeRetAttr(StringRef Kind) { 601349cc55cSDimitry Andric AttributeSets = AttributeSets.removeRetAttribute(getContext(), Kind); 602349cc55cSDimitry Andric } 603349cc55cSDimitry Andric 604*04eeddc0SDimitry Andric void Function::removeRetAttrs(const AttributeMask &Attrs) { 605349cc55cSDimitry Andric AttributeSets = AttributeSets.removeRetAttributes(getContext(), Attrs); 6060b57cec5SDimitry Andric } 6070b57cec5SDimitry Andric 6080b57cec5SDimitry Andric void Function::removeParamAttr(unsigned ArgNo, Attribute::AttrKind Kind) { 609349cc55cSDimitry Andric AttributeSets = AttributeSets.removeParamAttribute(getContext(), ArgNo, Kind); 6100b57cec5SDimitry Andric } 6110b57cec5SDimitry Andric 6120b57cec5SDimitry Andric void Function::removeParamAttr(unsigned ArgNo, StringRef Kind) { 613349cc55cSDimitry Andric AttributeSets = AttributeSets.removeParamAttribute(getContext(), ArgNo, Kind); 6140b57cec5SDimitry Andric } 6150b57cec5SDimitry Andric 616*04eeddc0SDimitry Andric void Function::removeParamAttrs(unsigned ArgNo, const AttributeMask &Attrs) { 617349cc55cSDimitry Andric AttributeSets = 618349cc55cSDimitry Andric AttributeSets.removeParamAttributes(getContext(), ArgNo, Attrs); 6190b57cec5SDimitry Andric } 6200b57cec5SDimitry Andric 6210b57cec5SDimitry Andric void Function::addDereferenceableParamAttr(unsigned ArgNo, uint64_t Bytes) { 622349cc55cSDimitry Andric AttributeSets = 623349cc55cSDimitry Andric AttributeSets.addDereferenceableParamAttr(getContext(), ArgNo, Bytes); 6240b57cec5SDimitry Andric } 6250b57cec5SDimitry Andric 626349cc55cSDimitry Andric bool Function::hasFnAttribute(Attribute::AttrKind Kind) const { 627349cc55cSDimitry Andric return AttributeSets.hasFnAttr(Kind); 628349cc55cSDimitry Andric } 629349cc55cSDimitry Andric 630349cc55cSDimitry Andric bool Function::hasFnAttribute(StringRef Kind) const { 631349cc55cSDimitry Andric return AttributeSets.hasFnAttr(Kind); 632349cc55cSDimitry Andric } 633349cc55cSDimitry Andric 634349cc55cSDimitry Andric bool Function::hasRetAttribute(Attribute::AttrKind Kind) const { 635349cc55cSDimitry Andric return AttributeSets.hasRetAttr(Kind); 636349cc55cSDimitry Andric } 637349cc55cSDimitry Andric 638349cc55cSDimitry Andric bool Function::hasParamAttribute(unsigned ArgNo, 639349cc55cSDimitry Andric Attribute::AttrKind Kind) const { 640349cc55cSDimitry Andric return AttributeSets.hasParamAttr(ArgNo, Kind); 641349cc55cSDimitry Andric } 642349cc55cSDimitry Andric 643349cc55cSDimitry Andric Attribute Function::getAttributeAtIndex(unsigned i, 644349cc55cSDimitry Andric Attribute::AttrKind Kind) const { 645349cc55cSDimitry Andric return AttributeSets.getAttributeAtIndex(i, Kind); 646349cc55cSDimitry Andric } 647349cc55cSDimitry Andric 648349cc55cSDimitry Andric Attribute Function::getAttributeAtIndex(unsigned i, StringRef Kind) const { 649349cc55cSDimitry Andric return AttributeSets.getAttributeAtIndex(i, Kind); 650349cc55cSDimitry Andric } 651349cc55cSDimitry Andric 652349cc55cSDimitry Andric Attribute Function::getFnAttribute(Attribute::AttrKind Kind) const { 653349cc55cSDimitry Andric return AttributeSets.getFnAttr(Kind); 654349cc55cSDimitry Andric } 655349cc55cSDimitry Andric 656349cc55cSDimitry Andric Attribute Function::getFnAttribute(StringRef Kind) const { 657349cc55cSDimitry Andric return AttributeSets.getFnAttr(Kind); 658349cc55cSDimitry Andric } 659349cc55cSDimitry Andric 660349cc55cSDimitry Andric /// gets the specified attribute from the list of attributes. 661349cc55cSDimitry Andric Attribute Function::getParamAttribute(unsigned ArgNo, 662349cc55cSDimitry Andric Attribute::AttrKind Kind) const { 663349cc55cSDimitry Andric return AttributeSets.getParamAttr(ArgNo, Kind); 6640b57cec5SDimitry Andric } 6650b57cec5SDimitry Andric 6660b57cec5SDimitry Andric void Function::addDereferenceableOrNullParamAttr(unsigned ArgNo, 6670b57cec5SDimitry Andric uint64_t Bytes) { 668349cc55cSDimitry Andric AttributeSets = AttributeSets.addDereferenceableOrNullParamAttr(getContext(), 669349cc55cSDimitry Andric ArgNo, Bytes); 6700b57cec5SDimitry Andric } 6710b57cec5SDimitry Andric 672e8d8bef9SDimitry Andric DenormalMode Function::getDenormalMode(const fltSemantics &FPType) const { 673e8d8bef9SDimitry Andric if (&FPType == &APFloat::IEEEsingle()) { 674e8d8bef9SDimitry Andric Attribute Attr = getFnAttribute("denormal-fp-math-f32"); 675e8d8bef9SDimitry Andric StringRef Val = Attr.getValueAsString(); 676e8d8bef9SDimitry Andric if (!Val.empty()) 677e8d8bef9SDimitry Andric return parseDenormalFPAttribute(Val); 678e8d8bef9SDimitry Andric 679e8d8bef9SDimitry Andric // If the f32 variant of the attribute isn't specified, try to use the 680e8d8bef9SDimitry Andric // generic one. 681e8d8bef9SDimitry Andric } 682e8d8bef9SDimitry Andric 683e8d8bef9SDimitry Andric Attribute Attr = getFnAttribute("denormal-fp-math"); 684e8d8bef9SDimitry Andric return parseDenormalFPAttribute(Attr.getValueAsString()); 685e8d8bef9SDimitry Andric } 686e8d8bef9SDimitry Andric 6870b57cec5SDimitry Andric const std::string &Function::getGC() const { 6880b57cec5SDimitry Andric assert(hasGC() && "Function has no collector"); 6890b57cec5SDimitry Andric return getContext().getGC(*this); 6900b57cec5SDimitry Andric } 6910b57cec5SDimitry Andric 6920b57cec5SDimitry Andric void Function::setGC(std::string Str) { 6930b57cec5SDimitry Andric setValueSubclassDataBit(14, !Str.empty()); 6940b57cec5SDimitry Andric getContext().setGC(*this, std::move(Str)); 6950b57cec5SDimitry Andric } 6960b57cec5SDimitry Andric 6970b57cec5SDimitry Andric void Function::clearGC() { 6980b57cec5SDimitry Andric if (!hasGC()) 6990b57cec5SDimitry Andric return; 7000b57cec5SDimitry Andric getContext().deleteGC(*this); 7010b57cec5SDimitry Andric setValueSubclassDataBit(14, false); 7020b57cec5SDimitry Andric } 7030b57cec5SDimitry Andric 704e8d8bef9SDimitry Andric bool Function::hasStackProtectorFnAttr() const { 705e8d8bef9SDimitry Andric return hasFnAttribute(Attribute::StackProtect) || 706e8d8bef9SDimitry Andric hasFnAttribute(Attribute::StackProtectStrong) || 707e8d8bef9SDimitry Andric hasFnAttribute(Attribute::StackProtectReq); 708e8d8bef9SDimitry Andric } 709e8d8bef9SDimitry Andric 7100b57cec5SDimitry Andric /// Copy all additional attributes (those not needed to create a Function) from 7110b57cec5SDimitry Andric /// the Function Src to this one. 7120b57cec5SDimitry Andric void Function::copyAttributesFrom(const Function *Src) { 7130b57cec5SDimitry Andric GlobalObject::copyAttributesFrom(Src); 7140b57cec5SDimitry Andric setCallingConv(Src->getCallingConv()); 7150b57cec5SDimitry Andric setAttributes(Src->getAttributes()); 7160b57cec5SDimitry Andric if (Src->hasGC()) 7170b57cec5SDimitry Andric setGC(Src->getGC()); 7180b57cec5SDimitry Andric else 7190b57cec5SDimitry Andric clearGC(); 7200b57cec5SDimitry Andric if (Src->hasPersonalityFn()) 7210b57cec5SDimitry Andric setPersonalityFn(Src->getPersonalityFn()); 7220b57cec5SDimitry Andric if (Src->hasPrefixData()) 7230b57cec5SDimitry Andric setPrefixData(Src->getPrefixData()); 7240b57cec5SDimitry Andric if (Src->hasPrologueData()) 7250b57cec5SDimitry Andric setPrologueData(Src->getPrologueData()); 7260b57cec5SDimitry Andric } 7270b57cec5SDimitry Andric 7280b57cec5SDimitry Andric /// Table of string intrinsic names indexed by enum value. 7290b57cec5SDimitry Andric static const char * const IntrinsicNameTable[] = { 7300b57cec5SDimitry Andric "not_intrinsic", 7310b57cec5SDimitry Andric #define GET_INTRINSIC_NAME_TABLE 7320b57cec5SDimitry Andric #include "llvm/IR/IntrinsicImpl.inc" 7330b57cec5SDimitry Andric #undef GET_INTRINSIC_NAME_TABLE 7340b57cec5SDimitry Andric }; 7350b57cec5SDimitry Andric 7360b57cec5SDimitry Andric /// Table of per-target intrinsic name tables. 7370b57cec5SDimitry Andric #define GET_INTRINSIC_TARGET_DATA 7380b57cec5SDimitry Andric #include "llvm/IR/IntrinsicImpl.inc" 7390b57cec5SDimitry Andric #undef GET_INTRINSIC_TARGET_DATA 7400b57cec5SDimitry Andric 741e8d8bef9SDimitry Andric bool Function::isTargetIntrinsic(Intrinsic::ID IID) { 742e8d8bef9SDimitry Andric return IID > TargetInfos[0].Count; 743e8d8bef9SDimitry Andric } 744e8d8bef9SDimitry Andric 745e8d8bef9SDimitry Andric bool Function::isTargetIntrinsic() const { 746e8d8bef9SDimitry Andric return isTargetIntrinsic(IntID); 747e8d8bef9SDimitry Andric } 748e8d8bef9SDimitry Andric 7490b57cec5SDimitry Andric /// Find the segment of \c IntrinsicNameTable for intrinsics with the same 7500b57cec5SDimitry Andric /// target as \c Name, or the generic table if \c Name is not target specific. 7510b57cec5SDimitry Andric /// 7520b57cec5SDimitry Andric /// Returns the relevant slice of \c IntrinsicNameTable 7530b57cec5SDimitry Andric static ArrayRef<const char *> findTargetSubtable(StringRef Name) { 7540b57cec5SDimitry Andric assert(Name.startswith("llvm.")); 7550b57cec5SDimitry Andric 7560b57cec5SDimitry Andric ArrayRef<IntrinsicTargetInfo> Targets(TargetInfos); 7570b57cec5SDimitry Andric // Drop "llvm." and take the first dotted component. That will be the target 7580b57cec5SDimitry Andric // if this is target specific. 7590b57cec5SDimitry Andric StringRef Target = Name.drop_front(5).split('.').first; 7600b57cec5SDimitry Andric auto It = partition_point( 7610b57cec5SDimitry Andric Targets, [=](const IntrinsicTargetInfo &TI) { return TI.Name < Target; }); 7620b57cec5SDimitry Andric // We've either found the target or just fall back to the generic set, which 7630b57cec5SDimitry Andric // is always first. 7640b57cec5SDimitry Andric const auto &TI = It != Targets.end() && It->Name == Target ? *It : Targets[0]; 7650b57cec5SDimitry Andric return makeArrayRef(&IntrinsicNameTable[1] + TI.Offset, TI.Count); 7660b57cec5SDimitry Andric } 7670b57cec5SDimitry Andric 7680b57cec5SDimitry Andric /// This does the actual lookup of an intrinsic ID which 7690b57cec5SDimitry Andric /// matches the given function name. 7700b57cec5SDimitry Andric Intrinsic::ID Function::lookupIntrinsicID(StringRef Name) { 7710b57cec5SDimitry Andric ArrayRef<const char *> NameTable = findTargetSubtable(Name); 7720b57cec5SDimitry Andric int Idx = Intrinsic::lookupLLVMIntrinsicByName(NameTable, Name); 7730b57cec5SDimitry Andric if (Idx == -1) 7740b57cec5SDimitry Andric return Intrinsic::not_intrinsic; 7750b57cec5SDimitry Andric 7760b57cec5SDimitry Andric // Intrinsic IDs correspond to the location in IntrinsicNameTable, but we have 7770b57cec5SDimitry Andric // an index into a sub-table. 7780b57cec5SDimitry Andric int Adjust = NameTable.data() - IntrinsicNameTable; 7790b57cec5SDimitry Andric Intrinsic::ID ID = static_cast<Intrinsic::ID>(Idx + Adjust); 7800b57cec5SDimitry Andric 7810b57cec5SDimitry Andric // If the intrinsic is not overloaded, require an exact match. If it is 7820b57cec5SDimitry Andric // overloaded, require either exact or prefix match. 7830b57cec5SDimitry Andric const auto MatchSize = strlen(NameTable[Idx]); 7840b57cec5SDimitry Andric assert(Name.size() >= MatchSize && "Expected either exact or prefix match"); 7850b57cec5SDimitry Andric bool IsExactMatch = Name.size() == MatchSize; 786480093f4SDimitry Andric return IsExactMatch || Intrinsic::isOverloaded(ID) ? ID 787480093f4SDimitry Andric : Intrinsic::not_intrinsic; 7880b57cec5SDimitry Andric } 7890b57cec5SDimitry Andric 7900b57cec5SDimitry Andric void Function::recalculateIntrinsicID() { 7910b57cec5SDimitry Andric StringRef Name = getName(); 7920b57cec5SDimitry Andric if (!Name.startswith("llvm.")) { 7930b57cec5SDimitry Andric HasLLVMReservedName = false; 7940b57cec5SDimitry Andric IntID = Intrinsic::not_intrinsic; 7950b57cec5SDimitry Andric return; 7960b57cec5SDimitry Andric } 7970b57cec5SDimitry Andric HasLLVMReservedName = true; 7980b57cec5SDimitry Andric IntID = lookupIntrinsicID(Name); 7990b57cec5SDimitry Andric } 8000b57cec5SDimitry Andric 8010b57cec5SDimitry Andric /// Returns a stable mangling for the type specified for use in the name 8020b57cec5SDimitry Andric /// mangling scheme used by 'any' types in intrinsic signatures. The mangling 8030b57cec5SDimitry Andric /// of named types is simply their name. Manglings for unnamed types consist 8040b57cec5SDimitry Andric /// of a prefix ('p' for pointers, 'a' for arrays, 'f_' for functions) 8050b57cec5SDimitry Andric /// combined with the mangling of their component types. A vararg function 8060b57cec5SDimitry Andric /// type will have a suffix of 'vararg'. Since function types can contain 8070b57cec5SDimitry Andric /// other function types, we close a function type mangling with suffix 'f' 8080b57cec5SDimitry Andric /// which can't be confused with it's prefix. This ensures we don't have 8090b57cec5SDimitry Andric /// collisions between two unrelated function types. Otherwise, you might 8100b57cec5SDimitry Andric /// parse ffXX as f(fXX) or f(fX)X. (X is a placeholder for any other type.) 811fe6060f1SDimitry Andric /// The HasUnnamedType boolean is set if an unnamed type was encountered, 812fe6060f1SDimitry Andric /// indicating that extra care must be taken to ensure a unique name. 813fe6060f1SDimitry Andric static std::string getMangledTypeStr(Type *Ty, bool &HasUnnamedType) { 8140b57cec5SDimitry Andric std::string Result; 8150b57cec5SDimitry Andric if (PointerType *PTyp = dyn_cast<PointerType>(Ty)) { 816fe6060f1SDimitry Andric Result += "p" + utostr(PTyp->getAddressSpace()); 817fe6060f1SDimitry Andric // Opaque pointer doesn't have pointee type information, so we just mangle 818fe6060f1SDimitry Andric // address space for opaque pointer. 819fe6060f1SDimitry Andric if (!PTyp->isOpaque()) 820*04eeddc0SDimitry Andric Result += getMangledTypeStr(PTyp->getNonOpaquePointerElementType(), 821*04eeddc0SDimitry Andric HasUnnamedType); 8220b57cec5SDimitry Andric } else if (ArrayType *ATyp = dyn_cast<ArrayType>(Ty)) { 8230b57cec5SDimitry Andric Result += "a" + utostr(ATyp->getNumElements()) + 824fe6060f1SDimitry Andric getMangledTypeStr(ATyp->getElementType(), HasUnnamedType); 8250b57cec5SDimitry Andric } else if (StructType *STyp = dyn_cast<StructType>(Ty)) { 8260b57cec5SDimitry Andric if (!STyp->isLiteral()) { 8270b57cec5SDimitry Andric Result += "s_"; 828fe6060f1SDimitry Andric if (STyp->hasName()) 8290b57cec5SDimitry Andric Result += STyp->getName(); 830fe6060f1SDimitry Andric else 831fe6060f1SDimitry Andric HasUnnamedType = true; 8320b57cec5SDimitry Andric } else { 8330b57cec5SDimitry Andric Result += "sl_"; 8340b57cec5SDimitry Andric for (auto Elem : STyp->elements()) 835fe6060f1SDimitry Andric Result += getMangledTypeStr(Elem, HasUnnamedType); 8360b57cec5SDimitry Andric } 8370b57cec5SDimitry Andric // Ensure nested structs are distinguishable. 8380b57cec5SDimitry Andric Result += "s"; 8390b57cec5SDimitry Andric } else if (FunctionType *FT = dyn_cast<FunctionType>(Ty)) { 840fe6060f1SDimitry Andric Result += "f_" + getMangledTypeStr(FT->getReturnType(), HasUnnamedType); 8410b57cec5SDimitry Andric for (size_t i = 0; i < FT->getNumParams(); i++) 842fe6060f1SDimitry Andric Result += getMangledTypeStr(FT->getParamType(i), HasUnnamedType); 8430b57cec5SDimitry Andric if (FT->isVarArg()) 8440b57cec5SDimitry Andric Result += "vararg"; 8450b57cec5SDimitry Andric // Ensure nested function types are distinguishable. 8460b57cec5SDimitry Andric Result += "f"; 8478bcb0991SDimitry Andric } else if (VectorType *VTy = dyn_cast<VectorType>(Ty)) { 8485ffd83dbSDimitry Andric ElementCount EC = VTy->getElementCount(); 849e8d8bef9SDimitry Andric if (EC.isScalable()) 8508bcb0991SDimitry Andric Result += "nx"; 851e8d8bef9SDimitry Andric Result += "v" + utostr(EC.getKnownMinValue()) + 852fe6060f1SDimitry Andric getMangledTypeStr(VTy->getElementType(), HasUnnamedType); 8530b57cec5SDimitry Andric } else if (Ty) { 8540b57cec5SDimitry Andric switch (Ty->getTypeID()) { 8550b57cec5SDimitry Andric default: llvm_unreachable("Unhandled type"); 8560b57cec5SDimitry Andric case Type::VoidTyID: Result += "isVoid"; break; 8570b57cec5SDimitry Andric case Type::MetadataTyID: Result += "Metadata"; break; 8580b57cec5SDimitry Andric case Type::HalfTyID: Result += "f16"; break; 8595ffd83dbSDimitry Andric case Type::BFloatTyID: Result += "bf16"; break; 8600b57cec5SDimitry Andric case Type::FloatTyID: Result += "f32"; break; 8610b57cec5SDimitry Andric case Type::DoubleTyID: Result += "f64"; break; 8620b57cec5SDimitry Andric case Type::X86_FP80TyID: Result += "f80"; break; 8630b57cec5SDimitry Andric case Type::FP128TyID: Result += "f128"; break; 8640b57cec5SDimitry Andric case Type::PPC_FP128TyID: Result += "ppcf128"; break; 8650b57cec5SDimitry Andric case Type::X86_MMXTyID: Result += "x86mmx"; break; 866e8d8bef9SDimitry Andric case Type::X86_AMXTyID: Result += "x86amx"; break; 8670b57cec5SDimitry Andric case Type::IntegerTyID: 8680b57cec5SDimitry Andric Result += "i" + utostr(cast<IntegerType>(Ty)->getBitWidth()); 8690b57cec5SDimitry Andric break; 8700b57cec5SDimitry Andric } 8710b57cec5SDimitry Andric } 8720b57cec5SDimitry Andric return Result; 8730b57cec5SDimitry Andric } 8740b57cec5SDimitry Andric 875fe6060f1SDimitry Andric StringRef Intrinsic::getBaseName(ID id) { 876fe6060f1SDimitry Andric assert(id < num_intrinsics && "Invalid intrinsic ID!"); 877fe6060f1SDimitry Andric return IntrinsicNameTable[id]; 878fe6060f1SDimitry Andric } 879fe6060f1SDimitry Andric 8800b57cec5SDimitry Andric StringRef Intrinsic::getName(ID id) { 8810b57cec5SDimitry Andric assert(id < num_intrinsics && "Invalid intrinsic ID!"); 882480093f4SDimitry Andric assert(!Intrinsic::isOverloaded(id) && 8830b57cec5SDimitry Andric "This version of getName does not support overloading"); 884fe6060f1SDimitry Andric return getBaseName(id); 8850b57cec5SDimitry Andric } 8860b57cec5SDimitry Andric 887fe6060f1SDimitry Andric static std::string getIntrinsicNameImpl(Intrinsic::ID Id, ArrayRef<Type *> Tys, 888fe6060f1SDimitry Andric Module *M, FunctionType *FT, 889fe6060f1SDimitry Andric bool EarlyModuleCheck) { 890fe6060f1SDimitry Andric 891fe6060f1SDimitry Andric assert(Id < Intrinsic::num_intrinsics && "Invalid intrinsic ID!"); 892fe6060f1SDimitry Andric assert((Tys.empty() || Intrinsic::isOverloaded(Id)) && 893e8d8bef9SDimitry Andric "This version of getName is for overloaded intrinsics only"); 894fe6060f1SDimitry Andric (void)EarlyModuleCheck; 895fe6060f1SDimitry Andric assert((!EarlyModuleCheck || M || 896fe6060f1SDimitry Andric !any_of(Tys, [](Type *T) { return isa<PointerType>(T); })) && 897fe6060f1SDimitry Andric "Intrinsic overloading on pointer types need to provide a Module"); 898fe6060f1SDimitry Andric bool HasUnnamedType = false; 899fe6060f1SDimitry Andric std::string Result(Intrinsic::getBaseName(Id)); 900fe6060f1SDimitry Andric for (Type *Ty : Tys) 901fe6060f1SDimitry Andric Result += "." + getMangledTypeStr(Ty, HasUnnamedType); 902fe6060f1SDimitry Andric if (HasUnnamedType) { 903fe6060f1SDimitry Andric assert(M && "unnamed types need a module"); 904fe6060f1SDimitry Andric if (!FT) 905fe6060f1SDimitry Andric FT = Intrinsic::getType(M->getContext(), Id, Tys); 906fe6060f1SDimitry Andric else 907fe6060f1SDimitry Andric assert((FT == Intrinsic::getType(M->getContext(), Id, Tys)) && 908fe6060f1SDimitry Andric "Provided FunctionType must match arguments"); 909fe6060f1SDimitry Andric return M->getUniqueIntrinsicName(Result, Id, FT); 9100b57cec5SDimitry Andric } 9110b57cec5SDimitry Andric return Result; 9120b57cec5SDimitry Andric } 9130b57cec5SDimitry Andric 914fe6060f1SDimitry Andric std::string Intrinsic::getName(ID Id, ArrayRef<Type *> Tys, Module *M, 915fe6060f1SDimitry Andric FunctionType *FT) { 916fe6060f1SDimitry Andric assert(M && "We need to have a Module"); 917fe6060f1SDimitry Andric return getIntrinsicNameImpl(Id, Tys, M, FT, true); 918fe6060f1SDimitry Andric } 919fe6060f1SDimitry Andric 920fe6060f1SDimitry Andric std::string Intrinsic::getNameNoUnnamedTypes(ID Id, ArrayRef<Type *> Tys) { 921fe6060f1SDimitry Andric return getIntrinsicNameImpl(Id, Tys, nullptr, nullptr, false); 922fe6060f1SDimitry Andric } 923fe6060f1SDimitry Andric 9240b57cec5SDimitry Andric /// IIT_Info - These are enumerators that describe the entries returned by the 9250b57cec5SDimitry Andric /// getIntrinsicInfoTableEntries function. 9260b57cec5SDimitry Andric /// 9270b57cec5SDimitry Andric /// NOTE: This must be kept in synch with the copy in TblGen/IntrinsicEmitter! 9280b57cec5SDimitry Andric enum IIT_Info { 9290b57cec5SDimitry Andric // Common values should be encoded with 0-15. 9300b57cec5SDimitry Andric IIT_Done = 0, 9310b57cec5SDimitry Andric IIT_I1 = 1, 9320b57cec5SDimitry Andric IIT_I8 = 2, 9330b57cec5SDimitry Andric IIT_I16 = 3, 9340b57cec5SDimitry Andric IIT_I32 = 4, 9350b57cec5SDimitry Andric IIT_I64 = 5, 9360b57cec5SDimitry Andric IIT_F16 = 6, 9370b57cec5SDimitry Andric IIT_F32 = 7, 9380b57cec5SDimitry Andric IIT_F64 = 8, 9390b57cec5SDimitry Andric IIT_V2 = 9, 9400b57cec5SDimitry Andric IIT_V4 = 10, 9410b57cec5SDimitry Andric IIT_V8 = 11, 9420b57cec5SDimitry Andric IIT_V16 = 12, 9430b57cec5SDimitry Andric IIT_V32 = 13, 9440b57cec5SDimitry Andric IIT_PTR = 14, 9450b57cec5SDimitry Andric IIT_ARG = 15, 9460b57cec5SDimitry Andric 9470b57cec5SDimitry Andric // Values from 16+ are only encodable with the inefficient encoding. 9480b57cec5SDimitry Andric IIT_V64 = 16, 9490b57cec5SDimitry Andric IIT_MMX = 17, 9500b57cec5SDimitry Andric IIT_TOKEN = 18, 9510b57cec5SDimitry Andric IIT_METADATA = 19, 9520b57cec5SDimitry Andric IIT_EMPTYSTRUCT = 20, 9530b57cec5SDimitry Andric IIT_STRUCT2 = 21, 9540b57cec5SDimitry Andric IIT_STRUCT3 = 22, 9550b57cec5SDimitry Andric IIT_STRUCT4 = 23, 9560b57cec5SDimitry Andric IIT_STRUCT5 = 24, 9570b57cec5SDimitry Andric IIT_EXTEND_ARG = 25, 9580b57cec5SDimitry Andric IIT_TRUNC_ARG = 26, 9590b57cec5SDimitry Andric IIT_ANYPTR = 27, 9600b57cec5SDimitry Andric IIT_V1 = 28, 9610b57cec5SDimitry Andric IIT_VARARG = 29, 9620b57cec5SDimitry Andric IIT_HALF_VEC_ARG = 30, 9630b57cec5SDimitry Andric IIT_SAME_VEC_WIDTH_ARG = 31, 9640b57cec5SDimitry Andric IIT_PTR_TO_ARG = 32, 9650b57cec5SDimitry Andric IIT_PTR_TO_ELT = 33, 9660b57cec5SDimitry Andric IIT_VEC_OF_ANYPTRS_TO_ELT = 34, 9670b57cec5SDimitry Andric IIT_I128 = 35, 9680b57cec5SDimitry Andric IIT_V512 = 36, 9690b57cec5SDimitry Andric IIT_V1024 = 37, 9700b57cec5SDimitry Andric IIT_STRUCT6 = 38, 9710b57cec5SDimitry Andric IIT_STRUCT7 = 39, 9720b57cec5SDimitry Andric IIT_STRUCT8 = 40, 9730b57cec5SDimitry Andric IIT_F128 = 41, 9748bcb0991SDimitry Andric IIT_VEC_ELEMENT = 42, 9758bcb0991SDimitry Andric IIT_SCALABLE_VEC = 43, 9768bcb0991SDimitry Andric IIT_SUBDIVIDE2_ARG = 44, 9778bcb0991SDimitry Andric IIT_SUBDIVIDE4_ARG = 45, 9785ffd83dbSDimitry Andric IIT_VEC_OF_BITCASTS_TO_INT = 46, 9795ffd83dbSDimitry Andric IIT_V128 = 47, 980e8d8bef9SDimitry Andric IIT_BF16 = 48, 981e8d8bef9SDimitry Andric IIT_STRUCT9 = 49, 982e8d8bef9SDimitry Andric IIT_V256 = 50, 983349cc55cSDimitry Andric IIT_AMX = 51, 9840eae32dcSDimitry Andric IIT_PPCF128 = 52, 9850eae32dcSDimitry Andric IIT_V3 = 53, 9860eae32dcSDimitry Andric IIT_EXTERNREF = 54, 9870eae32dcSDimitry Andric IIT_FUNCREF = 55 9880b57cec5SDimitry Andric }; 9890b57cec5SDimitry Andric 9900b57cec5SDimitry Andric static void DecodeIITType(unsigned &NextElt, ArrayRef<unsigned char> Infos, 9915ffd83dbSDimitry Andric IIT_Info LastInfo, 9920b57cec5SDimitry Andric SmallVectorImpl<Intrinsic::IITDescriptor> &OutputTable) { 9930b57cec5SDimitry Andric using namespace Intrinsic; 9940b57cec5SDimitry Andric 9955ffd83dbSDimitry Andric bool IsScalableVector = (LastInfo == IIT_SCALABLE_VEC); 9965ffd83dbSDimitry Andric 9970b57cec5SDimitry Andric IIT_Info Info = IIT_Info(Infos[NextElt++]); 9980b57cec5SDimitry Andric unsigned StructElts = 2; 9990b57cec5SDimitry Andric 10000b57cec5SDimitry Andric switch (Info) { 10010b57cec5SDimitry Andric case IIT_Done: 10020b57cec5SDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::Void, 0)); 10030b57cec5SDimitry Andric return; 10040b57cec5SDimitry Andric case IIT_VARARG: 10050b57cec5SDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::VarArg, 0)); 10060b57cec5SDimitry Andric return; 10070b57cec5SDimitry Andric case IIT_MMX: 10080b57cec5SDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::MMX, 0)); 10090b57cec5SDimitry Andric return; 1010e8d8bef9SDimitry Andric case IIT_AMX: 1011e8d8bef9SDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::AMX, 0)); 1012e8d8bef9SDimitry Andric return; 10130b57cec5SDimitry Andric case IIT_TOKEN: 10140b57cec5SDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::Token, 0)); 10150b57cec5SDimitry Andric return; 10160b57cec5SDimitry Andric case IIT_METADATA: 10170b57cec5SDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::Metadata, 0)); 10180b57cec5SDimitry Andric return; 10190b57cec5SDimitry Andric case IIT_F16: 10200b57cec5SDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::Half, 0)); 10210b57cec5SDimitry Andric return; 10225ffd83dbSDimitry Andric case IIT_BF16: 10235ffd83dbSDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::BFloat, 0)); 10245ffd83dbSDimitry Andric return; 10250b57cec5SDimitry Andric case IIT_F32: 10260b57cec5SDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::Float, 0)); 10270b57cec5SDimitry Andric return; 10280b57cec5SDimitry Andric case IIT_F64: 10290b57cec5SDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::Double, 0)); 10300b57cec5SDimitry Andric return; 10310b57cec5SDimitry Andric case IIT_F128: 10320b57cec5SDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::Quad, 0)); 10330b57cec5SDimitry Andric return; 1034349cc55cSDimitry Andric case IIT_PPCF128: 1035349cc55cSDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::PPCQuad, 0)); 1036349cc55cSDimitry Andric return; 10370b57cec5SDimitry Andric case IIT_I1: 10380b57cec5SDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 1)); 10390b57cec5SDimitry Andric return; 10400b57cec5SDimitry Andric case IIT_I8: 10410b57cec5SDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 8)); 10420b57cec5SDimitry Andric return; 10430b57cec5SDimitry Andric case IIT_I16: 10440b57cec5SDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer,16)); 10450b57cec5SDimitry Andric return; 10460b57cec5SDimitry Andric case IIT_I32: 10470b57cec5SDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 32)); 10480b57cec5SDimitry Andric return; 10490b57cec5SDimitry Andric case IIT_I64: 10500b57cec5SDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 64)); 10510b57cec5SDimitry Andric return; 10520b57cec5SDimitry Andric case IIT_I128: 10530b57cec5SDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 128)); 10540b57cec5SDimitry Andric return; 10550b57cec5SDimitry Andric case IIT_V1: 10565ffd83dbSDimitry Andric OutputTable.push_back(IITDescriptor::getVector(1, IsScalableVector)); 10575ffd83dbSDimitry Andric DecodeIITType(NextElt, Infos, Info, OutputTable); 10580b57cec5SDimitry Andric return; 10590b57cec5SDimitry Andric case IIT_V2: 10605ffd83dbSDimitry Andric OutputTable.push_back(IITDescriptor::getVector(2, IsScalableVector)); 10615ffd83dbSDimitry Andric DecodeIITType(NextElt, Infos, Info, OutputTable); 10620b57cec5SDimitry Andric return; 10630eae32dcSDimitry Andric case IIT_V3: 10640eae32dcSDimitry Andric OutputTable.push_back(IITDescriptor::getVector(3, IsScalableVector)); 10650eae32dcSDimitry Andric DecodeIITType(NextElt, Infos, Info, OutputTable); 10660eae32dcSDimitry Andric return; 10670b57cec5SDimitry Andric case IIT_V4: 10685ffd83dbSDimitry Andric OutputTable.push_back(IITDescriptor::getVector(4, IsScalableVector)); 10695ffd83dbSDimitry Andric DecodeIITType(NextElt, Infos, Info, OutputTable); 10700b57cec5SDimitry Andric return; 10710b57cec5SDimitry Andric case IIT_V8: 10725ffd83dbSDimitry Andric OutputTable.push_back(IITDescriptor::getVector(8, IsScalableVector)); 10735ffd83dbSDimitry Andric DecodeIITType(NextElt, Infos, Info, OutputTable); 10740b57cec5SDimitry Andric return; 10750b57cec5SDimitry Andric case IIT_V16: 10765ffd83dbSDimitry Andric OutputTable.push_back(IITDescriptor::getVector(16, IsScalableVector)); 10775ffd83dbSDimitry Andric DecodeIITType(NextElt, Infos, Info, OutputTable); 10780b57cec5SDimitry Andric return; 10790b57cec5SDimitry Andric case IIT_V32: 10805ffd83dbSDimitry Andric OutputTable.push_back(IITDescriptor::getVector(32, IsScalableVector)); 10815ffd83dbSDimitry Andric DecodeIITType(NextElt, Infos, Info, OutputTable); 10820b57cec5SDimitry Andric return; 10830b57cec5SDimitry Andric case IIT_V64: 10845ffd83dbSDimitry Andric OutputTable.push_back(IITDescriptor::getVector(64, IsScalableVector)); 10855ffd83dbSDimitry Andric DecodeIITType(NextElt, Infos, Info, OutputTable); 10865ffd83dbSDimitry Andric return; 10875ffd83dbSDimitry Andric case IIT_V128: 10885ffd83dbSDimitry Andric OutputTable.push_back(IITDescriptor::getVector(128, IsScalableVector)); 10895ffd83dbSDimitry Andric DecodeIITType(NextElt, Infos, Info, OutputTable); 10900b57cec5SDimitry Andric return; 1091e8d8bef9SDimitry Andric case IIT_V256: 1092e8d8bef9SDimitry Andric OutputTable.push_back(IITDescriptor::getVector(256, IsScalableVector)); 1093e8d8bef9SDimitry Andric DecodeIITType(NextElt, Infos, Info, OutputTable); 1094e8d8bef9SDimitry Andric return; 10950b57cec5SDimitry Andric case IIT_V512: 10965ffd83dbSDimitry Andric OutputTable.push_back(IITDescriptor::getVector(512, IsScalableVector)); 10975ffd83dbSDimitry Andric DecodeIITType(NextElt, Infos, Info, OutputTable); 10980b57cec5SDimitry Andric return; 10990b57cec5SDimitry Andric case IIT_V1024: 11005ffd83dbSDimitry Andric OutputTable.push_back(IITDescriptor::getVector(1024, IsScalableVector)); 11015ffd83dbSDimitry Andric DecodeIITType(NextElt, Infos, Info, OutputTable); 11020b57cec5SDimitry Andric return; 11030eae32dcSDimitry Andric case IIT_EXTERNREF: 11040eae32dcSDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::Pointer, 10)); 11050eae32dcSDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::Struct, 0)); 11060eae32dcSDimitry Andric return; 11070eae32dcSDimitry Andric case IIT_FUNCREF: 11080eae32dcSDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::Pointer, 20)); 11090eae32dcSDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 8)); 11100eae32dcSDimitry Andric return; 11110b57cec5SDimitry Andric case IIT_PTR: 11120b57cec5SDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::Pointer, 0)); 11135ffd83dbSDimitry Andric DecodeIITType(NextElt, Infos, Info, OutputTable); 11140b57cec5SDimitry Andric return; 11150b57cec5SDimitry Andric case IIT_ANYPTR: { // [ANYPTR addrspace, subtype] 11160b57cec5SDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::Pointer, 11170b57cec5SDimitry Andric Infos[NextElt++])); 11185ffd83dbSDimitry Andric DecodeIITType(NextElt, Infos, Info, OutputTable); 11190b57cec5SDimitry Andric return; 11200b57cec5SDimitry Andric } 11210b57cec5SDimitry Andric case IIT_ARG: { 11220b57cec5SDimitry Andric unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); 11230b57cec5SDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::Argument, ArgInfo)); 11240b57cec5SDimitry Andric return; 11250b57cec5SDimitry Andric } 11260b57cec5SDimitry Andric case IIT_EXTEND_ARG: { 11270b57cec5SDimitry Andric unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); 11280b57cec5SDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::ExtendArgument, 11290b57cec5SDimitry Andric ArgInfo)); 11300b57cec5SDimitry Andric return; 11310b57cec5SDimitry Andric } 11320b57cec5SDimitry Andric case IIT_TRUNC_ARG: { 11330b57cec5SDimitry Andric unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); 11340b57cec5SDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::TruncArgument, 11350b57cec5SDimitry Andric ArgInfo)); 11360b57cec5SDimitry Andric return; 11370b57cec5SDimitry Andric } 11380b57cec5SDimitry Andric case IIT_HALF_VEC_ARG: { 11390b57cec5SDimitry Andric unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); 11400b57cec5SDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::HalfVecArgument, 11410b57cec5SDimitry Andric ArgInfo)); 11420b57cec5SDimitry Andric return; 11430b57cec5SDimitry Andric } 11440b57cec5SDimitry Andric case IIT_SAME_VEC_WIDTH_ARG: { 11450b57cec5SDimitry Andric unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); 11460b57cec5SDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::SameVecWidthArgument, 11470b57cec5SDimitry Andric ArgInfo)); 11480b57cec5SDimitry Andric return; 11490b57cec5SDimitry Andric } 11500b57cec5SDimitry Andric case IIT_PTR_TO_ARG: { 11510b57cec5SDimitry Andric unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); 11520b57cec5SDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::PtrToArgument, 11530b57cec5SDimitry Andric ArgInfo)); 11540b57cec5SDimitry Andric return; 11550b57cec5SDimitry Andric } 11560b57cec5SDimitry Andric case IIT_PTR_TO_ELT: { 11570b57cec5SDimitry Andric unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); 11580b57cec5SDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::PtrToElt, ArgInfo)); 11590b57cec5SDimitry Andric return; 11600b57cec5SDimitry Andric } 11610b57cec5SDimitry Andric case IIT_VEC_OF_ANYPTRS_TO_ELT: { 11620b57cec5SDimitry Andric unsigned short ArgNo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); 11630b57cec5SDimitry Andric unsigned short RefNo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); 11640b57cec5SDimitry Andric OutputTable.push_back( 11650b57cec5SDimitry Andric IITDescriptor::get(IITDescriptor::VecOfAnyPtrsToElt, ArgNo, RefNo)); 11660b57cec5SDimitry Andric return; 11670b57cec5SDimitry Andric } 11680b57cec5SDimitry Andric case IIT_EMPTYSTRUCT: 11690b57cec5SDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::Struct, 0)); 11700b57cec5SDimitry Andric return; 1171e8d8bef9SDimitry Andric case IIT_STRUCT9: ++StructElts; LLVM_FALLTHROUGH; 11720b57cec5SDimitry Andric case IIT_STRUCT8: ++StructElts; LLVM_FALLTHROUGH; 11730b57cec5SDimitry Andric case IIT_STRUCT7: ++StructElts; LLVM_FALLTHROUGH; 11740b57cec5SDimitry Andric case IIT_STRUCT6: ++StructElts; LLVM_FALLTHROUGH; 11750b57cec5SDimitry Andric case IIT_STRUCT5: ++StructElts; LLVM_FALLTHROUGH; 11760b57cec5SDimitry Andric case IIT_STRUCT4: ++StructElts; LLVM_FALLTHROUGH; 11770b57cec5SDimitry Andric case IIT_STRUCT3: ++StructElts; LLVM_FALLTHROUGH; 11780b57cec5SDimitry Andric case IIT_STRUCT2: { 11790b57cec5SDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::Struct,StructElts)); 11800b57cec5SDimitry Andric 11810b57cec5SDimitry Andric for (unsigned i = 0; i != StructElts; ++i) 11825ffd83dbSDimitry Andric DecodeIITType(NextElt, Infos, Info, OutputTable); 11830b57cec5SDimitry Andric return; 11840b57cec5SDimitry Andric } 11858bcb0991SDimitry Andric case IIT_SUBDIVIDE2_ARG: { 11868bcb0991SDimitry Andric unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); 11878bcb0991SDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::Subdivide2Argument, 11888bcb0991SDimitry Andric ArgInfo)); 11898bcb0991SDimitry Andric return; 11908bcb0991SDimitry Andric } 11918bcb0991SDimitry Andric case IIT_SUBDIVIDE4_ARG: { 11928bcb0991SDimitry Andric unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); 11938bcb0991SDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::Subdivide4Argument, 11948bcb0991SDimitry Andric ArgInfo)); 11958bcb0991SDimitry Andric return; 11968bcb0991SDimitry Andric } 11970b57cec5SDimitry Andric case IIT_VEC_ELEMENT: { 11980b57cec5SDimitry Andric unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); 11990b57cec5SDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::VecElementArgument, 12000b57cec5SDimitry Andric ArgInfo)); 12010b57cec5SDimitry Andric return; 12020b57cec5SDimitry Andric } 12038bcb0991SDimitry Andric case IIT_SCALABLE_VEC: { 12045ffd83dbSDimitry Andric DecodeIITType(NextElt, Infos, Info, OutputTable); 12058bcb0991SDimitry Andric return; 12068bcb0991SDimitry Andric } 12078bcb0991SDimitry Andric case IIT_VEC_OF_BITCASTS_TO_INT: { 12088bcb0991SDimitry Andric unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); 12098bcb0991SDimitry Andric OutputTable.push_back(IITDescriptor::get(IITDescriptor::VecOfBitcastsToInt, 12108bcb0991SDimitry Andric ArgInfo)); 12118bcb0991SDimitry Andric return; 12128bcb0991SDimitry Andric } 12130b57cec5SDimitry Andric } 12140b57cec5SDimitry Andric llvm_unreachable("unhandled"); 12150b57cec5SDimitry Andric } 12160b57cec5SDimitry Andric 12170b57cec5SDimitry Andric #define GET_INTRINSIC_GENERATOR_GLOBAL 12180b57cec5SDimitry Andric #include "llvm/IR/IntrinsicImpl.inc" 12190b57cec5SDimitry Andric #undef GET_INTRINSIC_GENERATOR_GLOBAL 12200b57cec5SDimitry Andric 12210b57cec5SDimitry Andric void Intrinsic::getIntrinsicInfoTableEntries(ID id, 12220b57cec5SDimitry Andric SmallVectorImpl<IITDescriptor> &T){ 12230b57cec5SDimitry Andric // Check to see if the intrinsic's type was expressible by the table. 12240b57cec5SDimitry Andric unsigned TableVal = IIT_Table[id-1]; 12250b57cec5SDimitry Andric 12260b57cec5SDimitry Andric // Decode the TableVal into an array of IITValues. 12270b57cec5SDimitry Andric SmallVector<unsigned char, 8> IITValues; 12280b57cec5SDimitry Andric ArrayRef<unsigned char> IITEntries; 12290b57cec5SDimitry Andric unsigned NextElt = 0; 12300b57cec5SDimitry Andric if ((TableVal >> 31) != 0) { 12310b57cec5SDimitry Andric // This is an offset into the IIT_LongEncodingTable. 12320b57cec5SDimitry Andric IITEntries = IIT_LongEncodingTable; 12330b57cec5SDimitry Andric 12340b57cec5SDimitry Andric // Strip sentinel bit. 12350b57cec5SDimitry Andric NextElt = (TableVal << 1) >> 1; 12360b57cec5SDimitry Andric } else { 12370b57cec5SDimitry Andric // Decode the TableVal into an array of IITValues. If the entry was encoded 12380b57cec5SDimitry Andric // into a single word in the table itself, decode it now. 12390b57cec5SDimitry Andric do { 12400b57cec5SDimitry Andric IITValues.push_back(TableVal & 0xF); 12410b57cec5SDimitry Andric TableVal >>= 4; 12420b57cec5SDimitry Andric } while (TableVal); 12430b57cec5SDimitry Andric 12440b57cec5SDimitry Andric IITEntries = IITValues; 12450b57cec5SDimitry Andric NextElt = 0; 12460b57cec5SDimitry Andric } 12470b57cec5SDimitry Andric 12480b57cec5SDimitry Andric // Okay, decode the table into the output vector of IITDescriptors. 12495ffd83dbSDimitry Andric DecodeIITType(NextElt, IITEntries, IIT_Done, T); 12500b57cec5SDimitry Andric while (NextElt != IITEntries.size() && IITEntries[NextElt] != 0) 12515ffd83dbSDimitry Andric DecodeIITType(NextElt, IITEntries, IIT_Done, T); 12520b57cec5SDimitry Andric } 12530b57cec5SDimitry Andric 12540b57cec5SDimitry Andric static Type *DecodeFixedType(ArrayRef<Intrinsic::IITDescriptor> &Infos, 12550b57cec5SDimitry Andric ArrayRef<Type*> Tys, LLVMContext &Context) { 12560b57cec5SDimitry Andric using namespace Intrinsic; 12570b57cec5SDimitry Andric 12580b57cec5SDimitry Andric IITDescriptor D = Infos.front(); 12590b57cec5SDimitry Andric Infos = Infos.slice(1); 12600b57cec5SDimitry Andric 12610b57cec5SDimitry Andric switch (D.Kind) { 12620b57cec5SDimitry Andric case IITDescriptor::Void: return Type::getVoidTy(Context); 12630b57cec5SDimitry Andric case IITDescriptor::VarArg: return Type::getVoidTy(Context); 12640b57cec5SDimitry Andric case IITDescriptor::MMX: return Type::getX86_MMXTy(Context); 1265e8d8bef9SDimitry Andric case IITDescriptor::AMX: return Type::getX86_AMXTy(Context); 12660b57cec5SDimitry Andric case IITDescriptor::Token: return Type::getTokenTy(Context); 12670b57cec5SDimitry Andric case IITDescriptor::Metadata: return Type::getMetadataTy(Context); 12680b57cec5SDimitry Andric case IITDescriptor::Half: return Type::getHalfTy(Context); 12695ffd83dbSDimitry Andric case IITDescriptor::BFloat: return Type::getBFloatTy(Context); 12700b57cec5SDimitry Andric case IITDescriptor::Float: return Type::getFloatTy(Context); 12710b57cec5SDimitry Andric case IITDescriptor::Double: return Type::getDoubleTy(Context); 12720b57cec5SDimitry Andric case IITDescriptor::Quad: return Type::getFP128Ty(Context); 1273349cc55cSDimitry Andric case IITDescriptor::PPCQuad: return Type::getPPC_FP128Ty(Context); 12740b57cec5SDimitry Andric 12750b57cec5SDimitry Andric case IITDescriptor::Integer: 12760b57cec5SDimitry Andric return IntegerType::get(Context, D.Integer_Width); 12770b57cec5SDimitry Andric case IITDescriptor::Vector: 12785ffd83dbSDimitry Andric return VectorType::get(DecodeFixedType(Infos, Tys, Context), 12795ffd83dbSDimitry Andric D.Vector_Width); 12800b57cec5SDimitry Andric case IITDescriptor::Pointer: 12810b57cec5SDimitry Andric return PointerType::get(DecodeFixedType(Infos, Tys, Context), 12820b57cec5SDimitry Andric D.Pointer_AddressSpace); 12830b57cec5SDimitry Andric case IITDescriptor::Struct: { 12840b57cec5SDimitry Andric SmallVector<Type *, 8> Elts; 12850b57cec5SDimitry Andric for (unsigned i = 0, e = D.Struct_NumElements; i != e; ++i) 12860b57cec5SDimitry Andric Elts.push_back(DecodeFixedType(Infos, Tys, Context)); 12870b57cec5SDimitry Andric return StructType::get(Context, Elts); 12880b57cec5SDimitry Andric } 12890b57cec5SDimitry Andric case IITDescriptor::Argument: 12900b57cec5SDimitry Andric return Tys[D.getArgumentNumber()]; 12910b57cec5SDimitry Andric case IITDescriptor::ExtendArgument: { 12920b57cec5SDimitry Andric Type *Ty = Tys[D.getArgumentNumber()]; 12930b57cec5SDimitry Andric if (VectorType *VTy = dyn_cast<VectorType>(Ty)) 12940b57cec5SDimitry Andric return VectorType::getExtendedElementVectorType(VTy); 12950b57cec5SDimitry Andric 12960b57cec5SDimitry Andric return IntegerType::get(Context, 2 * cast<IntegerType>(Ty)->getBitWidth()); 12970b57cec5SDimitry Andric } 12980b57cec5SDimitry Andric case IITDescriptor::TruncArgument: { 12990b57cec5SDimitry Andric Type *Ty = Tys[D.getArgumentNumber()]; 13000b57cec5SDimitry Andric if (VectorType *VTy = dyn_cast<VectorType>(Ty)) 13010b57cec5SDimitry Andric return VectorType::getTruncatedElementVectorType(VTy); 13020b57cec5SDimitry Andric 13030b57cec5SDimitry Andric IntegerType *ITy = cast<IntegerType>(Ty); 13040b57cec5SDimitry Andric assert(ITy->getBitWidth() % 2 == 0); 13050b57cec5SDimitry Andric return IntegerType::get(Context, ITy->getBitWidth() / 2); 13060b57cec5SDimitry Andric } 13078bcb0991SDimitry Andric case IITDescriptor::Subdivide2Argument: 13088bcb0991SDimitry Andric case IITDescriptor::Subdivide4Argument: { 13098bcb0991SDimitry Andric Type *Ty = Tys[D.getArgumentNumber()]; 13108bcb0991SDimitry Andric VectorType *VTy = dyn_cast<VectorType>(Ty); 13118bcb0991SDimitry Andric assert(VTy && "Expected an argument of Vector Type"); 13128bcb0991SDimitry Andric int SubDivs = D.Kind == IITDescriptor::Subdivide2Argument ? 1 : 2; 13138bcb0991SDimitry Andric return VectorType::getSubdividedVectorType(VTy, SubDivs); 13148bcb0991SDimitry Andric } 13150b57cec5SDimitry Andric case IITDescriptor::HalfVecArgument: 13160b57cec5SDimitry Andric return VectorType::getHalfElementsVectorType(cast<VectorType>( 13170b57cec5SDimitry Andric Tys[D.getArgumentNumber()])); 13180b57cec5SDimitry Andric case IITDescriptor::SameVecWidthArgument: { 13190b57cec5SDimitry Andric Type *EltTy = DecodeFixedType(Infos, Tys, Context); 13200b57cec5SDimitry Andric Type *Ty = Tys[D.getArgumentNumber()]; 13210b57cec5SDimitry Andric if (auto *VTy = dyn_cast<VectorType>(Ty)) 13228bcb0991SDimitry Andric return VectorType::get(EltTy, VTy->getElementCount()); 13230b57cec5SDimitry Andric return EltTy; 13240b57cec5SDimitry Andric } 13250b57cec5SDimitry Andric case IITDescriptor::PtrToArgument: { 13260b57cec5SDimitry Andric Type *Ty = Tys[D.getArgumentNumber()]; 13270b57cec5SDimitry Andric return PointerType::getUnqual(Ty); 13280b57cec5SDimitry Andric } 13290b57cec5SDimitry Andric case IITDescriptor::PtrToElt: { 13300b57cec5SDimitry Andric Type *Ty = Tys[D.getArgumentNumber()]; 13310b57cec5SDimitry Andric VectorType *VTy = dyn_cast<VectorType>(Ty); 13320b57cec5SDimitry Andric if (!VTy) 13330b57cec5SDimitry Andric llvm_unreachable("Expected an argument of Vector Type"); 13345ffd83dbSDimitry Andric Type *EltTy = VTy->getElementType(); 13350b57cec5SDimitry Andric return PointerType::getUnqual(EltTy); 13360b57cec5SDimitry Andric } 13370b57cec5SDimitry Andric case IITDescriptor::VecElementArgument: { 13380b57cec5SDimitry Andric Type *Ty = Tys[D.getArgumentNumber()]; 13390b57cec5SDimitry Andric if (VectorType *VTy = dyn_cast<VectorType>(Ty)) 13400b57cec5SDimitry Andric return VTy->getElementType(); 13410b57cec5SDimitry Andric llvm_unreachable("Expected an argument of Vector Type"); 13420b57cec5SDimitry Andric } 13438bcb0991SDimitry Andric case IITDescriptor::VecOfBitcastsToInt: { 13448bcb0991SDimitry Andric Type *Ty = Tys[D.getArgumentNumber()]; 13458bcb0991SDimitry Andric VectorType *VTy = dyn_cast<VectorType>(Ty); 13468bcb0991SDimitry Andric assert(VTy && "Expected an argument of Vector Type"); 13478bcb0991SDimitry Andric return VectorType::getInteger(VTy); 13488bcb0991SDimitry Andric } 13490b57cec5SDimitry Andric case IITDescriptor::VecOfAnyPtrsToElt: 13500b57cec5SDimitry Andric // Return the overloaded type (which determines the pointers address space) 13510b57cec5SDimitry Andric return Tys[D.getOverloadArgNumber()]; 13520b57cec5SDimitry Andric } 13530b57cec5SDimitry Andric llvm_unreachable("unhandled"); 13540b57cec5SDimitry Andric } 13550b57cec5SDimitry Andric 13560b57cec5SDimitry Andric FunctionType *Intrinsic::getType(LLVMContext &Context, 13570b57cec5SDimitry Andric ID id, ArrayRef<Type*> Tys) { 13580b57cec5SDimitry Andric SmallVector<IITDescriptor, 8> Table; 13590b57cec5SDimitry Andric getIntrinsicInfoTableEntries(id, Table); 13600b57cec5SDimitry Andric 13610b57cec5SDimitry Andric ArrayRef<IITDescriptor> TableRef = Table; 13620b57cec5SDimitry Andric Type *ResultTy = DecodeFixedType(TableRef, Tys, Context); 13630b57cec5SDimitry Andric 13640b57cec5SDimitry Andric SmallVector<Type*, 8> ArgTys; 13650b57cec5SDimitry Andric while (!TableRef.empty()) 13660b57cec5SDimitry Andric ArgTys.push_back(DecodeFixedType(TableRef, Tys, Context)); 13670b57cec5SDimitry Andric 13680b57cec5SDimitry Andric // DecodeFixedType returns Void for IITDescriptor::Void and IITDescriptor::VarArg 13690b57cec5SDimitry Andric // If we see void type as the type of the last argument, it is vararg intrinsic 13700b57cec5SDimitry Andric if (!ArgTys.empty() && ArgTys.back()->isVoidTy()) { 13710b57cec5SDimitry Andric ArgTys.pop_back(); 13720b57cec5SDimitry Andric return FunctionType::get(ResultTy, ArgTys, true); 13730b57cec5SDimitry Andric } 13740b57cec5SDimitry Andric return FunctionType::get(ResultTy, ArgTys, false); 13750b57cec5SDimitry Andric } 13760b57cec5SDimitry Andric 13770b57cec5SDimitry Andric bool Intrinsic::isOverloaded(ID id) { 13780b57cec5SDimitry Andric #define GET_INTRINSIC_OVERLOAD_TABLE 13790b57cec5SDimitry Andric #include "llvm/IR/IntrinsicImpl.inc" 13800b57cec5SDimitry Andric #undef GET_INTRINSIC_OVERLOAD_TABLE 13810b57cec5SDimitry Andric } 13820b57cec5SDimitry Andric 13830b57cec5SDimitry Andric bool Intrinsic::isLeaf(ID id) { 13840b57cec5SDimitry Andric switch (id) { 13850b57cec5SDimitry Andric default: 13860b57cec5SDimitry Andric return true; 13870b57cec5SDimitry Andric 13880b57cec5SDimitry Andric case Intrinsic::experimental_gc_statepoint: 13890b57cec5SDimitry Andric case Intrinsic::experimental_patchpoint_void: 13900b57cec5SDimitry Andric case Intrinsic::experimental_patchpoint_i64: 13910b57cec5SDimitry Andric return false; 13920b57cec5SDimitry Andric } 13930b57cec5SDimitry Andric } 13940b57cec5SDimitry Andric 13950b57cec5SDimitry Andric /// This defines the "Intrinsic::getAttributes(ID id)" method. 13960b57cec5SDimitry Andric #define GET_INTRINSIC_ATTRIBUTES 13970b57cec5SDimitry Andric #include "llvm/IR/IntrinsicImpl.inc" 13980b57cec5SDimitry Andric #undef GET_INTRINSIC_ATTRIBUTES 13990b57cec5SDimitry Andric 14000b57cec5SDimitry Andric Function *Intrinsic::getDeclaration(Module *M, ID id, ArrayRef<Type*> Tys) { 14010b57cec5SDimitry Andric // There can never be multiple globals with the same name of different types, 14020b57cec5SDimitry Andric // because intrinsics must be a specific type. 1403fe6060f1SDimitry Andric auto *FT = getType(M->getContext(), id, Tys); 14040b57cec5SDimitry Andric return cast<Function>( 1405fe6060f1SDimitry Andric M->getOrInsertFunction(Tys.empty() ? getName(id) 1406fe6060f1SDimitry Andric : getName(id, Tys, M, FT), 14070b57cec5SDimitry Andric getType(M->getContext(), id, Tys)) 14080b57cec5SDimitry Andric .getCallee()); 14090b57cec5SDimitry Andric } 14100b57cec5SDimitry Andric 14110b57cec5SDimitry Andric // This defines the "Intrinsic::getIntrinsicForGCCBuiltin()" method. 14120b57cec5SDimitry Andric #define GET_LLVM_INTRINSIC_FOR_GCC_BUILTIN 14130b57cec5SDimitry Andric #include "llvm/IR/IntrinsicImpl.inc" 14140b57cec5SDimitry Andric #undef GET_LLVM_INTRINSIC_FOR_GCC_BUILTIN 14150b57cec5SDimitry Andric 14160b57cec5SDimitry Andric // This defines the "Intrinsic::getIntrinsicForMSBuiltin()" method. 14170b57cec5SDimitry Andric #define GET_LLVM_INTRINSIC_FOR_MS_BUILTIN 14180b57cec5SDimitry Andric #include "llvm/IR/IntrinsicImpl.inc" 14190b57cec5SDimitry Andric #undef GET_LLVM_INTRINSIC_FOR_MS_BUILTIN 14200b57cec5SDimitry Andric 14210b57cec5SDimitry Andric using DeferredIntrinsicMatchPair = 14220b57cec5SDimitry Andric std::pair<Type *, ArrayRef<Intrinsic::IITDescriptor>>; 14230b57cec5SDimitry Andric 14240b57cec5SDimitry Andric static bool matchIntrinsicType( 14250b57cec5SDimitry Andric Type *Ty, ArrayRef<Intrinsic::IITDescriptor> &Infos, 14260b57cec5SDimitry Andric SmallVectorImpl<Type *> &ArgTys, 14270b57cec5SDimitry Andric SmallVectorImpl<DeferredIntrinsicMatchPair> &DeferredChecks, 14280b57cec5SDimitry Andric bool IsDeferredCheck) { 14290b57cec5SDimitry Andric using namespace Intrinsic; 14300b57cec5SDimitry Andric 14310b57cec5SDimitry Andric // If we ran out of descriptors, there are too many arguments. 14320b57cec5SDimitry Andric if (Infos.empty()) return true; 14330b57cec5SDimitry Andric 14340b57cec5SDimitry Andric // Do this before slicing off the 'front' part 14350b57cec5SDimitry Andric auto InfosRef = Infos; 14360b57cec5SDimitry Andric auto DeferCheck = [&DeferredChecks, &InfosRef](Type *T) { 14370b57cec5SDimitry Andric DeferredChecks.emplace_back(T, InfosRef); 14380b57cec5SDimitry Andric return false; 14390b57cec5SDimitry Andric }; 14400b57cec5SDimitry Andric 14410b57cec5SDimitry Andric IITDescriptor D = Infos.front(); 14420b57cec5SDimitry Andric Infos = Infos.slice(1); 14430b57cec5SDimitry Andric 14440b57cec5SDimitry Andric switch (D.Kind) { 14450b57cec5SDimitry Andric case IITDescriptor::Void: return !Ty->isVoidTy(); 14460b57cec5SDimitry Andric case IITDescriptor::VarArg: return true; 14470b57cec5SDimitry Andric case IITDescriptor::MMX: return !Ty->isX86_MMXTy(); 1448e8d8bef9SDimitry Andric case IITDescriptor::AMX: return !Ty->isX86_AMXTy(); 14490b57cec5SDimitry Andric case IITDescriptor::Token: return !Ty->isTokenTy(); 14500b57cec5SDimitry Andric case IITDescriptor::Metadata: return !Ty->isMetadataTy(); 14510b57cec5SDimitry Andric case IITDescriptor::Half: return !Ty->isHalfTy(); 14525ffd83dbSDimitry Andric case IITDescriptor::BFloat: return !Ty->isBFloatTy(); 14530b57cec5SDimitry Andric case IITDescriptor::Float: return !Ty->isFloatTy(); 14540b57cec5SDimitry Andric case IITDescriptor::Double: return !Ty->isDoubleTy(); 14550b57cec5SDimitry Andric case IITDescriptor::Quad: return !Ty->isFP128Ty(); 1456349cc55cSDimitry Andric case IITDescriptor::PPCQuad: return !Ty->isPPC_FP128Ty(); 14570b57cec5SDimitry Andric case IITDescriptor::Integer: return !Ty->isIntegerTy(D.Integer_Width); 14580b57cec5SDimitry Andric case IITDescriptor::Vector: { 14590b57cec5SDimitry Andric VectorType *VT = dyn_cast<VectorType>(Ty); 14605ffd83dbSDimitry Andric return !VT || VT->getElementCount() != D.Vector_Width || 14610b57cec5SDimitry Andric matchIntrinsicType(VT->getElementType(), Infos, ArgTys, 14620b57cec5SDimitry Andric DeferredChecks, IsDeferredCheck); 14630b57cec5SDimitry Andric } 14640b57cec5SDimitry Andric case IITDescriptor::Pointer: { 14650b57cec5SDimitry Andric PointerType *PT = dyn_cast<PointerType>(Ty); 1466fe6060f1SDimitry Andric if (!PT || PT->getAddressSpace() != D.Pointer_AddressSpace) 1467fe6060f1SDimitry Andric return true; 1468fe6060f1SDimitry Andric if (!PT->isOpaque()) 1469*04eeddc0SDimitry Andric return matchIntrinsicType(PT->getNonOpaquePointerElementType(), Infos, 1470*04eeddc0SDimitry Andric ArgTys, DeferredChecks, IsDeferredCheck); 1471fe6060f1SDimitry Andric // Consume IIT descriptors relating to the pointer element type. 1472fe6060f1SDimitry Andric while (Infos.front().Kind == IITDescriptor::Pointer) 1473fe6060f1SDimitry Andric Infos = Infos.slice(1); 1474fe6060f1SDimitry Andric Infos = Infos.slice(1); 1475fe6060f1SDimitry Andric return false; 14760b57cec5SDimitry Andric } 14770b57cec5SDimitry Andric 14780b57cec5SDimitry Andric case IITDescriptor::Struct: { 14790b57cec5SDimitry Andric StructType *ST = dyn_cast<StructType>(Ty); 14800b57cec5SDimitry Andric if (!ST || ST->getNumElements() != D.Struct_NumElements) 14810b57cec5SDimitry Andric return true; 14820b57cec5SDimitry Andric 14830b57cec5SDimitry Andric for (unsigned i = 0, e = D.Struct_NumElements; i != e; ++i) 14840b57cec5SDimitry Andric if (matchIntrinsicType(ST->getElementType(i), Infos, ArgTys, 14850b57cec5SDimitry Andric DeferredChecks, IsDeferredCheck)) 14860b57cec5SDimitry Andric return true; 14870b57cec5SDimitry Andric return false; 14880b57cec5SDimitry Andric } 14890b57cec5SDimitry Andric 14900b57cec5SDimitry Andric case IITDescriptor::Argument: 14910b57cec5SDimitry Andric // If this is the second occurrence of an argument, 14920b57cec5SDimitry Andric // verify that the later instance matches the previous instance. 14930b57cec5SDimitry Andric if (D.getArgumentNumber() < ArgTys.size()) 14940b57cec5SDimitry Andric return Ty != ArgTys[D.getArgumentNumber()]; 14950b57cec5SDimitry Andric 14960b57cec5SDimitry Andric if (D.getArgumentNumber() > ArgTys.size() || 14970b57cec5SDimitry Andric D.getArgumentKind() == IITDescriptor::AK_MatchType) 14980b57cec5SDimitry Andric return IsDeferredCheck || DeferCheck(Ty); 14990b57cec5SDimitry Andric 15000b57cec5SDimitry Andric assert(D.getArgumentNumber() == ArgTys.size() && !IsDeferredCheck && 15010b57cec5SDimitry Andric "Table consistency error"); 15020b57cec5SDimitry Andric ArgTys.push_back(Ty); 15030b57cec5SDimitry Andric 15040b57cec5SDimitry Andric switch (D.getArgumentKind()) { 15050b57cec5SDimitry Andric case IITDescriptor::AK_Any: return false; // Success 15060b57cec5SDimitry Andric case IITDescriptor::AK_AnyInteger: return !Ty->isIntOrIntVectorTy(); 15070b57cec5SDimitry Andric case IITDescriptor::AK_AnyFloat: return !Ty->isFPOrFPVectorTy(); 15080b57cec5SDimitry Andric case IITDescriptor::AK_AnyVector: return !isa<VectorType>(Ty); 15090b57cec5SDimitry Andric case IITDescriptor::AK_AnyPointer: return !isa<PointerType>(Ty); 15100b57cec5SDimitry Andric default: break; 15110b57cec5SDimitry Andric } 15120b57cec5SDimitry Andric llvm_unreachable("all argument kinds not covered"); 15130b57cec5SDimitry Andric 15140b57cec5SDimitry Andric case IITDescriptor::ExtendArgument: { 15150b57cec5SDimitry Andric // If this is a forward reference, defer the check for later. 15160b57cec5SDimitry Andric if (D.getArgumentNumber() >= ArgTys.size()) 15170b57cec5SDimitry Andric return IsDeferredCheck || DeferCheck(Ty); 15180b57cec5SDimitry Andric 15190b57cec5SDimitry Andric Type *NewTy = ArgTys[D.getArgumentNumber()]; 15200b57cec5SDimitry Andric if (VectorType *VTy = dyn_cast<VectorType>(NewTy)) 15210b57cec5SDimitry Andric NewTy = VectorType::getExtendedElementVectorType(VTy); 15220b57cec5SDimitry Andric else if (IntegerType *ITy = dyn_cast<IntegerType>(NewTy)) 15230b57cec5SDimitry Andric NewTy = IntegerType::get(ITy->getContext(), 2 * ITy->getBitWidth()); 15240b57cec5SDimitry Andric else 15250b57cec5SDimitry Andric return true; 15260b57cec5SDimitry Andric 15270b57cec5SDimitry Andric return Ty != NewTy; 15280b57cec5SDimitry Andric } 15290b57cec5SDimitry Andric case IITDescriptor::TruncArgument: { 15300b57cec5SDimitry Andric // If this is a forward reference, defer the check for later. 15310b57cec5SDimitry Andric if (D.getArgumentNumber() >= ArgTys.size()) 15320b57cec5SDimitry Andric return IsDeferredCheck || DeferCheck(Ty); 15330b57cec5SDimitry Andric 15340b57cec5SDimitry Andric Type *NewTy = ArgTys[D.getArgumentNumber()]; 15350b57cec5SDimitry Andric if (VectorType *VTy = dyn_cast<VectorType>(NewTy)) 15360b57cec5SDimitry Andric NewTy = VectorType::getTruncatedElementVectorType(VTy); 15370b57cec5SDimitry Andric else if (IntegerType *ITy = dyn_cast<IntegerType>(NewTy)) 15380b57cec5SDimitry Andric NewTy = IntegerType::get(ITy->getContext(), ITy->getBitWidth() / 2); 15390b57cec5SDimitry Andric else 15400b57cec5SDimitry Andric return true; 15410b57cec5SDimitry Andric 15420b57cec5SDimitry Andric return Ty != NewTy; 15430b57cec5SDimitry Andric } 15440b57cec5SDimitry Andric case IITDescriptor::HalfVecArgument: 15450b57cec5SDimitry Andric // If this is a forward reference, defer the check for later. 15468bcb0991SDimitry Andric if (D.getArgumentNumber() >= ArgTys.size()) 15478bcb0991SDimitry Andric return IsDeferredCheck || DeferCheck(Ty); 15488bcb0991SDimitry Andric return !isa<VectorType>(ArgTys[D.getArgumentNumber()]) || 15490b57cec5SDimitry Andric VectorType::getHalfElementsVectorType( 15500b57cec5SDimitry Andric cast<VectorType>(ArgTys[D.getArgumentNumber()])) != Ty; 15510b57cec5SDimitry Andric case IITDescriptor::SameVecWidthArgument: { 15520b57cec5SDimitry Andric if (D.getArgumentNumber() >= ArgTys.size()) { 15530b57cec5SDimitry Andric // Defer check and subsequent check for the vector element type. 15540b57cec5SDimitry Andric Infos = Infos.slice(1); 15550b57cec5SDimitry Andric return IsDeferredCheck || DeferCheck(Ty); 15560b57cec5SDimitry Andric } 15570b57cec5SDimitry Andric auto *ReferenceType = dyn_cast<VectorType>(ArgTys[D.getArgumentNumber()]); 15580b57cec5SDimitry Andric auto *ThisArgType = dyn_cast<VectorType>(Ty); 15590b57cec5SDimitry Andric // Both must be vectors of the same number of elements or neither. 15600b57cec5SDimitry Andric if ((ReferenceType != nullptr) != (ThisArgType != nullptr)) 15610b57cec5SDimitry Andric return true; 15620b57cec5SDimitry Andric Type *EltTy = Ty; 15630b57cec5SDimitry Andric if (ThisArgType) { 15648bcb0991SDimitry Andric if (ReferenceType->getElementCount() != 15658bcb0991SDimitry Andric ThisArgType->getElementCount()) 15660b57cec5SDimitry Andric return true; 15675ffd83dbSDimitry Andric EltTy = ThisArgType->getElementType(); 15680b57cec5SDimitry Andric } 15690b57cec5SDimitry Andric return matchIntrinsicType(EltTy, Infos, ArgTys, DeferredChecks, 15700b57cec5SDimitry Andric IsDeferredCheck); 15710b57cec5SDimitry Andric } 15720b57cec5SDimitry Andric case IITDescriptor::PtrToArgument: { 15730b57cec5SDimitry Andric if (D.getArgumentNumber() >= ArgTys.size()) 15740b57cec5SDimitry Andric return IsDeferredCheck || DeferCheck(Ty); 15750b57cec5SDimitry Andric Type * ReferenceType = ArgTys[D.getArgumentNumber()]; 15760b57cec5SDimitry Andric PointerType *ThisArgType = dyn_cast<PointerType>(Ty); 1577*04eeddc0SDimitry Andric return (!ThisArgType || 1578*04eeddc0SDimitry Andric !ThisArgType->isOpaqueOrPointeeTypeMatches(ReferenceType)); 15790b57cec5SDimitry Andric } 15800b57cec5SDimitry Andric case IITDescriptor::PtrToElt: { 15810b57cec5SDimitry Andric if (D.getArgumentNumber() >= ArgTys.size()) 15820b57cec5SDimitry Andric return IsDeferredCheck || DeferCheck(Ty); 15830b57cec5SDimitry Andric VectorType * ReferenceType = 15840b57cec5SDimitry Andric dyn_cast<VectorType> (ArgTys[D.getArgumentNumber()]); 15850b57cec5SDimitry Andric PointerType *ThisArgType = dyn_cast<PointerType>(Ty); 15860b57cec5SDimitry Andric 1587fe6060f1SDimitry Andric if (!ThisArgType || !ReferenceType) 1588fe6060f1SDimitry Andric return true; 1589349cc55cSDimitry Andric return !ThisArgType->isOpaqueOrPointeeTypeMatches( 1590349cc55cSDimitry Andric ReferenceType->getElementType()); 15910b57cec5SDimitry Andric } 15920b57cec5SDimitry Andric case IITDescriptor::VecOfAnyPtrsToElt: { 15930b57cec5SDimitry Andric unsigned RefArgNumber = D.getRefArgNumber(); 15940b57cec5SDimitry Andric if (RefArgNumber >= ArgTys.size()) { 15950b57cec5SDimitry Andric if (IsDeferredCheck) 15960b57cec5SDimitry Andric return true; 15970b57cec5SDimitry Andric // If forward referencing, already add the pointer-vector type and 15980b57cec5SDimitry Andric // defer the checks for later. 15990b57cec5SDimitry Andric ArgTys.push_back(Ty); 16000b57cec5SDimitry Andric return DeferCheck(Ty); 16010b57cec5SDimitry Andric } 16020b57cec5SDimitry Andric 16030b57cec5SDimitry Andric if (!IsDeferredCheck){ 16040b57cec5SDimitry Andric assert(D.getOverloadArgNumber() == ArgTys.size() && 16050b57cec5SDimitry Andric "Table consistency error"); 16060b57cec5SDimitry Andric ArgTys.push_back(Ty); 16070b57cec5SDimitry Andric } 16080b57cec5SDimitry Andric 16090b57cec5SDimitry Andric // Verify the overloaded type "matches" the Ref type. 16100b57cec5SDimitry Andric // i.e. Ty is a vector with the same width as Ref. 16110b57cec5SDimitry Andric // Composed of pointers to the same element type as Ref. 1612e8d8bef9SDimitry Andric auto *ReferenceType = dyn_cast<VectorType>(ArgTys[RefArgNumber]); 1613e8d8bef9SDimitry Andric auto *ThisArgVecTy = dyn_cast<VectorType>(Ty); 16140b57cec5SDimitry Andric if (!ThisArgVecTy || !ReferenceType || 1615e8d8bef9SDimitry Andric (ReferenceType->getElementCount() != ThisArgVecTy->getElementCount())) 16160b57cec5SDimitry Andric return true; 16170b57cec5SDimitry Andric PointerType *ThisArgEltTy = 16185ffd83dbSDimitry Andric dyn_cast<PointerType>(ThisArgVecTy->getElementType()); 16190b57cec5SDimitry Andric if (!ThisArgEltTy) 16200b57cec5SDimitry Andric return true; 1621fe6060f1SDimitry Andric return !ThisArgEltTy->isOpaqueOrPointeeTypeMatches( 1622fe6060f1SDimitry Andric ReferenceType->getElementType()); 16230b57cec5SDimitry Andric } 16240b57cec5SDimitry Andric case IITDescriptor::VecElementArgument: { 16250b57cec5SDimitry Andric if (D.getArgumentNumber() >= ArgTys.size()) 16260b57cec5SDimitry Andric return IsDeferredCheck ? true : DeferCheck(Ty); 16270b57cec5SDimitry Andric auto *ReferenceType = dyn_cast<VectorType>(ArgTys[D.getArgumentNumber()]); 16280b57cec5SDimitry Andric return !ReferenceType || Ty != ReferenceType->getElementType(); 16290b57cec5SDimitry Andric } 16308bcb0991SDimitry Andric case IITDescriptor::Subdivide2Argument: 16318bcb0991SDimitry Andric case IITDescriptor::Subdivide4Argument: { 16328bcb0991SDimitry Andric // If this is a forward reference, defer the check for later. 16338bcb0991SDimitry Andric if (D.getArgumentNumber() >= ArgTys.size()) 16348bcb0991SDimitry Andric return IsDeferredCheck || DeferCheck(Ty); 16358bcb0991SDimitry Andric 16368bcb0991SDimitry Andric Type *NewTy = ArgTys[D.getArgumentNumber()]; 16378bcb0991SDimitry Andric if (auto *VTy = dyn_cast<VectorType>(NewTy)) { 16388bcb0991SDimitry Andric int SubDivs = D.Kind == IITDescriptor::Subdivide2Argument ? 1 : 2; 16398bcb0991SDimitry Andric NewTy = VectorType::getSubdividedVectorType(VTy, SubDivs); 16408bcb0991SDimitry Andric return Ty != NewTy; 16418bcb0991SDimitry Andric } 16428bcb0991SDimitry Andric return true; 16438bcb0991SDimitry Andric } 16448bcb0991SDimitry Andric case IITDescriptor::VecOfBitcastsToInt: { 16458bcb0991SDimitry Andric if (D.getArgumentNumber() >= ArgTys.size()) 16468bcb0991SDimitry Andric return IsDeferredCheck || DeferCheck(Ty); 16478bcb0991SDimitry Andric auto *ReferenceType = dyn_cast<VectorType>(ArgTys[D.getArgumentNumber()]); 16488bcb0991SDimitry Andric auto *ThisArgVecTy = dyn_cast<VectorType>(Ty); 16498bcb0991SDimitry Andric if (!ThisArgVecTy || !ReferenceType) 16508bcb0991SDimitry Andric return true; 16518bcb0991SDimitry Andric return ThisArgVecTy != VectorType::getInteger(ReferenceType); 16528bcb0991SDimitry Andric } 16530b57cec5SDimitry Andric } 16540b57cec5SDimitry Andric llvm_unreachable("unhandled"); 16550b57cec5SDimitry Andric } 16560b57cec5SDimitry Andric 16570b57cec5SDimitry Andric Intrinsic::MatchIntrinsicTypesResult 16580b57cec5SDimitry Andric Intrinsic::matchIntrinsicSignature(FunctionType *FTy, 16590b57cec5SDimitry Andric ArrayRef<Intrinsic::IITDescriptor> &Infos, 16600b57cec5SDimitry Andric SmallVectorImpl<Type *> &ArgTys) { 16610b57cec5SDimitry Andric SmallVector<DeferredIntrinsicMatchPair, 2> DeferredChecks; 16620b57cec5SDimitry Andric if (matchIntrinsicType(FTy->getReturnType(), Infos, ArgTys, DeferredChecks, 16630b57cec5SDimitry Andric false)) 16640b57cec5SDimitry Andric return MatchIntrinsicTypes_NoMatchRet; 16650b57cec5SDimitry Andric 16660b57cec5SDimitry Andric unsigned NumDeferredReturnChecks = DeferredChecks.size(); 16670b57cec5SDimitry Andric 16680b57cec5SDimitry Andric for (auto Ty : FTy->params()) 16690b57cec5SDimitry Andric if (matchIntrinsicType(Ty, Infos, ArgTys, DeferredChecks, false)) 16700b57cec5SDimitry Andric return MatchIntrinsicTypes_NoMatchArg; 16710b57cec5SDimitry Andric 16720b57cec5SDimitry Andric for (unsigned I = 0, E = DeferredChecks.size(); I != E; ++I) { 16730b57cec5SDimitry Andric DeferredIntrinsicMatchPair &Check = DeferredChecks[I]; 16740b57cec5SDimitry Andric if (matchIntrinsicType(Check.first, Check.second, ArgTys, DeferredChecks, 16750b57cec5SDimitry Andric true)) 16760b57cec5SDimitry Andric return I < NumDeferredReturnChecks ? MatchIntrinsicTypes_NoMatchRet 16770b57cec5SDimitry Andric : MatchIntrinsicTypes_NoMatchArg; 16780b57cec5SDimitry Andric } 16790b57cec5SDimitry Andric 16800b57cec5SDimitry Andric return MatchIntrinsicTypes_Match; 16810b57cec5SDimitry Andric } 16820b57cec5SDimitry Andric 16830b57cec5SDimitry Andric bool 16840b57cec5SDimitry Andric Intrinsic::matchIntrinsicVarArg(bool isVarArg, 16850b57cec5SDimitry Andric ArrayRef<Intrinsic::IITDescriptor> &Infos) { 16860b57cec5SDimitry Andric // If there are no descriptors left, then it can't be a vararg. 16870b57cec5SDimitry Andric if (Infos.empty()) 16880b57cec5SDimitry Andric return isVarArg; 16890b57cec5SDimitry Andric 16900b57cec5SDimitry Andric // There should be only one descriptor remaining at this point. 16910b57cec5SDimitry Andric if (Infos.size() != 1) 16920b57cec5SDimitry Andric return true; 16930b57cec5SDimitry Andric 16940b57cec5SDimitry Andric // Check and verify the descriptor. 16950b57cec5SDimitry Andric IITDescriptor D = Infos.front(); 16960b57cec5SDimitry Andric Infos = Infos.slice(1); 16970b57cec5SDimitry Andric if (D.Kind == IITDescriptor::VarArg) 16980b57cec5SDimitry Andric return !isVarArg; 16990b57cec5SDimitry Andric 17000b57cec5SDimitry Andric return true; 17010b57cec5SDimitry Andric } 17020b57cec5SDimitry Andric 17035ffd83dbSDimitry Andric bool Intrinsic::getIntrinsicSignature(Function *F, 17045ffd83dbSDimitry Andric SmallVectorImpl<Type *> &ArgTys) { 17050b57cec5SDimitry Andric Intrinsic::ID ID = F->getIntrinsicID(); 17060b57cec5SDimitry Andric if (!ID) 17075ffd83dbSDimitry Andric return false; 17080b57cec5SDimitry Andric 17090b57cec5SDimitry Andric SmallVector<Intrinsic::IITDescriptor, 8> Table; 17100b57cec5SDimitry Andric getIntrinsicInfoTableEntries(ID, Table); 17110b57cec5SDimitry Andric ArrayRef<Intrinsic::IITDescriptor> TableRef = Table; 17120b57cec5SDimitry Andric 17135ffd83dbSDimitry Andric if (Intrinsic::matchIntrinsicSignature(F->getFunctionType(), TableRef, 17145ffd83dbSDimitry Andric ArgTys) != 17155ffd83dbSDimitry Andric Intrinsic::MatchIntrinsicTypesResult::MatchIntrinsicTypes_Match) { 17165ffd83dbSDimitry Andric return false; 17175ffd83dbSDimitry Andric } 17185ffd83dbSDimitry Andric if (Intrinsic::matchIntrinsicVarArg(F->getFunctionType()->isVarArg(), 17195ffd83dbSDimitry Andric TableRef)) 17205ffd83dbSDimitry Andric return false; 17215ffd83dbSDimitry Andric return true; 17220b57cec5SDimitry Andric } 17230b57cec5SDimitry Andric 17245ffd83dbSDimitry Andric Optional<Function *> Intrinsic::remangleIntrinsicFunction(Function *F) { 17255ffd83dbSDimitry Andric SmallVector<Type *, 4> ArgTys; 17265ffd83dbSDimitry Andric if (!getIntrinsicSignature(F, ArgTys)) 17275ffd83dbSDimitry Andric return None; 17285ffd83dbSDimitry Andric 17295ffd83dbSDimitry Andric Intrinsic::ID ID = F->getIntrinsicID(); 17300b57cec5SDimitry Andric StringRef Name = F->getName(); 1731fe6060f1SDimitry Andric std::string WantedName = 1732fe6060f1SDimitry Andric Intrinsic::getName(ID, ArgTys, F->getParent(), F->getFunctionType()); 1733fe6060f1SDimitry Andric if (Name == WantedName) 17340b57cec5SDimitry Andric return None; 17350b57cec5SDimitry Andric 1736fe6060f1SDimitry Andric Function *NewDecl = [&] { 1737fe6060f1SDimitry Andric if (auto *ExistingGV = F->getParent()->getNamedValue(WantedName)) { 1738fe6060f1SDimitry Andric if (auto *ExistingF = dyn_cast<Function>(ExistingGV)) 1739fe6060f1SDimitry Andric if (ExistingF->getFunctionType() == F->getFunctionType()) 1740fe6060f1SDimitry Andric return ExistingF; 1741fe6060f1SDimitry Andric 1742fe6060f1SDimitry Andric // The name already exists, but is not a function or has the wrong 1743fe6060f1SDimitry Andric // prototype. Make place for the new one by renaming the old version. 1744fe6060f1SDimitry Andric // Either this old version will be removed later on or the module is 1745fe6060f1SDimitry Andric // invalid and we'll get an error. 1746fe6060f1SDimitry Andric ExistingGV->setName(WantedName + ".renamed"); 1747fe6060f1SDimitry Andric } 1748fe6060f1SDimitry Andric return Intrinsic::getDeclaration(F->getParent(), ID, ArgTys); 1749fe6060f1SDimitry Andric }(); 1750fe6060f1SDimitry Andric 17510b57cec5SDimitry Andric NewDecl->setCallingConv(F->getCallingConv()); 17525ffd83dbSDimitry Andric assert(NewDecl->getFunctionType() == F->getFunctionType() && 17535ffd83dbSDimitry Andric "Shouldn't change the signature"); 17540b57cec5SDimitry Andric return NewDecl; 17550b57cec5SDimitry Andric } 17560b57cec5SDimitry Andric 17570b57cec5SDimitry Andric /// hasAddressTaken - returns true if there are any uses of this function 17585ffd83dbSDimitry Andric /// other than direct calls or invokes to it. Optionally ignores callback 1759fe6060f1SDimitry Andric /// uses, assume like pointer annotation calls, and references in llvm.used 1760fe6060f1SDimitry Andric /// and llvm.compiler.used variables. 17615ffd83dbSDimitry Andric bool Function::hasAddressTaken(const User **PutOffender, 1762fe6060f1SDimitry Andric bool IgnoreCallbackUses, 1763349cc55cSDimitry Andric bool IgnoreAssumeLikeCalls, bool IgnoreLLVMUsed, 1764349cc55cSDimitry Andric bool IgnoreARCAttachedCall) const { 17650b57cec5SDimitry Andric for (const Use &U : uses()) { 17660b57cec5SDimitry Andric const User *FU = U.getUser(); 17670b57cec5SDimitry Andric if (isa<BlockAddress>(FU)) 17680b57cec5SDimitry Andric continue; 17695ffd83dbSDimitry Andric 17705ffd83dbSDimitry Andric if (IgnoreCallbackUses) { 17715ffd83dbSDimitry Andric AbstractCallSite ACS(&U); 17725ffd83dbSDimitry Andric if (ACS && ACS.isCallbackCall()) 17735ffd83dbSDimitry Andric continue; 17745ffd83dbSDimitry Andric } 17755ffd83dbSDimitry Andric 17760b57cec5SDimitry Andric const auto *Call = dyn_cast<CallBase>(FU); 17770b57cec5SDimitry Andric if (!Call) { 1778fe6060f1SDimitry Andric if (IgnoreAssumeLikeCalls) { 1779fe6060f1SDimitry Andric if (const auto *FI = dyn_cast<Instruction>(FU)) { 1780fe6060f1SDimitry Andric if (FI->isCast() && !FI->user_empty() && 1781fe6060f1SDimitry Andric llvm::all_of(FU->users(), [](const User *U) { 1782fe6060f1SDimitry Andric if (const auto *I = dyn_cast<IntrinsicInst>(U)) 1783fe6060f1SDimitry Andric return I->isAssumeLikeIntrinsic(); 1784fe6060f1SDimitry Andric return false; 1785fe6060f1SDimitry Andric })) 1786fe6060f1SDimitry Andric continue; 1787fe6060f1SDimitry Andric } 1788fe6060f1SDimitry Andric } 1789fe6060f1SDimitry Andric if (IgnoreLLVMUsed && !FU->user_empty()) { 1790fe6060f1SDimitry Andric const User *FUU = FU; 1791fe6060f1SDimitry Andric if (isa<BitCastOperator>(FU) && FU->hasOneUse() && 1792fe6060f1SDimitry Andric !FU->user_begin()->user_empty()) 1793fe6060f1SDimitry Andric FUU = *FU->user_begin(); 1794fe6060f1SDimitry Andric if (llvm::all_of(FUU->users(), [](const User *U) { 1795fe6060f1SDimitry Andric if (const auto *GV = dyn_cast<GlobalVariable>(U)) 1796fe6060f1SDimitry Andric return GV->hasName() && 1797fe6060f1SDimitry Andric (GV->getName().equals("llvm.compiler.used") || 1798fe6060f1SDimitry Andric GV->getName().equals("llvm.used")); 1799fe6060f1SDimitry Andric return false; 1800fe6060f1SDimitry Andric })) 1801fe6060f1SDimitry Andric continue; 1802fe6060f1SDimitry Andric } 18030b57cec5SDimitry Andric if (PutOffender) 18040b57cec5SDimitry Andric *PutOffender = FU; 18050b57cec5SDimitry Andric return true; 18060b57cec5SDimitry Andric } 18070b57cec5SDimitry Andric if (!Call->isCallee(&U)) { 1808349cc55cSDimitry Andric if (IgnoreARCAttachedCall && 1809349cc55cSDimitry Andric Call->isOperandBundleOfType(LLVMContext::OB_clang_arc_attachedcall, 1810349cc55cSDimitry Andric U.getOperandNo())) 1811349cc55cSDimitry Andric continue; 1812349cc55cSDimitry Andric 18130b57cec5SDimitry Andric if (PutOffender) 18140b57cec5SDimitry Andric *PutOffender = FU; 18150b57cec5SDimitry Andric return true; 18160b57cec5SDimitry Andric } 18170b57cec5SDimitry Andric } 18180b57cec5SDimitry Andric return false; 18190b57cec5SDimitry Andric } 18200b57cec5SDimitry Andric 18210b57cec5SDimitry Andric bool Function::isDefTriviallyDead() const { 18220b57cec5SDimitry Andric // Check the linkage 18230b57cec5SDimitry Andric if (!hasLinkOnceLinkage() && !hasLocalLinkage() && 18240b57cec5SDimitry Andric !hasAvailableExternallyLinkage()) 18250b57cec5SDimitry Andric return false; 18260b57cec5SDimitry Andric 18270b57cec5SDimitry Andric // Check if the function is used by anything other than a blockaddress. 18280b57cec5SDimitry Andric for (const User *U : users()) 18290b57cec5SDimitry Andric if (!isa<BlockAddress>(U)) 18300b57cec5SDimitry Andric return false; 18310b57cec5SDimitry Andric 18320b57cec5SDimitry Andric return true; 18330b57cec5SDimitry Andric } 18340b57cec5SDimitry Andric 18350b57cec5SDimitry Andric /// callsFunctionThatReturnsTwice - Return true if the function has a call to 18360b57cec5SDimitry Andric /// setjmp or other function that gcc recognizes as "returning twice". 18370b57cec5SDimitry Andric bool Function::callsFunctionThatReturnsTwice() const { 18380b57cec5SDimitry Andric for (const Instruction &I : instructions(this)) 18390b57cec5SDimitry Andric if (const auto *Call = dyn_cast<CallBase>(&I)) 18400b57cec5SDimitry Andric if (Call->hasFnAttr(Attribute::ReturnsTwice)) 18410b57cec5SDimitry Andric return true; 18420b57cec5SDimitry Andric 18430b57cec5SDimitry Andric return false; 18440b57cec5SDimitry Andric } 18450b57cec5SDimitry Andric 18460b57cec5SDimitry Andric Constant *Function::getPersonalityFn() const { 18470b57cec5SDimitry Andric assert(hasPersonalityFn() && getNumOperands()); 18480b57cec5SDimitry Andric return cast<Constant>(Op<0>()); 18490b57cec5SDimitry Andric } 18500b57cec5SDimitry Andric 18510b57cec5SDimitry Andric void Function::setPersonalityFn(Constant *Fn) { 18520b57cec5SDimitry Andric setHungoffOperand<0>(Fn); 18530b57cec5SDimitry Andric setValueSubclassDataBit(3, Fn != nullptr); 18540b57cec5SDimitry Andric } 18550b57cec5SDimitry Andric 18560b57cec5SDimitry Andric Constant *Function::getPrefixData() const { 18570b57cec5SDimitry Andric assert(hasPrefixData() && getNumOperands()); 18580b57cec5SDimitry Andric return cast<Constant>(Op<1>()); 18590b57cec5SDimitry Andric } 18600b57cec5SDimitry Andric 18610b57cec5SDimitry Andric void Function::setPrefixData(Constant *PrefixData) { 18620b57cec5SDimitry Andric setHungoffOperand<1>(PrefixData); 18630b57cec5SDimitry Andric setValueSubclassDataBit(1, PrefixData != nullptr); 18640b57cec5SDimitry Andric } 18650b57cec5SDimitry Andric 18660b57cec5SDimitry Andric Constant *Function::getPrologueData() const { 18670b57cec5SDimitry Andric assert(hasPrologueData() && getNumOperands()); 18680b57cec5SDimitry Andric return cast<Constant>(Op<2>()); 18690b57cec5SDimitry Andric } 18700b57cec5SDimitry Andric 18710b57cec5SDimitry Andric void Function::setPrologueData(Constant *PrologueData) { 18720b57cec5SDimitry Andric setHungoffOperand<2>(PrologueData); 18730b57cec5SDimitry Andric setValueSubclassDataBit(2, PrologueData != nullptr); 18740b57cec5SDimitry Andric } 18750b57cec5SDimitry Andric 18760b57cec5SDimitry Andric void Function::allocHungoffUselist() { 18770b57cec5SDimitry Andric // If we've already allocated a uselist, stop here. 18780b57cec5SDimitry Andric if (getNumOperands()) 18790b57cec5SDimitry Andric return; 18800b57cec5SDimitry Andric 18810b57cec5SDimitry Andric allocHungoffUses(3, /*IsPhi=*/ false); 18820b57cec5SDimitry Andric setNumHungOffUseOperands(3); 18830b57cec5SDimitry Andric 18840b57cec5SDimitry Andric // Initialize the uselist with placeholder operands to allow traversal. 18850b57cec5SDimitry Andric auto *CPN = ConstantPointerNull::get(Type::getInt1PtrTy(getContext(), 0)); 18860b57cec5SDimitry Andric Op<0>().set(CPN); 18870b57cec5SDimitry Andric Op<1>().set(CPN); 18880b57cec5SDimitry Andric Op<2>().set(CPN); 18890b57cec5SDimitry Andric } 18900b57cec5SDimitry Andric 18910b57cec5SDimitry Andric template <int Idx> 18920b57cec5SDimitry Andric void Function::setHungoffOperand(Constant *C) { 18930b57cec5SDimitry Andric if (C) { 18940b57cec5SDimitry Andric allocHungoffUselist(); 18950b57cec5SDimitry Andric Op<Idx>().set(C); 18960b57cec5SDimitry Andric } else if (getNumOperands()) { 18970b57cec5SDimitry Andric Op<Idx>().set( 18980b57cec5SDimitry Andric ConstantPointerNull::get(Type::getInt1PtrTy(getContext(), 0))); 18990b57cec5SDimitry Andric } 19000b57cec5SDimitry Andric } 19010b57cec5SDimitry Andric 19020b57cec5SDimitry Andric void Function::setValueSubclassDataBit(unsigned Bit, bool On) { 19030b57cec5SDimitry Andric assert(Bit < 16 && "SubclassData contains only 16 bits"); 19040b57cec5SDimitry Andric if (On) 19050b57cec5SDimitry Andric setValueSubclassData(getSubclassDataFromValue() | (1 << Bit)); 19060b57cec5SDimitry Andric else 19070b57cec5SDimitry Andric setValueSubclassData(getSubclassDataFromValue() & ~(1 << Bit)); 19080b57cec5SDimitry Andric } 19090b57cec5SDimitry Andric 19100b57cec5SDimitry Andric void Function::setEntryCount(ProfileCount Count, 19110b57cec5SDimitry Andric const DenseSet<GlobalValue::GUID> *S) { 19120b57cec5SDimitry Andric #if !defined(NDEBUG) 19130b57cec5SDimitry Andric auto PrevCount = getEntryCount(); 1914349cc55cSDimitry Andric assert(!PrevCount.hasValue() || PrevCount->getType() == Count.getType()); 19150b57cec5SDimitry Andric #endif 1916480093f4SDimitry Andric 1917480093f4SDimitry Andric auto ImportGUIDs = getImportGUIDs(); 1918480093f4SDimitry Andric if (S == nullptr && ImportGUIDs.size()) 1919480093f4SDimitry Andric S = &ImportGUIDs; 1920480093f4SDimitry Andric 19210b57cec5SDimitry Andric MDBuilder MDB(getContext()); 19220b57cec5SDimitry Andric setMetadata( 19230b57cec5SDimitry Andric LLVMContext::MD_prof, 19240b57cec5SDimitry Andric MDB.createFunctionEntryCount(Count.getCount(), Count.isSynthetic(), S)); 19250b57cec5SDimitry Andric } 19260b57cec5SDimitry Andric 19270b57cec5SDimitry Andric void Function::setEntryCount(uint64_t Count, Function::ProfileCountType Type, 19280b57cec5SDimitry Andric const DenseSet<GlobalValue::GUID> *Imports) { 19290b57cec5SDimitry Andric setEntryCount(ProfileCount(Count, Type), Imports); 19300b57cec5SDimitry Andric } 19310b57cec5SDimitry Andric 1932349cc55cSDimitry Andric Optional<ProfileCount> Function::getEntryCount(bool AllowSynthetic) const { 19330b57cec5SDimitry Andric MDNode *MD = getMetadata(LLVMContext::MD_prof); 19340b57cec5SDimitry Andric if (MD && MD->getOperand(0)) 19350b57cec5SDimitry Andric if (MDString *MDS = dyn_cast<MDString>(MD->getOperand(0))) { 19360b57cec5SDimitry Andric if (MDS->getString().equals("function_entry_count")) { 19370b57cec5SDimitry Andric ConstantInt *CI = mdconst::extract<ConstantInt>(MD->getOperand(1)); 19380b57cec5SDimitry Andric uint64_t Count = CI->getValue().getZExtValue(); 19390b57cec5SDimitry Andric // A value of -1 is used for SamplePGO when there were no samples. 19400b57cec5SDimitry Andric // Treat this the same as unknown. 19410b57cec5SDimitry Andric if (Count == (uint64_t)-1) 1942349cc55cSDimitry Andric return None; 19430b57cec5SDimitry Andric return ProfileCount(Count, PCT_Real); 19440b57cec5SDimitry Andric } else if (AllowSynthetic && 19450b57cec5SDimitry Andric MDS->getString().equals("synthetic_function_entry_count")) { 19460b57cec5SDimitry Andric ConstantInt *CI = mdconst::extract<ConstantInt>(MD->getOperand(1)); 19470b57cec5SDimitry Andric uint64_t Count = CI->getValue().getZExtValue(); 19480b57cec5SDimitry Andric return ProfileCount(Count, PCT_Synthetic); 19490b57cec5SDimitry Andric } 19500b57cec5SDimitry Andric } 1951349cc55cSDimitry Andric return None; 19520b57cec5SDimitry Andric } 19530b57cec5SDimitry Andric 19540b57cec5SDimitry Andric DenseSet<GlobalValue::GUID> Function::getImportGUIDs() const { 19550b57cec5SDimitry Andric DenseSet<GlobalValue::GUID> R; 19560b57cec5SDimitry Andric if (MDNode *MD = getMetadata(LLVMContext::MD_prof)) 19570b57cec5SDimitry Andric if (MDString *MDS = dyn_cast<MDString>(MD->getOperand(0))) 19580b57cec5SDimitry Andric if (MDS->getString().equals("function_entry_count")) 19590b57cec5SDimitry Andric for (unsigned i = 2; i < MD->getNumOperands(); i++) 19600b57cec5SDimitry Andric R.insert(mdconst::extract<ConstantInt>(MD->getOperand(i)) 19610b57cec5SDimitry Andric ->getValue() 19620b57cec5SDimitry Andric .getZExtValue()); 19630b57cec5SDimitry Andric return R; 19640b57cec5SDimitry Andric } 19650b57cec5SDimitry Andric 19660b57cec5SDimitry Andric void Function::setSectionPrefix(StringRef Prefix) { 19670b57cec5SDimitry Andric MDBuilder MDB(getContext()); 19680b57cec5SDimitry Andric setMetadata(LLVMContext::MD_section_prefix, 19690b57cec5SDimitry Andric MDB.createFunctionSectionPrefix(Prefix)); 19700b57cec5SDimitry Andric } 19710b57cec5SDimitry Andric 19720b57cec5SDimitry Andric Optional<StringRef> Function::getSectionPrefix() const { 19730b57cec5SDimitry Andric if (MDNode *MD = getMetadata(LLVMContext::MD_section_prefix)) { 19740b57cec5SDimitry Andric assert(cast<MDString>(MD->getOperand(0)) 19750b57cec5SDimitry Andric ->getString() 19760b57cec5SDimitry Andric .equals("function_section_prefix") && 19770b57cec5SDimitry Andric "Metadata not match"); 19780b57cec5SDimitry Andric return cast<MDString>(MD->getOperand(1))->getString(); 19790b57cec5SDimitry Andric } 19800b57cec5SDimitry Andric return None; 19810b57cec5SDimitry Andric } 19820b57cec5SDimitry Andric 19830b57cec5SDimitry Andric bool Function::nullPointerIsDefined() const { 19845ffd83dbSDimitry Andric return hasFnAttribute(Attribute::NullPointerIsValid); 19850b57cec5SDimitry Andric } 19860b57cec5SDimitry Andric 19870b57cec5SDimitry Andric bool llvm::NullPointerIsDefined(const Function *F, unsigned AS) { 19880b57cec5SDimitry Andric if (F && F->nullPointerIsDefined()) 19890b57cec5SDimitry Andric return true; 19900b57cec5SDimitry Andric 19910b57cec5SDimitry Andric if (AS != 0) 19920b57cec5SDimitry Andric return true; 19930b57cec5SDimitry Andric 19940b57cec5SDimitry Andric return false; 19950b57cec5SDimitry Andric } 1996