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