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" |
Rafael Espindola | 2050af8 | 2011-05-16 03:05:33 +0000 | [diff] [blame] | 17 | #include "llvm/ADT/STLExtras.h" |
Chris Lattner | b392d30 | 2004-12-05 06:43:27 +0000 | [diff] [blame] | 18 | #include "llvm/ADT/StringExtras.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 19 | #include "llvm/CodeGen/ValueTypes.h" |
Chandler Carruth | 219b89b | 2014-03-04 11:01:28 +0000 | [diff] [blame] | 20 | #include "llvm/IR/CallSite.h" |
Diego Novillo | 2567f3d | 2015-05-13 15:13:45 +0000 | [diff] [blame] | 21 | #include "llvm/IR/Constants.h" |
Chandler Carruth | 9fb823b | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 22 | #include "llvm/IR/DerivedTypes.h" |
Chandler Carruth | 8394857 | 2014-03-04 10:30:26 +0000 | [diff] [blame] | 23 | #include "llvm/IR/InstIterator.h" |
Chandler Carruth | 9fb823b | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 24 | #include "llvm/IR/IntrinsicInst.h" |
| 25 | #include "llvm/IR/LLVMContext.h" |
Diego Novillo | 2567f3d | 2015-05-13 15:13:45 +0000 | [diff] [blame] | 26 | #include "llvm/IR/MDBuilder.h" |
| 27 | #include "llvm/IR/Metadata.h" |
Chandler Carruth | 9fb823b | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 28 | #include "llvm/IR/Module.h" |
Chris Lattner | 189d19f | 2003-11-21 20:23:48 +0000 | [diff] [blame] | 29 | using namespace llvm; |
Brian Gaeke | 960707c | 2003-11-11 22:41:34 +0000 | [diff] [blame] | 30 | |
Chris Lattner | 113f4f4 | 2002-06-25 16:13:24 +0000 | [diff] [blame] | 31 | // Explicit instantiations of SymbolTableListTraits since some of the methods |
| 32 | // are not in the public header file... |
Duncan P. N. Exon Smith | 37bf678 | 2015-10-07 20:05:10 +0000 | [diff] [blame] | 33 | template class llvm::SymbolTableListTraits<BasicBlock>; |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 34 | |
Chris Lattner | da97550 | 2001-09-10 07:58:01 +0000 | [diff] [blame] | 35 | //===----------------------------------------------------------------------===// |
Chris Lattner | d255ae2 | 2002-04-09 19:39:35 +0000 | [diff] [blame] | 36 | // Argument Implementation |
| 37 | //===----------------------------------------------------------------------===// |
| 38 | |
David Blaikie | a379b181 | 2011-12-20 02:50:00 +0000 | [diff] [blame] | 39 | void Argument::anchor() { } |
| 40 | |
Reid Kleckner | 56d028d | 2017-03-17 17:16:39 +0000 | [diff] [blame] | 41 | Argument::Argument(Type *Ty, const Twine &Name, Function *Par, unsigned ArgNo) |
| 42 | : Value(Ty, Value::ArgumentVal), Parent(Par), ArgNo(ArgNo) { |
Chris Lattner | 32ab643 | 2007-02-12 05:18:08 +0000 | [diff] [blame] | 43 | setName(Name); |
Chris Lattner | 9ed7aef | 2002-09-06 21:33:15 +0000 | [diff] [blame] | 44 | } |
| 45 | |
Chris Lattner | 9ed7aef | 2002-09-06 21:33:15 +0000 | [diff] [blame] | 46 | void Argument::setParent(Function *parent) { |
| 47 | Parent = parent; |
| 48 | } |
| 49 | |
Nick Lewycky | d52b152 | 2014-05-20 01:23:40 +0000 | [diff] [blame] | 50 | bool Argument::hasNonNullAttr() const { |
| 51 | if (!getType()->isPointerTy()) return false; |
Reid Kleckner | f021fab | 2017-04-13 23:12:13 +0000 | [diff] [blame^] | 52 | if (getParent()->hasParamAttribute(getArgNo(), Attribute::NonNull)) |
Hal Finkel | b0407ba | 2014-07-18 15:51:28 +0000 | [diff] [blame] | 53 | return true; |
| 54 | else if (getDereferenceableBytes() > 0 && |
| 55 | getType()->getPointerAddressSpace() == 0) |
| 56 | return true; |
| 57 | return false; |
Nick Lewycky | d52b152 | 2014-05-20 01:23:40 +0000 | [diff] [blame] | 58 | } |
| 59 | |
Chris Lattner | e30f09d | 2008-01-24 17:47:11 +0000 | [diff] [blame] | 60 | bool Argument::hasByValAttr() const { |
Duncan Sands | 19d0b47 | 2010-02-16 11:11:14 +0000 | [diff] [blame] | 61 | if (!getType()->isPointerTy()) return false; |
Amaury Sechet | 7b05a4c | 2016-03-14 01:37:29 +0000 | [diff] [blame] | 62 | return hasAttribute(Attribute::ByVal); |
Chris Lattner | e30f09d | 2008-01-24 17:47:11 +0000 | [diff] [blame] | 63 | } |
| 64 | |
Manman Ren | f46262e | 2016-03-29 17:37:21 +0000 | [diff] [blame] | 65 | bool Argument::hasSwiftSelfAttr() const { |
Reid Kleckner | f021fab | 2017-04-13 23:12:13 +0000 | [diff] [blame^] | 66 | return getParent()->hasParamAttribute(getArgNo(), Attribute::SwiftSelf); |
Manman Ren | f46262e | 2016-03-29 17:37:21 +0000 | [diff] [blame] | 67 | } |
| 68 | |
Manman Ren | 9bfd0d0 | 2016-04-01 21:41:15 +0000 | [diff] [blame] | 69 | bool Argument::hasSwiftErrorAttr() const { |
Reid Kleckner | f021fab | 2017-04-13 23:12:13 +0000 | [diff] [blame^] | 70 | return getParent()->hasParamAttribute(getArgNo(), Attribute::SwiftError); |
Manman Ren | 9bfd0d0 | 2016-04-01 21:41:15 +0000 | [diff] [blame] | 71 | } |
| 72 | |
Reid Kleckner | a534a38 | 2013-12-19 02:14:12 +0000 | [diff] [blame] | 73 | bool Argument::hasInAllocaAttr() const { |
| 74 | if (!getType()->isPointerTy()) return false; |
Amaury Sechet | 7b05a4c | 2016-03-14 01:37:29 +0000 | [diff] [blame] | 75 | return hasAttribute(Attribute::InAlloca); |
Reid Kleckner | a534a38 | 2013-12-19 02:14:12 +0000 | [diff] [blame] | 76 | } |
| 77 | |
Reid Kleckner | 436c42e | 2014-01-17 23:58:17 +0000 | [diff] [blame] | 78 | bool Argument::hasByValOrInAllocaAttr() const { |
| 79 | if (!getType()->isPointerTy()) return false; |
Reid Kleckner | b518054 | 2017-03-21 16:57:19 +0000 | [diff] [blame] | 80 | AttributeList Attrs = getParent()->getAttributes(); |
Reid Kleckner | f021fab | 2017-04-13 23:12:13 +0000 | [diff] [blame^] | 81 | return Attrs.hasParamAttribute(getArgNo(), Attribute::ByVal) || |
| 82 | Attrs.hasParamAttribute(getArgNo(), Attribute::InAlloca); |
Reid Kleckner | 436c42e | 2014-01-17 23:58:17 +0000 | [diff] [blame] | 83 | } |
| 84 | |
Chris Lattner | 4d37d99 | 2011-05-22 23:57:23 +0000 | [diff] [blame] | 85 | unsigned Argument::getParamAlignment() const { |
| 86 | assert(getType()->isPointerTy() && "Only pointers have alignments"); |
| 87 | return getParent()->getParamAlignment(getArgNo()+1); |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 88 | |
Chris Lattner | 4d37d99 | 2011-05-22 23:57:23 +0000 | [diff] [blame] | 89 | } |
| 90 | |
Hal Finkel | b0407ba | 2014-07-18 15:51:28 +0000 | [diff] [blame] | 91 | uint64_t Argument::getDereferenceableBytes() const { |
| 92 | assert(getType()->isPointerTy() && |
| 93 | "Only pointers have dereferenceable bytes"); |
| 94 | return getParent()->getDereferenceableBytes(getArgNo()+1); |
| 95 | } |
| 96 | |
Sanjoy Das | 06cf33f | 2015-05-06 17:41:54 +0000 | [diff] [blame] | 97 | uint64_t Argument::getDereferenceableOrNullBytes() const { |
| 98 | assert(getType()->isPointerTy() && |
| 99 | "Only pointers have dereferenceable bytes"); |
| 100 | return getParent()->getDereferenceableOrNullBytes(getArgNo()+1); |
| 101 | } |
| 102 | |
Duncan Sands | 5d96f3f | 2009-12-11 08:36:17 +0000 | [diff] [blame] | 103 | bool Argument::hasNestAttr() const { |
Duncan Sands | 19d0b47 | 2010-02-16 11:11:14 +0000 | [diff] [blame] | 104 | if (!getType()->isPointerTy()) return false; |
Amaury Sechet | 7b05a4c | 2016-03-14 01:37:29 +0000 | [diff] [blame] | 105 | return hasAttribute(Attribute::Nest); |
Duncan Sands | 5d96f3f | 2009-12-11 08:36:17 +0000 | [diff] [blame] | 106 | } |
| 107 | |
Chris Lattner | e30f09d | 2008-01-24 17:47:11 +0000 | [diff] [blame] | 108 | bool Argument::hasNoAliasAttr() const { |
Duncan Sands | 19d0b47 | 2010-02-16 11:11:14 +0000 | [diff] [blame] | 109 | if (!getType()->isPointerTy()) return false; |
Amaury Sechet | 7b05a4c | 2016-03-14 01:37:29 +0000 | [diff] [blame] | 110 | return hasAttribute(Attribute::NoAlias); |
Chris Lattner | e30f09d | 2008-01-24 17:47:11 +0000 | [diff] [blame] | 111 | } |
| 112 | |
Duncan Sands | df128eb | 2008-12-31 18:08:59 +0000 | [diff] [blame] | 113 | bool Argument::hasNoCaptureAttr() const { |
Duncan Sands | 19d0b47 | 2010-02-16 11:11:14 +0000 | [diff] [blame] | 114 | if (!getType()->isPointerTy()) return false; |
Amaury Sechet | 7b05a4c | 2016-03-14 01:37:29 +0000 | [diff] [blame] | 115 | return hasAttribute(Attribute::NoCapture); |
Duncan Sands | df128eb | 2008-12-31 18:08:59 +0000 | [diff] [blame] | 116 | } |
| 117 | |
Owen Anderson | c64dfb4 | 2008-02-17 23:22:28 +0000 | [diff] [blame] | 118 | bool Argument::hasStructRetAttr() const { |
Duncan Sands | 19d0b47 | 2010-02-16 11:11:14 +0000 | [diff] [blame] | 119 | if (!getType()->isPointerTy()) return false; |
Amaury Sechet | 7b05a4c | 2016-03-14 01:37:29 +0000 | [diff] [blame] | 120 | return hasAttribute(Attribute::StructRet); |
Owen Anderson | c64dfb4 | 2008-02-17 23:22:28 +0000 | [diff] [blame] | 121 | } |
| 122 | |
Stephen Lin | b8bd232 | 2013-04-20 05:14:40 +0000 | [diff] [blame] | 123 | bool Argument::hasReturnedAttr() const { |
Amaury Sechet | 7b05a4c | 2016-03-14 01:37:29 +0000 | [diff] [blame] | 124 | return hasAttribute(Attribute::Returned); |
Stephen Lin | b8bd232 | 2013-04-20 05:14:40 +0000 | [diff] [blame] | 125 | } |
| 126 | |
Juergen Ributzka | 384c3b5 | 2014-08-05 05:43:41 +0000 | [diff] [blame] | 127 | bool Argument::hasZExtAttr() const { |
Amaury Sechet | 7b05a4c | 2016-03-14 01:37:29 +0000 | [diff] [blame] | 128 | return hasAttribute(Attribute::ZExt); |
Juergen Ributzka | 384c3b5 | 2014-08-05 05:43:41 +0000 | [diff] [blame] | 129 | } |
| 130 | |
Juergen Ributzka | 384c3b5 | 2014-08-05 05:43:41 +0000 | [diff] [blame] | 131 | bool Argument::hasSExtAttr() const { |
Amaury Sechet | 7b05a4c | 2016-03-14 01:37:29 +0000 | [diff] [blame] | 132 | return hasAttribute(Attribute::SExt); |
Juergen Ributzka | 384c3b5 | 2014-08-05 05:43:41 +0000 | [diff] [blame] | 133 | } |
| 134 | |
Nick Lewycky | c2ec072 | 2013-07-06 00:29:58 +0000 | [diff] [blame] | 135 | bool Argument::onlyReadsMemory() const { |
Reid Kleckner | f021fab | 2017-04-13 23:12:13 +0000 | [diff] [blame^] | 136 | AttributeList Attrs = getParent()->getAttributes(); |
| 137 | return Attrs.hasParamAttribute(getArgNo(), Attribute::ReadOnly) || |
| 138 | Attrs.hasParamAttribute(getArgNo(), Attribute::ReadNone); |
Nick Lewycky | c2ec072 | 2013-07-06 00:29:58 +0000 | [diff] [blame] | 139 | } |
| 140 | |
Reid Kleckner | b518054 | 2017-03-21 16:57:19 +0000 | [diff] [blame] | 141 | void Argument::addAttr(AttributeList AS) { |
Bill Wendling | efbbbfd | 2013-02-21 19:46:51 +0000 | [diff] [blame] | 142 | assert(AS.getNumSlots() <= 1 && |
Bill Wendling | 1c20ff0 | 2013-02-20 23:04:11 +0000 | [diff] [blame] | 143 | "Trying to add more than one attribute set to an argument!"); |
| 144 | AttrBuilder B(AS, AS.getSlotIndex(0)); |
Reid Kleckner | b518054 | 2017-03-21 16:57:19 +0000 | [diff] [blame] | 145 | getParent()->addAttributes( |
| 146 | getArgNo() + 1, |
| 147 | AttributeList::get(Parent->getContext(), getArgNo() + 1, B)); |
Gordon Henriksen | 2d9cc21 | 2008-04-28 17:37:06 +0000 | [diff] [blame] | 148 | } |
Chris Lattner | e30f09d | 2008-01-24 17:47:11 +0000 | [diff] [blame] | 149 | |
Reid Kleckner | b518054 | 2017-03-21 16:57:19 +0000 | [diff] [blame] | 150 | void Argument::removeAttr(AttributeList AS) { |
Bill Wendling | efbbbfd | 2013-02-21 19:46:51 +0000 | [diff] [blame] | 151 | assert(AS.getNumSlots() <= 1 && |
Bill Wendling | 1c20ff0 | 2013-02-20 23:04:11 +0000 | [diff] [blame] | 152 | "Trying to remove more than one attribute set from an argument!"); |
| 153 | AttrBuilder B(AS, AS.getSlotIndex(0)); |
Reid Kleckner | b518054 | 2017-03-21 16:57:19 +0000 | [diff] [blame] | 154 | getParent()->removeAttributes( |
| 155 | getArgNo() + 1, |
| 156 | AttributeList::get(Parent->getContext(), getArgNo() + 1, B)); |
Duncan Sands | 66336db | 2008-07-08 09:41:30 +0000 | [diff] [blame] | 157 | } |
Chris Lattner | e30f09d | 2008-01-24 17:47:11 +0000 | [diff] [blame] | 158 | |
Amaury Sechet | 7b05a4c | 2016-03-14 01:37:29 +0000 | [diff] [blame] | 159 | bool Argument::hasAttribute(Attribute::AttrKind Kind) const { |
Reid Kleckner | f021fab | 2017-04-13 23:12:13 +0000 | [diff] [blame^] | 160 | return getParent()->hasParamAttribute(getArgNo(), Kind); |
Amaury Sechet | 7b05a4c | 2016-03-14 01:37:29 +0000 | [diff] [blame] | 161 | } |
| 162 | |
Chris Lattner | d255ae2 | 2002-04-09 19:39:35 +0000 | [diff] [blame] | 163 | //===----------------------------------------------------------------------===// |
Chris Lattner | 3e13b8c | 2008-01-02 23:42:30 +0000 | [diff] [blame] | 164 | // Helper Methods in Function |
Reid Spencer | 019c886 | 2007-04-09 15:01:12 +0000 | [diff] [blame] | 165 | //===----------------------------------------------------------------------===// |
| 166 | |
Owen Anderson | 47db941 | 2009-07-22 00:24:57 +0000 | [diff] [blame] | 167 | LLVMContext &Function::getContext() const { |
| 168 | return getType()->getContext(); |
Owen Anderson | 0a2c458 | 2009-07-02 18:03:58 +0000 | [diff] [blame] | 169 | } |
| 170 | |
Chris Lattner | 3e13b8c | 2008-01-02 23:42:30 +0000 | [diff] [blame] | 171 | void Function::removeFromParent() { |
Duncan P. N. Exon Smith | 52888a6 | 2015-10-08 23:49:46 +0000 | [diff] [blame] | 172 | getParent()->getFunctionList().remove(getIterator()); |
Duncan Sands | 185eeac | 2007-11-25 14:10:56 +0000 | [diff] [blame] | 173 | } |
| 174 | |
Chris Lattner | 3e13b8c | 2008-01-02 23:42:30 +0000 | [diff] [blame] | 175 | void Function::eraseFromParent() { |
Duncan P. N. Exon Smith | 52888a6 | 2015-10-08 23:49:46 +0000 | [diff] [blame] | 176 | getParent()->getFunctionList().erase(getIterator()); |
Reid Spencer | 019c886 | 2007-04-09 15:01:12 +0000 | [diff] [blame] | 177 | } |
| 178 | |
Reid Spencer | 019c886 | 2007-04-09 15:01:12 +0000 | [diff] [blame] | 179 | //===----------------------------------------------------------------------===// |
Chris Lattner | 57698e2 | 2002-03-26 18:01:55 +0000 | [diff] [blame] | 180 | // Function Implementation |
Chris Lattner | da97550 | 2001-09-10 07:58:01 +0000 | [diff] [blame] | 181 | //===----------------------------------------------------------------------===// |
| 182 | |
Rafael Espindola | 1b47a28 | 2014-10-23 15:20:05 +0000 | [diff] [blame] | 183 | Function::Function(FunctionType *Ty, LinkageTypes Linkage, const Twine &name, |
| 184 | Module *ParentModule) |
David Blaikie | d583b19 | 2015-08-21 21:35:28 +0000 | [diff] [blame] | 185 | : GlobalObject(Ty, Value::FunctionVal, |
Reid Kleckner | 56d028d | 2017-03-17 17:16:39 +0000 | [diff] [blame] | 186 | OperandTraits<Function>::op_begin(this), 0, Linkage, name), |
| 187 | Arguments(nullptr), NumArgs(Ty->getNumParams()) { |
Chris Lattner | 654695b | 2009-01-05 07:58:59 +0000 | [diff] [blame] | 188 | assert(FunctionType::isValidReturnType(getReturnType()) && |
Chris Lattner | b1ed91f | 2011-07-09 17:41:24 +0000 | [diff] [blame] | 189 | "invalid return type"); |
Duncan P. N. Exon Smith | 4472b77 | 2015-04-24 20:47:23 +0000 | [diff] [blame] | 190 | setGlobalObjectSubClassData(0); |
Mehdi Amini | a53d49e | 2016-09-17 06:00:02 +0000 | [diff] [blame] | 191 | |
| 192 | // We only need a symbol table for a function if the context keeps value names |
| 193 | if (!getContext().shouldDiscardValueNames()) |
| 194 | SymTab = make_unique<ValueSymbolTable>(); |
Chris Lattner | 6213ae0 | 2002-09-06 20:46:32 +0000 | [diff] [blame] | 195 | |
Chris Lattner | e2de908 | 2007-08-18 06:14:52 +0000 | [diff] [blame] | 196 | // If the function has arguments, mark them as lazily built. |
| 197 | if (Ty->getNumParams()) |
Chris Lattner | b9c8651 | 2009-12-29 02:14:09 +0000 | [diff] [blame] | 198 | setValueSubclassData(1); // Set the "has lazy arguments" bit. |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 199 | |
Chris Lattner | 6213ae0 | 2002-09-06 20:46:32 +0000 | [diff] [blame] | 200 | if (ParentModule) |
| 201 | ParentModule->getFunctionList().push_back(this); |
Duncan Sands | a8ff6ca | 2008-04-07 13:39:11 +0000 | [diff] [blame] | 202 | |
Justin Lebar | 291abd3 | 2016-12-28 22:59:45 +0000 | [diff] [blame] | 203 | HasLLVMReservedName = getName().startswith("llvm."); |
Duncan Sands | a8ff6ca | 2008-04-07 13:39:11 +0000 | [diff] [blame] | 204 | // Ensure intrinsics have the right parameter attributes. |
Pete Cooper | a7c0c18 | 2015-05-19 00:24:26 +0000 | [diff] [blame] | 205 | // Note, the IntID field will have been set in Value::setName if this function |
| 206 | // name is a valid intrinsic ID. |
| 207 | if (IntID) |
| 208 | setAttributes(Intrinsic::getAttributes(getContext(), IntID)); |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 209 | } |
| 210 | |
Gordon Henriksen | 14a5569 | 2007-12-10 02:14:30 +0000 | [diff] [blame] | 211 | Function::~Function() { |
| 212 | dropAllReferences(); // After this it is safe to delete instructions. |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 213 | |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 214 | // Delete all of the method arguments and unlink from symbol table... |
Reid Kleckner | 56d028d | 2017-03-17 17:16:39 +0000 | [diff] [blame] | 215 | if (Arguments) |
| 216 | clearArguments(); |
Reid Spencer | c6a8384 | 2007-04-22 17:28:03 +0000 | [diff] [blame] | 217 | |
Gordon Henriksen | d930f91 | 2008-08-17 18:44:35 +0000 | [diff] [blame] | 218 | // Remove the function from the on-the-side GC table. |
| 219 | clearGC(); |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 220 | } |
| 221 | |
Chris Lattner | e2de908 | 2007-08-18 06:14:52 +0000 | [diff] [blame] | 222 | void Function::BuildLazyArguments() const { |
| 223 | // Create the arguments vector, all arguments start out unnamed. |
Reid Kleckner | 56d028d | 2017-03-17 17:16:39 +0000 | [diff] [blame] | 224 | auto *FT = getFunctionType(); |
| 225 | if (NumArgs > 0) { |
| 226 | Arguments = std::allocator<Argument>().allocate(NumArgs); |
| 227 | for (unsigned i = 0, e = NumArgs; i != e; ++i) { |
| 228 | Type *ArgTy = FT->getParamType(i); |
| 229 | assert(!ArgTy->isVoidTy() && "Cannot have void typed arguments!"); |
| 230 | new (Arguments + i) Argument(ArgTy, "", const_cast<Function *>(this), i); |
| 231 | } |
Chris Lattner | e2de908 | 2007-08-18 06:14:52 +0000 | [diff] [blame] | 232 | } |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 233 | |
Chris Lattner | e2de908 | 2007-08-18 06:14:52 +0000 | [diff] [blame] | 234 | // Clear the lazy arguments bit. |
Chris Lattner | b9c8651 | 2009-12-29 02:14:09 +0000 | [diff] [blame] | 235 | unsigned SDC = getSubclassDataFromValue(); |
Peter Collingbourne | 51d2de7 | 2014-12-03 02:08:38 +0000 | [diff] [blame] | 236 | const_cast<Function*>(this)->setValueSubclassData(SDC &= ~(1<<0)); |
Reid Kleckner | 56d028d | 2017-03-17 17:16:39 +0000 | [diff] [blame] | 237 | assert(!hasLazyArguments()); |
| 238 | } |
| 239 | |
| 240 | static MutableArrayRef<Argument> makeArgArray(Argument *Args, size_t Count) { |
| 241 | return MutableArrayRef<Argument>(Args, Count); |
| 242 | } |
| 243 | |
| 244 | void Function::clearArguments() { |
| 245 | for (Argument &A : makeArgArray(Arguments, NumArgs)) { |
| 246 | A.setName(""); |
| 247 | A.~Argument(); |
| 248 | } |
| 249 | std::allocator<Argument>().deallocate(Arguments, NumArgs); |
| 250 | Arguments = nullptr; |
Chris Lattner | e2de908 | 2007-08-18 06:14:52 +0000 | [diff] [blame] | 251 | } |
| 252 | |
Duncan P. N. Exon Smith | bdfc984 | 2016-04-06 06:38:15 +0000 | [diff] [blame] | 253 | void Function::stealArgumentListFrom(Function &Src) { |
| 254 | assert(isDeclaration() && "Expected no references to current arguments"); |
| 255 | |
| 256 | // Drop the current arguments, if any, and set the lazy argument bit. |
| 257 | if (!hasLazyArguments()) { |
Reid Kleckner | 56d028d | 2017-03-17 17:16:39 +0000 | [diff] [blame] | 258 | assert(llvm::all_of(makeArgArray(Arguments, NumArgs), |
Duncan P. N. Exon Smith | bdfc984 | 2016-04-06 06:38:15 +0000 | [diff] [blame] | 259 | [](const Argument &A) { return A.use_empty(); }) && |
| 260 | "Expected arguments to be unused in declaration"); |
Reid Kleckner | 56d028d | 2017-03-17 17:16:39 +0000 | [diff] [blame] | 261 | clearArguments(); |
Duncan P. N. Exon Smith | bdfc984 | 2016-04-06 06:38:15 +0000 | [diff] [blame] | 262 | setValueSubclassData(getSubclassDataFromValue() | (1 << 0)); |
| 263 | } |
| 264 | |
| 265 | // Nothing to steal if Src has lazy arguments. |
| 266 | if (Src.hasLazyArguments()) |
| 267 | return; |
| 268 | |
| 269 | // Steal arguments from Src, and fix the lazy argument bits. |
Reid Kleckner | 56d028d | 2017-03-17 17:16:39 +0000 | [diff] [blame] | 270 | assert(arg_size() == Src.arg_size()); |
| 271 | Arguments = Src.Arguments; |
| 272 | Src.Arguments = nullptr; |
| 273 | for (Argument &A : makeArgArray(Arguments, NumArgs)) { |
| 274 | // FIXME: This does the work of transferNodesFromList inefficiently. |
| 275 | SmallString<128> Name; |
| 276 | if (A.hasName()) |
| 277 | Name = A.getName(); |
| 278 | if (!Name.empty()) |
| 279 | A.setName(""); |
| 280 | A.setParent(this); |
| 281 | if (!Name.empty()) |
| 282 | A.setName(Name); |
| 283 | } |
| 284 | |
Duncan P. N. Exon Smith | bdfc984 | 2016-04-06 06:38:15 +0000 | [diff] [blame] | 285 | setValueSubclassData(getSubclassDataFromValue() & ~(1 << 0)); |
Reid Kleckner | 56d028d | 2017-03-17 17:16:39 +0000 | [diff] [blame] | 286 | assert(!hasLazyArguments()); |
Duncan P. N. Exon Smith | bdfc984 | 2016-04-06 06:38:15 +0000 | [diff] [blame] | 287 | Src.setValueSubclassData(Src.getSubclassDataFromValue() | (1 << 0)); |
| 288 | } |
| 289 | |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 290 | // dropAllReferences() - This function causes all the subinstructions to "let |
| 291 | // go" of all references that they are maintaining. This allows one to |
| 292 | // 'delete' a whole class at a time, even though there may be circular |
| 293 | // references... first all references are dropped, and all use counts go to |
Misha Brukman | fa10053 | 2003-10-10 17:54:14 +0000 | [diff] [blame] | 294 | // zero. Then everything is deleted for real. Note that no operations are |
Misha Brukman | b1c9317 | 2005-04-21 23:48:37 +0000 | [diff] [blame] | 295 | // valid on an object that has "dropped all references", except operator |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 296 | // delete. |
| 297 | // |
Chris Lattner | 4e8c487 | 2002-03-23 22:51:58 +0000 | [diff] [blame] | 298 | void Function::dropAllReferences() { |
Rafael Espindola | d4bcefc | 2014-10-24 18:13:04 +0000 | [diff] [blame] | 299 | setIsMaterializable(false); |
| 300 | |
Benjamin Kramer | af28e7d | 2016-06-26 14:10:56 +0000 | [diff] [blame] | 301 | for (BasicBlock &BB : *this) |
| 302 | BB.dropAllReferences(); |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 303 | |
Dan Gohman | f844b3b | 2010-12-07 19:56:51 +0000 | [diff] [blame] | 304 | // Delete all basic blocks. They are now unused, except possibly by |
| 305 | // blockaddresses, but BasicBlock's destructor takes care of those. |
| 306 | while (!BasicBlocks.empty()) |
| 307 | BasicBlocks.begin()->eraseFromParent(); |
Peter Collingbourne | 3fa50f9 | 2013-09-16 01:08:15 +0000 | [diff] [blame] | 308 | |
Vedant Kumar | 3a63fb3 | 2015-12-19 08:52:49 +0000 | [diff] [blame] | 309 | // Drop uses of any optional data (real or placeholder). |
| 310 | if (getNumOperands()) { |
| 311 | User::dropAllReferences(); |
| 312 | setNumHungOffUseOperands(0); |
| 313 | setValueSubclassData(getSubclassDataFromValue() & ~0xe); |
| 314 | } |
Duncan P. N. Exon Smith | e2510cd | 2015-04-24 21:51:02 +0000 | [diff] [blame] | 315 | |
| 316 | // Metadata is stored in a side-table. |
| 317 | clearMetadata(); |
Chris Lattner | 2f7c963 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 318 | } |
Chris Lattner | da97550 | 2001-09-10 07:58:01 +0000 | [diff] [blame] | 319 | |
Amaury Sechet | 392638d | 2016-06-14 20:27:35 +0000 | [diff] [blame] | 320 | void Function::addAttribute(unsigned i, Attribute::AttrKind Kind) { |
Reid Kleckner | b518054 | 2017-03-21 16:57:19 +0000 | [diff] [blame] | 321 | AttributeList PAL = getAttributes(); |
Amaury Sechet | 392638d | 2016-06-14 20:27:35 +0000 | [diff] [blame] | 322 | PAL = PAL.addAttribute(getContext(), i, Kind); |
Devang Patel | 4c758ea | 2008-09-25 21:00:45 +0000 | [diff] [blame] | 323 | setAttributes(PAL); |
Eric Christopher | 901b1a7 | 2008-05-16 20:39:43 +0000 | [diff] [blame] | 324 | } |
| 325 | |
Amaury Sechet | 5db224e | 2016-06-12 06:17:24 +0000 | [diff] [blame] | 326 | void Function::addAttribute(unsigned i, Attribute Attr) { |
Reid Kleckner | b518054 | 2017-03-21 16:57:19 +0000 | [diff] [blame] | 327 | AttributeList PAL = getAttributes(); |
Amaury Sechet | 5db224e | 2016-06-12 06:17:24 +0000 | [diff] [blame] | 328 | PAL = PAL.addAttribute(getContext(), i, Attr); |
| 329 | setAttributes(PAL); |
| 330 | } |
| 331 | |
Reid Kleckner | b518054 | 2017-03-21 16:57:19 +0000 | [diff] [blame] | 332 | void Function::addAttributes(unsigned i, AttributeList Attrs) { |
| 333 | AttributeList PAL = getAttributes(); |
Amaury Sechet | 392638d | 2016-06-14 20:27:35 +0000 | [diff] [blame] | 334 | PAL = PAL.addAttributes(getContext(), i, Attrs); |
Bill Wendling | c0e2a1f | 2013-01-23 00:20:53 +0000 | [diff] [blame] | 335 | setAttributes(PAL); |
| 336 | } |
| 337 | |
Amaury Sechet | 392638d | 2016-06-14 20:27:35 +0000 | [diff] [blame] | 338 | void Function::removeAttribute(unsigned i, Attribute::AttrKind Kind) { |
Reid Kleckner | b518054 | 2017-03-21 16:57:19 +0000 | [diff] [blame] | 339 | AttributeList PAL = getAttributes(); |
Amaury Sechet | 392638d | 2016-06-14 20:27:35 +0000 | [diff] [blame] | 340 | PAL = PAL.removeAttribute(getContext(), i, Kind); |
Amaury Sechet | 7b05a4c | 2016-03-14 01:37:29 +0000 | [diff] [blame] | 341 | setAttributes(PAL); |
| 342 | } |
| 343 | |
Amaury Sechet | 6100adf | 2016-06-15 17:50:39 +0000 | [diff] [blame] | 344 | void Function::removeAttribute(unsigned i, StringRef Kind) { |
Reid Kleckner | b518054 | 2017-03-21 16:57:19 +0000 | [diff] [blame] | 345 | AttributeList PAL = getAttributes(); |
Amaury Sechet | 6100adf | 2016-06-15 17:50:39 +0000 | [diff] [blame] | 346 | PAL = PAL.removeAttribute(getContext(), i, Kind); |
| 347 | setAttributes(PAL); |
| 348 | } |
| 349 | |
Reid Kleckner | b518054 | 2017-03-21 16:57:19 +0000 | [diff] [blame] | 350 | void Function::removeAttributes(unsigned i, AttributeList Attrs) { |
| 351 | AttributeList PAL = getAttributes(); |
Amaury Sechet | 392638d | 2016-06-14 20:27:35 +0000 | [diff] [blame] | 352 | PAL = PAL.removeAttributes(getContext(), i, Attrs); |
Devang Patel | 4c758ea | 2008-09-25 21:00:45 +0000 | [diff] [blame] | 353 | setAttributes(PAL); |
Duncan Sands | 66336db | 2008-07-08 09:41:30 +0000 | [diff] [blame] | 354 | } |
| 355 | |
Ramkumar Ramachandra | 8fcb498 | 2015-02-14 19:37:54 +0000 | [diff] [blame] | 356 | void Function::addDereferenceableAttr(unsigned i, uint64_t Bytes) { |
Reid Kleckner | b518054 | 2017-03-21 16:57:19 +0000 | [diff] [blame] | 357 | AttributeList PAL = getAttributes(); |
Ramkumar Ramachandra | 8fcb498 | 2015-02-14 19:37:54 +0000 | [diff] [blame] | 358 | PAL = PAL.addDereferenceableAttr(getContext(), i, Bytes); |
| 359 | setAttributes(PAL); |
| 360 | } |
| 361 | |
Sanjoy Das | 31ea6d1 | 2015-04-16 20:29:50 +0000 | [diff] [blame] | 362 | void Function::addDereferenceableOrNullAttr(unsigned i, uint64_t Bytes) { |
Reid Kleckner | b518054 | 2017-03-21 16:57:19 +0000 | [diff] [blame] | 363 | AttributeList PAL = getAttributes(); |
Sanjoy Das | 31ea6d1 | 2015-04-16 20:29:50 +0000 | [diff] [blame] | 364 | PAL = PAL.addDereferenceableOrNullAttr(getContext(), i, Bytes); |
| 365 | setAttributes(PAL); |
| 366 | } |
| 367 | |
Mehdi Amini | 599ebf2 | 2016-01-08 02:28:20 +0000 | [diff] [blame] | 368 | const std::string &Function::getGC() const { |
Gordon Henriksen | d930f91 | 2008-08-17 18:44:35 +0000 | [diff] [blame] | 369 | assert(hasGC() && "Function has no collector"); |
Mehdi Amini | 599ebf2 | 2016-01-08 02:28:20 +0000 | [diff] [blame] | 370 | return getContext().getGC(*this); |
Gordon Henriksen | 71183b6 | 2007-12-10 03:18:06 +0000 | [diff] [blame] | 371 | } |
| 372 | |
Benjamin Kramer | 728f444 | 2016-05-29 10:46:35 +0000 | [diff] [blame] | 373 | void Function::setGC(std::string Str) { |
Mehdi Amini | 599ebf2 | 2016-01-08 02:28:20 +0000 | [diff] [blame] | 374 | setValueSubclassDataBit(14, !Str.empty()); |
| 375 | getContext().setGC(*this, std::move(Str)); |
Gordon Henriksen | 71183b6 | 2007-12-10 03:18:06 +0000 | [diff] [blame] | 376 | } |
| 377 | |
Gordon Henriksen | d930f91 | 2008-08-17 18:44:35 +0000 | [diff] [blame] | 378 | void Function::clearGC() { |
Mehdi Amini | 599ebf2 | 2016-01-08 02:28:20 +0000 | [diff] [blame] | 379 | if (!hasGC()) |
| 380 | return; |
| 381 | getContext().deleteGC(*this); |
| 382 | setValueSubclassDataBit(14, false); |
Gordon Henriksen | 71183b6 | 2007-12-10 03:18:06 +0000 | [diff] [blame] | 383 | } |
| 384 | |
Rafael Espindola | 769efe6 | 2015-12-02 20:03:17 +0000 | [diff] [blame] | 385 | /// Copy all additional attributes (those not needed to create a Function) from |
| 386 | /// the Function Src to this one. |
Duncan Sands | dd7daee | 2008-05-26 19:58:59 +0000 | [diff] [blame] | 387 | void Function::copyAttributesFrom(const GlobalValue *Src) { |
Rafael Espindola | 99e05cf | 2014-05-13 18:45:48 +0000 | [diff] [blame] | 388 | GlobalObject::copyAttributesFrom(Src); |
Rafael Espindola | 769efe6 | 2015-12-02 20:03:17 +0000 | [diff] [blame] | 389 | const Function *SrcF = dyn_cast<Function>(Src); |
| 390 | if (!SrcF) |
| 391 | return; |
| 392 | |
Duncan Sands | dd7daee | 2008-05-26 19:58:59 +0000 | [diff] [blame] | 393 | setCallingConv(SrcF->getCallingConv()); |
Devang Patel | 4c758ea | 2008-09-25 21:00:45 +0000 | [diff] [blame] | 394 | setAttributes(SrcF->getAttributes()); |
Gordon Henriksen | d930f91 | 2008-08-17 18:44:35 +0000 | [diff] [blame] | 395 | if (SrcF->hasGC()) |
| 396 | setGC(SrcF->getGC()); |
| 397 | else |
| 398 | clearGC(); |
Vedant Kumar | 44dd987 | 2015-12-19 08:48:43 +0000 | [diff] [blame] | 399 | if (SrcF->hasPersonalityFn()) |
| 400 | setPersonalityFn(SrcF->getPersonalityFn()); |
Vedant Kumar | 3a63fb3 | 2015-12-19 08:52:49 +0000 | [diff] [blame] | 401 | if (SrcF->hasPrefixData()) |
| 402 | setPrefixData(SrcF->getPrefixData()); |
| 403 | if (SrcF->hasPrologueData()) |
| 404 | setPrologueData(SrcF->getPrologueData()); |
Duncan Sands | dd7daee | 2008-05-26 19:58:59 +0000 | [diff] [blame] | 405 | } |
| 406 | |
Reid Kleckner | 0b5220d | 2016-01-26 02:06:41 +0000 | [diff] [blame] | 407 | /// Table of string intrinsic names indexed by enum value. |
| 408 | static const char * const IntrinsicNameTable[] = { |
| 409 | "not_intrinsic", |
| 410 | #define GET_INTRINSIC_NAME_TABLE |
| 411 | #include "llvm/IR/Intrinsics.gen" |
| 412 | #undef GET_INTRINSIC_NAME_TABLE |
| 413 | }; |
| 414 | |
Justin Bogner | 92a8c61 | 2016-07-15 16:31:37 +0000 | [diff] [blame] | 415 | /// Table of per-target intrinsic name tables. |
| 416 | #define GET_INTRINSIC_TARGET_DATA |
| 417 | #include "llvm/IR/Intrinsics.gen" |
| 418 | #undef GET_INTRINSIC_TARGET_DATA |
| 419 | |
| 420 | /// Find the segment of \c IntrinsicNameTable for intrinsics with the same |
| 421 | /// target as \c Name, or the generic table if \c Name is not target specific. |
| 422 | /// |
| 423 | /// Returns the relevant slice of \c IntrinsicNameTable |
| 424 | static ArrayRef<const char *> findTargetSubtable(StringRef Name) { |
| 425 | assert(Name.startswith("llvm.")); |
| 426 | |
| 427 | ArrayRef<IntrinsicTargetInfo> Targets(TargetInfos); |
| 428 | // Drop "llvm." and take the first dotted component. That will be the target |
| 429 | // if this is target specific. |
| 430 | StringRef Target = Name.drop_front(5).split('.').first; |
| 431 | auto It = std::lower_bound(Targets.begin(), Targets.end(), Target, |
| 432 | [](const IntrinsicTargetInfo &TI, |
| 433 | StringRef Target) { return TI.Name < Target; }); |
| 434 | // We've either found the target or just fall back to the generic set, which |
| 435 | // is always first. |
| 436 | const auto &TI = It != Targets.end() && It->Name == Target ? *It : Targets[0]; |
| 437 | return makeArrayRef(&IntrinsicNameTable[1] + TI.Offset, TI.Count); |
| 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. |
Tim Northover | 6b3bd61 | 2016-07-29 20:32:59 +0000 | [diff] [blame] | 442 | Intrinsic::ID Function::lookupIntrinsicID(StringRef Name) { |
Justin Bogner | 92a8c61 | 2016-07-15 16:31:37 +0000 | [diff] [blame] | 443 | ArrayRef<const char *> NameTable = findTargetSubtable(Name); |
Reid Kleckner | c2752da | 2016-01-26 22:33:19 +0000 | [diff] [blame] | 444 | int Idx = Intrinsic::lookupLLVMIntrinsicByName(NameTable, Name); |
Justin Bogner | 92a8c61 | 2016-07-15 16:31:37 +0000 | [diff] [blame] | 445 | if (Idx == -1) |
| 446 | return Intrinsic::not_intrinsic; |
| 447 | |
| 448 | // Intrinsic IDs correspond to the location in IntrinsicNameTable, but we have |
| 449 | // an index into a sub-table. |
| 450 | int Adjust = NameTable.data() - IntrinsicNameTable; |
| 451 | Intrinsic::ID ID = static_cast<Intrinsic::ID>(Idx + Adjust); |
Pete Cooper | 2124113 | 2015-05-19 00:02:25 +0000 | [diff] [blame] | 452 | |
Reid Kleckner | 0b5220d | 2016-01-26 02:06:41 +0000 | [diff] [blame] | 453 | // If the intrinsic is not overloaded, require an exact match. If it is |
| 454 | // overloaded, require a prefix match. |
| 455 | bool IsPrefixMatch = Name.size() > strlen(NameTable[Idx]); |
| 456 | return IsPrefixMatch == isOverloaded(ID) ? ID : Intrinsic::not_intrinsic; |
Pete Cooper | 2124113 | 2015-05-19 00:02:25 +0000 | [diff] [blame] | 457 | } |
| 458 | |
Pete Cooper | a7c0c18 | 2015-05-19 00:24:26 +0000 | [diff] [blame] | 459 | void Function::recalculateIntrinsicID() { |
Justin Lebar | 291abd3 | 2016-12-28 22:59:45 +0000 | [diff] [blame] | 460 | StringRef Name = getName(); |
| 461 | if (!Name.startswith("llvm.")) { |
| 462 | HasLLVMReservedName = false; |
Pete Cooper | a7c0c18 | 2015-05-19 00:24:26 +0000 | [diff] [blame] | 463 | IntID = Intrinsic::not_intrinsic; |
| 464 | return; |
Michael Ilseman | 516d703 | 2013-03-01 18:48:54 +0000 | [diff] [blame] | 465 | } |
Justin Lebar | 291abd3 | 2016-12-28 22:59:45 +0000 | [diff] [blame] | 466 | HasLLVMReservedName = true; |
| 467 | IntID = lookupIntrinsicID(Name); |
Michael Ilseman | 516d703 | 2013-03-01 18:48:54 +0000 | [diff] [blame] | 468 | } |
| 469 | |
Philip Reames | 319c48e | 2014-11-12 00:21:51 +0000 | [diff] [blame] | 470 | /// 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] | 471 | /// mangling scheme used by 'any' types in intrinsic signatures. The mangling |
| 472 | /// of named types is simply their name. Manglings for unnamed types consist |
| 473 | /// of a prefix ('p' for pointers, 'a' for arrays, 'f_' for functions) |
| 474 | /// combined with the mangling of their component types. A vararg function |
| 475 | /// type will have a suffix of 'vararg'. Since function types can contain |
| 476 | /// other function types, we close a function type mangling with suffix 'f' |
| 477 | /// which can't be confused with it's prefix. This ensures we don't have |
| 478 | /// collisions between two unrelated function types. Otherwise, you might |
| 479 | /// 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] | 480 | /// Manglings of integers, floats, and vectors ('i', 'f', and 'v' prefix in most |
| 481 | /// cases) fall back to the MVT codepath, where they could be mangled to |
| 482 | /// 'x86mmx', for example; matching on derived types is not sufficient to mangle |
| 483 | /// everything. |
Philip Reames | 319c48e | 2014-11-12 00:21:51 +0000 | [diff] [blame] | 484 | static std::string getMangledTypeStr(Type* Ty) { |
| 485 | std::string Result; |
| 486 | if (PointerType* PTyp = dyn_cast<PointerType>(Ty)) { |
| 487 | Result += "p" + llvm::utostr(PTyp->getAddressSpace()) + |
| 488 | getMangledTypeStr(PTyp->getElementType()); |
| 489 | } else if (ArrayType* ATyp = dyn_cast<ArrayType>(Ty)) { |
| 490 | Result += "a" + llvm::utostr(ATyp->getNumElements()) + |
| 491 | getMangledTypeStr(ATyp->getElementType()); |
Daniel Berlin | 3c1432f | 2017-02-15 23:16:20 +0000 | [diff] [blame] | 492 | } else if (StructType *STyp = dyn_cast<StructType>(Ty)) { |
| 493 | if (!STyp->isLiteral()) { |
| 494 | Result += "s_"; |
| 495 | Result += STyp->getName(); |
| 496 | } else { |
| 497 | Result += "sl_"; |
| 498 | for (auto Elem : STyp->elements()) |
| 499 | Result += getMangledTypeStr(Elem); |
| 500 | } |
| 501 | // Ensure nested structs are distinguishable. |
| 502 | Result += "s"; |
| 503 | } else if (FunctionType *FT = dyn_cast<FunctionType>(Ty)) { |
Philip Reames | 319c48e | 2014-11-12 00:21:51 +0000 | [diff] [blame] | 504 | Result += "f_" + getMangledTypeStr(FT->getReturnType()); |
| 505 | for (size_t i = 0; i < FT->getNumParams(); i++) |
| 506 | Result += getMangledTypeStr(FT->getParamType(i)); |
| 507 | if (FT->isVarArg()) |
| 508 | Result += "vararg"; |
Philip Reames | 059ecbf | 2014-11-24 23:24:24 +0000 | [diff] [blame] | 509 | // Ensure nested function types are distinguishable. |
| 510 | Result += "f"; |
Elena Demikhovsky | 1ca72e1 | 2015-11-19 07:17:16 +0000 | [diff] [blame] | 511 | } else if (isa<VectorType>(Ty)) |
| 512 | Result += "v" + utostr(Ty->getVectorNumElements()) + |
| 513 | getMangledTypeStr(Ty->getVectorElementType()); |
| 514 | else if (Ty) |
Philip Reames | 319c48e | 2014-11-12 00:21:51 +0000 | [diff] [blame] | 515 | Result += EVT::getEVT(Ty).getEVTString(); |
| 516 | return Result; |
| 517 | } |
| 518 | |
Pete Cooper | a8db71e | 2016-08-18 18:30:54 +0000 | [diff] [blame] | 519 | StringRef Intrinsic::getName(ID id) { |
| 520 | assert(id < num_intrinsics && "Invalid intrinsic ID!"); |
Pete Cooper | a5f8c72 | 2016-08-22 20:18:28 +0000 | [diff] [blame] | 521 | assert(!isOverloaded(id) && |
| 522 | "This version of getName does not support overloading"); |
Pete Cooper | a8db71e | 2016-08-18 18:30:54 +0000 | [diff] [blame] | 523 | return IntrinsicNameTable[id]; |
| 524 | } |
| 525 | |
Benjamin Kramer | e6e1933 | 2011-07-14 17:45:39 +0000 | [diff] [blame] | 526 | std::string Intrinsic::getName(ID id, ArrayRef<Type*> Tys) { |
Chris Lattner | 71b8c98 | 2006-03-25 06:32:47 +0000 | [diff] [blame] | 527 | assert(id < num_intrinsics && "Invalid intrinsic ID!"); |
Reid Kleckner | 0b5220d | 2016-01-26 02:06:41 +0000 | [diff] [blame] | 528 | std::string Result(IntrinsicNameTable[id]); |
Benjamin Kramer | af28e7d | 2016-06-26 14:10:56 +0000 | [diff] [blame] | 529 | for (Type *Ty : Tys) { |
| 530 | Result += "." + getMangledTypeStr(Ty); |
Mon P Wang | 2c839d4 | 2008-07-30 04:36:53 +0000 | [diff] [blame] | 531 | } |
Reid Spencer | 2a2117c | 2007-04-01 07:25:33 +0000 | [diff] [blame] | 532 | return Result; |
Chris Lattner | 71b8c98 | 2006-03-25 06:32:47 +0000 | [diff] [blame] | 533 | } |
| 534 | |
Chris Lattner | 7f0e7ba | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 535 | |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 536 | /// IIT_Info - These are enumerators that describe the entries returned by the |
| 537 | /// getIntrinsicInfoTableEntries function. |
| 538 | /// |
| 539 | /// NOTE: This must be kept in synch with the copy in TblGen/IntrinsicEmitter! |
| 540 | enum IIT_Info { |
Robert Khasanov | 65c2756 | 2014-10-20 19:25:05 +0000 | [diff] [blame] | 541 | // Common values should be encoded with 0-15. |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 542 | IIT_Done = 0, |
| 543 | IIT_I1 = 1, |
| 544 | IIT_I8 = 2, |
| 545 | IIT_I16 = 3, |
| 546 | IIT_I32 = 4, |
| 547 | IIT_I64 = 5, |
Michael Ilseman | 6c6d715 | 2013-01-11 01:45:05 +0000 | [diff] [blame] | 548 | IIT_F16 = 6, |
| 549 | IIT_F32 = 7, |
| 550 | IIT_F64 = 8, |
| 551 | IIT_V2 = 9, |
| 552 | IIT_V4 = 10, |
| 553 | IIT_V8 = 11, |
| 554 | IIT_V16 = 12, |
| 555 | IIT_V32 = 13, |
Robert Khasanov | 65c2756 | 2014-10-20 19:25:05 +0000 | [diff] [blame] | 556 | IIT_PTR = 14, |
| 557 | IIT_ARG = 15, |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 558 | |
Robert Khasanov | 65c2756 | 2014-10-20 19:25:05 +0000 | [diff] [blame] | 559 | // Values from 16+ are only encodable with the inefficient encoding. |
| 560 | IIT_V64 = 16, |
Robert Khasanov | b25e562 | 2014-09-30 11:32:22 +0000 | [diff] [blame] | 561 | IIT_MMX = 17, |
Joseph Tremoulet | 917c738 | 2015-09-02 13:36:25 +0000 | [diff] [blame] | 562 | IIT_TOKEN = 18, |
| 563 | IIT_METADATA = 19, |
| 564 | IIT_EMPTYSTRUCT = 20, |
| 565 | IIT_STRUCT2 = 21, |
| 566 | IIT_STRUCT3 = 22, |
| 567 | IIT_STRUCT4 = 23, |
| 568 | IIT_STRUCT5 = 24, |
| 569 | IIT_EXTEND_ARG = 25, |
| 570 | IIT_TRUNC_ARG = 26, |
| 571 | IIT_ANYPTR = 27, |
| 572 | IIT_V1 = 28, |
| 573 | IIT_VARARG = 29, |
| 574 | IIT_HALF_VEC_ARG = 30, |
| 575 | IIT_SAME_VEC_WIDTH_ARG = 31, |
| 576 | IIT_PTR_TO_ARG = 32, |
Elena Demikhovsky | caaceef | 2016-11-03 03:23:55 +0000 | [diff] [blame] | 577 | IIT_PTR_TO_ELT = 33, |
| 578 | IIT_VEC_OF_PTRS_TO_ELT = 34, |
| 579 | IIT_I128 = 35, |
| 580 | IIT_V512 = 36, |
| 581 | IIT_V1024 = 37 |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 582 | }; |
| 583 | |
| 584 | |
| 585 | static void DecodeIITType(unsigned &NextElt, ArrayRef<unsigned char> Infos, |
| 586 | SmallVectorImpl<Intrinsic::IITDescriptor> &OutputTable) { |
Chris Lattner | a57c797 | 2012-05-17 05:13:57 +0000 | [diff] [blame] | 587 | IIT_Info Info = IIT_Info(Infos[NextElt++]); |
Chris Lattner | 3e34a7b | 2012-05-17 05:03:24 +0000 | [diff] [blame] | 588 | unsigned StructElts = 2; |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 589 | using namespace Intrinsic; |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 590 | |
Chris Lattner | a57c797 | 2012-05-17 05:13:57 +0000 | [diff] [blame] | 591 | switch (Info) { |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 592 | case IIT_Done: |
| 593 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Void, 0)); |
| 594 | return; |
Andrew Trick | a2efd99 | 2013-10-31 17:18:11 +0000 | [diff] [blame] | 595 | case IIT_VARARG: |
| 596 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::VarArg, 0)); |
| 597 | return; |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 598 | case IIT_MMX: |
| 599 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::MMX, 0)); |
| 600 | return; |
Joseph Tremoulet | 917c738 | 2015-09-02 13:36:25 +0000 | [diff] [blame] | 601 | case IIT_TOKEN: |
| 602 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Token, 0)); |
| 603 | return; |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 604 | case IIT_METADATA: |
| 605 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Metadata, 0)); |
| 606 | return; |
Michael Ilseman | 6c6d715 | 2013-01-11 01:45:05 +0000 | [diff] [blame] | 607 | case IIT_F16: |
| 608 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Half, 0)); |
| 609 | return; |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 610 | case IIT_F32: |
| 611 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Float, 0)); |
| 612 | return; |
| 613 | case IIT_F64: |
| 614 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Double, 0)); |
| 615 | return; |
| 616 | case IIT_I1: |
| 617 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 1)); |
| 618 | return; |
| 619 | case IIT_I8: |
| 620 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 8)); |
| 621 | return; |
| 622 | case IIT_I16: |
| 623 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer,16)); |
| 624 | return; |
| 625 | case IIT_I32: |
| 626 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 32)); |
| 627 | return; |
| 628 | case IIT_I64: |
| 629 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 64)); |
| 630 | return; |
Kit Barton | 6646033 | 2015-05-25 15:49:26 +0000 | [diff] [blame] | 631 | case IIT_I128: |
| 632 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Integer, 128)); |
| 633 | return; |
Jiangning Liu | 63dc840 | 2013-09-24 02:47:27 +0000 | [diff] [blame] | 634 | case IIT_V1: |
| 635 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 1)); |
| 636 | DecodeIITType(NextElt, Infos, OutputTable); |
| 637 | return; |
Chris Lattner | 827b253 | 2012-05-17 04:30:58 +0000 | [diff] [blame] | 638 | case IIT_V2: |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 639 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 2)); |
| 640 | DecodeIITType(NextElt, Infos, OutputTable); |
| 641 | return; |
Chris Lattner | 827b253 | 2012-05-17 04:30:58 +0000 | [diff] [blame] | 642 | case IIT_V4: |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 643 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 4)); |
| 644 | DecodeIITType(NextElt, Infos, OutputTable); |
| 645 | return; |
Chris Lattner | 827b253 | 2012-05-17 04:30:58 +0000 | [diff] [blame] | 646 | case IIT_V8: |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 647 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 8)); |
| 648 | DecodeIITType(NextElt, Infos, OutputTable); |
| 649 | return; |
Chris Lattner | 827b253 | 2012-05-17 04:30:58 +0000 | [diff] [blame] | 650 | case IIT_V16: |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 651 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 16)); |
| 652 | DecodeIITType(NextElt, Infos, OutputTable); |
| 653 | return; |
Chris Lattner | 3e34a7b | 2012-05-17 05:03:24 +0000 | [diff] [blame] | 654 | case IIT_V32: |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 655 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 32)); |
| 656 | DecodeIITType(NextElt, Infos, OutputTable); |
| 657 | return; |
Robert Khasanov | b25e562 | 2014-09-30 11:32:22 +0000 | [diff] [blame] | 658 | case IIT_V64: |
| 659 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 64)); |
| 660 | DecodeIITType(NextElt, Infos, OutputTable); |
| 661 | return; |
Krzysztof Parzyszek | b8bb90b | 2015-11-24 16:28:14 +0000 | [diff] [blame] | 662 | case IIT_V512: |
| 663 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 512)); |
| 664 | DecodeIITType(NextElt, Infos, OutputTable); |
| 665 | return; |
| 666 | case IIT_V1024: |
| 667 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Vector, 1024)); |
| 668 | DecodeIITType(NextElt, Infos, OutputTable); |
| 669 | return; |
Chris Lattner | 4f18aa8 | 2012-05-23 05:19:18 +0000 | [diff] [blame] | 670 | case IIT_PTR: |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 671 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Pointer, 0)); |
| 672 | DecodeIITType(NextElt, Infos, OutputTable); |
| 673 | return; |
Chris Lattner | 4f18aa8 | 2012-05-23 05:19:18 +0000 | [diff] [blame] | 674 | case IIT_ANYPTR: { // [ANYPTR addrspace, subtype] |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 675 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Pointer, |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 676 | Infos[NextElt++])); |
| 677 | DecodeIITType(NextElt, Infos, OutputTable); |
| 678 | return; |
Pete Cooper | 243efd7 | 2012-05-21 23:21:28 +0000 | [diff] [blame] | 679 | } |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 680 | case IIT_ARG: { |
| 681 | unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); |
| 682 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Argument, ArgInfo)); |
| 683 | return; |
| 684 | } |
Tim Northover | aa3cf1e | 2014-03-28 12:31:39 +0000 | [diff] [blame] | 685 | case IIT_EXTEND_ARG: { |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 686 | unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); |
Tim Northover | aa3cf1e | 2014-03-28 12:31:39 +0000 | [diff] [blame] | 687 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::ExtendArgument, |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 688 | ArgInfo)); |
| 689 | return; |
| 690 | } |
Tim Northover | aa3cf1e | 2014-03-28 12:31:39 +0000 | [diff] [blame] | 691 | case IIT_TRUNC_ARG: { |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 692 | unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); |
Tim Northover | aa3cf1e | 2014-03-28 12:31:39 +0000 | [diff] [blame] | 693 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::TruncArgument, |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 694 | ArgInfo)); |
| 695 | return; |
Chris Lattner | 3e34a7b | 2012-05-17 05:03:24 +0000 | [diff] [blame] | 696 | } |
Tim Northover | 4516de3 | 2014-03-29 07:04:54 +0000 | [diff] [blame] | 697 | case IIT_HALF_VEC_ARG: { |
| 698 | unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); |
| 699 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::HalfVecArgument, |
| 700 | ArgInfo)); |
| 701 | return; |
| 702 | } |
Elena Demikhovsky | f1de34b | 2014-12-04 09:40:44 +0000 | [diff] [blame] | 703 | case IIT_SAME_VEC_WIDTH_ARG: { |
| 704 | unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); |
| 705 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::SameVecWidthArgument, |
| 706 | ArgInfo)); |
| 707 | return; |
| 708 | } |
Elena Demikhovsky | fb81b93 | 2014-12-25 07:49:20 +0000 | [diff] [blame] | 709 | case IIT_PTR_TO_ARG: { |
| 710 | unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); |
| 711 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::PtrToArgument, |
| 712 | ArgInfo)); |
| 713 | return; |
| 714 | } |
Elena Demikhovsky | caaceef | 2016-11-03 03:23:55 +0000 | [diff] [blame] | 715 | case IIT_PTR_TO_ELT: { |
| 716 | unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); |
| 717 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::PtrToElt, ArgInfo)); |
| 718 | return; |
| 719 | } |
Elena Demikhovsky | 23a485a | 2015-02-08 08:27:19 +0000 | [diff] [blame] | 720 | case IIT_VEC_OF_PTRS_TO_ELT: { |
| 721 | unsigned ArgInfo = (NextElt == Infos.size() ? 0 : Infos[NextElt++]); |
| 722 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::VecOfPtrsToElt, |
| 723 | ArgInfo)); |
| 724 | return; |
| 725 | } |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 726 | case IIT_EMPTYSTRUCT: |
| 727 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Struct, 0)); |
| 728 | return; |
Justin Bogner | cd1d5aa | 2016-08-17 20:30:52 +0000 | [diff] [blame] | 729 | case IIT_STRUCT5: ++StructElts; LLVM_FALLTHROUGH; |
| 730 | case IIT_STRUCT4: ++StructElts; LLVM_FALLTHROUGH; |
| 731 | case IIT_STRUCT3: ++StructElts; LLVM_FALLTHROUGH; |
Chris Lattner | 3e34a7b | 2012-05-17 05:03:24 +0000 | [diff] [blame] | 732 | case IIT_STRUCT2: { |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 733 | OutputTable.push_back(IITDescriptor::get(IITDescriptor::Struct,StructElts)); |
| 734 | |
Chris Lattner | 3e34a7b | 2012-05-17 05:03:24 +0000 | [diff] [blame] | 735 | for (unsigned i = 0; i != StructElts; ++i) |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 736 | DecodeIITType(NextElt, Infos, OutputTable); |
| 737 | return; |
Chris Lattner | 827b253 | 2012-05-17 04:30:58 +0000 | [diff] [blame] | 738 | } |
Chris Lattner | 7f0e7ba | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 739 | } |
| 740 | llvm_unreachable("unhandled"); |
| 741 | } |
Chris Lattner | 7f0e7ba | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 742 | |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 743 | |
| 744 | #define GET_INTRINSIC_GENERATOR_GLOBAL |
Chandler Carruth | db25c6c | 2013-01-02 12:09:16 +0000 | [diff] [blame] | 745 | #include "llvm/IR/Intrinsics.gen" |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 746 | #undef GET_INTRINSIC_GENERATOR_GLOBAL |
| 747 | |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 748 | void Intrinsic::getIntrinsicInfoTableEntries(ID id, |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 749 | SmallVectorImpl<IITDescriptor> &T){ |
Chris Lattner | 7f0e7ba | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 750 | // Check to see if the intrinsic's type was expressible by the table. |
| 751 | unsigned TableVal = IIT_Table[id-1]; |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 752 | |
Chris Lattner | a3b0f52 | 2012-05-17 15:55:41 +0000 | [diff] [blame] | 753 | // Decode the TableVal into an array of IITValues. |
| 754 | SmallVector<unsigned char, 8> IITValues; |
| 755 | ArrayRef<unsigned char> IITEntries; |
| 756 | unsigned NextElt = 0; |
| 757 | if ((TableVal >> 31) != 0) { |
| 758 | // This is an offset into the IIT_LongEncodingTable. |
| 759 | IITEntries = IIT_LongEncodingTable; |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 760 | |
Chris Lattner | a3b0f52 | 2012-05-17 15:55:41 +0000 | [diff] [blame] | 761 | // Strip sentinel bit. |
| 762 | NextElt = (TableVal << 1) >> 1; |
| 763 | } else { |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 764 | // Decode the TableVal into an array of IITValues. If the entry was encoded |
| 765 | // into a single word in the table itself, decode it now. |
Chris Lattner | a57c797 | 2012-05-17 05:13:57 +0000 | [diff] [blame] | 766 | do { |
| 767 | IITValues.push_back(TableVal & 0xF); |
| 768 | TableVal >>= 4; |
| 769 | } while (TableVal); |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 770 | |
Chris Lattner | a3b0f52 | 2012-05-17 15:55:41 +0000 | [diff] [blame] | 771 | IITEntries = IITValues; |
| 772 | NextElt = 0; |
Chris Lattner | 7f0e7ba | 2012-05-16 06:34:44 +0000 | [diff] [blame] | 773 | } |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 774 | |
| 775 | // Okay, decode the table into the output vector of IITDescriptors. |
| 776 | DecodeIITType(NextElt, IITEntries, T); |
| 777 | while (NextElt != IITEntries.size() && IITEntries[NextElt] != 0) |
| 778 | DecodeIITType(NextElt, IITEntries, T); |
| 779 | } |
| 780 | |
| 781 | |
| 782 | static Type *DecodeFixedType(ArrayRef<Intrinsic::IITDescriptor> &Infos, |
| 783 | ArrayRef<Type*> Tys, LLVMContext &Context) { |
| 784 | using namespace Intrinsic; |
| 785 | IITDescriptor D = Infos.front(); |
| 786 | Infos = Infos.slice(1); |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 787 | |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 788 | switch (D.Kind) { |
| 789 | case IITDescriptor::Void: return Type::getVoidTy(Context); |
Andrew Trick | a2efd99 | 2013-10-31 17:18:11 +0000 | [diff] [blame] | 790 | case IITDescriptor::VarArg: return Type::getVoidTy(Context); |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 791 | case IITDescriptor::MMX: return Type::getX86_MMXTy(Context); |
Joseph Tremoulet | 917c738 | 2015-09-02 13:36:25 +0000 | [diff] [blame] | 792 | case IITDescriptor::Token: return Type::getTokenTy(Context); |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 793 | case IITDescriptor::Metadata: return Type::getMetadataTy(Context); |
Michael Ilseman | 6c6d715 | 2013-01-11 01:45:05 +0000 | [diff] [blame] | 794 | case IITDescriptor::Half: return Type::getHalfTy(Context); |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 795 | case IITDescriptor::Float: return Type::getFloatTy(Context); |
| 796 | case IITDescriptor::Double: return Type::getDoubleTy(Context); |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 797 | |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 798 | case IITDescriptor::Integer: |
| 799 | return IntegerType::get(Context, D.Integer_Width); |
| 800 | case IITDescriptor::Vector: |
| 801 | return VectorType::get(DecodeFixedType(Infos, Tys, Context),D.Vector_Width); |
| 802 | case IITDescriptor::Pointer: |
| 803 | return PointerType::get(DecodeFixedType(Infos, Tys, Context), |
| 804 | D.Pointer_AddressSpace); |
| 805 | case IITDescriptor::Struct: { |
| 806 | Type *Elts[5]; |
| 807 | assert(D.Struct_NumElements <= 5 && "Can't handle this yet"); |
| 808 | for (unsigned i = 0, e = D.Struct_NumElements; i != e; ++i) |
| 809 | Elts[i] = DecodeFixedType(Infos, Tys, Context); |
Craig Topper | e1d1294 | 2014-08-27 05:25:25 +0000 | [diff] [blame] | 810 | return StructType::get(Context, makeArrayRef(Elts,D.Struct_NumElements)); |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 811 | } |
| 812 | |
| 813 | case IITDescriptor::Argument: |
| 814 | return Tys[D.getArgumentNumber()]; |
Tim Northover | aa3cf1e | 2014-03-28 12:31:39 +0000 | [diff] [blame] | 815 | case IITDescriptor::ExtendArgument: { |
| 816 | Type *Ty = Tys[D.getArgumentNumber()]; |
| 817 | if (VectorType *VTy = dyn_cast<VectorType>(Ty)) |
| 818 | return VectorType::getExtendedElementVectorType(VTy); |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 819 | |
Tim Northover | aa3cf1e | 2014-03-28 12:31:39 +0000 | [diff] [blame] | 820 | return IntegerType::get(Context, 2 * cast<IntegerType>(Ty)->getBitWidth()); |
| 821 | } |
| 822 | case IITDescriptor::TruncArgument: { |
| 823 | Type *Ty = Tys[D.getArgumentNumber()]; |
| 824 | if (VectorType *VTy = dyn_cast<VectorType>(Ty)) |
| 825 | return VectorType::getTruncatedElementVectorType(VTy); |
| 826 | |
| 827 | IntegerType *ITy = cast<IntegerType>(Ty); |
| 828 | assert(ITy->getBitWidth() % 2 == 0); |
| 829 | return IntegerType::get(Context, ITy->getBitWidth() / 2); |
| 830 | } |
Tim Northover | 4516de3 | 2014-03-29 07:04:54 +0000 | [diff] [blame] | 831 | case IITDescriptor::HalfVecArgument: |
| 832 | return VectorType::getHalfElementsVectorType(cast<VectorType>( |
| 833 | Tys[D.getArgumentNumber()])); |
Elena Demikhovsky | fb81b93 | 2014-12-25 07:49:20 +0000 | [diff] [blame] | 834 | case IITDescriptor::SameVecWidthArgument: { |
Elena Demikhovsky | f1de34b | 2014-12-04 09:40:44 +0000 | [diff] [blame] | 835 | Type *EltTy = DecodeFixedType(Infos, Tys, Context); |
| 836 | Type *Ty = Tys[D.getArgumentNumber()]; |
| 837 | if (VectorType *VTy = dyn_cast<VectorType>(Ty)) { |
| 838 | return VectorType::get(EltTy, VTy->getNumElements()); |
| 839 | } |
| 840 | llvm_unreachable("unhandled"); |
Elena Demikhovsky | fb81b93 | 2014-12-25 07:49:20 +0000 | [diff] [blame] | 841 | } |
| 842 | case IITDescriptor::PtrToArgument: { |
| 843 | Type *Ty = Tys[D.getArgumentNumber()]; |
| 844 | return PointerType::getUnqual(Ty); |
| 845 | } |
Elena Demikhovsky | caaceef | 2016-11-03 03:23:55 +0000 | [diff] [blame] | 846 | case IITDescriptor::PtrToElt: { |
| 847 | Type *Ty = Tys[D.getArgumentNumber()]; |
| 848 | VectorType *VTy = dyn_cast<VectorType>(Ty); |
| 849 | if (!VTy) |
| 850 | llvm_unreachable("Expected an argument of Vector Type"); |
| 851 | Type *EltTy = VTy->getVectorElementType(); |
| 852 | return PointerType::getUnqual(EltTy); |
| 853 | } |
Elena Demikhovsky | 23a485a | 2015-02-08 08:27:19 +0000 | [diff] [blame] | 854 | case IITDescriptor::VecOfPtrsToElt: { |
| 855 | Type *Ty = Tys[D.getArgumentNumber()]; |
| 856 | VectorType *VTy = dyn_cast<VectorType>(Ty); |
| 857 | if (!VTy) |
| 858 | llvm_unreachable("Expected an argument of Vector Type"); |
| 859 | Type *EltTy = VTy->getVectorElementType(); |
| 860 | return VectorType::get(PointerType::getUnqual(EltTy), |
| 861 | VTy->getNumElements()); |
| 862 | } |
Elena Demikhovsky | f1de34b | 2014-12-04 09:40:44 +0000 | [diff] [blame] | 863 | } |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 864 | llvm_unreachable("unhandled"); |
| 865 | } |
| 866 | |
| 867 | |
| 868 | |
| 869 | FunctionType *Intrinsic::getType(LLVMContext &Context, |
| 870 | ID id, ArrayRef<Type*> Tys) { |
| 871 | SmallVector<IITDescriptor, 8> Table; |
| 872 | getIntrinsicInfoTableEntries(id, Table); |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 873 | |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 874 | ArrayRef<IITDescriptor> TableRef = Table; |
| 875 | Type *ResultTy = DecodeFixedType(TableRef, Tys, Context); |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 876 | |
Chris Lattner | a3b0f52 | 2012-05-17 15:55:41 +0000 | [diff] [blame] | 877 | SmallVector<Type*, 8> ArgTys; |
Chris Lattner | f39c278 | 2012-05-27 18:28:35 +0000 | [diff] [blame] | 878 | while (!TableRef.empty()) |
| 879 | ArgTys.push_back(DecodeFixedType(TableRef, Tys, Context)); |
Jim Laskey | 2682ea6 | 2007-02-07 20:38:26 +0000 | [diff] [blame] | 880 | |
Steven Wu | d05affc | 2014-10-20 15:47:24 +0000 | [diff] [blame] | 881 | // DecodeFixedType returns Void for IITDescriptor::Void and IITDescriptor::VarArg |
| 882 | // If we see void type as the type of the last argument, it is vararg intrinsic |
| 883 | if (!ArgTys.empty() && ArgTys.back()->isVoidTy()) { |
| 884 | ArgTys.pop_back(); |
| 885 | return FunctionType::get(ResultTy, ArgTys, true); |
| 886 | } |
Michael Ilseman | acdb76d | 2012-12-17 20:37:55 +0000 | [diff] [blame] | 887 | return FunctionType::get(ResultTy, ArgTys, false); |
Jim Laskey | 2682ea6 | 2007-02-07 20:38:26 +0000 | [diff] [blame] | 888 | } |
| 889 | |
Mon P Wang | b402493 | 2009-02-24 23:17:49 +0000 | [diff] [blame] | 890 | bool Intrinsic::isOverloaded(ID id) { |
Mon P Wang | b402493 | 2009-02-24 23:17:49 +0000 | [diff] [blame] | 891 | #define GET_INTRINSIC_OVERLOAD_TABLE |
Chandler Carruth | db25c6c | 2013-01-02 12:09:16 +0000 | [diff] [blame] | 892 | #include "llvm/IR/Intrinsics.gen" |
Mon P Wang | b402493 | 2009-02-24 23:17:49 +0000 | [diff] [blame] | 893 | #undef GET_INTRINSIC_OVERLOAD_TABLE |
Mon P Wang | b402493 | 2009-02-24 23:17:49 +0000 | [diff] [blame] | 894 | } |
| 895 | |
Sanjoy Das | c65d43e | 2015-06-18 19:28:26 +0000 | [diff] [blame] | 896 | bool Intrinsic::isLeaf(ID id) { |
| 897 | switch (id) { |
| 898 | default: |
| 899 | return true; |
| 900 | |
| 901 | case Intrinsic::experimental_gc_statepoint: |
| 902 | case Intrinsic::experimental_patchpoint_void: |
| 903 | case Intrinsic::experimental_patchpoint_i64: |
| 904 | return false; |
| 905 | } |
| 906 | } |
| 907 | |
Chris Lattner | 49b7ee1 | 2009-01-12 01:18:58 +0000 | [diff] [blame] | 908 | /// This defines the "Intrinsic::getAttributes(ID id)" method. |
Duncan Sands | 38ef3a8 | 2007-12-03 20:06:50 +0000 | [diff] [blame] | 909 | #define GET_INTRINSIC_ATTRIBUTES |
Chandler Carruth | db25c6c | 2013-01-02 12:09:16 +0000 | [diff] [blame] | 910 | #include "llvm/IR/Intrinsics.gen" |
Duncan Sands | 38ef3a8 | 2007-12-03 20:06:50 +0000 | [diff] [blame] | 911 | #undef GET_INTRINSIC_ATTRIBUTES |
| 912 | |
Benjamin Kramer | e6e1933 | 2011-07-14 17:45:39 +0000 | [diff] [blame] | 913 | Function *Intrinsic::getDeclaration(Module *M, ID id, ArrayRef<Type*> Tys) { |
Duncan Sands | 38ef3a8 | 2007-12-03 20:06:50 +0000 | [diff] [blame] | 914 | // There can never be multiple globals with the same name of different types, |
| 915 | // because intrinsics must be a specific type. |
Duncan Sands | a8ff6ca | 2008-04-07 13:39:11 +0000 | [diff] [blame] | 916 | return |
Benjamin Kramer | e6e1933 | 2011-07-14 17:45:39 +0000 | [diff] [blame] | 917 | cast<Function>(M->getOrInsertFunction(getName(id, Tys), |
| 918 | getType(M->getContext(), id, Tys))); |
Jim Laskey | 2682ea6 | 2007-02-07 20:38:26 +0000 | [diff] [blame] | 919 | } |
| 920 | |
Dale Johannesen | b842d52 | 2009-02-05 01:49:45 +0000 | [diff] [blame] | 921 | // This defines the "Intrinsic::getIntrinsicForGCCBuiltin()" method. |
| 922 | #define GET_LLVM_INTRINSIC_FOR_GCC_BUILTIN |
Chandler Carruth | db25c6c | 2013-01-02 12:09:16 +0000 | [diff] [blame] | 923 | #include "llvm/IR/Intrinsics.gen" |
Dale Johannesen | b842d52 | 2009-02-05 01:49:45 +0000 | [diff] [blame] | 924 | #undef GET_LLVM_INTRINSIC_FOR_GCC_BUILTIN |
| 925 | |
Saleem Abdulrasool | 4e63fc4 | 2014-07-04 18:42:25 +0000 | [diff] [blame] | 926 | // This defines the "Intrinsic::getIntrinsicForMSBuiltin()" method. |
| 927 | #define GET_LLVM_INTRINSIC_FOR_MS_BUILTIN |
| 928 | #include "llvm/IR/Intrinsics.gen" |
| 929 | #undef GET_LLVM_INTRINSIC_FOR_MS_BUILTIN |
| 930 | |
Artur Pilipenko | bc55227 | 2016-06-22 14:56:33 +0000 | [diff] [blame] | 931 | bool Intrinsic::matchIntrinsicType(Type *Ty, ArrayRef<Intrinsic::IITDescriptor> &Infos, |
| 932 | SmallVectorImpl<Type*> &ArgTys) { |
| 933 | using namespace Intrinsic; |
| 934 | |
| 935 | // If we ran out of descriptors, there are too many arguments. |
| 936 | if (Infos.empty()) return true; |
| 937 | IITDescriptor D = Infos.front(); |
| 938 | Infos = Infos.slice(1); |
| 939 | |
| 940 | switch (D.Kind) { |
| 941 | case IITDescriptor::Void: return !Ty->isVoidTy(); |
| 942 | case IITDescriptor::VarArg: return true; |
| 943 | case IITDescriptor::MMX: return !Ty->isX86_MMXTy(); |
| 944 | case IITDescriptor::Token: return !Ty->isTokenTy(); |
| 945 | case IITDescriptor::Metadata: return !Ty->isMetadataTy(); |
| 946 | case IITDescriptor::Half: return !Ty->isHalfTy(); |
| 947 | case IITDescriptor::Float: return !Ty->isFloatTy(); |
| 948 | case IITDescriptor::Double: return !Ty->isDoubleTy(); |
| 949 | case IITDescriptor::Integer: return !Ty->isIntegerTy(D.Integer_Width); |
| 950 | case IITDescriptor::Vector: { |
| 951 | VectorType *VT = dyn_cast<VectorType>(Ty); |
| 952 | return !VT || VT->getNumElements() != D.Vector_Width || |
| 953 | matchIntrinsicType(VT->getElementType(), Infos, ArgTys); |
| 954 | } |
| 955 | case IITDescriptor::Pointer: { |
| 956 | PointerType *PT = dyn_cast<PointerType>(Ty); |
| 957 | return !PT || PT->getAddressSpace() != D.Pointer_AddressSpace || |
| 958 | matchIntrinsicType(PT->getElementType(), Infos, ArgTys); |
| 959 | } |
| 960 | |
| 961 | case IITDescriptor::Struct: { |
| 962 | StructType *ST = dyn_cast<StructType>(Ty); |
| 963 | if (!ST || ST->getNumElements() != D.Struct_NumElements) |
| 964 | return true; |
| 965 | |
| 966 | for (unsigned i = 0, e = D.Struct_NumElements; i != e; ++i) |
| 967 | if (matchIntrinsicType(ST->getElementType(i), Infos, ArgTys)) |
| 968 | return true; |
| 969 | return false; |
| 970 | } |
| 971 | |
| 972 | case IITDescriptor::Argument: |
| 973 | // Two cases here - If this is the second occurrence of an argument, verify |
| 974 | // that the later instance matches the previous instance. |
| 975 | if (D.getArgumentNumber() < ArgTys.size()) |
| 976 | return Ty != ArgTys[D.getArgumentNumber()]; |
| 977 | |
| 978 | // Otherwise, if this is the first instance of an argument, record it and |
| 979 | // verify the "Any" kind. |
| 980 | assert(D.getArgumentNumber() == ArgTys.size() && "Table consistency error"); |
| 981 | ArgTys.push_back(Ty); |
| 982 | |
| 983 | switch (D.getArgumentKind()) { |
| 984 | case IITDescriptor::AK_Any: return false; // Success |
| 985 | case IITDescriptor::AK_AnyInteger: return !Ty->isIntOrIntVectorTy(); |
| 986 | case IITDescriptor::AK_AnyFloat: return !Ty->isFPOrFPVectorTy(); |
| 987 | case IITDescriptor::AK_AnyVector: return !isa<VectorType>(Ty); |
| 988 | case IITDescriptor::AK_AnyPointer: return !isa<PointerType>(Ty); |
| 989 | } |
| 990 | llvm_unreachable("all argument kinds not covered"); |
| 991 | |
| 992 | case IITDescriptor::ExtendArgument: { |
| 993 | // This may only be used when referring to a previous vector argument. |
| 994 | if (D.getArgumentNumber() >= ArgTys.size()) |
| 995 | return true; |
| 996 | |
| 997 | Type *NewTy = ArgTys[D.getArgumentNumber()]; |
| 998 | if (VectorType *VTy = dyn_cast<VectorType>(NewTy)) |
| 999 | NewTy = VectorType::getExtendedElementVectorType(VTy); |
| 1000 | else if (IntegerType *ITy = dyn_cast<IntegerType>(NewTy)) |
| 1001 | NewTy = IntegerType::get(ITy->getContext(), 2 * ITy->getBitWidth()); |
| 1002 | else |
| 1003 | return true; |
| 1004 | |
| 1005 | return Ty != NewTy; |
| 1006 | } |
| 1007 | case IITDescriptor::TruncArgument: { |
| 1008 | // This may only be used when referring to a previous vector argument. |
| 1009 | if (D.getArgumentNumber() >= ArgTys.size()) |
| 1010 | return true; |
| 1011 | |
| 1012 | Type *NewTy = ArgTys[D.getArgumentNumber()]; |
| 1013 | if (VectorType *VTy = dyn_cast<VectorType>(NewTy)) |
| 1014 | NewTy = VectorType::getTruncatedElementVectorType(VTy); |
| 1015 | else if (IntegerType *ITy = dyn_cast<IntegerType>(NewTy)) |
| 1016 | NewTy = IntegerType::get(ITy->getContext(), ITy->getBitWidth() / 2); |
| 1017 | else |
| 1018 | return true; |
| 1019 | |
| 1020 | return Ty != NewTy; |
| 1021 | } |
| 1022 | case IITDescriptor::HalfVecArgument: |
| 1023 | // This may only be used when referring to a previous vector argument. |
| 1024 | return D.getArgumentNumber() >= ArgTys.size() || |
| 1025 | !isa<VectorType>(ArgTys[D.getArgumentNumber()]) || |
| 1026 | VectorType::getHalfElementsVectorType( |
| 1027 | cast<VectorType>(ArgTys[D.getArgumentNumber()])) != Ty; |
| 1028 | case IITDescriptor::SameVecWidthArgument: { |
| 1029 | if (D.getArgumentNumber() >= ArgTys.size()) |
| 1030 | return true; |
| 1031 | VectorType * ReferenceType = |
Elena Demikhovsky | caaceef | 2016-11-03 03:23:55 +0000 | [diff] [blame] | 1032 | dyn_cast<VectorType>(ArgTys[D.getArgumentNumber()]); |
Artur Pilipenko | bc55227 | 2016-06-22 14:56:33 +0000 | [diff] [blame] | 1033 | VectorType *ThisArgType = dyn_cast<VectorType>(Ty); |
| 1034 | if (!ThisArgType || !ReferenceType || |
| 1035 | (ReferenceType->getVectorNumElements() != |
| 1036 | ThisArgType->getVectorNumElements())) |
| 1037 | return true; |
| 1038 | return matchIntrinsicType(ThisArgType->getVectorElementType(), |
| 1039 | Infos, ArgTys); |
| 1040 | } |
| 1041 | case IITDescriptor::PtrToArgument: { |
| 1042 | if (D.getArgumentNumber() >= ArgTys.size()) |
| 1043 | return true; |
| 1044 | Type * ReferenceType = ArgTys[D.getArgumentNumber()]; |
| 1045 | PointerType *ThisArgType = dyn_cast<PointerType>(Ty); |
| 1046 | return (!ThisArgType || ThisArgType->getElementType() != ReferenceType); |
| 1047 | } |
Elena Demikhovsky | caaceef | 2016-11-03 03:23:55 +0000 | [diff] [blame] | 1048 | case IITDescriptor::PtrToElt: { |
| 1049 | if (D.getArgumentNumber() >= ArgTys.size()) |
| 1050 | return true; |
| 1051 | VectorType * ReferenceType = |
| 1052 | dyn_cast<VectorType> (ArgTys[D.getArgumentNumber()]); |
| 1053 | PointerType *ThisArgType = dyn_cast<PointerType>(Ty); |
| 1054 | |
| 1055 | return (!ThisArgType || !ReferenceType || |
| 1056 | ThisArgType->getElementType() != ReferenceType->getElementType()); |
| 1057 | } |
Artur Pilipenko | bc55227 | 2016-06-22 14:56:33 +0000 | [diff] [blame] | 1058 | case IITDescriptor::VecOfPtrsToElt: { |
| 1059 | if (D.getArgumentNumber() >= ArgTys.size()) |
| 1060 | return true; |
| 1061 | VectorType * ReferenceType = |
| 1062 | dyn_cast<VectorType> (ArgTys[D.getArgumentNumber()]); |
| 1063 | VectorType *ThisArgVecTy = dyn_cast<VectorType>(Ty); |
| 1064 | if (!ThisArgVecTy || !ReferenceType || |
| 1065 | (ReferenceType->getVectorNumElements() != |
| 1066 | ThisArgVecTy->getVectorNumElements())) |
| 1067 | return true; |
| 1068 | PointerType *ThisArgEltTy = |
| 1069 | dyn_cast<PointerType>(ThisArgVecTy->getVectorElementType()); |
| 1070 | if (!ThisArgEltTy) |
| 1071 | return true; |
| 1072 | return ThisArgEltTy->getElementType() != |
| 1073 | ReferenceType->getVectorElementType(); |
| 1074 | } |
| 1075 | } |
| 1076 | llvm_unreachable("unhandled"); |
| 1077 | } |
| 1078 | |
Artur Pilipenko | b68b821 | 2016-06-24 14:47:27 +0000 | [diff] [blame] | 1079 | bool |
| 1080 | Intrinsic::matchIntrinsicVarArg(bool isVarArg, |
| 1081 | ArrayRef<Intrinsic::IITDescriptor> &Infos) { |
| 1082 | // If there are no descriptors left, then it can't be a vararg. |
| 1083 | if (Infos.empty()) |
| 1084 | return isVarArg; |
| 1085 | |
| 1086 | // There should be only one descriptor remaining at this point. |
| 1087 | if (Infos.size() != 1) |
| 1088 | return true; |
| 1089 | |
| 1090 | // Check and verify the descriptor. |
| 1091 | IITDescriptor D = Infos.front(); |
| 1092 | Infos = Infos.slice(1); |
| 1093 | if (D.Kind == IITDescriptor::VarArg) |
| 1094 | return !isVarArg; |
| 1095 | |
| 1096 | return true; |
| 1097 | } |
| 1098 | |
Artur Pilipenko | 6c7a8ab | 2016-06-24 15:10:29 +0000 | [diff] [blame] | 1099 | Optional<Function*> Intrinsic::remangleIntrinsicFunction(Function *F) { |
| 1100 | Intrinsic::ID ID = F->getIntrinsicID(); |
| 1101 | if (!ID) |
| 1102 | return None; |
| 1103 | |
| 1104 | FunctionType *FTy = F->getFunctionType(); |
| 1105 | // Accumulate an array of overloaded types for the given intrinsic |
| 1106 | SmallVector<Type *, 4> ArgTys; |
| 1107 | { |
| 1108 | SmallVector<Intrinsic::IITDescriptor, 8> Table; |
| 1109 | getIntrinsicInfoTableEntries(ID, Table); |
| 1110 | ArrayRef<Intrinsic::IITDescriptor> TableRef = Table; |
| 1111 | |
| 1112 | // If we encounter any problems matching the signature with the descriptor |
| 1113 | // just give up remangling. It's up to verifier to report the discrepancy. |
| 1114 | if (Intrinsic::matchIntrinsicType(FTy->getReturnType(), TableRef, ArgTys)) |
| 1115 | return None; |
| 1116 | for (auto Ty : FTy->params()) |
| 1117 | if (Intrinsic::matchIntrinsicType(Ty, TableRef, ArgTys)) |
| 1118 | return None; |
| 1119 | if (Intrinsic::matchIntrinsicVarArg(FTy->isVarArg(), TableRef)) |
| 1120 | return None; |
| 1121 | } |
| 1122 | |
| 1123 | StringRef Name = F->getName(); |
| 1124 | if (Name == Intrinsic::getName(ID, ArgTys)) |
| 1125 | return None; |
| 1126 | |
| 1127 | auto NewDecl = Intrinsic::getDeclaration(F->getParent(), ID, ArgTys); |
| 1128 | NewDecl->setCallingConv(F->getCallingConv()); |
| 1129 | assert(NewDecl->getFunctionType() == FTy && "Shouldn't change the signature"); |
| 1130 | return NewDecl; |
| 1131 | } |
| 1132 | |
Gabor Greif | 161cb04 | 2010-03-23 14:40:20 +0000 | [diff] [blame] | 1133 | /// hasAddressTaken - returns true if there are any uses of this function |
| 1134 | /// other than direct calls or invokes to it. |
Gabor Greif | a2fbc0a | 2010-03-24 13:21:49 +0000 | [diff] [blame] | 1135 | bool Function::hasAddressTaken(const User* *PutOffender) const { |
Chandler Carruth | cdf4788 | 2014-03-09 03:16:01 +0000 | [diff] [blame] | 1136 | for (const Use &U : uses()) { |
| 1137 | const User *FU = U.getUser(); |
| 1138 | if (isa<BlockAddress>(FU)) |
Jay Foad | ca0c499 | 2012-05-12 08:30:16 +0000 | [diff] [blame] | 1139 | continue; |
Richard Trieu | 7a08381 | 2016-02-18 22:09:30 +0000 | [diff] [blame] | 1140 | if (!isa<CallInst>(FU) && !isa<InvokeInst>(FU)) { |
| 1141 | if (PutOffender) |
| 1142 | *PutOffender = FU; |
| 1143 | return true; |
| 1144 | } |
Chandler Carruth | cdf4788 | 2014-03-09 03:16:01 +0000 | [diff] [blame] | 1145 | ImmutableCallSite CS(cast<Instruction>(FU)); |
Richard Trieu | 7a08381 | 2016-02-18 22:09:30 +0000 | [diff] [blame] | 1146 | if (!CS.isCallee(&U)) { |
| 1147 | if (PutOffender) |
| 1148 | *PutOffender = FU; |
| 1149 | return true; |
| 1150 | } |
Jay Foad | 557169d | 2009-06-10 08:41:11 +0000 | [diff] [blame] | 1151 | } |
| 1152 | return false; |
| 1153 | } |
| 1154 | |
Eli Friedman | 1923a33 | 2011-10-20 05:23:42 +0000 | [diff] [blame] | 1155 | bool Function::isDefTriviallyDead() const { |
| 1156 | // Check the linkage |
| 1157 | if (!hasLinkOnceLinkage() && !hasLocalLinkage() && |
| 1158 | !hasAvailableExternallyLinkage()) |
| 1159 | return false; |
| 1160 | |
| 1161 | // Check if the function is used by anything other than a blockaddress. |
Chandler Carruth | cdf4788 | 2014-03-09 03:16:01 +0000 | [diff] [blame] | 1162 | for (const User *U : users()) |
| 1163 | if (!isa<BlockAddress>(U)) |
Eli Friedman | 1923a33 | 2011-10-20 05:23:42 +0000 | [diff] [blame] | 1164 | return false; |
| 1165 | |
| 1166 | return true; |
| 1167 | } |
| 1168 | |
Bill Wendling | 63a4ea1 | 2011-10-17 18:43:40 +0000 | [diff] [blame] | 1169 | /// callsFunctionThatReturnsTwice - Return true if the function has a call to |
| 1170 | /// setjmp or other function that gcc recognizes as "returning twice". |
| 1171 | bool Function::callsFunctionThatReturnsTwice() const { |
| 1172 | for (const_inst_iterator |
| 1173 | I = inst_begin(this), E = inst_end(this); I != E; ++I) { |
Mark Seaborn | 8271118 | 2014-01-14 04:20:01 +0000 | [diff] [blame] | 1174 | ImmutableCallSite CS(&*I); |
| 1175 | if (CS && CS.hasFnAttr(Attribute::ReturnsTwice)) |
Bill Wendling | 63a4ea1 | 2011-10-17 18:43:40 +0000 | [diff] [blame] | 1176 | return true; |
| 1177 | } |
| 1178 | |
| 1179 | return false; |
| 1180 | } |
Peter Collingbourne | 3fa50f9 | 2013-09-16 01:08:15 +0000 | [diff] [blame] | 1181 | |
Vedant Kumar | 3a63fb3 | 2015-12-19 08:52:49 +0000 | [diff] [blame] | 1182 | Constant *Function::getPersonalityFn() const { |
| 1183 | assert(hasPersonalityFn() && getNumOperands()); |
| 1184 | return cast<Constant>(Op<0>()); |
Vedant Kumar | 1ab5ea5 | 2015-10-06 20:31:57 +0000 | [diff] [blame] | 1185 | } |
| 1186 | |
Vedant Kumar | 3a63fb3 | 2015-12-19 08:52:49 +0000 | [diff] [blame] | 1187 | void Function::setPersonalityFn(Constant *Fn) { |
Keno Fischer | 9bc46b1 | 2015-12-23 18:27:23 +0000 | [diff] [blame] | 1188 | setHungoffOperand<0>(Fn); |
Vedant Kumar | 3a63fb3 | 2015-12-19 08:52:49 +0000 | [diff] [blame] | 1189 | setValueSubclassDataBit(3, Fn != nullptr); |
Vedant Kumar | 1ab5ea5 | 2015-10-06 20:31:57 +0000 | [diff] [blame] | 1190 | } |
| 1191 | |
Peter Collingbourne | 3fa50f9 | 2013-09-16 01:08:15 +0000 | [diff] [blame] | 1192 | Constant *Function::getPrefixData() const { |
Vedant Kumar | 3a63fb3 | 2015-12-19 08:52:49 +0000 | [diff] [blame] | 1193 | assert(hasPrefixData() && getNumOperands()); |
| 1194 | return cast<Constant>(Op<1>()); |
Peter Collingbourne | 3fa50f9 | 2013-09-16 01:08:15 +0000 | [diff] [blame] | 1195 | } |
| 1196 | |
| 1197 | void Function::setPrefixData(Constant *PrefixData) { |
Keno Fischer | 9bc46b1 | 2015-12-23 18:27:23 +0000 | [diff] [blame] | 1198 | setHungoffOperand<1>(PrefixData); |
Vedant Kumar | 3a63fb3 | 2015-12-19 08:52:49 +0000 | [diff] [blame] | 1199 | setValueSubclassDataBit(1, PrefixData != nullptr); |
Peter Collingbourne | 3fa50f9 | 2013-09-16 01:08:15 +0000 | [diff] [blame] | 1200 | } |
Peter Collingbourne | 51d2de7 | 2014-12-03 02:08:38 +0000 | [diff] [blame] | 1201 | |
| 1202 | Constant *Function::getPrologueData() const { |
Vedant Kumar | 3a63fb3 | 2015-12-19 08:52:49 +0000 | [diff] [blame] | 1203 | assert(hasPrologueData() && getNumOperands()); |
| 1204 | return cast<Constant>(Op<2>()); |
Peter Collingbourne | 51d2de7 | 2014-12-03 02:08:38 +0000 | [diff] [blame] | 1205 | } |
| 1206 | |
| 1207 | void Function::setPrologueData(Constant *PrologueData) { |
Keno Fischer | 9bc46b1 | 2015-12-23 18:27:23 +0000 | [diff] [blame] | 1208 | setHungoffOperand<2>(PrologueData); |
Vedant Kumar | 3a63fb3 | 2015-12-19 08:52:49 +0000 | [diff] [blame] | 1209 | setValueSubclassDataBit(2, PrologueData != nullptr); |
| 1210 | } |
| 1211 | |
| 1212 | void Function::allocHungoffUselist() { |
| 1213 | // If we've already allocated a uselist, stop here. |
| 1214 | if (getNumOperands()) |
Peter Collingbourne | 51d2de7 | 2014-12-03 02:08:38 +0000 | [diff] [blame] | 1215 | return; |
| 1216 | |
Vedant Kumar | 3a63fb3 | 2015-12-19 08:52:49 +0000 | [diff] [blame] | 1217 | allocHungoffUses(3, /*IsPhi=*/ false); |
| 1218 | setNumHungOffUseOperands(3); |
| 1219 | |
| 1220 | // Initialize the uselist with placeholder operands to allow traversal. |
| 1221 | auto *CPN = ConstantPointerNull::get(Type::getInt1PtrTy(getContext(), 0)); |
| 1222 | Op<0>().set(CPN); |
| 1223 | Op<1>().set(CPN); |
| 1224 | Op<2>().set(CPN); |
| 1225 | } |
| 1226 | |
| 1227 | template <int Idx> |
| 1228 | void Function::setHungoffOperand(Constant *C) { |
Keno Fischer | 9bc46b1 | 2015-12-23 18:27:23 +0000 | [diff] [blame] | 1229 | if (C) { |
| 1230 | allocHungoffUselist(); |
| 1231 | Op<Idx>().set(C); |
| 1232 | } else if (getNumOperands()) { |
| 1233 | Op<Idx>().set( |
| 1234 | ConstantPointerNull::get(Type::getInt1PtrTy(getContext(), 0))); |
| 1235 | } |
Vedant Kumar | 3a63fb3 | 2015-12-19 08:52:49 +0000 | [diff] [blame] | 1236 | } |
| 1237 | |
| 1238 | void Function::setValueSubclassDataBit(unsigned Bit, bool On) { |
| 1239 | assert(Bit < 16 && "SubclassData contains only 16 bits"); |
| 1240 | if (On) |
| 1241 | setValueSubclassData(getSubclassDataFromValue() | (1 << Bit)); |
| 1242 | else |
| 1243 | setValueSubclassData(getSubclassDataFromValue() & ~(1 << Bit)); |
Peter Collingbourne | 51d2de7 | 2014-12-03 02:08:38 +0000 | [diff] [blame] | 1244 | } |
Akira Hatanaka | 3058d0f | 2015-05-06 23:54:14 +0000 | [diff] [blame] | 1245 | |
Dehao Chen | a60cdd3 | 2017-02-28 18:09:44 +0000 | [diff] [blame] | 1246 | void Function::setEntryCount(uint64_t Count, |
| 1247 | const DenseSet<GlobalValue::GUID> *S) { |
Diego Novillo | 2567f3d | 2015-05-13 15:13:45 +0000 | [diff] [blame] | 1248 | MDBuilder MDB(getContext()); |
Dehao Chen | a60cdd3 | 2017-02-28 18:09:44 +0000 | [diff] [blame] | 1249 | setMetadata(LLVMContext::MD_prof, MDB.createFunctionEntryCount(Count, S)); |
Diego Novillo | 2567f3d | 2015-05-13 15:13:45 +0000 | [diff] [blame] | 1250 | } |
| 1251 | |
| 1252 | Optional<uint64_t> Function::getEntryCount() const { |
| 1253 | MDNode *MD = getMetadata(LLVMContext::MD_prof); |
| 1254 | if (MD && MD->getOperand(0)) |
| 1255 | if (MDString *MDS = dyn_cast<MDString>(MD->getOperand(0))) |
| 1256 | if (MDS->getString().equals("function_entry_count")) { |
| 1257 | ConstantInt *CI = mdconst::extract<ConstantInt>(MD->getOperand(1)); |
David Callahan | c1c810d | 2016-08-05 18:38:19 +0000 | [diff] [blame] | 1258 | uint64_t Count = CI->getValue().getZExtValue(); |
| 1259 | if (Count == 0) |
| 1260 | return None; |
| 1261 | return Count; |
Diego Novillo | 2567f3d | 2015-05-13 15:13:45 +0000 | [diff] [blame] | 1262 | } |
| 1263 | return None; |
| 1264 | } |
Dehao Chen | 302b69c | 2016-10-18 20:42:47 +0000 | [diff] [blame] | 1265 | |
Dehao Chen | a60cdd3 | 2017-02-28 18:09:44 +0000 | [diff] [blame] | 1266 | DenseSet<GlobalValue::GUID> Function::getImportGUIDs() const { |
| 1267 | DenseSet<GlobalValue::GUID> R; |
| 1268 | if (MDNode *MD = getMetadata(LLVMContext::MD_prof)) |
| 1269 | if (MDString *MDS = dyn_cast<MDString>(MD->getOperand(0))) |
| 1270 | if (MDS->getString().equals("function_entry_count")) |
| 1271 | for (unsigned i = 2; i < MD->getNumOperands(); i++) |
| 1272 | R.insert(mdconst::extract<ConstantInt>(MD->getOperand(i)) |
| 1273 | ->getValue() |
| 1274 | .getZExtValue()); |
| 1275 | return R; |
| 1276 | } |
| 1277 | |
Dehao Chen | 302b69c | 2016-10-18 20:42:47 +0000 | [diff] [blame] | 1278 | void Function::setSectionPrefix(StringRef Prefix) { |
| 1279 | MDBuilder MDB(getContext()); |
| 1280 | setMetadata(LLVMContext::MD_section_prefix, |
| 1281 | MDB.createFunctionSectionPrefix(Prefix)); |
| 1282 | } |
| 1283 | |
| 1284 | Optional<StringRef> Function::getSectionPrefix() const { |
| 1285 | if (MDNode *MD = getMetadata(LLVMContext::MD_section_prefix)) { |
| 1286 | assert(dyn_cast<MDString>(MD->getOperand(0)) |
| 1287 | ->getString() |
| 1288 | .equals("function_section_prefix") && |
| 1289 | "Metadata not match"); |
| 1290 | return dyn_cast<MDString>(MD->getOperand(1))->getString(); |
| 1291 | } |
| 1292 | return None; |
| 1293 | } |