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