Function.cpp revision 70d2ca0725b05a2d372e4dc3336e8ea350093e98
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" 15d04a8d4b33ff316ca4cf961e06c9e312eff8e64fChandler Carruth#include "SymbolTableListTraitsImpl.h" 16d04a8d4b33ff316ca4cf961e06c9e312eff8e64fChandler Carruth#include "llvm/ADT/DenseMap.h" 17d04a8d4b33ff316ca4cf961e06c9e312eff8e64fChandler Carruth#include "llvm/ADT/STLExtras.h" 18d04a8d4b33ff316ca4cf961e06c9e312eff8e64fChandler Carruth#include "llvm/ADT/StringExtras.h" 19d04a8d4b33ff316ca4cf961e06c9e312eff8e64fChandler Carruth#include "llvm/CodeGen/ValueTypes.h" 200b8c9a80f20772c3793201ab5b251d3520b9cea3Chandler Carruth#include "llvm/IR/DerivedTypes.h" 210b8c9a80f20772c3793201ab5b251d3520b9cea3Chandler Carruth#include "llvm/IR/IntrinsicInst.h" 220b8c9a80f20772c3793201ab5b251d3520b9cea3Chandler Carruth#include "llvm/IR/LLVMContext.h" 230b8c9a80f20772c3793201ab5b251d3520b9cea3Chandler Carruth#include "llvm/IR/Module.h" 24c9f7500d1752feac7cece26d20007a99d21f677cGabor Greif#include "llvm/Support/CallSite.h" 2511f1a8335e207971f66eb60609e16b8719be5450Rafael Espindola#include "llvm/Support/InstIterator.h" 26551ccae044b0ff658fe629dd67edd5ffe75d10e8Reid Spencer#include "llvm/Support/LeakDetector.h" 27b983d67465a939c43173e381f9063d9d9245f45bOwen Anderson#include "llvm/Support/ManagedStatic.h" 281f6efa3996dd1929fbc129203ce5009b620e6969Michael J. Spencer#include "llvm/Support/RWMutex.h" 29d04a8d4b33ff316ca4cf961e06c9e312eff8e64fChandler Carruth#include "llvm/Support/StringPool.h" 301f6efa3996dd1929fbc129203ce5009b620e6969Michael J. Spencer#include "llvm/Support/Threading.h" 3131f8499e83dc4dccbb57ea7e76d1fd49b7010d0cChris Lattnerusing namespace llvm; 32d0fde30ce850b78371fd1386338350591f9ff494Brian Gaeke 337e70829632f82de15db187845666aaca6e04b792Chris Lattner// Explicit instantiations of SymbolTableListTraits since some of the methods 347e70829632f82de15db187845666aaca6e04b792Chris Lattner// are not in the public header file... 35c63ca0a71b299ee0b8fc7dc8405d7f3c856ecfa3John McCalltemplate class llvm::SymbolTableListTraits<Argument, Function>; 36c63ca0a71b299ee0b8fc7dc8405d7f3c856ecfa3John McCalltemplate class llvm::SymbolTableListTraits<BasicBlock, Function>; 37009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 3870cc3397f84c2e1fd69c059a0ef89e398e847b00Chris Lattner//===----------------------------------------------------------------------===// 3980dd50b4aaee0ae609d21f8dded9c3af1e801b9eChris Lattner// Argument Implementation 4080dd50b4aaee0ae609d21f8dded9c3af1e801b9eChris Lattner//===----------------------------------------------------------------------===// 4180dd50b4aaee0ae609d21f8dded9c3af1e801b9eChris Lattner 422d24e2a396a1d211baaeedf32148a3b657240170David Blaikievoid Argument::anchor() { } 432d24e2a396a1d211baaeedf32148a3b657240170David Blaikie 44db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris LattnerArgument::Argument(Type *Ty, const Twine &Name, Function *Par) 45dec628eead87b20773c98a00830580df211acc98Chris Lattner : Value(Ty, Value::ArgumentVal) { 46bded132d00ed626a6541b67ad101ef0fd47d3491Chris Lattner Parent = 0; 47d1e693f2a3883dacf213aa2b477540c57b53b714Chris Lattner 48d1e693f2a3883dacf213aa2b477540c57b53b714Chris Lattner // Make sure that we get added to a function 49d1e693f2a3883dacf213aa2b477540c57b53b714Chris Lattner LeakDetector::addGarbageObject(this); 50d1e693f2a3883dacf213aa2b477540c57b53b714Chris Lattner 51bded132d00ed626a6541b67ad101ef0fd47d3491Chris Lattner if (Par) 52bded132d00ed626a6541b67ad101ef0fd47d3491Chris Lattner Par->getArgumentList().push_back(this); 53dec628eead87b20773c98a00830580df211acc98Chris Lattner setName(Name); 54bded132d00ed626a6541b67ad101ef0fd47d3491Chris Lattner} 55bded132d00ed626a6541b67ad101ef0fd47d3491Chris Lattner 56bded132d00ed626a6541b67ad101ef0fd47d3491Chris Lattnervoid Argument::setParent(Function *parent) { 57d1e693f2a3883dacf213aa2b477540c57b53b714Chris Lattner if (getParent()) 58d1e693f2a3883dacf213aa2b477540c57b53b714Chris Lattner LeakDetector::addGarbageObject(this); 59bded132d00ed626a6541b67ad101ef0fd47d3491Chris Lattner Parent = parent; 60d1e693f2a3883dacf213aa2b477540c57b53b714Chris Lattner if (getParent()) 61d1e693f2a3883dacf213aa2b477540c57b53b714Chris Lattner LeakDetector::removeGarbageObject(this); 62bded132d00ed626a6541b67ad101ef0fd47d3491Chris Lattner} 63bded132d00ed626a6541b67ad101ef0fd47d3491Chris Lattner 64de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner/// getArgNo - Return the index of this formal argument in its containing 650f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman/// function. For example in "void foo(int a, float b)" a is 0 and b is 1. 66de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattnerunsigned Argument::getArgNo() const { 67de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner const Function *F = getParent(); 68de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner assert(F && "Argument is not in a function"); 690f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman 70de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner Function::const_arg_iterator AI = F->arg_begin(); 71de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner unsigned ArgIdx = 0; 72de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner for (; &*AI != this; ++AI) 73de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner ++ArgIdx; 74de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner 75de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner return ArgIdx; 76de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner} 77de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner 78de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner/// hasByValAttr - Return true if this argument has the byval attribute on it 79de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner/// in its containing function. 80de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattnerbool Argument::hasByValAttr() const { 811df9859c40492511b8aa4321eb76496005d3b75bDuncan Sands if (!getType()->isPointerTy()) return false; 8239cd0c8e477255a7296b2bd1dc67193f8d38c003Bill Wendling return getParent()->getAttributes(). 8339cd0c8e477255a7296b2bd1dc67193f8d38c003Bill Wendling hasAttribute(getArgNo()+1, Attribute::ByVal); 84de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner} 85de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner 86ae441cc33cee83a598f74e3d0447fe02157b0389Chris Lattnerunsigned Argument::getParamAlignment() const { 87ae441cc33cee83a598f74e3d0447fe02157b0389Chris Lattner assert(getType()->isPointerTy() && "Only pointers have alignments"); 88ae441cc33cee83a598f74e3d0447fe02157b0389Chris Lattner return getParent()->getParamAlignment(getArgNo()+1); 890f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman 90ae441cc33cee83a598f74e3d0447fe02157b0389Chris Lattner} 91ae441cc33cee83a598f74e3d0447fe02157b0389Chris Lattner 92be1ce0a867a7e62094fc9a158c15bb9e48cb80faDuncan Sands/// hasNestAttr - Return true if this argument has the nest attribute on 93be1ce0a867a7e62094fc9a158c15bb9e48cb80faDuncan Sands/// it in its containing function. 94be1ce0a867a7e62094fc9a158c15bb9e48cb80faDuncan Sandsbool Argument::hasNestAttr() const { 951df9859c40492511b8aa4321eb76496005d3b75bDuncan Sands if (!getType()->isPointerTy()) return false; 9639cd0c8e477255a7296b2bd1dc67193f8d38c003Bill Wendling return getParent()->getAttributes(). 9739cd0c8e477255a7296b2bd1dc67193f8d38c003Bill Wendling hasAttribute(getArgNo()+1, Attribute::Nest); 98be1ce0a867a7e62094fc9a158c15bb9e48cb80faDuncan Sands} 99be1ce0a867a7e62094fc9a158c15bb9e48cb80faDuncan Sands 100de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner/// hasNoAliasAttr - Return true if this argument has the noalias attribute on 101de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner/// it in its containing function. 102de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattnerbool Argument::hasNoAliasAttr() const { 1031df9859c40492511b8aa4321eb76496005d3b75bDuncan Sands if (!getType()->isPointerTy()) return false; 10439cd0c8e477255a7296b2bd1dc67193f8d38c003Bill Wendling return getParent()->getAttributes(). 10539cd0c8e477255a7296b2bd1dc67193f8d38c003Bill Wendling hasAttribute(getArgNo()+1, Attribute::NoAlias); 106de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner} 107de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner 10817da06ffbd1f7269b6b9037f883a3d8a5c985f62Duncan Sands/// hasNoCaptureAttr - Return true if this argument has the nocapture attribute 10917da06ffbd1f7269b6b9037f883a3d8a5c985f62Duncan Sands/// on it in its containing function. 11017da06ffbd1f7269b6b9037f883a3d8a5c985f62Duncan Sandsbool Argument::hasNoCaptureAttr() const { 1111df9859c40492511b8aa4321eb76496005d3b75bDuncan Sands if (!getType()->isPointerTy()) return false; 11239cd0c8e477255a7296b2bd1dc67193f8d38c003Bill Wendling return getParent()->getAttributes(). 11339cd0c8e477255a7296b2bd1dc67193f8d38c003Bill Wendling hasAttribute(getArgNo()+1, Attribute::NoCapture); 11417da06ffbd1f7269b6b9037f883a3d8a5c985f62Duncan Sands} 11517da06ffbd1f7269b6b9037f883a3d8a5c985f62Duncan Sands 1167d54254c9cc6e5a3be3a7d9d22241c0ae8a7fa03Owen Anderson/// hasSRetAttr - Return true if this argument has the sret attribute on 1177d54254c9cc6e5a3be3a7d9d22241c0ae8a7fa03Owen Anderson/// it in its containing function. 1187d54254c9cc6e5a3be3a7d9d22241c0ae8a7fa03Owen Andersonbool Argument::hasStructRetAttr() const { 1191df9859c40492511b8aa4321eb76496005d3b75bDuncan Sands if (!getType()->isPointerTy()) return false; 120b1dbcd886a4b5597a839f299054b78b33fb2d6dfGabor Greif if (this != getParent()->arg_begin()) 121b1dbcd886a4b5597a839f299054b78b33fb2d6dfGabor Greif return false; // StructRet param must be first param 12239cd0c8e477255a7296b2bd1dc67193f8d38c003Bill Wendling return getParent()->getAttributes(). 12339cd0c8e477255a7296b2bd1dc67193f8d38c003Bill Wendling hasAttribute(1, Attribute::StructRet); 1247d54254c9cc6e5a3be3a7d9d22241c0ae8a7fa03Owen Anderson} 1257d54254c9cc6e5a3be3a7d9d22241c0ae8a7fa03Owen Anderson 1260598866c052147c31b808391f58434ce3dbfb838Devang Patel/// addAttr - Add a Attribute to an argument 127034b94b17006f51722886b0f2283fb6fb19aca1fBill Wendlingvoid Argument::addAttr(Attribute attr) { 12870d2ca0725b05a2d372e4dc3336e8ea350093e98Bill Wendling AttrBuilder B(attr); 12970d2ca0725b05a2d372e4dc3336e8ea350093e98Bill Wendling getParent()->addAttributes(getArgNo() + 1, 13070d2ca0725b05a2d372e4dc3336e8ea350093e98Bill Wendling AttributeSet::get(getParent()->getContext(), 13170d2ca0725b05a2d372e4dc3336e8ea350093e98Bill Wendling getArgNo() + 1, B)); 132e2435da8abe5ca62c7f08f29c242b6b98e0ec7afGordon Henriksen} 133cfa3c236b23aff80e48df11ef5833b7e63fab802Duncan Sands 1340598866c052147c31b808391f58434ce3dbfb838Devang Patel/// removeAttr - Remove a Attribute from an argument 135034b94b17006f51722886b0f2283fb6fb19aca1fBill Wendlingvoid Argument::removeAttr(Attribute attr) { 1360598866c052147c31b808391f58434ce3dbfb838Devang Patel getParent()->removeAttribute(getArgNo() + 1, attr); 137e2435da8abe5ca62c7f08f29c242b6b98e0ec7afGordon Henriksen} 138de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner 139de6fa5f25f572b79b3dd7bbbe4dba78a54a4b2f8Chris Lattner 14080dd50b4aaee0ae609d21f8dded9c3af1e801b9eChris Lattner//===----------------------------------------------------------------------===// 14150ee9ddc8f0633af6cb0a5693a2c706e98f944daChris Lattner// Helper Methods in Function 1424746ecf16eeb5ff920672fdff1c0dd85594437edReid Spencer//===----------------------------------------------------------------------===// 1434746ecf16eeb5ff920672fdff1c0dd85594437edReid Spencer 144e922c0201916e0b980ab3cfe91e1413e68d55647Owen AndersonLLVMContext &Function::getContext() const { 145e922c0201916e0b980ab3cfe91e1413e68d55647Owen Anderson return getType()->getContext(); 14662fabf5faba70c507c8fbe298260e9b3749fdd79Owen Anderson} 14762fabf5faba70c507c8fbe298260e9b3749fdd79Owen Anderson 1481afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris LattnerFunctionType *Function::getFunctionType() const { 14950ee9ddc8f0633af6cb0a5693a2c706e98f944daChris Lattner return cast<FunctionType>(getType()->getElementType()); 1504746ecf16eeb5ff920672fdff1c0dd85594437edReid Spencer} 1514746ecf16eeb5ff920672fdff1c0dd85594437edReid Spencer 15250ee9ddc8f0633af6cb0a5693a2c706e98f944daChris Lattnerbool Function::isVarArg() const { 15350ee9ddc8f0633af6cb0a5693a2c706e98f944daChris Lattner return getFunctionType()->isVarArg(); 1544746ecf16eeb5ff920672fdff1c0dd85594437edReid Spencer} 1554746ecf16eeb5ff920672fdff1c0dd85594437edReid Spencer 1561afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris LattnerType *Function::getReturnType() const { 15750ee9ddc8f0633af6cb0a5693a2c706e98f944daChris Lattner return getFunctionType()->getReturnType(); 158827cde1c8319e51463007078a7ce3660ebc93036Duncan Sands} 159827cde1c8319e51463007078a7ce3660ebc93036Duncan Sands 16050ee9ddc8f0633af6cb0a5693a2c706e98f944daChris Lattnervoid Function::removeFromParent() { 16150ee9ddc8f0633af6cb0a5693a2c706e98f944daChris Lattner getParent()->getFunctionList().remove(this); 162827cde1c8319e51463007078a7ce3660ebc93036Duncan Sands} 163827cde1c8319e51463007078a7ce3660ebc93036Duncan Sands 16450ee9ddc8f0633af6cb0a5693a2c706e98f944daChris Lattnervoid Function::eraseFromParent() { 16550ee9ddc8f0633af6cb0a5693a2c706e98f944daChris Lattner getParent()->getFunctionList().erase(this); 1664746ecf16eeb5ff920672fdff1c0dd85594437edReid Spencer} 1674746ecf16eeb5ff920672fdff1c0dd85594437edReid Spencer 1684746ecf16eeb5ff920672fdff1c0dd85594437edReid Spencer//===----------------------------------------------------------------------===// 16979df7c0aaa18129e55968c8783ef8346807bd4afChris Lattner// Function Implementation 17070cc3397f84c2e1fd69c059a0ef89e398e847b00Chris Lattner//===----------------------------------------------------------------------===// 17170cc3397f84c2e1fd69c059a0ef89e398e847b00Chris Lattner 172db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris LattnerFunction::Function(FunctionType *Ty, LinkageTypes Linkage, 1736e0d1cb30957a636c53158d3089e6fb88348a57aDaniel Dunbar const Twine &name, Module *ParentModule) 1740f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman : GlobalValue(PointerType::getUnqual(Ty), 17558d74910c6b82e622ecbb57d6644d48fec5a5c0fChris Lattner Value::FunctionVal, 0, 0, Linkage, name) { 176c8e222b9a48a84e98a5fc4ccd6b015197b09bed4Chris Lattner assert(FunctionType::isValidReturnType(getReturnType()) && 1771afcace3a3a138b1b18e5c6270caa8dae2261ae2Chris Lattner "invalid return type"); 178ef9b9a793949469cdaa4ab6d0173136229dcab7bReid Spencer SymTab = new ValueSymbolTable(); 179482701563a2ff76815d2cd19856469319e7c2d88Chris Lattner 1800162c1815e5a1b33750d313c49f707bc446ea946Chris Lattner // If the function has arguments, mark them as lazily built. 1810162c1815e5a1b33750d313c49f707bc446ea946Chris Lattner if (Ty->getNumParams()) 182cafe9bba32aeed16e8e3db28b4cd4ff13160438fChris Lattner setValueSubclassData(1); // Set the "has lazy arguments" bit. 1830f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman 184d1e693f2a3883dacf213aa2b477540c57b53b714Chris Lattner // Make sure that we get added to a function 185d1e693f2a3883dacf213aa2b477540c57b53b714Chris Lattner LeakDetector::addGarbageObject(this); 186d1e693f2a3883dacf213aa2b477540c57b53b714Chris Lattner 187482701563a2ff76815d2cd19856469319e7c2d88Chris Lattner if (ParentModule) 188482701563a2ff76815d2cd19856469319e7c2d88Chris Lattner ParentModule->getFunctionList().push_back(this); 18979ab3e801480e6412c064a3fb15a79a8cab13efcDuncan Sands 19079ab3e801480e6412c064a3fb15a79a8cab13efcDuncan Sands // Ensure intrinsics have the right parameter attributes. 19149de98214b82fefeb8f16efbf8cdd8813a85469bDale Johannesen if (unsigned IID = getIntrinsicID()) 192cb3de0bc800d7920087b19bb12a545d4cc84114eBill Wendling setAttributes(Intrinsic::getAttributes(getContext(), Intrinsic::ID(IID))); 19381b2ab8a249c3652133a1dcc0209343cde9b499fDevang Patel 194009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 195009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 196afba8fe662d65b25b4baf46bb26cc18e1f9cc0a5Gordon HenriksenFunction::~Function() { 197afba8fe662d65b25b4baf46bb26cc18e1f9cc0a5Gordon Henriksen dropAllReferences(); // After this it is safe to delete instructions. 198009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 199009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner // Delete all of the method arguments and unlink from symbol table... 200afba8fe662d65b25b4baf46bb26cc18e1f9cc0a5Gordon Henriksen ArgumentList.clear(); 201afba8fe662d65b25b4baf46bb26cc18e1f9cc0a5Gordon Henriksen delete SymTab; 202b90909e40536db17665727f5ca1c618e485464c3Reid Spencer 2035eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen // Remove the function from the on-the-side GC table. 2045eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen clearGC(); 205009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 206009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 2070162c1815e5a1b33750d313c49f707bc446ea946Chris Lattnervoid Function::BuildLazyArguments() const { 2080162c1815e5a1b33750d313c49f707bc446ea946Chris Lattner // Create the arguments vector, all arguments start out unnamed. 209db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner FunctionType *FT = getFunctionType(); 2100162c1815e5a1b33750d313c49f707bc446ea946Chris Lattner for (unsigned i = 0, e = FT->getNumParams(); i != e; ++i) { 211f012705c7e4ca8cf90b6b734ce1d5355daca5ba5Benjamin Kramer assert(!FT->getParamType(i)->isVoidTy() && 2120162c1815e5a1b33750d313c49f707bc446ea946Chris Lattner "Cannot have void typed arguments!"); 2130162c1815e5a1b33750d313c49f707bc446ea946Chris Lattner ArgumentList.push_back(new Argument(FT->getParamType(i))); 2140162c1815e5a1b33750d313c49f707bc446ea946Chris Lattner } 2150f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman 2160162c1815e5a1b33750d313c49f707bc446ea946Chris Lattner // Clear the lazy arguments bit. 217cafe9bba32aeed16e8e3db28b4cd4ff13160438fChris Lattner unsigned SDC = getSubclassDataFromValue(); 218cafe9bba32aeed16e8e3db28b4cd4ff13160438fChris Lattner const_cast<Function*>(this)->setValueSubclassData(SDC &= ~1); 2190162c1815e5a1b33750d313c49f707bc446ea946Chris Lattner} 2200162c1815e5a1b33750d313c49f707bc446ea946Chris Lattner 2210162c1815e5a1b33750d313c49f707bc446ea946Chris Lattnersize_t Function::arg_size() const { 2220162c1815e5a1b33750d313c49f707bc446ea946Chris Lattner return getFunctionType()->getNumParams(); 2230162c1815e5a1b33750d313c49f707bc446ea946Chris Lattner} 2240162c1815e5a1b33750d313c49f707bc446ea946Chris Lattnerbool Function::arg_empty() const { 2250162c1815e5a1b33750d313c49f707bc446ea946Chris Lattner return getFunctionType()->getNumParams() == 0; 2260162c1815e5a1b33750d313c49f707bc446ea946Chris Lattner} 2270162c1815e5a1b33750d313c49f707bc446ea946Chris Lattner 228e7506a366e8bd56c97d10beb68e4db953aebaecaChris Lattnervoid Function::setParent(Module *parent) { 229d1e693f2a3883dacf213aa2b477540c57b53b714Chris Lattner if (getParent()) 230d1e693f2a3883dacf213aa2b477540c57b53b714Chris Lattner LeakDetector::addGarbageObject(this); 231009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner Parent = parent; 232d1e693f2a3883dacf213aa2b477540c57b53b714Chris Lattner if (getParent()) 233d1e693f2a3883dacf213aa2b477540c57b53b714Chris Lattner LeakDetector::removeGarbageObject(this); 234009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 235009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner 236009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner// dropAllReferences() - This function causes all the subinstructions to "let 237009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner// go" of all references that they are maintaining. This allows one to 238009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner// 'delete' a whole class at a time, even though there may be circular 239009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner// references... first all references are dropped, and all use counts go to 2406b63452c3ad26678b32f93dbca55902a313ee4e9Misha Brukman// zero. Then everything is deleted for real. Note that no operations are 241fd93908ae8b9684fe71c239e3c6cfe13ff6a2663Misha Brukman// valid on an object that has "dropped all references", except operator 242009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner// delete. 243009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner// 244e7506a366e8bd56c97d10beb68e4db953aebaecaChris Lattnervoid Function::dropAllReferences() { 2457e70829632f82de15db187845666aaca6e04b792Chris Lattner for (iterator I = begin(), E = end(); I != E; ++I) 2467e70829632f82de15db187845666aaca6e04b792Chris Lattner I->dropAllReferences(); 2470f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman 248a6399ae08967109b1427b34b5bde775a38bb4d75Dan Gohman // Delete all basic blocks. They are now unused, except possibly by 249a6399ae08967109b1427b34b5bde775a38bb4d75Dan Gohman // blockaddresses, but BasicBlock's destructor takes care of those. 250a6399ae08967109b1427b34b5bde775a38bb4d75Dan Gohman while (!BasicBlocks.empty()) 251a6399ae08967109b1427b34b5bde775a38bb4d75Dan Gohman BasicBlocks.begin()->eraseFromParent(); 252009505452b713ed2e3a8e99c5545a6e721c65495Chris Lattner} 25370cc3397f84c2e1fd69c059a0ef89e398e847b00Chris Lattner 25470d2ca0725b05a2d372e4dc3336e8ea350093e98Bill Wendlingvoid Function::addAttribute(unsigned i, Attribute::AttrKind attr) { 25599faa3b4ec6d03ac7808fe4ff3fbf3d04e375502Bill Wendling AttributeSet PAL = getAttributes(); 25670d2ca0725b05a2d372e4dc3336e8ea350093e98Bill Wendling PAL = PAL.addAttribute(getContext(), i, attr); 25770d2ca0725b05a2d372e4dc3336e8ea350093e98Bill Wendling setAttributes(PAL); 25870d2ca0725b05a2d372e4dc3336e8ea350093e98Bill Wendling} 25970d2ca0725b05a2d372e4dc3336e8ea350093e98Bill Wendling 26070d2ca0725b05a2d372e4dc3336e8ea350093e98Bill Wendlingvoid Function::addAttributes(unsigned i, AttributeSet attrs) { 26170d2ca0725b05a2d372e4dc3336e8ea350093e98Bill Wendling AttributeSet PAL = getAttributes(); 26270d2ca0725b05a2d372e4dc3336e8ea350093e98Bill Wendling PAL = PAL.addAttributes(getContext(), i, attrs); 2630598866c052147c31b808391f58434ce3dbfb838Devang Patel setAttributes(PAL); 26492432a8db1266f7932bce13a7e6354b0993838d3Duncan Sands} 26592432a8db1266f7932bce13a7e6354b0993838d3Duncan Sands 26670d2ca0725b05a2d372e4dc3336e8ea350093e98Bill Wendlingvoid Function::removeAttribute(unsigned i, Attribute attrs) { 26799faa3b4ec6d03ac7808fe4ff3fbf3d04e375502Bill Wendling AttributeSet PAL = getAttributes(); 26870d2ca0725b05a2d372e4dc3336e8ea350093e98Bill Wendling PAL = PAL.removeAttr(getContext(), i, attrs); 2690598866c052147c31b808391f58434ce3dbfb838Devang Patel setAttributes(PAL); 2700bf7b414ae0bb6699cadc3a210d18cfec44e9354Eric Christopher} 2710bf7b414ae0bb6699cadc3a210d18cfec44e9354Eric Christopher 2725eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen// Maintain the GC name for each function in an on-the-side table. This saves 2735eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen// allocating an additional word in Function for programs which do not use GC 2745eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen// (i.e., most programs) at the cost of increased overhead for clients which do 2755eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen// use GC. 276bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Andersonstatic DenseMap<const Function*,PooledStringPtr> *GCNames; 277bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Andersonstatic StringPool *GCNamePool; 278b2c0fe4d93ba75b8343de60984b0ce3548cd22c9Owen Andersonstatic ManagedStatic<sys::SmartRWMutex<true> > GCLock; 27980a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen 2805eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksenbool Function::hasGC() const { 281a9d1f2c559ef4b2549e29288fe6944e68913ba0fOwen Anderson sys::SmartScopedReader<true> Reader(*GCLock); 282b2c0fe4d93ba75b8343de60984b0ce3548cd22c9Owen Anderson return GCNames && GCNames->count(this); 28380a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen} 28480a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen 2855eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksenconst char *Function::getGC() const { 2865eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen assert(hasGC() && "Function has no collector"); 287a9d1f2c559ef4b2549e29288fe6944e68913ba0fOwen Anderson sys::SmartScopedReader<true> Reader(*GCLock); 288b2c0fe4d93ba75b8343de60984b0ce3548cd22c9Owen Anderson return *(*GCNames)[this]; 28980a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen} 29080a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen 2915eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksenvoid Function::setGC(const char *Str) { 292a9d1f2c559ef4b2549e29288fe6944e68913ba0fOwen Anderson sys::SmartScopedWriter<true> Writer(*GCLock); 293bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Anderson if (!GCNamePool) 294bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Anderson GCNamePool = new StringPool(); 295bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Anderson if (!GCNames) 296bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Anderson GCNames = new DenseMap<const Function*,PooledStringPtr>(); 297bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Anderson (*GCNames)[this] = GCNamePool->intern(Str); 29880a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen} 29980a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen 3005eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksenvoid Function::clearGC() { 301a9d1f2c559ef4b2549e29288fe6944e68913ba0fOwen Anderson sys::SmartScopedWriter<true> Writer(*GCLock); 302bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Anderson if (GCNames) { 3035eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen GCNames->erase(this); 304bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Anderson if (GCNames->empty()) { 305bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Anderson delete GCNames; 306bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Anderson GCNames = 0; 307bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Anderson if (GCNamePool->empty()) { 308bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Anderson delete GCNamePool; 309bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Anderson GCNamePool = 0; 310bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Anderson } 311bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Anderson } 312bf5ec1b9db6f1f18b633908416b5798abd08981cOwen Anderson } 31380a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen} 31480a75bfae980df96f969f1c05b0c4a80ce975240Gordon Henriksen 31528c3cff8250b3fe2adc6479306fe7dbdb48a1bdbDuncan Sands/// copyAttributesFrom - copy all additional attributes (those not needed to 31628c3cff8250b3fe2adc6479306fe7dbdb48a1bdbDuncan Sands/// create a Function) from the Function Src to this one. 31728c3cff8250b3fe2adc6479306fe7dbdb48a1bdbDuncan Sandsvoid Function::copyAttributesFrom(const GlobalValue *Src) { 31828c3cff8250b3fe2adc6479306fe7dbdb48a1bdbDuncan Sands assert(isa<Function>(Src) && "Expected a Function!"); 31928c3cff8250b3fe2adc6479306fe7dbdb48a1bdbDuncan Sands GlobalValue::copyAttributesFrom(Src); 32028c3cff8250b3fe2adc6479306fe7dbdb48a1bdbDuncan Sands const Function *SrcF = cast<Function>(Src); 32128c3cff8250b3fe2adc6479306fe7dbdb48a1bdbDuncan Sands setCallingConv(SrcF->getCallingConv()); 3220598866c052147c31b808391f58434ce3dbfb838Devang Patel setAttributes(SrcF->getAttributes()); 3235eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen if (SrcF->hasGC()) 3245eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen setGC(SrcF->getGC()); 3255eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen else 3265eca075b74d62c621b160aa216b4cd50829a2cc7Gordon Henriksen clearGC(); 32728c3cff8250b3fe2adc6479306fe7dbdb48a1bdbDuncan Sands} 32828c3cff8250b3fe2adc6479306fe7dbdb48a1bdbDuncan Sands 329dd035d188a80f560ff4193391a9e8df64c993369Chris Lattner/// getIntrinsicID - This method returns the ID number of the specified 330d0fde30ce850b78371fd1386338350591f9ff494Brian Gaeke/// function, or Intrinsic::not_intrinsic if the function is not an 3316b63452c3ad26678b32f93dbca55902a313ee4e9Misha Brukman/// intrinsic, or if the pointer is null. This value is always defined to be 332dd035d188a80f560ff4193391a9e8df64c993369Chris Lattner/// zero to allow easy checking for whether a function is intrinsic or not. The 333dd035d188a80f560ff4193391a9e8df64c993369Chris Lattner/// particular intrinsic functions which correspond to this value are defined in 334dd035d188a80f560ff4193391a9e8df64c993369Chris Lattner/// llvm/Intrinsics.h. 335dd035d188a80f560ff4193391a9e8df64c993369Chris Lattner/// 33649de98214b82fefeb8f16efbf8cdd8813a85469bDale Johannesenunsigned Function::getIntrinsicID() const { 3373b515802f652b16b05c9a8f344d219a0739b36a3Chris Lattner const ValueName *ValName = this->getValueName(); 338f846f16c92590379e900d01812e828e83b759ceeMichael Ilseman if (!ValName || !isIntrinsic()) 339085659f040f8b943c931db8a695dec4bf22578a5Reid Spencer return 0; 3403b515802f652b16b05c9a8f344d219a0739b36a3Chris Lattner unsigned Len = ValName->getKeyLength(); 3413b515802f652b16b05c9a8f344d219a0739b36a3Chris Lattner const char *Name = ValName->getKeyData(); 3420f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman 3439a016ff284f7301da20e74fb1304fb17e3d1214dChris Lattner#define GET_FUNCTION_RECOGNIZER 344351ba145a7db32b457f118ecc4d873765ac2a16bChandler Carruth#include "llvm/IR/Intrinsics.gen" 3459a016ff284f7301da20e74fb1304fb17e3d1214dChris Lattner#undef GET_FUNCTION_RECOGNIZER 346dd035d188a80f560ff4193391a9e8df64c993369Chris Lattner return 0; 347dd035d188a80f560ff4193391a9e8df64c993369Chris Lattner} 348dd035d188a80f560ff4193391a9e8df64c993369Chris Lattner 349eb9a85f09e18b3fe88499710404b38d3a9128f62Benjamin Kramerstd::string Intrinsic::getName(ID id, ArrayRef<Type*> Tys) { 350b847423fc6653bc1fd0d1dde4f968502985d2c6aChris Lattner assert(id < num_intrinsics && "Invalid intrinsic ID!"); 351607b8ebfb849e3257d5ab64fae3ae62229eadb6fChris Lattner static const char * const Table[] = { 352b847423fc6653bc1fd0d1dde4f968502985d2c6aChris Lattner "not_intrinsic", 353b847423fc6653bc1fd0d1dde4f968502985d2c6aChris Lattner#define GET_INTRINSIC_NAME_TABLE 354351ba145a7db32b457f118ecc4d873765ac2a16bChandler Carruth#include "llvm/IR/Intrinsics.gen" 355b847423fc6653bc1fd0d1dde4f968502985d2c6aChris Lattner#undef GET_INTRINSIC_NAME_TABLE 356b847423fc6653bc1fd0d1dde4f968502985d2c6aChris Lattner }; 357eb9a85f09e18b3fe88499710404b38d3a9128f62Benjamin Kramer if (Tys.empty()) 3581437a0976567810c2930218b1ba582820150b05cReid Spencer return Table[id]; 3591437a0976567810c2930218b1ba582820150b05cReid Spencer std::string Result(Table[id]); 360eb9a85f09e18b3fe88499710404b38d3a9128f62Benjamin Kramer for (unsigned i = 0; i < Tys.size(); ++i) { 361db125cfaf57cc83e7dd7453de2d509bc8efd0e5eChris Lattner if (PointerType* PTyp = dyn_cast<PointerType>(Tys[i])) { 3620f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman Result += ".p" + llvm::utostr(PTyp->getAddressSpace()) + 363e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson EVT::getEVT(PTyp->getElementType()).getEVTString(); 364e3b3a7241c01f26613694e53b26b01abf764ddfcMon P Wang } 365e3b3a7241c01f26613694e53b26b01abf764ddfcMon P Wang else if (Tys[i]) 366e50ed30282bb5b4a9ed952580523f2dda16215acOwen Anderson Result += "." + EVT::getEVT(Tys[i]).getEVTString(); 367e3b3a7241c01f26613694e53b26b01abf764ddfcMon P Wang } 3681437a0976567810c2930218b1ba582820150b05cReid Spencer return Result; 369b847423fc6653bc1fd0d1dde4f968502985d2c6aChris Lattner} 370b847423fc6653bc1fd0d1dde4f968502985d2c6aChris Lattner 371a98aa6ad1e8e53600b2e322e2ab869e03d436849Chris Lattner 372908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner/// IIT_Info - These are enumerators that describe the entries returned by the 373908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner/// getIntrinsicInfoTableEntries function. 374908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner/// 375908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner/// NOTE: This must be kept in synch with the copy in TblGen/IntrinsicEmitter! 376908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattnerenum IIT_Info { 377908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner // Common values should be encoded with 0-15. 378908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner IIT_Done = 0, 379908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner IIT_I1 = 1, 380908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner IIT_I8 = 2, 381908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner IIT_I16 = 3, 382908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner IIT_I32 = 4, 383908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner IIT_I64 = 5, 3844d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_F16 = 6, 3854d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_F32 = 7, 3864d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_F64 = 8, 3874d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_V2 = 9, 3884d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_V4 = 10, 3894d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_V8 = 11, 3904d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_V16 = 12, 3914d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_V32 = 13, 392908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner IIT_PTR = 14, 393908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner IIT_ARG = 15, 3940f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman 395908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner // Values from 16+ are only encodable with the inefficient encoding. 3964d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_MMX = 16, 3974d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_METADATA = 17, 3984d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_EMPTYSTRUCT = 18, 3994d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_STRUCT2 = 19, 4004d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_STRUCT3 = 20, 4014d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_STRUCT4 = 21, 4024d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_STRUCT5 = 22, 4034d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_EXTEND_VEC_ARG = 23, 4044d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_TRUNC_VEC_ARG = 24, 4054d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman IIT_ANYPTR = 25 406908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner}; 407908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner 408908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner 409908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattnerstatic void DecodeIITType(unsigned &NextElt, ArrayRef<unsigned char> Infos, 410908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner SmallVectorImpl<Intrinsic::IITDescriptor> &OutputTable) { 411626b108619ec72267ff7b89d325ccf808fee88b6Chris Lattner IIT_Info Info = IIT_Info(Infos[NextElt++]); 412d7cf5eb0219db7303875941ab62b3ef6e8fb0b31Chris Lattner unsigned StructElts = 2; 413908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner using namespace Intrinsic; 4140f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman 415626b108619ec72267ff7b89d325ccf808fee88b6Chris Lattner switch (Info) { 416908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IIT_Done: 417908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Void, 0)); 418908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 419908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IIT_MMX: 420908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::MMX, 0)); 421908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 422908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IIT_METADATA: 423908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Metadata, 0)); 424908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 4254d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman case IIT_F16: 4264d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman OutputTable.push_back(IITDescriptor::get(IITDescriptor::Half, 0)); 4274d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman return; 428908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IIT_F32: 429908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Float, 0)); 430908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 431908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IIT_F64: 432908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Double, 0)); 433908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 434908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IIT_I1: 435908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 1)); 436908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 437908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IIT_I8: 438908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 8)); 439908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 440908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IIT_I16: 441908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer,16)); 442908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 443908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IIT_I32: 444908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 32)); 445908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 446908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IIT_I64: 447908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 64)); 448908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 44946aaf69e37287a9696b6cc5c49d10d0937ff052bChris Lattner case IIT_V2: 450908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 2)); 451908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner DecodeIITType(NextElt, Infos, OutputTable); 452908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 45346aaf69e37287a9696b6cc5c49d10d0937ff052bChris Lattner case IIT_V4: 454908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 4)); 455908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner DecodeIITType(NextElt, Infos, OutputTable); 456908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 45746aaf69e37287a9696b6cc5c49d10d0937ff052bChris Lattner case IIT_V8: 458908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 8)); 459908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner DecodeIITType(NextElt, Infos, OutputTable); 460908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 46146aaf69e37287a9696b6cc5c49d10d0937ff052bChris Lattner case IIT_V16: 462908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 16)); 463908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner DecodeIITType(NextElt, Infos, OutputTable); 464908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 465d7cf5eb0219db7303875941ab62b3ef6e8fb0b31Chris Lattner case IIT_V32: 466908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 32)); 467908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner DecodeIITType(NextElt, Infos, OutputTable); 468908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 469a48289a672e20587e95bcdd84d5c71d28eb3d2b8Chris Lattner case IIT_PTR: 470908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Pointer, 0)); 471908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner DecodeIITType(NextElt, Infos, OutputTable); 472908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 473a48289a672e20587e95bcdd84d5c71d28eb3d2b8Chris Lattner case IIT_ANYPTR: { // [ANYPTR addrspace, subtype] 4740f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman OutputTable.push_back(IITDescriptor::get(IITDescriptor::Pointer, 475908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner Infos[NextElt++])); 476908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner DecodeIITType(NextElt, Infos, OutputTable); 477908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 478908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner } 479908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IIT_ARG: { 480908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); 481908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Argument, ArgInfo)); 482908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 483908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner } 484908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IIT_EXTEND_VEC_ARG: { 485908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); 486908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::ExtendVecArgument, 487908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner ArgInfo)); 488908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 489b428511989eea383b4fa65678c12b055d5c72af5Pete Cooper } 490d7cf5eb0219db7303875941ab62b3ef6e8fb0b31Chris Lattner case IIT_TRUNC_VEC_ARG: { 491908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); 492908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::TruncVecArgument, 493908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner ArgInfo)); 494908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 495d7cf5eb0219db7303875941ab62b3ef6e8fb0b31Chris Lattner } 496908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IIT_EMPTYSTRUCT: 497908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Struct, 0)); 498908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 499d7cf5eb0219db7303875941ab62b3ef6e8fb0b31Chris Lattner case IIT_STRUCT5: ++StructElts; // FALL THROUGH. 500d7cf5eb0219db7303875941ab62b3ef6e8fb0b31Chris Lattner case IIT_STRUCT4: ++StructElts; // FALL THROUGH. 501d7cf5eb0219db7303875941ab62b3ef6e8fb0b31Chris Lattner case IIT_STRUCT3: ++StructElts; // FALL THROUGH. 502d7cf5eb0219db7303875941ab62b3ef6e8fb0b31Chris Lattner case IIT_STRUCT2: { 503908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner OutputTable.push_back(IITDescriptor::get(IITDescriptor::Struct,StructElts)); 504908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner 505d7cf5eb0219db7303875941ab62b3ef6e8fb0b31Chris Lattner for (unsigned i = 0; i != StructElts; ++i) 506908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner DecodeIITType(NextElt, Infos, OutputTable); 507908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return; 50846aaf69e37287a9696b6cc5c49d10d0937ff052bChris Lattner } 509a98aa6ad1e8e53600b2e322e2ab869e03d436849Chris Lattner } 510a98aa6ad1e8e53600b2e322e2ab869e03d436849Chris Lattner llvm_unreachable("unhandled"); 511a98aa6ad1e8e53600b2e322e2ab869e03d436849Chris Lattner} 512a98aa6ad1e8e53600b2e322e2ab869e03d436849Chris Lattner 513908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner 514908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner#define GET_INTRINSIC_GENERATOR_GLOBAL 515351ba145a7db32b457f118ecc4d873765ac2a16bChandler Carruth#include "llvm/IR/Intrinsics.gen" 516908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner#undef GET_INTRINSIC_GENERATOR_GLOBAL 517908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner 5180f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilsemanvoid Intrinsic::getIntrinsicInfoTableEntries(ID id, 519908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner SmallVectorImpl<IITDescriptor> &T){ 520a98aa6ad1e8e53600b2e322e2ab869e03d436849Chris Lattner // Check to see if the intrinsic's type was expressible by the table. 521a98aa6ad1e8e53600b2e322e2ab869e03d436849Chris Lattner unsigned TableVal = IIT_Table[id-1]; 5220f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman 523387c9dcddabe8551468647b249d3629953caab9eChris Lattner // Decode the TableVal into an array of IITValues. 524387c9dcddabe8551468647b249d3629953caab9eChris Lattner SmallVector<unsigned char, 8> IITValues; 525387c9dcddabe8551468647b249d3629953caab9eChris Lattner ArrayRef<unsigned char> IITEntries; 526387c9dcddabe8551468647b249d3629953caab9eChris Lattner unsigned NextElt = 0; 527387c9dcddabe8551468647b249d3629953caab9eChris Lattner if ((TableVal >> 31) != 0) { 528387c9dcddabe8551468647b249d3629953caab9eChris Lattner // This is an offset into the IIT_LongEncodingTable. 529387c9dcddabe8551468647b249d3629953caab9eChris Lattner IITEntries = IIT_LongEncodingTable; 5300f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman 531387c9dcddabe8551468647b249d3629953caab9eChris Lattner // Strip sentinel bit. 532387c9dcddabe8551468647b249d3629953caab9eChris Lattner NextElt = (TableVal << 1) >> 1; 533387c9dcddabe8551468647b249d3629953caab9eChris Lattner } else { 534908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner // Decode the TableVal into an array of IITValues. If the entry was encoded 535908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner // into a single word in the table itself, decode it now. 536626b108619ec72267ff7b89d325ccf808fee88b6Chris Lattner do { 537626b108619ec72267ff7b89d325ccf808fee88b6Chris Lattner IITValues.push_back(TableVal & 0xF); 538626b108619ec72267ff7b89d325ccf808fee88b6Chris Lattner TableVal >>= 4; 539626b108619ec72267ff7b89d325ccf808fee88b6Chris Lattner } while (TableVal); 5400f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman 541387c9dcddabe8551468647b249d3629953caab9eChris Lattner IITEntries = IITValues; 542387c9dcddabe8551468647b249d3629953caab9eChris Lattner NextElt = 0; 543a98aa6ad1e8e53600b2e322e2ab869e03d436849Chris Lattner } 544908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner 545908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner // Okay, decode the table into the output vector of IITDescriptors. 546908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner DecodeIITType(NextElt, IITEntries, T); 547908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner while (NextElt != IITEntries.size() && IITEntries[NextElt] != 0) 548908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner DecodeIITType(NextElt, IITEntries, T); 549908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner} 550908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner 551908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner 552908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattnerstatic Type *DecodeFixedType(ArrayRef<Intrinsic::IITDescriptor> &Infos, 553908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner ArrayRef<Type*> Tys, LLVMContext &Context) { 554908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner using namespace Intrinsic; 555908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner IITDescriptor D = Infos.front(); 556908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner Infos = Infos.slice(1); 5570f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman 558908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner switch (D.Kind) { 559908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IITDescriptor::Void: return Type::getVoidTy(Context); 560908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IITDescriptor::MMX: return Type::getX86_MMXTy(Context); 561908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IITDescriptor::Metadata: return Type::getMetadataTy(Context); 5624d0b4a45dc724666d5de4f2f7c2d295487e4ca3eMichael Ilseman case IITDescriptor::Half: return Type::getHalfTy(Context); 563908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IITDescriptor::Float: return Type::getFloatTy(Context); 564908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IITDescriptor::Double: return Type::getDoubleTy(Context); 5650f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman 566908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IITDescriptor::Integer: 567908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return IntegerType::get(Context, D.Integer_Width); 568908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IITDescriptor::Vector: 569908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return VectorType::get(DecodeFixedType(Infos, Tys, Context),D.Vector_Width); 570908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IITDescriptor::Pointer: 571908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return PointerType::get(DecodeFixedType(Infos, Tys, Context), 572908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner D.Pointer_AddressSpace); 573908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IITDescriptor::Struct: { 574908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner Type *Elts[5]; 575908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner assert(D.Struct_NumElements <= 5 && "Can't handle this yet"); 576908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner for (unsigned i = 0, e = D.Struct_NumElements; i != e; ++i) 577908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner Elts[i] = DecodeFixedType(Infos, Tys, Context); 578908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return StructType::get(Context, ArrayRef<Type*>(Elts,D.Struct_NumElements)); 579908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner } 580908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner 581908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IITDescriptor::Argument: 582908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return Tys[D.getArgumentNumber()]; 583908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IITDescriptor::ExtendVecArgument: 584908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return VectorType::getExtendedElementVectorType(cast<VectorType>( 585908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner Tys[D.getArgumentNumber()])); 5860f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman 587908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner case IITDescriptor::TruncVecArgument: 588908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner return VectorType::getTruncatedElementVectorType(cast<VectorType>( 589908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner Tys[D.getArgumentNumber()])); 590908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner } 591908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner llvm_unreachable("unhandled"); 592908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner} 593908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner 594908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner 595908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner 596908a831a9a1fb043bc4758d6712d78255099ae51Chris LattnerFunctionType *Intrinsic::getType(LLVMContext &Context, 597908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner ID id, ArrayRef<Type*> Tys) { 598908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner SmallVector<IITDescriptor, 8> Table; 599908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner getIntrinsicInfoTableEntries(id, Table); 6000f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman 601908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner ArrayRef<IITDescriptor> TableRef = Table; 602908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner Type *ResultTy = DecodeFixedType(TableRef, Tys, Context); 6030f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman 604387c9dcddabe8551468647b249d3629953caab9eChris Lattner SmallVector<Type*, 8> ArgTys; 605908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner while (!TableRef.empty()) 606908a831a9a1fb043bc4758d6712d78255099ae51Chris Lattner ArgTys.push_back(DecodeFixedType(TableRef, Tys, Context)); 60795af592a631f403e1458ec1155f89fc31011572cJim Laskey 6080f47e7e01928a4e16f773dc4db14a800d148bfc8Michael Ilseman return FunctionType::get(ResultTy, ArgTys, false); 60995af592a631f403e1458ec1155f89fc31011572cJim Laskey} 61095af592a631f403e1458ec1155f89fc31011572cJim Laskey 6110d52ff1f7b993750a74a5d4432273092de9af069Mon P Wangbool Intrinsic::isOverloaded(ID id) { 6120d52ff1f7b993750a74a5d4432273092de9af069Mon P Wang#define GET_INTRINSIC_OVERLOAD_TABLE 613351ba145a7db32b457f118ecc4d873765ac2a16bChandler Carruth#include "llvm/IR/Intrinsics.gen" 6140d52ff1f7b993750a74a5d4432273092de9af069Mon P Wang#undef GET_INTRINSIC_OVERLOAD_TABLE 6150d52ff1f7b993750a74a5d4432273092de9af069Mon P Wang} 6160d52ff1f7b993750a74a5d4432273092de9af069Mon P Wang 617048ffb239c282277959463c61200b86e2380cb84Chris Lattner/// This defines the "Intrinsic::getAttributes(ID id)" method. 618a3355ffb3d30d19d226bbb75707991c60f236e37Duncan Sands#define GET_INTRINSIC_ATTRIBUTES 619351ba145a7db32b457f118ecc4d873765ac2a16bChandler Carruth#include "llvm/IR/Intrinsics.gen" 620a3355ffb3d30d19d226bbb75707991c60f236e37Duncan Sands#undef GET_INTRINSIC_ATTRIBUTES 621a3355ffb3d30d19d226bbb75707991c60f236e37Duncan Sands 622eb9a85f09e18b3fe88499710404b38d3a9128f62Benjamin KramerFunction *Intrinsic::getDeclaration(Module *M, ID id, ArrayRef<Type*> Tys) { 623a3355ffb3d30d19d226bbb75707991c60f236e37Duncan Sands // There can never be multiple globals with the same name of different types, 624a3355ffb3d30d19d226bbb75707991c60f236e37Duncan Sands // because intrinsics must be a specific type. 62579ab3e801480e6412c064a3fb15a79a8cab13efcDuncan Sands return 626eb9a85f09e18b3fe88499710404b38d3a9128f62Benjamin Kramer cast<Function>(M->getOrInsertFunction(getName(id, Tys), 627eb9a85f09e18b3fe88499710404b38d3a9128f62Benjamin Kramer getType(M->getContext(), id, Tys))); 62895af592a631f403e1458ec1155f89fc31011572cJim Laskey} 62995af592a631f403e1458ec1155f89fc31011572cJim Laskey 63049de98214b82fefeb8f16efbf8cdd8813a85469bDale Johannesen// This defines the "Intrinsic::getIntrinsicForGCCBuiltin()" method. 63149de98214b82fefeb8f16efbf8cdd8813a85469bDale Johannesen#define GET_LLVM_INTRINSIC_FOR_GCC_BUILTIN 632351ba145a7db32b457f118ecc4d873765ac2a16bChandler Carruth#include "llvm/IR/Intrinsics.gen" 63349de98214b82fefeb8f16efbf8cdd8813a85469bDale Johannesen#undef GET_LLVM_INTRINSIC_FOR_GCC_BUILTIN 63449de98214b82fefeb8f16efbf8cdd8813a85469bDale Johannesen 6350054c7a867f85f52fdcc11279d696160de92c9f8Gabor Greif/// hasAddressTaken - returns true if there are any uses of this function 6360054c7a867f85f52fdcc11279d696160de92c9f8Gabor Greif/// other than direct calls or invokes to it. 637c9f7500d1752feac7cece26d20007a99d21f677cGabor Greifbool Function::hasAddressTaken(const User* *PutOffender) const { 63860ad781c61815ca5b8dc2a45a102e1c8af65992fGabor Greif for (Value::const_use_iterator I = use_begin(), E = use_end(); I != E; ++I) { 639c9f7500d1752feac7cece26d20007a99d21f677cGabor Greif const User *U = *I; 640b7454fd9df0b477e3daf2fce6e1d5e1b241562dfJay Foad if (isa<BlockAddress>(U)) 641b7454fd9df0b477e3daf2fce6e1d5e1b241562dfJay Foad continue; 642c9f7500d1752feac7cece26d20007a99d21f677cGabor Greif if (!isa<CallInst>(U) && !isa<InvokeInst>(U)) 643c9f7500d1752feac7cece26d20007a99d21f677cGabor Greif return PutOffender ? (*PutOffender = U, true) : true; 644c8b82ccbcf3b2e2384d2c0b5176e7b0b40b7f82fGabor Greif ImmutableCallSite CS(cast<Instruction>(U)); 645c9f7500d1752feac7cece26d20007a99d21f677cGabor Greif if (!CS.isCallee(I)) 646c9f7500d1752feac7cece26d20007a99d21f677cGabor Greif return PutOffender ? (*PutOffender = U, true) : true; 647757068f3bad425fb126fe16ab7b8a82a636e6bbdJay Foad } 648757068f3bad425fb126fe16ab7b8a82a636e6bbdJay Foad return false; 649757068f3bad425fb126fe16ab7b8a82a636e6bbdJay Foad} 650757068f3bad425fb126fe16ab7b8a82a636e6bbdJay Foad 651c66330504c3f433430a28cd7f7f981e555c51bceEli Friedmanbool Function::isDefTriviallyDead() const { 652c66330504c3f433430a28cd7f7f981e555c51bceEli Friedman // Check the linkage 653c66330504c3f433430a28cd7f7f981e555c51bceEli Friedman if (!hasLinkOnceLinkage() && !hasLocalLinkage() && 654c66330504c3f433430a28cd7f7f981e555c51bceEli Friedman !hasAvailableExternallyLinkage()) 655c66330504c3f433430a28cd7f7f981e555c51bceEli Friedman return false; 656c66330504c3f433430a28cd7f7f981e555c51bceEli Friedman 657c66330504c3f433430a28cd7f7f981e555c51bceEli Friedman // Check if the function is used by anything other than a blockaddress. 658c66330504c3f433430a28cd7f7f981e555c51bceEli Friedman for (Value::const_use_iterator I = use_begin(), E = use_end(); I != E; ++I) 659c66330504c3f433430a28cd7f7f981e555c51bceEli Friedman if (!isa<BlockAddress>(*I)) 660c66330504c3f433430a28cd7f7f981e555c51bceEli Friedman return false; 661c66330504c3f433430a28cd7f7f981e555c51bceEli Friedman 662c66330504c3f433430a28cd7f7f981e555c51bceEli Friedman return true; 663c66330504c3f433430a28cd7f7f981e555c51bceEli Friedman} 664c66330504c3f433430a28cd7f7f981e555c51bceEli Friedman 6653c5e60994f53eef2808a33b5ca6c3dffc2168054Bill Wendling/// callsFunctionThatReturnsTwice - Return true if the function has a call to 6663c5e60994f53eef2808a33b5ca6c3dffc2168054Bill Wendling/// setjmp or other function that gcc recognizes as "returning twice". 6673c5e60994f53eef2808a33b5ca6c3dffc2168054Bill Wendlingbool Function::callsFunctionThatReturnsTwice() const { 6683c5e60994f53eef2808a33b5ca6c3dffc2168054Bill Wendling for (const_inst_iterator 6693c5e60994f53eef2808a33b5ca6c3dffc2168054Bill Wendling I = inst_begin(this), E = inst_end(this); I != E; ++I) { 6703c5e60994f53eef2808a33b5ca6c3dffc2168054Bill Wendling const CallInst* callInst = dyn_cast<CallInst>(&*I); 6713c5e60994f53eef2808a33b5ca6c3dffc2168054Bill Wendling if (!callInst) 6723c5e60994f53eef2808a33b5ca6c3dffc2168054Bill Wendling continue; 6733c5e60994f53eef2808a33b5ca6c3dffc2168054Bill Wendling if (callInst->canReturnTwice()) 6743c5e60994f53eef2808a33b5ca6c3dffc2168054Bill Wendling return true; 6753c5e60994f53eef2808a33b5ca6c3dffc2168054Bill Wendling } 6763c5e60994f53eef2808a33b5ca6c3dffc2168054Bill Wendling 6773c5e60994f53eef2808a33b5ca6c3dffc2168054Bill Wendling return false; 6783c5e60994f53eef2808a33b5ca6c3dffc2168054Bill Wendling} 6793c5e60994f53eef2808a33b5ca6c3dffc2168054Bill Wendling 680