LCOV - code coverage report
Current view: top level - lib/IR - Function.cpp (source / functions) Hit Total Coverage
Test: llvm-toolchain.info Lines: 621 692 89.7 %
Date: 2018-07-13 00:08:38 Functions: 82 92 89.1 %
Legend: Lines: hit not hit

          Line data    Source code
       1             : //===- Function.cpp - Implement the Global object classes -----------------===//
       2             : //
       3             : //                     The LLVM Compiler Infrastructure
       4             : //
       5             : // This file is distributed under the University of Illinois Open Source
       6             : // License. See LICENSE.TXT for details.
       7             : //
       8             : //===----------------------------------------------------------------------===//
       9             : //
      10             : // This file implements the Function class for the IR library.
      11             : //
      12             : //===----------------------------------------------------------------------===//
      13             : 
      14             : #include "llvm/IR/Function.h"
      15             : #include "SymbolTableListTraitsImpl.h"
      16             : #include "llvm/ADT/ArrayRef.h"
      17             : #include "llvm/ADT/DenseSet.h"
      18             : #include "llvm/ADT/None.h"
      19             : #include "llvm/ADT/STLExtras.h"
      20             : #include "llvm/ADT/SmallString.h"
      21             : #include "llvm/ADT/SmallVector.h"
      22             : #include "llvm/ADT/StringExtras.h"
      23             : #include "llvm/ADT/StringRef.h"
      24             : #include "llvm/IR/Argument.h"
      25             : #include "llvm/IR/Attributes.h"
      26             : #include "llvm/IR/BasicBlock.h"
      27             : #include "llvm/IR/CallSite.h"
      28             : #include "llvm/IR/Constant.h"
      29             : #include "llvm/IR/Constants.h"
      30             : #include "llvm/IR/DerivedTypes.h"
      31             : #include "llvm/IR/GlobalValue.h"
      32             : #include "llvm/IR/InstIterator.h"
      33             : #include "llvm/IR/Instruction.h"
      34             : #include "llvm/IR/Instructions.h"
      35             : #include "llvm/IR/IntrinsicInst.h"
      36             : #include "llvm/IR/Intrinsics.h"
      37             : #include "llvm/IR/LLVMContext.h"
      38             : #include "llvm/IR/MDBuilder.h"
      39             : #include "llvm/IR/Metadata.h"
      40             : #include "llvm/IR/Module.h"
      41             : #include "llvm/IR/SymbolTableListTraits.h"
      42             : #include "llvm/IR/Type.h"
      43             : #include "llvm/IR/Use.h"
      44             : #include "llvm/IR/User.h"
      45             : #include "llvm/IR/Value.h"
      46             : #include "llvm/IR/ValueSymbolTable.h"
      47             : #include "llvm/Support/Casting.h"
      48             : #include "llvm/Support/Compiler.h"
      49             : #include "llvm/Support/ErrorHandling.h"
      50             : #include <algorithm>
      51             : #include <cassert>
      52             : #include <cstddef>
      53             : #include <cstdint>
      54             : #include <cstring>
      55             : #include <string>
      56             : 
      57             : using namespace llvm;
      58             : using ProfileCount = Function::ProfileCount;
      59             : 
      60             : // Explicit instantiations of SymbolTableListTraits since some of the methods
      61             : // are not in the public header file...
      62             : template class llvm::SymbolTableListTraits<BasicBlock>;
      63             : 
      64             : //===----------------------------------------------------------------------===//
      65             : // Argument Implementation
      66             : //===----------------------------------------------------------------------===//
      67             : 
      68     1019532 : Argument::Argument(Type *Ty, const Twine &Name, Function *Par, unsigned ArgNo)
      69     1019532 :     : Value(Ty, Value::ArgumentVal), Parent(Par), ArgNo(ArgNo) {
      70     1019532 :   setName(Name);
      71     1019532 : }
      72             : 
      73         330 : void Argument::setParent(Function *parent) {
      74         330 :   Parent = parent;
      75         330 : }
      76             : 
      77     1327090 : bool Argument::hasNonNullAttr() const {
      78     2654180 :   if (!getType()->isPointerTy()) return false;
      79     2654180 :   if (getParent()->hasParamAttribute(getArgNo(), Attribute::NonNull))
      80             :     return true;
      81     1366757 :   else if (getDereferenceableBytes() > 0 &&
      82       79436 :            !NullPointerIsDefined(getParent(),
      83             :                                  getType()->getPointerAddressSpace()))
      84             :     return true;
      85             :   return false;
      86             : }
      87             : 
      88     3139868 : bool Argument::hasByValAttr() const {
      89     6279736 :   if (!getType()->isPointerTy()) return false;
      90     3106531 :   return hasAttribute(Attribute::ByVal);
      91             : }
      92             : 
      93           0 : bool Argument::hasSwiftSelfAttr() const {
      94           0 :   return getParent()->hasParamAttribute(getArgNo(), Attribute::SwiftSelf);
      95             : }
      96             : 
      97      329463 : bool Argument::hasSwiftErrorAttr() const {
      98      658926 :   return getParent()->hasParamAttribute(getArgNo(), Attribute::SwiftError);
      99             : }
     100             : 
     101        8446 : bool Argument::hasInAllocaAttr() const {
     102       16892 :   if (!getType()->isPointerTy()) return false;
     103        7005 :   return hasAttribute(Attribute::InAlloca);
     104             : }
     105             : 
     106      403704 : bool Argument::hasByValOrInAllocaAttr() const {
     107      807408 :   if (!getType()->isPointerTy()) return false;
     108      387209 :   AttributeList Attrs = getParent()->getAttributes();
     109      769443 :   return Attrs.hasParamAttribute(getArgNo(), Attribute::ByVal) ||
     110      382234 :          Attrs.hasParamAttribute(getArgNo(), Attribute::InAlloca);
     111             : }
     112             : 
     113     1111628 : unsigned Argument::getParamAlignment() const {
     114             :   assert(getType()->isPointerTy() && "Only pointers have alignments");
     115     2223256 :   return getParent()->getParamAlignment(getArgNo());
     116             : }
     117             : 
     118     1404573 : uint64_t Argument::getDereferenceableBytes() const {
     119             :   assert(getType()->isPointerTy() &&
     120             :          "Only pointers have dereferenceable bytes");
     121     2809146 :   return getParent()->getParamDereferenceableBytes(getArgNo());
     122             : }
     123             : 
     124       74042 : uint64_t Argument::getDereferenceableOrNullBytes() const {
     125             :   assert(getType()->isPointerTy() &&
     126             :          "Only pointers have dereferenceable bytes");
     127      148084 :   return getParent()->getParamDereferenceableOrNullBytes(getArgNo());
     128             : }
     129             : 
     130         657 : bool Argument::hasNestAttr() const {
     131        1314 :   if (!getType()->isPointerTy()) return false;
     132         598 :   return hasAttribute(Attribute::Nest);
     133             : }
     134             : 
     135     3337801 : bool Argument::hasNoAliasAttr() const {
     136     6675602 :   if (!getType()->isPointerTy()) return false;
     137     3278884 :   return hasAttribute(Attribute::NoAlias);
     138             : }
     139             : 
     140        5325 : bool Argument::hasNoCaptureAttr() const {
     141       10650 :   if (!getType()->isPointerTy()) return false;
     142        5325 :   return hasAttribute(Attribute::NoCapture);
     143             : }
     144             : 
     145     1023619 : bool Argument::hasStructRetAttr() const {
     146     2047238 :   if (!getType()->isPointerTy()) return false;
     147     1023577 :   return hasAttribute(Attribute::StructRet);
     148             : }
     149             : 
     150        7081 : bool Argument::hasReturnedAttr() const {
     151        7081 :   return hasAttribute(Attribute::Returned);
     152             : }
     153             : 
     154       32195 : bool Argument::hasZExtAttr() const {
     155       32195 :   return hasAttribute(Attribute::ZExt);
     156             : }
     157             : 
     158       32173 : bool Argument::hasSExtAttr() const {
     159       32173 :   return hasAttribute(Attribute::SExt);
     160             : }
     161             : 
     162        8027 : bool Argument::onlyReadsMemory() const {
     163        8027 :   AttributeList Attrs = getParent()->getAttributes();
     164       15917 :   return Attrs.hasParamAttribute(getArgNo(), Attribute::ReadOnly) ||
     165       15917 :          Attrs.hasParamAttribute(getArgNo(), Attribute::ReadNone);
     166             : }
     167             : 
     168          10 : void Argument::addAttrs(AttrBuilder &B) {
     169          10 :   AttributeList AL = getParent()->getAttributes();
     170          10 :   AL = AL.addParamAttributes(Parent->getContext(), getArgNo(), B);
     171          10 :   getParent()->setAttributes(AL);
     172          10 : }
     173             : 
     174       25315 : void Argument::addAttr(Attribute::AttrKind Kind) {
     175       25315 :   getParent()->addParamAttr(getArgNo(), Kind);
     176       25315 : }
     177             : 
     178           0 : void Argument::addAttr(Attribute Attr) {
     179           0 :   getParent()->addParamAttr(getArgNo(), Attr);
     180           0 : }
     181             : 
     182          24 : void Argument::removeAttr(Attribute::AttrKind Kind) {
     183          24 :   getParent()->removeParamAttr(getArgNo(), Kind);
     184          24 : }
     185             : 
     186    12170752 : bool Argument::hasAttribute(Attribute::AttrKind Kind) const {
     187    24341504 :   return getParent()->hasParamAttribute(getArgNo(), Kind);
     188             : }
     189             : 
     190             : //===----------------------------------------------------------------------===//
     191             : // Helper Methods in Function
     192             : //===----------------------------------------------------------------------===//
     193             : 
     194    25525929 : LLVMContext &Function::getContext() const {
     195    25525929 :   return getType()->getContext();
     196             : }
     197             : 
     198        1054 : unsigned Function::getInstructionCount() {
     199             :   unsigned NumInstrs = 0;
     200        2388 :   for (BasicBlock &BB : BasicBlocks)
     201        4002 :     NumInstrs += std::distance(BB.instructionsWithoutDebug().begin(),
     202        2668 :                                BB.instructionsWithoutDebug().end());
     203        1054 :   return NumInstrs;
     204             : }
     205             : 
     206        9899 : void Function::removeFromParent() {
     207        9899 :   getParent()->getFunctionList().remove(getIterator());
     208        9899 : }
     209             : 
     210       18618 : void Function::eraseFromParent() {
     211       18618 :   getParent()->getFunctionList().erase(getIterator());
     212       18618 : }
     213             : 
     214             : //===----------------------------------------------------------------------===//
     215             : // Function Implementation
     216             : //===----------------------------------------------------------------------===//
     217             : 
     218      617810 : Function::Function(FunctionType *Ty, LinkageTypes Linkage, const Twine &name,
     219      617810 :                    Module *ParentModule)
     220             :     : GlobalObject(Ty, Value::FunctionVal,
     221             :                    OperandTraits<Function>::op_begin(this), 0, Linkage, name),
     222     1853430 :       NumArgs(Ty->getNumParams()) {
     223             :   assert(FunctionType::isValidReturnType(getReturnType()) &&
     224             :          "invalid return type");
     225             :   setGlobalObjectSubClassData(0);
     226             : 
     227             :   // We only need a symbol table for a function if the context keeps value names
     228      617810 :   if (!getContext().shouldDiscardValueNames())
     229      528914 :     SymTab = make_unique<ValueSymbolTable>();
     230             : 
     231             :   // If the function has arguments, mark them as lazily built.
     232      617810 :   if (Ty->getNumParams())
     233             :     setValueSubclassData(1);   // Set the "has lazy arguments" bit.
     234             : 
     235      617810 :   if (ParentModule)
     236      544424 :     ParentModule->getFunctionList().push_back(this);
     237             : 
     238     1235620 :   HasLLVMReservedName = getName().startswith("llvm.");
     239             :   // Ensure intrinsics have the right parameter attributes.
     240             :   // Note, the IntID field will have been set in Value::setName if this function
     241             :   // name is a valid intrinsic ID.
     242      617810 :   if (IntID)
     243       92330 :     setAttributes(Intrinsic::getAttributes(getContext(), IntID));
     244      617810 : }
     245             : 
     246     1683974 : Function::~Function() {
     247      561324 :   dropAllReferences();    // After this it is safe to delete instructions.
     248             : 
     249             :   // Delete all of the method arguments and unlink from symbol table...
     250      561325 :   if (Arguments)
     251      458991 :     clearArguments();
     252             : 
     253             :   // Remove the function from the on-the-side GC table.
     254      561325 :   clearGC();
     255      561325 : }
     256             : 
     257      496878 : void Function::BuildLazyArguments() const {
     258             :   // Create the arguments vector, all arguments start out unnamed.
     259             :   auto *FT = getFunctionType();
     260      496878 :   if (NumArgs > 0) {
     261      496878 :     Arguments = std::allocator<Argument>().allocate(NumArgs);
     262     1498267 :     for (unsigned i = 0, e = NumArgs; i != e; ++i) {
     263     1001389 :       Type *ArgTy = FT->getParamType(i);
     264             :       assert(!ArgTy->isVoidTy() && "Cannot have void typed arguments!");
     265     1001389 :       new (Arguments + i) Argument(ArgTy, "", const_cast<Function *>(this), i);
     266             :     }
     267             :   }
     268             : 
     269             :   // Clear the lazy arguments bit.
     270      496878 :   unsigned SDC = getSubclassDataFromValue();
     271      496878 :   const_cast<Function*>(this)->setValueSubclassData(SDC &= ~(1<<0));
     272             :   assert(!hasLazyArguments());
     273      496878 : }
     274             : 
     275             : static MutableArrayRef<Argument> makeArgArray(Argument *Args, size_t Count) {
     276             :   return MutableArrayRef<Argument>(Args, Count);
     277             : }
     278             : 
     279      459962 : void Function::clearArguments() {
     280     2791576 :   for (Argument &A : makeArgArray(Arguments, NumArgs)) {
     281     1871652 :     A.setName("");
     282             :     A.~Argument();
     283             :   }
     284      459962 :   std::allocator<Argument>().deallocate(Arguments, NumArgs);
     285      459962 :   Arguments = nullptr;
     286      459962 : }
     287             : 
     288        1200 : void Function::stealArgumentListFrom(Function &Src) {
     289             :   assert(isDeclaration() && "Expected no references to current arguments");
     290             : 
     291             :   // Drop the current arguments, if any, and set the lazy argument bit.
     292        1200 :   if (!hasLazyArguments()) {
     293             :     assert(llvm::all_of(makeArgArray(Arguments, NumArgs),
     294             :                         [](const Argument &A) { return A.use_empty(); }) &&
     295             :            "Expected arguments to be unused in declaration");
     296         971 :     clearArguments();
     297         971 :     setValueSubclassData(getSubclassDataFromValue() | (1 << 0));
     298             :   }
     299             : 
     300             :   // Nothing to steal if Src has lazy arguments.
     301        1200 :   if (Src.hasLazyArguments())
     302             :     return;
     303             : 
     304             :   // Steal arguments from Src, and fix the lazy argument bits.
     305             :   assert(arg_size() == Src.arg_size());
     306        1198 :   Arguments = Src.Arguments;
     307        1198 :   Src.Arguments = nullptr;
     308        3056 :   for (Argument &A : makeArgArray(Arguments, NumArgs)) {
     309             :     // FIXME: This does the work of transferNodesFromList inefficiently.
     310             :     SmallString<128> Name;
     311         330 :     if (A.hasName())
     312         208 :       Name = A.getName();
     313         330 :     if (!Name.empty())
     314         416 :       A.setName("");
     315         330 :     A.setParent(this);
     316         330 :     if (!Name.empty())
     317         416 :       A.setName(Name);
     318             :   }
     319             : 
     320        1198 :   setValueSubclassData(getSubclassDataFromValue() & ~(1 << 0));
     321             :   assert(!hasLazyArguments());
     322        1198 :   Src.setValueSubclassData(Src.getSubclassDataFromValue() | (1 << 0));
     323             : }
     324             : 
     325             : // dropAllReferences() - This function causes all the subinstructions to "let
     326             : // go" of all references that they are maintaining.  This allows one to
     327             : // 'delete' a whole class at a time, even though there may be circular
     328             : // references... first all references are dropped, and all use counts go to
     329             : // zero.  Then everything is deleted for real.  Note that no operations are
     330             : // valid on an object that has "dropped all references", except operator
     331             : // delete.
     332             : //
     333     1063603 : void Function::dropAllReferences() {
     334             :   setIsMaterializable(false);
     335             : 
     336     1722935 :   for (BasicBlock &BB : *this)
     337      659332 :     BB.dropAllReferences();
     338             : 
     339             :   // Delete all basic blocks. They are now unused, except possibly by
     340             :   // blockaddresses, but BasicBlock's destructor takes care of those.
     341     2382267 :   while (!BasicBlocks.empty())
     342      659332 :     BasicBlocks.begin()->eraseFromParent();
     343             : 
     344             :   // Drop uses of any optional data (real or placeholder).
     345     1063603 :   if (getNumOperands()) {
     346        5894 :     User::dropAllReferences();
     347             :     setNumHungOffUseOperands(0);
     348        5894 :     setValueSubclassData(getSubclassDataFromValue() & ~0xe);
     349             :   }
     350             : 
     351             :   // Metadata is stored in a side-table.
     352     1063603 :   clearMetadata();
     353     1063603 : }
     354             : 
     355      138217 : void Function::addAttribute(unsigned i, Attribute::AttrKind Kind) {
     356      138217 :   AttributeList PAL = getAttributes();
     357      138217 :   PAL = PAL.addAttribute(getContext(), i, Kind);
     358             :   setAttributes(PAL);
     359      138217 : }
     360             : 
     361      195165 : void Function::addAttribute(unsigned i, Attribute Attr) {
     362      195165 :   AttributeList PAL = getAttributes();
     363      195165 :   PAL = PAL.addAttribute(getContext(), i, Attr);
     364             :   setAttributes(PAL);
     365      195165 : }
     366             : 
     367      326135 : void Function::addAttributes(unsigned i, const AttrBuilder &Attrs) {
     368      326135 :   AttributeList PAL = getAttributes();
     369      326135 :   PAL = PAL.addAttributes(getContext(), i, Attrs);
     370             :   setAttributes(PAL);
     371      326135 : }
     372             : 
     373       27464 : void Function::addParamAttr(unsigned ArgNo, Attribute::AttrKind Kind) {
     374       27464 :   AttributeList PAL = getAttributes();
     375       27464 :   PAL = PAL.addParamAttribute(getContext(), ArgNo, Kind);
     376             :   setAttributes(PAL);
     377       27464 : }
     378             : 
     379           0 : void Function::addParamAttr(unsigned ArgNo, Attribute Attr) {
     380           0 :   AttributeList PAL = getAttributes();
     381           0 :   PAL = PAL.addParamAttribute(getContext(), ArgNo, Attr);
     382             :   setAttributes(PAL);
     383           0 : }
     384             : 
     385           0 : void Function::addParamAttrs(unsigned ArgNo, const AttrBuilder &Attrs) {
     386           0 :   AttributeList PAL = getAttributes();
     387           0 :   PAL = PAL.addParamAttributes(getContext(), ArgNo, Attrs);
     388             :   setAttributes(PAL);
     389           0 : }
     390             : 
     391      206031 : void Function::removeAttribute(unsigned i, Attribute::AttrKind Kind) {
     392      206031 :   AttributeList PAL = getAttributes();
     393      206031 :   PAL = PAL.removeAttribute(getContext(), i, Kind);
     394             :   setAttributes(PAL);
     395      206031 : }
     396             : 
     397          50 : void Function::removeAttribute(unsigned i, StringRef Kind) {
     398          50 :   AttributeList PAL = getAttributes();
     399          50 :   PAL = PAL.removeAttribute(getContext(), i, Kind);
     400             :   setAttributes(PAL);
     401          50 : }
     402             : 
     403       11130 : void Function::removeAttributes(unsigned i, const AttrBuilder &Attrs) {
     404       11130 :   AttributeList PAL = getAttributes();
     405       11130 :   PAL = PAL.removeAttributes(getContext(), i, Attrs);
     406             :   setAttributes(PAL);
     407       11130 : }
     408             : 
     409          31 : void Function::removeParamAttr(unsigned ArgNo, Attribute::AttrKind Kind) {
     410          31 :   AttributeList PAL = getAttributes();
     411          31 :   PAL = PAL.removeParamAttribute(getContext(), ArgNo, Kind);
     412             :   setAttributes(PAL);
     413          31 : }
     414             : 
     415           0 : void Function::removeParamAttr(unsigned ArgNo, StringRef Kind) {
     416           0 :   AttributeList PAL = getAttributes();
     417           0 :   PAL = PAL.removeParamAttribute(getContext(), ArgNo, Kind);
     418             :   setAttributes(PAL);
     419           0 : }
     420             : 
     421           0 : void Function::removeParamAttrs(unsigned ArgNo, const AttrBuilder &Attrs) {
     422           0 :   AttributeList PAL = getAttributes();
     423           0 :   PAL = PAL.removeParamAttributes(getContext(), ArgNo, Attrs);
     424             :   setAttributes(PAL);
     425           0 : }
     426             : 
     427           0 : void Function::addDereferenceableAttr(unsigned i, uint64_t Bytes) {
     428           0 :   AttributeList PAL = getAttributes();
     429           0 :   PAL = PAL.addDereferenceableAttr(getContext(), i, Bytes);
     430             :   setAttributes(PAL);
     431           0 : }
     432             : 
     433           0 : void Function::addDereferenceableParamAttr(unsigned ArgNo, uint64_t Bytes) {
     434           0 :   AttributeList PAL = getAttributes();
     435           0 :   PAL = PAL.addDereferenceableParamAttr(getContext(), ArgNo, Bytes);
     436             :   setAttributes(PAL);
     437           0 : }
     438             : 
     439           0 : void Function::addDereferenceableOrNullAttr(unsigned i, uint64_t Bytes) {
     440           0 :   AttributeList PAL = getAttributes();
     441           0 :   PAL = PAL.addDereferenceableOrNullAttr(getContext(), i, Bytes);
     442             :   setAttributes(PAL);
     443           0 : }
     444             : 
     445           0 : void Function::addDereferenceableOrNullParamAttr(unsigned ArgNo,
     446             :                                                  uint64_t Bytes) {
     447           0 :   AttributeList PAL = getAttributes();
     448           0 :   PAL = PAL.addDereferenceableOrNullParamAttr(getContext(), ArgNo, Bytes);
     449             :   setAttributes(PAL);
     450           0 : }
     451             : 
     452         967 : const std::string &Function::getGC() const {
     453             :   assert(hasGC() && "Function has no collector");
     454         967 :   return getContext().getGC(*this);
     455             : }
     456             : 
     457         521 : void Function::setGC(std::string Str) {
     458         521 :   setValueSubclassDataBit(14, !Str.empty());
     459        1563 :   getContext().setGC(*this, std::move(Str));
     460         521 : }
     461             : 
     462      564308 : void Function::clearGC() {
     463      564308 :   if (!hasGC())
     464             :     return;
     465         521 :   getContext().deleteGC(*this);
     466         521 :   setValueSubclassDataBit(14, false);
     467             : }
     468             : 
     469             : /// Copy all additional attributes (those not needed to create a Function) from
     470             : /// the Function Src to this one.
     471        2984 : void Function::copyAttributesFrom(const Function *Src) {
     472        2984 :   GlobalObject::copyAttributesFrom(Src);
     473             :   setCallingConv(Src->getCallingConv());
     474             :   setAttributes(Src->getAttributes());
     475        2984 :   if (Src->hasGC())
     476           3 :     setGC(Src->getGC());
     477             :   else
     478        2983 :     clearGC();
     479        2984 :   if (Src->hasPersonalityFn())
     480          58 :     setPersonalityFn(Src->getPersonalityFn());
     481        2984 :   if (Src->hasPrefixData())
     482           0 :     setPrefixData(Src->getPrefixData());
     483        2984 :   if (Src->hasPrologueData())
     484           2 :     setPrologueData(Src->getPrologueData());
     485        2984 : }
     486             : 
     487             : /// Table of string intrinsic names indexed by enum value.
     488             : static const char * const IntrinsicNameTable[] = {
     489             :   "not_intrinsic",
     490             : #define GET_INTRINSIC_NAME_TABLE
     491             : #include "llvm/IR/IntrinsicImpl.inc"
     492             : #undef GET_INTRINSIC_NAME_TABLE
     493             : };
     494             : 
     495             : /// Table of per-target intrinsic name tables.
     496             : #define GET_INTRINSIC_TARGET_DATA
     497             : #include "llvm/IR/IntrinsicImpl.inc"
     498             : #undef GET_INTRINSIC_TARGET_DATA
     499             : 
     500             : /// Find the segment of \c IntrinsicNameTable for intrinsics with the same
     501             : /// target as \c Name, or the generic table if \c Name is not target specific.
     502             : ///
     503             : /// Returns the relevant slice of \c IntrinsicNameTable
     504       97531 : static ArrayRef<const char *> findTargetSubtable(StringRef Name) {
     505             :   assert(Name.startswith("llvm."));
     506             : 
     507             :   ArrayRef<IntrinsicTargetInfo> Targets(TargetInfos);
     508             :   // Drop "llvm." and take the first dotted component. That will be the target
     509             :   // if this is target specific.
     510      195062 :   StringRef Target = Name.drop_front(5).split('.').first;
     511             :   auto It = std::lower_bound(Targets.begin(), Targets.end(), Target,
     512             :                              [](const IntrinsicTargetInfo &TI,
     513      390102 :                                 StringRef Target) { return TI.Name < Target; });
     514             :   // We've either found the target or just fall back to the generic set, which
     515             :   // is always first.
     516       97531 :   const auto &TI = It != Targets.end() && It->Name == Target ? *It : Targets[0];
     517       97531 :   return makeArrayRef(&IntrinsicNameTable[1] + TI.Offset, TI.Count);
     518             : }
     519             : 
     520             : /// This does the actual lookup of an intrinsic ID which
     521             : /// matches the given function name.
     522       97531 : Intrinsic::ID Function::lookupIntrinsicID(StringRef Name) {
     523       97531 :   ArrayRef<const char *> NameTable = findTargetSubtable(Name);
     524       97531 :   int Idx = Intrinsic::lookupLLVMIntrinsicByName(NameTable, Name);
     525       97531 :   if (Idx == -1)
     526             :     return Intrinsic::not_intrinsic;
     527             : 
     528             :   // Intrinsic IDs correspond to the location in IntrinsicNameTable, but we have
     529             :   // an index into a sub-table.
     530       93172 :   int Adjust = NameTable.data() - IntrinsicNameTable;
     531       93172 :   Intrinsic::ID ID = static_cast<Intrinsic::ID>(Idx + Adjust);
     532             : 
     533             :   // If the intrinsic is not overloaded, require an exact match. If it is
     534             :   // overloaded, require either exact or prefix match.
     535      186344 :   const auto MatchSize = strlen(NameTable[Idx]);
     536             :   assert(Name.size() >= MatchSize && "Expected either exact or prefix match");
     537             :   bool IsExactMatch = Name.size() == MatchSize;
     538       93172 :   return IsExactMatch || isOverloaded(ID) ? ID : Intrinsic::not_intrinsic;
     539             : }
     540             : 
     541      620566 : void Function::recalculateIntrinsicID() {
     542      620566 :   StringRef Name = getName();
     543             :   if (!Name.startswith("llvm.")) {
     544      523084 :     HasLLVMReservedName = false;
     545      523084 :     IntID = Intrinsic::not_intrinsic;
     546      523084 :     return;
     547             :   }
     548       97482 :   HasLLVMReservedName = true;
     549       97482 :   IntID = lookupIntrinsicID(Name);
     550             : }
     551             : 
     552             : /// Returns a stable mangling for the type specified for use in the name
     553             : /// mangling scheme used by 'any' types in intrinsic signatures.  The mangling
     554             : /// of named types is simply their name.  Manglings for unnamed types consist
     555             : /// of a prefix ('p' for pointers, 'a' for arrays, 'f_' for functions)
     556             : /// combined with the mangling of their component types.  A vararg function
     557             : /// type will have a suffix of 'vararg'.  Since function types can contain
     558             : /// other function types, we close a function type mangling with suffix 'f'
     559             : /// which can't be confused with it's prefix.  This ensures we don't have
     560             : /// collisions between two unrelated function types. Otherwise, you might
     561             : /// parse ffXX as f(fXX) or f(fX)X.  (X is a placeholder for any other type.)
     562             : ///
     563      646717 : static std::string getMangledTypeStr(Type* Ty) {
     564             :   std::string Result;
     565             :   if (PointerType* PTyp = dyn_cast<PointerType>(Ty)) {
     566      665932 :     Result += "p" + utostr(PTyp->getAddressSpace()) +
     567      332966 :       getMangledTypeStr(PTyp->getElementType());
     568             :   } else if (ArrayType* ATyp = dyn_cast<ArrayType>(Ty)) {
     569          44 :     Result += "a" + utostr(ATyp->getNumElements()) +
     570          22 :       getMangledTypeStr(ATyp->getElementType());
     571             :   } else if (StructType *STyp = dyn_cast<StructType>(Ty)) {
     572         212 :     if (!STyp->isLiteral()) {
     573             :       Result += "s_";
     574         194 :       Result += STyp->getName();
     575             :     } else {
     576             :       Result += "sl_";
     577          74 :       for (auto Elem : STyp->elements())
     578          56 :         Result += getMangledTypeStr(Elem);
     579             :     }
     580             :     // Ensure nested structs are distinguishable.
     581             :     Result += "s";
     582             :   } else if (FunctionType *FT = dyn_cast<FunctionType>(Ty)) {
     583        4812 :     Result += "f_" + getMangledTypeStr(FT->getReturnType());
     584        2976 :     for (size_t i = 0; i < FT->getNumParams(); i++)
     585         570 :       Result += getMangledTypeStr(FT->getParamType(i));
     586        1203 :     if (FT->isVarArg())
     587             :       Result += "vararg";
     588             :     // Ensure nested function types are distinguishable.
     589             :     Result += "f"; 
     590      478808 :   } else if (isa<VectorType>(Ty)) {
     591      357808 :     Result += "v" + utostr(Ty->getVectorNumElements()) +
     592      268356 :       getMangledTypeStr(Ty->getVectorElementType());
     593             :   } else if (Ty) {
     594      389356 :     switch (Ty->getTypeID()) {
     595           0 :     default: llvm_unreachable("Unhandled type");
     596             :     case Type::VoidTyID:      Result += "isVoid";   break;
     597             :     case Type::MetadataTyID:  Result += "Metadata"; break;
     598             :     case Type::HalfTyID:      Result += "f16";      break;
     599             :     case Type::FloatTyID:     Result += "f32";      break;
     600             :     case Type::DoubleTyID:    Result += "f64";      break;
     601             :     case Type::X86_FP80TyID:  Result += "f80";      break;
     602             :     case Type::FP128TyID:     Result += "f128";     break;
     603             :     case Type::PPC_FP128TyID: Result += "ppcf128";  break;
     604             :     case Type::X86_MMXTyID:   Result += "x86mmx";   break;
     605      300732 :     case Type::IntegerTyID:
     606      902196 :       Result += "i" + utostr(cast<IntegerType>(Ty)->getBitWidth());
     607      300732 :       break;
     608             :     }
     609             :   }
     610      646717 :   return Result;
     611             : }
     612             : 
     613     2568155 : StringRef Intrinsic::getName(ID id) {
     614             :   assert(id < num_intrinsics && "Invalid intrinsic ID!");
     615             :   assert(!isOverloaded(id) &&
     616             :          "This version of getName does not support overloading");
     617     5136310 :   return IntrinsicNameTable[id];
     618             : }
     619             : 
     620     1022861 : std::string Intrinsic::getName(ID id, ArrayRef<Type*> Tys) {
     621             :   assert(id < num_intrinsics && "Invalid intrinsic ID!");
     622     1022861 :   std::string Result(IntrinsicNameTable[id]);
     623     1801561 :   for (Type *Ty : Tys) {
     624     1168050 :     Result += "." + getMangledTypeStr(Ty);
     625             :   }
     626     1022861 :   return Result;
     627             : }
     628             : 
     629             : /// IIT_Info - These are enumerators that describe the entries returned by the
     630             : /// getIntrinsicInfoTableEntries function.
     631             : ///
     632             : /// NOTE: This must be kept in synch with the copy in TblGen/IntrinsicEmitter!
     633             : enum IIT_Info {
     634             :   // Common values should be encoded with 0-15.
     635             :   IIT_Done = 0,
     636             :   IIT_I1   = 1,
     637             :   IIT_I8   = 2,
     638             :   IIT_I16  = 3,
     639             :   IIT_I32  = 4,
     640             :   IIT_I64  = 5,
     641             :   IIT_F16  = 6,
     642             :   IIT_F32  = 7,
     643             :   IIT_F64  = 8,
     644             :   IIT_V2   = 9,
     645             :   IIT_V4   = 10,
     646             :   IIT_V8   = 11,
     647             :   IIT_V16  = 12,
     648             :   IIT_V32  = 13,
     649             :   IIT_PTR  = 14,
     650             :   IIT_ARG  = 15,
     651             : 
     652             :   // Values from 16+ are only encodable with the inefficient encoding.
     653             :   IIT_V64  = 16,
     654             :   IIT_MMX  = 17,
     655             :   IIT_TOKEN = 18,
     656             :   IIT_METADATA = 19,
     657             :   IIT_EMPTYSTRUCT = 20,
     658             :   IIT_STRUCT2 = 21,
     659             :   IIT_STRUCT3 = 22,
     660             :   IIT_STRUCT4 = 23,
     661             :   IIT_STRUCT5 = 24,
     662             :   IIT_EXTEND_ARG = 25,
     663             :   IIT_TRUNC_ARG = 26,
     664             :   IIT_ANYPTR = 27,
     665             :   IIT_V1   = 28,
     666             :   IIT_VARARG = 29,
     667             :   IIT_HALF_VEC_ARG = 30,
     668             :   IIT_SAME_VEC_WIDTH_ARG = 31,
     669             :   IIT_PTR_TO_ARG = 32,
     670             :   IIT_PTR_TO_ELT = 33,
     671             :   IIT_VEC_OF_ANYPTRS_TO_ELT = 34,
     672             :   IIT_I128 = 35,
     673             :   IIT_V512 = 36,
     674             :   IIT_V1024 = 37,
     675             :   IIT_STRUCT6 = 38,
     676             :   IIT_STRUCT7 = 39,
     677             :   IIT_STRUCT8 = 40,
     678             :   IIT_F128 = 41
     679             : };
     680             : 
     681     4972473 : static void DecodeIITType(unsigned &NextElt, ArrayRef<unsigned char> Infos,
     682             :                       SmallVectorImpl<Intrinsic::IITDescriptor> &OutputTable) {
     683             :   using namespace Intrinsic;
     684             : 
     685     9944946 :   IIT_Info Info = IIT_Info(Infos[NextElt++]);
     686             :   unsigned StructElts = 2;
     687             : 
     688     4972473 :   switch (Info) {
     689      646974 :   case IIT_Done:
     690      646974 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::Void, 0));
     691      646974 :     return;
     692        3689 :   case IIT_VARARG:
     693        3689 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::VarArg, 0));
     694        3689 :     return;
     695       34847 :   case IIT_MMX:
     696       34847 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::MMX, 0));
     697       34847 :     return;
     698        3836 :   case IIT_TOKEN:
     699        3836 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::Token, 0));
     700        3836 :     return;
     701       93943 :   case IIT_METADATA:
     702       93943 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::Metadata, 0));
     703       93943 :     return;
     704        8585 :   case IIT_F16:
     705        8585 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::Half, 0));
     706        8585 :     return;
     707       66297 :   case IIT_F32:
     708       66297 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::Float, 0));
     709       66297 :     return;
     710       38315 :   case IIT_F64:
     711       38315 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::Double, 0));
     712       38315 :     return;
     713         133 :   case IIT_F128:
     714         133 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::Quad, 0));
     715         133 :     return;
     716      129044 :   case IIT_I1:
     717      129044 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 1));
     718      129044 :     return;
     719     1065707 :   case IIT_I8:
     720     1065707 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 8));
     721     1065707 :     return;
     722       58687 :   case IIT_I16:
     723       58687 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer,16));
     724       58687 :     return;
     725      286655 :   case IIT_I32:
     726      286655 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 32));
     727      286655 :     return;
     728      147408 :   case IIT_I64:
     729      147408 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 64));
     730      147408 :     return;
     731         606 :   case IIT_I128:
     732         606 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 128));
     733         606 :     return;
     734         606 :   case IIT_V1:
     735         606 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 1));
     736         606 :     DecodeIITType(NextElt, Infos, OutputTable);
     737         606 :     return;
     738       63513 :   case IIT_V2:
     739       63513 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 2));
     740       63513 :     DecodeIITType(NextElt, Infos, OutputTable);
     741       63513 :     return;
     742       98757 :   case IIT_V4:
     743       98757 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 4));
     744       98757 :     DecodeIITType(NextElt, Infos, OutputTable);
     745       98757 :     return;
     746       78202 :   case IIT_V8:
     747       78202 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 8));
     748       78202 :     DecodeIITType(NextElt, Infos, OutputTable);
     749       78202 :     return;
     750       88698 :   case IIT_V16:
     751       88698 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 16));
     752       88698 :     DecodeIITType(NextElt, Infos, OutputTable);
     753       88698 :     return;
     754       21068 :   case IIT_V32:
     755       21068 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 32));
     756       21068 :     DecodeIITType(NextElt, Infos, OutputTable);
     757       21068 :     return;
     758        3646 :   case IIT_V64:
     759        3646 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 64));
     760        3646 :     DecodeIITType(NextElt, Infos, OutputTable);
     761        3646 :     return;
     762        1967 :   case IIT_V512:
     763        1967 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 512));
     764        1967 :     DecodeIITType(NextElt, Infos, OutputTable);
     765        1967 :     return;
     766         551 :   case IIT_V1024:
     767         551 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 1024));
     768         551 :     DecodeIITType(NextElt, Infos, OutputTable);
     769         551 :     return;
     770     1372159 :   case IIT_PTR:
     771     1372159 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::Pointer, 0));
     772     1372159 :     DecodeIITType(NextElt, Infos, OutputTable);
     773     1372159 :     return;
     774       29040 :   case IIT_ANYPTR: {  // [ANYPTR addrspace, subtype]
     775       58080 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::Pointer,
     776       58080 :                                              Infos[NextElt++]));
     777       29040 :     DecodeIITType(NextElt, Infos, OutputTable);
     778       29040 :     return;
     779             :   }
     780      589150 :   case IIT_ARG: {
     781     1177848 :     unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]);
     782      589150 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::Argument, ArgInfo));
     783      589150 :     return;
     784             :   }
     785        2295 :   case IIT_EXTEND_ARG: {
     786        4590 :     unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]);
     787        2295 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::ExtendArgument,
     788             :                                              ArgInfo));
     789        2295 :     return;
     790             :   }
     791        5356 :   case IIT_TRUNC_ARG: {
     792       10712 :     unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]);
     793        5356 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::TruncArgument,
     794             :                                              ArgInfo));
     795        5356 :     return;
     796             :   }
     797           0 :   case IIT_HALF_VEC_ARG: {
     798           0 :     unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]);
     799           0 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::HalfVecArgument,
     800             :                                              ArgInfo));
     801           0 :     return;
     802             :   }
     803        7370 :   case IIT_SAME_VEC_WIDTH_ARG: {
     804       14740 :     unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]);
     805        7370 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::SameVecWidthArgument,
     806             :                                              ArgInfo));
     807        7370 :     return;
     808             :   }
     809           0 :   case IIT_PTR_TO_ARG: {
     810           0 :     unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]);
     811           0 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::PtrToArgument,
     812             :                                              ArgInfo));
     813           0 :     return;
     814             :   }
     815        1640 :   case IIT_PTR_TO_ELT: {
     816        3280 :     unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]);
     817        1640 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::PtrToElt, ArgInfo));
     818        1640 :     return;
     819             :   }
     820        2432 :   case IIT_VEC_OF_ANYPTRS_TO_ELT: {
     821        4864 :     unsigned short ArgNo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]);
     822        4864 :     unsigned short RefNo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]);
     823        4864 :     OutputTable.push_back(
     824        7296 :         IITDescriptor::get(IITDescriptor::VecOfAnyPtrsToElt, ArgNo, RefNo));
     825        2432 :     return;
     826             :   }
     827         784 :   case IIT_EMPTYSTRUCT:
     828         784 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::Struct, 0));
     829         784 :     return;
     830         264 :   case IIT_STRUCT8: ++StructElts; LLVM_FALLTHROUGH;
     831         264 :   case IIT_STRUCT7: ++StructElts; LLVM_FALLTHROUGH;
     832         264 :   case IIT_STRUCT6: ++StructElts; LLVM_FALLTHROUGH;
     833         264 :   case IIT_STRUCT5: ++StructElts; LLVM_FALLTHROUGH;
     834        2361 :   case IIT_STRUCT4: ++StructElts; LLVM_FALLTHROUGH;
     835        4372 :   case IIT_STRUCT3: ++StructElts; LLVM_FALLTHROUGH;
     836       20513 :   case IIT_STRUCT2: {
     837       20513 :     OutputTable.push_back(IITDescriptor::get(IITDescriptor::Struct,StructElts));
     838             : 
     839      118143 :     for (unsigned i = 0; i != StructElts; ++i)
     840       48815 :       DecodeIITType(NextElt, Infos, OutputTable);
     841             :     return;
     842             :   }
     843             :   }
     844           0 :   llvm_unreachable("unhandled");
     845             : }
     846             : 
     847             : #define GET_INTRINSIC_GENERATOR_GLOBAL
     848             : #include "llvm/IR/IntrinsicImpl.inc"
     849             : #undef GET_INTRINSIC_GENERATOR_GLOBAL
     850             : 
     851     1021270 : void Intrinsic::getIntrinsicInfoTableEntries(ID id,
     852             :                                              SmallVectorImpl<IITDescriptor> &T){
     853             :   // Check to see if the intrinsic's type was expressible by the table.
     854     1021270 :   unsigned TableVal = IIT_Table[id-1];
     855             : 
     856             :   // Decode the TableVal into an array of IITValues.
     857             :   SmallVector<unsigned char, 8> IITValues;
     858             :   ArrayRef<unsigned char> IITEntries;
     859     1021270 :   unsigned NextElt = 0;
     860     1021270 :   if ((TableVal >> 31) != 0) {
     861             :     // This is an offset into the IIT_LongEncodingTable.
     862             :     IITEntries = IIT_LongEncodingTable;
     863             : 
     864             :     // Strip sentinel bit.
     865      170655 :     NextElt = (TableVal << 1) >> 1;
     866             :   } else {
     867             :     // Decode the TableVal into an array of IITValues.  If the entry was encoded
     868             :     // into a single word in the table itself, decode it now.
     869             :     do {
     870     4540544 :       IITValues.push_back(TableVal & 0xF);
     871     4540544 :       TableVal >>= 4;
     872     4540544 :     } while (TableVal);
     873             : 
     874             :     IITEntries = IITValues;
     875      850615 :     NextElt = 0;
     876             :   }
     877             : 
     878             :   // Okay, decode the table into the output vector of IITDescriptors.
     879     1021270 :   DecodeIITType(NextElt, IITEntries, T);
     880     7624468 :   while (NextElt != IITEntries.size() && IITEntries[NextElt] != 0)
     881     2144181 :     DecodeIITType(NextElt, IITEntries, T);
     882     1021270 : }
     883             : 
     884     3292304 : static Type *DecodeFixedType(ArrayRef<Intrinsic::IITDescriptor> &Infos,
     885             :                              ArrayRef<Type*> Tys, LLVMContext &Context) {
     886             :   using namespace Intrinsic;
     887             : 
     888     3292304 :   IITDescriptor D = Infos.front();
     889     3292304 :   Infos = Infos.slice(1);
     890             : 
     891     3292304 :   switch (D.Kind) {
     892      551770 :   case IITDescriptor::Void: return Type::getVoidTy(Context);
     893         385 :   case IITDescriptor::VarArg: return Type::getVoidTy(Context);
     894         853 :   case IITDescriptor::MMX: return Type::getX86_MMXTy(Context);
     895        1151 :   case IITDescriptor::Token: return Type::getTokenTy(Context);
     896       41019 :   case IITDescriptor::Metadata: return Type::getMetadataTy(Context);
     897        5511 :   case IITDescriptor::Half: return Type::getHalfTy(Context);
     898        6160 :   case IITDescriptor::Float: return Type::getFloatTy(Context);
     899        2596 :   case IITDescriptor::Double: return Type::getDoubleTy(Context);
     900          19 :   case IITDescriptor::Quad: return Type::getFP128Ty(Context);
     901             : 
     902     1111956 :   case IITDescriptor::Integer:
     903     1111956 :     return IntegerType::get(Context, D.Integer_Width);
     904       39061 :   case IITDescriptor::Vector:
     905       39061 :     return VectorType::get(DecodeFixedType(Infos, Tys, Context),D.Vector_Width);
     906     1355717 :   case IITDescriptor::Pointer:
     907     1355717 :     return PointerType::get(DecodeFixedType(Infos, Tys, Context),
     908     1355717 :                             D.Pointer_AddressSpace);
     909             :   case IITDescriptor::Struct: {
     910             :     SmallVector<Type *, 8> Elts;
     911       35199 :     for (unsigned i = 0, e = D.Struct_NumElements; i != e; ++i)
     912       14332 :       Elts.push_back(DecodeFixedType(Infos, Tys, Context));
     913        6535 :     return StructType::get(Context, Elts);
     914             :   }
     915      168135 :   case IITDescriptor::Argument:
     916      336270 :     return Tys[D.getArgumentNumber()];
     917         189 :   case IITDescriptor::ExtendArgument: {
     918         378 :     Type *Ty = Tys[D.getArgumentNumber()];
     919             :     if (VectorType *VTy = dyn_cast<VectorType>(Ty))
     920         183 :       return VectorType::getExtendedElementVectorType(VTy);
     921             : 
     922           6 :     return IntegerType::get(Context, 2 * cast<IntegerType>(Ty)->getBitWidth());
     923             :   }
     924         128 :   case IITDescriptor::TruncArgument: {
     925         256 :     Type *Ty = Tys[D.getArgumentNumber()];
     926             :     if (VectorType *VTy = dyn_cast<VectorType>(Ty))
     927         128 :       return VectorType::getTruncatedElementVectorType(VTy);
     928             : 
     929             :     IntegerType *ITy = cast<IntegerType>(Ty);
     930             :     assert(ITy->getBitWidth() % 2 == 0);
     931           0 :     return IntegerType::get(Context, ITy->getBitWidth() / 2);
     932             :   }
     933           0 :   case IITDescriptor::HalfVecArgument:
     934           0 :     return VectorType::getHalfElementsVectorType(cast<VectorType>(
     935           0 :                                                   Tys[D.getArgumentNumber()]));
     936         808 :   case IITDescriptor::SameVecWidthArgument: {
     937         808 :     Type *EltTy = DecodeFixedType(Infos, Tys, Context);
     938        1616 :     Type *Ty = Tys[D.getArgumentNumber()];
     939             :     if (VectorType *VTy = dyn_cast<VectorType>(Ty)) {
     940         808 :       return VectorType::get(EltTy, VTy->getNumElements());
     941             :     }
     942           0 :     llvm_unreachable("unhandled");
     943             :   }
     944           0 :   case IITDescriptor::PtrToArgument: {
     945           0 :     Type *Ty = Tys[D.getArgumentNumber()];
     946           0 :     return PointerType::getUnqual(Ty);
     947             :   }
     948         236 :   case IITDescriptor::PtrToElt: {
     949         472 :     Type *Ty = Tys[D.getArgumentNumber()];
     950             :     VectorType *VTy = dyn_cast<VectorType>(Ty);
     951             :     if (!VTy)
     952           0 :       llvm_unreachable("Expected an argument of Vector Type");
     953         236 :     Type *EltTy = VTy->getVectorElementType();
     954         236 :     return PointerType::getUnqual(EltTy);
     955             :   }
     956          75 :   case IITDescriptor::VecOfAnyPtrsToElt:
     957             :     // Return the overloaded type (which determines the pointers address space)
     958         150 :     return Tys[D.getOverloadArgNumber()];
     959             :   }
     960           0 :   llvm_unreachable("unhandled");
     961             : }
     962             : 
     963      616259 : FunctionType *Intrinsic::getType(LLVMContext &Context,
     964             :                                  ID id, ArrayRef<Type*> Tys) {
     965             :   SmallVector<IITDescriptor, 8> Table;
     966      616259 :   getIntrinsicInfoTableEntries(id, Table);
     967             : 
     968             :   ArrayRef<IITDescriptor> TableRef = Table;
     969      616259 :   Type *ResultTy = DecodeFixedType(TableRef, Tys, Context);
     970             : 
     971             :   SmallVector<Type*, 8> ArgTys;
     972     3148513 :   while (!TableRef.empty())
     973     1266127 :     ArgTys.push_back(DecodeFixedType(TableRef, Tys, Context));
     974             : 
     975             :   // DecodeFixedType returns Void for IITDescriptor::Void and IITDescriptor::VarArg
     976             :   // If we see void type as the type of the last argument, it is vararg intrinsic
     977     1205732 :   if (!ArgTys.empty() && ArgTys.back()->isVoidTy()) {
     978             :     ArgTys.pop_back();
     979         385 :     return FunctionType::get(ResultTy, ArgTys, true);
     980             :   }
     981      615874 :   return FunctionType::get(ResultTy, ArgTys, false);
     982             : }
     983             : 
     984       27610 : bool Intrinsic::isOverloaded(ID id) {
     985             : #define GET_INTRINSIC_OVERLOAD_TABLE
     986             : #include "llvm/IR/IntrinsicImpl.inc"
     987             : #undef GET_INTRINSIC_OVERLOAD_TABLE
     988             : }
     989             : 
     990     1016813 : bool Intrinsic::isLeaf(ID id) {
     991             :   switch (id) {
     992             :   default:
     993             :     return true;
     994             : 
     995          18 :   case Intrinsic::experimental_gc_statepoint:
     996             :   case Intrinsic::experimental_patchpoint_void:
     997             :   case Intrinsic::experimental_patchpoint_i64:
     998          18 :     return false;
     999             :   }
    1000             : }
    1001             : 
    1002             : /// This defines the "Intrinsic::getAttributes(ID id)" method.
    1003             : #define GET_INTRINSIC_ATTRIBUTES
    1004             : #include "llvm/IR/IntrinsicImpl.inc"
    1005             : #undef GET_INTRINSIC_ATTRIBUTES
    1006             : 
    1007      616259 : Function *Intrinsic::getDeclaration(Module *M, ID id, ArrayRef<Type*> Tys) {
    1008             :   // There can never be multiple globals with the same name of different types,
    1009             :   // because intrinsics must be a specific type.
    1010             :   return
    1011     1848777 :     cast<Function>(M->getOrInsertFunction(getName(id, Tys),
    1012      616259 :                                           getType(M->getContext(), id, Tys)));
    1013             : }
    1014             : 
    1015             : // This defines the "Intrinsic::getIntrinsicForGCCBuiltin()" method.
    1016             : #define GET_LLVM_INTRINSIC_FOR_GCC_BUILTIN
    1017             : #include "llvm/IR/IntrinsicImpl.inc"
    1018             : #undef GET_LLVM_INTRINSIC_FOR_GCC_BUILTIN
    1019             : 
    1020             : // This defines the "Intrinsic::getIntrinsicForMSBuiltin()" method.
    1021             : #define GET_LLVM_INTRINSIC_FOR_MS_BUILTIN
    1022             : #include "llvm/IR/IntrinsicImpl.inc"
    1023             : #undef GET_LLVM_INTRINSIC_FOR_MS_BUILTIN
    1024             : 
    1025     1676627 : bool Intrinsic::matchIntrinsicType(Type *Ty, ArrayRef<Intrinsic::IITDescriptor> &Infos,
    1026             :                                    SmallVectorImpl<Type*> &ArgTys) {
    1027             :   using namespace Intrinsic;
    1028             : 
    1029             :   // If we ran out of descriptors, there are too many arguments.
    1030     1676627 :   if (Infos.empty()) return true;
    1031     1676625 :   IITDescriptor D = Infos.front();
    1032     1676625 :   Infos = Infos.slice(1);
    1033             : 
    1034     1676625 :   switch (D.Kind) {
    1035      190408 :     case IITDescriptor::Void: return !Ty->isVoidTy();
    1036             :     case IITDescriptor::VarArg: return true;
    1037       67988 :     case IITDescriptor::MMX:  return !Ty->isX86_MMXTy();
    1038        5358 :     case IITDescriptor::Token: return !Ty->isTokenTy();
    1039      105832 :     case IITDescriptor::Metadata: return !Ty->isMetadataTy();
    1040        6148 :     case IITDescriptor::Half: return !Ty->isHalfTy();
    1041      120258 :     case IITDescriptor::Float: return !Ty->isFloatTy();
    1042       71438 :     case IITDescriptor::Double: return !Ty->isDoubleTy();
    1043         228 :     case IITDescriptor::Quad: return !Ty->isFP128Ty();
    1044      576021 :     case IITDescriptor::Integer: return !Ty->isIntegerTy(D.Integer_Width);
    1045      317947 :     case IITDescriptor::Vector: {
    1046      317947 :       VectorType *VT = dyn_cast<VectorType>(Ty);
    1047      635894 :       return !VT || VT->getNumElements() != D.Vector_Width ||
    1048      317947 :              matchIntrinsicType(VT->getElementType(), Infos, ArgTys);
    1049             :     }
    1050       45455 :     case IITDescriptor::Pointer: {
    1051       45455 :       PointerType *PT = dyn_cast<PointerType>(Ty);
    1052       90896 :       return !PT || PT->getAddressSpace() != D.Pointer_AddressSpace ||
    1053       45444 :              matchIntrinsicType(PT->getElementType(), Infos, ArgTys);
    1054             :     }
    1055             : 
    1056       14762 :     case IITDescriptor::Struct: {
    1057       14762 :       StructType *ST = dyn_cast<StructType>(Ty);
    1058       14762 :       if (!ST || ST->getNumElements() != D.Struct_NumElements)
    1059             :         return true;
    1060             : 
    1061       83728 :       for (unsigned i = 0, e = D.Struct_NumElements; i != e; ++i)
    1062       68966 :         if (matchIntrinsicType(ST->getElementType(i), Infos, ArgTys))
    1063             :           return true;
    1064             :       return false;
    1065             :     }
    1066             : 
    1067      420990 :     case IITDescriptor::Argument:
    1068             :       // Two cases here - If this is the second occurrence of an argument, verify
    1069             :       // that the later instance matches the previous instance.
    1070      841980 :       if (D.getArgumentNumber() < ArgTys.size())
    1071      185550 :         return Ty != ArgTys[D.getArgumentNumber()];
    1072             : 
    1073             :           // Otherwise, if this is the first instance of an argument, record it and
    1074             :           // verify the "Any" kind.
    1075             :           assert(D.getArgumentNumber() == ArgTys.size() && "Table consistency error");
    1076      235440 :           ArgTys.push_back(Ty);
    1077             : 
    1078      235440 :           switch (D.getArgumentKind()) {
    1079             :             case IITDescriptor::AK_Any:        return false; // Success
    1080      130388 :             case IITDescriptor::AK_AnyInteger: return !Ty->isIntOrIntVectorTy();
    1081      132722 :             case IITDescriptor::AK_AnyFloat:   return !Ty->isFPOrFPVectorTy();
    1082       74030 :             case IITDescriptor::AK_AnyVector:  return !isa<VectorType>(Ty);
    1083      127896 :             case IITDescriptor::AK_AnyPointer: return !isa<PointerType>(Ty);
    1084             :           }
    1085           0 :           llvm_unreachable("all argument kinds not covered");
    1086             : 
    1087        2106 :     case IITDescriptor::ExtendArgument: {
    1088             :       // This may only be used when referring to a previous vector argument.
    1089        4212 :       if (D.getArgumentNumber() >= ArgTys.size())
    1090             :         return true;
    1091             : 
    1092        2106 :       Type *NewTy = ArgTys[D.getArgumentNumber()];
    1093             :       if (VectorType *VTy = dyn_cast<VectorType>(NewTy))
    1094        2046 :         NewTy = VectorType::getExtendedElementVectorType(VTy);
    1095             :       else if (IntegerType *ITy = dyn_cast<IntegerType>(NewTy))
    1096          60 :         NewTy = IntegerType::get(ITy->getContext(), 2 * ITy->getBitWidth());
    1097             :       else
    1098             :         return true;
    1099             : 
    1100        2106 :       return Ty != NewTy;
    1101             :     }
    1102        5228 :     case IITDescriptor::TruncArgument: {
    1103             :       // This may only be used when referring to a previous vector argument.
    1104       10456 :       if (D.getArgumentNumber() >= ArgTys.size())
    1105             :         return true;
    1106             : 
    1107        5228 :       Type *NewTy = ArgTys[D.getArgumentNumber()];
    1108             :       if (VectorType *VTy = dyn_cast<VectorType>(NewTy))
    1109        5228 :         NewTy = VectorType::getTruncatedElementVectorType(VTy);
    1110             :       else if (IntegerType *ITy = dyn_cast<IntegerType>(NewTy))
    1111           0 :         NewTy = IntegerType::get(ITy->getContext(), ITy->getBitWidth() / 2);
    1112             :       else
    1113             :         return true;
    1114             : 
    1115        5228 :       return Ty != NewTy;
    1116             :     }
    1117           0 :     case IITDescriptor::HalfVecArgument:
    1118             :       // This may only be used when referring to a previous vector argument.
    1119           0 :       return D.getArgumentNumber() >= ArgTys.size() ||
    1120           0 :              !isa<VectorType>(ArgTys[D.getArgumentNumber()]) ||
    1121             :              VectorType::getHalfElementsVectorType(
    1122           0 :                      cast<VectorType>(ArgTys[D.getArgumentNumber()])) != Ty;
    1123        6532 :     case IITDescriptor::SameVecWidthArgument: {
    1124       13064 :       if (D.getArgumentNumber() >= ArgTys.size())
    1125             :         return true;
    1126             :       VectorType * ReferenceType =
    1127        6532 :         dyn_cast<VectorType>(ArgTys[D.getArgumentNumber()]);
    1128        6532 :       VectorType *ThisArgType = dyn_cast<VectorType>(Ty);
    1129       13058 :       if (!ThisArgType || !ReferenceType ||
    1130             :           (ReferenceType->getVectorNumElements() !=
    1131             :            ThisArgType->getVectorNumElements()))
    1132             :         return true;
    1133        6520 :       return matchIntrinsicType(ThisArgType->getVectorElementType(),
    1134        6520 :                                 Infos, ArgTys);
    1135             :     }
    1136           0 :     case IITDescriptor::PtrToArgument: {
    1137           0 :       if (D.getArgumentNumber() >= ArgTys.size())
    1138             :         return true;
    1139           0 :       Type * ReferenceType = ArgTys[D.getArgumentNumber()];
    1140           0 :       PointerType *ThisArgType = dyn_cast<PointerType>(Ty);
    1141           0 :       return (!ThisArgType || ThisArgType->getElementType() != ReferenceType);
    1142             :     }
    1143        1404 :     case IITDescriptor::PtrToElt: {
    1144        2808 :       if (D.getArgumentNumber() >= ArgTys.size())
    1145             :         return true;
    1146             :       VectorType * ReferenceType =
    1147        1404 :         dyn_cast<VectorType> (ArgTys[D.getArgumentNumber()]);
    1148        1404 :       PointerType *ThisArgType = dyn_cast<PointerType>(Ty);
    1149             : 
    1150        2808 :       return (!ThisArgType || !ReferenceType ||
    1151        1404 :               ThisArgType->getElementType() != ReferenceType->getElementType());
    1152             :     }
    1153        2351 :     case IITDescriptor::VecOfAnyPtrsToElt: {
    1154             :       unsigned RefArgNumber = D.getRefArgNumber();
    1155             : 
    1156             :       // This may only be used when referring to a previous argument.
    1157        4702 :       if (RefArgNumber >= ArgTys.size())
    1158             :         return true;
    1159             : 
    1160             :       // Record the overloaded type
    1161             :       assert(D.getOverloadArgNumber() == ArgTys.size() &&
    1162             :              "Table consistency error");
    1163        2351 :       ArgTys.push_back(Ty);
    1164             : 
    1165             :       // Verify the overloaded type "matches" the Ref type.
    1166             :       // i.e. Ty is a vector with the same width as Ref.
    1167             :       // Composed of pointers to the same element type as Ref.
    1168        2351 :       VectorType *ReferenceType = dyn_cast<VectorType>(ArgTys[RefArgNumber]);
    1169        2351 :       VectorType *ThisArgVecTy = dyn_cast<VectorType>(Ty);
    1170        4696 :       if (!ThisArgVecTy || !ReferenceType ||
    1171             :           (ReferenceType->getVectorNumElements() !=
    1172             :            ThisArgVecTy->getVectorNumElements()))
    1173             :         return true;
    1174             :       PointerType *ThisArgEltTy =
    1175        2339 :               dyn_cast<PointerType>(ThisArgVecTy->getVectorElementType());
    1176             :       if (!ThisArgEltTy)
    1177             :         return true;
    1178        2333 :       return ThisArgEltTy->getElementType() !=
    1179        4666 :              ReferenceType->getVectorElementType();
    1180             :     }
    1181             :   }
    1182           0 :   llvm_unreachable("unhandled");
    1183             : }
    1184             : 
    1185             : bool
    1186      404835 : Intrinsic::matchIntrinsicVarArg(bool isVarArg,
    1187             :                                 ArrayRef<Intrinsic::IITDescriptor> &Infos) {
    1188             :   // If there are no descriptors left, then it can't be a vararg.
    1189      404835 :   if (Infos.empty())
    1190             :     return isVarArg;
    1191             : 
    1192             :   // There should be only one descriptor remaining at this point.
    1193        3314 :   if (Infos.size() != 1)
    1194             :     return true;
    1195             : 
    1196             :   // Check and verify the descriptor.
    1197        3314 :   IITDescriptor D = Infos.front();
    1198        3314 :   Infos = Infos.slice(1);
    1199        3314 :   if (D.Kind == IITDescriptor::VarArg)
    1200        3304 :     return !isVarArg;
    1201             : 
    1202             :   return true;
    1203             : }
    1204             : 
    1205      401111 : Optional<Function*> Intrinsic::remangleIntrinsicFunction(Function *F) {
    1206      401111 :   Intrinsic::ID ID = F->getIntrinsicID();
    1207      401111 :   if (!ID)
    1208             :     return None;
    1209             : 
    1210             :   FunctionType *FTy = F->getFunctionType();
    1211             :   // Accumulate an array of overloaded types for the given intrinsic
    1212             :   SmallVector<Type *, 4> ArgTys;
    1213             :   {
    1214             :     SmallVector<Intrinsic::IITDescriptor, 8> Table;
    1215       85356 :     getIntrinsicInfoTableEntries(ID, Table);
    1216             :     ArrayRef<Intrinsic::IITDescriptor> TableRef = Table;
    1217             : 
    1218             :     // If we encounter any problems matching the signature with the descriptor
    1219             :     // just give up remangling. It's up to verifier to report the discrepancy.
    1220      170712 :     if (Intrinsic::matchIntrinsicType(FTy->getReturnType(), TableRef, ArgTys))
    1221             :       return None;
    1222      449968 :     for (auto Ty : FTy->params())
    1223      182379 :       if (Intrinsic::matchIntrinsicType(Ty, TableRef, ArgTys))
    1224             :         return None;
    1225       85274 :     if (Intrinsic::matchIntrinsicVarArg(FTy->isVarArg(), TableRef))
    1226             :       return None;
    1227             :   }
    1228             : 
    1229       85260 :   StringRef Name = F->getName();
    1230      170520 :   if (Name == Intrinsic::getName(ID, ArgTys))
    1231             :     return None;
    1232             : 
    1233         104 :   auto NewDecl = Intrinsic::getDeclaration(F->getParent(), ID, ArgTys);
    1234             :   NewDecl->setCallingConv(F->getCallingConv());
    1235             :   assert(NewDecl->getFunctionType() == FTy && "Shouldn't change the signature");
    1236             :   return NewDecl;
    1237             : }
    1238             : 
    1239             : /// hasAddressTaken - returns true if there are any uses of this function
    1240             : /// other than direct calls or invokes to it.
    1241      259345 : bool Function::hasAddressTaken(const User* *PutOffender) const {
    1242     1869169 :   for (const Use &U : uses()) {
    1243     1630172 :     const User *FU = U.getUser();
    1244     1630172 :     if (isa<BlockAddress>(FU))
    1245             :       continue;
    1246             :     if (!isa<CallInst>(FU) && !isa<InvokeInst>(FU)) {
    1247       14946 :       if (PutOffender)
    1248           0 :         *PutOffender = FU;
    1249             :       return true;
    1250             :     }
    1251             :     ImmutableCallSite CS(cast<Instruction>(FU));
    1252     1615151 :     if (!CS.isCallee(&U)) {
    1253        5402 :       if (PutOffender)
    1254           1 :         *PutOffender = FU;
    1255             :       return true;
    1256             :     }
    1257             :   }
    1258             :   return false;
    1259             : }
    1260             : 
    1261      161396 : bool Function::isDefTriviallyDead() const {
    1262             :   // Check the linkage
    1263      212215 :   if (!hasLinkOnceLinkage() && !hasLocalLinkage() &&
    1264             :       !hasAvailableExternallyLinkage())
    1265             :     return false;
    1266             : 
    1267             :   // Check if the function is used by anything other than a blockaddress.
    1268      122852 :   for (const User *U : users())
    1269      100213 :     if (!isa<BlockAddress>(U))
    1270             :       return false;
    1271             : 
    1272             :   return true;
    1273             : }
    1274             : 
    1275             : /// callsFunctionThatReturnsTwice - Return true if the function has a call to
    1276             : /// setjmp or other function that gcc recognizes as "returning twice".
    1277      256439 : bool Function::callsFunctionThatReturnsTwice() const {
    1278     5249818 :   for (const_inst_iterator
    1279             :          I = inst_begin(this), E = inst_end(this); I != E; ++I) {
    1280             :     ImmutableCallSite CS(&*I);
    1281     5249839 :     if (CS && CS.hasFnAttr(Attribute::ReturnsTwice))
    1282          21 :       return true;
    1283             :   }
    1284             : 
    1285      256418 :   return false;
    1286             : }
    1287             : 
    1288      581250 : Constant *Function::getPersonalityFn() const {
    1289             :   assert(hasPersonalityFn() && getNumOperands());
    1290      581250 :   return cast<Constant>(Op<0>());
    1291             : }
    1292             : 
    1293      318071 : void Function::setPersonalityFn(Constant *Fn) {
    1294      318071 :   setHungoffOperand<0>(Fn);
    1295      318071 :   setValueSubclassDataBit(3, Fn != nullptr);
    1296      318071 : }
    1297             : 
    1298          78 : Constant *Function::getPrefixData() const {
    1299             :   assert(hasPrefixData() && getNumOperands());
    1300          78 :   return cast<Constant>(Op<1>());
    1301             : }
    1302             : 
    1303      307484 : void Function::setPrefixData(Constant *PrefixData) {
    1304      307484 :   setHungoffOperand<1>(PrefixData);
    1305      307484 :   setValueSubclassDataBit(1, PrefixData != nullptr);
    1306      307484 : }
    1307             : 
    1308         173 : Constant *Function::getPrologueData() const {
    1309             :   assert(hasPrologueData() && getNumOperands());
    1310         173 :   return cast<Constant>(Op<2>());
    1311             : }
    1312             : 
    1313      307572 : void Function::setPrologueData(Constant *PrologueData) {
    1314      307572 :   setHungoffOperand<2>(PrologueData);
    1315      307572 :   setValueSubclassDataBit(2, PrologueData != nullptr);
    1316      307572 : }
    1317             : 
    1318       11761 : void Function::allocHungoffUselist() {
    1319             :   // If we've already allocated a uselist, stop here.
    1320       11761 :   if (getNumOperands())
    1321             :     return;
    1322             : 
    1323       11708 :   allocHungoffUses(3, /*IsPhi=*/ false);
    1324             :   setNumHungOffUseOperands(3);
    1325             : 
    1326             :   // Initialize the uselist with placeholder operands to allow traversal.
    1327       11708 :   auto *CPN = ConstantPointerNull::get(Type::getInt1PtrTy(getContext(), 0));
    1328       11708 :   Op<0>().set(CPN);
    1329       11708 :   Op<1>().set(CPN);
    1330       11708 :   Op<2>().set(CPN);
    1331             : }
    1332             : 
    1333             : template <int Idx>
    1334      933127 : void Function::setHungoffOperand(Constant *C) {
    1335      933127 :   if (C) {
    1336       11761 :     allocHungoffUselist();
    1337       11761 :     Op<Idx>().set(C);
    1338      921366 :   } else if (getNumOperands()) {
    1339        2220 :     Op<Idx>().set(
    1340        2220 :         ConstantPointerNull::get(Type::getInt1PtrTy(getContext(), 0)));
    1341             :   }
    1342      933127 : }
    1343             : 
    1344      934169 : void Function::setValueSubclassDataBit(unsigned Bit, bool On) {
    1345             :   assert(Bit < 16 && "SubclassData contains only 16 bits");
    1346      934169 :   if (On)
    1347       12282 :     setValueSubclassData(getSubclassDataFromValue() | (1 << Bit));
    1348             :   else
    1349      921887 :     setValueSubclassData(getSubclassDataFromValue() & ~(1 << Bit));
    1350      934169 : }
    1351             : 
    1352         470 : void Function::setEntryCount(ProfileCount Count,
    1353             :                              const DenseSet<GlobalValue::GUID> *S) {
    1354             :   assert(Count.hasValue());
    1355             : #if !defined(NDEBUG)
    1356             :   auto PrevCount = getEntryCount();
    1357             :   assert(!PrevCount.hasValue() || PrevCount.getType() == Count.getType());
    1358             : #endif
    1359         470 :   MDBuilder MDB(getContext());
    1360         940 :   setMetadata(
    1361             :       LLVMContext::MD_prof,
    1362         470 :       MDB.createFunctionEntryCount(Count.getCount(), Count.isSynthetic(), S));
    1363         470 : }
    1364             : 
    1365         140 : void Function::setEntryCount(uint64_t Count, Function::ProfileCountType Type,
    1366             :                              const DenseSet<GlobalValue::GUID> *Imports) {
    1367         140 :   setEntryCount(ProfileCount(Count, Type), Imports);
    1368         140 : }
    1369             : 
    1370      353653 : ProfileCount Function::getEntryCount() const {
    1371      353653 :   MDNode *MD = getMetadata(LLVMContext::MD_prof);
    1372      354594 :   if (MD && MD->getOperand(0))
    1373             :     if (MDString *MDS = dyn_cast<MDString>(MD->getOperand(0))) {
    1374         942 :       if (MDS->getString().equals("function_entry_count")) {
    1375             :         ConstantInt *CI = mdconst::extract<ConstantInt>(MD->getOperand(1));
    1376             :         uint64_t Count = CI->getValue().getZExtValue();
    1377             :         // A value of -1 is used for SamplePGO when there were no samples.
    1378             :         // Treat this the same as unknown.
    1379         940 :         if (Count == (uint64_t)-1)
    1380             :           return ProfileCount::getInvalid();
    1381         840 :         return ProfileCount(Count, PCT_Real);
    1382           1 :       } else if (MDS->getString().equals("synthetic_function_entry_count")) {
    1383             :         ConstantInt *CI = mdconst::extract<ConstantInt>(MD->getOperand(1));
    1384             :         uint64_t Count = CI->getValue().getZExtValue();
    1385           1 :         return ProfileCount(Count, PCT_Synthetic);
    1386             :       }
    1387             :     }
    1388             :   return ProfileCount::getInvalid();
    1389             : }
    1390             : 
    1391         615 : DenseSet<GlobalValue::GUID> Function::getImportGUIDs() const {
    1392             :   DenseSet<GlobalValue::GUID> R;
    1393         615 :   if (MDNode *MD = getMetadata(LLVMContext::MD_prof))
    1394             :     if (MDString *MDS = dyn_cast<MDString>(MD->getOperand(0)))
    1395          22 :       if (MDS->getString().equals("function_entry_count"))
    1396          26 :         for (unsigned i = 2; i < MD->getNumOperands(); i++)
    1397             :           R.insert(mdconst::extract<ConstantInt>(MD->getOperand(i))
    1398             :                        ->getValue()
    1399           4 :                        .getZExtValue());
    1400         615 :   return R;
    1401             : }
    1402             : 
    1403          19 : void Function::setSectionPrefix(StringRef Prefix) {
    1404          19 :   MDBuilder MDB(getContext());
    1405          19 :   setMetadata(LLVMContext::MD_section_prefix,
    1406             :               MDB.createFunctionSectionPrefix(Prefix));
    1407          19 : }
    1408             : 
    1409      197785 : Optional<StringRef> Function::getSectionPrefix() const {
    1410      197785 :   if (MDNode *MD = getMetadata(LLVMContext::MD_section_prefix)) {
    1411             :     assert(cast<MDString>(MD->getOperand(0))
    1412             :                ->getString()
    1413             :                .equals("function_section_prefix") &&
    1414             :            "Metadata not match");
    1415          22 :     return cast<MDString>(MD->getOperand(1))->getString();
    1416             :   }
    1417             :   return None;
    1418             : }
    1419             : 
    1420    10147784 : bool Function::nullPointerIsDefined() const {
    1421    20295568 :   return getFnAttribute("null-pointer-is-valid")
    1422    20295568 :           .getValueAsString()
    1423    10147784 :           .equals("true");
    1424             : }
    1425             : 
    1426     9389416 : bool llvm::NullPointerIsDefined(const Function *F, unsigned AS) {
    1427     9389416 :   if (F && F->nullPointerIsDefined())
    1428             :     return true;
    1429             : 
    1430     9389275 :   if (AS != 0)
    1431             :     return true;
    1432             : 
    1433     9385013 :   return false;
    1434             : }

Generated by: LCOV version 1.13