Chris Lattner | 44d2c35 | 2003-10-13 03:32:08 +0000 | [diff] [blame] | 1 | //===-- Function.cpp - Implement the Global object classes ----------------===// |
Misha Brukman | b1c9317 | 2005-04-21 23:48:37 +0000 | [diff] [blame] | 2 | // |
John Criswell | 482202a | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | f3ebc3f | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Misha Brukman | b1c9317 | 2005-04-21 23:48:37 +0000 | [diff] [blame] | 7 | // |
John Criswell | 482202a | 2003-10-20 19:43:21 +0000 | [diff] [blame] | 8 | //===----------------------------------------------------------------------===// |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 9 | // |
Chandler Carruth | ef860a2 | 2013-01-02 09:10:48 +0000 | [diff] [blame] | 10 | // This file implements the Function class for the IR library. |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
Chandler Carruth | 9fb823b | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 14 | #include "llvm/IR/Function.h" |
Michael Ilseman | 516d703 | 2013-03-01 18:48:54 +0000 | [diff] [blame] | 15 | #include "LLVMContextImpl.h" |
Chris Lattner | 113f4f4 | 2002-06-25 16:13:24 +0000 | [diff] [blame] | 16 | #include "SymbolTableListTraitsImpl.h" |
Gordon Henriksen | 71183b6 | 2007-12-10 03:18:06 +0000 | [diff] [blame] | 17 | #include "llvm/ADT/DenseMap.h" |
Rafael Espindola | 2050af8 | 2011-05-16 03:05:33 +0000 | [diff] [blame] | 18 | #include "llvm/ADT/STLExtras.h" |
Chris Lattner | b392d30 | 2004-12-05 06:43:27 +0000 | [diff] [blame] | 19 | #include "llvm/ADT/StringExtras.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 20 | #include "llvm/CodeGen/ValueTypes.h" |
Chandler Carruth | 219b89b | 2014-03-04 11:01:28 +0000 | [diff] [blame] | 21 | #include "llvm/IR/CallSite.h" |
Diego Novillo | 2567f3d | 2015-05-13 15:13:45 +0000 | [diff] [blame] | 22 | #include "llvm/IR/Constants.h" |
Chandler Carruth | 9fb823b | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 23 | #include "llvm/IR/DerivedTypes.h" |
Chandler Carruth | 8394857 | 2014-03-04 10:30:26 +0000 | [diff] [blame] | 24 | #include "llvm/IR/InstIterator.h" |
Chandler Carruth | 9fb823b | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 25 | #include "llvm/IR/IntrinsicInst.h" |
| 26 | #include "llvm/IR/LLVMContext.h" |
Diego Novillo | 2567f3d | 2015-05-13 15:13:45 +0000 | [diff] [blame] | 27 | #include "llvm/IR/MDBuilder.h" |
| 28 | #include "llvm/IR/Metadata.h" |
Chandler Carruth | 9fb823b | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 29 | #include "llvm/IR/Module.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 30 | #include "llvm/Support/ManagedStatic.h" |
| 31 | #include "llvm/Support/RWMutex.h" |
| 32 | #include "llvm/Support/StringPool.h" |
| 33 | #include "llvm/Support/Threading.h" |
Chris Lattner | 189d19f | 2003-11-21 20:23:48 +0000 | [diff] [blame] | 34 | using namespace llvm; |
Brian Gaeke | 960707c | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 35 | |
Chris Lattner | 113f4f4 | 2002-06-25 16:13:24 +0000 | [diff] [blame] | 36 | // Explicit instantiations of SymbolTableListTraits since some of the methods |
| 37 | // are not in the public header file... |
Duncan P. N. Exon Smith | 37bf678 | 2015-10-07 20:05:10 +0000 | [diff] [blame^] | 38 | template class llvm::SymbolTableListTraits<Argument>; |
| 39 | template class llvm::SymbolTableListTraits<BasicBlock>; |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 40 | |
Chris Lattner | da97550 | 2001-09-10 07:58:01 +0000 | [diff] [blame] | 41 | //===----------------------------------------------------------------------===// |
Chris Lattner | d255ae2 | 2002-04-09 19:39:35 +0000 | [diff] [blame] | 42 | // Argument Implementation |
| 43 | //===----------------------------------------------------------------------===// |
| 44 | |
David Blaikie | a379b181 | 2011-12-20 02:50:00 +0000 | [diff] [blame] | 45 | void Argument::anchor() { } |
| 46 | |
Chris Lattner | 229907c | 2011-07-18 04:54:35 +0000 | [diff] [blame] | 47 | Argument::Argument(Type *Ty, const Twine &Name, Function *Par) |
Chris Lattner | 32ab643 | 2007-02-12 05:18:08 +0000 | [diff] [blame] | 48 | : Value(Ty, Value::ArgumentVal) { |
Craig Topper | c620761 | 2014-04-09 06:08:46 +0000 | [diff] [blame] | 49 | Parent = nullptr; |
Chris Lattner | 184b298 | 2002-09-08 18:59:35 +0000 | [diff] [blame] | 50 | |
Chris Lattner | 9ed7aef | 2002-09-06 21:33:15 +0000 | [diff] [blame] | 51 | if (Par) |
| 52 | Par->getArgumentList().push_back(this); |
Chris Lattner | 32ab643 | 2007-02-12 05:18:08 +0000 | [diff] [blame] | 53 | setName(Name); |
Chris Lattner | 9ed7aef | 2002-09-06 21:33:15 +0000 | [diff] [blame] | 54 | } |
| 55 | |
Chris Lattner | 9ed7aef | 2002-09-06 21:33:15 +0000 | [diff] [blame] | 56 | void Argument::setParent(Function *parent) { |
| 57 | Parent = parent; |
| 58 | } |
| 59 | |
Chris Lattner | e30f09d | 2008-01-24 17:47:11 +0000 | [diff] [blame] | 60 | /// getArgNo - Return the index of this formal argument in its containing |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 61 | /// function. For example in "void foo(int a, float b)" a is 0 and b is 1. |
Chris Lattner | e30f09d | 2008-01-24 17:47:11 +0000 | [diff] [blame] | 62 | unsigned Argument::getArgNo() const { |
| 63 | const Function *F = getParent(); |
| 64 | assert(F && "Argument is not in a function"); |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 65 | |
Chris Lattner | e30f09d | 2008-01-24 17:47:11 +0000 | [diff] [blame] | 66 | Function::const_arg_iterator AI = F->arg_begin(); |
| 67 | unsigned ArgIdx = 0; |
| 68 | for (; &*AI != this; ++AI) |
| 69 | ++ArgIdx; |
| 70 | |
| 71 | return ArgIdx; |
| 72 | } |
| 73 | |
Nick Lewycky | d52b152 | 2014-05-20 01:23:40 +0000 | [diff] [blame] | 74 | /// hasNonNullAttr - Return true if this argument has the nonnull attribute on |
Hal Finkel | b0407ba | 2014-07-18 15:51:28 +0000 | [diff] [blame] | 75 | /// it in its containing function. Also returns true if at least one byte is |
| 76 | /// known to be dereferenceable and the pointer is in addrspace(0). |
Nick Lewycky | d52b152 | 2014-05-20 01:23:40 +0000 | [diff] [blame] | 77 | bool Argument::hasNonNullAttr() const { |
| 78 | if (!getType()->isPointerTy()) return false; |
Hal Finkel | b0407ba | 2014-07-18 15:51:28 +0000 | [diff] [blame] | 79 | if (getParent()->getAttributes(). |
| 80 | hasAttribute(getArgNo()+1, Attribute::NonNull)) |
| 81 | return true; |
| 82 | else if (getDereferenceableBytes() > 0 && |
| 83 | getType()->getPointerAddressSpace() == 0) |
| 84 | return true; |
| 85 | return false; |
Nick Lewycky | d52b152 | 2014-05-20 01:23:40 +0000 | [diff] [blame] | 86 | } |
| 87 | |
Chris Lattner | e30f09d | 2008-01-24 17:47:11 +0000 | [diff] [blame] | 88 | /// hasByValAttr - Return true if this argument has the byval attribute on it |
| 89 | /// in its containing function. |
| 90 | bool Argument::hasByValAttr() const { |
Duncan Sands | 19d0b47 | 2010-02-16 11:11:14 +0000 | [diff] [blame] | 91 | if (!getType()->isPointerTy()) return false; |
Bill Wendling | 94dcaf8 | 2012-12-30 12:45:13 +0000 | [diff] [blame] | 92 | return getParent()->getAttributes(). |
| 93 | hasAttribute(getArgNo()+1, Attribute::ByVal); |
Chris Lattner | e30f09d | 2008-01-24 17:47:11 +0000 | [diff] [blame] | 94 | } |
| 95 | |
Reid Kleckner | a534a38 | 2013-12-19 02:14:12 +0000 | [diff] [blame] | 96 | /// \brief Return true if this argument has the inalloca attribute on it in |
| 97 | /// its containing function. |
| 98 | bool Argument::hasInAllocaAttr() const { |
| 99 | if (!getType()->isPointerTy()) return false; |
| 100 | return getParent()->getAttributes(). |
| 101 | hasAttribute(getArgNo()+1, Attribute::InAlloca); |
| 102 | } |
| 103 | |
Reid Kleckner | 436c42e | 2014-01-17 23:58:17 +0000 | [diff] [blame] | 104 | bool Argument::hasByValOrInAllocaAttr() const { |
| 105 | if (!getType()->isPointerTy()) return false; |
| 106 | AttributeSet Attrs = getParent()->getAttributes(); |
| 107 | return Attrs.hasAttribute(getArgNo() + 1, Attribute::ByVal) || |
| 108 | Attrs.hasAttribute(getArgNo() + 1, Attribute::InAlloca); |
| 109 | } |
| 110 | |
Chris Lattner | 4d37d99 | 2011-05-22 23:57:23 +0000 | [diff] [blame] | 111 | unsigned Argument::getParamAlignment() const { |
| 112 | assert(getType()->isPointerTy() && "Only pointers have alignments"); |
| 113 | return getParent()->getParamAlignment(getArgNo()+1); |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 114 | |
Chris Lattner | 4d37d99 | 2011-05-22 23:57:23 +0000 | [diff] [blame] | 115 | } |
| 116 | |
Hal Finkel | b0407ba | 2014-07-18 15:51:28 +0000 | [diff] [blame] | 117 | uint64_t Argument::getDereferenceableBytes() const { |
| 118 | assert(getType()->isPointerTy() && |
| 119 | "Only pointers have dereferenceable bytes"); |
| 120 | return getParent()->getDereferenceableBytes(getArgNo()+1); |
| 121 | } |
| 122 | |
Sanjoy Das | 06cf33f | 2015-05-06 17:41:54 +0000 | [diff] [blame] | 123 | uint64_t Argument::getDereferenceableOrNullBytes() const { |
| 124 | assert(getType()->isPointerTy() && |
| 125 | "Only pointers have dereferenceable bytes"); |
| 126 | return getParent()->getDereferenceableOrNullBytes(getArgNo()+1); |
| 127 | } |
| 128 | |
Duncan Sands | 5d96f3f | 2009-12-11 08:36:17 +0000 | [diff] [blame] | 129 | /// hasNestAttr - Return true if this argument has the nest attribute on |
| 130 | /// it in its containing function. |
| 131 | bool Argument::hasNestAttr() const { |
Duncan Sands | 19d0b47 | 2010-02-16 11:11:14 +0000 | [diff] [blame] | 132 | if (!getType()->isPointerTy()) return false; |
Bill Wendling | 94dcaf8 | 2012-12-30 12:45:13 +0000 | [diff] [blame] | 133 | return getParent()->getAttributes(). |
| 134 | hasAttribute(getArgNo()+1, Attribute::Nest); |
Duncan Sands | 5d96f3f | 2009-12-11 08:36:17 +0000 | [diff] [blame] | 135 | } |
| 136 | |
Chris Lattner | e30f09d | 2008-01-24 17:47:11 +0000 | [diff] [blame] | 137 | /// hasNoAliasAttr - Return true if this argument has the noalias attribute on |
| 138 | /// it in its containing function. |
| 139 | bool Argument::hasNoAliasAttr() const { |
Duncan Sands | 19d0b47 | 2010-02-16 11:11:14 +0000 | [diff] [blame] | 140 | if (!getType()->isPointerTy()) return false; |
Bill Wendling | 94dcaf8 | 2012-12-30 12:45:13 +0000 | [diff] [blame] | 141 | return getParent()->getAttributes(). |
| 142 | hasAttribute(getArgNo()+1, Attribute::NoAlias); |
Chris Lattner | e30f09d | 2008-01-24 17:47:11 +0000 | [diff] [blame] | 143 | } |
| 144 | |
Duncan Sands | df128eb | 2008-12-31 18:08:59 +0000 | [diff] [blame] | 145 | /// hasNoCaptureAttr - Return true if this argument has the nocapture attribute |
| 146 | /// on it in its containing function. |
| 147 | bool Argument::hasNoCaptureAttr() const { |
Duncan Sands | 19d0b47 | 2010-02-16 11:11:14 +0000 | [diff] [blame] | 148 | if (!getType()->isPointerTy()) return false; |
Bill Wendling | 94dcaf8 | 2012-12-30 12:45:13 +0000 | [diff] [blame] | 149 | return getParent()->getAttributes(). |
| 150 | hasAttribute(getArgNo()+1, Attribute::NoCapture); |
Duncan Sands | df128eb | 2008-12-31 18:08:59 +0000 | [diff] [blame] | 151 | } |
| 152 | |
Owen Anderson | c64dfb4 | 2008-02-17 23:22:28 +0000 | [diff] [blame] | 153 | /// hasSRetAttr - Return true if this argument has the sret attribute on |
| 154 | /// it in its containing function. |
| 155 | bool Argument::hasStructRetAttr() const { |
Duncan Sands | 19d0b47 | 2010-02-16 11:11:14 +0000 | [diff] [blame] | 156 | if (!getType()->isPointerTy()) return false; |
Bill Wendling | 94dcaf8 | 2012-12-30 12:45:13 +0000 | [diff] [blame] | 157 | return getParent()->getAttributes(). |
Peter Collingbourne | 115fe37 | 2015-06-10 21:14:34 +0000 | [diff] [blame] | 158 | hasAttribute(getArgNo()+1, Attribute::StructRet); |
Owen Anderson | c64dfb4 | 2008-02-17 23:22:28 +0000 | [diff] [blame] | 159 | } |
| 160 | |
Stephen Lin | b8bd232 | 2013-04-20 05:14:40 +0000 | [diff] [blame] | 161 | /// hasReturnedAttr - Return true if this argument has the returned attribute on |
| 162 | /// it in its containing function. |
| 163 | bool Argument::hasReturnedAttr() const { |
| 164 | return getParent()->getAttributes(). |
| 165 | hasAttribute(getArgNo()+1, Attribute::Returned); |
| 166 | } |
| 167 | |
Juergen Ributzka | 384c3b5 | 2014-08-05 05:43:41 +0000 | [diff] [blame] | 168 | /// hasZExtAttr - Return true if this argument has the zext attribute on it in |
| 169 | /// its containing function. |
| 170 | bool Argument::hasZExtAttr() const { |
| 171 | return getParent()->getAttributes(). |
| 172 | hasAttribute(getArgNo()+1, Attribute::ZExt); |
| 173 | } |
| 174 | |
| 175 | /// hasSExtAttr Return true if this argument has the sext attribute on it in its |
| 176 | /// containing function. |
| 177 | bool Argument::hasSExtAttr() const { |
| 178 | return getParent()->getAttributes(). |
| 179 | hasAttribute(getArgNo()+1, Attribute::SExt); |
| 180 | } |
| 181 | |
Nick Lewycky | c2ec072 | 2013-07-06 00:29:58 +0000 | [diff] [blame] | 182 | /// Return true if this argument has the readonly or readnone attribute on it |
| 183 | /// in its containing function. |
| 184 | bool Argument::onlyReadsMemory() const { |
| 185 | return getParent()->getAttributes(). |
| 186 | hasAttribute(getArgNo()+1, Attribute::ReadOnly) || |
| 187 | getParent()->getAttributes(). |
| 188 | hasAttribute(getArgNo()+1, Attribute::ReadNone); |
| 189 | } |
| 190 | |
Bill Wendling | 49bc76c | 2013-01-23 06:14:59 +0000 | [diff] [blame] | 191 | /// addAttr - Add attributes to an argument. |
| 192 | void Argument::addAttr(AttributeSet AS) { |
Bill Wendling | efbbbfd | 2013-02-21 19:46:51 +0000 | [diff] [blame] | 193 | assert(AS.getNumSlots() <= 1 && |
Bill Wendling | 1c20ff0 | 2013-02-20 23:04:11 +0000 | [diff] [blame] | 194 | "Trying to add more than one attribute set to an argument!"); |
| 195 | AttrBuilder B(AS, AS.getSlotIndex(0)); |
| 196 | getParent()->addAttributes(getArgNo() + 1, |
| 197 | AttributeSet::get(Parent->getContext(), |
| 198 | getArgNo() + 1, B)); |
Gordon Henriksen | 2d9cc21 | 2008-04-28 17:37:06 +0000 | [diff] [blame] | 199 | } |
Chris Lattner | e30f09d | 2008-01-24 17:47:11 +0000 | [diff] [blame] | 200 | |
Bill Wendling | 49bc76c | 2013-01-23 06:14:59 +0000 | [diff] [blame] | 201 | /// removeAttr - Remove attributes from an argument. |
| 202 | void Argument::removeAttr(AttributeSet AS) { |
Bill Wendling | efbbbfd | 2013-02-21 19:46:51 +0000 | [diff] [blame] | 203 | assert(AS.getNumSlots() <= 1 && |
Bill Wendling | 1c20ff0 | 2013-02-20 23:04:11 +0000 | [diff] [blame] | 204 | "Trying to remove more than one attribute set from an argument!"); |
| 205 | AttrBuilder B(AS, AS.getSlotIndex(0)); |
| 206 | getParent()->removeAttributes(getArgNo() + 1, |
| 207 | AttributeSet::get(Parent->getContext(), |
| 208 | getArgNo() + 1, B)); |
Duncan Sands | 66336db | 2008-07-08 09:41:30 +0000 | [diff] [blame] | 209 | } |
Chris Lattner | e30f09d | 2008-01-24 17:47:11 +0000 | [diff] [blame] | 210 | |
Chris Lattner | d255ae2 | 2002-04-09 19:39:35 +0000 | [diff] [blame] | 211 | //===----------------------------------------------------------------------===// |
Chris Lattner | 3e13b8c | 2008-01-02 23:42:30 +0000 | [diff] [blame] | 212 | // Helper Methods in Function |
Reid Spencer | 019c886 | 2007-04-09 15:01:12 +0000 | [diff] [blame] | 213 | //===----------------------------------------------------------------------===// |
| 214 | |
Rafael Espindola | d4bcefc | 2014-10-24 18:13:04 +0000 | [diff] [blame] | 215 | bool Function::isMaterializable() const { |
Duncan P. N. Exon Smith | 4472b77 | 2015-04-24 20:47:23 +0000 | [diff] [blame] | 216 | return getGlobalObjectSubClassData() & IsMaterializableBit; |
Rafael Espindola | d4bcefc | 2014-10-24 18:13:04 +0000 | [diff] [blame] | 217 | } |
| 218 | |
Duncan P. N. Exon Smith | 4472b77 | 2015-04-24 20:47:23 +0000 | [diff] [blame] | 219 | void Function::setIsMaterializable(bool V) { |
| 220 | setGlobalObjectBit(IsMaterializableBit, V); |
| 221 | } |
Rafael Espindola | d4bcefc | 2014-10-24 18:13:04 +0000 | [diff] [blame] | 222 | |
Owen Anderson | 47db941 | 2009-07-22 00:24:57 +0000 | [diff] [blame] | 223 | LLVMContext &Function::getContext() const { |
| 224 | return getType()->getContext(); |
Owen Anderson | 0a2c458 | 2009-07-02 18:03:58 +0000 | [diff] [blame] | 225 | } |
| 226 | |
David Blaikie | 15d9a4c | 2015-04-06 20:59:48 +0000 | [diff] [blame] | 227 | FunctionType *Function::getFunctionType() const { return Ty; } |
Reid Spencer | 019c886 | 2007-04-09 15:01:12 +0000 | [diff] [blame] | 228 | |
Chris Lattner | 3e13b8c | 2008-01-02 23:42:30 +0000 | [diff] [blame] | 229 | bool Function::isVarArg() const { |
| 230 | return getFunctionType()->isVarArg(); |
Reid Spencer | 019c886 | 2007-04-09 15:01:12 +0000 | [diff] [blame] | 231 | } |
| 232 | |
Chris Lattner | b1ed91f | 2011-07-09 17:41:24 +0000 | [diff] [blame] | 233 | Type *Function::getReturnType() const { |
Chris Lattner | 3e13b8c | 2008-01-02 23:42:30 +0000 | [diff] [blame] | 234 | return getFunctionType()->getReturnType(); |
Duncan Sands | 185eeac | 2007-11-25 14:10:56 +0000 | [diff] [blame] | 235 | } |
| 236 | |
Chris Lattner | 3e13b8c | 2008-01-02 23:42:30 +0000 | [diff] [blame] | 237 | void Function::removeFromParent() { |
| 238 | getParent()->getFunctionList().remove(this); |
Duncan Sands | 185eeac | 2007-11-25 14:10:56 +0000 | [diff] [blame] | 239 | } |
| 240 | |
Chris Lattner | 3e13b8c | 2008-01-02 23:42:30 +0000 | [diff] [blame] | 241 | void Function::eraseFromParent() { |
| 242 | getParent()->getFunctionList().erase(this); |
Reid Spencer | 019c886 | 2007-04-09 15:01:12 +0000 | [diff] [blame] | 243 | } |
| 244 | |
Reid Spencer | 019c886 | 2007-04-09 15:01:12 +0000 | [diff] [blame] | 245 | //===----------------------------------------------------------------------===// |
Chris Lattner | 57698e2 | 2002-03-26 18:01:55 +0000 | [diff] [blame] | 246 | // Function Implementation |
Chris Lattner | da97550 | 2001-09-10 07:58:01 +0000 | [diff] [blame] | 247 | //===----------------------------------------------------------------------===// |
| 248 | |
Rafael Espindola | 1b47a28 | 2014-10-23 15:20:05 +0000 | [diff] [blame] | 249 | Function::Function(FunctionType *Ty, LinkageTypes Linkage, const Twine &name, |
| 250 | Module *ParentModule) |
David Blaikie | d583b19 | 2015-08-21 21:35:28 +0000 | [diff] [blame] | 251 | : GlobalObject(Ty, Value::FunctionVal, |
David Majnemer | 7fddecc | 2015-06-17 20:52:32 +0000 | [diff] [blame] | 252 | OperandTraits<Function>::op_begin(this), 0, Linkage, name), |
David Blaikie | 15d9a4c | 2015-04-06 20:59:48 +0000 | [diff] [blame] | 253 | Ty(Ty) { |
Chris Lattner | 654695b | 2009-01-05 07:58:59 +0000 | [diff] [blame] | 254 | assert(FunctionType::isValidReturnType(getReturnType()) && |
Chris Lattner | b1ed91f | 2011-07-09 17:41:24 +0000 | [diff] [blame] | 255 | "invalid return type"); |
Duncan P. N. Exon Smith | 4472b77 | 2015-04-24 20:47:23 +0000 | [diff] [blame] | 256 | setGlobalObjectSubClassData(0); |
Reid Spencer | 3aaaa0b | 2007-02-05 20:47:22 +0000 | [diff] [blame] | 257 | SymTab = new ValueSymbolTable(); |
Chris Lattner | 6213ae0 | 2002-09-06 20:46:32 +0000 | [diff] [blame] | 258 | |
Chris Lattner | e2de908 | 2007-08-18 06:14:52 +0000 | [diff] [blame] | 259 | // If the function has arguments, mark them as lazily built. |
| 260 | if (Ty->getNumParams()) |
Chris Lattner | b9c8651 | 2009-12-29 02:14:09 +0000 | [diff] [blame] | 261 | setValueSubclassData(1); // Set the "has lazy arguments" bit. |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 262 | |
Chris Lattner | 6213ae0 | 2002-09-06 20:46:32 +0000 | [diff] [blame] | 263 | if (ParentModule) |
| 264 | ParentModule->getFunctionList().push_back(this); |
Duncan Sands | a8ff6ca | 2008-04-07 13:39:11 +0000 | [diff] [blame] | 265 | |
| 266 | // Ensure intrinsics have the right parameter attributes. |
Pete Cooper | a7c0c18 | 2015-05-19 00:24:26 +0000 | [diff] [blame] | 267 | // Note, the IntID field will have been set in Value::setName if this function |
| 268 | // name is a valid intrinsic ID. |
| 269 | if (IntID) |
| 270 | setAttributes(Intrinsic::getAttributes(getContext(), IntID)); |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 271 | } |
| 272 | |
Gordon Henriksen | 14a5569 | 2007-12-10 02:14:30 +0000 | [diff] [blame] | 273 | Function::~Function() { |
| 274 | dropAllReferences(); // After this it is safe to delete instructions. |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 275 | |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 276 | // Delete all of the method arguments and unlink from symbol table... |
Gordon Henriksen | 14a5569 | 2007-12-10 02:14:30 +0000 | [diff] [blame] | 277 | ArgumentList.clear(); |
| 278 | delete SymTab; |
Reid Spencer | c6a8384 | 2007-04-22 17:28:03 +0000 | [diff] [blame] | 279 | |
Gordon Henriksen | d930f91 | 2008-08-17 18:44:35 +0000 | [diff] [blame] | 280 | // Remove the function from the on-the-side GC table. |
| 281 | clearGC(); |
David Majnemer | 7fddecc | 2015-06-17 20:52:32 +0000 | [diff] [blame] | 282 | |
| 283 | // FIXME: needed by operator delete |
| 284 | setFunctionNumOperands(1); |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 285 | } |
| 286 | |
Chris Lattner | e2de908 | 2007-08-18 06:14:52 +0000 | [diff] [blame] | 287 | void Function::BuildLazyArguments() const { |
| 288 | // Create the arguments vector, all arguments start out unnamed. |
Chris Lattner | 229907c | 2011-07-18 04:54:35 +0000 | [diff] [blame] | 289 | FunctionType *FT = getFunctionType(); |
Chris Lattner | e2de908 | 2007-08-18 06:14:52 +0000 | [diff] [blame] | 290 | for (unsigned i = 0, e = FT->getNumParams(); i != e; ++i) { |
Benjamin Kramer | ccce8ba | 2010-01-05 13:12:22 +0000 | [diff] [blame] | 291 | assert(!FT->getParamType(i)->isVoidTy() && |
Chris Lattner | e2de908 | 2007-08-18 06:14:52 +0000 | [diff] [blame] | 292 | "Cannot have void typed arguments!"); |
| 293 | ArgumentList.push_back(new Argument(FT->getParamType(i))); |
| 294 | } |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 295 | |
Chris Lattner | e2de908 | 2007-08-18 06:14:52 +0000 | [diff] [blame] | 296 | // Clear the lazy arguments bit. |
Chris Lattner | b9c8651 | 2009-12-29 02:14:09 +0000 | [diff] [blame] | 297 | unsigned SDC = getSubclassDataFromValue(); |
Peter Collingbourne | 51d2de7 | 2014-12-03 02:08:38 +0000 | [diff] [blame] | 298 | const_cast<Function*>(this)->setValueSubclassData(SDC &= ~(1<<0)); |
Chris Lattner | e2de908 | 2007-08-18 06:14:52 +0000 | [diff] [blame] | 299 | } |
| 300 | |
| 301 | size_t Function::arg_size() const { |
| 302 | return getFunctionType()->getNumParams(); |
| 303 | } |
| 304 | bool Function::arg_empty() const { |
| 305 | return getFunctionType()->getNumParams() == 0; |
| 306 | } |
| 307 | |
Chris Lattner | 4e8c487 | 2002-03-23 22:51:58 +0000 | [diff] [blame] | 308 | void Function::setParent(Module *parent) { |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 309 | Parent = parent; |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 310 | } |
| 311 | |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 312 | // dropAllReferences() - This function causes all the subinstructions to "let |
| 313 | // go" of all references that they are maintaining. This allows one to |
| 314 | // 'delete' a whole class at a time, even though there may be circular |
| 315 | // references... first all references are dropped, and all use counts go to |
Misha Brukman | fa10053 | 2003-10-10 17:54:14 +0000 | [diff] [blame] | 316 | // zero. Then everything is deleted for real. Note that no operations are |
Misha Brukman | b1c9317 | 2005-04-21 23:48:37 +0000 | [diff] [blame] | 317 | // valid on an object that has "dropped all references", except operator |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 318 | // delete. |
| 319 | // |
Chris Lattner | 4e8c487 | 2002-03-23 22:51:58 +0000 | [diff] [blame] | 320 | void Function::dropAllReferences() { |
Rafael Espindola | d4bcefc | 2014-10-24 18:13:04 +0000 | [diff] [blame] | 321 | setIsMaterializable(false); |
| 322 | |
Chris Lattner | 113f4f4 | 2002-06-25 16:13:24 +0000 | [diff] [blame] | 323 | for (iterator I = begin(), E = end(); I != E; ++I) |
| 324 | I->dropAllReferences(); |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 325 | |
Dan Gohman | f844b3b | 2010-12-07 19:56:51 +0000 | [diff] [blame] | 326 | // Delete all basic blocks. They are now unused, except possibly by |
| 327 | // blockaddresses, but BasicBlock's destructor takes care of those. |
| 328 | while (!BasicBlocks.empty()) |
| 329 | BasicBlocks.begin()->eraseFromParent(); |
Peter Collingbourne | 3fa50f9 | 2013-09-16 01:08:15 +0000 | [diff] [blame] | 330 | |
Peter Collingbourne | 51d2de7 | 2014-12-03 02:08:38 +0000 | [diff] [blame] | 331 | // Prefix and prologue data are stored in a side table. |
Craig Topper | c620761 | 2014-04-09 06:08:46 +0000 | [diff] [blame] | 332 | setPrefixData(nullptr); |
Peter Collingbourne | 51d2de7 | 2014-12-03 02:08:38 +0000 | [diff] [blame] | 333 | setPrologueData(nullptr); |
Duncan P. N. Exon Smith | e2510cd | 2015-04-24 21:51:02 +0000 | [diff] [blame] | 334 | |
| 335 | // Metadata is stored in a side-table. |
| 336 | clearMetadata(); |
David Majnemer | 7fddecc | 2015-06-17 20:52:32 +0000 | [diff] [blame] | 337 | |
| 338 | setPersonalityFn(nullptr); |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 339 | } |
Chris Lattner | da97550 | 2001-09-10 07:58:01 +0000 | [diff] [blame] | 340 | |
Bill Wendling | c0e2a1f | 2013-01-23 00:20:53 +0000 | [diff] [blame] | 341 | void Function::addAttribute(unsigned i, Attribute::AttrKind attr) { |
Bill Wendling | e94d843 | 2012-12-07 23:16:57 +0000 | [diff] [blame] | 342 | AttributeSet PAL = getAttributes(); |
Bill Wendling | c0e2a1f | 2013-01-23 00:20:53 +0000 | [diff] [blame] | 343 | PAL = PAL.addAttribute(getContext(), i, attr); |
Devang Patel | 4c758ea | 2008-09-25 21:00:45 +0000 | [diff] [blame] | 344 | setAttributes(PAL); |
Eric Christopher | 901b1a7 | 2008-05-16 20:39:43 +0000 | [diff] [blame] | 345 | } |
| 346 | |
Bill Wendling | c0e2a1f | 2013-01-23 00:20:53 +0000 | [diff] [blame] | 347 | void Function::addAttributes(unsigned i, AttributeSet attrs) { |
Bill Wendling | e94d843 | 2012-12-07 23:16:57 +0000 | [diff] [blame] | 348 | AttributeSet PAL = getAttributes(); |
Bill Wendling | c0e2a1f | 2013-01-23 00:20:53 +0000 | [diff] [blame] | 349 | PAL = PAL.addAttributes(getContext(), i, attrs); |
| 350 | setAttributes(PAL); |
| 351 | } |
| 352 | |
Bill Wendling | 430fa9b | 2013-01-23 00:45:55 +0000 | [diff] [blame] | 353 | void Function::removeAttributes(unsigned i, AttributeSet attrs) { |
Bill Wendling | c0e2a1f | 2013-01-23 00:20:53 +0000 | [diff] [blame] | 354 | AttributeSet PAL = getAttributes(); |
Bill Wendling | 430fa9b | 2013-01-23 00:45:55 +0000 | [diff] [blame] | 355 | PAL = PAL.removeAttributes(getContext(), i, attrs); |
Devang Patel | 4c758ea | 2008-09-25 21:00:45 +0000 | [diff] [blame] | 356 | setAttributes(PAL); |
Duncan Sands | 66336db | 2008-07-08 09:41:30 +0000 | [diff] [blame] | 357 | } |
| 358 | |
Ramkumar Ramachandra | 8fcb498 | 2015-02-14 19:37:54 +0000 | [diff] [blame] | 359 | void Function::addDereferenceableAttr(unsigned i, uint64_t Bytes) { |
| 360 | AttributeSet PAL = getAttributes(); |
| 361 | PAL = PAL.addDereferenceableAttr(getContext(), i, Bytes); |
| 362 | setAttributes(PAL); |
| 363 | } |
| 364 | |
Sanjoy Das | 31ea6d1 | 2015-04-16 20:29:50 +0000 | [diff] [blame] | 365 | void Function::addDereferenceableOrNullAttr(unsigned i, uint64_t Bytes) { |
| 366 | AttributeSet PAL = getAttributes(); |
| 367 | PAL = PAL.addDereferenceableOrNullAttr(getContext(), i, Bytes); |
| 368 | setAttributes(PAL); |
| 369 | } |
| 370 | |
Gordon Henriksen | d930f91 | 2008-08-17 18:44:35 +0000 | [diff] [blame] | 371 | // Maintain the GC name for each function in an on-the-side table. This saves |
| 372 | // allocating an additional word in Function for programs which do not use GC |
| 373 | // (i.e., most programs) at the cost of increased overhead for clients which do |
| 374 | // use GC. |
Owen Anderson | ed14e76 | 2009-06-17 23:49:06 +0000 | [diff] [blame] | 375 | static DenseMap<const Function*,PooledStringPtr> *GCNames; |
| 376 | static StringPool *GCNamePool; |
Owen Anderson | 7f1ef67 | 2009-06-18 20:56:48 +0000 | [diff] [blame] | 377 | static ManagedStatic<sys::SmartRWMutex<true> > GCLock; |
Gordon Henriksen | 71183b6 | 2007-12-10 03:18:06 +0000 | [diff] [blame] | 378 | |
Gordon Henriksen | d930f91 | 2008-08-17 18:44:35 +0000 | [diff] [blame] | 379 | bool Function::hasGC() const { |
Owen Anderson | 5c96ef7 | 2009-07-07 18:33:04 +0000 | [diff] [blame] | 380 | sys::SmartScopedReader<true> Reader(*GCLock); |
Owen Anderson | 7f1ef67 | 2009-06-18 20:56:48 +0000 | [diff] [blame] | 381 | return GCNames && GCNames->count(this); |
Gordon Henriksen | 71183b6 | 2007-12-10 03:18:06 +0000 | [diff] [blame] | 382 | } |
| 383 | |
Gordon Henriksen | d930f91 | 2008-08-17 18:44:35 +0000 | [diff] [blame] | 384 | const char *Function::getGC() const { |
| 385 | assert(hasGC() && "Function has no collector"); |
Owen Anderson | 5c96ef7 | 2009-07-07 18:33:04 +0000 | [diff] [blame] | 386 | sys::SmartScopedReader<true> Reader(*GCLock); |
Owen Anderson | 7f1ef67 | 2009-06-18 20:56:48 +0000 | [diff] [blame] | 387 | return *(*GCNames)[this]; |
Gordon Henriksen | 71183b6 | 2007-12-10 03:18:06 +0000 | [diff] [blame] | 388 | } |
| 389 | |
Gordon Henriksen | d930f91 | 2008-08-17 18:44:35 +0000 | [diff] [blame] | 390 | void Function::setGC(const char *Str) { |
Owen Anderson | 5c96ef7 | 2009-07-07 18:33:04 +0000 | [diff] [blame] | 391 | sys::SmartScopedWriter<true> Writer(*GCLock); |
Owen Anderson | ed14e76 | 2009-06-17 23:49:06 +0000 | [diff] [blame] | 392 | if (!GCNamePool) |
| 393 | GCNamePool = new StringPool(); |
| 394 | if (!GCNames) |
| 395 | GCNames = new DenseMap<const Function*,PooledStringPtr>(); |
| 396 | (*GCNames)[this] = GCNamePool->intern(Str); |
Gordon Henriksen | 71183b6 | 2007-12-10 03:18:06 +0000 | [diff] [blame] | 397 | } |
| 398 | |
Gordon Henriksen | d930f91 | 2008-08-17 18:44:35 +0000 | [diff] [blame] | 399 | void Function::clearGC() { |
Owen Anderson | 5c96ef7 | 2009-07-07 18:33:04 +0000 | [diff] [blame] | 400 | sys::SmartScopedWriter<true> Writer(*GCLock); |
Owen Anderson | ed14e76 | 2009-06-17 23:49:06 +0000 | [diff] [blame] | 401 | if (GCNames) { |
Gordon Henriksen | d930f91 | 2008-08-17 18:44:35 +0000 | [diff] [blame] | 402 | GCNames->erase(this); |
Owen Anderson | ed14e76 | 2009-06-17 23:49:06 +0000 | [diff] [blame] | 403 | if (GCNames->empty()) { |
| 404 | delete GCNames; |
Craig Topper | c620761 | 2014-04-09 06:08:46 +0000 | [diff] [blame] | 405 | GCNames = nullptr; |
Owen Anderson | ed14e76 | 2009-06-17 23:49:06 +0000 | [diff] [blame] | 406 | if (GCNamePool->empty()) { |
| 407 | delete GCNamePool; |
Craig Topper | c620761 | 2014-04-09 06:08:46 +0000 | [diff] [blame] | 408 | GCNamePool = nullptr; |
Owen Anderson | ed14e76 | 2009-06-17 23:49:06 +0000 | [diff] [blame] | 409 | } |
| 410 | } |
| 411 | } |
Gordon Henriksen | 71183b6 | 2007-12-10 03:18:06 +0000 | [diff] [blame] | 412 | } |
| 413 | |
Duncan Sands | dd7daee | 2008-05-26 19:58:59 +0000 | [diff] [blame] | 414 | /// copyAttributesFrom - copy all additional attributes (those not needed to |
| 415 | /// create a Function) from the Function Src to this one. |
| 416 | void Function::copyAttributesFrom(const GlobalValue *Src) { |
| 417 | assert(isa<Function>(Src) && "Expected a Function!"); |
Rafael Espindola | 99e05cf | 2014-05-13 18:45:48 +0000 | [diff] [blame] | 418 | GlobalObject::copyAttributesFrom(Src); |
Duncan Sands | dd7daee | 2008-05-26 19:58:59 +0000 | [diff] [blame] | 419 | const Function *SrcF = cast<Function>(Src); |
| 420 | setCallingConv(SrcF->getCallingConv()); |
Devang Patel | 4c758ea | 2008-09-25 21:00:45 +0000 | [diff] [blame] | 421 | setAttributes(SrcF->getAttributes()); |
Gordon Henriksen | d930f91 | 2008-08-17 18:44:35 +0000 | [diff] [blame] | 422 | if (SrcF->hasGC()) |
| 423 | setGC(SrcF->getGC()); |
| 424 | else |
| 425 | clearGC(); |
Peter Collingbourne | 3fa50f9 | 2013-09-16 01:08:15 +0000 | [diff] [blame] | 426 | if (SrcF->hasPrefixData()) |
| 427 | setPrefixData(SrcF->getPrefixData()); |
| 428 | else |
Craig Topper | c620761 | 2014-04-09 06:08:46 +0000 | [diff] [blame] | 429 | setPrefixData(nullptr); |
Peter Collingbourne | 51d2de7 | 2014-12-03 02:08:38 +0000 | [diff] [blame] | 430 | if (SrcF->hasPrologueData()) |
| 431 | setPrologueData(SrcF->getPrologueData()); |
| 432 | else |
| 433 | setPrologueData(nullptr); |
David Majnemer | 7fddecc | 2015-06-17 20:52:32 +0000 | [diff] [blame] | 434 | if (SrcF->hasPersonalityFn()) |
| 435 | setPersonalityFn(SrcF->getPersonalityFn()); |
| 436 | else |
| 437 | setPersonalityFn(nullptr); |
Duncan Sands | dd7daee | 2008-05-26 19:58:59 +0000 | [diff] [blame] | 438 | } |
| 439 | |
Pete Cooper | 2124113 | 2015-05-19 00:02:25 +0000 | [diff] [blame] | 440 | /// \brief This does the actual lookup of an intrinsic ID which |
| 441 | /// matches the given function name. |
| 442 | static Intrinsic::ID lookupIntrinsicID(const ValueName *ValName) { |
| 443 | unsigned Len = ValName->getKeyLength(); |
| 444 | const char *Name = ValName->getKeyData(); |
| 445 | |
| 446 | #define GET_FUNCTION_RECOGNIZER |
| 447 | #include "llvm/IR/Intrinsics.gen" |
| 448 | #undef GET_FUNCTION_RECOGNIZER |
| 449 | |
| 450 | return Intrinsic::not_intrinsic; |
| 451 | } |
| 452 | |
Pete Cooper | a7c0c18 | 2015-05-19 00:24:26 +0000 | [diff] [blame] | 453 | void Function::recalculateIntrinsicID() { |
Chris Lattner | 1e92e06 | 2007-02-15 19:17:16 +0000 | [diff] [blame] | 454 | const ValueName *ValName = this->getValueName(); |
Pete Cooper | a7c0c18 | 2015-05-19 00:24:26 +0000 | [diff] [blame] | 455 | if (!ValName || !isIntrinsic()) { |
| 456 | IntID = Intrinsic::not_intrinsic; |
| 457 | return; |
Michael Ilseman | 516d703 | 2013-03-01 18:48:54 +0000 | [diff] [blame] | 458 | } |
Pete Cooper | a7c0c18 | 2015-05-19 00:24:26 +0000 | [diff] [blame] | 459 | IntID = lookupIntrinsicID(ValName); |
Michael Ilseman | 516d703 | 2013-03-01 18:48:54 +0000 | [diff] [blame] | 460 | } |
| 461 | |
Philip Reames | 319c48e | 2014-11-12 00:21:51 +0000 | [diff] [blame] | 462 | /// Returns a stable mangling for the type specified for use in the name |
Philip Reames | 059ecbf | 2014-11-24 23:24:24 +0000 | [diff] [blame] | 463 | /// mangling scheme used by 'any' types in intrinsic signatures. The mangling |
| 464 | /// of named types is simply their name. Manglings for unnamed types consist |
| 465 | /// of a prefix ('p' for pointers, 'a' for arrays, 'f_' for functions) |
| 466 | /// combined with the mangling of their component types. A vararg function |
| 467 | /// type will have a suffix of 'vararg'. Since function types can contain |
| 468 | /// other function types, we close a function type mangling with suffix 'f' |
| 469 | /// which can't be confused with it's prefix. This ensures we don't have |
| 470 | /// collisions between two unrelated function types. Otherwise, you might |
| 471 | /// parse ffXX as f(fXX) or f(fX)X. (X is a placeholder for any other type.) |
Philip Reames | 8d5d68f | 2015-01-14 23:05:17 +0000 | [diff] [blame] | 472 | /// Manglings of integers, floats, and vectors ('i', 'f', and 'v' prefix in most |
| 473 | /// cases) fall back to the MVT codepath, where they could be mangled to |
| 474 | /// 'x86mmx', for example; matching on derived types is not sufficient to mangle |
| 475 | /// everything. |
Philip Reames | 319c48e | 2014-11-12 00:21:51 +0000 | [diff] [blame] | 476 | static std::string getMangledTypeStr(Type* Ty) { |
| 477 | std::string Result; |
| 478 | if (PointerType* PTyp = dyn_cast<PointerType>(Ty)) { |
| 479 | Result += "p" + llvm::utostr(PTyp->getAddressSpace()) + |
| 480 | getMangledTypeStr(PTyp->getElementType()); |
| 481 | } else if (ArrayType* ATyp = dyn_cast<ArrayType>(Ty)) { |
| 482 | Result += "a" + llvm::utostr(ATyp->getNumElements()) + |
| 483 | getMangledTypeStr(ATyp->getElementType()); |
| 484 | } else if (StructType* STyp = dyn_cast<StructType>(Ty)) { |
David Blaikie | b340f0a | 2015-05-08 18:52:28 +0000 | [diff] [blame] | 485 | assert(!STyp->isLiteral() && "TODO: implement literal types"); |
| 486 | Result += STyp->getName(); |
Philip Reames | 319c48e | 2014-11-12 00:21:51 +0000 | [diff] [blame] | 487 | } else if (FunctionType* FT = dyn_cast<FunctionType>(Ty)) { |
| 488 | Result += "f_" + getMangledTypeStr(FT->getReturnType()); |
| 489 | for (size_t i = 0; i < FT->getNumParams(); i++) |
| 490 | Result += getMangledTypeStr(FT->getParamType(i)); |
| 491 | if (FT->isVarArg()) |
| 492 | Result += "vararg"; |
Philip Reames | 059ecbf | 2014-11-24 23:24:24 +0000 | [diff] [blame] | 493 | // Ensure nested function types are distinguishable. |
| 494 | Result += "f"; |
Philip Reames | 319c48e | 2014-11-12 00:21:51 +0000 | [diff] [blame] | 495 | } else if (Ty) |
| 496 | Result += EVT::getEVT(Ty).getEVTString(); |
| 497 | return Result; |
| 498 | } |
| 499 | |
Benjamin Kramer | e6e1933 | 2011-07-14 17:45:39 +0000 | [diff] [blame] | 500 | std::string Intrinsic::getName(ID id, ArrayRef<Type*> Tys) { |
Chris Lattner | 71b8c98 | 2006-03-25 06:32:47 +0000 | [diff] [blame] | 501 | assert(id < num_intrinsics && "Invalid intrinsic ID!"); |
Chris Lattner | f5ba041 | 2011-04-25 22:14:33 +0000 | [diff] [blame] | 502 | static const char * const Table[] = { |
Chris Lattner | 71b8c98 | 2006-03-25 06:32:47 +0000 | [diff] [blame] | 503 | "not_intrinsic", |
| 504 | #define GET_INTRINSIC_NAME_TABLE |
Chandler Carruth | db25c6c | 2013-01-02 12:09:16 +0000 | [diff] [blame] | 505 | #include "llvm/IR/Intrinsics.gen" |
Chris Lattner | 71b8c98 | 2006-03-25 06:32:47 +0000 | [diff] [blame] | 506 | #undef GET_INTRINSIC_NAME_TABLE |
| 507 | }; |
Benjamin Kramer | e6e1933 | 2011-07-14 17:45:39 +0000 | [diff] [blame] | 508 | if (Tys.empty()) |
Reid Spencer | 2a2117c | 2007-04-01 07:25:33 +0000 | [diff] [blame] | 509 | return Table[id]; |
| 510 | std::string Result(Table[id]); |
Benjamin Kramer | e6e1933 | 2011-07-14 17:45:39 +0000 | [diff] [blame] | 511 | for (unsigned i = 0; i < Tys.size(); ++i) { |
Philip Reames | 319c48e | 2014-11-12 00:21:51 +0000 | [diff] [blame] | 512 | Result += "." + getMangledTypeStr(Tys[i]); |
Mon P Wang | 2c839d4 | 2008-07-30 04:36:53 +0000 | [diff] [blame] | 513 | } |
Reid Spencer | 2a2117c | 2007-04-01 07:25:33 +0000 | [diff] [blame] | 514 | return Result; |
Chris Lattner | 71b8c98 | 2006-03-25 06:32:47 +0000 | [diff] [blame] | 515 | } |
| 516 | |
Chris Lattner | 7f0e7ba | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 517 | |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 518 | /// IIT_Info - These are enumerators that describe the entries returned by the |
| 519 | /// getIntrinsicInfoTableEntries function. |
| 520 | /// |
| 521 | /// NOTE: This must be kept in synch with the copy in TblGen/IntrinsicEmitter! |
| 522 | enum IIT_Info { |
Robert Khasanov | 65c2756 | 2014-10-20 19:25:05 +0000 | [diff] [blame] | 523 | // Common values should be encoded with 0-15. |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 524 | IIT_Done = 0, |
| 525 | IIT_I1 = 1, |
| 526 | IIT_I8 = 2, |
| 527 | IIT_I16 = 3, |
| 528 | IIT_I32 = 4, |
| 529 | IIT_I64 = 5, |
Michael Ilseman | 6c6d715 | 2013-01-11 01:45:05 +0000 | [diff] [blame] | 530 | IIT_F16 = 6, |
| 531 | IIT_F32 = 7, |
| 532 | IIT_F64 = 8, |
| 533 | IIT_V2 = 9, |
| 534 | IIT_V4 = 10, |
| 535 | IIT_V8 = 11, |
| 536 | IIT_V16 = 12, |
| 537 | IIT_V32 = 13, |
Robert Khasanov | 65c2756 | 2014-10-20 19:25:05 +0000 | [diff] [blame] | 538 | IIT_PTR = 14, |
| 539 | IIT_ARG = 15, |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 540 | |
Robert Khasanov | 65c2756 | 2014-10-20 19:25:05 +0000 | [diff] [blame] | 541 | // Values from 16+ are only encodable with the inefficient encoding. |
| 542 | IIT_V64 = 16, |
Robert Khasanov | b25e562 | 2014-09-30 11:32:22 +0000 | [diff] [blame] | 543 | IIT_MMX = 17, |
Joseph Tremoulet | 917c738 | 2015-09-02 13:36:25 +0000 | [diff] [blame] | 544 | IIT_TOKEN = 18, |
| 545 | IIT_METADATA = 19, |
| 546 | IIT_EMPTYSTRUCT = 20, |
| 547 | IIT_STRUCT2 = 21, |
| 548 | IIT_STRUCT3 = 22, |
| 549 | IIT_STRUCT4 = 23, |
| 550 | IIT_STRUCT5 = 24, |
| 551 | IIT_EXTEND_ARG = 25, |
| 552 | IIT_TRUNC_ARG = 26, |
| 553 | IIT_ANYPTR = 27, |
| 554 | IIT_V1 = 28, |
| 555 | IIT_VARARG = 29, |
| 556 | IIT_HALF_VEC_ARG = 30, |
| 557 | IIT_SAME_VEC_WIDTH_ARG = 31, |
| 558 | IIT_PTR_TO_ARG = 32, |
| 559 | IIT_VEC_OF_PTRS_TO_ELT = 33, |
| 560 | IIT_I128 = 34 |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 561 | }; |
| 562 | |
| 563 | |
| 564 | static void DecodeIITType(unsigned &NextElt, ArrayRef<unsigned char> Infos, |
| 565 | SmallVectorImpl<Intrinsic::IITDescriptor> &OutputTable) { |
Chris Lattner | a57c797 | 2012-05-17 05:13:57 +0000 | [diff] [blame] | 566 | IIT_Info Info = IIT_Info(Infos[NextElt++]); |
Chris Lattner | 3e34a7b | 2012-05-17 05:03:24 +0000 | [diff] [blame] | 567 | unsigned StructElts = 2; |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 568 | using namespace Intrinsic; |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 569 | |
Chris Lattner | a57c797 | 2012-05-17 05:13:57 +0000 | [diff] [blame] | 570 | switch (Info) { |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 571 | case IIT_Done: |
| 572 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Void, 0)); |
| 573 | return; |
Andrew Trick | a2efd99 | 2013-10-31 17:18:11 +0000 | [diff] [blame] | 574 | case IIT_VARARG: |
| 575 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::VarArg, 0)); |
| 576 | return; |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 577 | case IIT_MMX: |
| 578 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::MMX, 0)); |
| 579 | return; |
Joseph Tremoulet | 917c738 | 2015-09-02 13:36:25 +0000 | [diff] [blame] | 580 | case IIT_TOKEN: |
| 581 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Token, 0)); |
| 582 | return; |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 583 | case IIT_METADATA: |
| 584 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Metadata, 0)); |
| 585 | return; |
Michael Ilseman | 6c6d715 | 2013-01-11 01:45:05 +0000 | [diff] [blame] | 586 | case IIT_F16: |
| 587 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Half, 0)); |
| 588 | return; |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 589 | case IIT_F32: |
| 590 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Float, 0)); |
| 591 | return; |
| 592 | case IIT_F64: |
| 593 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Double, 0)); |
| 594 | return; |
| 595 | case IIT_I1: |
| 596 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 1)); |
| 597 | return; |
| 598 | case IIT_I8: |
| 599 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 8)); |
| 600 | return; |
| 601 | case IIT_I16: |
| 602 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer,16)); |
| 603 | return; |
| 604 | case IIT_I32: |
| 605 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 32)); |
| 606 | return; |
| 607 | case IIT_I64: |
| 608 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 64)); |
| 609 | return; |
Kit Barton | 6646033 | 2015-05-25 15:49:26 +0000 | [diff] [blame] | 610 | case IIT_I128: |
| 611 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 128)); |
| 612 | return; |
Jiangning Liu | 63dc840 | 2013-09-24 02:47:27 +0000 | [diff] [blame] | 613 | case IIT_V1: |
| 614 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 1)); |
| 615 | DecodeIITType(NextElt, Infos, OutputTable); |
| 616 | return; |
Chris Lattner | 827b253 | 2012-05-17 04:30:58 +0000 | [diff] [blame] | 617 | case IIT_V2: |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 618 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 2)); |
| 619 | DecodeIITType(NextElt, Infos, OutputTable); |
| 620 | return; |
Chris Lattner | 827b253 | 2012-05-17 04:30:58 +0000 | [diff] [blame] | 621 | case IIT_V4: |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 622 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 4)); |
| 623 | DecodeIITType(NextElt, Infos, OutputTable); |
| 624 | return; |
Chris Lattner | 827b253 | 2012-05-17 04:30:58 +0000 | [diff] [blame] | 625 | case IIT_V8: |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 626 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 8)); |
| 627 | DecodeIITType(NextElt, Infos, OutputTable); |
| 628 | return; |
Chris Lattner | 827b253 | 2012-05-17 04:30:58 +0000 | [diff] [blame] | 629 | case IIT_V16: |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 630 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 16)); |
| 631 | DecodeIITType(NextElt, Infos, OutputTable); |
| 632 | return; |
Chris Lattner | 3e34a7b | 2012-05-17 05:03:24 +0000 | [diff] [blame] | 633 | case IIT_V32: |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 634 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 32)); |
| 635 | DecodeIITType(NextElt, Infos, OutputTable); |
| 636 | return; |
Robert Khasanov | b25e562 | 2014-09-30 11:32:22 +0000 | [diff] [blame] | 637 | case IIT_V64: |
| 638 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 64)); |
| 639 | DecodeIITType(NextElt, Infos, OutputTable); |
| 640 | return; |
Chris Lattner | 4f18aa8 | 2012-05-23 05:19:18 +0000 | [diff] [blame] | 641 | case IIT_PTR: |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 642 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Pointer, 0)); |
| 643 | DecodeIITType(NextElt, Infos, OutputTable); |
| 644 | return; |
Chris Lattner | 4f18aa8 | 2012-05-23 05:19:18 +0000 | [diff] [blame] | 645 | case IIT_ANYPTR: { // [ANYPTR addrspace, subtype] |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 646 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Pointer, |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 647 | Infos[NextElt++])); |
| 648 | DecodeIITType(NextElt, Infos, OutputTable); |
| 649 | return; |
Pete Cooper | 243efd7 | 2012-05-21 23:21:28 +0000 | [diff] [blame] | 650 | } |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 651 | case IIT_ARG: { |
| 652 | unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); |
| 653 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Argument, ArgInfo)); |
| 654 | return; |
| 655 | } |
Tim Northover | aa3cf1e | 2014-03-28 12:31:39 +0000 | [diff] [blame] | 656 | case IIT_EXTEND_ARG: { |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 657 | unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); |
Tim Northover | aa3cf1e | 2014-03-28 12:31:39 +0000 | [diff] [blame] | 658 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::ExtendArgument, |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 659 | ArgInfo)); |
| 660 | return; |
| 661 | } |
Tim Northover | aa3cf1e | 2014-03-28 12:31:39 +0000 | [diff] [blame] | 662 | case IIT_TRUNC_ARG: { |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 663 | unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); |
Tim Northover | aa3cf1e | 2014-03-28 12:31:39 +0000 | [diff] [blame] | 664 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::TruncArgument, |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 665 | ArgInfo)); |
| 666 | return; |
Chris Lattner | 3e34a7b | 2012-05-17 05:03:24 +0000 | [diff] [blame] | 667 | } |
Tim Northover | 4516de3 | 2014-03-29 07:04:54 +0000 | [diff] [blame] | 668 | case IIT_HALF_VEC_ARG: { |
| 669 | unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); |
| 670 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::HalfVecArgument, |
| 671 | ArgInfo)); |
| 672 | return; |
| 673 | } |
Elena Demikhovsky | f1de34b | 2014-12-04 09:40:44 +0000 | [diff] [blame] | 674 | case IIT_SAME_VEC_WIDTH_ARG: { |
| 675 | unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); |
| 676 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::SameVecWidthArgument, |
| 677 | ArgInfo)); |
| 678 | return; |
| 679 | } |
Elena Demikhovsky | fb81b93 | 2014-12-25 07:49:20 +0000 | [diff] [blame] | 680 | case IIT_PTR_TO_ARG: { |
| 681 | unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); |
| 682 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::PtrToArgument, |
| 683 | ArgInfo)); |
| 684 | return; |
| 685 | } |
Elena Demikhovsky | 23a485a | 2015-02-08 08:27:19 +0000 | [diff] [blame] | 686 | case IIT_VEC_OF_PTRS_TO_ELT: { |
| 687 | unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); |
| 688 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::VecOfPtrsToElt, |
| 689 | ArgInfo)); |
| 690 | return; |
| 691 | } |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 692 | case IIT_EMPTYSTRUCT: |
| 693 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Struct, 0)); |
| 694 | return; |
Chris Lattner | 3e34a7b | 2012-05-17 05:03:24 +0000 | [diff] [blame] | 695 | case IIT_STRUCT5: ++StructElts; // FALL THROUGH. |
| 696 | case IIT_STRUCT4: ++StructElts; // FALL THROUGH. |
| 697 | case IIT_STRUCT3: ++StructElts; // FALL THROUGH. |
| 698 | case IIT_STRUCT2: { |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 699 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Struct,StructElts)); |
| 700 | |
Chris Lattner | 3e34a7b | 2012-05-17 05:03:24 +0000 | [diff] [blame] | 701 | for (unsigned i = 0; i != StructElts; ++i) |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 702 | DecodeIITType(NextElt, Infos, OutputTable); |
| 703 | return; |
Chris Lattner | 827b253 | 2012-05-17 04:30:58 +0000 | [diff] [blame] | 704 | } |
Chris Lattner | 7f0e7ba | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 705 | } |
| 706 | llvm_unreachable("unhandled"); |
| 707 | } |
Chris Lattner | 7f0e7ba | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 708 | |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 709 | |
| 710 | #define GET_INTRINSIC_GENERATOR_GLOBAL |
Chandler Carruth | db25c6c | 2013-01-02 12:09:16 +0000 | [diff] [blame] | 711 | #include "llvm/IR/Intrinsics.gen" |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 712 | #undef GET_INTRINSIC_GENERATOR_GLOBAL |
| 713 | |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 714 | void Intrinsic::getIntrinsicInfoTableEntries(ID id, |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 715 | SmallVectorImpl<IITDescriptor> &T){ |
Chris Lattner | 7f0e7ba | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 716 | // Check to see if the intrinsic's type was expressible by the table. |
| 717 | unsigned TableVal = IIT_Table[id-1]; |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 718 | |
Chris Lattner | a3b0f52 | 2012-05-17 15:55:41 +0000 | [diff] [blame] | 719 | // Decode the TableVal into an array of IITValues. |
| 720 | SmallVector<unsigned char, 8> IITValues; |
| 721 | ArrayRef<unsigned char> IITEntries; |
| 722 | unsigned NextElt = 0; |
| 723 | if ((TableVal >> 31) != 0) { |
| 724 | // This is an offset into the IIT_LongEncodingTable. |
| 725 | IITEntries = IIT_LongEncodingTable; |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 726 | |
Chris Lattner | a3b0f52 | 2012-05-17 15:55:41 +0000 | [diff] [blame] | 727 | // Strip sentinel bit. |
| 728 | NextElt = (TableVal << 1) >> 1; |
| 729 | } else { |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 730 | // Decode the TableVal into an array of IITValues. If the entry was encoded |
| 731 | // into a single word in the table itself, decode it now. |
Chris Lattner | a57c797 | 2012-05-17 05:13:57 +0000 | [diff] [blame] | 732 | do { |
| 733 | IITValues.push_back(TableVal & 0xF); |
| 734 | TableVal >>= 4; |
| 735 | } while (TableVal); |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 736 | |
Chris Lattner | a3b0f52 | 2012-05-17 15:55:41 +0000 | [diff] [blame] | 737 | IITEntries = IITValues; |
| 738 | NextElt = 0; |
Chris Lattner | 7f0e7ba | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 739 | } |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 740 | |
| 741 | // Okay, decode the table into the output vector of IITDescriptors. |
| 742 | DecodeIITType(NextElt, IITEntries, T); |
| 743 | while (NextElt != IITEntries.size() && IITEntries[NextElt] != 0) |
| 744 | DecodeIITType(NextElt, IITEntries, T); |
| 745 | } |
| 746 | |
| 747 | |
| 748 | static Type *DecodeFixedType(ArrayRef<Intrinsic::IITDescriptor> &Infos, |
| 749 | ArrayRef<Type*> Tys, LLVMContext &Context) { |
| 750 | using namespace Intrinsic; |
| 751 | IITDescriptor D = Infos.front(); |
| 752 | Infos = Infos.slice(1); |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 753 | |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 754 | switch (D.Kind) { |
| 755 | case IITDescriptor::Void: return Type::getVoidTy(Context); |
Andrew Trick | a2efd99 | 2013-10-31 17:18:11 +0000 | [diff] [blame] | 756 | case IITDescriptor::VarArg: return Type::getVoidTy(Context); |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 757 | case IITDescriptor::MMX: return Type::getX86_MMXTy(Context); |
Joseph Tremoulet | 917c738 | 2015-09-02 13:36:25 +0000 | [diff] [blame] | 758 | case IITDescriptor::Token: return Type::getTokenTy(Context); |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 759 | case IITDescriptor::Metadata: return Type::getMetadataTy(Context); |
Michael Ilseman | 6c6d715 | 2013-01-11 01:45:05 +0000 | [diff] [blame] | 760 | case IITDescriptor::Half: return Type::getHalfTy(Context); |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 761 | case IITDescriptor::Float: return Type::getFloatTy(Context); |
| 762 | case IITDescriptor::Double: return Type::getDoubleTy(Context); |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 763 | |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 764 | case IITDescriptor::Integer: |
| 765 | return IntegerType::get(Context, D.Integer_Width); |
| 766 | case IITDescriptor::Vector: |
| 767 | return VectorType::get(DecodeFixedType(Infos, Tys, Context),D.Vector_Width); |
| 768 | case IITDescriptor::Pointer: |
| 769 | return PointerType::get(DecodeFixedType(Infos, Tys, Context), |
| 770 | D.Pointer_AddressSpace); |
| 771 | case IITDescriptor::Struct: { |
| 772 | Type *Elts[5]; |
| 773 | assert(D.Struct_NumElements <= 5 && "Can't handle this yet"); |
| 774 | for (unsigned i = 0, e = D.Struct_NumElements; i != e; ++i) |
| 775 | Elts[i] = DecodeFixedType(Infos, Tys, Context); |
Craig Topper | e1d1294 | 2014-08-27 05:25:25 +0000 | [diff] [blame] | 776 | return StructType::get(Context, makeArrayRef(Elts,D.Struct_NumElements)); |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 777 | } |
| 778 | |
| 779 | case IITDescriptor::Argument: |
| 780 | return Tys[D.getArgumentNumber()]; |
Tim Northover | aa3cf1e | 2014-03-28 12:31:39 +0000 | [diff] [blame] | 781 | case IITDescriptor::ExtendArgument: { |
| 782 | Type *Ty = Tys[D.getArgumentNumber()]; |
| 783 | if (VectorType *VTy = dyn_cast<VectorType>(Ty)) |
| 784 | return VectorType::getExtendedElementVectorType(VTy); |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 785 | |
Tim Northover | aa3cf1e | 2014-03-28 12:31:39 +0000 | [diff] [blame] | 786 | return IntegerType::get(Context, 2 * cast<IntegerType>(Ty)->getBitWidth()); |
| 787 | } |
| 788 | case IITDescriptor::TruncArgument: { |
| 789 | Type *Ty = Tys[D.getArgumentNumber()]; |
| 790 | if (VectorType *VTy = dyn_cast<VectorType>(Ty)) |
| 791 | return VectorType::getTruncatedElementVectorType(VTy); |
| 792 | |
| 793 | IntegerType *ITy = cast<IntegerType>(Ty); |
| 794 | assert(ITy->getBitWidth() % 2 == 0); |
| 795 | return IntegerType::get(Context, ITy->getBitWidth() / 2); |
| 796 | } |
Tim Northover | 4516de3 | 2014-03-29 07:04:54 +0000 | [diff] [blame] | 797 | case IITDescriptor::HalfVecArgument: |
| 798 | return VectorType::getHalfElementsVectorType(cast<VectorType>( |
| 799 | Tys[D.getArgumentNumber()])); |
Elena Demikhovsky | fb81b93 | 2014-12-25 07:49:20 +0000 | [diff] [blame] | 800 | case IITDescriptor::SameVecWidthArgument: { |
Elena Demikhovsky | f1de34b | 2014-12-04 09:40:44 +0000 | [diff] [blame] | 801 | Type *EltTy = DecodeFixedType(Infos, Tys, Context); |
| 802 | Type *Ty = Tys[D.getArgumentNumber()]; |
| 803 | if (VectorType *VTy = dyn_cast<VectorType>(Ty)) { |
| 804 | return VectorType::get(EltTy, VTy->getNumElements()); |
| 805 | } |
| 806 | llvm_unreachable("unhandled"); |
Elena Demikhovsky | fb81b93 | 2014-12-25 07:49:20 +0000 | [diff] [blame] | 807 | } |
| 808 | case IITDescriptor::PtrToArgument: { |
| 809 | Type *Ty = Tys[D.getArgumentNumber()]; |
| 810 | return PointerType::getUnqual(Ty); |
| 811 | } |
Elena Demikhovsky | 23a485a | 2015-02-08 08:27:19 +0000 | [diff] [blame] | 812 | case IITDescriptor::VecOfPtrsToElt: { |
| 813 | Type *Ty = Tys[D.getArgumentNumber()]; |
| 814 | VectorType *VTy = dyn_cast<VectorType>(Ty); |
| 815 | if (!VTy) |
| 816 | llvm_unreachable("Expected an argument of Vector Type"); |
| 817 | Type *EltTy = VTy->getVectorElementType(); |
| 818 | return VectorType::get(PointerType::getUnqual(EltTy), |
| 819 | VTy->getNumElements()); |
| 820 | } |
Elena Demikhovsky | f1de34b | 2014-12-04 09:40:44 +0000 | [diff] [blame] | 821 | } |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 822 | llvm_unreachable("unhandled"); |
| 823 | } |
| 824 | |
| 825 | |
| 826 | |
| 827 | FunctionType *Intrinsic::getType(LLVMContext &Context, |
| 828 | ID id, ArrayRef<Type*> Tys) { |
| 829 | SmallVector<IITDescriptor, 8> Table; |
| 830 | getIntrinsicInfoTableEntries(id, Table); |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 831 | |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 832 | ArrayRef<IITDescriptor> TableRef = Table; |
| 833 | Type *ResultTy = DecodeFixedType(TableRef, Tys, Context); |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 834 | |
Chris Lattner | a3b0f52 | 2012-05-17 15:55:41 +0000 | [diff] [blame] | 835 | SmallVector<Type*, 8> ArgTys; |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 836 | while (!TableRef.empty()) |
| 837 | ArgTys.push_back(DecodeFixedType(TableRef, Tys, Context)); |
Jim Laskey | 2682ea6 | 2007-02-07 20:38:26 +0000 | [diff] [blame] | 838 | |
Steven Wu | d05affc | 2014-10-20 15:47:24 +0000 | [diff] [blame] | 839 | // DecodeFixedType returns Void for IITDescriptor::Void and IITDescriptor::VarArg |
| 840 | // If we see void type as the type of the last argument, it is vararg intrinsic |
| 841 | if (!ArgTys.empty() && ArgTys.back()->isVoidTy()) { |
| 842 | ArgTys.pop_back(); |
| 843 | return FunctionType::get(ResultTy, ArgTys, true); |
| 844 | } |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 845 | return FunctionType::get(ResultTy, ArgTys, false); |
Jim Laskey | 2682ea6 | 2007-02-07 20:38:26 +0000 | [diff] [blame] | 846 | } |
| 847 | |
Mon P Wang | b402493 | 2009-02-24 23:17:49 +0000 | [diff] [blame] | 848 | bool Intrinsic::isOverloaded(ID id) { |
Mon P Wang | b402493 | 2009-02-24 23:17:49 +0000 | [diff] [blame] | 849 | #define GET_INTRINSIC_OVERLOAD_TABLE |
Chandler Carruth | db25c6c | 2013-01-02 12:09:16 +0000 | [diff] [blame] | 850 | #include "llvm/IR/Intrinsics.gen" |
Mon P Wang | b402493 | 2009-02-24 23:17:49 +0000 | [diff] [blame] | 851 | #undef GET_INTRINSIC_OVERLOAD_TABLE |
Mon P Wang | b402493 | 2009-02-24 23:17:49 +0000 | [diff] [blame] | 852 | } |
| 853 | |
Sanjoy Das | c65d43e | 2015-06-18 19:28:26 +0000 | [diff] [blame] | 854 | bool Intrinsic::isLeaf(ID id) { |
| 855 | switch (id) { |
| 856 | default: |
| 857 | return true; |
| 858 | |
| 859 | case Intrinsic::experimental_gc_statepoint: |
| 860 | case Intrinsic::experimental_patchpoint_void: |
| 861 | case Intrinsic::experimental_patchpoint_i64: |
| 862 | return false; |
| 863 | } |
| 864 | } |
| 865 | |
Chris Lattner | 49b7ee1 | 2009-01-12 01:18:58 +0000 | [diff] [blame] | 866 | /// This defines the "Intrinsic::getAttributes(ID id)" method. |
Duncan Sands | 38ef3a8 | 2007-12-03 20:06:50 +0000 | [diff] [blame] | 867 | #define GET_INTRINSIC_ATTRIBUTES |
Chandler Carruth | db25c6c | 2013-01-02 12:09:16 +0000 | [diff] [blame] | 868 | #include "llvm/IR/Intrinsics.gen" |
Duncan Sands | 38ef3a8 | 2007-12-03 20:06:50 +0000 | [diff] [blame] | 869 | #undef GET_INTRINSIC_ATTRIBUTES |
| 870 | |
Benjamin Kramer | e6e1933 | 2011-07-14 17:45:39 +0000 | [diff] [blame] | 871 | Function *Intrinsic::getDeclaration(Module *M, ID id, ArrayRef<Type*> Tys) { |
Duncan Sands | 38ef3a8 | 2007-12-03 20:06:50 +0000 | [diff] [blame] | 872 | // There can never be multiple globals with the same name of different types, |
| 873 | // because intrinsics must be a specific type. |
Duncan Sands | a8ff6ca | 2008-04-07 13:39:11 +0000 | [diff] [blame] | 874 | return |
Benjamin Kramer | e6e1933 | 2011-07-14 17:45:39 +0000 | [diff] [blame] | 875 | cast<Function>(M->getOrInsertFunction(getName(id, Tys), |
| 876 | getType(M->getContext(), id, Tys))); |
Jim Laskey | 2682ea6 | 2007-02-07 20:38:26 +0000 | [diff] [blame] | 877 | } |
| 878 | |
Dale Johannesen | b842d52 | 2009-02-05 01:49:45 +0000 | [diff] [blame] | 879 | // This defines the "Intrinsic::getIntrinsicForGCCBuiltin()" method. |
| 880 | #define GET_LLVM_INTRINSIC_FOR_GCC_BUILTIN |
Chandler Carruth | db25c6c | 2013-01-02 12:09:16 +0000 | [diff] [blame] | 881 | #include "llvm/IR/Intrinsics.gen" |
Dale Johannesen | b842d52 | 2009-02-05 01:49:45 +0000 | [diff] [blame] | 882 | #undef GET_LLVM_INTRINSIC_FOR_GCC_BUILTIN |
| 883 | |
Saleem Abdulrasool | 4e63fc4 | 2014-07-04 18:42:25 +0000 | [diff] [blame] | 884 | // This defines the "Intrinsic::getIntrinsicForMSBuiltin()" method. |
| 885 | #define GET_LLVM_INTRINSIC_FOR_MS_BUILTIN |
| 886 | #include "llvm/IR/Intrinsics.gen" |
| 887 | #undef GET_LLVM_INTRINSIC_FOR_MS_BUILTIN |
| 888 | |
Gabor Greif | 161cb04 | 2010-03-23 14:40:20 +0000 | [diff] [blame] | 889 | /// hasAddressTaken - returns true if there are any uses of this function |
| 890 | /// other than direct calls or invokes to it. |
Gabor Greif | a2fbc0a | 2010-03-24 13:21:49 +0000 | [diff] [blame] | 891 | bool Function::hasAddressTaken(const User* *PutOffender) const { |
Chandler Carruth | cdf4788 | 2014-03-09 03:16:01 +0000 | [diff] [blame] | 892 | for (const Use &U : uses()) { |
| 893 | const User *FU = U.getUser(); |
| 894 | if (isa<BlockAddress>(FU)) |
Jay Foad | ca0c499 | 2012-05-12 08:30:16 +0000 | [diff] [blame] | 895 | continue; |
Chandler Carruth | cdf4788 | 2014-03-09 03:16:01 +0000 | [diff] [blame] | 896 | if (!isa<CallInst>(FU) && !isa<InvokeInst>(FU)) |
| 897 | return PutOffender ? (*PutOffender = FU, true) : true; |
| 898 | ImmutableCallSite CS(cast<Instruction>(FU)); |
| 899 | if (!CS.isCallee(&U)) |
| 900 | return PutOffender ? (*PutOffender = FU, true) : true; |
Jay Foad | 557169d | 2009-06-10 08:41:11 +0000 | [diff] [blame] | 901 | } |
| 902 | return false; |
| 903 | } |
| 904 | |
Eli Friedman | 1923a33 | 2011-10-20 05:23:42 +0000 | [diff] [blame] | 905 | bool Function::isDefTriviallyDead() const { |
| 906 | // Check the linkage |
| 907 | if (!hasLinkOnceLinkage() && !hasLocalLinkage() && |
| 908 | !hasAvailableExternallyLinkage()) |
| 909 | return false; |
| 910 | |
| 911 | // Check if the function is used by anything other than a blockaddress. |
Chandler Carruth | cdf4788 | 2014-03-09 03:16:01 +0000 | [diff] [blame] | 912 | for (const User *U : users()) |
| 913 | if (!isa<BlockAddress>(U)) |
Eli Friedman | 1923a33 | 2011-10-20 05:23:42 +0000 | [diff] [blame] | 914 | return false; |
| 915 | |
| 916 | return true; |
| 917 | } |
| 918 | |
Bill Wendling | 63a4ea1 | 2011-10-17 18:43:40 +0000 | [diff] [blame] | 919 | /// callsFunctionThatReturnsTwice - Return true if the function has a call to |
| 920 | /// setjmp or other function that gcc recognizes as "returning twice". |
| 921 | bool Function::callsFunctionThatReturnsTwice() const { |
| 922 | for (const_inst_iterator |
| 923 | I = inst_begin(this), E = inst_end(this); I != E; ++I) { |
Mark Seaborn | 8271118 | 2014-01-14 04:20:01 +0000 | [diff] [blame] | 924 | ImmutableCallSite CS(&*I); |
| 925 | if (CS && CS.hasFnAttr(Attribute::ReturnsTwice)) |
Bill Wendling | 63a4ea1 | 2011-10-17 18:43:40 +0000 | [diff] [blame] | 926 | return true; |
| 927 | } |
| 928 | |
| 929 | return false; |
| 930 | } |
Peter Collingbourne | 3fa50f9 | 2013-09-16 01:08:15 +0000 | [diff] [blame] | 931 | |
Vedant Kumar | 1ab5ea5 | 2015-10-06 20:31:57 +0000 | [diff] [blame] | 932 | static Constant * |
| 933 | getFunctionData(const Function *F, |
| 934 | const LLVMContextImpl::FunctionDataMapTy &Map) { |
| 935 | const auto &Entry = Map.find(F); |
| 936 | assert(Entry != Map.end()); |
| 937 | return cast<Constant>(Entry->second->getReturnValue()); |
| 938 | } |
| 939 | |
| 940 | /// setFunctionData - Set "Map[F] = Data". Return an updated SubclassData value |
| 941 | /// in which Bit is low iff Data is null. |
| 942 | static unsigned setFunctionData(Function *F, |
| 943 | LLVMContextImpl::FunctionDataMapTy &Map, |
| 944 | Constant *Data, unsigned SCData, unsigned Bit) { |
| 945 | ReturnInst *&Holder = Map[F]; |
| 946 | if (Data) { |
| 947 | if (Holder) |
| 948 | Holder->setOperand(0, Data); |
| 949 | else |
| 950 | Holder = ReturnInst::Create(F->getContext(), Data); |
| 951 | return SCData | (1 << Bit); |
| 952 | } else { |
| 953 | delete Holder; |
| 954 | Map.erase(F); |
| 955 | return SCData & ~(1 << Bit); |
| 956 | } |
| 957 | } |
| 958 | |
Peter Collingbourne | 3fa50f9 | 2013-09-16 01:08:15 +0000 | [diff] [blame] | 959 | Constant *Function::getPrefixData() const { |
| 960 | assert(hasPrefixData()); |
Vedant Kumar | 1ab5ea5 | 2015-10-06 20:31:57 +0000 | [diff] [blame] | 961 | return getFunctionData(this, getContext().pImpl->PrefixDataMap); |
Peter Collingbourne | 3fa50f9 | 2013-09-16 01:08:15 +0000 | [diff] [blame] | 962 | } |
| 963 | |
| 964 | void Function::setPrefixData(Constant *PrefixData) { |
| 965 | if (!PrefixData && !hasPrefixData()) |
| 966 | return; |
| 967 | |
| 968 | unsigned SCData = getSubclassDataFromValue(); |
Vedant Kumar | 1ab5ea5 | 2015-10-06 20:31:57 +0000 | [diff] [blame] | 969 | SCData = setFunctionData(this, getContext().pImpl->PrefixDataMap, PrefixData, |
| 970 | SCData, /*Bit=*/1); |
Peter Collingbourne | 3fa50f9 | 2013-09-16 01:08:15 +0000 | [diff] [blame] | 971 | setValueSubclassData(SCData); |
| 972 | } |
Peter Collingbourne | 51d2de7 | 2014-12-03 02:08:38 +0000 | [diff] [blame] | 973 | |
| 974 | Constant *Function::getPrologueData() const { |
| 975 | assert(hasPrologueData()); |
Vedant Kumar | 1ab5ea5 | 2015-10-06 20:31:57 +0000 | [diff] [blame] | 976 | return getFunctionData(this, getContext().pImpl->PrologueDataMap); |
Peter Collingbourne | 51d2de7 | 2014-12-03 02:08:38 +0000 | [diff] [blame] | 977 | } |
| 978 | |
| 979 | void Function::setPrologueData(Constant *PrologueData) { |
| 980 | if (!PrologueData && !hasPrologueData()) |
| 981 | return; |
| 982 | |
Vedant Kumar | 1ab5ea5 | 2015-10-06 20:31:57 +0000 | [diff] [blame] | 983 | unsigned SCData = getSubclassDataFromValue(); |
| 984 | SCData = setFunctionData(this, getContext().pImpl->PrologueDataMap, |
| 985 | PrologueData, SCData, /*Bit=*/2); |
| 986 | setValueSubclassData(SCData); |
Peter Collingbourne | 51d2de7 | 2014-12-03 02:08:38 +0000 | [diff] [blame] | 987 | } |
Akira Hatanaka | 3058d0f | 2015-05-06 23:54:14 +0000 | [diff] [blame] | 988 | |
Diego Novillo | 2567f3d | 2015-05-13 15:13:45 +0000 | [diff] [blame] | 989 | void Function::setEntryCount(uint64_t Count) { |
| 990 | MDBuilder MDB(getContext()); |
| 991 | setMetadata(LLVMContext::MD_prof, MDB.createFunctionEntryCount(Count)); |
| 992 | } |
| 993 | |
| 994 | Optional<uint64_t> Function::getEntryCount() const { |
| 995 | MDNode *MD = getMetadata(LLVMContext::MD_prof); |
| 996 | if (MD && MD->getOperand(0)) |
| 997 | if (MDString *MDS = dyn_cast<MDString>(MD->getOperand(0))) |
| 998 | if (MDS->getString().equals("function_entry_count")) { |
| 999 | ConstantInt *CI = mdconst::extract<ConstantInt>(MD->getOperand(1)); |
| 1000 | return CI->getValue().getZExtValue(); |
| 1001 | } |
| 1002 | return None; |
| 1003 | } |
David Majnemer | 7fddecc | 2015-06-17 20:52:32 +0000 | [diff] [blame] | 1004 | |
| 1005 | void Function::setPersonalityFn(Constant *C) { |
| 1006 | if (!C) { |
| 1007 | if (hasPersonalityFn()) { |
| 1008 | // Note, the num operands is used to compute the offset of the operand, so |
| 1009 | // the order here matters. Clearing the operand then clearing the num |
| 1010 | // operands ensures we have the correct offset to the operand. |
| 1011 | Op<0>().set(nullptr); |
| 1012 | setFunctionNumOperands(0); |
| 1013 | } |
| 1014 | } else { |
| 1015 | // Note, the num operands is used to compute the offset of the operand, so |
| 1016 | // the order here matters. We need to set num operands to 1 first so that |
| 1017 | // we get the correct offset to the first operand when we set it. |
| 1018 | if (!hasPersonalityFn()) |
| 1019 | setFunctionNumOperands(1); |
| 1020 | Op<0>().set(C); |
| 1021 | } |
| 1022 | } |