blob: c2759849b6067a84da56ecff405a82c22b5999e5 [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"
Eugene Zelenkodeaf6952017-02-17 00:00:09 +000017#include "AttributeSetNode.h"
Bill Wendlinge38b8042012-09-26 21:07:29 +000018#include "LLVMContextImpl.h"
Eugene Zelenkodeaf6952017-02-17 00:00:09 +000019#include "llvm/ADT/ArrayRef.h"
20#include "llvm/ADT/FoldingSet.h"
21#include "llvm/ADT/Optional.h"
22#include "llvm/ADT/SmallVector.h"
Benjamin Kramer502b9e12014-04-12 16:15:53 +000023#include "llvm/ADT/STLExtras.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000024#include "llvm/ADT/StringExtras.h"
Eugene Zelenkodeaf6952017-02-17 00:00:09 +000025#include "llvm/ADT/StringRef.h"
26#include "llvm/ADT/Twine.h"
27#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
Bill Wendlingbce7b972013-02-13 08:42:21 +0000530bool AttributeSetNode::hasAttribute(StringRef Kind) const {
Benjamin Krameraf28e7d2016-06-26 14:10:56 +0000531 for (Attribute I : *this)
532 if (I.hasAttribute(Kind))
Bill Wendlingbce7b972013-02-13 08:42:21 +0000533 return true;
534 return false;
535}
536
537Attribute AttributeSetNode::getAttribute(Attribute::AttrKind Kind) const {
Matthias Braun31eeb76f2016-01-29 22:25:13 +0000538 if (hasAttribute(Kind)) {
Benjamin Krameraf28e7d2016-06-26 14:10:56 +0000539 for (Attribute I : *this)
540 if (I.hasAttribute(Kind))
541 return I;
Matthias Braun31eeb76f2016-01-29 22:25:13 +0000542 }
Bill Wendlingbce7b972013-02-13 08:42:21 +0000543 return Attribute();
544}
545
546Attribute AttributeSetNode::getAttribute(StringRef Kind) const {
Benjamin Krameraf28e7d2016-06-26 14:10:56 +0000547 for (Attribute I : *this)
548 if (I.hasAttribute(Kind))
549 return I;
Bill Wendlingbce7b972013-02-13 08:42:21 +0000550 return Attribute();
551}
552
Bill Wendlingf2955aa2013-01-29 03:20:31 +0000553unsigned AttributeSetNode::getAlignment() const {
Benjamin Krameraf28e7d2016-06-26 14:10:56 +0000554 for (Attribute I : *this)
555 if (I.hasAttribute(Attribute::Alignment))
556 return I.getAlignment();
Bill Wendlingf2955aa2013-01-29 03:20:31 +0000557 return 0;
558}
559
560unsigned AttributeSetNode::getStackAlignment() const {
Benjamin Krameraf28e7d2016-06-26 14:10:56 +0000561 for (Attribute I : *this)
562 if (I.hasAttribute(Attribute::StackAlignment))
563 return I.getStackAlignment();
Bill Wendlingf2955aa2013-01-29 03:20:31 +0000564 return 0;
565}
566
Hal Finkelb0407ba2014-07-18 15:51:28 +0000567uint64_t AttributeSetNode::getDereferenceableBytes() const {
Benjamin Krameraf28e7d2016-06-26 14:10:56 +0000568 for (Attribute I : *this)
569 if (I.hasAttribute(Attribute::Dereferenceable))
570 return I.getDereferenceableBytes();
Hal Finkelb0407ba2014-07-18 15:51:28 +0000571 return 0;
572}
573
Sanjoy Das06cf33f2015-05-06 17:41:54 +0000574uint64_t AttributeSetNode::getDereferenceableOrNullBytes() const {
Benjamin Krameraf28e7d2016-06-26 14:10:56 +0000575 for (Attribute I : *this)
576 if (I.hasAttribute(Attribute::DereferenceableOrNull))
577 return I.getDereferenceableOrNullBytes();
Sanjoy Das06cf33f2015-05-06 17:41:54 +0000578 return 0;
579}
580
George Burgess IV278199f2016-04-12 01:05:35 +0000581std::pair<unsigned, Optional<unsigned>>
582AttributeSetNode::getAllocSizeArgs() const {
Benjamin Krameraf28e7d2016-06-26 14:10:56 +0000583 for (Attribute I : *this)
584 if (I.hasAttribute(Attribute::AllocSize))
585 return I.getAllocSizeArgs();
George Burgess IV278199f2016-04-12 01:05:35 +0000586 return std::make_pair(0, 0);
587}
588
Rafael Espindolacbf5a7a2013-05-01 13:07:03 +0000589std::string AttributeSetNode::getAsString(bool InAttrGrp) const {
Benjamin Kramer0baf8f42013-04-19 11:43:21 +0000590 std::string Str;
Benjamin Kramer741146b2013-07-11 12:13:16 +0000591 for (iterator I = begin(), E = end(); I != E; ++I) {
592 if (I != begin())
Rafael Espindolacbf5a7a2013-05-01 13:07:03 +0000593 Str += ' ';
594 Str += I->getAsString(InAttrGrp);
Bill Wendlingf2955aa2013-01-29 03:20:31 +0000595 }
596 return Str;
597}
598
Bill Wendlingd509a662013-01-29 00:34:06 +0000599//===----------------------------------------------------------------------===//
Reid Klecknerb5180542017-03-21 16:57:19 +0000600// AttributeListImpl Definition
Bill Wendlingd509a662013-01-29 00:34:06 +0000601//===----------------------------------------------------------------------===//
602
Matthias Braun8c209aa2017-01-28 02:02:38 +0000603#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
Reid Klecknerb5180542017-03-21 16:57:19 +0000604LLVM_DUMP_METHOD void AttributeListImpl::dump() const {
605 AttributeList(const_cast<AttributeListImpl *>(this)).dump();
Peter Collingbourneabca2ec2013-08-02 22:34:30 +0000606}
Matthias Braun8c209aa2017-01-28 02:02:38 +0000607#endif
Peter Collingbourneabca2ec2013-08-02 22:34:30 +0000608
Bill Wendlingd509a662013-01-29 00:34:06 +0000609//===----------------------------------------------------------------------===//
Reid Klecknerb5180542017-03-21 16:57:19 +0000610// AttributeList Construction and Mutation Methods
Bill Wendlingd509a662013-01-29 00:34:06 +0000611//===----------------------------------------------------------------------===//
612
Reid Klecknerb5180542017-03-21 16:57:19 +0000613AttributeList AttributeList::getImpl(
614 LLVMContext &C, ArrayRef<std::pair<unsigned, AttributeSetNode *>> Attrs) {
Bill Wendlingd509a662013-01-29 00:34:06 +0000615 LLVMContextImpl *pImpl = C.pImpl;
616 FoldingSetNodeID ID;
Reid Klecknerb5180542017-03-21 16:57:19 +0000617 AttributeListImpl::Profile(ID, Attrs);
Bill Wendlingd509a662013-01-29 00:34:06 +0000618
619 void *InsertPoint;
Reid Klecknerb5180542017-03-21 16:57:19 +0000620 AttributeListImpl *PA =
621 pImpl->AttrsLists.FindNodeOrInsertPos(ID, InsertPoint);
Bill Wendlingd509a662013-01-29 00:34:06 +0000622
623 // If we didn't find any existing attributes of the same shape then
624 // create a new one and insert it.
625 if (!PA) {
Reid Klecknerb5180542017-03-21 16:57:19 +0000626 // Coallocate entries after the AttributeListImpl itself.
James Y Knightaa365b22015-08-05 22:57:34 +0000627 void *Mem = ::operator new(
Reid Klecknerb5180542017-03-21 16:57:19 +0000628 AttributeListImpl::totalSizeToAlloc<IndexAttrPair>(Attrs.size()));
629 PA = new (Mem) AttributeListImpl(C, Attrs);
Bill Wendlingd509a662013-01-29 00:34:06 +0000630 pImpl->AttrsLists.InsertNode(PA, InsertPoint);
631 }
632
633 // Return the AttributesList that we found or created.
Reid Klecknerb5180542017-03-21 16:57:19 +0000634 return AttributeList(PA);
Bill Wendlingd509a662013-01-29 00:34:06 +0000635}
636
Reid Klecknerb5180542017-03-21 16:57:19 +0000637AttributeList
638AttributeList::get(LLVMContext &C,
639 ArrayRef<std::pair<unsigned, Attribute>> Attrs) {
Bill Wendlingd509a662013-01-29 00:34:06 +0000640 // If there are no attributes then return a null AttributesList pointer.
641 if (Attrs.empty())
Reid Klecknerb5180542017-03-21 16:57:19 +0000642 return AttributeList();
Bill Wendlingd509a662013-01-29 00:34:06 +0000643
Craig Toppere30b8ca2016-01-03 19:43:40 +0000644 assert(std::is_sorted(Attrs.begin(), Attrs.end(),
645 [](const std::pair<unsigned, Attribute> &LHS,
646 const std::pair<unsigned, Attribute> &RHS) {
647 return LHS.first < RHS.first;
648 }) && "Misordered Attributes list!");
David Majnemer0a16c222016-08-11 21:15:00 +0000649 assert(none_of(Attrs,
650 [](const std::pair<unsigned, Attribute> &Pair) {
651 return Pair.second.hasAttribute(Attribute::None);
652 }) &&
653 "Pointless attribute!");
Bill Wendlingd509a662013-01-29 00:34:06 +0000654
655 // Create a vector if (unsigned, AttributeSetNode*) pairs from the attributes
656 // list.
657 SmallVector<std::pair<unsigned, AttributeSetNode*>, 8> AttrPairVec;
Eugene Zelenkodeaf6952017-02-17 00:00:09 +0000658 for (ArrayRef<std::pair<unsigned, Attribute>>::iterator I = Attrs.begin(),
Bill Wendlingd509a662013-01-29 00:34:06 +0000659 E = Attrs.end(); I != E; ) {
660 unsigned Index = I->first;
661 SmallVector<Attribute, 4> AttrVec;
NAKAMURA Takumif05d2f22013-01-29 15:18:16 +0000662 while (I != E && I->first == Index) {
Bill Wendlingd509a662013-01-29 00:34:06 +0000663 AttrVec.push_back(I->second);
664 ++I;
665 }
666
David Majnemer0a16c222016-08-11 21:15:00 +0000667 AttrPairVec.emplace_back(Index, AttributeSetNode::get(C, AttrVec));
Bill Wendlingd509a662013-01-29 00:34:06 +0000668 }
669
670 return getImpl(C, AttrPairVec);
671}
672
Reid Klecknerb5180542017-03-21 16:57:19 +0000673AttributeList
674AttributeList::get(LLVMContext &C,
675 ArrayRef<std::pair<unsigned, AttributeSetNode *>> Attrs) {
Bill Wendlingd509a662013-01-29 00:34:06 +0000676 // If there are no attributes then return a null AttributesList pointer.
677 if (Attrs.empty())
Reid Klecknerb5180542017-03-21 16:57:19 +0000678 return AttributeList();
Bill Wendlingd509a662013-01-29 00:34:06 +0000679
680 return getImpl(C, Attrs);
681}
682
Reid Klecknerb5180542017-03-21 16:57:19 +0000683AttributeList AttributeList::get(LLVMContext &C, unsigned Index,
684 const AttrBuilder &B) {
Bill Wendlingd509a662013-01-29 00:34:06 +0000685 if (!B.hasAttributes())
Reid Klecknerb5180542017-03-21 16:57:19 +0000686 return AttributeList();
Bill Wendlingf7134812013-01-29 01:02:03 +0000687
Bill Wendlingae89a0f2013-02-05 23:48:36 +0000688 // Add target-independent attributes.
Bill Wendlingf7134812013-01-29 01:02:03 +0000689 SmallVector<std::pair<unsigned, Attribute>, 8> Attrs;
Benjamin Kramer45e7d532013-02-16 19:13:18 +0000690 for (Attribute::AttrKind Kind = Attribute::None;
Benjamin Kramer6f37dac2013-02-16 19:22:28 +0000691 Kind != Attribute::EndAttrKinds; Kind = Attribute::AttrKind(Kind + 1)) {
Benjamin Kramer45e7d532013-02-16 19:13:18 +0000692 if (!B.contains(Kind))
693 continue;
694
George Burgess IV500d3032015-12-16 05:21:02 +0000695 Attribute Attr;
696 switch (Kind) {
697 case Attribute::Alignment:
698 Attr = Attribute::getWithAlignment(C, B.getAlignment());
699 break;
700 case Attribute::StackAlignment:
701 Attr = Attribute::getWithStackAlignment(C, B.getStackAlignment());
702 break;
703 case Attribute::Dereferenceable:
704 Attr = Attribute::getWithDereferenceableBytes(
705 C, B.getDereferenceableBytes());
706 break;
707 case Attribute::DereferenceableOrNull:
708 Attr = Attribute::getWithDereferenceableOrNullBytes(
709 C, B.getDereferenceableOrNullBytes());
710 break;
George Burgess IV278199f2016-04-12 01:05:35 +0000711 case Attribute::AllocSize: {
712 auto A = B.getAllocSizeArgs();
713 Attr = Attribute::getWithAllocSizeArgs(C, A.first, A.second);
714 break;
715 }
George Burgess IV500d3032015-12-16 05:21:02 +0000716 default:
717 Attr = Attribute::get(C, Kind);
718 }
David Majnemer0a16c222016-08-11 21:15:00 +0000719 Attrs.emplace_back(Index, Attr);
Bill Wendlingf7134812013-01-29 01:02:03 +0000720 }
721
Bill Wendlingae89a0f2013-02-05 23:48:36 +0000722 // Add target-dependent (string) attributes.
Benjamin Kramerea76b6f2016-06-12 19:02:34 +0000723 for (const auto &TDA : B.td_attrs())
David Majnemer0a16c222016-08-11 21:15:00 +0000724 Attrs.emplace_back(Index, Attribute::get(C, TDA.first, TDA.second));
Bill Wendlingae89a0f2013-02-05 23:48:36 +0000725
Bill Wendlingf7134812013-01-29 01:02:03 +0000726 return get(C, Attrs);
Bill Wendlingd509a662013-01-29 00:34:06 +0000727}
728
Reid Klecknerb5180542017-03-21 16:57:19 +0000729AttributeList AttributeList::get(LLVMContext &C, unsigned Index,
730 ArrayRef<Attribute::AttrKind> Kinds) {
Bill Wendlingd509a662013-01-29 00:34:06 +0000731 SmallVector<std::pair<unsigned, Attribute>, 8> Attrs;
Amaury Sechet392638d2016-06-14 20:27:35 +0000732 for (Attribute::AttrKind K : Kinds)
David Majnemer0a16c222016-08-11 21:15:00 +0000733 Attrs.emplace_back(Index, Attribute::get(C, K));
Bill Wendlingd509a662013-01-29 00:34:06 +0000734 return get(C, Attrs);
735}
736
Reid Klecknerb5180542017-03-21 16:57:19 +0000737AttributeList AttributeList::get(LLVMContext &C, unsigned Index,
738 ArrayRef<StringRef> Kinds) {
Amaury Sechet6100adf2016-06-15 17:50:39 +0000739 SmallVector<std::pair<unsigned, Attribute>, 8> Attrs;
740 for (StringRef K : Kinds)
David Majnemer0a16c222016-08-11 21:15:00 +0000741 Attrs.emplace_back(Index, Attribute::get(C, K));
Amaury Sechet6100adf2016-06-15 17:50:39 +0000742 return get(C, Attrs);
743}
744
Reid Klecknerb5180542017-03-21 16:57:19 +0000745AttributeList AttributeList::get(LLVMContext &C,
746 ArrayRef<AttributeList> Attrs) {
747 if (Attrs.empty())
748 return AttributeList();
Peter Collingbournebd6c7452013-08-02 22:29:40 +0000749 if (Attrs.size() == 1) return Attrs[0];
Bill Wendlingd509a662013-01-29 00:34:06 +0000750
751 SmallVector<std::pair<unsigned, AttributeSetNode*>, 8> AttrNodeVec;
Reid Klecknerb5180542017-03-21 16:57:19 +0000752 AttributeListImpl *A0 = Attrs[0].pImpl;
Peter Collingbournebd6c7452013-08-02 22:29:40 +0000753 if (A0)
Amaury Sechet24c84fd2016-06-14 22:04:16 +0000754 AttrNodeVec.append(A0->getNode(0), A0->getNode(A0->getNumSlots()));
Peter Collingbournebd6c7452013-08-02 22:29:40 +0000755 // Copy all attributes from Attrs into AttrNodeVec while keeping AttrNodeVec
756 // ordered by index. Because we know that each list in Attrs is ordered by
757 // index we only need to merge each successive list in rather than doing a
758 // full sort.
759 for (unsigned I = 1, E = Attrs.size(); I != E; ++I) {
Reid Klecknerb5180542017-03-21 16:57:19 +0000760 AttributeListImpl *AS = Attrs[I].pImpl;
Benjamin Kramer741146b2013-07-11 12:13:16 +0000761 if (!AS) continue;
Peter Collingbournebd6c7452013-08-02 22:29:40 +0000762 SmallVector<std::pair<unsigned, AttributeSetNode *>, 8>::iterator
763 ANVI = AttrNodeVec.begin(), ANVE;
James Y Knightaa365b22015-08-05 22:57:34 +0000764 for (const IndexAttrPair *AI = AS->getNode(0),
Amaury Sechet24c84fd2016-06-14 22:04:16 +0000765 *AE = AS->getNode(AS->getNumSlots());
Peter Collingbournebd6c7452013-08-02 22:29:40 +0000766 AI != AE; ++AI) {
767 ANVE = AttrNodeVec.end();
768 while (ANVI != ANVE && ANVI->first <= AI->first)
769 ++ANVI;
770 ANVI = AttrNodeVec.insert(ANVI, *AI) + 1;
771 }
Bill Wendlingd509a662013-01-29 00:34:06 +0000772 }
773
774 return getImpl(C, AttrNodeVec);
775}
776
Reid Klecknerb5180542017-03-21 16:57:19 +0000777AttributeList AttributeList::addAttribute(LLVMContext &C, unsigned Index,
778 Attribute::AttrKind Kind) const {
Amaury Sechet392638d2016-06-14 20:27:35 +0000779 if (hasAttribute(Index, Kind)) return *this;
Reid Klecknerb5180542017-03-21 16:57:19 +0000780 return addAttributes(C, Index, AttributeList::get(C, Index, Kind));
Reed Kotler795c7b42013-03-13 20:20:08 +0000781}
782
Reid Klecknerb5180542017-03-21 16:57:19 +0000783AttributeList AttributeList::addAttribute(LLVMContext &C, unsigned Index,
784 StringRef Kind,
785 StringRef Value) const {
Eugene Zelenkodeaf6952017-02-17 00:00:09 +0000786 AttrBuilder B;
Bill Wendling3b2f6102013-07-25 18:34:24 +0000787 B.addAttribute(Kind, Value);
Reid Klecknerb5180542017-03-21 16:57:19 +0000788 return addAttributes(C, Index, AttributeList::get(C, Index, B));
Bill Wendling3b2f6102013-07-25 18:34:24 +0000789}
790
Reid Klecknerb5180542017-03-21 16:57:19 +0000791AttributeList AttributeList::addAttribute(LLVMContext &C,
792 ArrayRef<unsigned> Indices,
793 Attribute A) const {
Amaury Sechet24c84fd2016-06-14 22:04:16 +0000794 unsigned I = 0, E = pImpl ? pImpl->getNumSlots() : 0;
Akira Hatanaka237916b2015-12-02 06:58:49 +0000795 auto IdxI = Indices.begin(), IdxE = Indices.end();
Reid Klecknerb5180542017-03-21 16:57:19 +0000796 SmallVector<AttributeList, 4> AttrSet;
Akira Hatanaka237916b2015-12-02 06:58:49 +0000797
798 while (I != E && IdxI != IdxE) {
799 if (getSlotIndex(I) < *IdxI)
800 AttrSet.emplace_back(getSlotAttributes(I++));
801 else if (getSlotIndex(I) > *IdxI)
Reid Klecknerb5180542017-03-21 16:57:19 +0000802 AttrSet.emplace_back(AttributeList::get(C, std::make_pair(*IdxI++, A)));
Akira Hatanaka237916b2015-12-02 06:58:49 +0000803 else {
804 AttrBuilder B(getSlotAttributes(I), *IdxI);
805 B.addAttribute(A);
Reid Klecknerb5180542017-03-21 16:57:19 +0000806 AttrSet.emplace_back(AttributeList::get(C, *IdxI, B));
Akira Hatanaka237916b2015-12-02 06:58:49 +0000807 ++I;
808 ++IdxI;
809 }
810 }
811
812 while (I != E)
813 AttrSet.emplace_back(getSlotAttributes(I++));
814
815 while (IdxI != IdxE)
Reid Klecknerb5180542017-03-21 16:57:19 +0000816 AttrSet.emplace_back(AttributeList::get(C, std::make_pair(*IdxI++, A)));
Akira Hatanaka237916b2015-12-02 06:58:49 +0000817
818 return get(C, AttrSet);
819}
820
Reid Klecknerb5180542017-03-21 16:57:19 +0000821AttributeList AttributeList::addAttributes(LLVMContext &C, unsigned Index,
822 AttributeList Attrs) const {
Bill Wendlingd509a662013-01-29 00:34:06 +0000823 if (!pImpl) return Attrs;
824 if (!Attrs.pImpl) return *this;
825
826#ifndef NDEBUG
827 // FIXME it is not obvious how this should work for alignment. For now, say
828 // we can't change a known alignment.
Bill Wendling211316c2013-04-18 20:17:28 +0000829 unsigned OldAlign = getParamAlignment(Index);
830 unsigned NewAlign = Attrs.getParamAlignment(Index);
Bill Wendlingd509a662013-01-29 00:34:06 +0000831 assert((!OldAlign || !NewAlign || OldAlign == NewAlign) &&
832 "Attempt to change alignment!");
833#endif
834
835 // Add the attribute slots before the one we're trying to add.
Reid Klecknerb5180542017-03-21 16:57:19 +0000836 SmallVector<AttributeList, 4> AttrSet;
Amaury Sechet24c84fd2016-06-14 22:04:16 +0000837 uint64_t NumAttrs = pImpl->getNumSlots();
Reid Klecknerb5180542017-03-21 16:57:19 +0000838 AttributeList AS;
Bill Wendlingd509a662013-01-29 00:34:06 +0000839 uint64_t LastIndex = 0;
840 for (unsigned I = 0, E = NumAttrs; I != E; ++I) {
Bill Wendling211316c2013-04-18 20:17:28 +0000841 if (getSlotIndex(I) >= Index) {
842 if (getSlotIndex(I) == Index) AS = getSlotAttributes(LastIndex++);
Bill Wendlingd509a662013-01-29 00:34:06 +0000843 break;
844 }
845 LastIndex = I + 1;
846 AttrSet.push_back(getSlotAttributes(I));
847 }
848
849 // Now add the attribute into the correct slot. There may already be an
Reid Klecknerb5180542017-03-21 16:57:19 +0000850 // AttributeList there.
Bill Wendling211316c2013-04-18 20:17:28 +0000851 AttrBuilder B(AS, Index);
Bill Wendlingd509a662013-01-29 00:34:06 +0000852
Amaury Sechet24c84fd2016-06-14 22:04:16 +0000853 for (unsigned I = 0, E = Attrs.pImpl->getNumSlots(); I != E; ++I)
Bill Wendling211316c2013-04-18 20:17:28 +0000854 if (Attrs.getSlotIndex(I) == Index) {
Reid Klecknerb5180542017-03-21 16:57:19 +0000855 for (AttributeListImpl::iterator II = Attrs.pImpl->begin(I),
856 IE = Attrs.pImpl->end(I);
857 II != IE; ++II)
Bill Wendling23804da2013-01-31 23:38:01 +0000858 B.addAttribute(*II);
Bill Wendlingd509a662013-01-29 00:34:06 +0000859 break;
860 }
861
Reid Klecknerb5180542017-03-21 16:57:19 +0000862 AttrSet.push_back(AttributeList::get(C, Index, B));
Bill Wendlingd509a662013-01-29 00:34:06 +0000863
864 // Add the remaining attribute slots.
865 for (unsigned I = LastIndex, E = NumAttrs; I < E; ++I)
866 AttrSet.push_back(getSlotAttributes(I));
867
868 return get(C, AttrSet);
869}
870
Reid Klecknerb5180542017-03-21 16:57:19 +0000871AttributeList AttributeList::removeAttribute(LLVMContext &C, unsigned Index,
872 Attribute::AttrKind Kind) const {
Amaury Sechet392638d2016-06-14 20:27:35 +0000873 if (!hasAttribute(Index, Kind)) return *this;
Reid Klecknerb5180542017-03-21 16:57:19 +0000874 return removeAttributes(C, Index, AttributeList::get(C, Index, Kind));
Bill Wendlingd509a662013-01-29 00:34:06 +0000875}
876
Reid Klecknerb5180542017-03-21 16:57:19 +0000877AttributeList AttributeList::removeAttribute(LLVMContext &C, unsigned Index,
878 StringRef Kind) const {
Amaury Sechet6100adf2016-06-15 17:50:39 +0000879 if (!hasAttribute(Index, Kind)) return *this;
Reid Klecknerb5180542017-03-21 16:57:19 +0000880 return removeAttributes(C, Index, AttributeList::get(C, Index, Kind));
Amaury Sechet6100adf2016-06-15 17:50:39 +0000881}
882
Reid Klecknerb5180542017-03-21 16:57:19 +0000883AttributeList AttributeList::removeAttributes(LLVMContext &C, unsigned Index,
884 AttributeList Attrs) const {
885 if (!pImpl)
886 return AttributeList();
Bill Wendlingd509a662013-01-29 00:34:06 +0000887 if (!Attrs.pImpl) return *this;
888
Pete Cooper67cf9a72015-11-19 05:56:52 +0000889 // FIXME it is not obvious how this should work for alignment.
890 // For now, say we can't pass in alignment, which no current use does.
891 assert(!Attrs.hasAttribute(Index, Attribute::Alignment) &&
892 "Attempt to change alignment!");
893
Bill Wendlingd509a662013-01-29 00:34:06 +0000894 // Add the attribute slots before the one we're trying to add.
Reid Klecknerb5180542017-03-21 16:57:19 +0000895 SmallVector<AttributeList, 4> AttrSet;
Amaury Sechet24c84fd2016-06-14 22:04:16 +0000896 uint64_t NumAttrs = pImpl->getNumSlots();
Reid Klecknerb5180542017-03-21 16:57:19 +0000897 AttributeList AS;
Bill Wendlingd509a662013-01-29 00:34:06 +0000898 uint64_t LastIndex = 0;
899 for (unsigned I = 0, E = NumAttrs; I != E; ++I) {
Bill Wendling211316c2013-04-18 20:17:28 +0000900 if (getSlotIndex(I) >= Index) {
901 if (getSlotIndex(I) == Index) AS = getSlotAttributes(LastIndex++);
Bill Wendlingd509a662013-01-29 00:34:06 +0000902 break;
903 }
904 LastIndex = I + 1;
905 AttrSet.push_back(getSlotAttributes(I));
906 }
907
Bill Wendlingd2196752013-01-30 23:07:40 +0000908 // Now remove the attribute from the correct slot. There may already be an
Reid Klecknerb5180542017-03-21 16:57:19 +0000909 // AttributeList there.
Bill Wendling211316c2013-04-18 20:17:28 +0000910 AttrBuilder B(AS, Index);
Bill Wendlingd509a662013-01-29 00:34:06 +0000911
Amaury Sechet24c84fd2016-06-14 22:04:16 +0000912 for (unsigned I = 0, E = Attrs.pImpl->getNumSlots(); I != E; ++I)
Bill Wendling211316c2013-04-18 20:17:28 +0000913 if (Attrs.getSlotIndex(I) == Index) {
914 B.removeAttributes(Attrs.pImpl->getSlotAttributes(I), Index);
Bill Wendlingd509a662013-01-29 00:34:06 +0000915 break;
916 }
917
Reid Klecknerb5180542017-03-21 16:57:19 +0000918 AttrSet.push_back(AttributeList::get(C, Index, B));
Bill Wendlingd509a662013-01-29 00:34:06 +0000919
920 // Add the remaining attribute slots.
921 for (unsigned I = LastIndex, E = NumAttrs; I < E; ++I)
922 AttrSet.push_back(getSlotAttributes(I));
923
924 return get(C, AttrSet);
925}
926
Reid Klecknerb5180542017-03-21 16:57:19 +0000927AttributeList AttributeList::removeAttributes(LLVMContext &C, unsigned Index,
928 const AttrBuilder &Attrs) const {
929 if (!pImpl)
930 return AttributeList();
Pete Cooperd2a44612015-05-06 23:19:43 +0000931
932 // FIXME it is not obvious how this should work for alignment.
933 // For now, say we can't pass in alignment, which no current use does.
934 assert(!Attrs.hasAlignmentAttr() && "Attempt to change alignment!");
935
936 // Add the attribute slots before the one we're trying to add.
Reid Klecknerb5180542017-03-21 16:57:19 +0000937 SmallVector<AttributeList, 4> AttrSet;
Amaury Sechet24c84fd2016-06-14 22:04:16 +0000938 uint64_t NumAttrs = pImpl->getNumSlots();
Reid Klecknerb5180542017-03-21 16:57:19 +0000939 AttributeList AS;
Pete Cooperd2a44612015-05-06 23:19:43 +0000940 uint64_t LastIndex = 0;
941 for (unsigned I = 0, E = NumAttrs; I != E; ++I) {
942 if (getSlotIndex(I) >= Index) {
943 if (getSlotIndex(I) == Index) AS = getSlotAttributes(LastIndex++);
944 break;
945 }
946 LastIndex = I + 1;
947 AttrSet.push_back(getSlotAttributes(I));
948 }
949
950 // Now remove the attribute from the correct slot. There may already be an
Reid Klecknerb5180542017-03-21 16:57:19 +0000951 // AttributeList there.
Pete Cooperd2a44612015-05-06 23:19:43 +0000952 AttrBuilder B(AS, Index);
953 B.remove(Attrs);
954
Reid Klecknerb5180542017-03-21 16:57:19 +0000955 AttrSet.push_back(AttributeList::get(C, Index, B));
Pete Cooperd2a44612015-05-06 23:19:43 +0000956
957 // Add the remaining attribute slots.
958 for (unsigned I = LastIndex, E = NumAttrs; I < E; ++I)
959 AttrSet.push_back(getSlotAttributes(I));
960
961 return get(C, AttrSet);
962}
963
Reid Klecknerb5180542017-03-21 16:57:19 +0000964AttributeList AttributeList::addDereferenceableAttr(LLVMContext &C,
965 unsigned Index,
966 uint64_t Bytes) const {
Eugene Zelenkodeaf6952017-02-17 00:00:09 +0000967 AttrBuilder B;
Ramkumar Ramachandra8fcb4982015-02-14 19:37:54 +0000968 B.addDereferenceableAttr(Bytes);
Reid Klecknerb5180542017-03-21 16:57:19 +0000969 return addAttributes(C, Index, AttributeList::get(C, Index, B));
Ramkumar Ramachandra8fcb4982015-02-14 19:37:54 +0000970}
971
Reid Klecknerb5180542017-03-21 16:57:19 +0000972AttributeList
973AttributeList::addDereferenceableOrNullAttr(LLVMContext &C, unsigned Index,
974 uint64_t Bytes) const {
Eugene Zelenkodeaf6952017-02-17 00:00:09 +0000975 AttrBuilder B;
Sanjoy Das31ea6d12015-04-16 20:29:50 +0000976 B.addDereferenceableOrNullAttr(Bytes);
Reid Klecknerb5180542017-03-21 16:57:19 +0000977 return addAttributes(C, Index, AttributeList::get(C, Index, B));
Sanjoy Das31ea6d12015-04-16 20:29:50 +0000978}
979
Reid Klecknerb5180542017-03-21 16:57:19 +0000980AttributeList
981AttributeList::addAllocSizeAttr(LLVMContext &C, unsigned Index,
982 unsigned ElemSizeArg,
983 const Optional<unsigned> &NumElemsArg) {
Eugene Zelenkodeaf6952017-02-17 00:00:09 +0000984 AttrBuilder B;
George Burgess IV278199f2016-04-12 01:05:35 +0000985 B.addAllocSizeAttr(ElemSizeArg, NumElemsArg);
Reid Klecknerb5180542017-03-21 16:57:19 +0000986 return addAttributes(C, Index, AttributeList::get(C, Index, B));
George Burgess IV278199f2016-04-12 01:05:35 +0000987}
988
Bill Wendlingd509a662013-01-29 00:34:06 +0000989//===----------------------------------------------------------------------===//
Reid Klecknerb5180542017-03-21 16:57:19 +0000990// AttributeList Accessor Methods
Bill Wendlingd509a662013-01-29 00:34:06 +0000991//===----------------------------------------------------------------------===//
992
Reid Klecknerb5180542017-03-21 16:57:19 +0000993LLVMContext &AttributeList::getContext() const { return pImpl->getContext(); }
994
995AttributeList AttributeList::getParamAttributes(unsigned Index) const {
996 return pImpl && hasAttributes(Index)
997 ? AttributeList::get(
998 pImpl->getContext(),
999 ArrayRef<std::pair<unsigned, AttributeSetNode *>>(
1000 std::make_pair(Index, getAttributes(Index))))
1001 : AttributeList();
Bill Wendling5d020a32013-02-10 05:00:40 +00001002}
1003
Reid Klecknerb5180542017-03-21 16:57:19 +00001004AttributeList AttributeList::getRetAttributes() const {
1005 return pImpl && hasAttributes(ReturnIndex)
1006 ? AttributeList::get(
1007 pImpl->getContext(),
1008 ArrayRef<std::pair<unsigned, AttributeSetNode *>>(
1009 std::make_pair(ReturnIndex, getAttributes(ReturnIndex))))
1010 : AttributeList();
Bill Wendlingd509a662013-01-29 00:34:06 +00001011}
1012
Reid Klecknerb5180542017-03-21 16:57:19 +00001013AttributeList AttributeList::getFnAttributes() const {
1014 return pImpl && hasAttributes(FunctionIndex)
1015 ? AttributeList::get(
1016 pImpl->getContext(),
1017 ArrayRef<std::pair<unsigned, AttributeSetNode *>>(
1018 std::make_pair(FunctionIndex,
1019 getAttributes(FunctionIndex))))
1020 : AttributeList();
Bill Wendlingd509a662013-01-29 00:34:06 +00001021}
1022
Reid Klecknerb5180542017-03-21 16:57:19 +00001023bool AttributeList::hasAttribute(unsigned Index,
1024 Attribute::AttrKind Kind) const {
Bill Wendlingf2955aa2013-01-29 03:20:31 +00001025 AttributeSetNode *ASN = getAttributes(Index);
George Burgess IV500d3032015-12-16 05:21:02 +00001026 return ASN && ASN->hasAttribute(Kind);
Bill Wendlingd509a662013-01-29 00:34:06 +00001027}
1028
Reid Klecknerb5180542017-03-21 16:57:19 +00001029bool AttributeList::hasAttribute(unsigned Index, StringRef Kind) const {
Bill Wendlingbce7b972013-02-13 08:42:21 +00001030 AttributeSetNode *ASN = getAttributes(Index);
George Burgess IV500d3032015-12-16 05:21:02 +00001031 return ASN && ASN->hasAttribute(Kind);
Bill Wendlingbce7b972013-02-13 08:42:21 +00001032}
1033
Reid Klecknerb5180542017-03-21 16:57:19 +00001034bool AttributeList::hasAttributes(unsigned Index) const {
Bill Wendlingf2955aa2013-01-29 03:20:31 +00001035 AttributeSetNode *ASN = getAttributes(Index);
George Burgess IV500d3032015-12-16 05:21:02 +00001036 return ASN && ASN->hasAttributes();
Bill Wendlingd509a662013-01-29 00:34:06 +00001037}
1038
Reid Klecknerb5180542017-03-21 16:57:19 +00001039bool AttributeList::hasFnAttribute(Attribute::AttrKind Kind) const {
Matthias Braun33282812016-01-29 22:25:19 +00001040 return pImpl && pImpl->hasFnAttribute(Kind);
1041}
1042
Reid Klecknerb5180542017-03-21 16:57:19 +00001043bool AttributeList::hasFnAttribute(StringRef Kind) const {
1044 return hasAttribute(AttributeList::FunctionIndex, Kind);
Amaury Sechet5f04d812016-09-09 04:50:38 +00001045}
1046
Reid Klecknerb5180542017-03-21 16:57:19 +00001047bool AttributeList::hasAttrSomewhere(Attribute::AttrKind Attr,
1048 unsigned *Index) const {
Craig Topperc6207612014-04-09 06:08:46 +00001049 if (!pImpl) return false;
Bill Wendlingd509a662013-01-29 00:34:06 +00001050
Amaury Sechet24c84fd2016-06-14 22:04:16 +00001051 for (unsigned I = 0, E = pImpl->getNumSlots(); I != E; ++I)
Reid Klecknerb5180542017-03-21 16:57:19 +00001052 for (AttributeListImpl::iterator II = pImpl->begin(I), IE = pImpl->end(I);
1053 II != IE; ++II)
Hal Finkele87ad542016-07-10 23:01:32 +00001054 if (II->hasAttribute(Attr)) {
1055 if (Index) *Index = pImpl->getSlotIndex(I);
Bill Wendlingd509a662013-01-29 00:34:06 +00001056 return true;
Hal Finkele87ad542016-07-10 23:01:32 +00001057 }
Bill Wendlingd509a662013-01-29 00:34:06 +00001058
1059 return false;
1060}
1061
Reid Klecknerb5180542017-03-21 16:57:19 +00001062Attribute AttributeList::getAttribute(unsigned Index,
1063 Attribute::AttrKind Kind) const {
Bill Wendlingbce7b972013-02-13 08:42:21 +00001064 AttributeSetNode *ASN = getAttributes(Index);
1065 return ASN ? ASN->getAttribute(Kind) : Attribute();
1066}
1067
Reid Klecknerb5180542017-03-21 16:57:19 +00001068Attribute AttributeList::getAttribute(unsigned Index, StringRef Kind) const {
Bill Wendlingbce7b972013-02-13 08:42:21 +00001069 AttributeSetNode *ASN = getAttributes(Index);
1070 return ASN ? ASN->getAttribute(Kind) : Attribute();
1071}
1072
Reid Klecknerb5180542017-03-21 16:57:19 +00001073unsigned AttributeList::getParamAlignment(unsigned Index) const {
Bill Wendlingf2955aa2013-01-29 03:20:31 +00001074 AttributeSetNode *ASN = getAttributes(Index);
1075 return ASN ? ASN->getAlignment() : 0;
Bill Wendlingd509a662013-01-29 00:34:06 +00001076}
1077
Reid Klecknerb5180542017-03-21 16:57:19 +00001078unsigned AttributeList::getStackAlignment(unsigned Index) const {
Bill Wendlingf2955aa2013-01-29 03:20:31 +00001079 AttributeSetNode *ASN = getAttributes(Index);
1080 return ASN ? ASN->getStackAlignment() : 0;
Bill Wendlingd509a662013-01-29 00:34:06 +00001081}
1082
Reid Klecknerb5180542017-03-21 16:57:19 +00001083uint64_t AttributeList::getDereferenceableBytes(unsigned Index) const {
Hal Finkelb0407ba2014-07-18 15:51:28 +00001084 AttributeSetNode *ASN = getAttributes(Index);
1085 return ASN ? ASN->getDereferenceableBytes() : 0;
1086}
1087
Reid Klecknerb5180542017-03-21 16:57:19 +00001088uint64_t AttributeList::getDereferenceableOrNullBytes(unsigned Index) const {
Sanjoy Das06cf33f2015-05-06 17:41:54 +00001089 AttributeSetNode *ASN = getAttributes(Index);
1090 return ASN ? ASN->getDereferenceableOrNullBytes() : 0;
1091}
1092
George Burgess IV278199f2016-04-12 01:05:35 +00001093std::pair<unsigned, Optional<unsigned>>
Reid Klecknerb5180542017-03-21 16:57:19 +00001094AttributeList::getAllocSizeArgs(unsigned Index) const {
George Burgess IV278199f2016-04-12 01:05:35 +00001095 AttributeSetNode *ASN = getAttributes(Index);
Matt Arsenault4ced16d2016-07-18 22:12:46 +00001096 return ASN ? ASN->getAllocSizeArgs() : std::make_pair(0u, Optional<unsigned>(0u));
George Burgess IV278199f2016-04-12 01:05:35 +00001097}
1098
Reid Klecknerb5180542017-03-21 16:57:19 +00001099std::string AttributeList::getAsString(unsigned Index, bool InAttrGrp) const {
Bill Wendlingf2955aa2013-01-29 03:20:31 +00001100 AttributeSetNode *ASN = getAttributes(Index);
Rafael Espindolacbf5a7a2013-05-01 13:07:03 +00001101 return ASN ? ASN->getAsString(InAttrGrp) : std::string("");
Bill Wendlingd509a662013-01-29 00:34:06 +00001102}
1103
Reid Klecknerb5180542017-03-21 16:57:19 +00001104AttributeSetNode *AttributeList::getAttributes(unsigned Index) const {
Craig Topperc6207612014-04-09 06:08:46 +00001105 if (!pImpl) return nullptr;
Bill Wendlingd509a662013-01-29 00:34:06 +00001106
Bill Wendlingf2955aa2013-01-29 03:20:31 +00001107 // Loop through to find the attribute node we want.
Amaury Sechet24c84fd2016-06-14 22:04:16 +00001108 for (unsigned I = 0, E = pImpl->getNumSlots(); I != E; ++I)
Bill Wendling211316c2013-04-18 20:17:28 +00001109 if (pImpl->getSlotIndex(I) == Index)
Bill Wendlingf2955aa2013-01-29 03:20:31 +00001110 return pImpl->getSlotNode(I);
Bill Wendlingd509a662013-01-29 00:34:06 +00001111
Craig Topperc6207612014-04-09 06:08:46 +00001112 return nullptr;
Bill Wendlingd509a662013-01-29 00:34:06 +00001113}
1114
Reid Klecknerb5180542017-03-21 16:57:19 +00001115AttributeList::iterator AttributeList::begin(unsigned Slot) const {
Bill Wendlinga9174862013-01-31 23:53:05 +00001116 if (!pImpl)
1117 return ArrayRef<Attribute>().begin();
Bill Wendling211316c2013-04-18 20:17:28 +00001118 return pImpl->begin(Slot);
Bill Wendlinga9174862013-01-31 23:53:05 +00001119}
1120
Reid Klecknerb5180542017-03-21 16:57:19 +00001121AttributeList::iterator AttributeList::end(unsigned Slot) const {
Bill Wendlinga9174862013-01-31 23:53:05 +00001122 if (!pImpl)
1123 return ArrayRef<Attribute>().end();
Bill Wendling211316c2013-04-18 20:17:28 +00001124 return pImpl->end(Slot);
Bill Wendlinga9174862013-01-31 23:53:05 +00001125}
1126
Bill Wendlingd509a662013-01-29 00:34:06 +00001127//===----------------------------------------------------------------------===//
Reid Klecknerb5180542017-03-21 16:57:19 +00001128// AttributeList Introspection Methods
Bill Wendlingd509a662013-01-29 00:34:06 +00001129//===----------------------------------------------------------------------===//
1130
Reid Klecknerb5180542017-03-21 16:57:19 +00001131unsigned AttributeList::getNumSlots() const {
Amaury Sechet24c84fd2016-06-14 22:04:16 +00001132 return pImpl ? pImpl->getNumSlots() : 0;
Bill Wendlingd509a662013-01-29 00:34:06 +00001133}
1134
Reid Klecknerb5180542017-03-21 16:57:19 +00001135unsigned AttributeList::getSlotIndex(unsigned Slot) const {
Amaury Sechet24c84fd2016-06-14 22:04:16 +00001136 assert(pImpl && Slot < pImpl->getNumSlots() &&
Bill Wendlingd509a662013-01-29 00:34:06 +00001137 "Slot # out of range!");
1138 return pImpl->getSlotIndex(Slot);
1139}
1140
Reid Klecknerb5180542017-03-21 16:57:19 +00001141AttributeList AttributeList::getSlotAttributes(unsigned Slot) const {
Amaury Sechet24c84fd2016-06-14 22:04:16 +00001142 assert(pImpl && Slot < pImpl->getNumSlots() &&
Bill Wendlingd509a662013-01-29 00:34:06 +00001143 "Slot # out of range!");
1144 return pImpl->getSlotAttributes(Slot);
1145}
1146
Matthias Braun8c209aa2017-01-28 02:02:38 +00001147#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
Reid Klecknerb5180542017-03-21 16:57:19 +00001148LLVM_DUMP_METHOD void AttributeList::dump() const {
Bill Wendlingd509a662013-01-29 00:34:06 +00001149 dbgs() << "PAL[\n";
1150
1151 for (unsigned i = 0, e = getNumSlots(); i < e; ++i) {
1152 uint64_t Index = getSlotIndex(i);
1153 dbgs() << " { ";
1154 if (Index == ~0U)
1155 dbgs() << "~0U";
1156 else
1157 dbgs() << Index;
1158 dbgs() << " => " << getAsString(Index) << " }\n";
1159 }
1160
1161 dbgs() << "]\n";
1162}
Matthias Braun8c209aa2017-01-28 02:02:38 +00001163#endif
Bill Wendlingd509a662013-01-29 00:34:06 +00001164
Bill Wendlingabf3feb2012-10-05 06:44:41 +00001165//===----------------------------------------------------------------------===//
Bill Wendlingcd330342013-01-04 23:27:34 +00001166// AttrBuilder Method Implementations
Bill Wendlingabf3feb2012-10-05 06:44:41 +00001167//===----------------------------------------------------------------------===//
1168
Reid Klecknerb5180542017-03-21 16:57:19 +00001169AttrBuilder::AttrBuilder(AttributeList AS, unsigned Index) {
1170 AttributeListImpl *pImpl = AS.pImpl;
Bill Wendling096f5442013-01-07 08:24:35 +00001171 if (!pImpl) return;
1172
Amaury Sechet24c84fd2016-06-14 22:04:16 +00001173 for (unsigned I = 0, E = pImpl->getNumSlots(); I != E; ++I) {
Bill Wendling211316c2013-04-18 20:17:28 +00001174 if (pImpl->getSlotIndex(I) != Index) continue;
Bill Wendling096f5442013-01-07 08:24:35 +00001175
Reid Klecknerb5180542017-03-21 16:57:19 +00001176 for (AttributeListImpl::iterator II = pImpl->begin(I), IE = pImpl->end(I);
1177 II != IE; ++II)
Bill Wendling23804da2013-01-31 23:38:01 +00001178 addAttribute(*II);
Bill Wendling9eb689c2013-01-28 00:21:34 +00001179
1180 break;
1181 }
Bill Wendling096f5442013-01-07 08:24:35 +00001182}
1183
Bill Wendlingcd330342013-01-04 23:27:34 +00001184void AttrBuilder::clear() {
Benjamin Kramereaf706b2013-02-18 12:09:51 +00001185 Attrs.reset();
Sanjoy Das88d0fde2015-09-03 22:27:42 +00001186 TargetDepAttrs.clear();
Sanjoy Das31ea6d12015-04-16 20:29:50 +00001187 Alignment = StackAlignment = DerefBytes = DerefOrNullBytes = 0;
George Burgess IV278199f2016-04-12 01:05:35 +00001188 AllocSizeArgs = 0;
Bill Wendlingcd330342013-01-04 23:27:34 +00001189}
1190
1191AttrBuilder &AttrBuilder::addAttribute(Attribute::AttrKind Val) {
Benjamin Kramereaf706b2013-02-18 12:09:51 +00001192 assert((unsigned)Val < Attribute::EndAttrKinds && "Attribute out of range!");
Bill Wendling1c7cc8a2013-01-31 23:16:25 +00001193 assert(Val != Attribute::Alignment && Val != Attribute::StackAlignment &&
George Burgess IV278199f2016-04-12 01:05:35 +00001194 Val != Attribute::Dereferenceable && Val != Attribute::AllocSize &&
Hal Finkelb0407ba2014-07-18 15:51:28 +00001195 "Adding integer attribute without adding a value!");
Benjamin Kramereaf706b2013-02-18 12:09:51 +00001196 Attrs[Val] = true;
Bill Wendling7c04e042012-10-09 19:01:18 +00001197 return *this;
Bill Wendlingabf3feb2012-10-05 06:44:41 +00001198}
1199
Bill Wendling23804da2013-01-31 23:38:01 +00001200AttrBuilder &AttrBuilder::addAttribute(Attribute Attr) {
Bill Wendling0a437302013-02-10 10:13:23 +00001201 if (Attr.isStringAttribute()) {
1202 addAttribute(Attr.getKindAsString(), Attr.getValueAsString());
1203 return *this;
1204 }
1205
Bill Wendling3f12ac22013-02-05 22:37:24 +00001206 Attribute::AttrKind Kind = Attr.getKindAsEnum();
Benjamin Kramereaf706b2013-02-18 12:09:51 +00001207 Attrs[Kind] = true;
Bill Wendling1aa9d9e2013-01-28 05:23:28 +00001208
Bill Wendling3f12ac22013-02-05 22:37:24 +00001209 if (Kind == Attribute::Alignment)
Bill Wendling1aa9d9e2013-01-28 05:23:28 +00001210 Alignment = Attr.getAlignment();
Bill Wendling3f12ac22013-02-05 22:37:24 +00001211 else if (Kind == Attribute::StackAlignment)
Bill Wendling1aa9d9e2013-01-28 05:23:28 +00001212 StackAlignment = Attr.getStackAlignment();
Hal Finkelb0407ba2014-07-18 15:51:28 +00001213 else if (Kind == Attribute::Dereferenceable)
1214 DerefBytes = Attr.getDereferenceableBytes();
Sanjoy Das31ea6d12015-04-16 20:29:50 +00001215 else if (Kind == Attribute::DereferenceableOrNull)
1216 DerefOrNullBytes = Attr.getDereferenceableOrNullBytes();
George Burgess IV278199f2016-04-12 01:05:35 +00001217 else if (Kind == Attribute::AllocSize)
1218 AllocSizeArgs = Attr.getValueAsInt();
Bill Wendling1aa9d9e2013-01-28 05:23:28 +00001219 return *this;
1220}
1221
Bill Wendlingb9c5b1a2013-02-05 08:09:32 +00001222AttrBuilder &AttrBuilder::addAttribute(StringRef A, StringRef V) {
1223 TargetDepAttrs[A] = V;
1224 return *this;
1225}
1226
Bill Wendling23804da2013-01-31 23:38:01 +00001227AttrBuilder &AttrBuilder::removeAttribute(Attribute::AttrKind Val) {
Benjamin Kramereaf706b2013-02-18 12:09:51 +00001228 assert((unsigned)Val < Attribute::EndAttrKinds && "Attribute out of range!");
1229 Attrs[Val] = false;
Bill Wendling23804da2013-01-31 23:38:01 +00001230
1231 if (Val == Attribute::Alignment)
1232 Alignment = 0;
1233 else if (Val == Attribute::StackAlignment)
1234 StackAlignment = 0;
Hal Finkelb0407ba2014-07-18 15:51:28 +00001235 else if (Val == Attribute::Dereferenceable)
1236 DerefBytes = 0;
Sanjoy Das31ea6d12015-04-16 20:29:50 +00001237 else if (Val == Attribute::DereferenceableOrNull)
1238 DerefOrNullBytes = 0;
George Burgess IV278199f2016-04-12 01:05:35 +00001239 else if (Val == Attribute::AllocSize)
1240 AllocSizeArgs = 0;
Bill Wendling23804da2013-01-31 23:38:01 +00001241
1242 return *this;
1243}
1244
Reid Klecknerb5180542017-03-21 16:57:19 +00001245AttrBuilder &AttrBuilder::removeAttributes(AttributeList A, uint64_t Index) {
Bill Wendling211316c2013-04-18 20:17:28 +00001246 unsigned Slot = ~0U;
Bill Wendlingf1c94e32013-02-01 00:13:50 +00001247 for (unsigned I = 0, E = A.getNumSlots(); I != E; ++I)
1248 if (A.getSlotIndex(I) == Index) {
Bill Wendling211316c2013-04-18 20:17:28 +00001249 Slot = I;
Bill Wendlingf1c94e32013-02-01 00:13:50 +00001250 break;
Bill Wendling1aa9d9e2013-01-28 05:23:28 +00001251 }
Bill Wendlingf1c94e32013-02-01 00:13:50 +00001252
Reid Klecknerb5180542017-03-21 16:57:19 +00001253 assert(Slot != ~0U && "Couldn't find index in AttributeList!");
Bill Wendlingf1c94e32013-02-01 00:13:50 +00001254
Reid Klecknerb5180542017-03-21 16:57:19 +00001255 for (AttributeList::iterator I = A.begin(Slot), E = A.end(Slot); I != E;
1256 ++I) {
Bill Wendling7cde51d2013-02-12 07:56:49 +00001257 Attribute Attr = *I;
Hal Finkele15442c2014-07-18 06:51:55 +00001258 if (Attr.isEnumAttribute() || Attr.isIntAttribute()) {
George Burgess IV500d3032015-12-16 05:21:02 +00001259 removeAttribute(Attr.getKindAsEnum());
Bill Wendling7cde51d2013-02-12 07:56:49 +00001260 } else {
1261 assert(Attr.isStringAttribute() && "Invalid attribute type!");
George Burgess IV500d3032015-12-16 05:21:02 +00001262 removeAttribute(Attr.getKindAsString());
Bill Wendling7cde51d2013-02-12 07:56:49 +00001263 }
Bill Wendling1aa9d9e2013-01-28 05:23:28 +00001264 }
1265
1266 return *this;
1267}
1268
Bill Wendlingb9c5b1a2013-02-05 08:09:32 +00001269AttrBuilder &AttrBuilder::removeAttribute(StringRef A) {
1270 std::map<std::string, std::string>::iterator I = TargetDepAttrs.find(A);
1271 if (I != TargetDepAttrs.end())
1272 TargetDepAttrs.erase(I);
1273 return *this;
1274}
1275
George Burgess IV278199f2016-04-12 01:05:35 +00001276std::pair<unsigned, Optional<unsigned>> AttrBuilder::getAllocSizeArgs() const {
1277 return unpackAllocSizeArgs(AllocSizeArgs);
1278}
1279
Bill Wendling50d27842012-10-15 20:35:56 +00001280AttrBuilder &AttrBuilder::addAlignmentAttr(unsigned Align) {
Bill Wendlingabd5ba22012-10-14 03:58:29 +00001281 if (Align == 0) return *this;
Bill Wendlingcd330342013-01-04 23:27:34 +00001282
Bill Wendlingabf3feb2012-10-05 06:44:41 +00001283 assert(isPowerOf2_32(Align) && "Alignment must be a power of two.");
1284 assert(Align <= 0x40000000 && "Alignment too large.");
Bill Wendlingcd330342013-01-04 23:27:34 +00001285
Benjamin Kramereaf706b2013-02-18 12:09:51 +00001286 Attrs[Attribute::Alignment] = true;
Bill Wendlingcd330342013-01-04 23:27:34 +00001287 Alignment = Align;
Bill Wendlingabd5ba22012-10-14 03:58:29 +00001288 return *this;
Chris Lattner3e13b8c2008-01-02 23:42:30 +00001289}
1290
Bill Wendlingcd330342013-01-04 23:27:34 +00001291AttrBuilder &AttrBuilder::addStackAlignmentAttr(unsigned Align) {
1292 // Default alignment, allow the target to define how to align it.
1293 if (Align == 0) return *this;
1294
1295 assert(isPowerOf2_32(Align) && "Alignment must be a power of two.");
1296 assert(Align <= 0x100 && "Alignment too large.");
1297
Benjamin Kramereaf706b2013-02-18 12:09:51 +00001298 Attrs[Attribute::StackAlignment] = true;
Bill Wendlingcd330342013-01-04 23:27:34 +00001299 StackAlignment = Align;
1300 return *this;
1301}
1302
Hal Finkelb0407ba2014-07-18 15:51:28 +00001303AttrBuilder &AttrBuilder::addDereferenceableAttr(uint64_t Bytes) {
1304 if (Bytes == 0) return *this;
1305
1306 Attrs[Attribute::Dereferenceable] = true;
1307 DerefBytes = Bytes;
1308 return *this;
1309}
1310
Sanjoy Das31ea6d12015-04-16 20:29:50 +00001311AttrBuilder &AttrBuilder::addDereferenceableOrNullAttr(uint64_t Bytes) {
1312 if (Bytes == 0)
1313 return *this;
1314
1315 Attrs[Attribute::DereferenceableOrNull] = true;
1316 DerefOrNullBytes = Bytes;
1317 return *this;
1318}
1319
George Burgess IV278199f2016-04-12 01:05:35 +00001320AttrBuilder &AttrBuilder::addAllocSizeAttr(unsigned ElemSize,
1321 const Optional<unsigned> &NumElems) {
1322 return addAllocSizeAttrFromRawRepr(packAllocSizeArgs(ElemSize, NumElems));
1323}
1324
1325AttrBuilder &AttrBuilder::addAllocSizeAttrFromRawRepr(uint64_t RawArgs) {
1326 // (0, 0) is our "not present" value, so we need to check for it here.
1327 assert(RawArgs && "Invalid allocsize arguments -- given allocsize(0, 0)");
1328
1329 Attrs[Attribute::AllocSize] = true;
1330 // Reuse existing machinery to store this as a single 64-bit integer so we can
1331 // save a few bytes over using a pair<unsigned, Optional<unsigned>>.
1332 AllocSizeArgs = RawArgs;
1333 return *this;
1334}
1335
Bill Wendlinge2614922013-02-06 01:16:00 +00001336AttrBuilder &AttrBuilder::merge(const AttrBuilder &B) {
1337 // FIXME: What if both have alignments, but they don't match?!
1338 if (!Alignment)
1339 Alignment = B.Alignment;
1340
1341 if (!StackAlignment)
1342 StackAlignment = B.StackAlignment;
1343
Hal Finkelb0407ba2014-07-18 15:51:28 +00001344 if (!DerefBytes)
1345 DerefBytes = B.DerefBytes;
1346
Pete Cooperd2a44612015-05-06 23:19:43 +00001347 if (!DerefOrNullBytes)
1348 DerefOrNullBytes = B.DerefOrNullBytes;
1349
George Burgess IV278199f2016-04-12 01:05:35 +00001350 if (!AllocSizeArgs)
1351 AllocSizeArgs = B.AllocSizeArgs;
1352
Benjamin Kramer45e7d532013-02-16 19:13:18 +00001353 Attrs |= B.Attrs;
Bill Wendlinge2614922013-02-06 01:16:00 +00001354
Pete Cooperd2a44612015-05-06 23:19:43 +00001355 for (auto I : B.td_attrs())
1356 TargetDepAttrs[I.first] = I.second;
Bill Wendlinge2614922013-02-06 01:16:00 +00001357
1358 return *this;
1359}
1360
Pete Cooperd2a44612015-05-06 23:19:43 +00001361AttrBuilder &AttrBuilder::remove(const AttrBuilder &B) {
1362 // FIXME: What if both have alignments, but they don't match?!
1363 if (B.Alignment)
1364 Alignment = 0;
1365
1366 if (B.StackAlignment)
1367 StackAlignment = 0;
1368
1369 if (B.DerefBytes)
1370 DerefBytes = 0;
1371
1372 if (B.DerefOrNullBytes)
1373 DerefOrNullBytes = 0;
1374
George Burgess IV278199f2016-04-12 01:05:35 +00001375 if (B.AllocSizeArgs)
1376 AllocSizeArgs = 0;
1377
Pete Cooperd2a44612015-05-06 23:19:43 +00001378 Attrs &= ~B.Attrs;
1379
1380 for (auto I : B.td_attrs())
1381 TargetDepAttrs.erase(I.first);
1382
1383 return *this;
1384}
1385
1386bool AttrBuilder::overlaps(const AttrBuilder &B) const {
1387 // First check if any of the target independent attributes overlap.
1388 if ((Attrs & B.Attrs).any())
1389 return true;
1390
1391 // Then check if any target dependent ones do.
Sean Silva9011aca2017-02-22 06:34:04 +00001392 for (const auto &I : td_attrs())
Pete Cooperd2a44612015-05-06 23:19:43 +00001393 if (B.contains(I.first))
1394 return true;
1395
1396 return false;
1397}
1398
Bill Wendling4b001442013-02-06 01:33:42 +00001399bool AttrBuilder::contains(StringRef A) const {
1400 return TargetDepAttrs.find(A) != TargetDepAttrs.end();
1401}
1402
Bill Wendling50d27842012-10-15 20:35:56 +00001403bool AttrBuilder::hasAttributes() const {
Benjamin Kramereaf706b2013-02-18 12:09:51 +00001404 return !Attrs.none() || !TargetDepAttrs.empty();
Bill Wendlingc6daefa2012-10-08 23:27:46 +00001405}
Bill Wendling9ac69f92013-01-04 20:54:35 +00001406
Reid Klecknerb5180542017-03-21 16:57:19 +00001407bool AttrBuilder::hasAttributes(AttributeList A, uint64_t Index) const {
Bill Wendling211316c2013-04-18 20:17:28 +00001408 unsigned Slot = ~0U;
Bill Wendling9ca01da2013-02-02 00:42:06 +00001409 for (unsigned I = 0, E = A.getNumSlots(); I != E; ++I)
1410 if (A.getSlotIndex(I) == Index) {
Bill Wendling211316c2013-04-18 20:17:28 +00001411 Slot = I;
Bill Wendling9ca01da2013-02-02 00:42:06 +00001412 break;
1413 }
1414
Bill Wendling211316c2013-04-18 20:17:28 +00001415 assert(Slot != ~0U && "Couldn't find the index!");
Bill Wendling9ca01da2013-02-02 00:42:06 +00001416
Reid Klecknerb5180542017-03-21 16:57:19 +00001417 for (AttributeList::iterator I = A.begin(Slot), E = A.end(Slot); I != E;
1418 ++I) {
Bill Wendling7cde51d2013-02-12 07:56:49 +00001419 Attribute Attr = *I;
Hal Finkele15442c2014-07-18 06:51:55 +00001420 if (Attr.isEnumAttribute() || Attr.isIntAttribute()) {
Benjamin Kramereaf706b2013-02-18 12:09:51 +00001421 if (Attrs[I->getKindAsEnum()])
Bill Wendling7cde51d2013-02-12 07:56:49 +00001422 return true;
1423 } else {
1424 assert(Attr.isStringAttribute() && "Invalid attribute kind!");
1425 return TargetDepAttrs.find(Attr.getKindAsString())!=TargetDepAttrs.end();
1426 }
1427 }
Bill Wendling9ca01da2013-02-02 00:42:06 +00001428
1429 return false;
Bill Wendling70f39172012-10-09 00:01:21 +00001430}
Bill Wendling9ac69f92013-01-04 20:54:35 +00001431
Bill Wendling50d27842012-10-15 20:35:56 +00001432bool AttrBuilder::hasAlignmentAttr() const {
Bill Wendlingcd330342013-01-04 23:27:34 +00001433 return Alignment != 0;
Bill Wendlingc6daefa2012-10-08 23:27:46 +00001434}
1435
Bill Wendlingd509a662013-01-29 00:34:06 +00001436bool AttrBuilder::operator==(const AttrBuilder &B) {
Benjamin Kramer45e7d532013-02-16 19:13:18 +00001437 if (Attrs != B.Attrs)
1438 return false;
Bill Wendling4b001442013-02-06 01:33:42 +00001439
1440 for (td_const_iterator I = TargetDepAttrs.begin(),
1441 E = TargetDepAttrs.end(); I != E; ++I)
1442 if (B.TargetDepAttrs.find(I->first) == B.TargetDepAttrs.end())
1443 return false;
1444
Hal Finkelb0407ba2014-07-18 15:51:28 +00001445 return Alignment == B.Alignment && StackAlignment == B.StackAlignment &&
1446 DerefBytes == B.DerefBytes;
Bill Wendlingd509a662013-01-29 00:34:06 +00001447}
1448
Bill Wendling57625a42013-01-25 23:09:36 +00001449//===----------------------------------------------------------------------===//
1450// AttributeFuncs Function Defintions
1451//===----------------------------------------------------------------------===//
1452
Bill Wendlingc79cdff2013-02-01 01:04:27 +00001453/// \brief Which attributes cannot be applied to a type.
Craig Toppere3dcce92015-08-01 22:20:21 +00001454AttrBuilder AttributeFuncs::typeIncompatible(Type *Ty) {
Bill Wendling57625a42013-01-25 23:09:36 +00001455 AttrBuilder Incompatible;
1456
1457 if (!Ty->isIntegerTy())
1458 // Attribute that only apply to integers.
1459 Incompatible.addAttribute(Attribute::SExt)
1460 .addAttribute(Attribute::ZExt);
1461
1462 if (!Ty->isPointerTy())
1463 // Attribute that only apply to pointers.
1464 Incompatible.addAttribute(Attribute::ByVal)
1465 .addAttribute(Attribute::Nest)
1466 .addAttribute(Attribute::NoAlias)
1467 .addAttribute(Attribute::NoCapture)
Nick Lewyckyd52b1522014-05-20 01:23:40 +00001468 .addAttribute(Attribute::NonNull)
Hal Finkelb0407ba2014-07-18 15:51:28 +00001469 .addDereferenceableAttr(1) // the int here is ignored
Sanjoy Das31ea6d12015-04-16 20:29:50 +00001470 .addDereferenceableOrNullAttr(1) // the int here is ignored
Nick Lewyckyc2ec0722013-07-06 00:29:58 +00001471 .addAttribute(Attribute::ReadNone)
1472 .addAttribute(Attribute::ReadOnly)
Reid Klecknera534a382013-12-19 02:14:12 +00001473 .addAttribute(Attribute::StructRet)
1474 .addAttribute(Attribute::InAlloca);
Bill Wendling57625a42013-01-25 23:09:36 +00001475
Pete Cooper2777d8872015-05-06 23:19:56 +00001476 return Incompatible;
Bill Wendling57625a42013-01-25 23:09:36 +00001477}
Akira Hatanaka1cb242e2015-12-22 23:57:37 +00001478
1479template<typename AttrClass>
1480static bool isEqual(const Function &Caller, const Function &Callee) {
1481 return Caller.getFnAttribute(AttrClass::getKind()) ==
1482 Callee.getFnAttribute(AttrClass::getKind());
1483}
1484
1485/// \brief Compute the logical AND of the attributes of the caller and the
1486/// callee.
1487///
1488/// This function sets the caller's attribute to false if the callee's attribute
1489/// is false.
1490template<typename AttrClass>
1491static void setAND(Function &Caller, const Function &Callee) {
1492 if (AttrClass::isSet(Caller, AttrClass::getKind()) &&
1493 !AttrClass::isSet(Callee, AttrClass::getKind()))
1494 AttrClass::set(Caller, AttrClass::getKind(), false);
1495}
1496
1497/// \brief Compute the logical OR of the attributes of the caller and the
1498/// callee.
1499///
1500/// This function sets the caller's attribute to true if the callee's attribute
1501/// is true.
1502template<typename AttrClass>
1503static void setOR(Function &Caller, const Function &Callee) {
1504 if (!AttrClass::isSet(Caller, AttrClass::getKind()) &&
1505 AttrClass::isSet(Callee, AttrClass::getKind()))
1506 AttrClass::set(Caller, AttrClass::getKind(), true);
1507}
1508
1509/// \brief If the inlined function had a higher stack protection level than the
1510/// calling function, then bump up the caller's stack protection level.
1511static void adjustCallerSSPLevel(Function &Caller, const Function &Callee) {
1512 // If upgrading the SSP attribute, clear out the old SSP Attributes first.
1513 // Having multiple SSP attributes doesn't actually hurt, but it adds useless
1514 // clutter to the IR.
1515 AttrBuilder B;
1516 B.addAttribute(Attribute::StackProtect)
1517 .addAttribute(Attribute::StackProtectStrong)
1518 .addAttribute(Attribute::StackProtectReq);
Reid Klecknerb5180542017-03-21 16:57:19 +00001519 AttributeList OldSSPAttr =
1520 AttributeList::get(Caller.getContext(), AttributeList::FunctionIndex, B);
Akira Hatanaka1cb242e2015-12-22 23:57:37 +00001521
Evgeniy Stepanovf17120a2016-04-11 22:27:48 +00001522 if (Callee.hasFnAttribute(Attribute::StackProtectReq)) {
Reid Klecknerb5180542017-03-21 16:57:19 +00001523 Caller.removeAttributes(AttributeList::FunctionIndex, OldSSPAttr);
Akira Hatanaka1cb242e2015-12-22 23:57:37 +00001524 Caller.addFnAttr(Attribute::StackProtectReq);
1525 } else if (Callee.hasFnAttribute(Attribute::StackProtectStrong) &&
Akira Hatanaka1cb242e2015-12-22 23:57:37 +00001526 !Caller.hasFnAttribute(Attribute::StackProtectReq)) {
Reid Klecknerb5180542017-03-21 16:57:19 +00001527 Caller.removeAttributes(AttributeList::FunctionIndex, OldSSPAttr);
Akira Hatanaka1cb242e2015-12-22 23:57:37 +00001528 Caller.addFnAttr(Attribute::StackProtectStrong);
1529 } else if (Callee.hasFnAttribute(Attribute::StackProtect) &&
Akira Hatanaka1cb242e2015-12-22 23:57:37 +00001530 !Caller.hasFnAttribute(Attribute::StackProtectReq) &&
1531 !Caller.hasFnAttribute(Attribute::StackProtectStrong))
1532 Caller.addFnAttr(Attribute::StackProtect);
1533}
1534
1535#define GET_ATTR_COMPAT_FUNC
1536#include "AttributesCompatFunc.inc"
1537
1538bool AttributeFuncs::areInlineCompatible(const Function &Caller,
1539 const Function &Callee) {
1540 return hasCompatibleFnAttrs(Caller, Callee);
1541}
1542
Akira Hatanaka1cb242e2015-12-22 23:57:37 +00001543void AttributeFuncs::mergeAttributesForInlining(Function &Caller,
1544 const Function &Callee) {
1545 mergeFnAttrs(Caller, Callee);
1546}