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() { |
Duncan P. N. Exon Smith | 52888a6 | 2015-10-08 23:49:46 +0000 | [diff] [blame] | 238 | getParent()->getFunctionList().remove(getIterator()); |
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() { |
Duncan P. N. Exon Smith | 52888a6 | 2015-10-08 23:49:46 +0000 | [diff] [blame] | 242 | getParent()->getFunctionList().erase(getIterator()); |
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(); |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 282 | } |
| 283 | |
Chris Lattner | e2de908 | 2007-08-18 06:14:52 +0000 | [diff] [blame] | 284 | void Function::BuildLazyArguments() const { |
| 285 | // Create the arguments vector, all arguments start out unnamed. |
Chris Lattner | 229907c | 2011-07-18 04:54:35 +0000 | [diff] [blame] | 286 | FunctionType *FT = getFunctionType(); |
Chris Lattner | e2de908 | 2007-08-18 06:14:52 +0000 | [diff] [blame] | 287 | for (unsigned i = 0, e = FT->getNumParams(); i != e; ++i) { |
Benjamin Kramer | ccce8ba | 2010-01-05 13:12:22 +0000 | [diff] [blame] | 288 | assert(!FT->getParamType(i)->isVoidTy() && |
Chris Lattner | e2de908 | 2007-08-18 06:14:52 +0000 | [diff] [blame] | 289 | "Cannot have void typed arguments!"); |
| 290 | ArgumentList.push_back(new Argument(FT->getParamType(i))); |
| 291 | } |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 292 | |
Chris Lattner | e2de908 | 2007-08-18 06:14:52 +0000 | [diff] [blame] | 293 | // Clear the lazy arguments bit. |
Chris Lattner | b9c8651 | 2009-12-29 02:14:09 +0000 | [diff] [blame] | 294 | unsigned SDC = getSubclassDataFromValue(); |
Peter Collingbourne | 51d2de7 | 2014-12-03 02:08:38 +0000 | [diff] [blame] | 295 | const_cast<Function*>(this)->setValueSubclassData(SDC &= ~(1<<0)); |
Chris Lattner | e2de908 | 2007-08-18 06:14:52 +0000 | [diff] [blame] | 296 | } |
| 297 | |
| 298 | size_t Function::arg_size() const { |
| 299 | return getFunctionType()->getNumParams(); |
| 300 | } |
| 301 | bool Function::arg_empty() const { |
| 302 | return getFunctionType()->getNumParams() == 0; |
| 303 | } |
| 304 | |
Chris Lattner | 4e8c487 | 2002-03-23 22:51:58 +0000 | [diff] [blame] | 305 | void Function::setParent(Module *parent) { |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 306 | Parent = parent; |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 307 | } |
| 308 | |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 309 | // dropAllReferences() - This function causes all the subinstructions to "let |
| 310 | // go" of all references that they are maintaining. This allows one to |
| 311 | // 'delete' a whole class at a time, even though there may be circular |
| 312 | // references... first all references are dropped, and all use counts go to |
Misha Brukman | fa10053 | 2003-10-10 17:54:14 +0000 | [diff] [blame] | 313 | // zero. Then everything is deleted for real. Note that no operations are |
Misha Brukman | b1c9317 | 2005-04-21 23:48:37 +0000 | [diff] [blame] | 314 | // valid on an object that has "dropped all references", except operator |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 315 | // delete. |
| 316 | // |
Chris Lattner | 4e8c487 | 2002-03-23 22:51:58 +0000 | [diff] [blame] | 317 | void Function::dropAllReferences() { |
Rafael Espindola | d4bcefc | 2014-10-24 18:13:04 +0000 | [diff] [blame] | 318 | setIsMaterializable(false); |
| 319 | |
Chris Lattner | 113f4f4 | 2002-06-25 16:13:24 +0000 | [diff] [blame] | 320 | for (iterator I = begin(), E = end(); I != E; ++I) |
| 321 | I->dropAllReferences(); |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 322 | |
Dan Gohman | f844b3b | 2010-12-07 19:56:51 +0000 | [diff] [blame] | 323 | // Delete all basic blocks. They are now unused, except possibly by |
| 324 | // blockaddresses, but BasicBlock's destructor takes care of those. |
| 325 | while (!BasicBlocks.empty()) |
| 326 | BasicBlocks.begin()->eraseFromParent(); |
Peter Collingbourne | 3fa50f9 | 2013-09-16 01:08:15 +0000 | [diff] [blame] | 327 | |
Vedant Kumar | 3a63fb3 | 2015-12-19 08:52:49 +0000 | [diff] [blame] | 328 | // Drop uses of any optional data (real or placeholder). |
| 329 | if (getNumOperands()) { |
| 330 | User::dropAllReferences(); |
| 331 | setNumHungOffUseOperands(0); |
| 332 | setValueSubclassData(getSubclassDataFromValue() & ~0xe); |
| 333 | } |
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(); |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 337 | } |
Chris Lattner | da97550 | 2001-09-10 07:58:01 +0000 | [diff] [blame] | 338 | |
Bill Wendling | c0e2a1f | 2013-01-23 00:20:53 +0000 | [diff] [blame] | 339 | void Function::addAttribute(unsigned i, Attribute::AttrKind attr) { |
Bill Wendling | e94d843 | 2012-12-07 23:16:57 +0000 | [diff] [blame] | 340 | AttributeSet PAL = getAttributes(); |
Bill Wendling | c0e2a1f | 2013-01-23 00:20:53 +0000 | [diff] [blame] | 341 | PAL = PAL.addAttribute(getContext(), i, attr); |
Devang Patel | 4c758ea | 2008-09-25 21:00:45 +0000 | [diff] [blame] | 342 | setAttributes(PAL); |
Eric Christopher | 901b1a7 | 2008-05-16 20:39:43 +0000 | [diff] [blame] | 343 | } |
| 344 | |
Bill Wendling | c0e2a1f | 2013-01-23 00:20:53 +0000 | [diff] [blame] | 345 | void Function::addAttributes(unsigned i, AttributeSet attrs) { |
Bill Wendling | e94d843 | 2012-12-07 23:16:57 +0000 | [diff] [blame] | 346 | AttributeSet PAL = getAttributes(); |
Bill Wendling | c0e2a1f | 2013-01-23 00:20:53 +0000 | [diff] [blame] | 347 | PAL = PAL.addAttributes(getContext(), i, attrs); |
| 348 | setAttributes(PAL); |
| 349 | } |
| 350 | |
Bill Wendling | 430fa9b | 2013-01-23 00:45:55 +0000 | [diff] [blame] | 351 | void Function::removeAttributes(unsigned i, AttributeSet attrs) { |
Bill Wendling | c0e2a1f | 2013-01-23 00:20:53 +0000 | [diff] [blame] | 352 | AttributeSet PAL = getAttributes(); |
Bill Wendling | 430fa9b | 2013-01-23 00:45:55 +0000 | [diff] [blame] | 353 | PAL = PAL.removeAttributes(getContext(), i, attrs); |
Devang Patel | 4c758ea | 2008-09-25 21:00:45 +0000 | [diff] [blame] | 354 | setAttributes(PAL); |
Duncan Sands | 66336db | 2008-07-08 09:41:30 +0000 | [diff] [blame] | 355 | } |
| 356 | |
Ramkumar Ramachandra | 8fcb498 | 2015-02-14 19:37:54 +0000 | [diff] [blame] | 357 | void Function::addDereferenceableAttr(unsigned i, uint64_t Bytes) { |
| 358 | AttributeSet PAL = getAttributes(); |
| 359 | PAL = PAL.addDereferenceableAttr(getContext(), i, Bytes); |
| 360 | setAttributes(PAL); |
| 361 | } |
| 362 | |
Sanjoy Das | 31ea6d1 | 2015-04-16 20:29:50 +0000 | [diff] [blame] | 363 | void Function::addDereferenceableOrNullAttr(unsigned i, uint64_t Bytes) { |
| 364 | AttributeSet PAL = getAttributes(); |
| 365 | PAL = PAL.addDereferenceableOrNullAttr(getContext(), i, Bytes); |
| 366 | setAttributes(PAL); |
| 367 | } |
| 368 | |
Mehdi Amini | 599ebf2 | 2016-01-08 02:28:20 +0000 | [diff] [blame^] | 369 | const std::string &Function::getGC() const { |
Gordon Henriksen | d930f91 | 2008-08-17 18:44:35 +0000 | [diff] [blame] | 370 | assert(hasGC() && "Function has no collector"); |
Mehdi Amini | 599ebf2 | 2016-01-08 02:28:20 +0000 | [diff] [blame^] | 371 | return getContext().getGC(*this); |
Gordon Henriksen | 71183b6 | 2007-12-10 03:18:06 +0000 | [diff] [blame] | 372 | } |
| 373 | |
Mehdi Amini | 599ebf2 | 2016-01-08 02:28:20 +0000 | [diff] [blame^] | 374 | void Function::setGC(const std::string Str) { |
| 375 | setValueSubclassDataBit(14, !Str.empty()); |
| 376 | getContext().setGC(*this, std::move(Str)); |
Gordon Henriksen | 71183b6 | 2007-12-10 03:18:06 +0000 | [diff] [blame] | 377 | } |
| 378 | |
Gordon Henriksen | d930f91 | 2008-08-17 18:44:35 +0000 | [diff] [blame] | 379 | void Function::clearGC() { |
Mehdi Amini | 599ebf2 | 2016-01-08 02:28:20 +0000 | [diff] [blame^] | 380 | if (!hasGC()) |
| 381 | return; |
| 382 | getContext().deleteGC(*this); |
| 383 | setValueSubclassDataBit(14, false); |
Gordon Henriksen | 71183b6 | 2007-12-10 03:18:06 +0000 | [diff] [blame] | 384 | } |
| 385 | |
Rafael Espindola | 769efe6 | 2015-12-02 20:03:17 +0000 | [diff] [blame] | 386 | /// Copy all additional attributes (those not needed to create a Function) from |
| 387 | /// the Function Src to this one. |
Duncan Sands | dd7daee | 2008-05-26 19:58:59 +0000 | [diff] [blame] | 388 | void Function::copyAttributesFrom(const GlobalValue *Src) { |
Rafael Espindola | 99e05cf | 2014-05-13 18:45:48 +0000 | [diff] [blame] | 389 | GlobalObject::copyAttributesFrom(Src); |
Rafael Espindola | 769efe6 | 2015-12-02 20:03:17 +0000 | [diff] [blame] | 390 | const Function *SrcF = dyn_cast<Function>(Src); |
| 391 | if (!SrcF) |
| 392 | return; |
| 393 | |
Duncan Sands | dd7daee | 2008-05-26 19:58:59 +0000 | [diff] [blame] | 394 | setCallingConv(SrcF->getCallingConv()); |
Devang Patel | 4c758ea | 2008-09-25 21:00:45 +0000 | [diff] [blame] | 395 | setAttributes(SrcF->getAttributes()); |
Gordon Henriksen | d930f91 | 2008-08-17 18:44:35 +0000 | [diff] [blame] | 396 | if (SrcF->hasGC()) |
| 397 | setGC(SrcF->getGC()); |
| 398 | else |
| 399 | clearGC(); |
Vedant Kumar | 44dd987 | 2015-12-19 08:48:43 +0000 | [diff] [blame] | 400 | if (SrcF->hasPersonalityFn()) |
| 401 | setPersonalityFn(SrcF->getPersonalityFn()); |
Vedant Kumar | 3a63fb3 | 2015-12-19 08:52:49 +0000 | [diff] [blame] | 402 | if (SrcF->hasPrefixData()) |
| 403 | setPrefixData(SrcF->getPrefixData()); |
| 404 | if (SrcF->hasPrologueData()) |
| 405 | setPrologueData(SrcF->getPrologueData()); |
Duncan Sands | dd7daee | 2008-05-26 19:58:59 +0000 | [diff] [blame] | 406 | } |
| 407 | |
Pete Cooper | 2124113 | 2015-05-19 00:02:25 +0000 | [diff] [blame] | 408 | /// \brief This does the actual lookup of an intrinsic ID which |
| 409 | /// matches the given function name. |
| 410 | static Intrinsic::ID lookupIntrinsicID(const ValueName *ValName) { |
| 411 | unsigned Len = ValName->getKeyLength(); |
| 412 | const char *Name = ValName->getKeyData(); |
| 413 | |
| 414 | #define GET_FUNCTION_RECOGNIZER |
| 415 | #include "llvm/IR/Intrinsics.gen" |
| 416 | #undef GET_FUNCTION_RECOGNIZER |
| 417 | |
| 418 | return Intrinsic::not_intrinsic; |
| 419 | } |
| 420 | |
Pete Cooper | a7c0c18 | 2015-05-19 00:24:26 +0000 | [diff] [blame] | 421 | void Function::recalculateIntrinsicID() { |
Chris Lattner | 1e92e06 | 2007-02-15 19:17:16 +0000 | [diff] [blame] | 422 | const ValueName *ValName = this->getValueName(); |
Pete Cooper | a7c0c18 | 2015-05-19 00:24:26 +0000 | [diff] [blame] | 423 | if (!ValName || !isIntrinsic()) { |
| 424 | IntID = Intrinsic::not_intrinsic; |
| 425 | return; |
Michael Ilseman | 516d703 | 2013-03-01 18:48:54 +0000 | [diff] [blame] | 426 | } |
Pete Cooper | a7c0c18 | 2015-05-19 00:24:26 +0000 | [diff] [blame] | 427 | IntID = lookupIntrinsicID(ValName); |
Michael Ilseman | 516d703 | 2013-03-01 18:48:54 +0000 | [diff] [blame] | 428 | } |
| 429 | |
Philip Reames | 319c48e | 2014-11-12 00:21:51 +0000 | [diff] [blame] | 430 | /// 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] | 431 | /// mangling scheme used by 'any' types in intrinsic signatures. The mangling |
| 432 | /// of named types is simply their name. Manglings for unnamed types consist |
| 433 | /// of a prefix ('p' for pointers, 'a' for arrays, 'f_' for functions) |
| 434 | /// combined with the mangling of their component types. A vararg function |
| 435 | /// type will have a suffix of 'vararg'. Since function types can contain |
| 436 | /// other function types, we close a function type mangling with suffix 'f' |
| 437 | /// which can't be confused with it's prefix. This ensures we don't have |
| 438 | /// collisions between two unrelated function types. Otherwise, you might |
| 439 | /// 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] | 440 | /// Manglings of integers, floats, and vectors ('i', 'f', and 'v' prefix in most |
| 441 | /// cases) fall back to the MVT codepath, where they could be mangled to |
| 442 | /// 'x86mmx', for example; matching on derived types is not sufficient to mangle |
| 443 | /// everything. |
Philip Reames | 319c48e | 2014-11-12 00:21:51 +0000 | [diff] [blame] | 444 | static std::string getMangledTypeStr(Type* Ty) { |
| 445 | std::string Result; |
| 446 | if (PointerType* PTyp = dyn_cast<PointerType>(Ty)) { |
| 447 | Result += "p" + llvm::utostr(PTyp->getAddressSpace()) + |
| 448 | getMangledTypeStr(PTyp->getElementType()); |
| 449 | } else if (ArrayType* ATyp = dyn_cast<ArrayType>(Ty)) { |
| 450 | Result += "a" + llvm::utostr(ATyp->getNumElements()) + |
| 451 | getMangledTypeStr(ATyp->getElementType()); |
| 452 | } else if (StructType* STyp = dyn_cast<StructType>(Ty)) { |
David Blaikie | b340f0a | 2015-05-08 18:52:28 +0000 | [diff] [blame] | 453 | assert(!STyp->isLiteral() && "TODO: implement literal types"); |
| 454 | Result += STyp->getName(); |
Philip Reames | 319c48e | 2014-11-12 00:21:51 +0000 | [diff] [blame] | 455 | } else if (FunctionType* FT = dyn_cast<FunctionType>(Ty)) { |
| 456 | Result += "f_" + getMangledTypeStr(FT->getReturnType()); |
| 457 | for (size_t i = 0; i < FT->getNumParams(); i++) |
| 458 | Result += getMangledTypeStr(FT->getParamType(i)); |
| 459 | if (FT->isVarArg()) |
| 460 | Result += "vararg"; |
Philip Reames | 059ecbf | 2014-11-24 23:24:24 +0000 | [diff] [blame] | 461 | // Ensure nested function types are distinguishable. |
| 462 | Result += "f"; |
Elena Demikhovsky | 1ca72e1 | 2015-11-19 07:17:16 +0000 | [diff] [blame] | 463 | } else if (isa<VectorType>(Ty)) |
| 464 | Result += "v" + utostr(Ty->getVectorNumElements()) + |
| 465 | getMangledTypeStr(Ty->getVectorElementType()); |
| 466 | else if (Ty) |
Philip Reames | 319c48e | 2014-11-12 00:21:51 +0000 | [diff] [blame] | 467 | Result += EVT::getEVT(Ty).getEVTString(); |
| 468 | return Result; |
| 469 | } |
| 470 | |
Benjamin Kramer | e6e1933 | 2011-07-14 17:45:39 +0000 | [diff] [blame] | 471 | std::string Intrinsic::getName(ID id, ArrayRef<Type*> Tys) { |
Chris Lattner | 71b8c98 | 2006-03-25 06:32:47 +0000 | [diff] [blame] | 472 | assert(id < num_intrinsics && "Invalid intrinsic ID!"); |
Chris Lattner | f5ba041 | 2011-04-25 22:14:33 +0000 | [diff] [blame] | 473 | static const char * const Table[] = { |
Chris Lattner | 71b8c98 | 2006-03-25 06:32:47 +0000 | [diff] [blame] | 474 | "not_intrinsic", |
| 475 | #define GET_INTRINSIC_NAME_TABLE |
Chandler Carruth | db25c6c | 2013-01-02 12:09:16 +0000 | [diff] [blame] | 476 | #include "llvm/IR/Intrinsics.gen" |
Chris Lattner | 71b8c98 | 2006-03-25 06:32:47 +0000 | [diff] [blame] | 477 | #undef GET_INTRINSIC_NAME_TABLE |
| 478 | }; |
Benjamin Kramer | e6e1933 | 2011-07-14 17:45:39 +0000 | [diff] [blame] | 479 | if (Tys.empty()) |
Reid Spencer | 2a2117c | 2007-04-01 07:25:33 +0000 | [diff] [blame] | 480 | return Table[id]; |
| 481 | std::string Result(Table[id]); |
Benjamin Kramer | e6e1933 | 2011-07-14 17:45:39 +0000 | [diff] [blame] | 482 | for (unsigned i = 0; i < Tys.size(); ++i) { |
Philip Reames | 319c48e | 2014-11-12 00:21:51 +0000 | [diff] [blame] | 483 | Result += "." + getMangledTypeStr(Tys[i]); |
Mon P Wang | 2c839d4 | 2008-07-30 04:36:53 +0000 | [diff] [blame] | 484 | } |
Reid Spencer | 2a2117c | 2007-04-01 07:25:33 +0000 | [diff] [blame] | 485 | return Result; |
Chris Lattner | 71b8c98 | 2006-03-25 06:32:47 +0000 | [diff] [blame] | 486 | } |
| 487 | |
Chris Lattner | 7f0e7ba | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 488 | |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 489 | /// IIT_Info - These are enumerators that describe the entries returned by the |
| 490 | /// getIntrinsicInfoTableEntries function. |
| 491 | /// |
| 492 | /// NOTE: This must be kept in synch with the copy in TblGen/IntrinsicEmitter! |
| 493 | enum IIT_Info { |
Robert Khasanov | 65c2756 | 2014-10-20 19:25:05 +0000 | [diff] [blame] | 494 | // Common values should be encoded with 0-15. |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 495 | IIT_Done = 0, |
| 496 | IIT_I1 = 1, |
| 497 | IIT_I8 = 2, |
| 498 | IIT_I16 = 3, |
| 499 | IIT_I32 = 4, |
| 500 | IIT_I64 = 5, |
Michael Ilseman | 6c6d715 | 2013-01-11 01:45:05 +0000 | [diff] [blame] | 501 | IIT_F16 = 6, |
| 502 | IIT_F32 = 7, |
| 503 | IIT_F64 = 8, |
| 504 | IIT_V2 = 9, |
| 505 | IIT_V4 = 10, |
| 506 | IIT_V8 = 11, |
| 507 | IIT_V16 = 12, |
| 508 | IIT_V32 = 13, |
Robert Khasanov | 65c2756 | 2014-10-20 19:25:05 +0000 | [diff] [blame] | 509 | IIT_PTR = 14, |
| 510 | IIT_ARG = 15, |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 511 | |
Robert Khasanov | 65c2756 | 2014-10-20 19:25:05 +0000 | [diff] [blame] | 512 | // Values from 16+ are only encodable with the inefficient encoding. |
| 513 | IIT_V64 = 16, |
Robert Khasanov | b25e562 | 2014-09-30 11:32:22 +0000 | [diff] [blame] | 514 | IIT_MMX = 17, |
Joseph Tremoulet | 917c738 | 2015-09-02 13:36:25 +0000 | [diff] [blame] | 515 | IIT_TOKEN = 18, |
| 516 | IIT_METADATA = 19, |
| 517 | IIT_EMPTYSTRUCT = 20, |
| 518 | IIT_STRUCT2 = 21, |
| 519 | IIT_STRUCT3 = 22, |
| 520 | IIT_STRUCT4 = 23, |
| 521 | IIT_STRUCT5 = 24, |
| 522 | IIT_EXTEND_ARG = 25, |
| 523 | IIT_TRUNC_ARG = 26, |
| 524 | IIT_ANYPTR = 27, |
| 525 | IIT_V1 = 28, |
| 526 | IIT_VARARG = 29, |
| 527 | IIT_HALF_VEC_ARG = 30, |
| 528 | IIT_SAME_VEC_WIDTH_ARG = 31, |
| 529 | IIT_PTR_TO_ARG = 32, |
| 530 | IIT_VEC_OF_PTRS_TO_ELT = 33, |
Krzysztof Parzyszek | b8bb90b | 2015-11-24 16:28:14 +0000 | [diff] [blame] | 531 | IIT_I128 = 34, |
| 532 | IIT_V512 = 35, |
| 533 | IIT_V1024 = 36 |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 534 | }; |
| 535 | |
| 536 | |
| 537 | static void DecodeIITType(unsigned &NextElt, ArrayRef<unsigned char> Infos, |
| 538 | SmallVectorImpl<Intrinsic::IITDescriptor> &OutputTable) { |
Chris Lattner | a57c797 | 2012-05-17 05:13:57 +0000 | [diff] [blame] | 539 | IIT_Info Info = IIT_Info(Infos[NextElt++]); |
Chris Lattner | 3e34a7b | 2012-05-17 05:03:24 +0000 | [diff] [blame] | 540 | unsigned StructElts = 2; |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 541 | using namespace Intrinsic; |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 542 | |
Chris Lattner | a57c797 | 2012-05-17 05:13:57 +0000 | [diff] [blame] | 543 | switch (Info) { |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 544 | case IIT_Done: |
| 545 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Void, 0)); |
| 546 | return; |
Andrew Trick | a2efd99 | 2013-10-31 17:18:11 +0000 | [diff] [blame] | 547 | case IIT_VARARG: |
| 548 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::VarArg, 0)); |
| 549 | return; |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 550 | case IIT_MMX: |
| 551 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::MMX, 0)); |
| 552 | return; |
Joseph Tremoulet | 917c738 | 2015-09-02 13:36:25 +0000 | [diff] [blame] | 553 | case IIT_TOKEN: |
| 554 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Token, 0)); |
| 555 | return; |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 556 | case IIT_METADATA: |
| 557 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Metadata, 0)); |
| 558 | return; |
Michael Ilseman | 6c6d715 | 2013-01-11 01:45:05 +0000 | [diff] [blame] | 559 | case IIT_F16: |
| 560 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Half, 0)); |
| 561 | return; |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 562 | case IIT_F32: |
| 563 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Float, 0)); |
| 564 | return; |
| 565 | case IIT_F64: |
| 566 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Double, 0)); |
| 567 | return; |
| 568 | case IIT_I1: |
| 569 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 1)); |
| 570 | return; |
| 571 | case IIT_I8: |
| 572 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 8)); |
| 573 | return; |
| 574 | case IIT_I16: |
| 575 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer,16)); |
| 576 | return; |
| 577 | case IIT_I32: |
| 578 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 32)); |
| 579 | return; |
| 580 | case IIT_I64: |
| 581 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 64)); |
| 582 | return; |
Kit Barton | 6646033 | 2015-05-25 15:49:26 +0000 | [diff] [blame] | 583 | case IIT_I128: |
| 584 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 128)); |
| 585 | return; |
Jiangning Liu | 63dc840 | 2013-09-24 02:47:27 +0000 | [diff] [blame] | 586 | case IIT_V1: |
| 587 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 1)); |
| 588 | DecodeIITType(NextElt, Infos, OutputTable); |
| 589 | return; |
Chris Lattner | 827b253 | 2012-05-17 04:30:58 +0000 | [diff] [blame] | 590 | case IIT_V2: |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 591 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 2)); |
| 592 | DecodeIITType(NextElt, Infos, OutputTable); |
| 593 | return; |
Chris Lattner | 827b253 | 2012-05-17 04:30:58 +0000 | [diff] [blame] | 594 | case IIT_V4: |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 595 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 4)); |
| 596 | DecodeIITType(NextElt, Infos, OutputTable); |
| 597 | return; |
Chris Lattner | 827b253 | 2012-05-17 04:30:58 +0000 | [diff] [blame] | 598 | case IIT_V8: |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 599 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 8)); |
| 600 | DecodeIITType(NextElt, Infos, OutputTable); |
| 601 | return; |
Chris Lattner | 827b253 | 2012-05-17 04:30:58 +0000 | [diff] [blame] | 602 | case IIT_V16: |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 603 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 16)); |
| 604 | DecodeIITType(NextElt, Infos, OutputTable); |
| 605 | return; |
Chris Lattner | 3e34a7b | 2012-05-17 05:03:24 +0000 | [diff] [blame] | 606 | case IIT_V32: |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 607 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 32)); |
| 608 | DecodeIITType(NextElt, Infos, OutputTable); |
| 609 | return; |
Robert Khasanov | b25e562 | 2014-09-30 11:32:22 +0000 | [diff] [blame] | 610 | case IIT_V64: |
| 611 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 64)); |
| 612 | DecodeIITType(NextElt, Infos, OutputTable); |
| 613 | return; |
Krzysztof Parzyszek | b8bb90b | 2015-11-24 16:28:14 +0000 | [diff] [blame] | 614 | case IIT_V512: |
| 615 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 512)); |
| 616 | DecodeIITType(NextElt, Infos, OutputTable); |
| 617 | return; |
| 618 | case IIT_V1024: |
| 619 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 1024)); |
| 620 | DecodeIITType(NextElt, Infos, OutputTable); |
| 621 | return; |
Chris Lattner | 4f18aa8 | 2012-05-23 05:19:18 +0000 | [diff] [blame] | 622 | case IIT_PTR: |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 623 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Pointer, 0)); |
| 624 | DecodeIITType(NextElt, Infos, OutputTable); |
| 625 | return; |
Chris Lattner | 4f18aa8 | 2012-05-23 05:19:18 +0000 | [diff] [blame] | 626 | case IIT_ANYPTR: { // [ANYPTR addrspace, subtype] |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 627 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Pointer, |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 628 | Infos[NextElt++])); |
| 629 | DecodeIITType(NextElt, Infos, OutputTable); |
| 630 | return; |
Pete Cooper | 243efd7 | 2012-05-21 23:21:28 +0000 | [diff] [blame] | 631 | } |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 632 | case IIT_ARG: { |
| 633 | unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); |
| 634 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Argument, ArgInfo)); |
| 635 | return; |
| 636 | } |
Tim Northover | aa3cf1e | 2014-03-28 12:31:39 +0000 | [diff] [blame] | 637 | case IIT_EXTEND_ARG: { |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 638 | unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); |
Tim Northover | aa3cf1e | 2014-03-28 12:31:39 +0000 | [diff] [blame] | 639 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::ExtendArgument, |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 640 | ArgInfo)); |
| 641 | return; |
| 642 | } |
Tim Northover | aa3cf1e | 2014-03-28 12:31:39 +0000 | [diff] [blame] | 643 | case IIT_TRUNC_ARG: { |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 644 | unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); |
Tim Northover | aa3cf1e | 2014-03-28 12:31:39 +0000 | [diff] [blame] | 645 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::TruncArgument, |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 646 | ArgInfo)); |
| 647 | return; |
Chris Lattner | 3e34a7b | 2012-05-17 05:03:24 +0000 | [diff] [blame] | 648 | } |
Tim Northover | 4516de3 | 2014-03-29 07:04:54 +0000 | [diff] [blame] | 649 | case IIT_HALF_VEC_ARG: { |
| 650 | unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); |
| 651 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::HalfVecArgument, |
| 652 | ArgInfo)); |
| 653 | return; |
| 654 | } |
Elena Demikhovsky | f1de34b | 2014-12-04 09:40:44 +0000 | [diff] [blame] | 655 | case IIT_SAME_VEC_WIDTH_ARG: { |
| 656 | unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); |
| 657 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::SameVecWidthArgument, |
| 658 | ArgInfo)); |
| 659 | return; |
| 660 | } |
Elena Demikhovsky | fb81b93 | 2014-12-25 07:49:20 +0000 | [diff] [blame] | 661 | case IIT_PTR_TO_ARG: { |
| 662 | unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); |
| 663 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::PtrToArgument, |
| 664 | ArgInfo)); |
| 665 | return; |
| 666 | } |
Elena Demikhovsky | 23a485a | 2015-02-08 08:27:19 +0000 | [diff] [blame] | 667 | case IIT_VEC_OF_PTRS_TO_ELT: { |
| 668 | unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); |
| 669 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::VecOfPtrsToElt, |
| 670 | ArgInfo)); |
| 671 | return; |
| 672 | } |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 673 | case IIT_EMPTYSTRUCT: |
| 674 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Struct, 0)); |
| 675 | return; |
Chris Lattner | 3e34a7b | 2012-05-17 05:03:24 +0000 | [diff] [blame] | 676 | case IIT_STRUCT5: ++StructElts; // FALL THROUGH. |
| 677 | case IIT_STRUCT4: ++StructElts; // FALL THROUGH. |
| 678 | case IIT_STRUCT3: ++StructElts; // FALL THROUGH. |
| 679 | case IIT_STRUCT2: { |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 680 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Struct,StructElts)); |
| 681 | |
Chris Lattner | 3e34a7b | 2012-05-17 05:03:24 +0000 | [diff] [blame] | 682 | for (unsigned i = 0; i != StructElts; ++i) |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 683 | DecodeIITType(NextElt, Infos, OutputTable); |
| 684 | return; |
Chris Lattner | 827b253 | 2012-05-17 04:30:58 +0000 | [diff] [blame] | 685 | } |
Chris Lattner | 7f0e7ba | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 686 | } |
| 687 | llvm_unreachable("unhandled"); |
| 688 | } |
Chris Lattner | 7f0e7ba | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 689 | |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 690 | |
| 691 | #define GET_INTRINSIC_GENERATOR_GLOBAL |
Chandler Carruth | db25c6c | 2013-01-02 12:09:16 +0000 | [diff] [blame] | 692 | #include "llvm/IR/Intrinsics.gen" |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 693 | #undef GET_INTRINSIC_GENERATOR_GLOBAL |
| 694 | |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 695 | void Intrinsic::getIntrinsicInfoTableEntries(ID id, |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 696 | SmallVectorImpl<IITDescriptor> &T){ |
Chris Lattner | 7f0e7ba | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 697 | // Check to see if the intrinsic's type was expressible by the table. |
| 698 | unsigned TableVal = IIT_Table[id-1]; |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 699 | |
Chris Lattner | a3b0f52 | 2012-05-17 15:55:41 +0000 | [diff] [blame] | 700 | // Decode the TableVal into an array of IITValues. |
| 701 | SmallVector<unsigned char, 8> IITValues; |
| 702 | ArrayRef<unsigned char> IITEntries; |
| 703 | unsigned NextElt = 0; |
| 704 | if ((TableVal >> 31) != 0) { |
| 705 | // This is an offset into the IIT_LongEncodingTable. |
| 706 | IITEntries = IIT_LongEncodingTable; |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 707 | |
Chris Lattner | a3b0f52 | 2012-05-17 15:55:41 +0000 | [diff] [blame] | 708 | // Strip sentinel bit. |
| 709 | NextElt = (TableVal << 1) >> 1; |
| 710 | } else { |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 711 | // Decode the TableVal into an array of IITValues. If the entry was encoded |
| 712 | // into a single word in the table itself, decode it now. |
Chris Lattner | a57c797 | 2012-05-17 05:13:57 +0000 | [diff] [blame] | 713 | do { |
| 714 | IITValues.push_back(TableVal & 0xF); |
| 715 | TableVal >>= 4; |
| 716 | } while (TableVal); |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 717 | |
Chris Lattner | a3b0f52 | 2012-05-17 15:55:41 +0000 | [diff] [blame] | 718 | IITEntries = IITValues; |
| 719 | NextElt = 0; |
Chris Lattner | 7f0e7ba | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 720 | } |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 721 | |
| 722 | // Okay, decode the table into the output vector of IITDescriptors. |
| 723 | DecodeIITType(NextElt, IITEntries, T); |
| 724 | while (NextElt != IITEntries.size() && IITEntries[NextElt] != 0) |
| 725 | DecodeIITType(NextElt, IITEntries, T); |
| 726 | } |
| 727 | |
| 728 | |
| 729 | static Type *DecodeFixedType(ArrayRef<Intrinsic::IITDescriptor> &Infos, |
| 730 | ArrayRef<Type*> Tys, LLVMContext &Context) { |
| 731 | using namespace Intrinsic; |
| 732 | IITDescriptor D = Infos.front(); |
| 733 | Infos = Infos.slice(1); |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 734 | |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 735 | switch (D.Kind) { |
| 736 | case IITDescriptor::Void: return Type::getVoidTy(Context); |
Andrew Trick | a2efd99 | 2013-10-31 17:18:11 +0000 | [diff] [blame] | 737 | case IITDescriptor::VarArg: return Type::getVoidTy(Context); |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 738 | case IITDescriptor::MMX: return Type::getX86_MMXTy(Context); |
Joseph Tremoulet | 917c738 | 2015-09-02 13:36:25 +0000 | [diff] [blame] | 739 | case IITDescriptor::Token: return Type::getTokenTy(Context); |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 740 | case IITDescriptor::Metadata: return Type::getMetadataTy(Context); |
Michael Ilseman | 6c6d715 | 2013-01-11 01:45:05 +0000 | [diff] [blame] | 741 | case IITDescriptor::Half: return Type::getHalfTy(Context); |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 742 | case IITDescriptor::Float: return Type::getFloatTy(Context); |
| 743 | case IITDescriptor::Double: return Type::getDoubleTy(Context); |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 744 | |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 745 | case IITDescriptor::Integer: |
| 746 | return IntegerType::get(Context, D.Integer_Width); |
| 747 | case IITDescriptor::Vector: |
| 748 | return VectorType::get(DecodeFixedType(Infos, Tys, Context),D.Vector_Width); |
| 749 | case IITDescriptor::Pointer: |
| 750 | return PointerType::get(DecodeFixedType(Infos, Tys, Context), |
| 751 | D.Pointer_AddressSpace); |
| 752 | case IITDescriptor::Struct: { |
| 753 | Type *Elts[5]; |
| 754 | assert(D.Struct_NumElements <= 5 && "Can't handle this yet"); |
| 755 | for (unsigned i = 0, e = D.Struct_NumElements; i != e; ++i) |
| 756 | Elts[i] = DecodeFixedType(Infos, Tys, Context); |
Craig Topper | e1d1294 | 2014-08-27 05:25:25 +0000 | [diff] [blame] | 757 | return StructType::get(Context, makeArrayRef(Elts,D.Struct_NumElements)); |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 758 | } |
| 759 | |
| 760 | case IITDescriptor::Argument: |
| 761 | return Tys[D.getArgumentNumber()]; |
Tim Northover | aa3cf1e | 2014-03-28 12:31:39 +0000 | [diff] [blame] | 762 | case IITDescriptor::ExtendArgument: { |
| 763 | Type *Ty = Tys[D.getArgumentNumber()]; |
| 764 | if (VectorType *VTy = dyn_cast<VectorType>(Ty)) |
| 765 | return VectorType::getExtendedElementVectorType(VTy); |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 766 | |
Tim Northover | aa3cf1e | 2014-03-28 12:31:39 +0000 | [diff] [blame] | 767 | return IntegerType::get(Context, 2 * cast<IntegerType>(Ty)->getBitWidth()); |
| 768 | } |
| 769 | case IITDescriptor::TruncArgument: { |
| 770 | Type *Ty = Tys[D.getArgumentNumber()]; |
| 771 | if (VectorType *VTy = dyn_cast<VectorType>(Ty)) |
| 772 | return VectorType::getTruncatedElementVectorType(VTy); |
| 773 | |
| 774 | IntegerType *ITy = cast<IntegerType>(Ty); |
| 775 | assert(ITy->getBitWidth() % 2 == 0); |
| 776 | return IntegerType::get(Context, ITy->getBitWidth() / 2); |
| 777 | } |
Tim Northover | 4516de3 | 2014-03-29 07:04:54 +0000 | [diff] [blame] | 778 | case IITDescriptor::HalfVecArgument: |
| 779 | return VectorType::getHalfElementsVectorType(cast<VectorType>( |
| 780 | Tys[D.getArgumentNumber()])); |
Elena Demikhovsky | fb81b93 | 2014-12-25 07:49:20 +0000 | [diff] [blame] | 781 | case IITDescriptor::SameVecWidthArgument: { |
Elena Demikhovsky | f1de34b | 2014-12-04 09:40:44 +0000 | [diff] [blame] | 782 | Type *EltTy = DecodeFixedType(Infos, Tys, Context); |
| 783 | Type *Ty = Tys[D.getArgumentNumber()]; |
| 784 | if (VectorType *VTy = dyn_cast<VectorType>(Ty)) { |
| 785 | return VectorType::get(EltTy, VTy->getNumElements()); |
| 786 | } |
| 787 | llvm_unreachable("unhandled"); |
Elena Demikhovsky | fb81b93 | 2014-12-25 07:49:20 +0000 | [diff] [blame] | 788 | } |
| 789 | case IITDescriptor::PtrToArgument: { |
| 790 | Type *Ty = Tys[D.getArgumentNumber()]; |
| 791 | return PointerType::getUnqual(Ty); |
| 792 | } |
Elena Demikhovsky | 23a485a | 2015-02-08 08:27:19 +0000 | [diff] [blame] | 793 | case IITDescriptor::VecOfPtrsToElt: { |
| 794 | Type *Ty = Tys[D.getArgumentNumber()]; |
| 795 | VectorType *VTy = dyn_cast<VectorType>(Ty); |
| 796 | if (!VTy) |
| 797 | llvm_unreachable("Expected an argument of Vector Type"); |
| 798 | Type *EltTy = VTy->getVectorElementType(); |
| 799 | return VectorType::get(PointerType::getUnqual(EltTy), |
| 800 | VTy->getNumElements()); |
| 801 | } |
Elena Demikhovsky | f1de34b | 2014-12-04 09:40:44 +0000 | [diff] [blame] | 802 | } |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 803 | llvm_unreachable("unhandled"); |
| 804 | } |
| 805 | |
| 806 | |
| 807 | |
| 808 | FunctionType *Intrinsic::getType(LLVMContext &Context, |
| 809 | ID id, ArrayRef<Type*> Tys) { |
| 810 | SmallVector<IITDescriptor, 8> Table; |
| 811 | getIntrinsicInfoTableEntries(id, Table); |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 812 | |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 813 | ArrayRef<IITDescriptor> TableRef = Table; |
| 814 | Type *ResultTy = DecodeFixedType(TableRef, Tys, Context); |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 815 | |
Chris Lattner | a3b0f52 | 2012-05-17 15:55:41 +0000 | [diff] [blame] | 816 | SmallVector<Type*, 8> ArgTys; |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 817 | while (!TableRef.empty()) |
| 818 | ArgTys.push_back(DecodeFixedType(TableRef, Tys, Context)); |
Jim Laskey | 2682ea6 | 2007-02-07 20:38:26 +0000 | [diff] [blame] | 819 | |
Steven Wu | d05affc | 2014-10-20 15:47:24 +0000 | [diff] [blame] | 820 | // DecodeFixedType returns Void for IITDescriptor::Void and IITDescriptor::VarArg |
| 821 | // If we see void type as the type of the last argument, it is vararg intrinsic |
| 822 | if (!ArgTys.empty() && ArgTys.back()->isVoidTy()) { |
| 823 | ArgTys.pop_back(); |
| 824 | return FunctionType::get(ResultTy, ArgTys, true); |
| 825 | } |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 826 | return FunctionType::get(ResultTy, ArgTys, false); |
Jim Laskey | 2682ea6 | 2007-02-07 20:38:26 +0000 | [diff] [blame] | 827 | } |
| 828 | |
Mon P Wang | b402493 | 2009-02-24 23:17:49 +0000 | [diff] [blame] | 829 | bool Intrinsic::isOverloaded(ID id) { |
Mon P Wang | b402493 | 2009-02-24 23:17:49 +0000 | [diff] [blame] | 830 | #define GET_INTRINSIC_OVERLOAD_TABLE |
Chandler Carruth | db25c6c | 2013-01-02 12:09:16 +0000 | [diff] [blame] | 831 | #include "llvm/IR/Intrinsics.gen" |
Mon P Wang | b402493 | 2009-02-24 23:17:49 +0000 | [diff] [blame] | 832 | #undef GET_INTRINSIC_OVERLOAD_TABLE |
Mon P Wang | b402493 | 2009-02-24 23:17:49 +0000 | [diff] [blame] | 833 | } |
| 834 | |
Sanjoy Das | c65d43e | 2015-06-18 19:28:26 +0000 | [diff] [blame] | 835 | bool Intrinsic::isLeaf(ID id) { |
| 836 | switch (id) { |
| 837 | default: |
| 838 | return true; |
| 839 | |
| 840 | case Intrinsic::experimental_gc_statepoint: |
| 841 | case Intrinsic::experimental_patchpoint_void: |
| 842 | case Intrinsic::experimental_patchpoint_i64: |
| 843 | return false; |
| 844 | } |
| 845 | } |
| 846 | |
Chris Lattner | 49b7ee1 | 2009-01-12 01:18:58 +0000 | [diff] [blame] | 847 | /// This defines the "Intrinsic::getAttributes(ID id)" method. |
Duncan Sands | 38ef3a8 | 2007-12-03 20:06:50 +0000 | [diff] [blame] | 848 | #define GET_INTRINSIC_ATTRIBUTES |
Chandler Carruth | db25c6c | 2013-01-02 12:09:16 +0000 | [diff] [blame] | 849 | #include "llvm/IR/Intrinsics.gen" |
Duncan Sands | 38ef3a8 | 2007-12-03 20:06:50 +0000 | [diff] [blame] | 850 | #undef GET_INTRINSIC_ATTRIBUTES |
| 851 | |
Benjamin Kramer | e6e1933 | 2011-07-14 17:45:39 +0000 | [diff] [blame] | 852 | Function *Intrinsic::getDeclaration(Module *M, ID id, ArrayRef<Type*> Tys) { |
Duncan Sands | 38ef3a8 | 2007-12-03 20:06:50 +0000 | [diff] [blame] | 853 | // There can never be multiple globals with the same name of different types, |
| 854 | // because intrinsics must be a specific type. |
Duncan Sands | a8ff6ca | 2008-04-07 13:39:11 +0000 | [diff] [blame] | 855 | return |
Benjamin Kramer | e6e1933 | 2011-07-14 17:45:39 +0000 | [diff] [blame] | 856 | cast<Function>(M->getOrInsertFunction(getName(id, Tys), |
| 857 | getType(M->getContext(), id, Tys))); |
Jim Laskey | 2682ea6 | 2007-02-07 20:38:26 +0000 | [diff] [blame] | 858 | } |
| 859 | |
Dale Johannesen | b842d52 | 2009-02-05 01:49:45 +0000 | [diff] [blame] | 860 | // This defines the "Intrinsic::getIntrinsicForGCCBuiltin()" method. |
| 861 | #define GET_LLVM_INTRINSIC_FOR_GCC_BUILTIN |
Chandler Carruth | db25c6c | 2013-01-02 12:09:16 +0000 | [diff] [blame] | 862 | #include "llvm/IR/Intrinsics.gen" |
Dale Johannesen | b842d52 | 2009-02-05 01:49:45 +0000 | [diff] [blame] | 863 | #undef GET_LLVM_INTRINSIC_FOR_GCC_BUILTIN |
| 864 | |
Saleem Abdulrasool | 4e63fc4 | 2014-07-04 18:42:25 +0000 | [diff] [blame] | 865 | // This defines the "Intrinsic::getIntrinsicForMSBuiltin()" method. |
| 866 | #define GET_LLVM_INTRINSIC_FOR_MS_BUILTIN |
| 867 | #include "llvm/IR/Intrinsics.gen" |
| 868 | #undef GET_LLVM_INTRINSIC_FOR_MS_BUILTIN |
| 869 | |
Gabor Greif | 161cb04 | 2010-03-23 14:40:20 +0000 | [diff] [blame] | 870 | /// hasAddressTaken - returns true if there are any uses of this function |
| 871 | /// other than direct calls or invokes to it. |
Gabor Greif | a2fbc0a | 2010-03-24 13:21:49 +0000 | [diff] [blame] | 872 | bool Function::hasAddressTaken(const User* *PutOffender) const { |
Chandler Carruth | cdf4788 | 2014-03-09 03:16:01 +0000 | [diff] [blame] | 873 | for (const Use &U : uses()) { |
| 874 | const User *FU = U.getUser(); |
| 875 | if (isa<BlockAddress>(FU)) |
Jay Foad | ca0c499 | 2012-05-12 08:30:16 +0000 | [diff] [blame] | 876 | continue; |
Chandler Carruth | cdf4788 | 2014-03-09 03:16:01 +0000 | [diff] [blame] | 877 | if (!isa<CallInst>(FU) && !isa<InvokeInst>(FU)) |
| 878 | return PutOffender ? (*PutOffender = FU, true) : true; |
| 879 | ImmutableCallSite CS(cast<Instruction>(FU)); |
| 880 | if (!CS.isCallee(&U)) |
| 881 | return PutOffender ? (*PutOffender = FU, true) : true; |
Jay Foad | 557169d | 2009-06-10 08:41:11 +0000 | [diff] [blame] | 882 | } |
| 883 | return false; |
| 884 | } |
| 885 | |
Eli Friedman | 1923a33 | 2011-10-20 05:23:42 +0000 | [diff] [blame] | 886 | bool Function::isDefTriviallyDead() const { |
| 887 | // Check the linkage |
| 888 | if (!hasLinkOnceLinkage() && !hasLocalLinkage() && |
| 889 | !hasAvailableExternallyLinkage()) |
| 890 | return false; |
| 891 | |
| 892 | // Check if the function is used by anything other than a blockaddress. |
Chandler Carruth | cdf4788 | 2014-03-09 03:16:01 +0000 | [diff] [blame] | 893 | for (const User *U : users()) |
| 894 | if (!isa<BlockAddress>(U)) |
Eli Friedman | 1923a33 | 2011-10-20 05:23:42 +0000 | [diff] [blame] | 895 | return false; |
| 896 | |
| 897 | return true; |
| 898 | } |
| 899 | |
Bill Wendling | 63a4ea1 | 2011-10-17 18:43:40 +0000 | [diff] [blame] | 900 | /// callsFunctionThatReturnsTwice - Return true if the function has a call to |
| 901 | /// setjmp or other function that gcc recognizes as "returning twice". |
| 902 | bool Function::callsFunctionThatReturnsTwice() const { |
| 903 | for (const_inst_iterator |
| 904 | I = inst_begin(this), E = inst_end(this); I != E; ++I) { |
Mark Seaborn | 8271118 | 2014-01-14 04:20:01 +0000 | [diff] [blame] | 905 | ImmutableCallSite CS(&*I); |
| 906 | if (CS && CS.hasFnAttr(Attribute::ReturnsTwice)) |
Bill Wendling | 63a4ea1 | 2011-10-17 18:43:40 +0000 | [diff] [blame] | 907 | return true; |
| 908 | } |
| 909 | |
| 910 | return false; |
| 911 | } |
Peter Collingbourne | 3fa50f9 | 2013-09-16 01:08:15 +0000 | [diff] [blame] | 912 | |
Vedant Kumar | 3a63fb3 | 2015-12-19 08:52:49 +0000 | [diff] [blame] | 913 | Constant *Function::getPersonalityFn() const { |
| 914 | assert(hasPersonalityFn() && getNumOperands()); |
| 915 | return cast<Constant>(Op<0>()); |
Vedant Kumar | 1ab5ea5 | 2015-10-06 20:31:57 +0000 | [diff] [blame] | 916 | } |
| 917 | |
Vedant Kumar | 3a63fb3 | 2015-12-19 08:52:49 +0000 | [diff] [blame] | 918 | void Function::setPersonalityFn(Constant *Fn) { |
Keno Fischer | 9bc46b1 | 2015-12-23 18:27:23 +0000 | [diff] [blame] | 919 | setHungoffOperand<0>(Fn); |
Vedant Kumar | 3a63fb3 | 2015-12-19 08:52:49 +0000 | [diff] [blame] | 920 | setValueSubclassDataBit(3, Fn != nullptr); |
Vedant Kumar | 1ab5ea5 | 2015-10-06 20:31:57 +0000 | [diff] [blame] | 921 | } |
| 922 | |
Peter Collingbourne | 3fa50f9 | 2013-09-16 01:08:15 +0000 | [diff] [blame] | 923 | Constant *Function::getPrefixData() const { |
Vedant Kumar | 3a63fb3 | 2015-12-19 08:52:49 +0000 | [diff] [blame] | 924 | assert(hasPrefixData() && getNumOperands()); |
| 925 | return cast<Constant>(Op<1>()); |
Peter Collingbourne | 3fa50f9 | 2013-09-16 01:08:15 +0000 | [diff] [blame] | 926 | } |
| 927 | |
| 928 | void Function::setPrefixData(Constant *PrefixData) { |
Keno Fischer | 9bc46b1 | 2015-12-23 18:27:23 +0000 | [diff] [blame] | 929 | setHungoffOperand<1>(PrefixData); |
Vedant Kumar | 3a63fb3 | 2015-12-19 08:52:49 +0000 | [diff] [blame] | 930 | setValueSubclassDataBit(1, PrefixData != nullptr); |
Peter Collingbourne | 3fa50f9 | 2013-09-16 01:08:15 +0000 | [diff] [blame] | 931 | } |
Peter Collingbourne | 51d2de7 | 2014-12-03 02:08:38 +0000 | [diff] [blame] | 932 | |
| 933 | Constant *Function::getPrologueData() const { |
Vedant Kumar | 3a63fb3 | 2015-12-19 08:52:49 +0000 | [diff] [blame] | 934 | assert(hasPrologueData() && getNumOperands()); |
| 935 | return cast<Constant>(Op<2>()); |
Peter Collingbourne | 51d2de7 | 2014-12-03 02:08:38 +0000 | [diff] [blame] | 936 | } |
| 937 | |
| 938 | void Function::setPrologueData(Constant *PrologueData) { |
Keno Fischer | 9bc46b1 | 2015-12-23 18:27:23 +0000 | [diff] [blame] | 939 | setHungoffOperand<2>(PrologueData); |
Vedant Kumar | 3a63fb3 | 2015-12-19 08:52:49 +0000 | [diff] [blame] | 940 | setValueSubclassDataBit(2, PrologueData != nullptr); |
| 941 | } |
| 942 | |
| 943 | void Function::allocHungoffUselist() { |
| 944 | // If we've already allocated a uselist, stop here. |
| 945 | if (getNumOperands()) |
Peter Collingbourne | 51d2de7 | 2014-12-03 02:08:38 +0000 | [diff] [blame] | 946 | return; |
| 947 | |
Vedant Kumar | 3a63fb3 | 2015-12-19 08:52:49 +0000 | [diff] [blame] | 948 | allocHungoffUses(3, /*IsPhi=*/ false); |
| 949 | setNumHungOffUseOperands(3); |
| 950 | |
| 951 | // Initialize the uselist with placeholder operands to allow traversal. |
| 952 | auto *CPN = ConstantPointerNull::get(Type::getInt1PtrTy(getContext(), 0)); |
| 953 | Op<0>().set(CPN); |
| 954 | Op<1>().set(CPN); |
| 955 | Op<2>().set(CPN); |
| 956 | } |
| 957 | |
| 958 | template <int Idx> |
| 959 | void Function::setHungoffOperand(Constant *C) { |
Keno Fischer | 9bc46b1 | 2015-12-23 18:27:23 +0000 | [diff] [blame] | 960 | if (C) { |
| 961 | allocHungoffUselist(); |
| 962 | Op<Idx>().set(C); |
| 963 | } else if (getNumOperands()) { |
| 964 | Op<Idx>().set( |
| 965 | ConstantPointerNull::get(Type::getInt1PtrTy(getContext(), 0))); |
| 966 | } |
Vedant Kumar | 3a63fb3 | 2015-12-19 08:52:49 +0000 | [diff] [blame] | 967 | } |
| 968 | |
| 969 | void Function::setValueSubclassDataBit(unsigned Bit, bool On) { |
| 970 | assert(Bit < 16 && "SubclassData contains only 16 bits"); |
| 971 | if (On) |
| 972 | setValueSubclassData(getSubclassDataFromValue() | (1 << Bit)); |
| 973 | else |
| 974 | setValueSubclassData(getSubclassDataFromValue() & ~(1 << Bit)); |
Peter Collingbourne | 51d2de7 | 2014-12-03 02:08:38 +0000 | [diff] [blame] | 975 | } |
Akira Hatanaka | 3058d0f | 2015-05-06 23:54:14 +0000 | [diff] [blame] | 976 | |
Diego Novillo | 2567f3d | 2015-05-13 15:13:45 +0000 | [diff] [blame] | 977 | void Function::setEntryCount(uint64_t Count) { |
| 978 | MDBuilder MDB(getContext()); |
| 979 | setMetadata(LLVMContext::MD_prof, MDB.createFunctionEntryCount(Count)); |
| 980 | } |
| 981 | |
| 982 | Optional<uint64_t> Function::getEntryCount() const { |
| 983 | MDNode *MD = getMetadata(LLVMContext::MD_prof); |
| 984 | if (MD && MD->getOperand(0)) |
| 985 | if (MDString *MDS = dyn_cast<MDString>(MD->getOperand(0))) |
| 986 | if (MDS->getString().equals("function_entry_count")) { |
| 987 | ConstantInt *CI = mdconst::extract<ConstantInt>(MD->getOperand(1)); |
| 988 | return CI->getValue().getZExtValue(); |
| 989 | } |
| 990 | return None; |
| 991 | } |