1cf3056db0fee1db7921214b1f25cea04e959e105Chris Lattner//===-- Function.cpp - Implement the Global object classes ----------------===// 2fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman// 3b576c94c15af9a440f69d9d03c2afead7971118cJohn Criswell// The LLVM Compiler Infrastructure 4b576c94c15af9a440f69d9d03c2afead7971118cJohn Criswell// 54ee451de366474b9c228b4e5fa573795a715216dChris Lattner// This file is distributed under the University of Illinois Open Source 64ee451de366474b9c228b4e5fa573795a715216dChris Lattner// License. See LICENSE.TXT for details. 7fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman// 8b576c94c15af9a440f69d9d03c2afead7971118cJohn Criswell//===----------------------------------------------------------------------===// 9009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner// 10c2c50cdcdc19a1bca993c06d13d8cdca87083ce4Chandler Carruth// This file implements the Function class for the IR library. 11009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner// 12009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner//===----------------------------------------------------------------------===// 13009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 140b8c9a80f20772c3793201ab5b251d3520b9cea3Chandler Carruth#include "llvm/IR/Function.h" 154c8e74f0b75cb10820c45c86399fbd02e4a8832aMichael Ilseman#include "LLVMContextImpl.h" 16d04a8d4b33ff316ca4cf961e06c9e312eff8e64fChandler Carruth#include "SymbolTableListTraitsImpl.h" 17d04a8d4b33ff316ca4cf961e06c9e312eff8e64fChandler Carruth#include "llvm/ADT/DenseMap.h" 18d04a8d4b33ff316ca4cf961e06c9e312eff8e64fChandler Carruth#include "llvm/ADT/STLExtras.h" 19d04a8d4b33ff316ca4cf961e06c9e312eff8e64fChandler Carruth#include "llvm/ADT/StringExtras.h" 20d04a8d4b33ff316ca4cf961e06c9e312eff8e64fChandler Carruth#include "llvm/CodeGen/ValueTypes.h" 210b8c9a80f20772c3793201ab5b251d3520b9cea3Chandler Carruth#include "llvm/IR/DerivedTypes.h" 220b8c9a80f20772c3793201ab5b251d3520b9cea3Chandler Carruth#include "llvm/IR/IntrinsicInst.h" 230b8c9a80f20772c3793201ab5b251d3520b9cea3Chandler Carruth#include "llvm/IR/LLVMContext.h" 240b8c9a80f20772c3793201ab5b251d3520b9cea3Chandler Carruth#include "llvm/IR/Module.h" 25c9f7500d1752feac7cece26d20007a99d21f677cGabor Greif#include "llvm/Support/CallSite.h" 2611f1a8335e207971f66eb60609e16b8719be5450Rafael Espindola#include "llvm/Support/InstIterator.h" 27551ccae044b0ff658fe629dd67edd5ffe75d10e8Reid Spencer#include "llvm/Support/LeakDetector.h" 28b983d67465a939c43173e381f9063d9d9245f45bOwen Anderson#include "llvm/Support/ManagedStatic.h" 291f6efa3996dd1929fbc129203ce5009b620e6969Michael J. Spencer#include "llvm/Support/RWMutex.h" 30d04a8d4b33ff316ca4cf961e06c9e312eff8e64fChandler Carruth#include "llvm/Support/StringPool.h" 311f6efa3996dd1929fbc129203ce5009b620e6969Michael J. Spencer#include "llvm/Support/Threading.h" 3231f8499e83dc4dccbb57ea7e76d1fd49b7010d0cChris Lattnerusing namespace llvm; 33d0fde30ce850b78371fd1386338350591f9ff494Brian Gaeke 347e70829632f82de15db187845666aaca6e04b792Chris Lattner// Explicit instantiations of SymbolTableListTraits since some of the methods 357e70829632f82de15db187845666aaca6e04b792Chris Lattner// are not in the public header file... 36c63ca0a71b299ee0b8fc7dc8405d7f3c856ecfa3John McCalltemplate class llvm::SymbolTableListTraits<Argument, Function>; 37c63ca0a71b299ee0b8fc7dc8405d7f3c856ecfa3John McCalltemplate class llvm::SymbolTableListTraits<BasicBlock, Function>; 38009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 3970cc3397f84c2e1fd69c059a0ef89e398e847b00Chris Lattner//===----------------------------------------------------------------------===// 4080dd50b4aaee0ae609d21f8dded9c3af1e801b9eChris Lattner// Argument Implementation 4180dd50b4aaee0ae609d21f8dded9c3af1e801b9eChris Lattner//===----------------------------------------------------------------------===// 4280dd50b4aaee0ae609d21f8dded9c3af1e801b9eChris Lattner 432d24e2a396a1d211baaeedf32148a3b657240170David Blaikievoid Argument::anchor() { } 442d24e2a396a1d211baaeedf32148a3b657240170David Blaikie 45db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris LattnerArgument::Argument(Type *Ty, const Twine &Name, Function *Par) 46dec628eead87b20773c98a00830580df211acc98Chris Lattner : Value(Ty, Value::ArgumentVal) { 47bded132d00ed626a6541b67ad101ef0fd47d3491Chris Lattner Parent = 0; 48d1e693f2a3883dacf213aa2b477540c57b53b714Chris Lattner 49d1e693f2a3883dacf213aa2b477540c57b53b714Chris Lattner // Make sure that we get added to a function 50d1e693f2a3883dacf213aa2b477540c57b53b714Chris Lattner LeakDetector::addGarbageObject(this); 51d1e693f2a3883dacf213aa2b477540c57b53b714Chris Lattner 52bded132d00ed626a6541b67ad101ef0fd47d3491Chris Lattner if (Par) 53bded132d00ed626a6541b67ad101ef0fd47d3491Chris Lattner Par->getArgumentList().push_back(this); 54dec628eead87b20773c98a00830580df211acc98Chris Lattner setName(Name); 55bded132d00ed626a6541b67ad101ef0fd47d3491Chris Lattner} 56bded132d00ed626a6541b67ad101ef0fd47d3491Chris Lattner 57bded132d00ed626a6541b67ad101ef0fd47d3491Chris Lattnervoid Argument::setParent(Function *parent) { 58d1e693f2a3883dacf213aa2b477540c57b53b714Chris Lattner if (getParent()) 59d1e693f2a3883dacf213aa2b477540c57b53b714Chris Lattner LeakDetector::addGarbageObject(this); 60bded132d00ed626a6541b67ad101ef0fd47d3491Chris Lattner Parent = parent; 61d1e693f2a3883dacf213aa2b477540c57b53b714Chris Lattner if (getParent()) 62d1e693f2a3883dacf213aa2b477540c57b53b714Chris Lattner LeakDetector::removeGarbageObject(this); 63bded132d00ed626a6541b67ad101ef0fd47d3491Chris Lattner} 64bded132d00ed626a6541b67ad101ef0fd47d3491Chris Lattner 65de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner/// getArgNo - Return the index of this formal argument in its containing 660f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman/// function. For example in "void foo(int a, float b)" a is 0 and b is 1. 67de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattnerunsigned Argument::getArgNo() const { 68de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner const Function *F = getParent(); 69de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner assert(F && "Argument is not in a function"); 700f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman 71de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner Function::const_arg_iterator AI = F->arg_begin(); 72de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner unsigned ArgIdx = 0; 73de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner for (; &*AI != this; ++AI) 74de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner ++ArgIdx; 75de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner 76de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner return ArgIdx; 77de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner} 78de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner 79de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner/// hasByValAttr - Return true if this argument has the byval attribute on it 80de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner/// in its containing function. 81de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattnerbool Argument::hasByValAttr() const { 821df9859c40492511b8aa4321eb76496005d3b75bDuncan Sands if (!getType()->isPointerTy()) return false; 8339cd0c8e477255a7296b2bd1dc67193f8d38c003Bill Wendling return getParent()->getAttributes(). 8439cd0c8e477255a7296b2bd1dc67193f8d38c003Bill Wendling hasAttribute(getArgNo()+1, Attribute::ByVal); 85de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner} 86de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner 87ae441cc33cee83a598f74e3d0447fe02157b0389Chris Lattnerunsigned Argument::getParamAlignment() const { 88ae441cc33cee83a598f74e3d0447fe02157b0389Chris Lattner assert(getType()->isPointerTy() && "Only pointers have alignments"); 89ae441cc33cee83a598f74e3d0447fe02157b0389Chris Lattner return getParent()->getParamAlignment(getArgNo()+1); 900f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman 91ae441cc33cee83a598f74e3d0447fe02157b0389Chris Lattner} 92ae441cc33cee83a598f74e3d0447fe02157b0389Chris Lattner 93be1ce0a867a7e62094fc9a158c15bb9e48cb80faDuncan Sands/// hasNestAttr - Return true if this argument has the nest attribute on 94be1ce0a867a7e62094fc9a158c15bb9e48cb80faDuncan Sands/// it in its containing function. 95be1ce0a867a7e62094fc9a158c15bb9e48cb80faDuncan Sandsbool Argument::hasNestAttr() const { 961df9859c40492511b8aa4321eb76496005d3b75bDuncan Sands if (!getType()->isPointerTy()) return false; 9739cd0c8e477255a7296b2bd1dc67193f8d38c003Bill Wendling return getParent()->getAttributes(). 9839cd0c8e477255a7296b2bd1dc67193f8d38c003Bill Wendling hasAttribute(getArgNo()+1, Attribute::Nest); 99be1ce0a867a7e62094fc9a158c15bb9e48cb80faDuncan Sands} 100be1ce0a867a7e62094fc9a158c15bb9e48cb80faDuncan Sands 101de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner/// hasNoAliasAttr - Return true if this argument has the noalias attribute on 102de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner/// it in its containing function. 103de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattnerbool Argument::hasNoAliasAttr() const { 1041df9859c40492511b8aa4321eb76496005d3b75bDuncan Sands if (!getType()->isPointerTy()) return false; 10539cd0c8e477255a7296b2bd1dc67193f8d38c003Bill Wendling return getParent()->getAttributes(). 10639cd0c8e477255a7296b2bd1dc67193f8d38c003Bill Wendling hasAttribute(getArgNo()+1, Attribute::NoAlias); 107de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner} 108de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner 10917da06ffbd1f7269b6b9037f883a3d8a5c985f62Duncan Sands/// hasNoCaptureAttr - Return true if this argument has the nocapture attribute 11017da06ffbd1f7269b6b9037f883a3d8a5c985f62Duncan Sands/// on it in its containing function. 11117da06ffbd1f7269b6b9037f883a3d8a5c985f62Duncan Sandsbool Argument::hasNoCaptureAttr() const { 1121df9859c40492511b8aa4321eb76496005d3b75bDuncan Sands if (!getType()->isPointerTy()) return false; 11339cd0c8e477255a7296b2bd1dc67193f8d38c003Bill Wendling return getParent()->getAttributes(). 11439cd0c8e477255a7296b2bd1dc67193f8d38c003Bill Wendling hasAttribute(getArgNo()+1, Attribute::NoCapture); 11517da06ffbd1f7269b6b9037f883a3d8a5c985f62Duncan Sands} 11617da06ffbd1f7269b6b9037f883a3d8a5c985f62Duncan Sands 1177d54254c9cc6e5a3be3a7d9d22241c0ae8a7fa03Owen Anderson/// hasSRetAttr - Return true if this argument has the sret attribute on 1187d54254c9cc6e5a3be3a7d9d22241c0ae8a7fa03Owen Anderson/// it in its containing function. 1197d54254c9cc6e5a3be3a7d9d22241c0ae8a7fa03Owen Andersonbool Argument::hasStructRetAttr() const { 1201df9859c40492511b8aa4321eb76496005d3b75bDuncan Sands if (!getType()->isPointerTy()) return false; 121b1dbcd886a4b5597a839f299054b78b33fb2d6dfGabor Greif if (this != getParent()->arg_begin()) 122b1dbcd886a4b5597a839f299054b78b33fb2d6dfGabor Greif return false; // StructRet param must be first param 12339cd0c8e477255a7296b2bd1dc67193f8d38c003Bill Wendling return getParent()->getAttributes(). 12439cd0c8e477255a7296b2bd1dc67193f8d38c003Bill Wendling hasAttribute(1, Attribute::StructRet); 1257d54254c9cc6e5a3be3a7d9d22241c0ae8a7fa03Owen Anderson} 1267d54254c9cc6e5a3be3a7d9d22241c0ae8a7fa03Owen Anderson 127456ca048af35163b9f52187e92a23ee0a9f059e8Stephen Lin/// hasReturnedAttr - Return true if this argument has the returned attribute on 128456ca048af35163b9f52187e92a23ee0a9f059e8Stephen Lin/// it in its containing function. 129456ca048af35163b9f52187e92a23ee0a9f059e8Stephen Linbool Argument::hasReturnedAttr() const { 130456ca048af35163b9f52187e92a23ee0a9f059e8Stephen Lin return getParent()->getAttributes(). 131456ca048af35163b9f52187e92a23ee0a9f059e8Stephen Lin hasAttribute(getArgNo()+1, Attribute::Returned); 132456ca048af35163b9f52187e92a23ee0a9f059e8Stephen Lin} 133456ca048af35163b9f52187e92a23ee0a9f059e8Stephen Lin 134dc89737bcdbb8f69d8ae7578bdfa904cabcfc5edNick Lewycky/// Return true if this argument has the readonly or readnone attribute on it 135dc89737bcdbb8f69d8ae7578bdfa904cabcfc5edNick Lewycky/// in its containing function. 136dc89737bcdbb8f69d8ae7578bdfa904cabcfc5edNick Lewyckybool Argument::onlyReadsMemory() const { 137dc89737bcdbb8f69d8ae7578bdfa904cabcfc5edNick Lewycky return getParent()->getAttributes(). 138dc89737bcdbb8f69d8ae7578bdfa904cabcfc5edNick Lewycky hasAttribute(getArgNo()+1, Attribute::ReadOnly) || 139dc89737bcdbb8f69d8ae7578bdfa904cabcfc5edNick Lewycky getParent()->getAttributes(). 140dc89737bcdbb8f69d8ae7578bdfa904cabcfc5edNick Lewycky hasAttribute(getArgNo()+1, Attribute::ReadNone); 141dc89737bcdbb8f69d8ae7578bdfa904cabcfc5edNick Lewycky} 142dc89737bcdbb8f69d8ae7578bdfa904cabcfc5edNick Lewycky 14328d65722d6f283b327b5815914382077fe9c0ab4Bill Wendling/// addAttr - Add attributes to an argument. 14428d65722d6f283b327b5815914382077fe9c0ab4Bill Wendlingvoid Argument::addAttr(AttributeSet AS) { 145fece442c697eb29f14b4718bdafa3a97d545b476Bill Wendling assert(AS.getNumSlots() <= 1 && 146b7a1dda9c91b3d1821f4235c35a0d62c62d18848Bill Wendling "Trying to add more than one attribute set to an argument!"); 147b7a1dda9c91b3d1821f4235c35a0d62c62d18848Bill Wendling AttrBuilder B(AS, AS.getSlotIndex(0)); 148b7a1dda9c91b3d1821f4235c35a0d62c62d18848Bill Wendling getParent()->addAttributes(getArgNo() + 1, 149b7a1dda9c91b3d1821f4235c35a0d62c62d18848Bill Wendling AttributeSet::get(Parent->getContext(), 150b7a1dda9c91b3d1821f4235c35a0d62c62d18848Bill Wendling getArgNo() + 1, B)); 151e2435da8abe5ca62c7f08f29c242b6b98e0ec7afGordon Henriksen} 152cfa3c236b23aff80e48df11ef5833b7e63fab802Duncan Sands 15328d65722d6f283b327b5815914382077fe9c0ab4Bill Wendling/// removeAttr - Remove attributes from an argument. 15428d65722d6f283b327b5815914382077fe9c0ab4Bill Wendlingvoid Argument::removeAttr(AttributeSet AS) { 155fece442c697eb29f14b4718bdafa3a97d545b476Bill Wendling assert(AS.getNumSlots() <= 1 && 156b7a1dda9c91b3d1821f4235c35a0d62c62d18848Bill Wendling "Trying to remove more than one attribute set from an argument!"); 157b7a1dda9c91b3d1821f4235c35a0d62c62d18848Bill Wendling AttrBuilder B(AS, AS.getSlotIndex(0)); 158b7a1dda9c91b3d1821f4235c35a0d62c62d18848Bill Wendling getParent()->removeAttributes(getArgNo() + 1, 159b7a1dda9c91b3d1821f4235c35a0d62c62d18848Bill Wendling AttributeSet::get(Parent->getContext(), 160b7a1dda9c91b3d1821f4235c35a0d62c62d18848Bill Wendling getArgNo() + 1, B)); 161e2435da8abe5ca62c7f08f29c242b6b98e0ec7afGordon Henriksen} 162de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner 16380dd50b4aaee0ae609d21f8dded9c3af1e801b9eChris Lattner//===----------------------------------------------------------------------===// 16450ee9ddc8f0633af6cb0a5693a2c706e98f944daChris Lattner// Helper Methods in Function 1654746ecf16eeb5ff920672fdff1c0dd85594437edReid Spencer//===----------------------------------------------------------------------===// 1664746ecf16eeb5ff920672fdff1c0dd85594437edReid Spencer 167e922c0201916e0b980ab3cfe91e1413e68d55647Owen AndersonLLVMContext &Function::getContext() const { 168e922c0201916e0b980ab3cfe91e1413e68d55647Owen Anderson return getType()->getContext(); 16962fabf5faba70c507c8fbe298260e9b3749fdd79Owen Anderson} 17062fabf5faba70c507c8fbe298260e9b3749fdd79Owen Anderson 1711afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris LattnerFunctionType *Function::getFunctionType() const { 17250ee9ddc8f0633af6cb0a5693a2c706e98f944daChris Lattner return cast<FunctionType>(getType()->getElementType()); 1734746ecf16eeb5ff920672fdff1c0dd85594437edReid Spencer} 1744746ecf16eeb5ff920672fdff1c0dd85594437edReid Spencer 17550ee9ddc8f0633af6cb0a5693a2c706e98f944daChris Lattnerbool Function::isVarArg() const { 17650ee9ddc8f0633af6cb0a5693a2c706e98f944daChris Lattner return getFunctionType()->isVarArg(); 1774746ecf16eeb5ff920672fdff1c0dd85594437edReid Spencer} 1784746ecf16eeb5ff920672fdff1c0dd85594437edReid Spencer 1791afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris LattnerType *Function::getReturnType() const { 18050ee9ddc8f0633af6cb0a5693a2c706e98f944daChris Lattner return getFunctionType()->getReturnType(); 181827cde1c8319e51463007078a7ce3660ebc93036Duncan Sands} 182827cde1c8319e51463007078a7ce3660ebc93036Duncan Sands 18350ee9ddc8f0633af6cb0a5693a2c706e98f944daChris Lattnervoid Function::removeFromParent() { 18450ee9ddc8f0633af6cb0a5693a2c706e98f944daChris Lattner getParent()->getFunctionList().remove(this); 185827cde1c8319e51463007078a7ce3660ebc93036Duncan Sands} 186827cde1c8319e51463007078a7ce3660ebc93036Duncan Sands 18750ee9ddc8f0633af6cb0a5693a2c706e98f944daChris Lattnervoid Function::eraseFromParent() { 18850ee9ddc8f0633af6cb0a5693a2c706e98f944daChris Lattner getParent()->getFunctionList().erase(this); 1894746ecf16eeb5ff920672fdff1c0dd85594437edReid Spencer} 1904746ecf16eeb5ff920672fdff1c0dd85594437edReid Spencer 1914746ecf16eeb5ff920672fdff1c0dd85594437edReid Spencer//===----------------------------------------------------------------------===// 19279df7c0aaa18129e55968c8783ef8346807bd4afChris Lattner// Function Implementation 19370cc3397f84c2e1fd69c059a0ef89e398e847b00Chris Lattner//===----------------------------------------------------------------------===// 19470cc3397f84c2e1fd69c059a0ef89e398e847b00Chris Lattner 195db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris LattnerFunction::Function(FunctionType *Ty, LinkageTypes Linkage, 1966e0d1cb30957a636c53158d3089e6fb88348a57aDaniel Dunbar const Twine &name, Module *ParentModule) 1970f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman : GlobalValue(PointerType::getUnqual(Ty), 19858d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner Value::FunctionVal, 0, 0, Linkage, name) { 199c8e222b9a48a84e98a5fc4ccd6b015197b09bed4Chris Lattner assert(FunctionType::isValidReturnType(getReturnType()) && 2001afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner "invalid return type"); 201ef9b9a793949469cdaa4ab6d0173136229dcab7bReid Spencer SymTab = new ValueSymbolTable(); 202482701563a2ff76815d2cd19856469319e7c2d88Chris Lattner 2030162c1815e5a1b33750d313c49f707bc446ea946Chris Lattner // If the function has arguments, mark them as lazily built. 2040162c1815e5a1b33750d313c49f707bc446ea946Chris Lattner if (Ty->getNumParams()) 205cafe9bba32aeed16e8e3db28b4cd4ff13160438fChris Lattner setValueSubclassData(1); // Set the "has lazy arguments" bit. 2060f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman 207d1e693f2a3883dacf213aa2b477540c57b53b714Chris Lattner // Make sure that we get added to a function 208d1e693f2a3883dacf213aa2b477540c57b53b714Chris Lattner LeakDetector::addGarbageObject(this); 209d1e693f2a3883dacf213aa2b477540c57b53b714Chris Lattner 210482701563a2ff76815d2cd19856469319e7c2d88Chris Lattner if (ParentModule) 211482701563a2ff76815d2cd19856469319e7c2d88Chris Lattner ParentModule->getFunctionList().push_back(this); 21279ab3e801480e6412c064a3fb15a79a8cab13efcDuncan Sands 21379ab3e801480e6412c064a3fb15a79a8cab13efcDuncan Sands // Ensure intrinsics have the right parameter attributes. 21449de98214b82fefeb8f16efbf8cdd8813a85469bDale Johannesen if (unsigned IID = getIntrinsicID()) 215cb3de0bc800d7920087b19bb12a545d4cc84114eBill Wendling setAttributes(Intrinsic::getAttributes(getContext(), Intrinsic::ID(IID))); 21681b2ab8a249c3652133a1dcc0209343cde9b499fDevang Patel 217009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 218009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 219afba8fe662d65b25b4baf46bb26cc18e1f9cc0a5Gordon HenriksenFunction::~Function() { 220afba8fe662d65b25b4baf46bb26cc18e1f9cc0a5Gordon Henriksen dropAllReferences(); // After this it is safe to delete instructions. 221009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 222009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Delete all of the method arguments and unlink from symbol table... 223afba8fe662d65b25b4baf46bb26cc18e1f9cc0a5Gordon Henriksen ArgumentList.clear(); 224afba8fe662d65b25b4baf46bb26cc18e1f9cc0a5Gordon Henriksen delete SymTab; 225b90909e40536db17665727f5ca1c618e485464c3Reid Spencer 2265eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen // Remove the function from the on-the-side GC table. 2275eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen clearGC(); 2284c8e74f0b75cb10820c45c86399fbd02e4a8832aMichael Ilseman 2294c8e74f0b75cb10820c45c86399fbd02e4a8832aMichael Ilseman // Remove the intrinsicID from the Cache. 2301ac186e009af8496df3ecd2c5ad4918d5c53a0a3Chris Lattner if (getValueName() && isIntrinsic()) 2314c8e74f0b75cb10820c45c86399fbd02e4a8832aMichael Ilseman getContext().pImpl->IntrinsicIDCache.erase(this); 232009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 233009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 2340162c1815e5a1b33750d313c49f707bc446ea946Chris Lattnervoid Function::BuildLazyArguments() const { 2350162c1815e5a1b33750d313c49f707bc446ea946Chris Lattner // Create the arguments vector, all arguments start out unnamed. 236db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner FunctionType *FT = getFunctionType(); 2370162c1815e5a1b33750d313c49f707bc446ea946Chris Lattner for (unsigned i = 0, e = FT->getNumParams(); i != e; ++i) { 238f012705c7e4ca8cf90b6b734ce1d5355daca5ba5Benjamin Kramer assert(!FT->getParamType(i)->isVoidTy() && 2390162c1815e5a1b33750d313c49f707bc446ea946Chris Lattner "Cannot have void typed arguments!"); 2400162c1815e5a1b33750d313c49f707bc446ea946Chris Lattner ArgumentList.push_back(new Argument(FT->getParamType(i))); 2410162c1815e5a1b33750d313c49f707bc446ea946Chris Lattner } 2420f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman 2430162c1815e5a1b33750d313c49f707bc446ea946Chris Lattner // Clear the lazy arguments bit. 244cafe9bba32aeed16e8e3db28b4cd4ff13160438fChris Lattner unsigned SDC = getSubclassDataFromValue(); 245cafe9bba32aeed16e8e3db28b4cd4ff13160438fChris Lattner const_cast<Function*>(this)->setValueSubclassData(SDC &= ~1); 2460162c1815e5a1b33750d313c49f707bc446ea946Chris Lattner} 2470162c1815e5a1b33750d313c49f707bc446ea946Chris Lattner 2480162c1815e5a1b33750d313c49f707bc446ea946Chris Lattnersize_t Function::arg_size() const { 2490162c1815e5a1b33750d313c49f707bc446ea946Chris Lattner return getFunctionType()->getNumParams(); 2500162c1815e5a1b33750d313c49f707bc446ea946Chris Lattner} 2510162c1815e5a1b33750d313c49f707bc446ea946Chris Lattnerbool Function::arg_empty() const { 2520162c1815e5a1b33750d313c49f707bc446ea946Chris Lattner return getFunctionType()->getNumParams() == 0; 2530162c1815e5a1b33750d313c49f707bc446ea946Chris Lattner} 2540162c1815e5a1b33750d313c49f707bc446ea946Chris Lattner 255e7506a366e8bd56c97d10beb68e4db953aebaecaChris Lattnervoid Function::setParent(Module *parent) { 256d1e693f2a3883dacf213aa2b477540c57b53b714Chris Lattner if (getParent()) 257d1e693f2a3883dacf213aa2b477540c57b53b714Chris Lattner LeakDetector::addGarbageObject(this); 258009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner Parent = parent; 259d1e693f2a3883dacf213aa2b477540c57b53b714Chris Lattner if (getParent()) 260d1e693f2a3883dacf213aa2b477540c57b53b714Chris Lattner LeakDetector::removeGarbageObject(this); 261009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 262009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 263009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner// dropAllReferences() - This function causes all the subinstructions to "let 264009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner// go" of all references that they are maintaining. This allows one to 265009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner// 'delete' a whole class at a time, even though there may be circular 266009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner// references... first all references are dropped, and all use counts go to 2676b63452c3ad26678b32f93dbca55902a313ee4e9Misha Brukman// zero. Then everything is deleted for real. Note that no operations are 268fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman// valid on an object that has "dropped all references", except operator 269009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner// delete. 270009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner// 271e7506a366e8bd56c97d10beb68e4db953aebaecaChris Lattnervoid Function::dropAllReferences() { 2727e70829632f82de15db187845666aaca6e04b792Chris Lattner for (iterator I = begin(), E = end(); I != E; ++I) 2737e70829632f82de15db187845666aaca6e04b792Chris Lattner I->dropAllReferences(); 2740f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman 275a6399ae08967109b1427b34b5bde775a38bb4d75Dan Gohman // Delete all basic blocks. They are now unused, except possibly by 276a6399ae08967109b1427b34b5bde775a38bb4d75Dan Gohman // blockaddresses, but BasicBlock's destructor takes care of those. 277a6399ae08967109b1427b34b5bde775a38bb4d75Dan Gohman while (!BasicBlocks.empty()) 278a6399ae08967109b1427b34b5bde775a38bb4d75Dan Gohman BasicBlocks.begin()->eraseFromParent(); 279009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 28070cc3397f84c2e1fd69c059a0ef89e398e847b00Chris Lattner 28170d2ca0725b05a2d372e4dc3336e8ea350093e98Bill Wendlingvoid Function::addAttribute(unsigned i, Attribute::AttrKind attr) { 28299faa3b4ec6d03ac7808fe4ff3fbf3d04e375502Bill Wendling AttributeSet PAL = getAttributes(); 28370d2ca0725b05a2d372e4dc3336e8ea350093e98Bill Wendling PAL = PAL.addAttribute(getContext(), i, attr); 28470d2ca0725b05a2d372e4dc3336e8ea350093e98Bill Wendling setAttributes(PAL); 28570d2ca0725b05a2d372e4dc3336e8ea350093e98Bill Wendling} 28670d2ca0725b05a2d372e4dc3336e8ea350093e98Bill Wendling 28770d2ca0725b05a2d372e4dc3336e8ea350093e98Bill Wendlingvoid Function::addAttributes(unsigned i, AttributeSet attrs) { 28870d2ca0725b05a2d372e4dc3336e8ea350093e98Bill Wendling AttributeSet PAL = getAttributes(); 28970d2ca0725b05a2d372e4dc3336e8ea350093e98Bill Wendling PAL = PAL.addAttributes(getContext(), i, attrs); 2900598866c052147c31b808391f58434ce3dbfb838Devang Patel setAttributes(PAL); 29192432a8db1266f7932bce13a7e6354b0993838d3Duncan Sands} 29292432a8db1266f7932bce13a7e6354b0993838d3Duncan Sands 2938246df61f6de716acf1f8c64fac3c19970a2c174Bill Wendlingvoid Function::removeAttributes(unsigned i, AttributeSet attrs) { 29499faa3b4ec6d03ac7808fe4ff3fbf3d04e375502Bill Wendling AttributeSet PAL = getAttributes(); 2958246df61f6de716acf1f8c64fac3c19970a2c174Bill Wendling PAL = PAL.removeAttributes(getContext(), i, attrs); 2960598866c052147c31b808391f58434ce3dbfb838Devang Patel setAttributes(PAL); 2970bf7b414ae0bb6699cadc3a210d18cfec44e9354Eric Christopher} 2980bf7b414ae0bb6699cadc3a210d18cfec44e9354Eric Christopher 2995eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen// Maintain the GC name for each function in an on-the-side table. This saves 3005eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen// allocating an additional word in Function for programs which do not use GC 3015eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen// (i.e., most programs) at the cost of increased overhead for clients which do 3025eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen// use GC. 303bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Andersonstatic DenseMap<const Function*,PooledStringPtr> *GCNames; 304bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Andersonstatic StringPool *GCNamePool; 305b2c0fe4d93ba75b8343de60984b0ce3548cd22c9Owen Andersonstatic ManagedStatic<sys::SmartRWMutex<true> > GCLock; 30680a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen 3075eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksenbool Function::hasGC() const { 308a9d1f2c559ef4b2549e29288fe6944e68913ba0fOwen Anderson sys::SmartScopedReader<true> Reader(*GCLock); 309b2c0fe4d93ba75b8343de60984b0ce3548cd22c9Owen Anderson return GCNames && GCNames->count(this); 31080a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen} 31180a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen 3125eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksenconst char *Function::getGC() const { 3135eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen assert(hasGC() && "Function has no collector"); 314a9d1f2c559ef4b2549e29288fe6944e68913ba0fOwen Anderson sys::SmartScopedReader<true> Reader(*GCLock); 315b2c0fe4d93ba75b8343de60984b0ce3548cd22c9Owen Anderson return *(*GCNames)[this]; 31680a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen} 31780a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen 3185eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksenvoid Function::setGC(const char *Str) { 319a9d1f2c559ef4b2549e29288fe6944e68913ba0fOwen Anderson sys::SmartScopedWriter<true> Writer(*GCLock); 320bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Anderson if (!GCNamePool) 321bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Anderson GCNamePool = new StringPool(); 322bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Anderson if (!GCNames) 323bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Anderson GCNames = new DenseMap<const Function*,PooledStringPtr>(); 324bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Anderson (*GCNames)[this] = GCNamePool->intern(Str); 32580a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen} 32680a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen 3275eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksenvoid Function::clearGC() { 328a9d1f2c559ef4b2549e29288fe6944e68913ba0fOwen Anderson sys::SmartScopedWriter<true> Writer(*GCLock); 329bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Anderson if (GCNames) { 3305eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen GCNames->erase(this); 331bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Anderson if (GCNames->empty()) { 332bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Anderson delete GCNames; 333bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Anderson GCNames = 0; 334bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Anderson if (GCNamePool->empty()) { 335bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Anderson delete GCNamePool; 336bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Anderson GCNamePool = 0; 337bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Anderson } 338bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Anderson } 339bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Anderson } 34080a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen} 34180a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen 34228c3cff8250b3fe2adc6479306fe7dbdb48a1bdbDuncan Sands/// copyAttributesFrom - copy all additional attributes (those not needed to 34328c3cff8250b3fe2adc6479306fe7dbdb48a1bdbDuncan Sands/// create a Function) from the Function Src to this one. 34428c3cff8250b3fe2adc6479306fe7dbdb48a1bdbDuncan Sandsvoid Function::copyAttributesFrom(const GlobalValue *Src) { 34528c3cff8250b3fe2adc6479306fe7dbdb48a1bdbDuncan Sands assert(isa<Function>(Src) && "Expected a Function!"); 34628c3cff8250b3fe2adc6479306fe7dbdb48a1bdbDuncan Sands GlobalValue::copyAttributesFrom(Src); 34728c3cff8250b3fe2adc6479306fe7dbdb48a1bdbDuncan Sands const Function *SrcF = cast<Function>(Src); 34828c3cff8250b3fe2adc6479306fe7dbdb48a1bdbDuncan Sands setCallingConv(SrcF->getCallingConv()); 3490598866c052147c31b808391f58434ce3dbfb838Devang Patel setAttributes(SrcF->getAttributes()); 3505eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen if (SrcF->hasGC()) 3515eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen setGC(SrcF->getGC()); 3525eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen else 3535eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen clearGC(); 35428c3cff8250b3fe2adc6479306fe7dbdb48a1bdbDuncan Sands} 35528c3cff8250b3fe2adc6479306fe7dbdb48a1bdbDuncan Sands 356dd035d188a80f560ff4193391a9e8df64c993369Chris Lattner/// getIntrinsicID - This method returns the ID number of the specified 357d0fde30ce850b78371fd1386338350591f9ff494Brian Gaeke/// function, or Intrinsic::not_intrinsic if the function is not an 3586b63452c3ad26678b32f93dbca55902a313ee4e9Misha Brukman/// intrinsic, or if the pointer is null. This value is always defined to be 359dd035d188a80f560ff4193391a9e8df64c993369Chris Lattner/// zero to allow easy checking for whether a function is intrinsic or not. The 360dd035d188a80f560ff4193391a9e8df64c993369Chris Lattner/// particular intrinsic functions which correspond to this value are defined in 3614c8e74f0b75cb10820c45c86399fbd02e4a8832aMichael Ilseman/// llvm/Intrinsics.h. Results are cached in the LLVM context, subsequent 3624c8e74f0b75cb10820c45c86399fbd02e4a8832aMichael Ilseman/// requests for the same ID return results much faster from the cache. 363dd035d188a80f560ff4193391a9e8df64c993369Chris Lattner/// 36449de98214b82fefeb8f16efbf8cdd8813a85469bDale Johannesenunsigned Function::getIntrinsicID() const { 3653b515802f652b16b05c9a8f344d219a0739b36a3Chris Lattner const ValueName *ValName = this->getValueName(); 366f846f16c92590379e900d01812e828e83b759ceeMichael Ilseman if (!ValName || !isIntrinsic()) 367085659f040f8b943c931db8a695dec4bf22578a5Reid Spencer return 0; 3684c8e74f0b75cb10820c45c86399fbd02e4a8832aMichael Ilseman 3694c8e74f0b75cb10820c45c86399fbd02e4a8832aMichael Ilseman LLVMContextImpl::IntrinsicIDCacheTy &IntrinsicIDCache = 3704c8e74f0b75cb10820c45c86399fbd02e4a8832aMichael Ilseman getContext().pImpl->IntrinsicIDCache; 3711ac186e009af8496df3ecd2c5ad4918d5c53a0a3Chris Lattner if (!IntrinsicIDCache.count(this)) { 3724c8e74f0b75cb10820c45c86399fbd02e4a8832aMichael Ilseman unsigned Id = lookupIntrinsicID(); 3734c8e74f0b75cb10820c45c86399fbd02e4a8832aMichael Ilseman IntrinsicIDCache[this]=Id; 3744c8e74f0b75cb10820c45c86399fbd02e4a8832aMichael Ilseman return Id; 3754c8e74f0b75cb10820c45c86399fbd02e4a8832aMichael Ilseman } 3764c8e74f0b75cb10820c45c86399fbd02e4a8832aMichael Ilseman return IntrinsicIDCache[this]; 3774c8e74f0b75cb10820c45c86399fbd02e4a8832aMichael Ilseman} 3784c8e74f0b75cb10820c45c86399fbd02e4a8832aMichael Ilseman 3794c8e74f0b75cb10820c45c86399fbd02e4a8832aMichael Ilseman/// This private method does the actual lookup of an intrinsic ID when the query 3804c8e74f0b75cb10820c45c86399fbd02e4a8832aMichael Ilseman/// could not be answered from the cache. 3814c8e74f0b75cb10820c45c86399fbd02e4a8832aMichael Ilsemanunsigned Function::lookupIntrinsicID() const { 3824c8e74f0b75cb10820c45c86399fbd02e4a8832aMichael Ilseman const ValueName *ValName = this->getValueName(); 3833b515802f652b16b05c9a8f344d219a0739b36a3Chris Lattner unsigned Len = ValName->getKeyLength(); 3843b515802f652b16b05c9a8f344d219a0739b36a3Chris Lattner const char *Name = ValName->getKeyData(); 3850f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman 3869a016ff284f7301da20e74fb1304fb17e3d1214dChris Lattner#define GET_FUNCTION_RECOGNIZER 387351ba145a7db32b457f118ecc4d873765ac2a16bChandler Carruth#include "llvm/IR/Intrinsics.gen" 3889a016ff284f7301da20e74fb1304fb17e3d1214dChris Lattner#undef GET_FUNCTION_RECOGNIZER 3894c8e74f0b75cb10820c45c86399fbd02e4a8832aMichael Ilseman 390dd035d188a80f560ff4193391a9e8df64c993369Chris Lattner return 0; 391dd035d188a80f560ff4193391a9e8df64c993369Chris Lattner} 392dd035d188a80f560ff4193391a9e8df64c993369Chris Lattner 393eb9a85f09e18b3fe88499710404b38d3a9128f62Benjamin Kramerstd::string Intrinsic::getName(ID id, ArrayRef<Type*> Tys) { 394b847423fc6653bc1fd0d1dde4f968502985d2c6aChris Lattner assert(id < num_intrinsics && "Invalid intrinsic ID!"); 395607b8ebfb849e3257d5ab64fae3ae62229eadb6fChris Lattner static const char * const Table[] = { 396b847423fc6653bc1fd0d1dde4f968502985d2c6aChris Lattner "not_intrinsic", 397b847423fc6653bc1fd0d1dde4f968502985d2c6aChris Lattner#define GET_INTRINSIC_NAME_TABLE 398351ba145a7db32b457f118ecc4d873765ac2a16bChandler Carruth#include "llvm/IR/Intrinsics.gen" 399b847423fc6653bc1fd0d1dde4f968502985d2c6aChris Lattner#undef GET_INTRINSIC_NAME_TABLE 400b847423fc6653bc1fd0d1dde4f968502985d2c6aChris Lattner }; 401eb9a85f09e18b3fe88499710404b38d3a9128f62Benjamin Kramer if (Tys.empty()) 4021437a0976567810c2930218b1ba582820150b05cReid Spencer return Table[id]; 4031437a0976567810c2930218b1ba582820150b05cReid Spencer std::string Result(Table[id]); 404eb9a85f09e18b3fe88499710404b38d3a9128f62Benjamin Kramer for (unsigned i = 0; i < Tys.size(); ++i) { 405db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner if (PointerType* PTyp = dyn_cast<PointerType>(Tys[i])) { 4060f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman Result += ".p" + llvm::utostr(PTyp->getAddressSpace()) + 407e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson EVT::getEVT(PTyp->getElementType()).getEVTString(); 408e3b3a7241c01f26613694e53b26b01abf764ddfcMon P Wang } 409e3b3a7241c01f26613694e53b26b01abf764ddfcMon P Wang else if (Tys[i]) 410e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson Result += "." + EVT::getEVT(Tys[i]).getEVTString(); 411e3b3a7241c01f26613694e53b26b01abf764ddfcMon P Wang } 4121437a0976567810c2930218b1ba582820150b05cReid Spencer return Result; 413b847423fc6653bc1fd0d1dde4f968502985d2c6aChris Lattner} 414b847423fc6653bc1fd0d1dde4f968502985d2c6aChris Lattner 415a98aa6ad1e8e53600b2e322e2ab869e03d436849Chris Lattner 416908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner/// IIT_Info - These are enumerators that describe the entries returned by the 417908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner/// getIntrinsicInfoTableEntries function. 418908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner/// 419908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner/// NOTE: This must be kept in synch with the copy in TblGen/IntrinsicEmitter! 420908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattnerenum IIT_Info { 421908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner // Common values should be encoded with 0-15. 422908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner IIT_Done = 0, 423908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner IIT_I1 = 1, 424908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner IIT_I8 = 2, 425908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner IIT_I16 = 3, 426908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner IIT_I32 = 4, 427908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner IIT_I64 = 5, 4284d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_F16 = 6, 4294d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_F32 = 7, 4304d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_F64 = 8, 4314d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_V2 = 9, 4324d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_V4 = 10, 4334d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_V8 = 11, 4344d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_V16 = 12, 4354d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_V32 = 13, 436908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner IIT_PTR = 14, 437908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner IIT_ARG = 15, 4380f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman 439908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner // Values from 16+ are only encodable with the inefficient encoding. 4404d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_MMX = 16, 4414d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_METADATA = 17, 4424d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_EMPTYSTRUCT = 18, 4434d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_STRUCT2 = 19, 4444d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_STRUCT3 = 20, 4454d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_STRUCT4 = 21, 4464d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_STRUCT5 = 22, 4474d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_EXTEND_VEC_ARG = 23, 4484d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_TRUNC_VEC_ARG = 24, 4494d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_ANYPTR = 25 450908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner}; 451908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner 452908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner 453908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattnerstatic void DecodeIITType(unsigned &NextElt, ArrayRef<unsigned char> Infos, 454908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner SmallVectorImpl<Intrinsic::IITDescriptor> &OutputTable) { 455626b108619ec72267ff7b89d325ccf808fee88b6Chris Lattner IIT_Info Info = IIT_Info(Infos[NextElt++]); 456d7cf5eb0219db7303875941ab62b3ef6e8fb0b31Chris Lattner unsigned StructElts = 2; 457908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner using namespace Intrinsic; 4580f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman 459626b108619ec72267ff7b89d325ccf808fee88b6Chris Lattner switch (Info) { 460908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IIT_Done: 461908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Void, 0)); 462908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 463908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IIT_MMX: 464908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::MMX, 0)); 465908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 466908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IIT_METADATA: 467908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Metadata, 0)); 468908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 4694d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman case IIT_F16: 4704d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman OutputTable.push_back(IITDescriptor::get(IITDescriptor::Half, 0)); 4714d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman return; 472908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IIT_F32: 473908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Float, 0)); 474908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 475908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IIT_F64: 476908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Double, 0)); 477908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 478908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IIT_I1: 479908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 1)); 480908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 481908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IIT_I8: 482908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 8)); 483908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 484908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IIT_I16: 485908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer,16)); 486908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 487908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IIT_I32: 488908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 32)); 489908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 490908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IIT_I64: 491908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 64)); 492908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 49346aaf69e37287a9696b6cc5c49d10d0937ff052bChris Lattner case IIT_V2: 494908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 2)); 495908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner DecodeIITType(NextElt, Infos, OutputTable); 496908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 49746aaf69e37287a9696b6cc5c49d10d0937ff052bChris Lattner case IIT_V4: 498908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 4)); 499908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner DecodeIITType(NextElt, Infos, OutputTable); 500908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 50146aaf69e37287a9696b6cc5c49d10d0937ff052bChris Lattner case IIT_V8: 502908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 8)); 503908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner DecodeIITType(NextElt, Infos, OutputTable); 504908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 50546aaf69e37287a9696b6cc5c49d10d0937ff052bChris Lattner case IIT_V16: 506908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 16)); 507908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner DecodeIITType(NextElt, Infos, OutputTable); 508908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 509d7cf5eb0219db7303875941ab62b3ef6e8fb0b31Chris Lattner case IIT_V32: 510908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 32)); 511908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner DecodeIITType(NextElt, Infos, OutputTable); 512908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 513a48289a672e20587e95bcdd84d5c71d28eb3d2b8Chris Lattner case IIT_PTR: 514908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Pointer, 0)); 515908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner DecodeIITType(NextElt, Infos, OutputTable); 516908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 517a48289a672e20587e95bcdd84d5c71d28eb3d2b8Chris Lattner case IIT_ANYPTR: { // [ANYPTR addrspace, subtype] 5180f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman OutputTable.push_back(IITDescriptor::get(IITDescriptor::Pointer, 519908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner Infos[NextElt++])); 520908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner DecodeIITType(NextElt, Infos, OutputTable); 521908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 522908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner } 523908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IIT_ARG: { 524908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); 525908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Argument, ArgInfo)); 526908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 527908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner } 528908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IIT_EXTEND_VEC_ARG: { 529908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); 530908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::ExtendVecArgument, 531908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner ArgInfo)); 532908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 533b428511989eea383b4fa65678c12b055d5c72af5Pete Cooper } 534d7cf5eb0219db7303875941ab62b3ef6e8fb0b31Chris Lattner case IIT_TRUNC_VEC_ARG: { 535908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); 536908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::TruncVecArgument, 537908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner ArgInfo)); 538908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 539d7cf5eb0219db7303875941ab62b3ef6e8fb0b31Chris Lattner } 540908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IIT_EMPTYSTRUCT: 541908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Struct, 0)); 542908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 543d7cf5eb0219db7303875941ab62b3ef6e8fb0b31Chris Lattner case IIT_STRUCT5: ++StructElts; // FALL THROUGH. 544d7cf5eb0219db7303875941ab62b3ef6e8fb0b31Chris Lattner case IIT_STRUCT4: ++StructElts; // FALL THROUGH. 545d7cf5eb0219db7303875941ab62b3ef6e8fb0b31Chris Lattner case IIT_STRUCT3: ++StructElts; // FALL THROUGH. 546d7cf5eb0219db7303875941ab62b3ef6e8fb0b31Chris Lattner case IIT_STRUCT2: { 547908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Struct,StructElts)); 548908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner 549d7cf5eb0219db7303875941ab62b3ef6e8fb0b31Chris Lattner for (unsigned i = 0; i != StructElts; ++i) 550908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner DecodeIITType(NextElt, Infos, OutputTable); 551908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 55246aaf69e37287a9696b6cc5c49d10d0937ff052bChris Lattner } 553a98aa6ad1e8e53600b2e322e2ab869e03d436849Chris Lattner } 554a98aa6ad1e8e53600b2e322e2ab869e03d436849Chris Lattner llvm_unreachable("unhandled"); 555a98aa6ad1e8e53600b2e322e2ab869e03d436849Chris Lattner} 556a98aa6ad1e8e53600b2e322e2ab869e03d436849Chris Lattner 557908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner 558908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner#define GET_INTRINSIC_GENERATOR_GLOBAL 559351ba145a7db32b457f118ecc4d873765ac2a16bChandler Carruth#include "llvm/IR/Intrinsics.gen" 560908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner#undef GET_INTRINSIC_GENERATOR_GLOBAL 561908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner 5620f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilsemanvoid Intrinsic::getIntrinsicInfoTableEntries(ID id, 563908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner SmallVectorImpl<IITDescriptor> &T){ 564a98aa6ad1e8e53600b2e322e2ab869e03d436849Chris Lattner // Check to see if the intrinsic's type was expressible by the table. 565a98aa6ad1e8e53600b2e322e2ab869e03d436849Chris Lattner unsigned TableVal = IIT_Table[id-1]; 5660f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman 567387c9dcddabe8551468647b249d3629953caab9eChris Lattner // Decode the TableVal into an array of IITValues. 568387c9dcddabe8551468647b249d3629953caab9eChris Lattner SmallVector<unsigned char, 8> IITValues; 569387c9dcddabe8551468647b249d3629953caab9eChris Lattner ArrayRef<unsigned char> IITEntries; 570387c9dcddabe8551468647b249d3629953caab9eChris Lattner unsigned NextElt = 0; 571387c9dcddabe8551468647b249d3629953caab9eChris Lattner if ((TableVal >> 31) != 0) { 572387c9dcddabe8551468647b249d3629953caab9eChris Lattner // This is an offset into the IIT_LongEncodingTable. 573387c9dcddabe8551468647b249d3629953caab9eChris Lattner IITEntries = IIT_LongEncodingTable; 5740f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman 575387c9dcddabe8551468647b249d3629953caab9eChris Lattner // Strip sentinel bit. 576387c9dcddabe8551468647b249d3629953caab9eChris Lattner NextElt = (TableVal << 1) >> 1; 577387c9dcddabe8551468647b249d3629953caab9eChris Lattner } else { 578908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner // Decode the TableVal into an array of IITValues. If the entry was encoded 579908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner // into a single word in the table itself, decode it now. 580626b108619ec72267ff7b89d325ccf808fee88b6Chris Lattner do { 581626b108619ec72267ff7b89d325ccf808fee88b6Chris Lattner IITValues.push_back(TableVal & 0xF); 582626b108619ec72267ff7b89d325ccf808fee88b6Chris Lattner TableVal >>= 4; 583626b108619ec72267ff7b89d325ccf808fee88b6Chris Lattner } while (TableVal); 5840f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman 585387c9dcddabe8551468647b249d3629953caab9eChris Lattner IITEntries = IITValues; 586387c9dcddabe8551468647b249d3629953caab9eChris Lattner NextElt = 0; 587a98aa6ad1e8e53600b2e322e2ab869e03d436849Chris Lattner } 588908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner 589908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner // Okay, decode the table into the output vector of IITDescriptors. 590908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner DecodeIITType(NextElt, IITEntries, T); 591908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner while (NextElt != IITEntries.size() && IITEntries[NextElt] != 0) 592908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner DecodeIITType(NextElt, IITEntries, T); 593908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner} 594908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner 595908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner 596908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattnerstatic Type *DecodeFixedType(ArrayRef<Intrinsic::IITDescriptor> &Infos, 597908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner ArrayRef<Type*> Tys, LLVMContext &Context) { 598908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner using namespace Intrinsic; 599908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner IITDescriptor D = Infos.front(); 600908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner Infos = Infos.slice(1); 6010f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman 602908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner switch (D.Kind) { 603908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IITDescriptor::Void: return Type::getVoidTy(Context); 604908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IITDescriptor::MMX: return Type::getX86_MMXTy(Context); 605908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IITDescriptor::Metadata: return Type::getMetadataTy(Context); 6064d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman case IITDescriptor::Half: return Type::getHalfTy(Context); 607908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IITDescriptor::Float: return Type::getFloatTy(Context); 608908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IITDescriptor::Double: return Type::getDoubleTy(Context); 6090f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman 610908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IITDescriptor::Integer: 611908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return IntegerType::get(Context, D.Integer_Width); 612908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IITDescriptor::Vector: 613908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return VectorType::get(DecodeFixedType(Infos, Tys, Context),D.Vector_Width); 614908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IITDescriptor::Pointer: 615908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return PointerType::get(DecodeFixedType(Infos, Tys, Context), 616908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner D.Pointer_AddressSpace); 617908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IITDescriptor::Struct: { 618908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner Type *Elts[5]; 619908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner assert(D.Struct_NumElements <= 5 && "Can't handle this yet"); 620908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner for (unsigned i = 0, e = D.Struct_NumElements; i != e; ++i) 621908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner Elts[i] = DecodeFixedType(Infos, Tys, Context); 622908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return StructType::get(Context, ArrayRef<Type*>(Elts,D.Struct_NumElements)); 623908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner } 624908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner 625908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IITDescriptor::Argument: 626908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return Tys[D.getArgumentNumber()]; 627908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IITDescriptor::ExtendVecArgument: 628908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return VectorType::getExtendedElementVectorType(cast<VectorType>( 629908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner Tys[D.getArgumentNumber()])); 6300f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman 631908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IITDescriptor::TruncVecArgument: 632908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return VectorType::getTruncatedElementVectorType(cast<VectorType>( 633908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner Tys[D.getArgumentNumber()])); 634908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner } 635908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner llvm_unreachable("unhandled"); 636908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner} 637908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner 638908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner 639908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner 640908a831a9a1fb043bc4758d6712d78255099ae51Chris LattnerFunctionType *Intrinsic::getType(LLVMContext &Context, 641908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner ID id, ArrayRef<Type*> Tys) { 642908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner SmallVector<IITDescriptor, 8> Table; 643908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner getIntrinsicInfoTableEntries(id, Table); 6440f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman 645908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner ArrayRef<IITDescriptor> TableRef = Table; 646908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner Type *ResultTy = DecodeFixedType(TableRef, Tys, Context); 6470f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman 648387c9dcddabe8551468647b249d3629953caab9eChris Lattner SmallVector<Type*, 8> ArgTys; 649908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner while (!TableRef.empty()) 650908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner ArgTys.push_back(DecodeFixedType(TableRef, Tys, Context)); 65195af592a631f403e1458ec1155f89fc31011572cJim Laskey 6520f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman return FunctionType::get(ResultTy, ArgTys, false); 65395af592a631f403e1458ec1155f89fc31011572cJim Laskey} 65495af592a631f403e1458ec1155f89fc31011572cJim Laskey 6550d52ff1f7b993750a74a5d4432273092de9af069Mon P Wangbool Intrinsic::isOverloaded(ID id) { 6560d52ff1f7b993750a74a5d4432273092de9af069Mon P Wang#define GET_INTRINSIC_OVERLOAD_TABLE 657351ba145a7db32b457f118ecc4d873765ac2a16bChandler Carruth#include "llvm/IR/Intrinsics.gen" 6580d52ff1f7b993750a74a5d4432273092de9af069Mon P Wang#undef GET_INTRINSIC_OVERLOAD_TABLE 6590d52ff1f7b993750a74a5d4432273092de9af069Mon P Wang} 6600d52ff1f7b993750a74a5d4432273092de9af069Mon P Wang 661048ffb239c282277959463c61200b86e2380cb84Chris Lattner/// This defines the "Intrinsic::getAttributes(ID id)" method. 662a3355ffb3d30d19d226bbb75707991c60f236e37Duncan Sands#define GET_INTRINSIC_ATTRIBUTES 663351ba145a7db32b457f118ecc4d873765ac2a16bChandler Carruth#include "llvm/IR/Intrinsics.gen" 664a3355ffb3d30d19d226bbb75707991c60f236e37Duncan Sands#undef GET_INTRINSIC_ATTRIBUTES 665a3355ffb3d30d19d226bbb75707991c60f236e37Duncan Sands 666eb9a85f09e18b3fe88499710404b38d3a9128f62Benjamin KramerFunction *Intrinsic::getDeclaration(Module *M, ID id, ArrayRef<Type*> Tys) { 667a3355ffb3d30d19d226bbb75707991c60f236e37Duncan Sands // There can never be multiple globals with the same name of different types, 668a3355ffb3d30d19d226bbb75707991c60f236e37Duncan Sands // because intrinsics must be a specific type. 66979ab3e801480e6412c064a3fb15a79a8cab13efcDuncan Sands return 670eb9a85f09e18b3fe88499710404b38d3a9128f62Benjamin Kramer cast<Function>(M->getOrInsertFunction(getName(id, Tys), 671eb9a85f09e18b3fe88499710404b38d3a9128f62Benjamin Kramer getType(M->getContext(), id, Tys))); 67295af592a631f403e1458ec1155f89fc31011572cJim Laskey} 67395af592a631f403e1458ec1155f89fc31011572cJim Laskey 67449de98214b82fefeb8f16efbf8cdd8813a85469bDale Johannesen// This defines the "Intrinsic::getIntrinsicForGCCBuiltin()" method. 67549de98214b82fefeb8f16efbf8cdd8813a85469bDale Johannesen#define GET_LLVM_INTRINSIC_FOR_GCC_BUILTIN 676351ba145a7db32b457f118ecc4d873765ac2a16bChandler Carruth#include "llvm/IR/Intrinsics.gen" 67749de98214b82fefeb8f16efbf8cdd8813a85469bDale Johannesen#undef GET_LLVM_INTRINSIC_FOR_GCC_BUILTIN 67849de98214b82fefeb8f16efbf8cdd8813a85469bDale Johannesen 6790054c7a867f85f52fdcc11279d696160de92c9f8Gabor Greif/// hasAddressTaken - returns true if there are any uses of this function 6800054c7a867f85f52fdcc11279d696160de92c9f8Gabor Greif/// other than direct calls or invokes to it. 681c9f7500d1752feac7cece26d20007a99d21f677cGabor Greifbool Function::hasAddressTaken(const User* *PutOffender) const { 68260ad781c61815ca5b8dc2a45a102e1c8af65992fGabor Greif for (Value::const_use_iterator I = use_begin(), E = use_end(); I != E; ++I) { 683c9f7500d1752feac7cece26d20007a99d21f677cGabor Greif const User *U = *I; 684b7454fd9df0b477e3daf2fce6e1d5e1b241562dfJay Foad if (isa<BlockAddress>(U)) 685b7454fd9df0b477e3daf2fce6e1d5e1b241562dfJay Foad continue; 686c9f7500d1752feac7cece26d20007a99d21f677cGabor Greif if (!isa<CallInst>(U) && !isa<InvokeInst>(U)) 687c9f7500d1752feac7cece26d20007a99d21f677cGabor Greif return PutOffender ? (*PutOffender = U, true) : true; 688c8b82ccbcf3b2e2384d2c0b5176e7b0b40b7f82fGabor Greif ImmutableCallSite CS(cast<Instruction>(U)); 689c9f7500d1752feac7cece26d20007a99d21f677cGabor Greif if (!CS.isCallee(I)) 690c9f7500d1752feac7cece26d20007a99d21f677cGabor Greif return PutOffender ? (*PutOffender = U, true) : true; 691757068f3bad425fb126fe16ab7b8a82a636e6bbdJay Foad } 692757068f3bad425fb126fe16ab7b8a82a636e6bbdJay Foad return false; 693757068f3bad425fb126fe16ab7b8a82a636e6bbdJay Foad} 694757068f3bad425fb126fe16ab7b8a82a636e6bbdJay Foad 695c66330504c3f433430a28cd7f7f981e555c51bceEli Friedmanbool Function::isDefTriviallyDead() const { 696c66330504c3f433430a28cd7f7f981e555c51bceEli Friedman // Check the linkage 697c66330504c3f433430a28cd7f7f981e555c51bceEli Friedman if (!hasLinkOnceLinkage() && !hasLocalLinkage() && 698c66330504c3f433430a28cd7f7f981e555c51bceEli Friedman !hasAvailableExternallyLinkage()) 699c66330504c3f433430a28cd7f7f981e555c51bceEli Friedman return false; 700c66330504c3f433430a28cd7f7f981e555c51bceEli Friedman 701c66330504c3f433430a28cd7f7f981e555c51bceEli Friedman // Check if the function is used by anything other than a blockaddress. 702c66330504c3f433430a28cd7f7f981e555c51bceEli Friedman for (Value::const_use_iterator I = use_begin(), E = use_end(); I != E; ++I) 703c66330504c3f433430a28cd7f7f981e555c51bceEli Friedman if (!isa<BlockAddress>(*I)) 704c66330504c3f433430a28cd7f7f981e555c51bceEli Friedman return false; 705c66330504c3f433430a28cd7f7f981e555c51bceEli Friedman 706c66330504c3f433430a28cd7f7f981e555c51bceEli Friedman return true; 707c66330504c3f433430a28cd7f7f981e555c51bceEli Friedman} 708c66330504c3f433430a28cd7f7f981e555c51bceEli Friedman 7093c5e60994f53eef2808a33b5ca6c3dffc2168054Bill Wendling/// callsFunctionThatReturnsTwice - Return true if the function has a call to 7103c5e60994f53eef2808a33b5ca6c3dffc2168054Bill Wendling/// setjmp or other function that gcc recognizes as "returning twice". 7113c5e60994f53eef2808a33b5ca6c3dffc2168054Bill Wendlingbool Function::callsFunctionThatReturnsTwice() const { 7123c5e60994f53eef2808a33b5ca6c3dffc2168054Bill Wendling for (const_inst_iterator 7133c5e60994f53eef2808a33b5ca6c3dffc2168054Bill Wendling I = inst_begin(this), E = inst_end(this); I != E; ++I) { 7143c5e60994f53eef2808a33b5ca6c3dffc2168054Bill Wendling const CallInst* callInst = dyn_cast<CallInst>(&*I); 7153c5e60994f53eef2808a33b5ca6c3dffc2168054Bill Wendling if (!callInst) 7163c5e60994f53eef2808a33b5ca6c3dffc2168054Bill Wendling continue; 7173c5e60994f53eef2808a33b5ca6c3dffc2168054Bill Wendling if (callInst->canReturnTwice()) 7183c5e60994f53eef2808a33b5ca6c3dffc2168054Bill Wendling return true; 7193c5e60994f53eef2808a33b5ca6c3dffc2168054Bill Wendling } 7203c5e60994f53eef2808a33b5ca6c3dffc2168054Bill Wendling 7213c5e60994f53eef2808a33b5ca6c3dffc2168054Bill Wendling return false; 7223c5e60994f53eef2808a33b5ca6c3dffc2168054Bill Wendling} 723