blob: 0cdc48e2d647f8369a4f799c5232bf9eb0d9655b [file] [log] [blame]
Eugene Zelenkodeaf6952017-02-17 00:00:09 +00001//===- Attributes.cpp - Implement AttributesList --------------------------===//
Chris Lattner3e13b8c2008-01-02 23:42:30 +00002//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
Bill Wendlingec454542013-01-28 21:55:20 +000010// \file
11// \brief This file implements the Attribute, AttributeImpl, AttrBuilder,
Reid Klecknerb5180542017-03-21 16:57:19 +000012// AttributeListImpl, and AttributeList classes.
Chris Lattner3e13b8c2008-01-02 23:42:30 +000013//
14//===----------------------------------------------------------------------===//
15
Bill Wendling4607f4b2012-12-20 01:36:59 +000016#include "AttributeImpl.h"
Bill Wendlinge38b8042012-09-26 21:07:29 +000017#include "LLVMContextImpl.h"
Eugene Zelenkodeaf6952017-02-17 00:00:09 +000018#include "llvm/ADT/ArrayRef.h"
19#include "llvm/ADT/FoldingSet.h"
20#include "llvm/ADT/Optional.h"
21#include "llvm/ADT/SmallVector.h"
Benjamin Kramer502b9e12014-04-12 16:15:53 +000022#include "llvm/ADT/STLExtras.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000023#include "llvm/ADT/StringExtras.h"
Eugene Zelenkodeaf6952017-02-17 00:00:09 +000024#include "llvm/ADT/StringRef.h"
25#include "llvm/ADT/Twine.h"
Reid Klecknereb9dd5b2017-04-10 23:31:05 +000026#include "llvm/IR/AttributeSetNode.h"
Eugene Zelenkodeaf6952017-02-17 00:00:09 +000027#include "llvm/IR/Attributes.h"
28#include "llvm/IR/Function.h"
29#include "llvm/IR/LLVMContext.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000030#include "llvm/IR/Type.h"
Eugene Zelenkodeaf6952017-02-17 00:00:09 +000031#include "llvm/Support/Compiler.h"
David Greenef7014732010-01-05 01:29:58 +000032#include "llvm/Support/Debug.h"
Eugene Zelenkodeaf6952017-02-17 00:00:09 +000033#include "llvm/Support/ErrorHandling.h"
34#include "llvm/Support/MathExtras.h"
Benjamin Kramer1a25d732009-08-23 11:37:21 +000035#include "llvm/Support/raw_ostream.h"
Bill Wendlingd2e493b2013-01-24 00:06:56 +000036#include <algorithm>
Eugene Zelenkodeaf6952017-02-17 00:00:09 +000037#include <cassert>
38#include <cstdint>
39#include <limits>
40#include <map>
41#include <string>
42#include <tuple>
43#include <utility>
44
Chris Lattner3e13b8c2008-01-02 23:42:30 +000045using namespace llvm;
46
Chris Lattner8a923e72008-03-12 17:45:29 +000047//===----------------------------------------------------------------------===//
Bill Wendling7707c5a2013-01-29 00:48:16 +000048// Attribute Construction Methods
Chris Lattner8a923e72008-03-12 17:45:29 +000049//===----------------------------------------------------------------------===//
Chris Lattnerd0e1f102008-01-03 00:10:22 +000050
George Burgess IV278199f2016-04-12 01:05:35 +000051// allocsize has two integer arguments, but because they're both 32 bits, we can
52// pack them into one 64-bit value, at the cost of making said value
53// nonsensical.
54//
55// In order to do this, we need to reserve one value of the second (optional)
56// allocsize argument to signify "not present."
George Burgess IV381fc0e2016-08-25 01:05:08 +000057static const unsigned AllocSizeNumElemsNotPresent = -1;
George Burgess IV278199f2016-04-12 01:05:35 +000058
59static uint64_t packAllocSizeArgs(unsigned ElemSizeArg,
60 const Optional<unsigned> &NumElemsArg) {
61 assert((!NumElemsArg.hasValue() ||
62 *NumElemsArg != AllocSizeNumElemsNotPresent) &&
63 "Attempting to pack a reserved value");
64
65 return uint64_t(ElemSizeArg) << 32 |
66 NumElemsArg.getValueOr(AllocSizeNumElemsNotPresent);
67}
68
69static std::pair<unsigned, Optional<unsigned>>
70unpackAllocSizeArgs(uint64_t Num) {
71 unsigned NumElems = Num & std::numeric_limits<unsigned>::max();
72 unsigned ElemSizeArg = Num >> 32;
73
74 Optional<unsigned> NumElemsArg;
75 if (NumElems != AllocSizeNumElemsNotPresent)
76 NumElemsArg = NumElems;
77 return std::make_pair(ElemSizeArg, NumElemsArg);
78}
79
Matt Arsenaulte1cef6e2014-09-03 23:24:31 +000080Attribute Attribute::get(LLVMContext &Context, Attribute::AttrKind Kind,
81 uint64_t Val) {
82 LLVMContextImpl *pImpl = Context.pImpl;
83 FoldingSetNodeID ID;
84 ID.AddInteger(Kind);
Matt Arsenaultfb4308e2014-09-03 23:38:05 +000085 if (Val) ID.AddInteger(Val);
Matt Arsenaulte1cef6e2014-09-03 23:24:31 +000086
87 void *InsertPoint;
88 AttributeImpl *PA = pImpl->AttrsSet.FindNodeOrInsertPos(ID, InsertPoint);
89
90 if (!PA) {
91 // If we didn't find any existing attributes of the same shape then create a
92 // new one and insert it.
Matt Arsenaultfb4308e2014-09-03 23:38:05 +000093 if (!Val)
94 PA = new EnumAttributeImpl(Kind);
95 else
96 PA = new IntAttributeImpl(Kind, Val);
Bill Wendling3f12ac22013-02-05 22:37:24 +000097 pImpl->AttrsSet.InsertNode(PA, InsertPoint);
98 }
99
100 // Return the Attribute that we found or created.
101 return Attribute(PA);
102}
103
104Attribute Attribute::get(LLVMContext &Context, StringRef Kind, StringRef Val) {
105 LLVMContextImpl *pImpl = Context.pImpl;
106 FoldingSetNodeID ID;
107 ID.AddString(Kind);
108 if (!Val.empty()) ID.AddString(Val);
Bill Wendling73ea2de2012-10-08 21:47:17 +0000109
110 void *InsertPoint;
Bill Wendling4607f4b2012-12-20 01:36:59 +0000111 AttributeImpl *PA = pImpl->AttrsSet.FindNodeOrInsertPos(ID, InsertPoint);
Bill Wendling73ea2de2012-10-08 21:47:17 +0000112
113 if (!PA) {
114 // If we didn't find any existing attributes of the same shape then create a
115 // new one and insert it.
Benjamin Kramer741146b2013-07-11 12:13:16 +0000116 PA = new StringAttributeImpl(Kind, Val);
Bill Wendling73ea2de2012-10-08 21:47:17 +0000117 pImpl->AttrsSet.InsertNode(PA, InsertPoint);
118 }
119
Bill Wendlingb9c5b1a2013-02-05 08:09:32 +0000120 // Return the Attribute that we found or created.
Bill Wendling3d7b0b82012-12-19 07:18:57 +0000121 return Attribute(PA);
Bill Wendling73ea2de2012-10-08 21:47:17 +0000122}
123
Bill Wendling4bbe9db2013-01-27 22:43:04 +0000124Attribute Attribute::getWithAlignment(LLVMContext &Context, uint64_t Align) {
Bill Wendling1c7cc8a2013-01-31 23:16:25 +0000125 assert(isPowerOf2_32(Align) && "Alignment must be a power of two.");
126 assert(Align <= 0x40000000 && "Alignment too large.");
Bill Wendling3f12ac22013-02-05 22:37:24 +0000127 return get(Context, Alignment, Align);
Bill Wendling4bbe9db2013-01-27 22:43:04 +0000128}
129
130Attribute Attribute::getWithStackAlignment(LLVMContext &Context,
131 uint64_t Align) {
Bill Wendling1c7cc8a2013-01-31 23:16:25 +0000132 assert(isPowerOf2_32(Align) && "Alignment must be a power of two.");
133 assert(Align <= 0x100 && "Alignment too large.");
Bill Wendling3f12ac22013-02-05 22:37:24 +0000134 return get(Context, StackAlignment, Align);
Bill Wendling4bbe9db2013-01-27 22:43:04 +0000135}
136
Hal Finkelb0407ba2014-07-18 15:51:28 +0000137Attribute Attribute::getWithDereferenceableBytes(LLVMContext &Context,
138 uint64_t Bytes) {
139 assert(Bytes && "Bytes must be non-zero.");
140 return get(Context, Dereferenceable, Bytes);
141}
142
Sanjoy Das31ea6d12015-04-16 20:29:50 +0000143Attribute Attribute::getWithDereferenceableOrNullBytes(LLVMContext &Context,
144 uint64_t Bytes) {
145 assert(Bytes && "Bytes must be non-zero.");
146 return get(Context, DereferenceableOrNull, Bytes);
147}
148
George Burgess IV278199f2016-04-12 01:05:35 +0000149Attribute
150Attribute::getWithAllocSizeArgs(LLVMContext &Context, unsigned ElemSizeArg,
151 const Optional<unsigned> &NumElemsArg) {
152 assert(!(ElemSizeArg == 0 && NumElemsArg && *NumElemsArg == 0) &&
153 "Invalid allocsize arguments -- given allocsize(0, 0)");
154 return get(Context, AllocSize, packAllocSizeArgs(ElemSizeArg, NumElemsArg));
155}
156
Bill Wendling7707c5a2013-01-29 00:48:16 +0000157//===----------------------------------------------------------------------===//
158// Attribute Accessor Methods
159//===----------------------------------------------------------------------===//
160
Bill Wendling3f12ac22013-02-05 22:37:24 +0000161bool Attribute::isEnumAttribute() const {
162 return pImpl && pImpl->isEnumAttribute();
163}
164
Hal Finkele15442c2014-07-18 06:51:55 +0000165bool Attribute::isIntAttribute() const {
166 return pImpl && pImpl->isIntAttribute();
Bill Wendling3f12ac22013-02-05 22:37:24 +0000167}
168
169bool Attribute::isStringAttribute() const {
170 return pImpl && pImpl->isStringAttribute();
171}
172
173Attribute::AttrKind Attribute::getKindAsEnum() const {
Bill Wendling440e9d82013-07-25 00:34:29 +0000174 if (!pImpl) return None;
Hal Finkele15442c2014-07-18 06:51:55 +0000175 assert((isEnumAttribute() || isIntAttribute()) &&
Bill Wendling3f12ac22013-02-05 22:37:24 +0000176 "Invalid attribute type to get the kind as an enum!");
George Burgess IV500d3032015-12-16 05:21:02 +0000177 return pImpl->getKindAsEnum();
Bill Wendling3f12ac22013-02-05 22:37:24 +0000178}
179
180uint64_t Attribute::getValueAsInt() const {
Bill Wendling440e9d82013-07-25 00:34:29 +0000181 if (!pImpl) return 0;
Hal Finkele15442c2014-07-18 06:51:55 +0000182 assert(isIntAttribute() &&
183 "Expected the attribute to be an integer attribute!");
George Burgess IV500d3032015-12-16 05:21:02 +0000184 return pImpl->getValueAsInt();
Bill Wendling3f12ac22013-02-05 22:37:24 +0000185}
186
187StringRef Attribute::getKindAsString() const {
Bill Wendling440e9d82013-07-25 00:34:29 +0000188 if (!pImpl) return StringRef();
Bill Wendling3f12ac22013-02-05 22:37:24 +0000189 assert(isStringAttribute() &&
190 "Invalid attribute type to get the kind as a string!");
George Burgess IV500d3032015-12-16 05:21:02 +0000191 return pImpl->getKindAsString();
Bill Wendling3f12ac22013-02-05 22:37:24 +0000192}
193
194StringRef Attribute::getValueAsString() const {
Bill Wendling440e9d82013-07-25 00:34:29 +0000195 if (!pImpl) return StringRef();
Bill Wendling3f12ac22013-02-05 22:37:24 +0000196 assert(isStringAttribute() &&
197 "Invalid attribute type to get the value as a string!");
George Burgess IV500d3032015-12-16 05:21:02 +0000198 return pImpl->getValueAsString();
Bill Wendling3f12ac22013-02-05 22:37:24 +0000199}
200
Bill Wendlingae89a0f2013-02-05 23:48:36 +0000201bool Attribute::hasAttribute(AttrKind Kind) const {
202 return (pImpl && pImpl->hasAttribute(Kind)) || (!pImpl && Kind == None);
203}
204
205bool Attribute::hasAttribute(StringRef Kind) const {
206 if (!isStringAttribute()) return false;
207 return pImpl && pImpl->hasAttribute(Kind);
Bill Wendling03eefb32013-01-29 20:45:34 +0000208}
209
Bill Wendling3d7b0b82012-12-19 07:18:57 +0000210unsigned Attribute::getAlignment() const {
Bill Wendlingc79cdff2013-02-01 01:04:27 +0000211 assert(hasAttribute(Attribute::Alignment) &&
212 "Trying to get alignment from non-alignment attribute!");
Bill Wendling3f12ac22013-02-05 22:37:24 +0000213 return pImpl->getValueAsInt();
Bill Wendlingabf3feb2012-10-05 06:44:41 +0000214}
215
Bill Wendling3d7b0b82012-12-19 07:18:57 +0000216unsigned Attribute::getStackAlignment() const {
Bill Wendlingc79cdff2013-02-01 01:04:27 +0000217 assert(hasAttribute(Attribute::StackAlignment) &&
218 "Trying to get alignment from non-alignment attribute!");
Bill Wendling3f12ac22013-02-05 22:37:24 +0000219 return pImpl->getValueAsInt();
Bill Wendlingabf3feb2012-10-05 06:44:41 +0000220}
221
Hal Finkelb0407ba2014-07-18 15:51:28 +0000222uint64_t Attribute::getDereferenceableBytes() const {
223 assert(hasAttribute(Attribute::Dereferenceable) &&
224 "Trying to get dereferenceable bytes from "
225 "non-dereferenceable attribute!");
226 return pImpl->getValueAsInt();
227}
228
Sanjoy Das31ea6d12015-04-16 20:29:50 +0000229uint64_t Attribute::getDereferenceableOrNullBytes() const {
230 assert(hasAttribute(Attribute::DereferenceableOrNull) &&
231 "Trying to get dereferenceable bytes from "
232 "non-dereferenceable attribute!");
233 return pImpl->getValueAsInt();
234}
235
George Burgess IV278199f2016-04-12 01:05:35 +0000236std::pair<unsigned, Optional<unsigned>> Attribute::getAllocSizeArgs() const {
237 assert(hasAttribute(Attribute::AllocSize) &&
238 "Trying to get allocsize args from non-allocsize attribute");
239 return unpackAllocSizeArgs(pImpl->getValueAsInt());
240}
241
Bill Wendling829b4782013-02-11 08:43:33 +0000242std::string Attribute::getAsString(bool InAttrGrp) const {
Bill Wendling9c2eba92013-01-31 20:59:05 +0000243 if (!pImpl) return "";
244
Kostya Serebryanycf880b92013-02-26 06:58:09 +0000245 if (hasAttribute(Attribute::SanitizeAddress))
246 return "sanitize_address";
Bill Wendling9c2eba92013-01-31 20:59:05 +0000247 if (hasAttribute(Attribute::AlwaysInline))
248 return "alwaysinline";
Igor Laevsky39d662f2015-07-11 10:30:36 +0000249 if (hasAttribute(Attribute::ArgMemOnly))
250 return "argmemonly";
Michael Gottesman41748d72013-06-27 00:25:01 +0000251 if (hasAttribute(Attribute::Builtin))
252 return "builtin";
Bill Wendling9c2eba92013-01-31 20:59:05 +0000253 if (hasAttribute(Attribute::ByVal))
254 return "byval";
Owen Anderson85fa7d52015-05-26 23:48:40 +0000255 if (hasAttribute(Attribute::Convergent))
256 return "convergent";
Manman Ren9bfd0d02016-04-01 21:41:15 +0000257 if (hasAttribute(Attribute::SwiftError))
258 return "swifterror";
Manman Renf46262e2016-03-29 17:37:21 +0000259 if (hasAttribute(Attribute::SwiftSelf))
260 return "swiftself";
Vaivaswatha Nagarajfb3f4902015-12-16 16:16:19 +0000261 if (hasAttribute(Attribute::InaccessibleMemOnly))
262 return "inaccessiblememonly";
263 if (hasAttribute(Attribute::InaccessibleMemOrArgMemOnly))
264 return "inaccessiblemem_or_argmemonly";
Reid Klecknera534a382013-12-19 02:14:12 +0000265 if (hasAttribute(Attribute::InAlloca))
266 return "inalloca";
Bill Wendling9c2eba92013-01-31 20:59:05 +0000267 if (hasAttribute(Attribute::InlineHint))
268 return "inlinehint";
Bill Wendling3d7b0b82012-12-19 07:18:57 +0000269 if (hasAttribute(Attribute::InReg))
Bill Wendlingf2955aa2013-01-29 03:20:31 +0000270 return "inreg";
Tom Roeder44cb65f2014-06-05 19:29:43 +0000271 if (hasAttribute(Attribute::JumpTable))
272 return "jumptable";
Bill Wendling9c2eba92013-01-31 20:59:05 +0000273 if (hasAttribute(Attribute::MinSize))
274 return "minsize";
275 if (hasAttribute(Attribute::Naked))
276 return "naked";
277 if (hasAttribute(Attribute::Nest))
278 return "nest";
Bill Wendling3d7b0b82012-12-19 07:18:57 +0000279 if (hasAttribute(Attribute::NoAlias))
Bill Wendlingf2955aa2013-01-29 03:20:31 +0000280 return "noalias";
Bill Wendling09bd1f72013-02-22 00:12:35 +0000281 if (hasAttribute(Attribute::NoBuiltin))
282 return "nobuiltin";
Bill Wendling3d7b0b82012-12-19 07:18:57 +0000283 if (hasAttribute(Attribute::NoCapture))
Bill Wendlingf2955aa2013-01-29 03:20:31 +0000284 return "nocapture";
Bill Wendling9c2eba92013-01-31 20:59:05 +0000285 if (hasAttribute(Attribute::NoDuplicate))
286 return "noduplicate";
287 if (hasAttribute(Attribute::NoImplicitFloat))
288 return "noimplicitfloat";
289 if (hasAttribute(Attribute::NoInline))
290 return "noinline";
291 if (hasAttribute(Attribute::NonLazyBind))
292 return "nonlazybind";
Nick Lewyckyd52b1522014-05-20 01:23:40 +0000293 if (hasAttribute(Attribute::NonNull))
294 return "nonnull";
Bill Wendling9c2eba92013-01-31 20:59:05 +0000295 if (hasAttribute(Attribute::NoRedZone))
296 return "noredzone";
297 if (hasAttribute(Attribute::NoReturn))
298 return "noreturn";
James Molloye6f87ca2015-11-06 10:32:53 +0000299 if (hasAttribute(Attribute::NoRecurse))
300 return "norecurse";
Bill Wendling9c2eba92013-01-31 20:59:05 +0000301 if (hasAttribute(Attribute::NoUnwind))
302 return "nounwind";
Andrea Di Biagio377496b2013-08-23 11:53:55 +0000303 if (hasAttribute(Attribute::OptimizeNone))
304 return "optnone";
Bill Wendling9c2eba92013-01-31 20:59:05 +0000305 if (hasAttribute(Attribute::OptimizeForSize))
306 return "optsize";
Bill Wendling3d7b0b82012-12-19 07:18:57 +0000307 if (hasAttribute(Attribute::ReadNone))
Bill Wendlingf2955aa2013-01-29 03:20:31 +0000308 return "readnone";
Bill Wendling3d7b0b82012-12-19 07:18:57 +0000309 if (hasAttribute(Attribute::ReadOnly))
Bill Wendlingf2955aa2013-01-29 03:20:31 +0000310 return "readonly";
Nicolai Haehnle84c9f992016-07-04 08:01:29 +0000311 if (hasAttribute(Attribute::WriteOnly))
312 return "writeonly";
Stephen Linb8bd2322013-04-20 05:14:40 +0000313 if (hasAttribute(Attribute::Returned))
314 return "returned";
Bill Wendling9c2eba92013-01-31 20:59:05 +0000315 if (hasAttribute(Attribute::ReturnsTwice))
316 return "returns_twice";
317 if (hasAttribute(Attribute::SExt))
318 return "signext";
Bill Wendling3d7b0b82012-12-19 07:18:57 +0000319 if (hasAttribute(Attribute::StackProtect))
Bill Wendlingf2955aa2013-01-29 03:20:31 +0000320 return "ssp";
Bill Wendling3d7b0b82012-12-19 07:18:57 +0000321 if (hasAttribute(Attribute::StackProtectReq))
Bill Wendlingf2955aa2013-01-29 03:20:31 +0000322 return "sspreq";
Bill Wendlingd154e2832013-01-23 06:41:41 +0000323 if (hasAttribute(Attribute::StackProtectStrong))
Bill Wendlingf2955aa2013-01-29 03:20:31 +0000324 return "sspstrong";
Peter Collingbourne82437bf2015-06-15 21:07:11 +0000325 if (hasAttribute(Attribute::SafeStack))
326 return "safestack";
Bill Wendling9c2eba92013-01-31 20:59:05 +0000327 if (hasAttribute(Attribute::StructRet))
328 return "sret";
Kostya Serebryanycf880b92013-02-26 06:58:09 +0000329 if (hasAttribute(Attribute::SanitizeThread))
330 return "sanitize_thread";
331 if (hasAttribute(Attribute::SanitizeMemory))
332 return "sanitize_memory";
Bill Wendling9c2eba92013-01-31 20:59:05 +0000333 if (hasAttribute(Attribute::UWTable))
334 return "uwtable";
335 if (hasAttribute(Attribute::ZExt))
336 return "zeroext";
Diego Novilloc6399532013-05-24 12:26:52 +0000337 if (hasAttribute(Attribute::Cold))
338 return "cold";
Bill Wendling9c2eba92013-01-31 20:59:05 +0000339
340 // FIXME: These should be output like this:
341 //
342 // align=4
343 // alignstack=8
344 //
Bill Wendling3d7b0b82012-12-19 07:18:57 +0000345 if (hasAttribute(Attribute::Alignment)) {
Bill Wendlingf2955aa2013-01-29 03:20:31 +0000346 std::string Result;
Bill Wendling829b4782013-02-11 08:43:33 +0000347 Result += "align";
348 Result += (InAttrGrp) ? "=" : " ";
Bill Wendling3f12ac22013-02-05 22:37:24 +0000349 Result += utostr(getValueAsInt());
350 return Result;
351 }
Bill Wendling829b4782013-02-11 08:43:33 +0000352
Sanjoy Das31ea6d12015-04-16 20:29:50 +0000353 auto AttrWithBytesToString = [&](const char *Name) {
Bill Wendling3f12ac22013-02-05 22:37:24 +0000354 std::string Result;
Sanjoy Das31ea6d12015-04-16 20:29:50 +0000355 Result += Name;
Bill Wendling829b4782013-02-11 08:43:33 +0000356 if (InAttrGrp) {
357 Result += "=";
358 Result += utostr(getValueAsInt());
359 } else {
360 Result += "(";
361 Result += utostr(getValueAsInt());
362 Result += ")";
363 }
Bill Wendlingf2955aa2013-01-29 03:20:31 +0000364 return Result;
Sanjoy Das31ea6d12015-04-16 20:29:50 +0000365 };
Bill Wendling9c2eba92013-01-31 20:59:05 +0000366
Sanjoy Das31ea6d12015-04-16 20:29:50 +0000367 if (hasAttribute(Attribute::StackAlignment))
368 return AttrWithBytesToString("alignstack");
369
370 if (hasAttribute(Attribute::Dereferenceable))
371 return AttrWithBytesToString("dereferenceable");
372
373 if (hasAttribute(Attribute::DereferenceableOrNull))
374 return AttrWithBytesToString("dereferenceable_or_null");
Hal Finkelb0407ba2014-07-18 15:51:28 +0000375
George Burgess IV278199f2016-04-12 01:05:35 +0000376 if (hasAttribute(Attribute::AllocSize)) {
377 unsigned ElemSize;
378 Optional<unsigned> NumElems;
379 std::tie(ElemSize, NumElems) = getAllocSizeArgs();
380
381 std::string Result = "allocsize(";
382 Result += utostr(ElemSize);
383 if (NumElems.hasValue()) {
384 Result += ',';
385 Result += utostr(*NumElems);
386 }
387 Result += ')';
388 return Result;
389 }
390
Bill Wendling9c2eba92013-01-31 20:59:05 +0000391 // Convert target-dependent attributes to strings of the form:
392 //
393 // "kind"
394 // "kind" = "value"
Bill Wendling9c2eba92013-01-31 20:59:05 +0000395 //
Bill Wendling3f12ac22013-02-05 22:37:24 +0000396 if (isStringAttribute()) {
Bill Wendling9c2eba92013-01-31 20:59:05 +0000397 std::string Result;
Yaron Keren075759a2015-03-30 15:42:36 +0000398 Result += (Twine('"') + getKindAsString() + Twine('"')).str();
Bill Wendling9c2eba92013-01-31 20:59:05 +0000399
Honggyu Kim9eb6a102016-09-01 11:44:06 +0000400 std::string AttrVal = pImpl->getValueAsString();
401 if (AttrVal.empty()) return Result;
Bill Wendling7a33f772013-02-01 22:32:30 +0000402
Honggyu Kim9eb6a102016-09-01 11:44:06 +0000403 // Since some attribute strings contain special characters that cannot be
404 // printable, those have to be escaped to make the attribute value printable
405 // as is. e.g. "\01__gnu_mcount_nc"
406 {
407 raw_string_ostream OS(Result);
408 OS << "=\"";
409 PrintEscapedString(AttrVal, OS);
410 OS << "\"";
411 }
Bill Wendlingc79cdff2013-02-01 01:04:27 +0000412 return Result;
Bill Wendling9c2eba92013-01-31 20:59:05 +0000413 }
Bill Wendlingf2955aa2013-01-29 03:20:31 +0000414
415 llvm_unreachable("Unknown attribute");
Chris Lattner3e13b8c2008-01-02 23:42:30 +0000416}
417
Bill Wendlingd509a662013-01-29 00:34:06 +0000418bool Attribute::operator<(Attribute A) const {
419 if (!pImpl && !A.pImpl) return false;
420 if (!pImpl) return true;
421 if (!A.pImpl) return false;
422 return *pImpl < *A.pImpl;
423}
424
Bill Wendlingd509a662013-01-29 00:34:06 +0000425//===----------------------------------------------------------------------===//
426// AttributeImpl Definition
427//===----------------------------------------------------------------------===//
428
Eric Christopher0eaa5412014-07-02 22:05:40 +0000429// Pin the vtables to this file.
Eugene Zelenkodeaf6952017-02-17 00:00:09 +0000430AttributeImpl::~AttributeImpl() = default;
431
Juergen Ributzkad12ccbd2013-11-19 00:57:56 +0000432void EnumAttributeImpl::anchor() {}
Eugene Zelenkodeaf6952017-02-17 00:00:09 +0000433
Hal Finkele15442c2014-07-18 06:51:55 +0000434void IntAttributeImpl::anchor() {}
Eugene Zelenkodeaf6952017-02-17 00:00:09 +0000435
Juergen Ributzkad12ccbd2013-11-19 00:57:56 +0000436void StringAttributeImpl::anchor() {}
Alexey Samsonov49109a22013-11-18 09:31:53 +0000437
Bill Wendlingd509a662013-01-29 00:34:06 +0000438bool AttributeImpl::hasAttribute(Attribute::AttrKind A) const {
Bill Wendling3f12ac22013-02-05 22:37:24 +0000439 if (isStringAttribute()) return false;
440 return getKindAsEnum() == A;
Bill Wendlingd509a662013-01-29 00:34:06 +0000441}
442
Bill Wendling3f12ac22013-02-05 22:37:24 +0000443bool AttributeImpl::hasAttribute(StringRef Kind) const {
444 if (!isStringAttribute()) return false;
445 return getKindAsString() == Kind;
Bill Wendlingd509a662013-01-29 00:34:06 +0000446}
447
Bill Wendling3f12ac22013-02-05 22:37:24 +0000448Attribute::AttrKind AttributeImpl::getKindAsEnum() const {
Hal Finkele15442c2014-07-18 06:51:55 +0000449 assert(isEnumAttribute() || isIntAttribute());
Benjamin Kramer741146b2013-07-11 12:13:16 +0000450 return static_cast<const EnumAttributeImpl *>(this)->getEnumKind();
Bill Wendlingd509a662013-01-29 00:34:06 +0000451}
452
Bill Wendling3f12ac22013-02-05 22:37:24 +0000453uint64_t AttributeImpl::getValueAsInt() const {
Hal Finkele15442c2014-07-18 06:51:55 +0000454 assert(isIntAttribute());
455 return static_cast<const IntAttributeImpl *>(this)->getValue();
Bill Wendlingd509a662013-01-29 00:34:06 +0000456}
457
Bill Wendling3f12ac22013-02-05 22:37:24 +0000458StringRef AttributeImpl::getKindAsString() const {
Benjamin Kramer741146b2013-07-11 12:13:16 +0000459 assert(isStringAttribute());
460 return static_cast<const StringAttributeImpl *>(this)->getStringKind();
Bill Wendlingd509a662013-01-29 00:34:06 +0000461}
462
Bill Wendling3f12ac22013-02-05 22:37:24 +0000463StringRef AttributeImpl::getValueAsString() const {
Benjamin Kramer741146b2013-07-11 12:13:16 +0000464 assert(isStringAttribute());
465 return static_cast<const StringAttributeImpl *>(this)->getStringValue();
Bill Wendlingd509a662013-01-29 00:34:06 +0000466}
467
468bool AttributeImpl::operator<(const AttributeImpl &AI) const {
Bill Wendlingc79cdff2013-02-01 01:04:27 +0000469 // This sorts the attributes with Attribute::AttrKinds coming first (sorted
470 // relative to their enum value) and then strings.
Bill Wendling26b95752013-02-15 05:25:26 +0000471 if (isEnumAttribute()) {
472 if (AI.isEnumAttribute()) return getKindAsEnum() < AI.getKindAsEnum();
Hal Finkele15442c2014-07-18 06:51:55 +0000473 if (AI.isIntAttribute()) return true;
Bill Wendling26b95752013-02-15 05:25:26 +0000474 if (AI.isStringAttribute()) return true;
475 }
Bill Wendlingc79cdff2013-02-01 01:04:27 +0000476
Hal Finkele15442c2014-07-18 06:51:55 +0000477 if (isIntAttribute()) {
Bill Wendling26b95752013-02-15 05:25:26 +0000478 if (AI.isEnumAttribute()) return false;
Reid Kleckner7de67612016-04-04 23:06:05 +0000479 if (AI.isIntAttribute()) {
480 if (getKindAsEnum() == AI.getKindAsEnum())
481 return getValueAsInt() < AI.getValueAsInt();
482 return getKindAsEnum() < AI.getKindAsEnum();
483 }
Bill Wendling26b95752013-02-15 05:25:26 +0000484 if (AI.isStringAttribute()) return true;
Bill Wendling3f12ac22013-02-05 22:37:24 +0000485 }
Bill Wendlingd509a662013-01-29 00:34:06 +0000486
Bill Wendling26b95752013-02-15 05:25:26 +0000487 if (AI.isEnumAttribute()) return false;
Hal Finkele15442c2014-07-18 06:51:55 +0000488 if (AI.isIntAttribute()) return false;
Bill Wendling26b95752013-02-15 05:25:26 +0000489 if (getKindAsString() == AI.getKindAsString())
490 return getValueAsString() < AI.getValueAsString();
491 return getKindAsString() < AI.getKindAsString();
Bill Wendlingd509a662013-01-29 00:34:06 +0000492}
493
Bill Wendlingd509a662013-01-29 00:34:06 +0000494//===----------------------------------------------------------------------===//
495// AttributeSetNode Definition
496//===----------------------------------------------------------------------===//
497
498AttributeSetNode *AttributeSetNode::get(LLVMContext &C,
499 ArrayRef<Attribute> Attrs) {
500 if (Attrs.empty())
Craig Topperc6207612014-04-09 06:08:46 +0000501 return nullptr;
Bill Wendlingd509a662013-01-29 00:34:06 +0000502
503 // Otherwise, build a key to look up the existing attributes.
504 LLVMContextImpl *pImpl = C.pImpl;
505 FoldingSetNodeID ID;
506
507 SmallVector<Attribute, 8> SortedAttrs(Attrs.begin(), Attrs.end());
Reid Kleckner7de67612016-04-04 23:06:05 +0000508 std::sort(SortedAttrs.begin(), SortedAttrs.end());
Bill Wendlingd509a662013-01-29 00:34:06 +0000509
George Burgess IV500d3032015-12-16 05:21:02 +0000510 for (Attribute Attr : SortedAttrs)
511 Attr.Profile(ID);
Bill Wendlingd509a662013-01-29 00:34:06 +0000512
513 void *InsertPoint;
514 AttributeSetNode *PA =
515 pImpl->AttrsSetNodes.FindNodeOrInsertPos(ID, InsertPoint);
516
517 // If we didn't find any existing attributes of the same shape then create a
518 // new one and insert it.
519 if (!PA) {
Benjamin Kramer741146b2013-07-11 12:13:16 +0000520 // Coallocate entries after the AttributeSetNode itself.
James Y Knightaa365b22015-08-05 22:57:34 +0000521 void *Mem = ::operator new(totalSizeToAlloc<Attribute>(SortedAttrs.size()));
Benjamin Kramer741146b2013-07-11 12:13:16 +0000522 PA = new (Mem) AttributeSetNode(SortedAttrs);
Bill Wendlingd509a662013-01-29 00:34:06 +0000523 pImpl->AttrsSetNodes.InsertNode(PA, InsertPoint);
524 }
525
Reid Klecknerb5180542017-03-21 16:57:19 +0000526 // Return the AttributeSetNode that we found or created.
Bill Wendlingd509a662013-01-29 00:34:06 +0000527 return PA;
528}
529
Reid Klecknereb9dd5b2017-04-10 23:31:05 +0000530AttributeSetNode *AttributeSetNode::get(LLVMContext &C, const AttrBuilder &B) {
531 // Add target-independent attributes.
532 SmallVector<Attribute, 8> Attrs;
533 for (Attribute::AttrKind Kind = Attribute::None;
534 Kind != Attribute::EndAttrKinds; Kind = Attribute::AttrKind(Kind + 1)) {
535 if (!B.contains(Kind))
536 continue;
537
538 Attribute Attr;
539 switch (Kind) {
540 case Attribute::Alignment:
541 Attr = Attribute::getWithAlignment(C, B.getAlignment());
542 break;
543 case Attribute::StackAlignment:
544 Attr = Attribute::getWithStackAlignment(C, B.getStackAlignment());
545 break;
546 case Attribute::Dereferenceable:
547 Attr = Attribute::getWithDereferenceableBytes(
548 C, B.getDereferenceableBytes());
549 break;
550 case Attribute::DereferenceableOrNull:
551 Attr = Attribute::getWithDereferenceableOrNullBytes(
552 C, B.getDereferenceableOrNullBytes());
553 break;
554 case Attribute::AllocSize: {
555 auto A = B.getAllocSizeArgs();
556 Attr = Attribute::getWithAllocSizeArgs(C, A.first, A.second);
557 break;
558 }
559 default:
560 Attr = Attribute::get(C, Kind);
561 }
562 Attrs.push_back(Attr);
563 }
564
565 // Add target-dependent (string) attributes.
566 for (const auto &TDA : B.td_attrs())
567 Attrs.emplace_back(Attribute::get(C, TDA.first, TDA.second));
568
569 return get(C, Attrs);
570}
571
Bill Wendlingbce7b972013-02-13 08:42:21 +0000572bool AttributeSetNode::hasAttribute(StringRef Kind) const {
Benjamin Krameraf28e7d2016-06-26 14:10:56 +0000573 for (Attribute I : *this)
574 if (I.hasAttribute(Kind))
Bill Wendlingbce7b972013-02-13 08:42:21 +0000575 return true;
576 return false;
577}
578
579Attribute AttributeSetNode::getAttribute(Attribute::AttrKind Kind) const {
Matthias Braun31eeb76f2016-01-29 22:25:13 +0000580 if (hasAttribute(Kind)) {
Benjamin Krameraf28e7d2016-06-26 14:10:56 +0000581 for (Attribute I : *this)
582 if (I.hasAttribute(Kind))
583 return I;
Matthias Braun31eeb76f2016-01-29 22:25:13 +0000584 }
Bill Wendlingbce7b972013-02-13 08:42:21 +0000585 return Attribute();
586}
587
588Attribute AttributeSetNode::getAttribute(StringRef Kind) const {
Benjamin Krameraf28e7d2016-06-26 14:10:56 +0000589 for (Attribute I : *this)
590 if (I.hasAttribute(Kind))
591 return I;
Bill Wendlingbce7b972013-02-13 08:42:21 +0000592 return Attribute();
593}
594
Bill Wendlingf2955aa2013-01-29 03:20:31 +0000595unsigned AttributeSetNode::getAlignment() const {
Benjamin Krameraf28e7d2016-06-26 14:10:56 +0000596 for (Attribute I : *this)
597 if (I.hasAttribute(Attribute::Alignment))
598 return I.getAlignment();
Bill Wendlingf2955aa2013-01-29 03:20:31 +0000599 return 0;
600}
601
602unsigned AttributeSetNode::getStackAlignment() const {
Benjamin Krameraf28e7d2016-06-26 14:10:56 +0000603 for (Attribute I : *this)
604 if (I.hasAttribute(Attribute::StackAlignment))
605 return I.getStackAlignment();
Bill Wendlingf2955aa2013-01-29 03:20:31 +0000606 return 0;
607}
608
Hal Finkelb0407ba2014-07-18 15:51:28 +0000609uint64_t AttributeSetNode::getDereferenceableBytes() const {
Benjamin Krameraf28e7d2016-06-26 14:10:56 +0000610 for (Attribute I : *this)
611 if (I.hasAttribute(Attribute::Dereferenceable))
612 return I.getDereferenceableBytes();
Hal Finkelb0407ba2014-07-18 15:51:28 +0000613 return 0;
614}
615
Sanjoy Das06cf33f2015-05-06 17:41:54 +0000616uint64_t AttributeSetNode::getDereferenceableOrNullBytes() const {
Benjamin Krameraf28e7d2016-06-26 14:10:56 +0000617 for (Attribute I : *this)
618 if (I.hasAttribute(Attribute::DereferenceableOrNull))
619 return I.getDereferenceableOrNullBytes();
Sanjoy Das06cf33f2015-05-06 17:41:54 +0000620 return 0;
621}
622
George Burgess IV278199f2016-04-12 01:05:35 +0000623std::pair<unsigned, Optional<unsigned>>
624AttributeSetNode::getAllocSizeArgs() const {
Benjamin Krameraf28e7d2016-06-26 14:10:56 +0000625 for (Attribute I : *this)
626 if (I.hasAttribute(Attribute::AllocSize))
627 return I.getAllocSizeArgs();
George Burgess IV278199f2016-04-12 01:05:35 +0000628 return std::make_pair(0, 0);
629}
630
Rafael Espindolacbf5a7a2013-05-01 13:07:03 +0000631std::string AttributeSetNode::getAsString(bool InAttrGrp) const {
Benjamin Kramer0baf8f42013-04-19 11:43:21 +0000632 std::string Str;
Benjamin Kramer741146b2013-07-11 12:13:16 +0000633 for (iterator I = begin(), E = end(); I != E; ++I) {
634 if (I != begin())
Rafael Espindolacbf5a7a2013-05-01 13:07:03 +0000635 Str += ' ';
636 Str += I->getAsString(InAttrGrp);
Bill Wendlingf2955aa2013-01-29 03:20:31 +0000637 }
638 return Str;
639}
640
Bill Wendlingd509a662013-01-29 00:34:06 +0000641//===----------------------------------------------------------------------===//
Reid Klecknerb5180542017-03-21 16:57:19 +0000642// AttributeListImpl Definition
Bill Wendlingd509a662013-01-29 00:34:06 +0000643//===----------------------------------------------------------------------===//
644
Matthias Braun8c209aa2017-01-28 02:02:38 +0000645#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
Reid Klecknerb5180542017-03-21 16:57:19 +0000646LLVM_DUMP_METHOD void AttributeListImpl::dump() const {
647 AttributeList(const_cast<AttributeListImpl *>(this)).dump();
Peter Collingbourneabca2ec2013-08-02 22:34:30 +0000648}
Matthias Braun8c209aa2017-01-28 02:02:38 +0000649#endif
Peter Collingbourneabca2ec2013-08-02 22:34:30 +0000650
Bill Wendlingd509a662013-01-29 00:34:06 +0000651//===----------------------------------------------------------------------===//
Reid Klecknerb5180542017-03-21 16:57:19 +0000652// AttributeList Construction and Mutation Methods
Bill Wendlingd509a662013-01-29 00:34:06 +0000653//===----------------------------------------------------------------------===//
654
Reid Klecknerb5180542017-03-21 16:57:19 +0000655AttributeList AttributeList::getImpl(
656 LLVMContext &C, ArrayRef<std::pair<unsigned, AttributeSetNode *>> Attrs) {
Reid Klecknereb9dd5b2017-04-10 23:31:05 +0000657 assert(!Attrs.empty() && "creating pointless AttributeList");
658#ifndef NDEBUG
659 unsigned LastIndex = 0;
660 bool IsFirst = true;
661 for (const auto &AttrPair : Attrs) {
662 assert((IsFirst || LastIndex < AttrPair.first) &&
663 "unsorted or duplicate AttributeList indices");
664 assert(AttrPair.second && "pointless AttributeList slot");
665 LastIndex = AttrPair.first;
666 IsFirst = false;
667 }
668#endif
669
Bill Wendlingd509a662013-01-29 00:34:06 +0000670 LLVMContextImpl *pImpl = C.pImpl;
671 FoldingSetNodeID ID;
Reid Klecknerb5180542017-03-21 16:57:19 +0000672 AttributeListImpl::Profile(ID, Attrs);
Bill Wendlingd509a662013-01-29 00:34:06 +0000673
674 void *InsertPoint;
Reid Klecknerb5180542017-03-21 16:57:19 +0000675 AttributeListImpl *PA =
676 pImpl->AttrsLists.FindNodeOrInsertPos(ID, InsertPoint);
Bill Wendlingd509a662013-01-29 00:34:06 +0000677
678 // If we didn't find any existing attributes of the same shape then
679 // create a new one and insert it.
680 if (!PA) {
Reid Klecknerb5180542017-03-21 16:57:19 +0000681 // Coallocate entries after the AttributeListImpl itself.
James Y Knightaa365b22015-08-05 22:57:34 +0000682 void *Mem = ::operator new(
Reid Klecknerb5180542017-03-21 16:57:19 +0000683 AttributeListImpl::totalSizeToAlloc<IndexAttrPair>(Attrs.size()));
684 PA = new (Mem) AttributeListImpl(C, Attrs);
Bill Wendlingd509a662013-01-29 00:34:06 +0000685 pImpl->AttrsLists.InsertNode(PA, InsertPoint);
686 }
687
688 // Return the AttributesList that we found or created.
Reid Klecknerb5180542017-03-21 16:57:19 +0000689 return AttributeList(PA);
Bill Wendlingd509a662013-01-29 00:34:06 +0000690}
691
Reid Klecknerb5180542017-03-21 16:57:19 +0000692AttributeList
693AttributeList::get(LLVMContext &C,
694 ArrayRef<std::pair<unsigned, Attribute>> Attrs) {
Bill Wendlingd509a662013-01-29 00:34:06 +0000695 // If there are no attributes then return a null AttributesList pointer.
696 if (Attrs.empty())
Reid Klecknerb5180542017-03-21 16:57:19 +0000697 return AttributeList();
Bill Wendlingd509a662013-01-29 00:34:06 +0000698
Craig Toppere30b8ca2016-01-03 19:43:40 +0000699 assert(std::is_sorted(Attrs.begin(), Attrs.end(),
700 [](const std::pair<unsigned, Attribute> &LHS,
701 const std::pair<unsigned, Attribute> &RHS) {
702 return LHS.first < RHS.first;
703 }) && "Misordered Attributes list!");
David Majnemer0a16c222016-08-11 21:15:00 +0000704 assert(none_of(Attrs,
705 [](const std::pair<unsigned, Attribute> &Pair) {
706 return Pair.second.hasAttribute(Attribute::None);
707 }) &&
708 "Pointless attribute!");
Bill Wendlingd509a662013-01-29 00:34:06 +0000709
710 // Create a vector if (unsigned, AttributeSetNode*) pairs from the attributes
711 // list.
712 SmallVector<std::pair<unsigned, AttributeSetNode*>, 8> AttrPairVec;
Eugene Zelenkodeaf6952017-02-17 00:00:09 +0000713 for (ArrayRef<std::pair<unsigned, Attribute>>::iterator I = Attrs.begin(),
Bill Wendlingd509a662013-01-29 00:34:06 +0000714 E = Attrs.end(); I != E; ) {
715 unsigned Index = I->first;
716 SmallVector<Attribute, 4> AttrVec;
NAKAMURA Takumif05d2f22013-01-29 15:18:16 +0000717 while (I != E && I->first == Index) {
Bill Wendlingd509a662013-01-29 00:34:06 +0000718 AttrVec.push_back(I->second);
719 ++I;
720 }
721
David Majnemer0a16c222016-08-11 21:15:00 +0000722 AttrPairVec.emplace_back(Index, AttributeSetNode::get(C, AttrVec));
Bill Wendlingd509a662013-01-29 00:34:06 +0000723 }
724
725 return getImpl(C, AttrPairVec);
726}
727
Reid Klecknerb5180542017-03-21 16:57:19 +0000728AttributeList
729AttributeList::get(LLVMContext &C,
730 ArrayRef<std::pair<unsigned, AttributeSetNode *>> Attrs) {
Bill Wendlingd509a662013-01-29 00:34:06 +0000731 // If there are no attributes then return a null AttributesList pointer.
732 if (Attrs.empty())
Reid Klecknerb5180542017-03-21 16:57:19 +0000733 return AttributeList();
Bill Wendlingd509a662013-01-29 00:34:06 +0000734
735 return getImpl(C, Attrs);
736}
737
Reid Klecknereb9dd5b2017-04-10 23:31:05 +0000738AttributeList AttributeList::get(LLVMContext &C, ArrayRef<AttributeSetNode*> Attrs) {
739 assert(Attrs.size() >= 2 &&
740 "should always have function and return attr slots");
741 SmallVector<std::pair<unsigned, AttributeSetNode *>, 8> AttrPairs;
742 size_t Index = 0;
743 for (AttributeSetNode *AS : Attrs) {
744 if (AS) {
745 // If this is the last AttributeSetNode, it's for the function.
746 if (Index == Attrs.size() - 1)
747 Index = AttributeList::FunctionIndex;
748 AttrPairs.emplace_back(Index, AS);
749 }
750 ++Index;
751 }
752 if (AttrPairs.empty())
753 return AttributeList();
754 return getImpl(C, AttrPairs);
755}
756
Reid Klecknerb5180542017-03-21 16:57:19 +0000757AttributeList AttributeList::get(LLVMContext &C, unsigned Index,
758 const AttrBuilder &B) {
Bill Wendlingd509a662013-01-29 00:34:06 +0000759 if (!B.hasAttributes())
Reid Klecknerb5180542017-03-21 16:57:19 +0000760 return AttributeList();
Reid Klecknereb9dd5b2017-04-10 23:31:05 +0000761 AttributeSetNode *ASN = AttributeSetNode::get(C, B);
762 std::pair<unsigned, AttributeSetNode *> Arr[1] = {{Index, ASN}};
763 return getImpl(C, Arr);
Bill Wendlingd509a662013-01-29 00:34:06 +0000764}
765
Reid Klecknerb5180542017-03-21 16:57:19 +0000766AttributeList AttributeList::get(LLVMContext &C, unsigned Index,
767 ArrayRef<Attribute::AttrKind> Kinds) {
Bill Wendlingd509a662013-01-29 00:34:06 +0000768 SmallVector<std::pair<unsigned, Attribute>, 8> Attrs;
Amaury Sechet392638d2016-06-14 20:27:35 +0000769 for (Attribute::AttrKind K : Kinds)
David Majnemer0a16c222016-08-11 21:15:00 +0000770 Attrs.emplace_back(Index, Attribute::get(C, K));
Bill Wendlingd509a662013-01-29 00:34:06 +0000771 return get(C, Attrs);
772}
773
Reid Klecknerb5180542017-03-21 16:57:19 +0000774AttributeList AttributeList::get(LLVMContext &C, unsigned Index,
775 ArrayRef<StringRef> Kinds) {
Amaury Sechet6100adf2016-06-15 17:50:39 +0000776 SmallVector<std::pair<unsigned, Attribute>, 8> Attrs;
777 for (StringRef K : Kinds)
David Majnemer0a16c222016-08-11 21:15:00 +0000778 Attrs.emplace_back(Index, Attribute::get(C, K));
Amaury Sechet6100adf2016-06-15 17:50:39 +0000779 return get(C, Attrs);
780}
781
Reid Klecknerb5180542017-03-21 16:57:19 +0000782AttributeList AttributeList::get(LLVMContext &C,
783 ArrayRef<AttributeList> Attrs) {
784 if (Attrs.empty())
785 return AttributeList();
Peter Collingbournebd6c7452013-08-02 22:29:40 +0000786 if (Attrs.size() == 1) return Attrs[0];
Bill Wendlingd509a662013-01-29 00:34:06 +0000787
788 SmallVector<std::pair<unsigned, AttributeSetNode*>, 8> AttrNodeVec;
Reid Klecknerb5180542017-03-21 16:57:19 +0000789 AttributeListImpl *A0 = Attrs[0].pImpl;
Peter Collingbournebd6c7452013-08-02 22:29:40 +0000790 if (A0)
Amaury Sechet24c84fd2016-06-14 22:04:16 +0000791 AttrNodeVec.append(A0->getNode(0), A0->getNode(A0->getNumSlots()));
Peter Collingbournebd6c7452013-08-02 22:29:40 +0000792 // Copy all attributes from Attrs into AttrNodeVec while keeping AttrNodeVec
793 // ordered by index. Because we know that each list in Attrs is ordered by
794 // index we only need to merge each successive list in rather than doing a
795 // full sort.
796 for (unsigned I = 1, E = Attrs.size(); I != E; ++I) {
Reid Klecknerb5180542017-03-21 16:57:19 +0000797 AttributeListImpl *AS = Attrs[I].pImpl;
Benjamin Kramer741146b2013-07-11 12:13:16 +0000798 if (!AS) continue;
Peter Collingbournebd6c7452013-08-02 22:29:40 +0000799 SmallVector<std::pair<unsigned, AttributeSetNode *>, 8>::iterator
800 ANVI = AttrNodeVec.begin(), ANVE;
James Y Knightaa365b22015-08-05 22:57:34 +0000801 for (const IndexAttrPair *AI = AS->getNode(0),
Amaury Sechet24c84fd2016-06-14 22:04:16 +0000802 *AE = AS->getNode(AS->getNumSlots());
Peter Collingbournebd6c7452013-08-02 22:29:40 +0000803 AI != AE; ++AI) {
804 ANVE = AttrNodeVec.end();
805 while (ANVI != ANVE && ANVI->first <= AI->first)
806 ++ANVI;
807 ANVI = AttrNodeVec.insert(ANVI, *AI) + 1;
808 }
Bill Wendlingd509a662013-01-29 00:34:06 +0000809 }
810
811 return getImpl(C, AttrNodeVec);
812}
813
Reid Klecknerb5180542017-03-21 16:57:19 +0000814AttributeList AttributeList::addAttribute(LLVMContext &C, unsigned Index,
815 Attribute::AttrKind Kind) const {
Amaury Sechet392638d2016-06-14 20:27:35 +0000816 if (hasAttribute(Index, Kind)) return *this;
Reid Klecknerb5180542017-03-21 16:57:19 +0000817 return addAttributes(C, Index, AttributeList::get(C, Index, Kind));
Reed Kotler795c7b42013-03-13 20:20:08 +0000818}
819
Reid Klecknerb5180542017-03-21 16:57:19 +0000820AttributeList AttributeList::addAttribute(LLVMContext &C, unsigned Index,
821 StringRef Kind,
822 StringRef Value) const {
Eugene Zelenkodeaf6952017-02-17 00:00:09 +0000823 AttrBuilder B;
Bill Wendling3b2f6102013-07-25 18:34:24 +0000824 B.addAttribute(Kind, Value);
Reid Klecknerb5180542017-03-21 16:57:19 +0000825 return addAttributes(C, Index, AttributeList::get(C, Index, B));
Bill Wendling3b2f6102013-07-25 18:34:24 +0000826}
827
Reid Klecknerb5180542017-03-21 16:57:19 +0000828AttributeList AttributeList::addAttribute(LLVMContext &C,
829 ArrayRef<unsigned> Indices,
830 Attribute A) const {
Reid Klecknereb9dd5b2017-04-10 23:31:05 +0000831 assert(std::is_sorted(Indices.begin(), Indices.end()));
Reid Kleckner324c99d2017-04-10 20:18:10 +0000832
Reid Klecknereb9dd5b2017-04-10 23:31:05 +0000833 unsigned I = 0, E = pImpl ? pImpl->getNumSlots() : 0;
834 SmallVector<IndexAttrPair, 4> AttrVec;
835 for (unsigned Index : Indices) {
836 // Add all attribute slots before the current index.
837 for (; I < E && getSlotIndex(I) < Index; ++I)
838 AttrVec.emplace_back(getSlotIndex(I), pImpl->getSlotNode(I));
839
840 // Add the attribute at this index. If we already have attributes at this
841 // index, merge them into a new set.
842 AttrBuilder B;
843 if (I < E && getSlotIndex(I) == Index) {
844 B.merge(AttrBuilder(pImpl->getSlotNode(I)));
Akira Hatanaka237916b2015-12-02 06:58:49 +0000845 ++I;
Akira Hatanaka237916b2015-12-02 06:58:49 +0000846 }
Reid Klecknereb9dd5b2017-04-10 23:31:05 +0000847 B.addAttribute(A);
848 AttrVec.emplace_back(Index, AttributeSetNode::get(C, B));
Akira Hatanaka237916b2015-12-02 06:58:49 +0000849 }
850
Reid Klecknereb9dd5b2017-04-10 23:31:05 +0000851 // Add remaining attributes.
852 for (; I < E; ++I)
853 AttrVec.emplace_back(getSlotIndex(I), pImpl->getSlotNode(I));
Akira Hatanaka237916b2015-12-02 06:58:49 +0000854
Reid Klecknereb9dd5b2017-04-10 23:31:05 +0000855 return get(C, AttrVec);
Akira Hatanaka237916b2015-12-02 06:58:49 +0000856}
857
Reid Klecknerb5180542017-03-21 16:57:19 +0000858AttributeList AttributeList::addAttributes(LLVMContext &C, unsigned Index,
859 AttributeList Attrs) const {
Bill Wendlingd509a662013-01-29 00:34:06 +0000860 if (!pImpl) return Attrs;
861 if (!Attrs.pImpl) return *this;
862
Reid Klecknereb9dd5b2017-04-10 23:31:05 +0000863 return addAttributes(C, Index, Attrs.getAttributes(Index));
864}
865
866AttributeList AttributeList::addAttributes(LLVMContext &C, unsigned Index,
867 AttributeSetNode *AS) const {
868 if (!AS)
869 return *this;
870
Bill Wendlingd509a662013-01-29 00:34:06 +0000871#ifndef NDEBUG
872 // FIXME it is not obvious how this should work for alignment. For now, say
873 // we can't change a known alignment.
Bill Wendling211316c2013-04-18 20:17:28 +0000874 unsigned OldAlign = getParamAlignment(Index);
Reid Klecknereb9dd5b2017-04-10 23:31:05 +0000875 unsigned NewAlign = AS->getAlignment();
Bill Wendlingd509a662013-01-29 00:34:06 +0000876 assert((!OldAlign || !NewAlign || OldAlign == NewAlign) &&
877 "Attempt to change alignment!");
878#endif
879
Reid Klecknereb9dd5b2017-04-10 23:31:05 +0000880 SmallVector<std::pair<unsigned, AttributeSetNode *>, 4> AttrSet;
Amaury Sechet24c84fd2016-06-14 22:04:16 +0000881 uint64_t NumAttrs = pImpl->getNumSlots();
Reid Klecknereb9dd5b2017-04-10 23:31:05 +0000882 unsigned I;
883
884 // Add all the attribute slots before the one we need to merge.
885 for (I = 0; I < NumAttrs; ++I) {
886 if (getSlotIndex(I) >= Index)
Bill Wendlingd509a662013-01-29 00:34:06 +0000887 break;
Reid Klecknereb9dd5b2017-04-10 23:31:05 +0000888 AttrSet.emplace_back(getSlotIndex(I), pImpl->getSlotNode(I));
Bill Wendlingd509a662013-01-29 00:34:06 +0000889 }
890
Reid Klecknereb9dd5b2017-04-10 23:31:05 +0000891 if (I < NumAttrs && getSlotIndex(I) == Index) {
892 // We need to merge two AttributeSetNodes.
893 AttributeSetNode *Merged = AttributeSetNode::get(
894 C, AttrBuilder(pImpl->getSlotNode(I)).merge(AttrBuilder(AS)));
895 AttrSet.emplace_back(Index, Merged);
896 ++I;
897 } else {
898 // Otherwise, there were no attributes at this position in the original
899 // list. Add the set as is.
900 AttrSet.emplace_back(Index, AS);
901 }
Bill Wendlingd509a662013-01-29 00:34:06 +0000902
Reid Klecknereb9dd5b2017-04-10 23:31:05 +0000903 // Add the remaining entries.
904 for (; I < NumAttrs; ++I)
905 AttrSet.emplace_back(getSlotIndex(I), pImpl->getSlotNode(I));
Bill Wendlingd509a662013-01-29 00:34:06 +0000906
907 return get(C, AttrSet);
908}
909
Reid Klecknereb9dd5b2017-04-10 23:31:05 +0000910AttributeList AttributeList::addAttributes(LLVMContext &C, unsigned Index,
911 const AttrBuilder &B) const {
912 return get(C, Index, AttributeSetNode::get(C, B));
913}
914
Reid Klecknerb5180542017-03-21 16:57:19 +0000915AttributeList AttributeList::removeAttribute(LLVMContext &C, unsigned Index,
916 Attribute::AttrKind Kind) const {
Amaury Sechet392638d2016-06-14 20:27:35 +0000917 if (!hasAttribute(Index, Kind)) return *this;
Reid Klecknerb5180542017-03-21 16:57:19 +0000918 return removeAttributes(C, Index, AttributeList::get(C, Index, Kind));
Bill Wendlingd509a662013-01-29 00:34:06 +0000919}
920
Reid Klecknerb5180542017-03-21 16:57:19 +0000921AttributeList AttributeList::removeAttribute(LLVMContext &C, unsigned Index,
922 StringRef Kind) const {
Amaury Sechet6100adf2016-06-15 17:50:39 +0000923 if (!hasAttribute(Index, Kind)) return *this;
Reid Klecknerb5180542017-03-21 16:57:19 +0000924 return removeAttributes(C, Index, AttributeList::get(C, Index, Kind));
Amaury Sechet6100adf2016-06-15 17:50:39 +0000925}
926
Reid Klecknerb5180542017-03-21 16:57:19 +0000927AttributeList AttributeList::removeAttributes(LLVMContext &C, unsigned Index,
928 AttributeList Attrs) const {
929 if (!pImpl)
930 return AttributeList();
Bill Wendlingd509a662013-01-29 00:34:06 +0000931 if (!Attrs.pImpl) return *this;
932
Pete Cooper67cf9a72015-11-19 05:56:52 +0000933 // FIXME it is not obvious how this should work for alignment.
934 // For now, say we can't pass in alignment, which no current use does.
935 assert(!Attrs.hasAttribute(Index, Attribute::Alignment) &&
936 "Attempt to change alignment!");
937
Bill Wendlingd509a662013-01-29 00:34:06 +0000938 // Add the attribute slots before the one we're trying to add.
Reid Klecknerb5180542017-03-21 16:57:19 +0000939 SmallVector<AttributeList, 4> AttrSet;
Amaury Sechet24c84fd2016-06-14 22:04:16 +0000940 uint64_t NumAttrs = pImpl->getNumSlots();
Reid Klecknerb5180542017-03-21 16:57:19 +0000941 AttributeList AS;
Bill Wendlingd509a662013-01-29 00:34:06 +0000942 uint64_t LastIndex = 0;
943 for (unsigned I = 0, E = NumAttrs; I != E; ++I) {
Bill Wendling211316c2013-04-18 20:17:28 +0000944 if (getSlotIndex(I) >= Index) {
945 if (getSlotIndex(I) == Index) AS = getSlotAttributes(LastIndex++);
Bill Wendlingd509a662013-01-29 00:34:06 +0000946 break;
947 }
948 LastIndex = I + 1;
949 AttrSet.push_back(getSlotAttributes(I));
950 }
951
Bill Wendlingd2196752013-01-30 23:07:40 +0000952 // Now remove the attribute from the correct slot. There may already be an
Reid Klecknerb5180542017-03-21 16:57:19 +0000953 // AttributeList there.
Bill Wendling211316c2013-04-18 20:17:28 +0000954 AttrBuilder B(AS, Index);
Bill Wendlingd509a662013-01-29 00:34:06 +0000955
Amaury Sechet24c84fd2016-06-14 22:04:16 +0000956 for (unsigned I = 0, E = Attrs.pImpl->getNumSlots(); I != E; ++I)
Bill Wendling211316c2013-04-18 20:17:28 +0000957 if (Attrs.getSlotIndex(I) == Index) {
958 B.removeAttributes(Attrs.pImpl->getSlotAttributes(I), Index);
Bill Wendlingd509a662013-01-29 00:34:06 +0000959 break;
960 }
961
Reid Klecknerb5180542017-03-21 16:57:19 +0000962 AttrSet.push_back(AttributeList::get(C, Index, B));
Bill Wendlingd509a662013-01-29 00:34:06 +0000963
964 // Add the remaining attribute slots.
965 for (unsigned I = LastIndex, E = NumAttrs; I < E; ++I)
966 AttrSet.push_back(getSlotAttributes(I));
967
968 return get(C, AttrSet);
969}
970
Reid Klecknerb5180542017-03-21 16:57:19 +0000971AttributeList AttributeList::removeAttributes(LLVMContext &C, unsigned Index,
972 const AttrBuilder &Attrs) const {
973 if (!pImpl)
974 return AttributeList();
Pete Cooperd2a44612015-05-06 23:19:43 +0000975
976 // FIXME it is not obvious how this should work for alignment.
977 // For now, say we can't pass in alignment, which no current use does.
978 assert(!Attrs.hasAlignmentAttr() && "Attempt to change alignment!");
979
980 // Add the attribute slots before the one we're trying to add.
Reid Klecknerb5180542017-03-21 16:57:19 +0000981 SmallVector<AttributeList, 4> AttrSet;
Amaury Sechet24c84fd2016-06-14 22:04:16 +0000982 uint64_t NumAttrs = pImpl->getNumSlots();
Reid Klecknerb5180542017-03-21 16:57:19 +0000983 AttributeList AS;
Pete Cooperd2a44612015-05-06 23:19:43 +0000984 uint64_t LastIndex = 0;
985 for (unsigned I = 0, E = NumAttrs; I != E; ++I) {
986 if (getSlotIndex(I) >= Index) {
987 if (getSlotIndex(I) == Index) AS = getSlotAttributes(LastIndex++);
988 break;
989 }
990 LastIndex = I + 1;
991 AttrSet.push_back(getSlotAttributes(I));
992 }
993
994 // Now remove the attribute from the correct slot. There may already be an
Reid Klecknerb5180542017-03-21 16:57:19 +0000995 // AttributeList there.
Pete Cooperd2a44612015-05-06 23:19:43 +0000996 AttrBuilder B(AS, Index);
997 B.remove(Attrs);
998
Reid Klecknerb5180542017-03-21 16:57:19 +0000999 AttrSet.push_back(AttributeList::get(C, Index, B));
Pete Cooperd2a44612015-05-06 23:19:43 +00001000
1001 // Add the remaining attribute slots.
1002 for (unsigned I = LastIndex, E = NumAttrs; I < E; ++I)
1003 AttrSet.push_back(getSlotAttributes(I));
1004
1005 return get(C, AttrSet);
1006}
1007
Reid Klecknereb9dd5b2017-04-10 23:31:05 +00001008AttributeList AttributeList::removeAttributes(LLVMContext &C,
1009 unsigned WithoutIndex) const {
1010 if (!pImpl)
1011 return AttributeList();
1012
1013 SmallVector<std::pair<unsigned, AttributeSetNode *>, 4> AttrSet;
1014 for (unsigned I = 0, E = pImpl->getNumSlots(); I != E; ++I) {
1015 unsigned Index = getSlotIndex(I);
1016 if (Index != WithoutIndex)
1017 AttrSet.push_back({Index, pImpl->getSlotNode(I)});
1018 }
1019 return get(C, AttrSet);
1020}
1021
Reid Klecknerb5180542017-03-21 16:57:19 +00001022AttributeList AttributeList::addDereferenceableAttr(LLVMContext &C,
1023 unsigned Index,
1024 uint64_t Bytes) const {
Eugene Zelenkodeaf6952017-02-17 00:00:09 +00001025 AttrBuilder B;
Ramkumar Ramachandra8fcb4982015-02-14 19:37:54 +00001026 B.addDereferenceableAttr(Bytes);
Reid Klecknerb5180542017-03-21 16:57:19 +00001027 return addAttributes(C, Index, AttributeList::get(C, Index, B));
Ramkumar Ramachandra8fcb4982015-02-14 19:37:54 +00001028}
1029
Reid Klecknerb5180542017-03-21 16:57:19 +00001030AttributeList
1031AttributeList::addDereferenceableOrNullAttr(LLVMContext &C, unsigned Index,
1032 uint64_t Bytes) const {
Eugene Zelenkodeaf6952017-02-17 00:00:09 +00001033 AttrBuilder B;
Sanjoy Das31ea6d12015-04-16 20:29:50 +00001034 B.addDereferenceableOrNullAttr(Bytes);
Reid Klecknerb5180542017-03-21 16:57:19 +00001035 return addAttributes(C, Index, AttributeList::get(C, Index, B));
Sanjoy Das31ea6d12015-04-16 20:29:50 +00001036}
1037
Reid Klecknerb5180542017-03-21 16:57:19 +00001038AttributeList
1039AttributeList::addAllocSizeAttr(LLVMContext &C, unsigned Index,
1040 unsigned ElemSizeArg,
1041 const Optional<unsigned> &NumElemsArg) {
Eugene Zelenkodeaf6952017-02-17 00:00:09 +00001042 AttrBuilder B;
George Burgess IV278199f2016-04-12 01:05:35 +00001043 B.addAllocSizeAttr(ElemSizeArg, NumElemsArg);
Reid Klecknerb5180542017-03-21 16:57:19 +00001044 return addAttributes(C, Index, AttributeList::get(C, Index, B));
George Burgess IV278199f2016-04-12 01:05:35 +00001045}
1046
Bill Wendlingd509a662013-01-29 00:34:06 +00001047//===----------------------------------------------------------------------===//
Reid Klecknerb5180542017-03-21 16:57:19 +00001048// AttributeList Accessor Methods
Bill Wendlingd509a662013-01-29 00:34:06 +00001049//===----------------------------------------------------------------------===//
1050
Reid Klecknerb5180542017-03-21 16:57:19 +00001051LLVMContext &AttributeList::getContext() const { return pImpl->getContext(); }
1052
Reid Klecknereb9dd5b2017-04-10 23:31:05 +00001053AttributeSetNode *AttributeList::getParamAttributes(unsigned Index) const {
1054 return getAttributes(Index);
Bill Wendling5d020a32013-02-10 05:00:40 +00001055}
1056
Reid Klecknereb9dd5b2017-04-10 23:31:05 +00001057AttributeSetNode *AttributeList::getRetAttributes() const {
1058 return getAttributes(ReturnIndex);
Bill Wendlingd509a662013-01-29 00:34:06 +00001059}
1060
Reid Klecknereb9dd5b2017-04-10 23:31:05 +00001061AttributeSetNode *AttributeList::getFnAttributes() const {
1062 return getAttributes(FunctionIndex);
Bill Wendlingd509a662013-01-29 00:34:06 +00001063}
1064
Reid Klecknerb5180542017-03-21 16:57:19 +00001065bool AttributeList::hasAttribute(unsigned Index,
1066 Attribute::AttrKind Kind) const {
Bill Wendlingf2955aa2013-01-29 03:20:31 +00001067 AttributeSetNode *ASN = getAttributes(Index);
George Burgess IV500d3032015-12-16 05:21:02 +00001068 return ASN && ASN->hasAttribute(Kind);
Bill Wendlingd509a662013-01-29 00:34:06 +00001069}
1070
Reid Klecknerb5180542017-03-21 16:57:19 +00001071bool AttributeList::hasAttribute(unsigned Index, StringRef Kind) const {
Bill Wendlingbce7b972013-02-13 08:42:21 +00001072 AttributeSetNode *ASN = getAttributes(Index);
George Burgess IV500d3032015-12-16 05:21:02 +00001073 return ASN && ASN->hasAttribute(Kind);
Bill Wendlingbce7b972013-02-13 08:42:21 +00001074}
1075
Reid Klecknerb5180542017-03-21 16:57:19 +00001076bool AttributeList::hasAttributes(unsigned Index) const {
Bill Wendlingf2955aa2013-01-29 03:20:31 +00001077 AttributeSetNode *ASN = getAttributes(Index);
George Burgess IV500d3032015-12-16 05:21:02 +00001078 return ASN && ASN->hasAttributes();
Bill Wendlingd509a662013-01-29 00:34:06 +00001079}
1080
Reid Klecknerb5180542017-03-21 16:57:19 +00001081bool AttributeList::hasFnAttribute(Attribute::AttrKind Kind) const {
Matthias Braun33282812016-01-29 22:25:19 +00001082 return pImpl && pImpl->hasFnAttribute(Kind);
1083}
1084
Reid Klecknerb5180542017-03-21 16:57:19 +00001085bool AttributeList::hasFnAttribute(StringRef Kind) const {
1086 return hasAttribute(AttributeList::FunctionIndex, Kind);
Amaury Sechet5f04d812016-09-09 04:50:38 +00001087}
1088
Reid Klecknerb5180542017-03-21 16:57:19 +00001089bool AttributeList::hasAttrSomewhere(Attribute::AttrKind Attr,
1090 unsigned *Index) const {
Craig Topperc6207612014-04-09 06:08:46 +00001091 if (!pImpl) return false;
Bill Wendlingd509a662013-01-29 00:34:06 +00001092
Amaury Sechet24c84fd2016-06-14 22:04:16 +00001093 for (unsigned I = 0, E = pImpl->getNumSlots(); I != E; ++I)
Reid Klecknerb5180542017-03-21 16:57:19 +00001094 for (AttributeListImpl::iterator II = pImpl->begin(I), IE = pImpl->end(I);
1095 II != IE; ++II)
Hal Finkele87ad542016-07-10 23:01:32 +00001096 if (II->hasAttribute(Attr)) {
1097 if (Index) *Index = pImpl->getSlotIndex(I);
Bill Wendlingd509a662013-01-29 00:34:06 +00001098 return true;
Hal Finkele87ad542016-07-10 23:01:32 +00001099 }
Bill Wendlingd509a662013-01-29 00:34:06 +00001100
1101 return false;
1102}
1103
Reid Klecknerb5180542017-03-21 16:57:19 +00001104Attribute AttributeList::getAttribute(unsigned Index,
1105 Attribute::AttrKind Kind) const {
Bill Wendlingbce7b972013-02-13 08:42:21 +00001106 AttributeSetNode *ASN = getAttributes(Index);
1107 return ASN ? ASN->getAttribute(Kind) : Attribute();
1108}
1109
Reid Klecknerb5180542017-03-21 16:57:19 +00001110Attribute AttributeList::getAttribute(unsigned Index, StringRef Kind) const {
Bill Wendlingbce7b972013-02-13 08:42:21 +00001111 AttributeSetNode *ASN = getAttributes(Index);
1112 return ASN ? ASN->getAttribute(Kind) : Attribute();
1113}
1114
Reid Klecknerb5180542017-03-21 16:57:19 +00001115unsigned AttributeList::getParamAlignment(unsigned Index) const {
Bill Wendlingf2955aa2013-01-29 03:20:31 +00001116 AttributeSetNode *ASN = getAttributes(Index);
1117 return ASN ? ASN->getAlignment() : 0;
Bill Wendlingd509a662013-01-29 00:34:06 +00001118}
1119
Reid Klecknerb5180542017-03-21 16:57:19 +00001120unsigned AttributeList::getStackAlignment(unsigned Index) const {
Bill Wendlingf2955aa2013-01-29 03:20:31 +00001121 AttributeSetNode *ASN = getAttributes(Index);
1122 return ASN ? ASN->getStackAlignment() : 0;
Bill Wendlingd509a662013-01-29 00:34:06 +00001123}
1124
Reid Klecknerb5180542017-03-21 16:57:19 +00001125uint64_t AttributeList::getDereferenceableBytes(unsigned Index) const {
Hal Finkelb0407ba2014-07-18 15:51:28 +00001126 AttributeSetNode *ASN = getAttributes(Index);
1127 return ASN ? ASN->getDereferenceableBytes() : 0;
1128}
1129
Reid Klecknerb5180542017-03-21 16:57:19 +00001130uint64_t AttributeList::getDereferenceableOrNullBytes(unsigned Index) const {
Sanjoy Das06cf33f2015-05-06 17:41:54 +00001131 AttributeSetNode *ASN = getAttributes(Index);
1132 return ASN ? ASN->getDereferenceableOrNullBytes() : 0;
1133}
1134
George Burgess IV278199f2016-04-12 01:05:35 +00001135std::pair<unsigned, Optional<unsigned>>
Reid Klecknerb5180542017-03-21 16:57:19 +00001136AttributeList::getAllocSizeArgs(unsigned Index) const {
George Burgess IV278199f2016-04-12 01:05:35 +00001137 AttributeSetNode *ASN = getAttributes(Index);
Matt Arsenault4ced16d2016-07-18 22:12:46 +00001138 return ASN ? ASN->getAllocSizeArgs() : std::make_pair(0u, Optional<unsigned>(0u));
George Burgess IV278199f2016-04-12 01:05:35 +00001139}
1140
Reid Klecknerb5180542017-03-21 16:57:19 +00001141std::string AttributeList::getAsString(unsigned Index, bool InAttrGrp) const {
Bill Wendlingf2955aa2013-01-29 03:20:31 +00001142 AttributeSetNode *ASN = getAttributes(Index);
Rafael Espindolacbf5a7a2013-05-01 13:07:03 +00001143 return ASN ? ASN->getAsString(InAttrGrp) : std::string("");
Bill Wendlingd509a662013-01-29 00:34:06 +00001144}
1145
Reid Klecknerb5180542017-03-21 16:57:19 +00001146AttributeSetNode *AttributeList::getAttributes(unsigned Index) const {
Craig Topperc6207612014-04-09 06:08:46 +00001147 if (!pImpl) return nullptr;
Bill Wendlingd509a662013-01-29 00:34:06 +00001148
Bill Wendlingf2955aa2013-01-29 03:20:31 +00001149 // Loop through to find the attribute node we want.
Amaury Sechet24c84fd2016-06-14 22:04:16 +00001150 for (unsigned I = 0, E = pImpl->getNumSlots(); I != E; ++I)
Bill Wendling211316c2013-04-18 20:17:28 +00001151 if (pImpl->getSlotIndex(I) == Index)
Bill Wendlingf2955aa2013-01-29 03:20:31 +00001152 return pImpl->getSlotNode(I);
Bill Wendlingd509a662013-01-29 00:34:06 +00001153
Craig Topperc6207612014-04-09 06:08:46 +00001154 return nullptr;
Bill Wendlingd509a662013-01-29 00:34:06 +00001155}
1156
Reid Klecknerb5180542017-03-21 16:57:19 +00001157AttributeList::iterator AttributeList::begin(unsigned Slot) const {
Bill Wendlinga9174862013-01-31 23:53:05 +00001158 if (!pImpl)
1159 return ArrayRef<Attribute>().begin();
Bill Wendling211316c2013-04-18 20:17:28 +00001160 return pImpl->begin(Slot);
Bill Wendlinga9174862013-01-31 23:53:05 +00001161}
1162
Reid Klecknerb5180542017-03-21 16:57:19 +00001163AttributeList::iterator AttributeList::end(unsigned Slot) const {
Bill Wendlinga9174862013-01-31 23:53:05 +00001164 if (!pImpl)
1165 return ArrayRef<Attribute>().end();
Bill Wendling211316c2013-04-18 20:17:28 +00001166 return pImpl->end(Slot);
Bill Wendlinga9174862013-01-31 23:53:05 +00001167}
1168
Bill Wendlingd509a662013-01-29 00:34:06 +00001169//===----------------------------------------------------------------------===//
Reid Klecknerb5180542017-03-21 16:57:19 +00001170// AttributeList Introspection Methods
Bill Wendlingd509a662013-01-29 00:34:06 +00001171//===----------------------------------------------------------------------===//
1172
Reid Klecknerb5180542017-03-21 16:57:19 +00001173unsigned AttributeList::getNumSlots() const {
Amaury Sechet24c84fd2016-06-14 22:04:16 +00001174 return pImpl ? pImpl->getNumSlots() : 0;
Bill Wendlingd509a662013-01-29 00:34:06 +00001175}
1176
Reid Klecknerb5180542017-03-21 16:57:19 +00001177unsigned AttributeList::getSlotIndex(unsigned Slot) const {
Amaury Sechet24c84fd2016-06-14 22:04:16 +00001178 assert(pImpl && Slot < pImpl->getNumSlots() &&
Bill Wendlingd509a662013-01-29 00:34:06 +00001179 "Slot # out of range!");
1180 return pImpl->getSlotIndex(Slot);
1181}
1182
Reid Klecknerb5180542017-03-21 16:57:19 +00001183AttributeList AttributeList::getSlotAttributes(unsigned Slot) const {
Amaury Sechet24c84fd2016-06-14 22:04:16 +00001184 assert(pImpl && Slot < pImpl->getNumSlots() &&
Bill Wendlingd509a662013-01-29 00:34:06 +00001185 "Slot # out of range!");
1186 return pImpl->getSlotAttributes(Slot);
1187}
1188
Matthias Braun8c209aa2017-01-28 02:02:38 +00001189#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
Reid Klecknerb5180542017-03-21 16:57:19 +00001190LLVM_DUMP_METHOD void AttributeList::dump() const {
Bill Wendlingd509a662013-01-29 00:34:06 +00001191 dbgs() << "PAL[\n";
1192
1193 for (unsigned i = 0, e = getNumSlots(); i < e; ++i) {
1194 uint64_t Index = getSlotIndex(i);
1195 dbgs() << " { ";
1196 if (Index == ~0U)
1197 dbgs() << "~0U";
1198 else
1199 dbgs() << Index;
1200 dbgs() << " => " << getAsString(Index) << " }\n";
1201 }
1202
1203 dbgs() << "]\n";
1204}
Matthias Braun8c209aa2017-01-28 02:02:38 +00001205#endif
Bill Wendlingd509a662013-01-29 00:34:06 +00001206
Bill Wendlingabf3feb2012-10-05 06:44:41 +00001207//===----------------------------------------------------------------------===//
Bill Wendlingcd330342013-01-04 23:27:34 +00001208// AttrBuilder Method Implementations
Bill Wendlingabf3feb2012-10-05 06:44:41 +00001209//===----------------------------------------------------------------------===//
1210
Reid Klecknerb5180542017-03-21 16:57:19 +00001211AttrBuilder::AttrBuilder(AttributeList AS, unsigned Index) {
1212 AttributeListImpl *pImpl = AS.pImpl;
Bill Wendling096f5442013-01-07 08:24:35 +00001213 if (!pImpl) return;
1214
Amaury Sechet24c84fd2016-06-14 22:04:16 +00001215 for (unsigned I = 0, E = pImpl->getNumSlots(); I != E; ++I) {
Bill Wendling211316c2013-04-18 20:17:28 +00001216 if (pImpl->getSlotIndex(I) != Index) continue;
Bill Wendling096f5442013-01-07 08:24:35 +00001217
Reid Klecknerb5180542017-03-21 16:57:19 +00001218 for (AttributeListImpl::iterator II = pImpl->begin(I), IE = pImpl->end(I);
1219 II != IE; ++II)
Bill Wendling23804da2013-01-31 23:38:01 +00001220 addAttribute(*II);
Bill Wendling9eb689c2013-01-28 00:21:34 +00001221
1222 break;
1223 }
Bill Wendling096f5442013-01-07 08:24:35 +00001224}
1225
Reid Klecknereb9dd5b2017-04-10 23:31:05 +00001226AttrBuilder::AttrBuilder(AttributeSetNode *AS) {
1227 if (AS) {
1228 for (const Attribute &A : *AS)
1229 addAttribute(A);
1230 }
1231}
1232
Bill Wendlingcd330342013-01-04 23:27:34 +00001233void AttrBuilder::clear() {
Benjamin Kramereaf706b2013-02-18 12:09:51 +00001234 Attrs.reset();
Sanjoy Das88d0fde2015-09-03 22:27:42 +00001235 TargetDepAttrs.clear();
Sanjoy Das31ea6d12015-04-16 20:29:50 +00001236 Alignment = StackAlignment = DerefBytes = DerefOrNullBytes = 0;
George Burgess IV278199f2016-04-12 01:05:35 +00001237 AllocSizeArgs = 0;
Bill Wendlingcd330342013-01-04 23:27:34 +00001238}
1239
1240AttrBuilder &AttrBuilder::addAttribute(Attribute::AttrKind Val) {
Benjamin Kramereaf706b2013-02-18 12:09:51 +00001241 assert((unsigned)Val < Attribute::EndAttrKinds && "Attribute out of range!");
Bill Wendling1c7cc8a2013-01-31 23:16:25 +00001242 assert(Val != Attribute::Alignment && Val != Attribute::StackAlignment &&
George Burgess IV278199f2016-04-12 01:05:35 +00001243 Val != Attribute::Dereferenceable && Val != Attribute::AllocSize &&
Hal Finkelb0407ba2014-07-18 15:51:28 +00001244 "Adding integer attribute without adding a value!");
Benjamin Kramereaf706b2013-02-18 12:09:51 +00001245 Attrs[Val] = true;
Bill Wendling7c04e042012-10-09 19:01:18 +00001246 return *this;
Bill Wendlingabf3feb2012-10-05 06:44:41 +00001247}
1248
Bill Wendling23804da2013-01-31 23:38:01 +00001249AttrBuilder &AttrBuilder::addAttribute(Attribute Attr) {
Bill Wendling0a437302013-02-10 10:13:23 +00001250 if (Attr.isStringAttribute()) {
1251 addAttribute(Attr.getKindAsString(), Attr.getValueAsString());
1252 return *this;
1253 }
1254
Bill Wendling3f12ac22013-02-05 22:37:24 +00001255 Attribute::AttrKind Kind = Attr.getKindAsEnum();
Benjamin Kramereaf706b2013-02-18 12:09:51 +00001256 Attrs[Kind] = true;
Bill Wendling1aa9d9e2013-01-28 05:23:28 +00001257
Bill Wendling3f12ac22013-02-05 22:37:24 +00001258 if (Kind == Attribute::Alignment)
Bill Wendling1aa9d9e2013-01-28 05:23:28 +00001259 Alignment = Attr.getAlignment();
Bill Wendling3f12ac22013-02-05 22:37:24 +00001260 else if (Kind == Attribute::StackAlignment)
Bill Wendling1aa9d9e2013-01-28 05:23:28 +00001261 StackAlignment = Attr.getStackAlignment();
Hal Finkelb0407ba2014-07-18 15:51:28 +00001262 else if (Kind == Attribute::Dereferenceable)
1263 DerefBytes = Attr.getDereferenceableBytes();
Sanjoy Das31ea6d12015-04-16 20:29:50 +00001264 else if (Kind == Attribute::DereferenceableOrNull)
1265 DerefOrNullBytes = Attr.getDereferenceableOrNullBytes();
George Burgess IV278199f2016-04-12 01:05:35 +00001266 else if (Kind == Attribute::AllocSize)
1267 AllocSizeArgs = Attr.getValueAsInt();
Bill Wendling1aa9d9e2013-01-28 05:23:28 +00001268 return *this;
1269}
1270
Bill Wendlingb9c5b1a2013-02-05 08:09:32 +00001271AttrBuilder &AttrBuilder::addAttribute(StringRef A, StringRef V) {
1272 TargetDepAttrs[A] = V;
1273 return *this;
1274}
1275
Bill Wendling23804da2013-01-31 23:38:01 +00001276AttrBuilder &AttrBuilder::removeAttribute(Attribute::AttrKind Val) {
Benjamin Kramereaf706b2013-02-18 12:09:51 +00001277 assert((unsigned)Val < Attribute::EndAttrKinds && "Attribute out of range!");
1278 Attrs[Val] = false;
Bill Wendling23804da2013-01-31 23:38:01 +00001279
1280 if (Val == Attribute::Alignment)
1281 Alignment = 0;
1282 else if (Val == Attribute::StackAlignment)
1283 StackAlignment = 0;
Hal Finkelb0407ba2014-07-18 15:51:28 +00001284 else if (Val == Attribute::Dereferenceable)
1285 DerefBytes = 0;
Sanjoy Das31ea6d12015-04-16 20:29:50 +00001286 else if (Val == Attribute::DereferenceableOrNull)
1287 DerefOrNullBytes = 0;
George Burgess IV278199f2016-04-12 01:05:35 +00001288 else if (Val == Attribute::AllocSize)
1289 AllocSizeArgs = 0;
Bill Wendling23804da2013-01-31 23:38:01 +00001290
1291 return *this;
1292}
1293
Reid Klecknerb5180542017-03-21 16:57:19 +00001294AttrBuilder &AttrBuilder::removeAttributes(AttributeList A, uint64_t Index) {
Bill Wendling211316c2013-04-18 20:17:28 +00001295 unsigned Slot = ~0U;
Bill Wendlingf1c94e32013-02-01 00:13:50 +00001296 for (unsigned I = 0, E = A.getNumSlots(); I != E; ++I)
1297 if (A.getSlotIndex(I) == Index) {
Bill Wendling211316c2013-04-18 20:17:28 +00001298 Slot = I;
Bill Wendlingf1c94e32013-02-01 00:13:50 +00001299 break;
Bill Wendling1aa9d9e2013-01-28 05:23:28 +00001300 }
Bill Wendlingf1c94e32013-02-01 00:13:50 +00001301
Reid Klecknerb5180542017-03-21 16:57:19 +00001302 assert(Slot != ~0U && "Couldn't find index in AttributeList!");
Bill Wendlingf1c94e32013-02-01 00:13:50 +00001303
Reid Klecknerb5180542017-03-21 16:57:19 +00001304 for (AttributeList::iterator I = A.begin(Slot), E = A.end(Slot); I != E;
1305 ++I) {
Bill Wendling7cde51d2013-02-12 07:56:49 +00001306 Attribute Attr = *I;
Hal Finkele15442c2014-07-18 06:51:55 +00001307 if (Attr.isEnumAttribute() || Attr.isIntAttribute()) {
George Burgess IV500d3032015-12-16 05:21:02 +00001308 removeAttribute(Attr.getKindAsEnum());
Bill Wendling7cde51d2013-02-12 07:56:49 +00001309 } else {
1310 assert(Attr.isStringAttribute() && "Invalid attribute type!");
George Burgess IV500d3032015-12-16 05:21:02 +00001311 removeAttribute(Attr.getKindAsString());
Bill Wendling7cde51d2013-02-12 07:56:49 +00001312 }
Bill Wendling1aa9d9e2013-01-28 05:23:28 +00001313 }
1314
1315 return *this;
1316}
1317
Bill Wendlingb9c5b1a2013-02-05 08:09:32 +00001318AttrBuilder &AttrBuilder::removeAttribute(StringRef A) {
1319 std::map<std::string, std::string>::iterator I = TargetDepAttrs.find(A);
1320 if (I != TargetDepAttrs.end())
1321 TargetDepAttrs.erase(I);
1322 return *this;
1323}
1324
George Burgess IV278199f2016-04-12 01:05:35 +00001325std::pair<unsigned, Optional<unsigned>> AttrBuilder::getAllocSizeArgs() const {
1326 return unpackAllocSizeArgs(AllocSizeArgs);
1327}
1328
Bill Wendling50d27842012-10-15 20:35:56 +00001329AttrBuilder &AttrBuilder::addAlignmentAttr(unsigned Align) {
Bill Wendlingabd5ba22012-10-14 03:58:29 +00001330 if (Align == 0) return *this;
Bill Wendlingcd330342013-01-04 23:27:34 +00001331
Bill Wendlingabf3feb2012-10-05 06:44:41 +00001332 assert(isPowerOf2_32(Align) && "Alignment must be a power of two.");
1333 assert(Align <= 0x40000000 && "Alignment too large.");
Bill Wendlingcd330342013-01-04 23:27:34 +00001334
Benjamin Kramereaf706b2013-02-18 12:09:51 +00001335 Attrs[Attribute::Alignment] = true;
Bill Wendlingcd330342013-01-04 23:27:34 +00001336 Alignment = Align;
Bill Wendlingabd5ba22012-10-14 03:58:29 +00001337 return *this;
Chris Lattner3e13b8c2008-01-02 23:42:30 +00001338}
1339
Bill Wendlingcd330342013-01-04 23:27:34 +00001340AttrBuilder &AttrBuilder::addStackAlignmentAttr(unsigned Align) {
1341 // Default alignment, allow the target to define how to align it.
1342 if (Align == 0) return *this;
1343
1344 assert(isPowerOf2_32(Align) && "Alignment must be a power of two.");
1345 assert(Align <= 0x100 && "Alignment too large.");
1346
Benjamin Kramereaf706b2013-02-18 12:09:51 +00001347 Attrs[Attribute::StackAlignment] = true;
Bill Wendlingcd330342013-01-04 23:27:34 +00001348 StackAlignment = Align;
1349 return *this;
1350}
1351
Hal Finkelb0407ba2014-07-18 15:51:28 +00001352AttrBuilder &AttrBuilder::addDereferenceableAttr(uint64_t Bytes) {
1353 if (Bytes == 0) return *this;
1354
1355 Attrs[Attribute::Dereferenceable] = true;
1356 DerefBytes = Bytes;
1357 return *this;
1358}
1359
Sanjoy Das31ea6d12015-04-16 20:29:50 +00001360AttrBuilder &AttrBuilder::addDereferenceableOrNullAttr(uint64_t Bytes) {
1361 if (Bytes == 0)
1362 return *this;
1363
1364 Attrs[Attribute::DereferenceableOrNull] = true;
1365 DerefOrNullBytes = Bytes;
1366 return *this;
1367}
1368
George Burgess IV278199f2016-04-12 01:05:35 +00001369AttrBuilder &AttrBuilder::addAllocSizeAttr(unsigned ElemSize,
1370 const Optional<unsigned> &NumElems) {
1371 return addAllocSizeAttrFromRawRepr(packAllocSizeArgs(ElemSize, NumElems));
1372}
1373
1374AttrBuilder &AttrBuilder::addAllocSizeAttrFromRawRepr(uint64_t RawArgs) {
1375 // (0, 0) is our "not present" value, so we need to check for it here.
1376 assert(RawArgs && "Invalid allocsize arguments -- given allocsize(0, 0)");
1377
1378 Attrs[Attribute::AllocSize] = true;
1379 // Reuse existing machinery to store this as a single 64-bit integer so we can
1380 // save a few bytes over using a pair<unsigned, Optional<unsigned>>.
1381 AllocSizeArgs = RawArgs;
1382 return *this;
1383}
1384
Bill Wendlinge2614922013-02-06 01:16:00 +00001385AttrBuilder &AttrBuilder::merge(const AttrBuilder &B) {
1386 // FIXME: What if both have alignments, but they don't match?!
1387 if (!Alignment)
1388 Alignment = B.Alignment;
1389
1390 if (!StackAlignment)
1391 StackAlignment = B.StackAlignment;
1392
Hal Finkelb0407ba2014-07-18 15:51:28 +00001393 if (!DerefBytes)
1394 DerefBytes = B.DerefBytes;
1395
Pete Cooperd2a44612015-05-06 23:19:43 +00001396 if (!DerefOrNullBytes)
1397 DerefOrNullBytes = B.DerefOrNullBytes;
1398
George Burgess IV278199f2016-04-12 01:05:35 +00001399 if (!AllocSizeArgs)
1400 AllocSizeArgs = B.AllocSizeArgs;
1401
Benjamin Kramer45e7d532013-02-16 19:13:18 +00001402 Attrs |= B.Attrs;
Bill Wendlinge2614922013-02-06 01:16:00 +00001403
Pete Cooperd2a44612015-05-06 23:19:43 +00001404 for (auto I : B.td_attrs())
1405 TargetDepAttrs[I.first] = I.second;
Bill Wendlinge2614922013-02-06 01:16:00 +00001406
1407 return *this;
1408}
1409
Pete Cooperd2a44612015-05-06 23:19:43 +00001410AttrBuilder &AttrBuilder::remove(const AttrBuilder &B) {
1411 // FIXME: What if both have alignments, but they don't match?!
1412 if (B.Alignment)
1413 Alignment = 0;
1414
1415 if (B.StackAlignment)
1416 StackAlignment = 0;
1417
1418 if (B.DerefBytes)
1419 DerefBytes = 0;
1420
1421 if (B.DerefOrNullBytes)
1422 DerefOrNullBytes = 0;
1423
George Burgess IV278199f2016-04-12 01:05:35 +00001424 if (B.AllocSizeArgs)
1425 AllocSizeArgs = 0;
1426
Pete Cooperd2a44612015-05-06 23:19:43 +00001427 Attrs &= ~B.Attrs;
1428
1429 for (auto I : B.td_attrs())
1430 TargetDepAttrs.erase(I.first);
1431
1432 return *this;
1433}
1434
1435bool AttrBuilder::overlaps(const AttrBuilder &B) const {
1436 // First check if any of the target independent attributes overlap.
1437 if ((Attrs & B.Attrs).any())
1438 return true;
1439
1440 // Then check if any target dependent ones do.
Sean Silva9011aca2017-02-22 06:34:04 +00001441 for (const auto &I : td_attrs())
Pete Cooperd2a44612015-05-06 23:19:43 +00001442 if (B.contains(I.first))
1443 return true;
1444
1445 return false;
1446}
1447
Bill Wendling4b001442013-02-06 01:33:42 +00001448bool AttrBuilder::contains(StringRef A) const {
1449 return TargetDepAttrs.find(A) != TargetDepAttrs.end();
1450}
1451
Bill Wendling50d27842012-10-15 20:35:56 +00001452bool AttrBuilder::hasAttributes() const {
Benjamin Kramereaf706b2013-02-18 12:09:51 +00001453 return !Attrs.none() || !TargetDepAttrs.empty();
Bill Wendlingc6daefa2012-10-08 23:27:46 +00001454}
Bill Wendling9ac69f92013-01-04 20:54:35 +00001455
Reid Klecknerb5180542017-03-21 16:57:19 +00001456bool AttrBuilder::hasAttributes(AttributeList A, uint64_t Index) const {
Bill Wendling211316c2013-04-18 20:17:28 +00001457 unsigned Slot = ~0U;
Bill Wendling9ca01da2013-02-02 00:42:06 +00001458 for (unsigned I = 0, E = A.getNumSlots(); I != E; ++I)
1459 if (A.getSlotIndex(I) == Index) {
Bill Wendling211316c2013-04-18 20:17:28 +00001460 Slot = I;
Bill Wendling9ca01da2013-02-02 00:42:06 +00001461 break;
1462 }
1463
Bill Wendling211316c2013-04-18 20:17:28 +00001464 assert(Slot != ~0U && "Couldn't find the index!");
Bill Wendling9ca01da2013-02-02 00:42:06 +00001465
Reid Klecknerb5180542017-03-21 16:57:19 +00001466 for (AttributeList::iterator I = A.begin(Slot), E = A.end(Slot); I != E;
1467 ++I) {
Bill Wendling7cde51d2013-02-12 07:56:49 +00001468 Attribute Attr = *I;
Hal Finkele15442c2014-07-18 06:51:55 +00001469 if (Attr.isEnumAttribute() || Attr.isIntAttribute()) {
Benjamin Kramereaf706b2013-02-18 12:09:51 +00001470 if (Attrs[I->getKindAsEnum()])
Bill Wendling7cde51d2013-02-12 07:56:49 +00001471 return true;
1472 } else {
1473 assert(Attr.isStringAttribute() && "Invalid attribute kind!");
1474 return TargetDepAttrs.find(Attr.getKindAsString())!=TargetDepAttrs.end();
1475 }
1476 }
Bill Wendling9ca01da2013-02-02 00:42:06 +00001477
1478 return false;
Bill Wendling70f39172012-10-09 00:01:21 +00001479}
Bill Wendling9ac69f92013-01-04 20:54:35 +00001480
Bill Wendling50d27842012-10-15 20:35:56 +00001481bool AttrBuilder::hasAlignmentAttr() const {
Bill Wendlingcd330342013-01-04 23:27:34 +00001482 return Alignment != 0;
Bill Wendlingc6daefa2012-10-08 23:27:46 +00001483}
1484
Bill Wendlingd509a662013-01-29 00:34:06 +00001485bool AttrBuilder::operator==(const AttrBuilder &B) {
Benjamin Kramer45e7d532013-02-16 19:13:18 +00001486 if (Attrs != B.Attrs)
1487 return false;
Bill Wendling4b001442013-02-06 01:33:42 +00001488
1489 for (td_const_iterator I = TargetDepAttrs.begin(),
1490 E = TargetDepAttrs.end(); I != E; ++I)
1491 if (B.TargetDepAttrs.find(I->first) == B.TargetDepAttrs.end())
1492 return false;
1493
Hal Finkelb0407ba2014-07-18 15:51:28 +00001494 return Alignment == B.Alignment && StackAlignment == B.StackAlignment &&
1495 DerefBytes == B.DerefBytes;
Bill Wendlingd509a662013-01-29 00:34:06 +00001496}
1497
Bill Wendling57625a42013-01-25 23:09:36 +00001498//===----------------------------------------------------------------------===//
1499// AttributeFuncs Function Defintions
1500//===----------------------------------------------------------------------===//
1501
Bill Wendlingc79cdff2013-02-01 01:04:27 +00001502/// \brief Which attributes cannot be applied to a type.
Craig Toppere3dcce92015-08-01 22:20:21 +00001503AttrBuilder AttributeFuncs::typeIncompatible(Type *Ty) {
Bill Wendling57625a42013-01-25 23:09:36 +00001504 AttrBuilder Incompatible;
1505
1506 if (!Ty->isIntegerTy())
1507 // Attribute that only apply to integers.
1508 Incompatible.addAttribute(Attribute::SExt)
1509 .addAttribute(Attribute::ZExt);
1510
1511 if (!Ty->isPointerTy())
1512 // Attribute that only apply to pointers.
1513 Incompatible.addAttribute(Attribute::ByVal)
1514 .addAttribute(Attribute::Nest)
1515 .addAttribute(Attribute::NoAlias)
1516 .addAttribute(Attribute::NoCapture)
Nick Lewyckyd52b1522014-05-20 01:23:40 +00001517 .addAttribute(Attribute::NonNull)
Hal Finkelb0407ba2014-07-18 15:51:28 +00001518 .addDereferenceableAttr(1) // the int here is ignored
Sanjoy Das31ea6d12015-04-16 20:29:50 +00001519 .addDereferenceableOrNullAttr(1) // the int here is ignored
Nick Lewyckyc2ec0722013-07-06 00:29:58 +00001520 .addAttribute(Attribute::ReadNone)
1521 .addAttribute(Attribute::ReadOnly)
Reid Klecknera534a382013-12-19 02:14:12 +00001522 .addAttribute(Attribute::StructRet)
1523 .addAttribute(Attribute::InAlloca);
Bill Wendling57625a42013-01-25 23:09:36 +00001524
Pete Cooper2777d8872015-05-06 23:19:56 +00001525 return Incompatible;
Bill Wendling57625a42013-01-25 23:09:36 +00001526}
Akira Hatanaka1cb242e2015-12-22 23:57:37 +00001527
1528template<typename AttrClass>
1529static bool isEqual(const Function &Caller, const Function &Callee) {
1530 return Caller.getFnAttribute(AttrClass::getKind()) ==
1531 Callee.getFnAttribute(AttrClass::getKind());
1532}
1533
1534/// \brief Compute the logical AND of the attributes of the caller and the
1535/// callee.
1536///
1537/// This function sets the caller's attribute to false if the callee's attribute
1538/// is false.
1539template<typename AttrClass>
1540static void setAND(Function &Caller, const Function &Callee) {
1541 if (AttrClass::isSet(Caller, AttrClass::getKind()) &&
1542 !AttrClass::isSet(Callee, AttrClass::getKind()))
1543 AttrClass::set(Caller, AttrClass::getKind(), false);
1544}
1545
1546/// \brief Compute the logical OR of the attributes of the caller and the
1547/// callee.
1548///
1549/// This function sets the caller's attribute to true if the callee's attribute
1550/// is true.
1551template<typename AttrClass>
1552static void setOR(Function &Caller, const Function &Callee) {
1553 if (!AttrClass::isSet(Caller, AttrClass::getKind()) &&
1554 AttrClass::isSet(Callee, AttrClass::getKind()))
1555 AttrClass::set(Caller, AttrClass::getKind(), true);
1556}
1557
1558/// \brief If the inlined function had a higher stack protection level than the
1559/// calling function, then bump up the caller's stack protection level.
1560static void adjustCallerSSPLevel(Function &Caller, const Function &Callee) {
1561 // If upgrading the SSP attribute, clear out the old SSP Attributes first.
1562 // Having multiple SSP attributes doesn't actually hurt, but it adds useless
1563 // clutter to the IR.
1564 AttrBuilder B;
1565 B.addAttribute(Attribute::StackProtect)
1566 .addAttribute(Attribute::StackProtectStrong)
1567 .addAttribute(Attribute::StackProtectReq);
Reid Klecknerb5180542017-03-21 16:57:19 +00001568 AttributeList OldSSPAttr =
1569 AttributeList::get(Caller.getContext(), AttributeList::FunctionIndex, B);
Akira Hatanaka1cb242e2015-12-22 23:57:37 +00001570
Evgeniy Stepanovf17120a2016-04-11 22:27:48 +00001571 if (Callee.hasFnAttribute(Attribute::StackProtectReq)) {
Reid Klecknerb5180542017-03-21 16:57:19 +00001572 Caller.removeAttributes(AttributeList::FunctionIndex, OldSSPAttr);
Akira Hatanaka1cb242e2015-12-22 23:57:37 +00001573 Caller.addFnAttr(Attribute::StackProtectReq);
1574 } else if (Callee.hasFnAttribute(Attribute::StackProtectStrong) &&
Akira Hatanaka1cb242e2015-12-22 23:57:37 +00001575 !Caller.hasFnAttribute(Attribute::StackProtectReq)) {
Reid Klecknerb5180542017-03-21 16:57:19 +00001576 Caller.removeAttributes(AttributeList::FunctionIndex, OldSSPAttr);
Akira Hatanaka1cb242e2015-12-22 23:57:37 +00001577 Caller.addFnAttr(Attribute::StackProtectStrong);
1578 } else if (Callee.hasFnAttribute(Attribute::StackProtect) &&
Akira Hatanaka1cb242e2015-12-22 23:57:37 +00001579 !Caller.hasFnAttribute(Attribute::StackProtectReq) &&
1580 !Caller.hasFnAttribute(Attribute::StackProtectStrong))
1581 Caller.addFnAttr(Attribute::StackProtect);
1582}
1583
1584#define GET_ATTR_COMPAT_FUNC
1585#include "AttributesCompatFunc.inc"
1586
1587bool AttributeFuncs::areInlineCompatible(const Function &Caller,
1588 const Function &Callee) {
1589 return hasCompatibleFnAttrs(Caller, Callee);
1590}
1591
Akira Hatanaka1cb242e2015-12-22 23:57:37 +00001592void AttributeFuncs::mergeAttributesForInlining(Function &Caller,
1593 const Function &Callee) {
1594 mergeFnAttrs(Caller, Callee);
1595}