blob: c80e0ef067aeb5f5045a8ee433c47e8d3dddd8ed [file] [log] [blame]
Chris Lattnerf42cce72006-10-25 04:09:21 +00001//===--- Stmt.cpp - Statement AST Node Implementation ---------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner5b12ab82007-12-29 19:59:25 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Chris Lattnerf42cce72006-10-25 04:09:21 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the Stmt class and statement subclasses.
11//
12//===----------------------------------------------------------------------===//
13
Benjamin Kramer444a1302012-12-01 17:12:56 +000014#include "clang/AST/ASTContext.h"
15#include "clang/AST/ASTDiagnostic.h"
Chris Lattner29375652006-12-04 18:06:35 +000016#include "clang/AST/ExprCXX.h"
Steve Naroff021ca182008-05-29 21:12:08 +000017#include "clang/AST/ExprObjC.h"
Benjamin Kramer444a1302012-12-01 17:12:56 +000018#include "clang/AST/Stmt.h"
Chris Lattnerf0b64d72009-04-26 01:32:48 +000019#include "clang/AST/StmtCXX.h"
20#include "clang/AST/StmtObjC.h"
Alexey Bataev5ec3eb12013-07-19 03:13:43 +000021#include "clang/AST/StmtOpenMP.h"
Sebastian Redl54c04d42008-12-22 19:15:10 +000022#include "clang/AST/Type.h"
Jordan Rosea7d03842013-02-08 22:30:41 +000023#include "clang/Basic/CharInfo.h"
Chris Lattner1a8f3942010-04-23 16:29:58 +000024#include "clang/Basic/TargetInfo.h"
Benjamin Kramer444a1302012-12-01 17:12:56 +000025#include "clang/Lex/Token.h"
Chad Rosier14836ba2012-08-24 17:05:45 +000026#include "llvm/ADT/StringExtras.h"
Chandler Carruthbfb154a2011-07-04 06:13:27 +000027#include "llvm/Support/raw_ostream.h"
Chris Lattnerf42cce72006-10-25 04:09:21 +000028using namespace clang;
29
Steve Narofff84d11f2007-05-23 21:48:04 +000030static struct StmtClassNameTable {
Chris Lattner4d15a0d2007-08-25 01:42:24 +000031 const char *Name;
32 unsigned Counter;
33 unsigned Size;
Alexis Hunt656bb312010-05-05 15:24:00 +000034} StmtClassInfo[Stmt::lastStmtConstant+1];
Chris Lattner4d15a0d2007-08-25 01:42:24 +000035
36static StmtClassNameTable &getStmtInfoTableEntry(Stmt::StmtClass E) {
37 static bool Initialized = false;
38 if (Initialized)
39 return StmtClassInfo[E];
40
41 // Intialize the table on the first use.
42 Initialized = true;
Alexis Huntabb2ac82010-05-18 06:22:21 +000043#define ABSTRACT_STMT(STMT)
Douglas Gregorbe35ce92008-11-14 12:46:07 +000044#define STMT(CLASS, PARENT) \
45 StmtClassInfo[(unsigned)Stmt::CLASS##Class].Name = #CLASS; \
46 StmtClassInfo[(unsigned)Stmt::CLASS##Class].Size = sizeof(CLASS);
Alexis Hunt656bb312010-05-05 15:24:00 +000047#include "clang/AST/StmtNodes.inc"
Nico Weberde565e32008-08-05 23:15:29 +000048
Chris Lattner4d15a0d2007-08-25 01:42:24 +000049 return StmtClassInfo[E];
50}
51
Craig Topper37932912013-08-18 10:09:15 +000052void *Stmt::operator new(size_t bytes, const ASTContext& C,
Craig Topper5a050012013-08-18 17:45:38 +000053 unsigned alignment) {
Benjamin Kramerea70eb32012-12-01 15:09:41 +000054 return ::operator new(bytes, C, alignment);
55}
56
Steve Narofff1e53692007-03-23 22:27:02 +000057const char *Stmt::getStmtClassName() const {
John McCall925b16622010-10-26 08:39:16 +000058 return getStmtInfoTableEntry((StmtClass) StmtBits.sClass).Name;
Steve Narofff1e53692007-03-23 22:27:02 +000059}
Steve Narofff84d11f2007-05-23 21:48:04 +000060
61void Stmt::PrintStats() {
Chris Lattner4d15a0d2007-08-25 01:42:24 +000062 // Ensure the table is primed.
63 getStmtInfoTableEntry(Stmt::NullStmtClass);
Nico Weberde565e32008-08-05 23:15:29 +000064
Steve Narofff84d11f2007-05-23 21:48:04 +000065 unsigned sum = 0;
Chandler Carruthbfb154a2011-07-04 06:13:27 +000066 llvm::errs() << "\n*** Stmt/Expr Stats:\n";
Alexis Hunt656bb312010-05-05 15:24:00 +000067 for (int i = 0; i != Stmt::lastStmtConstant+1; i++) {
Craig Topper36250ad2014-05-12 05:36:57 +000068 if (StmtClassInfo[i].Name == nullptr) continue;
Chris Lattner4d15a0d2007-08-25 01:42:24 +000069 sum += StmtClassInfo[i].Counter;
Steve Narofff84d11f2007-05-23 21:48:04 +000070 }
Chandler Carruthbfb154a2011-07-04 06:13:27 +000071 llvm::errs() << " " << sum << " stmts/exprs total.\n";
Steve Narofff84d11f2007-05-23 21:48:04 +000072 sum = 0;
Alexis Hunt656bb312010-05-05 15:24:00 +000073 for (int i = 0; i != Stmt::lastStmtConstant+1; i++) {
Craig Topper36250ad2014-05-12 05:36:57 +000074 if (StmtClassInfo[i].Name == nullptr) continue;
Douglas Gregora30d0462009-05-26 14:40:08 +000075 if (StmtClassInfo[i].Counter == 0) continue;
Chandler Carruthbfb154a2011-07-04 06:13:27 +000076 llvm::errs() << " " << StmtClassInfo[i].Counter << " "
77 << StmtClassInfo[i].Name << ", " << StmtClassInfo[i].Size
78 << " each (" << StmtClassInfo[i].Counter*StmtClassInfo[i].Size
79 << " bytes)\n";
Chris Lattner4d15a0d2007-08-25 01:42:24 +000080 sum += StmtClassInfo[i].Counter*StmtClassInfo[i].Size;
Steve Narofff84d11f2007-05-23 21:48:04 +000081 }
Chandler Carruthbfb154a2011-07-04 06:13:27 +000082
83 llvm::errs() << "Total bytes = " << sum << "\n";
Steve Narofff84d11f2007-05-23 21:48:04 +000084}
85
86void Stmt::addStmtClass(StmtClass s) {
Chris Lattner4d15a0d2007-08-25 01:42:24 +000087 ++getStmtInfoTableEntry(s).Counter;
Steve Narofff84d11f2007-05-23 21:48:04 +000088}
89
Daniel Dunbar62905572012-03-05 21:42:49 +000090bool Stmt::StatisticsEnabled = false;
91void Stmt::EnableStatistics() {
92 StatisticsEnabled = true;
Steve Narofff84d11f2007-05-23 21:48:04 +000093}
94
John McCall4db5c3c2011-07-07 06:58:02 +000095Stmt *Stmt::IgnoreImplicit() {
96 Stmt *s = this;
97
98 if (ExprWithCleanups *ewc = dyn_cast<ExprWithCleanups>(s))
99 s = ewc->getSubExpr();
100
101 while (ImplicitCastExpr *ice = dyn_cast<ImplicitCastExpr>(s))
102 s = ice->getSubExpr();
103
104 return s;
105}
106
Chandler Carrutha626d642011-09-10 00:02:34 +0000107/// \brief Strip off all label-like statements.
108///
Richard Smithc202b282012-04-14 00:33:13 +0000109/// This will strip off label statements, case statements, attributed
110/// statements and default statements recursively.
Chandler Carrutha626d642011-09-10 00:02:34 +0000111const Stmt *Stmt::stripLabelLikeStatements() const {
112 const Stmt *S = this;
113 while (true) {
114 if (const LabelStmt *LS = dyn_cast<LabelStmt>(S))
115 S = LS->getSubStmt();
116 else if (const SwitchCase *SC = dyn_cast<SwitchCase>(S))
117 S = SC->getSubStmt();
Richard Smithc202b282012-04-14 00:33:13 +0000118 else if (const AttributedStmt *AS = dyn_cast<AttributedStmt>(S))
119 S = AS->getSubStmt();
Chandler Carrutha626d642011-09-10 00:02:34 +0000120 else
121 return S;
122 }
123}
124
John McCallbd066782011-02-09 08:16:59 +0000125namespace {
126 struct good {};
127 struct bad {};
John McCallf75152f2011-02-09 08:31:17 +0000128
129 // These silly little functions have to be static inline to suppress
130 // unused warnings, and they have to be defined to suppress other
131 // warnings.
Nick Lewyckybae992f2011-02-09 08:42:57 +0000132 static inline good is_good(good) { return good(); }
John McCallbd066782011-02-09 08:16:59 +0000133
134 typedef Stmt::child_range children_t();
Nick Lewyckybae992f2011-02-09 08:42:57 +0000135 template <class T> good implements_children(children_t T::*) {
136 return good();
137 }
Eli Friedmandc41d792013-09-10 22:57:15 +0000138 LLVM_ATTRIBUTE_UNUSED
Nick Lewyckybae992f2011-02-09 08:42:57 +0000139 static inline bad implements_children(children_t Stmt::*) {
140 return bad();
141 }
John McCallbd066782011-02-09 08:16:59 +0000142
Erik Verbruggen11a2ecc2012-12-25 14:51:39 +0000143 typedef SourceLocation getLocStart_t() const;
144 template <class T> good implements_getLocStart(getLocStart_t T::*) {
Nick Lewyckybae992f2011-02-09 08:42:57 +0000145 return good();
146 }
Eli Friedmandc41d792013-09-10 22:57:15 +0000147 LLVM_ATTRIBUTE_UNUSED
Erik Verbruggen11a2ecc2012-12-25 14:51:39 +0000148 static inline bad implements_getLocStart(getLocStart_t Stmt::*) {
149 return bad();
150 }
151
152 typedef SourceLocation getLocEnd_t() const;
153 template <class T> good implements_getLocEnd(getLocEnd_t T::*) {
154 return good();
155 }
Eli Friedmandc41d792013-09-10 22:57:15 +0000156 LLVM_ATTRIBUTE_UNUSED
Erik Verbruggen11a2ecc2012-12-25 14:51:39 +0000157 static inline bad implements_getLocEnd(getLocEnd_t Stmt::*) {
Nick Lewyckybae992f2011-02-09 08:42:57 +0000158 return bad();
159 }
John McCallbd066782011-02-09 08:16:59 +0000160
161#define ASSERT_IMPLEMENTS_children(type) \
Eli Friedmandc41d792013-09-10 22:57:15 +0000162 (void) is_good(implements_children(&type::children))
Erik Verbruggen11a2ecc2012-12-25 14:51:39 +0000163#define ASSERT_IMPLEMENTS_getLocStart(type) \
Eli Friedmandc41d792013-09-10 22:57:15 +0000164 (void) is_good(implements_getLocStart(&type::getLocStart))
Erik Verbruggen11a2ecc2012-12-25 14:51:39 +0000165#define ASSERT_IMPLEMENTS_getLocEnd(type) \
Eli Friedmandc41d792013-09-10 22:57:15 +0000166 (void) is_good(implements_getLocEnd(&type::getLocEnd))
John McCallbd066782011-02-09 08:16:59 +0000167}
168
169/// Check whether the various Stmt classes implement their member
170/// functions.
Eli Friedmandc41d792013-09-10 22:57:15 +0000171LLVM_ATTRIBUTE_UNUSED
John McCallbd066782011-02-09 08:16:59 +0000172static inline void check_implementations() {
173#define ABSTRACT_STMT(type)
174#define STMT(type, base) \
175 ASSERT_IMPLEMENTS_children(type); \
Erik Verbruggen11a2ecc2012-12-25 14:51:39 +0000176 ASSERT_IMPLEMENTS_getLocStart(type); \
177 ASSERT_IMPLEMENTS_getLocEnd(type);
John McCallbd066782011-02-09 08:16:59 +0000178#include "clang/AST/StmtNodes.inc"
179}
180
181Stmt::child_range Stmt::children() {
182 switch (getStmtClass()) {
183 case Stmt::NoStmtClass: llvm_unreachable("statement without class");
184#define ABSTRACT_STMT(type)
185#define STMT(type, base) \
186 case Stmt::type##Class: \
187 return static_cast<type*>(this)->children();
188#include "clang/AST/StmtNodes.inc"
189 }
190 llvm_unreachable("unknown statement kind!");
John McCallbd066782011-02-09 08:16:59 +0000191}
192
Erik Verbruggen11a2ecc2012-12-25 14:51:39 +0000193// Amusing macro metaprogramming hack: check whether a class provides
194// a more specific implementation of getSourceRange.
195//
196// See also Expr.cpp:getExprLoc().
197namespace {
198 /// This implementation is used when a class provides a custom
199 /// implementation of getSourceRange.
200 template <class S, class T>
201 SourceRange getSourceRangeImpl(const Stmt *stmt,
202 SourceRange (T::*v)() const) {
203 return static_cast<const S*>(stmt)->getSourceRange();
204 }
205
206 /// This implementation is used when a class doesn't provide a custom
207 /// implementation of getSourceRange. Overload resolution should pick it over
208 /// the implementation above because it's more specialized according to
209 /// function template partial ordering.
210 template <class S>
211 SourceRange getSourceRangeImpl(const Stmt *stmt,
212 SourceRange (Stmt::*v)() const) {
213 return SourceRange(static_cast<const S*>(stmt)->getLocStart(),
214 static_cast<const S*>(stmt)->getLocEnd());
215 }
216}
217
John McCallbd066782011-02-09 08:16:59 +0000218SourceRange Stmt::getSourceRange() const {
219 switch (getStmtClass()) {
220 case Stmt::NoStmtClass: llvm_unreachable("statement without class");
221#define ABSTRACT_STMT(type)
222#define STMT(type, base) \
223 case Stmt::type##Class: \
Erik Verbruggen11a2ecc2012-12-25 14:51:39 +0000224 return getSourceRangeImpl<type>(this, &type::getSourceRange);
John McCallbd066782011-02-09 08:16:59 +0000225#include "clang/AST/StmtNodes.inc"
226 }
227 llvm_unreachable("unknown statement kind!");
John McCallbd066782011-02-09 08:16:59 +0000228}
229
Daniel Dunbarb0ab5e92012-03-09 15:39:19 +0000230SourceLocation Stmt::getLocStart() const {
Erik Verbruggen11a2ecc2012-12-25 14:51:39 +0000231// llvm::errs() << "getLocStart() for " << getStmtClassName() << "\n";
Daniel Dunbarb0ab5e92012-03-09 15:39:19 +0000232 switch (getStmtClass()) {
233 case Stmt::NoStmtClass: llvm_unreachable("statement without class");
234#define ABSTRACT_STMT(type)
235#define STMT(type, base) \
236 case Stmt::type##Class: \
Erik Verbruggen11a2ecc2012-12-25 14:51:39 +0000237 return static_cast<const type*>(this)->getLocStart();
Daniel Dunbarb0ab5e92012-03-09 15:39:19 +0000238#include "clang/AST/StmtNodes.inc"
239 }
240 llvm_unreachable("unknown statement kind");
241}
242
243SourceLocation Stmt::getLocEnd() const {
244 switch (getStmtClass()) {
245 case Stmt::NoStmtClass: llvm_unreachable("statement without class");
246#define ABSTRACT_STMT(type)
247#define STMT(type, base) \
248 case Stmt::type##Class: \
Erik Verbruggen11a2ecc2012-12-25 14:51:39 +0000249 return static_cast<const type*>(this)->getLocEnd();
Daniel Dunbarb0ab5e92012-03-09 15:39:19 +0000250#include "clang/AST/StmtNodes.inc"
251 }
252 llvm_unreachable("unknown statement kind");
253}
254
Craig Toppere6960e22013-08-22 05:28:54 +0000255CompoundStmt::CompoundStmt(const ASTContext &C, ArrayRef<Stmt*> Stmts,
Benjamin Kramere2a929d2012-07-04 17:03:41 +0000256 SourceLocation LB, SourceLocation RB)
257 : Stmt(CompoundStmtClass), LBracLoc(LB), RBracLoc(RB) {
Nico Webera2a0eb92012-12-29 20:03:39 +0000258 CompoundStmtBits.NumStmts = Stmts.size();
259 assert(CompoundStmtBits.NumStmts == Stmts.size() &&
Benjamin Kramere2a929d2012-07-04 17:03:41 +0000260 "NumStmts doesn't fit in bits of CompoundStmtBits.NumStmts!");
261
Nico Webera2a0eb92012-12-29 20:03:39 +0000262 if (Stmts.size() == 0) {
Craig Topper36250ad2014-05-12 05:36:57 +0000263 Body = nullptr;
Benjamin Kramere2a929d2012-07-04 17:03:41 +0000264 return;
265 }
266
Nico Webera2a0eb92012-12-29 20:03:39 +0000267 Body = new (C) Stmt*[Stmts.size()];
268 std::copy(Stmts.begin(), Stmts.end(), Body);
Benjamin Kramere2a929d2012-07-04 17:03:41 +0000269}
270
Craig Topperc571c812013-08-22 06:02:26 +0000271void CompoundStmt::setStmts(const ASTContext &C, Stmt **Stmts,
272 unsigned NumStmts) {
Douglas Gregora9af1d12009-04-17 00:04:06 +0000273 if (this->Body)
274 C.Deallocate(Body);
John McCall925b16622010-10-26 08:39:16 +0000275 this->CompoundStmtBits.NumStmts = NumStmts;
Douglas Gregora9af1d12009-04-17 00:04:06 +0000276
277 Body = new (C) Stmt*[NumStmts];
278 memcpy(Body, Stmts, sizeof(Stmt *) * NumStmts);
279}
Steve Narofff84d11f2007-05-23 21:48:04 +0000280
Chris Lattnereefa10e2007-05-28 06:56:27 +0000281const char *LabelStmt::getName() const {
Chris Lattnerc8e630e2011-02-17 07:39:24 +0000282 return getDecl()->getIdentifier()->getNameStart();
Chris Lattnereefa10e2007-05-28 06:56:27 +0000283}
284
Craig Toppere6960e22013-08-22 05:28:54 +0000285AttributedStmt *AttributedStmt::Create(const ASTContext &C, SourceLocation Loc,
Alexander Kornienko20f6fc62012-07-09 10:04:07 +0000286 ArrayRef<const Attr*> Attrs,
287 Stmt *SubStmt) {
Aaron Ballmanf3d9b092014-05-13 14:55:01 +0000288 assert(!Attrs.empty() && "Attrs should not be empty");
289 void *Mem = C.Allocate(sizeof(AttributedStmt) + sizeof(Attr *) * Attrs.size(),
Alexander Kornienko20f6fc62012-07-09 10:04:07 +0000290 llvm::alignOf<AttributedStmt>());
291 return new (Mem) AttributedStmt(Loc, Attrs, SubStmt);
292}
293
Craig Toppere6960e22013-08-22 05:28:54 +0000294AttributedStmt *AttributedStmt::CreateEmpty(const ASTContext &C,
295 unsigned NumAttrs) {
Alexander Kornienko20f6fc62012-07-09 10:04:07 +0000296 assert(NumAttrs > 0 && "NumAttrs should be greater than zero");
Aaron Ballmanf3d9b092014-05-13 14:55:01 +0000297 void *Mem = C.Allocate(sizeof(AttributedStmt) + sizeof(Attr *) * NumAttrs,
Alexander Kornienko20f6fc62012-07-09 10:04:07 +0000298 llvm::alignOf<AttributedStmt>());
299 return new (Mem) AttributedStmt(EmptyShell(), NumAttrs);
300}
301
Craig Topperc571c812013-08-22 06:02:26 +0000302std::string AsmStmt::generateAsmString(const ASTContext &C) const {
Chad Rosierf70b7e22012-08-28 18:21:14 +0000303 if (const GCCAsmStmt *gccAsmStmt = dyn_cast<GCCAsmStmt>(this))
304 return gccAsmStmt->generateAsmString(C);
305 if (const MSAsmStmt *msAsmStmt = dyn_cast<MSAsmStmt>(this))
306 return msAsmStmt->generateAsmString(C);
Chad Rosierbbbe9ab2012-08-28 17:43:23 +0000307 llvm_unreachable("unknown asm statement kind!");
308}
309
310StringRef AsmStmt::getOutputConstraint(unsigned i) const {
Chad Rosierf70b7e22012-08-28 18:21:14 +0000311 if (const GCCAsmStmt *gccAsmStmt = dyn_cast<GCCAsmStmt>(this))
312 return gccAsmStmt->getOutputConstraint(i);
313 if (const MSAsmStmt *msAsmStmt = dyn_cast<MSAsmStmt>(this))
314 return msAsmStmt->getOutputConstraint(i);
Chad Rosierbbbe9ab2012-08-28 17:43:23 +0000315 llvm_unreachable("unknown asm statement kind!");
316}
317
318const Expr *AsmStmt::getOutputExpr(unsigned i) const {
Chad Rosierf70b7e22012-08-28 18:21:14 +0000319 if (const GCCAsmStmt *gccAsmStmt = dyn_cast<GCCAsmStmt>(this))
320 return gccAsmStmt->getOutputExpr(i);
321 if (const MSAsmStmt *msAsmStmt = dyn_cast<MSAsmStmt>(this))
322 return msAsmStmt->getOutputExpr(i);
Chad Rosierbbbe9ab2012-08-28 17:43:23 +0000323 llvm_unreachable("unknown asm statement kind!");
324}
325
326StringRef AsmStmt::getInputConstraint(unsigned i) const {
Chad Rosierf70b7e22012-08-28 18:21:14 +0000327 if (const GCCAsmStmt *gccAsmStmt = dyn_cast<GCCAsmStmt>(this))
328 return gccAsmStmt->getInputConstraint(i);
329 if (const MSAsmStmt *msAsmStmt = dyn_cast<MSAsmStmt>(this))
330 return msAsmStmt->getInputConstraint(i);
Chad Rosierbbbe9ab2012-08-28 17:43:23 +0000331 llvm_unreachable("unknown asm statement kind!");
332}
333
334const Expr *AsmStmt::getInputExpr(unsigned i) const {
Chad Rosierf70b7e22012-08-28 18:21:14 +0000335 if (const GCCAsmStmt *gccAsmStmt = dyn_cast<GCCAsmStmt>(this))
336 return gccAsmStmt->getInputExpr(i);
337 if (const MSAsmStmt *msAsmStmt = dyn_cast<MSAsmStmt>(this))
338 return msAsmStmt->getInputExpr(i);
Chad Rosierbbbe9ab2012-08-28 17:43:23 +0000339 llvm_unreachable("unknown asm statement kind!");
340}
341
342StringRef AsmStmt::getClobber(unsigned i) const {
Chad Rosierf70b7e22012-08-28 18:21:14 +0000343 if (const GCCAsmStmt *gccAsmStmt = dyn_cast<GCCAsmStmt>(this))
344 return gccAsmStmt->getClobber(i);
345 if (const MSAsmStmt *msAsmStmt = dyn_cast<MSAsmStmt>(this))
346 return msAsmStmt->getClobber(i);
Chad Rosierbbbe9ab2012-08-28 17:43:23 +0000347 llvm_unreachable("unknown asm statement kind!");
348}
349
Chad Rosiera1b5c8c2012-08-28 00:24:05 +0000350/// getNumPlusOperands - Return the number of output operands that have a "+"
351/// constraint.
352unsigned AsmStmt::getNumPlusOperands() const {
353 unsigned Res = 0;
354 for (unsigned i = 0, e = getNumOutputs(); i != e; ++i)
355 if (isOutputPlusConstraint(i))
356 ++Res;
357 return Res;
358}
359
Akira Hatanaka987f1862014-08-22 06:05:21 +0000360char GCCAsmStmt::AsmStringPiece::getModifier() const {
361 assert(isOperand() && "Only Operands can have modifiers.");
362 return isLetter(Str[0]) ? Str[0] : '\0';
363}
364
Chad Rosier6100ae12012-08-27 23:47:56 +0000365StringRef GCCAsmStmt::getClobber(unsigned i) const {
366 return getClobberStringLiteral(i)->getString();
367}
368
Chad Rosierde70e0e2012-08-25 00:11:56 +0000369Expr *GCCAsmStmt::getOutputExpr(unsigned i) {
Ted Kremenek5778acf2008-10-27 18:40:21 +0000370 return cast<Expr>(Exprs[i]);
371}
Chris Lattner72bbf172009-03-10 04:59:06 +0000372
373/// getOutputConstraint - Return the constraint string for the specified
374/// output operand. All output constraints are known to be non-empty (either
375/// '=' or '+').
Chad Rosierde70e0e2012-08-25 00:11:56 +0000376StringRef GCCAsmStmt::getOutputConstraint(unsigned i) const {
Anders Carlsson66de0812010-01-30 20:38:10 +0000377 return getOutputConstraintLiteral(i)->getString();
Ted Kremenek5778acf2008-10-27 18:40:21 +0000378}
Chris Lattner72bbf172009-03-10 04:59:06 +0000379
Chad Rosierde70e0e2012-08-25 00:11:56 +0000380Expr *GCCAsmStmt::getInputExpr(unsigned i) {
Ted Kremenek5778acf2008-10-27 18:40:21 +0000381 return cast<Expr>(Exprs[i + NumOutputs]);
382}
Chad Rosierde70e0e2012-08-25 00:11:56 +0000383void GCCAsmStmt::setInputExpr(unsigned i, Expr *E) {
Chris Lattner93ede022011-02-21 22:09:29 +0000384 Exprs[i + NumOutputs] = E;
385}
386
Chris Lattner72bbf172009-03-10 04:59:06 +0000387/// getInputConstraint - Return the specified input constraint. Unlike output
388/// constraints, these can be empty.
Chad Rosierde70e0e2012-08-25 00:11:56 +0000389StringRef GCCAsmStmt::getInputConstraint(unsigned i) const {
Anders Carlsson66de0812010-01-30 20:38:10 +0000390 return getInputConstraintLiteral(i)->getString();
Ted Kremenek5778acf2008-10-27 18:40:21 +0000391}
392
Craig Topperc571c812013-08-22 06:02:26 +0000393void GCCAsmStmt::setOutputsAndInputsAndClobbers(const ASTContext &C,
394 IdentifierInfo **Names,
395 StringLiteral **Constraints,
396 Stmt **Exprs,
397 unsigned NumOutputs,
398 unsigned NumInputs,
399 StringLiteral **Clobbers,
400 unsigned NumClobbers) {
Douglas Gregorf994f062009-04-17 20:57:14 +0000401 this->NumOutputs = NumOutputs;
402 this->NumInputs = NumInputs;
Anders Carlsson98323d22010-01-30 23:19:41 +0000403 this->NumClobbers = NumClobbers;
404
405 unsigned NumExprs = NumOutputs + NumInputs;
Chad Rosier42032fa2012-08-07 23:12:23 +0000406
Anders Carlsson98323d22010-01-30 23:19:41 +0000407 C.Deallocate(this->Names);
408 this->Names = new (C) IdentifierInfo*[NumExprs];
409 std::copy(Names, Names + NumExprs, this->Names);
Chad Rosier42032fa2012-08-07 23:12:23 +0000410
Anders Carlsson98323d22010-01-30 23:19:41 +0000411 C.Deallocate(this->Exprs);
412 this->Exprs = new (C) Stmt*[NumExprs];
413 std::copy(Exprs, Exprs + NumExprs, this->Exprs);
Chad Rosier42032fa2012-08-07 23:12:23 +0000414
Anders Carlsson98323d22010-01-30 23:19:41 +0000415 C.Deallocate(this->Constraints);
416 this->Constraints = new (C) StringLiteral*[NumExprs];
417 std::copy(Constraints, Constraints + NumExprs, this->Constraints);
Chad Rosier42032fa2012-08-07 23:12:23 +0000418
Anders Carlsson98323d22010-01-30 23:19:41 +0000419 C.Deallocate(this->Clobbers);
420 this->Clobbers = new (C) StringLiteral*[NumClobbers];
421 std::copy(Clobbers, Clobbers + NumClobbers, this->Clobbers);
Douglas Gregorf994f062009-04-17 20:57:14 +0000422}
423
Chris Lattnerd7d5fdf2009-03-10 06:33:24 +0000424/// getNamedOperand - Given a symbolic operand reference like %[foo],
425/// translate this into a numeric value needed to reference the same operand.
426/// This returns -1 if the operand name is invalid.
Chad Rosierde70e0e2012-08-25 00:11:56 +0000427int GCCAsmStmt::getNamedOperand(StringRef SymbolicName) const {
Chris Lattnerd7d5fdf2009-03-10 06:33:24 +0000428 unsigned NumPlusOperands = 0;
Mike Stump11289f42009-09-09 15:08:12 +0000429
Chris Lattnerd7d5fdf2009-03-10 06:33:24 +0000430 // Check if this is an output operand.
431 for (unsigned i = 0, e = getNumOutputs(); i != e; ++i) {
432 if (getOutputName(i) == SymbolicName)
433 return i;
Chris Lattnerd7d5fdf2009-03-10 06:33:24 +0000434 }
Mike Stump11289f42009-09-09 15:08:12 +0000435
Chris Lattnerd7d5fdf2009-03-10 06:33:24 +0000436 for (unsigned i = 0, e = getNumInputs(); i != e; ++i)
437 if (getInputName(i) == SymbolicName)
438 return getNumOutputs() + NumPlusOperands + i;
439
440 // Not found.
441 return -1;
442}
443
Chris Lattner35b58362009-03-10 23:21:44 +0000444/// AnalyzeAsmString - Analyze the asm string of the current asm, decomposing
445/// it into pieces. If the asm string is erroneous, emit errors and return
446/// true, otherwise return false.
Chad Rosierde70e0e2012-08-25 00:11:56 +0000447unsigned GCCAsmStmt::AnalyzeAsmString(SmallVectorImpl<AsmStringPiece>&Pieces,
Craig Topperc571c812013-08-22 06:02:26 +0000448 const ASTContext &C, unsigned &DiagOffs) const {
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000449 StringRef Str = getAsmString()->getString();
Benjamin Kramer35b077e2010-08-17 12:54:38 +0000450 const char *StrStart = Str.begin();
451 const char *StrEnd = Str.end();
Chris Lattnera41b8472009-03-10 23:51:40 +0000452 const char *CurPtr = StrStart;
Mike Stump11289f42009-09-09 15:08:12 +0000453
Chris Lattner35b58362009-03-10 23:21:44 +0000454 // "Simple" inline asms have no constraints or operands, just convert the asm
455 // string to escape $'s.
456 if (isSimple()) {
457 std::string Result;
Chris Lattnera41b8472009-03-10 23:51:40 +0000458 for (; CurPtr != StrEnd; ++CurPtr) {
459 switch (*CurPtr) {
Chris Lattner35b58362009-03-10 23:21:44 +0000460 case '$':
461 Result += "$$";
462 break;
463 default:
Chris Lattnera41b8472009-03-10 23:51:40 +0000464 Result += *CurPtr;
Chris Lattner35b58362009-03-10 23:21:44 +0000465 break;
466 }
467 }
468 Pieces.push_back(AsmStringPiece(Result));
Chris Lattnera41b8472009-03-10 23:51:40 +0000469 return 0;
Chris Lattner35b58362009-03-10 23:21:44 +0000470 }
471
472 // CurStringPiece - The current string that we are building up as we scan the
473 // asm string.
474 std::string CurStringPiece;
Mike Stump11289f42009-09-09 15:08:12 +0000475
Douglas Gregore8bbc122011-09-02 00:18:52 +0000476 bool HasVariants = !C.getTargetInfo().hasNoAsmVariants();
Chad Rosier42032fa2012-08-07 23:12:23 +0000477
Chris Lattner35b58362009-03-10 23:21:44 +0000478 while (1) {
479 // Done with the string?
Chris Lattnera41b8472009-03-10 23:51:40 +0000480 if (CurPtr == StrEnd) {
Chris Lattner35b58362009-03-10 23:21:44 +0000481 if (!CurStringPiece.empty())
482 Pieces.push_back(AsmStringPiece(CurStringPiece));
Chris Lattnera41b8472009-03-10 23:51:40 +0000483 return 0;
Chris Lattner35b58362009-03-10 23:21:44 +0000484 }
Mike Stump11289f42009-09-09 15:08:12 +0000485
Chris Lattnera41b8472009-03-10 23:51:40 +0000486 char CurChar = *CurPtr++;
Chris Lattnerda081a82010-04-05 18:44:00 +0000487 switch (CurChar) {
488 case '$': CurStringPiece += "$$"; continue;
Chris Lattner1a8f3942010-04-23 16:29:58 +0000489 case '{': CurStringPiece += (HasVariants ? "$(" : "{"); continue;
490 case '|': CurStringPiece += (HasVariants ? "$|" : "|"); continue;
491 case '}': CurStringPiece += (HasVariants ? "$)" : "}"); continue;
Chris Lattnerda081a82010-04-05 18:44:00 +0000492 case '%':
493 break;
494 default:
Chris Lattner35b58362009-03-10 23:21:44 +0000495 CurStringPiece += CurChar;
496 continue;
497 }
Chad Rosier42032fa2012-08-07 23:12:23 +0000498
Chris Lattner35b58362009-03-10 23:21:44 +0000499 // Escaped "%" character in asm string.
Chris Lattner3fa25c62009-03-11 00:06:36 +0000500 if (CurPtr == StrEnd) {
501 // % at end of string is invalid (no escape).
502 DiagOffs = CurPtr-StrStart-1;
503 return diag::err_asm_invalid_escape;
504 }
Mike Stump11289f42009-09-09 15:08:12 +0000505
Chris Lattnera41b8472009-03-10 23:51:40 +0000506 char EscapedChar = *CurPtr++;
Chris Lattner35b58362009-03-10 23:21:44 +0000507 if (EscapedChar == '%') { // %% -> %
508 // Escaped percentage sign.
509 CurStringPiece += '%';
510 continue;
511 }
Mike Stump11289f42009-09-09 15:08:12 +0000512
Chris Lattner35b58362009-03-10 23:21:44 +0000513 if (EscapedChar == '=') { // %= -> Generate an unique ID.
514 CurStringPiece += "${:uid}";
515 continue;
516 }
Mike Stump11289f42009-09-09 15:08:12 +0000517
Chris Lattner35b58362009-03-10 23:21:44 +0000518 // Otherwise, we have an operand. If we have accumulated a string so far,
519 // add it to the Pieces list.
520 if (!CurStringPiece.empty()) {
521 Pieces.push_back(AsmStringPiece(CurStringPiece));
522 CurStringPiece.clear();
523 }
Mike Stump11289f42009-09-09 15:08:12 +0000524
Akira Hatanaka987f1862014-08-22 06:05:21 +0000525 // Handle operands that have asmSymbolicName (e.g., %x[foo]) and those that
526 // don't (e.g., %x4). 'x' following the '%' is the constraint modifier.
527
528 const char *Begin = CurPtr - 1; // Points to the character following '%'.
529 const char *Percent = Begin - 1; // Points to '%'.
530
Jordan Rosea7d03842013-02-08 22:30:41 +0000531 if (isLetter(EscapedChar)) {
Benjamin Kramere87c38b2011-07-05 11:13:37 +0000532 if (CurPtr == StrEnd) { // Premature end.
533 DiagOffs = CurPtr-StrStart-1;
534 return diag::err_asm_invalid_escape;
535 }
Chris Lattnera41b8472009-03-10 23:51:40 +0000536 EscapedChar = *CurPtr++;
Chris Lattner35b58362009-03-10 23:21:44 +0000537 }
Mike Stump11289f42009-09-09 15:08:12 +0000538
Akira Hatanaka987f1862014-08-22 06:05:21 +0000539 const TargetInfo &TI = C.getTargetInfo();
540 const SourceManager &SM = C.getSourceManager();
541 const LangOptions &LO = C.getLangOpts();
542
543 // Handle operands that don't have asmSymbolicName (e.g., %x4).
Jordan Rosea7d03842013-02-08 22:30:41 +0000544 if (isDigit(EscapedChar)) {
Chris Lattner35b58362009-03-10 23:21:44 +0000545 // %n - Assembler operand n
Chris Lattner99d892b2009-03-11 22:52:17 +0000546 unsigned N = 0;
Mike Stump11289f42009-09-09 15:08:12 +0000547
Chris Lattner99d892b2009-03-11 22:52:17 +0000548 --CurPtr;
Jordan Rosea7d03842013-02-08 22:30:41 +0000549 while (CurPtr != StrEnd && isDigit(*CurPtr))
Chris Lattner84f3afa2009-03-11 23:09:16 +0000550 N = N*10 + ((*CurPtr++)-'0');
Mike Stump11289f42009-09-09 15:08:12 +0000551
Chris Lattner14311922009-03-11 00:23:13 +0000552 unsigned NumOperands =
553 getNumOutputs() + getNumPlusOperands() + getNumInputs();
554 if (N >= NumOperands) {
555 DiagOffs = CurPtr-StrStart-1;
556 return diag::err_asm_invalid_operand_number;
557 }
558
Akira Hatanaka987f1862014-08-22 06:05:21 +0000559 // Str contains "x4" (Operand without the leading %).
560 std::string Str(Begin, CurPtr - Begin);
561
562 // (BeginLoc, EndLoc) represents the range of the operand we are currently
563 // processing. Unlike Str, the range includes the leading '%'.
564 SourceLocation BeginLoc =
565 getAsmString()->getLocationOfByte(Percent - StrStart, SM, LO, TI);
566 SourceLocation EndLoc =
567 getAsmString()->getLocationOfByte(CurPtr - StrStart, SM, LO, TI);
568
569 Pieces.push_back(AsmStringPiece(N, Str, BeginLoc, EndLoc));
Chris Lattner35b58362009-03-10 23:21:44 +0000570 continue;
571 }
Mike Stump11289f42009-09-09 15:08:12 +0000572
Akira Hatanaka987f1862014-08-22 06:05:21 +0000573 // Handle operands that have asmSymbolicName (e.g., %x[foo]).
Chris Lattner35b58362009-03-10 23:21:44 +0000574 if (EscapedChar == '[') {
Chris Lattner3fa25c62009-03-11 00:06:36 +0000575 DiagOffs = CurPtr-StrStart-1;
Mike Stump11289f42009-09-09 15:08:12 +0000576
Chris Lattner3fa25c62009-03-11 00:06:36 +0000577 // Find the ']'.
Chris Lattnera41b8472009-03-10 23:51:40 +0000578 const char *NameEnd = (const char*)memchr(CurPtr, ']', StrEnd-CurPtr);
Craig Topper36250ad2014-05-12 05:36:57 +0000579 if (NameEnd == nullptr)
Chris Lattner3fa25c62009-03-11 00:06:36 +0000580 return diag::err_asm_unterminated_symbolic_operand_name;
581 if (NameEnd == CurPtr)
582 return diag::err_asm_empty_symbolic_operand_name;
Mike Stump11289f42009-09-09 15:08:12 +0000583
Chris Lattner0e62c1c2011-07-23 10:55:15 +0000584 StringRef SymbolicName(CurPtr, NameEnd - CurPtr);
Mike Stump11289f42009-09-09 15:08:12 +0000585
Chris Lattner35b58362009-03-10 23:21:44 +0000586 int N = getNamedOperand(SymbolicName);
Chris Lattner3fa25c62009-03-11 00:06:36 +0000587 if (N == -1) {
588 // Verify that an operand with that name exists.
589 DiagOffs = CurPtr-StrStart;
590 return diag::err_asm_unknown_symbolic_operand_name;
591 }
Akira Hatanaka987f1862014-08-22 06:05:21 +0000592
593 // Str contains "x[foo]" (Operand without the leading %).
594 std::string Str(Begin, NameEnd + 1 - Begin);
595
596 // (BeginLoc, EndLoc) represents the range of the operand we are currently
597 // processing. Unlike Str, the range includes the leading '%'.
598 SourceLocation BeginLoc =
599 getAsmString()->getLocationOfByte(Percent - StrStart, SM, LO, TI);
600 SourceLocation EndLoc =
601 getAsmString()->getLocationOfByte(NameEnd + 1 - StrStart, SM, LO, TI);
602
603 Pieces.push_back(AsmStringPiece(N, Str, BeginLoc, EndLoc));
Mike Stump11289f42009-09-09 15:08:12 +0000604
Chris Lattner3fa25c62009-03-11 00:06:36 +0000605 CurPtr = NameEnd+1;
Chris Lattner35b58362009-03-10 23:21:44 +0000606 continue;
607 }
Mike Stump11289f42009-09-09 15:08:12 +0000608
Chris Lattner0cdaa2e2009-03-10 23:57:07 +0000609 DiagOffs = CurPtr-StrStart-1;
Chris Lattnera41b8472009-03-10 23:51:40 +0000610 return diag::err_asm_invalid_escape;
Chris Lattner35b58362009-03-10 23:21:44 +0000611 }
612}
Chad Rosier3b0c2602012-08-27 20:23:31 +0000613
614/// Assemble final IR asm string (GCC-style).
Craig Topperc571c812013-08-22 06:02:26 +0000615std::string GCCAsmStmt::generateAsmString(const ASTContext &C) const {
Chad Rosier14836ba2012-08-24 17:05:45 +0000616 // Analyze the asm string to decompose it into its pieces. We know that Sema
617 // has already done this, so it is guaranteed to be successful.
Chad Rosierde70e0e2012-08-25 00:11:56 +0000618 SmallVector<GCCAsmStmt::AsmStringPiece, 4> Pieces;
Chad Rosier14836ba2012-08-24 17:05:45 +0000619 unsigned DiagOffs;
620 AnalyzeAsmString(Pieces, C, DiagOffs);
621
622 std::string AsmString;
623 for (unsigned i = 0, e = Pieces.size(); i != e; ++i) {
624 if (Pieces[i].isString())
625 AsmString += Pieces[i].getString();
626 else if (Pieces[i].getModifier() == '\0')
627 AsmString += '$' + llvm::utostr(Pieces[i].getOperandNo());
628 else
629 AsmString += "${" + llvm::utostr(Pieces[i].getOperandNo()) + ':' +
630 Pieces[i].getModifier() + '}';
631 }
632 return AsmString;
633}
Chris Lattner35b58362009-03-10 23:21:44 +0000634
Chad Rosier3b0c2602012-08-27 20:23:31 +0000635/// Assemble final IR asm string (MS-style).
Craig Topperc571c812013-08-22 06:02:26 +0000636std::string MSAsmStmt::generateAsmString(const ASTContext &C) const {
Chad Rosier3b0c2602012-08-27 20:23:31 +0000637 // FIXME: This needs to be translated into the IR string representation.
Chad Rosier0bca4692012-08-28 20:33:49 +0000638 return AsmStr;
Chad Rosier3b0c2602012-08-27 20:23:31 +0000639}
640
Chad Rosierfe31e622012-08-24 00:07:09 +0000641Expr *MSAsmStmt::getOutputExpr(unsigned i) {
642 return cast<Expr>(Exprs[i]);
643}
644
645Expr *MSAsmStmt::getInputExpr(unsigned i) {
646 return cast<Expr>(Exprs[i + NumOutputs]);
647}
648void MSAsmStmt::setInputExpr(unsigned i, Expr *E) {
649 Exprs[i + NumOutputs] = E;
650}
651
Sam Weinigebcea982010-02-03 02:09:59 +0000652QualType CXXCatchStmt::getCaughtType() const {
653 if (ExceptionDecl)
654 return ExceptionDecl->getType();
655 return QualType();
656}
657
Chris Lattner86f5e132008-01-30 05:01:46 +0000658//===----------------------------------------------------------------------===//
659// Constructors
660//===----------------------------------------------------------------------===//
661
Craig Toppere6960e22013-08-22 05:28:54 +0000662GCCAsmStmt::GCCAsmStmt(const ASTContext &C, SourceLocation asmloc,
663 bool issimple, bool isvolatile, unsigned numoutputs,
664 unsigned numinputs, IdentifierInfo **names,
665 StringLiteral **constraints, Expr **exprs,
666 StringLiteral *asmstr, unsigned numclobbers,
667 StringLiteral **clobbers, SourceLocation rparenloc)
Chad Rosierfe3352e2012-08-27 19:38:01 +0000668 : AsmStmt(GCCAsmStmtClass, asmloc, issimple, isvolatile, numoutputs,
669 numinputs, numclobbers), RParenLoc(rparenloc), AsmStr(asmstr) {
Nico Weberde565e32008-08-05 23:15:29 +0000670
Chad Rosier42032fa2012-08-07 23:12:23 +0000671 unsigned NumExprs = NumOutputs + NumInputs;
672
Anders Carlsson98323d22010-01-30 23:19:41 +0000673 Names = new (C) IdentifierInfo*[NumExprs];
674 std::copy(names, names + NumExprs, Names);
675
676 Exprs = new (C) Stmt*[NumExprs];
677 std::copy(exprs, exprs + NumExprs, Exprs);
678
679 Constraints = new (C) StringLiteral*[NumExprs];
680 std::copy(constraints, constraints + NumExprs, Constraints);
681
682 Clobbers = new (C) StringLiteral*[NumClobbers];
683 std::copy(clobbers, clobbers + NumClobbers, Clobbers);
Anders Carlsson94ea8aa2007-11-22 01:36:19 +0000684}
685
Craig Toppere6960e22013-08-22 05:28:54 +0000686MSAsmStmt::MSAsmStmt(const ASTContext &C, SourceLocation asmloc,
Chad Rosier7dbef3e2012-08-16 00:06:53 +0000687 SourceLocation lbraceloc, bool issimple, bool isvolatile,
Chad Rosierf8037a12012-10-16 21:55:39 +0000688 ArrayRef<Token> asmtoks, unsigned numoutputs,
John McCallf413f5e2013-05-03 00:10:13 +0000689 unsigned numinputs,
Chad Rosierf8037a12012-10-16 21:55:39 +0000690 ArrayRef<StringRef> constraints, ArrayRef<Expr*> exprs,
691 StringRef asmstr, ArrayRef<StringRef> clobbers,
692 SourceLocation endloc)
693 : AsmStmt(MSAsmStmtClass, asmloc, issimple, isvolatile, numoutputs,
694 numinputs, clobbers.size()), LBraceLoc(lbraceloc),
John McCallf413f5e2013-05-03 00:10:13 +0000695 EndLoc(endloc), NumAsmToks(asmtoks.size()) {
Chad Rosier7dbef3e2012-08-16 00:06:53 +0000696
John McCallf413f5e2013-05-03 00:10:13 +0000697 initialize(C, asmstr, asmtoks, constraints, exprs, clobbers);
698}
Chad Rosier7dbef3e2012-08-16 00:06:53 +0000699
Craig Toppere6960e22013-08-22 05:28:54 +0000700static StringRef copyIntoContext(const ASTContext &C, StringRef str) {
John McCallf413f5e2013-05-03 00:10:13 +0000701 size_t size = str.size();
702 char *buffer = new (C) char[size];
703 memcpy(buffer, str.data(), size);
704 return StringRef(buffer, size);
705}
706
Craig Toppere6960e22013-08-22 05:28:54 +0000707void MSAsmStmt::initialize(const ASTContext &C, StringRef asmstr,
John McCallf413f5e2013-05-03 00:10:13 +0000708 ArrayRef<Token> asmtoks,
709 ArrayRef<StringRef> constraints,
710 ArrayRef<Expr*> exprs,
711 ArrayRef<StringRef> clobbers) {
712 assert(NumAsmToks == asmtoks.size());
713 assert(NumClobbers == clobbers.size());
714
715 unsigned NumExprs = exprs.size();
716 assert(NumExprs == NumOutputs + NumInputs);
717 assert(NumExprs == constraints.size());
718
719 AsmStr = copyIntoContext(C, asmstr);
Chad Rosier99fc3812012-08-07 00:29:06 +0000720
Chad Rosierfe31e622012-08-24 00:07:09 +0000721 Exprs = new (C) Stmt*[NumExprs];
Chad Rosierf8037a12012-10-16 21:55:39 +0000722 for (unsigned i = 0, e = NumExprs; i != e; ++i)
723 Exprs[i] = exprs[i];
Chad Rosierfe31e622012-08-24 00:07:09 +0000724
Chad Rosier99fc3812012-08-07 00:29:06 +0000725 AsmToks = new (C) Token[NumAsmToks];
726 for (unsigned i = 0, e = NumAsmToks; i != e; ++i)
727 AsmToks[i] = asmtoks[i];
Chad Rosier3ed0bd92012-08-08 19:48:07 +0000728
Chad Rosier3dd7bf22012-08-28 20:28:20 +0000729 Constraints = new (C) StringRef[NumExprs];
730 for (unsigned i = 0, e = NumExprs; i != e; ++i) {
John McCallf413f5e2013-05-03 00:10:13 +0000731 Constraints[i] = copyIntoContext(C, constraints[i]);
Chad Rosier3dd7bf22012-08-28 20:28:20 +0000732 }
733
Chad Rosierbaf53f92012-08-10 21:36:25 +0000734 Clobbers = new (C) StringRef[NumClobbers];
Chad Rosierd6ef7042012-08-10 21:06:19 +0000735 for (unsigned i = 0, e = NumClobbers; i != e; ++i) {
736 // FIXME: Avoid the allocation/copy if at all possible.
John McCallf413f5e2013-05-03 00:10:13 +0000737 Clobbers[i] = copyIntoContext(C, clobbers[i]);
Chad Rosierd6ef7042012-08-10 21:06:19 +0000738 }
Chad Rosier32503022012-06-11 20:47:18 +0000739}
740
Chris Lattner86f5e132008-01-30 05:01:46 +0000741ObjCForCollectionStmt::ObjCForCollectionStmt(Stmt *Elem, Expr *Collect,
742 Stmt *Body, SourceLocation FCL,
Nico Weberde565e32008-08-05 23:15:29 +0000743 SourceLocation RPL)
Chris Lattner86f5e132008-01-30 05:01:46 +0000744: Stmt(ObjCForCollectionStmtClass) {
745 SubExprs[ELEM] = Elem;
Pavel Labath515f4db2013-09-03 14:41:16 +0000746 SubExprs[COLLECTION] = Collect;
Chris Lattner86f5e132008-01-30 05:01:46 +0000747 SubExprs[BODY] = Body;
748 ForLoc = FCL;
749 RParenLoc = RPL;
750}
751
Douglas Gregor96c79492010-04-23 22:50:49 +0000752ObjCAtTryStmt::ObjCAtTryStmt(SourceLocation atTryLoc, Stmt *atTryStmt,
753 Stmt **CatchStmts, unsigned NumCatchStmts,
754 Stmt *atFinallyStmt)
755 : Stmt(ObjCAtTryStmtClass), AtTryLoc(atTryLoc),
Craig Topper36250ad2014-05-12 05:36:57 +0000756 NumCatchStmts(NumCatchStmts), HasFinally(atFinallyStmt != nullptr) {
Douglas Gregor96c79492010-04-23 22:50:49 +0000757 Stmt **Stmts = getStmts();
758 Stmts[0] = atTryStmt;
759 for (unsigned I = 0; I != NumCatchStmts; ++I)
760 Stmts[I + 1] = CatchStmts[I];
Chad Rosier42032fa2012-08-07 23:12:23 +0000761
Douglas Gregor96c79492010-04-23 22:50:49 +0000762 if (HasFinally)
763 Stmts[NumCatchStmts + 1] = atFinallyStmt;
764}
Chris Lattner86f5e132008-01-30 05:01:46 +0000765
Craig Toppere6960e22013-08-22 05:28:54 +0000766ObjCAtTryStmt *ObjCAtTryStmt::Create(const ASTContext &Context,
Chad Rosier42032fa2012-08-07 23:12:23 +0000767 SourceLocation atTryLoc,
Douglas Gregor96c79492010-04-23 22:50:49 +0000768 Stmt *atTryStmt,
Chad Rosier42032fa2012-08-07 23:12:23 +0000769 Stmt **CatchStmts,
Douglas Gregor96c79492010-04-23 22:50:49 +0000770 unsigned NumCatchStmts,
771 Stmt *atFinallyStmt) {
Chad Rosier42032fa2012-08-07 23:12:23 +0000772 unsigned Size = sizeof(ObjCAtTryStmt) +
Craig Topper36250ad2014-05-12 05:36:57 +0000773 (1 + NumCatchStmts + (atFinallyStmt != nullptr)) * sizeof(Stmt *);
Chris Lattner5c0b4052010-10-30 05:14:06 +0000774 void *Mem = Context.Allocate(Size, llvm::alignOf<ObjCAtTryStmt>());
Douglas Gregor96c79492010-04-23 22:50:49 +0000775 return new (Mem) ObjCAtTryStmt(atTryLoc, atTryStmt, CatchStmts, NumCatchStmts,
776 atFinallyStmt);
777}
Ted Kremeneka4965842008-02-01 21:28:59 +0000778
Craig Toppere6960e22013-08-22 05:28:54 +0000779ObjCAtTryStmt *ObjCAtTryStmt::CreateEmpty(const ASTContext &Context,
780 unsigned NumCatchStmts,
781 bool HasFinally) {
Chad Rosier42032fa2012-08-07 23:12:23 +0000782 unsigned Size = sizeof(ObjCAtTryStmt) +
Douglas Gregor96c79492010-04-23 22:50:49 +0000783 (1 + NumCatchStmts + HasFinally) * sizeof(Stmt *);
Chris Lattner5c0b4052010-10-30 05:14:06 +0000784 void *Mem = Context.Allocate(Size, llvm::alignOf<ObjCAtTryStmt>());
Chad Rosier42032fa2012-08-07 23:12:23 +0000785 return new (Mem) ObjCAtTryStmt(EmptyShell(), NumCatchStmts, HasFinally);
Douglas Gregor96c79492010-04-23 22:50:49 +0000786}
Nico Weberde565e32008-08-05 23:15:29 +0000787
Erik Verbruggen11a2ecc2012-12-25 14:51:39 +0000788SourceLocation ObjCAtTryStmt::getLocEnd() const {
Douglas Gregor96c79492010-04-23 22:50:49 +0000789 if (HasFinally)
Erik Verbruggen11a2ecc2012-12-25 14:51:39 +0000790 return getFinallyStmt()->getLocEnd();
791 if (NumCatchStmts)
792 return getCatchStmt(NumCatchStmts - 1)->getLocEnd();
793 return getTryBody()->getLocEnd();
Chris Lattner86f5e132008-01-30 05:01:46 +0000794}
795
Craig Toppere6960e22013-08-22 05:28:54 +0000796CXXTryStmt *CXXTryStmt::Create(const ASTContext &C, SourceLocation tryLoc,
Nico Weber9dff3782012-12-29 20:13:03 +0000797 Stmt *tryBlock, ArrayRef<Stmt*> handlers) {
Sam Weiniga16b0dd2010-02-03 03:56:39 +0000798 std::size_t Size = sizeof(CXXTryStmt);
Nico Weber9dff3782012-12-29 20:13:03 +0000799 Size += ((handlers.size() + 1) * sizeof(Stmt));
Sam Weiniga16b0dd2010-02-03 03:56:39 +0000800
Chris Lattner5c0b4052010-10-30 05:14:06 +0000801 void *Mem = C.Allocate(Size, llvm::alignOf<CXXTryStmt>());
Nico Weber9dff3782012-12-29 20:13:03 +0000802 return new (Mem) CXXTryStmt(tryLoc, tryBlock, handlers);
Sam Weiniga16b0dd2010-02-03 03:56:39 +0000803}
804
Craig Toppere6960e22013-08-22 05:28:54 +0000805CXXTryStmt *CXXTryStmt::Create(const ASTContext &C, EmptyShell Empty,
Argyrios Kyrtzidis47cd7a92010-07-22 16:03:56 +0000806 unsigned numHandlers) {
807 std::size_t Size = sizeof(CXXTryStmt);
808 Size += ((numHandlers + 1) * sizeof(Stmt));
809
Chris Lattner5c0b4052010-10-30 05:14:06 +0000810 void *Mem = C.Allocate(Size, llvm::alignOf<CXXTryStmt>());
Argyrios Kyrtzidis47cd7a92010-07-22 16:03:56 +0000811 return new (Mem) CXXTryStmt(Empty, numHandlers);
812}
813
Sam Weiniga16b0dd2010-02-03 03:56:39 +0000814CXXTryStmt::CXXTryStmt(SourceLocation tryLoc, Stmt *tryBlock,
Nico Weber9dff3782012-12-29 20:13:03 +0000815 ArrayRef<Stmt*> handlers)
816 : Stmt(CXXTryStmtClass), TryLoc(tryLoc), NumHandlers(handlers.size()) {
Sam Weiniga16b0dd2010-02-03 03:56:39 +0000817 Stmt **Stmts = reinterpret_cast<Stmt **>(this + 1);
Sam Weinigebcea982010-02-03 02:09:59 +0000818 Stmts[0] = tryBlock;
Nico Weber9dff3782012-12-29 20:13:03 +0000819 std::copy(handlers.begin(), handlers.end(), Stmts + 1);
Sam Weinigebcea982010-02-03 02:09:59 +0000820}
821
Richard Smith02e85f32011-04-14 22:09:26 +0000822CXXForRangeStmt::CXXForRangeStmt(DeclStmt *Range, DeclStmt *BeginEndStmt,
823 Expr *Cond, Expr *Inc, DeclStmt *LoopVar,
824 Stmt *Body, SourceLocation FL,
825 SourceLocation CL, SourceLocation RPL)
826 : Stmt(CXXForRangeStmtClass), ForLoc(FL), ColonLoc(CL), RParenLoc(RPL) {
827 SubExprs[RANGE] = Range;
828 SubExprs[BEGINEND] = BeginEndStmt;
Pavel Labath515f4db2013-09-03 14:41:16 +0000829 SubExprs[COND] = Cond;
830 SubExprs[INC] = Inc;
Richard Smith02e85f32011-04-14 22:09:26 +0000831 SubExprs[LOOPVAR] = LoopVar;
832 SubExprs[BODY] = Body;
833}
834
835Expr *CXXForRangeStmt::getRangeInit() {
836 DeclStmt *RangeStmt = getRangeStmt();
837 VarDecl *RangeDecl = dyn_cast_or_null<VarDecl>(RangeStmt->getSingleDecl());
Richard Trieu86738692014-02-27 23:59:14 +0000838 assert(RangeDecl && "for-range should have a single var decl");
Richard Smith02e85f32011-04-14 22:09:26 +0000839 return RangeDecl->getInit();
840}
841
842const Expr *CXXForRangeStmt::getRangeInit() const {
843 return const_cast<CXXForRangeStmt*>(this)->getRangeInit();
844}
845
846VarDecl *CXXForRangeStmt::getLoopVariable() {
847 Decl *LV = cast<DeclStmt>(getLoopVarStmt())->getSingleDecl();
848 assert(LV && "No loop variable in CXXForRangeStmt");
849 return cast<VarDecl>(LV);
850}
851
852const VarDecl *CXXForRangeStmt::getLoopVariable() const {
853 return const_cast<CXXForRangeStmt*>(this)->getLoopVariable();
854}
855
Craig Toppere6960e22013-08-22 05:28:54 +0000856IfStmt::IfStmt(const ASTContext &C, SourceLocation IL, VarDecl *var, Expr *cond,
Argyrios Kyrtzidisde2bdf62010-11-20 02:04:01 +0000857 Stmt *then, SourceLocation EL, Stmt *elsev)
858 : Stmt(IfStmtClass), IfLoc(IL), ElseLoc(EL)
Douglas Gregor27b98ea2010-06-21 23:44:13 +0000859{
860 setConditionVariable(C, var);
Pavel Labath515f4db2013-09-03 14:41:16 +0000861 SubExprs[COND] = cond;
Douglas Gregor27b98ea2010-06-21 23:44:13 +0000862 SubExprs[THEN] = then;
Chad Rosier42032fa2012-08-07 23:12:23 +0000863 SubExprs[ELSE] = elsev;
Douglas Gregor27b98ea2010-06-21 23:44:13 +0000864}
865
866VarDecl *IfStmt::getConditionVariable() const {
867 if (!SubExprs[VAR])
Craig Topper36250ad2014-05-12 05:36:57 +0000868 return nullptr;
Chad Rosier42032fa2012-08-07 23:12:23 +0000869
Douglas Gregor27b98ea2010-06-21 23:44:13 +0000870 DeclStmt *DS = cast<DeclStmt>(SubExprs[VAR]);
871 return cast<VarDecl>(DS->getSingleDecl());
872}
873
Craig Toppere6960e22013-08-22 05:28:54 +0000874void IfStmt::setConditionVariable(const ASTContext &C, VarDecl *V) {
Douglas Gregor27b98ea2010-06-21 23:44:13 +0000875 if (!V) {
Craig Topper36250ad2014-05-12 05:36:57 +0000876 SubExprs[VAR] = nullptr;
Douglas Gregor27b98ea2010-06-21 23:44:13 +0000877 return;
878 }
Chad Rosier42032fa2012-08-07 23:12:23 +0000879
Daniel Dunbar62ee6412012-03-09 18:35:03 +0000880 SourceRange VarRange = V->getSourceRange();
881 SubExprs[VAR] = new (C) DeclStmt(DeclGroupRef(V), VarRange.getBegin(),
882 VarRange.getEnd());
Douglas Gregor27b98ea2010-06-21 23:44:13 +0000883}
884
Craig Toppere6960e22013-08-22 05:28:54 +0000885ForStmt::ForStmt(const ASTContext &C, Stmt *Init, Expr *Cond, VarDecl *condVar,
Chad Rosier42032fa2012-08-07 23:12:23 +0000886 Expr *Inc, Stmt *Body, SourceLocation FL, SourceLocation LP,
Douglas Gregor27b98ea2010-06-21 23:44:13 +0000887 SourceLocation RP)
Chad Rosier42032fa2012-08-07 23:12:23 +0000888 : Stmt(ForStmtClass), ForLoc(FL), LParenLoc(LP), RParenLoc(RP)
Douglas Gregor27b98ea2010-06-21 23:44:13 +0000889{
890 SubExprs[INIT] = Init;
891 setConditionVariable(C, condVar);
Pavel Labath515f4db2013-09-03 14:41:16 +0000892 SubExprs[COND] = Cond;
893 SubExprs[INC] = Inc;
Douglas Gregor27b98ea2010-06-21 23:44:13 +0000894 SubExprs[BODY] = Body;
895}
896
897VarDecl *ForStmt::getConditionVariable() const {
898 if (!SubExprs[CONDVAR])
Craig Topper36250ad2014-05-12 05:36:57 +0000899 return nullptr;
Chad Rosier42032fa2012-08-07 23:12:23 +0000900
Douglas Gregor27b98ea2010-06-21 23:44:13 +0000901 DeclStmt *DS = cast<DeclStmt>(SubExprs[CONDVAR]);
902 return cast<VarDecl>(DS->getSingleDecl());
903}
904
Craig Toppere6960e22013-08-22 05:28:54 +0000905void ForStmt::setConditionVariable(const ASTContext &C, VarDecl *V) {
Douglas Gregor27b98ea2010-06-21 23:44:13 +0000906 if (!V) {
Craig Topper36250ad2014-05-12 05:36:57 +0000907 SubExprs[CONDVAR] = nullptr;
Douglas Gregor27b98ea2010-06-21 23:44:13 +0000908 return;
909 }
Chad Rosier42032fa2012-08-07 23:12:23 +0000910
Daniel Dunbar62ee6412012-03-09 18:35:03 +0000911 SourceRange VarRange = V->getSourceRange();
912 SubExprs[CONDVAR] = new (C) DeclStmt(DeclGroupRef(V), VarRange.getBegin(),
913 VarRange.getEnd());
Douglas Gregor27b98ea2010-06-21 23:44:13 +0000914}
915
Craig Toppere6960e22013-08-22 05:28:54 +0000916SwitchStmt::SwitchStmt(const ASTContext &C, VarDecl *Var, Expr *cond)
Craig Topper36250ad2014-05-12 05:36:57 +0000917 : Stmt(SwitchStmtClass), FirstCase(nullptr), AllEnumCasesCovered(0)
Douglas Gregor27b98ea2010-06-21 23:44:13 +0000918{
919 setConditionVariable(C, Var);
Pavel Labath515f4db2013-09-03 14:41:16 +0000920 SubExprs[COND] = cond;
Craig Topper36250ad2014-05-12 05:36:57 +0000921 SubExprs[BODY] = nullptr;
Douglas Gregor27b98ea2010-06-21 23:44:13 +0000922}
923
924VarDecl *SwitchStmt::getConditionVariable() const {
925 if (!SubExprs[VAR])
Craig Topper36250ad2014-05-12 05:36:57 +0000926 return nullptr;
Chad Rosier42032fa2012-08-07 23:12:23 +0000927
Douglas Gregor27b98ea2010-06-21 23:44:13 +0000928 DeclStmt *DS = cast<DeclStmt>(SubExprs[VAR]);
929 return cast<VarDecl>(DS->getSingleDecl());
930}
931
Craig Toppere6960e22013-08-22 05:28:54 +0000932void SwitchStmt::setConditionVariable(const ASTContext &C, VarDecl *V) {
Douglas Gregor27b98ea2010-06-21 23:44:13 +0000933 if (!V) {
Craig Topper36250ad2014-05-12 05:36:57 +0000934 SubExprs[VAR] = nullptr;
Douglas Gregor27b98ea2010-06-21 23:44:13 +0000935 return;
936 }
Chad Rosier42032fa2012-08-07 23:12:23 +0000937
Daniel Dunbar62ee6412012-03-09 18:35:03 +0000938 SourceRange VarRange = V->getSourceRange();
939 SubExprs[VAR] = new (C) DeclStmt(DeclGroupRef(V), VarRange.getBegin(),
940 VarRange.getEnd());
Douglas Gregor27b98ea2010-06-21 23:44:13 +0000941}
942
John McCallbd066782011-02-09 08:16:59 +0000943Stmt *SwitchCase::getSubStmt() {
Chris Lattner80d51eb2011-02-28 00:18:06 +0000944 if (isa<CaseStmt>(this))
945 return cast<CaseStmt>(this)->getSubStmt();
John McCallbd066782011-02-09 08:16:59 +0000946 return cast<DefaultStmt>(this)->getSubStmt();
947}
948
Craig Toppere6960e22013-08-22 05:28:54 +0000949WhileStmt::WhileStmt(const ASTContext &C, VarDecl *Var, Expr *cond, Stmt *body,
Douglas Gregor27b98ea2010-06-21 23:44:13 +0000950 SourceLocation WL)
Chris Lattner80d51eb2011-02-28 00:18:06 +0000951 : Stmt(WhileStmtClass) {
Douglas Gregor27b98ea2010-06-21 23:44:13 +0000952 setConditionVariable(C, Var);
Pavel Labath515f4db2013-09-03 14:41:16 +0000953 SubExprs[COND] = cond;
Douglas Gregor27b98ea2010-06-21 23:44:13 +0000954 SubExprs[BODY] = body;
955 WhileLoc = WL;
956}
957
958VarDecl *WhileStmt::getConditionVariable() const {
959 if (!SubExprs[VAR])
Craig Topper36250ad2014-05-12 05:36:57 +0000960 return nullptr;
Chad Rosier42032fa2012-08-07 23:12:23 +0000961
Douglas Gregor27b98ea2010-06-21 23:44:13 +0000962 DeclStmt *DS = cast<DeclStmt>(SubExprs[VAR]);
963 return cast<VarDecl>(DS->getSingleDecl());
964}
965
Craig Toppere6960e22013-08-22 05:28:54 +0000966void WhileStmt::setConditionVariable(const ASTContext &C, VarDecl *V) {
Douglas Gregor27b98ea2010-06-21 23:44:13 +0000967 if (!V) {
Craig Topper36250ad2014-05-12 05:36:57 +0000968 SubExprs[VAR] = nullptr;
Douglas Gregor27b98ea2010-06-21 23:44:13 +0000969 return;
970 }
Daniel Dunbar62ee6412012-03-09 18:35:03 +0000971
972 SourceRange VarRange = V->getSourceRange();
973 SubExprs[VAR] = new (C) DeclStmt(DeclGroupRef(V), VarRange.getBegin(),
974 VarRange.getEnd());
Douglas Gregor27b98ea2010-06-21 23:44:13 +0000975}
976
Ted Kremenek066dd932007-08-24 21:09:09 +0000977// IndirectGotoStmt
Chris Lattnerc8e630e2011-02-17 07:39:24 +0000978LabelDecl *IndirectGotoStmt::getConstantTarget() {
John McCall9de91602010-10-28 08:53:48 +0000979 if (AddrLabelExpr *E =
980 dyn_cast<AddrLabelExpr>(getTarget()->IgnoreParenImpCasts()))
981 return E->getLabel();
Craig Topper36250ad2014-05-12 05:36:57 +0000982 return nullptr;
John McCall9de91602010-10-28 08:53:48 +0000983}
Ted Kremenek066dd932007-08-24 21:09:09 +0000984
Ted Kremenek066dd932007-08-24 21:09:09 +0000985// ReturnStmt
Ted Kremenekc6501db2008-06-17 03:11:08 +0000986const Expr* ReturnStmt::getRetValue() const {
987 return cast_or_null<Expr>(RetExpr);
988}
989Expr* ReturnStmt::getRetValue() {
990 return cast_or_null<Expr>(RetExpr);
Ted Kremenek066dd932007-08-24 21:09:09 +0000991}
John Wiegley1c0675e2011-04-28 01:08:34 +0000992
Warren Huntf6be4cb2014-07-25 20:52:51 +0000993SEHTryStmt::SEHTryStmt(bool IsCXXTry,
994 SourceLocation TryLoc,
995 Stmt *TryBlock,
996 Stmt *Handler)
997 : Stmt(SEHTryStmtClass),
998 IsCXXTry(IsCXXTry),
999 TryLoc(TryLoc)
1000{
1001 Children[TRY] = TryBlock;
John Wiegley1c0675e2011-04-28 01:08:34 +00001002 Children[HANDLER] = Handler;
1003}
1004
Warren Huntf6be4cb2014-07-25 20:52:51 +00001005SEHTryStmt* SEHTryStmt::Create(const ASTContext &C, bool IsCXXTry,
Craig Toppere6960e22013-08-22 05:28:54 +00001006 SourceLocation TryLoc, Stmt *TryBlock,
Warren Huntf6be4cb2014-07-25 20:52:51 +00001007 Stmt *Handler) {
1008 return new(C) SEHTryStmt(IsCXXTry,TryLoc,TryBlock,Handler);
John Wiegley1c0675e2011-04-28 01:08:34 +00001009}
1010
1011SEHExceptStmt* SEHTryStmt::getExceptHandler() const {
1012 return dyn_cast<SEHExceptStmt>(getHandler());
1013}
1014
1015SEHFinallyStmt* SEHTryStmt::getFinallyHandler() const {
1016 return dyn_cast<SEHFinallyStmt>(getHandler());
1017}
1018
1019SEHExceptStmt::SEHExceptStmt(SourceLocation Loc,
1020 Expr *FilterExpr,
1021 Stmt *Block)
1022 : Stmt(SEHExceptStmtClass),
1023 Loc(Loc)
1024{
Pavel Labath515f4db2013-09-03 14:41:16 +00001025 Children[FILTER_EXPR] = FilterExpr;
John Wiegley1c0675e2011-04-28 01:08:34 +00001026 Children[BLOCK] = Block;
1027}
1028
Craig Toppere6960e22013-08-22 05:28:54 +00001029SEHExceptStmt* SEHExceptStmt::Create(const ASTContext &C, SourceLocation Loc,
1030 Expr *FilterExpr, Stmt *Block) {
John Wiegley1c0675e2011-04-28 01:08:34 +00001031 return new(C) SEHExceptStmt(Loc,FilterExpr,Block);
1032}
1033
1034SEHFinallyStmt::SEHFinallyStmt(SourceLocation Loc,
1035 Stmt *Block)
1036 : Stmt(SEHFinallyStmtClass),
1037 Loc(Loc),
1038 Block(Block)
1039{}
1040
Craig Toppere6960e22013-08-22 05:28:54 +00001041SEHFinallyStmt* SEHFinallyStmt::Create(const ASTContext &C, SourceLocation Loc,
John Wiegley1c0675e2011-04-28 01:08:34 +00001042 Stmt *Block) {
1043 return new(C)SEHFinallyStmt(Loc,Block);
1044}
Tareq A. Siraj24110cc2013-04-16 18:53:08 +00001045
1046CapturedStmt::Capture *CapturedStmt::getStoredCaptures() const {
1047 unsigned Size = sizeof(CapturedStmt) + sizeof(Stmt *) * (NumCaptures + 1);
1048
1049 // Offset of the first Capture object.
1050 unsigned FirstCaptureOffset =
1051 llvm::RoundUpToAlignment(Size, llvm::alignOf<Capture>());
1052
1053 return reinterpret_cast<Capture *>(
1054 reinterpret_cast<char *>(const_cast<CapturedStmt *>(this))
1055 + FirstCaptureOffset);
1056}
1057
Wei Pan17fbf6e2013-05-04 03:59:06 +00001058CapturedStmt::CapturedStmt(Stmt *S, CapturedRegionKind Kind,
1059 ArrayRef<Capture> Captures,
Tareq A. Siraj24110cc2013-04-16 18:53:08 +00001060 ArrayRef<Expr *> CaptureInits,
Tareq A. Siraj6dfa25a2013-04-16 19:37:38 +00001061 CapturedDecl *CD,
Tareq A. Siraj24110cc2013-04-16 18:53:08 +00001062 RecordDecl *RD)
1063 : Stmt(CapturedStmtClass), NumCaptures(Captures.size()),
Wei Pan17fbf6e2013-05-04 03:59:06 +00001064 CapDeclAndKind(CD, Kind), TheRecordDecl(RD) {
Tareq A. Siraj24110cc2013-04-16 18:53:08 +00001065 assert( S && "null captured statement");
Tareq A. Siraj6dfa25a2013-04-16 19:37:38 +00001066 assert(CD && "null captured declaration for captured statement");
Tareq A. Siraj24110cc2013-04-16 18:53:08 +00001067 assert(RD && "null record declaration for captured statement");
1068
1069 // Copy initialization expressions.
1070 Stmt **Stored = getStoredStmts();
1071 for (unsigned I = 0, N = NumCaptures; I != N; ++I)
1072 *Stored++ = CaptureInits[I];
1073
1074 // Copy the statement being captured.
1075 *Stored = S;
1076
1077 // Copy all Capture objects.
1078 Capture *Buffer = getStoredCaptures();
1079 std::copy(Captures.begin(), Captures.end(), Buffer);
1080}
1081
1082CapturedStmt::CapturedStmt(EmptyShell Empty, unsigned NumCaptures)
1083 : Stmt(CapturedStmtClass, Empty), NumCaptures(NumCaptures),
Craig Topper36250ad2014-05-12 05:36:57 +00001084 CapDeclAndKind(nullptr, CR_Default), TheRecordDecl(nullptr) {
1085 getStoredStmts()[NumCaptures] = nullptr;
Tareq A. Siraj24110cc2013-04-16 18:53:08 +00001086}
1087
Craig Toppere6960e22013-08-22 05:28:54 +00001088CapturedStmt *CapturedStmt::Create(const ASTContext &Context, Stmt *S,
Wei Pan17fbf6e2013-05-04 03:59:06 +00001089 CapturedRegionKind Kind,
Tareq A. Siraj24110cc2013-04-16 18:53:08 +00001090 ArrayRef<Capture> Captures,
1091 ArrayRef<Expr *> CaptureInits,
Tareq A. Siraj6dfa25a2013-04-16 19:37:38 +00001092 CapturedDecl *CD,
Tareq A. Siraj24110cc2013-04-16 18:53:08 +00001093 RecordDecl *RD) {
1094 // The layout is
1095 //
1096 // -----------------------------------------------------------
1097 // | CapturedStmt, Init, ..., Init, S, Capture, ..., Capture |
1098 // ----------------^-------------------^----------------------
1099 // getStoredStmts() getStoredCaptures()
1100 //
1101 // where S is the statement being captured.
1102 //
1103 assert(CaptureInits.size() == Captures.size() && "wrong number of arguments");
1104
1105 unsigned Size = sizeof(CapturedStmt) + sizeof(Stmt *) * (Captures.size() + 1);
1106 if (!Captures.empty()) {
1107 // Realign for the following Capture array.
1108 Size = llvm::RoundUpToAlignment(Size, llvm::alignOf<Capture>());
1109 Size += sizeof(Capture) * Captures.size();
1110 }
1111
1112 void *Mem = Context.Allocate(Size);
Wei Pan17fbf6e2013-05-04 03:59:06 +00001113 return new (Mem) CapturedStmt(S, Kind, Captures, CaptureInits, CD, RD);
Tareq A. Siraj24110cc2013-04-16 18:53:08 +00001114}
1115
Craig Toppere6960e22013-08-22 05:28:54 +00001116CapturedStmt *CapturedStmt::CreateDeserialized(const ASTContext &Context,
Tareq A. Siraj24110cc2013-04-16 18:53:08 +00001117 unsigned NumCaptures) {
1118 unsigned Size = sizeof(CapturedStmt) + sizeof(Stmt *) * (NumCaptures + 1);
1119 if (NumCaptures > 0) {
1120 // Realign for the following Capture array.
1121 Size = llvm::RoundUpToAlignment(Size, llvm::alignOf<Capture>());
1122 Size += sizeof(Capture) * NumCaptures;
1123 }
1124
1125 void *Mem = Context.Allocate(Size);
1126 return new (Mem) CapturedStmt(EmptyShell(), NumCaptures);
1127}
1128
1129Stmt::child_range CapturedStmt::children() {
Tareq A. Siraj6dfa25a2013-04-16 19:37:38 +00001130 // Children are captured field initilizers.
1131 return child_range(getStoredStmts(), getStoredStmts() + NumCaptures);
Tareq A. Siraj24110cc2013-04-16 18:53:08 +00001132}
1133
1134bool CapturedStmt::capturesVariable(const VarDecl *Var) const {
Aaron Ballmanc656303a2014-03-14 18:08:33 +00001135 for (const auto &I : captures()) {
1136 if (!I.capturesVariable())
Tareq A. Siraj24110cc2013-04-16 18:53:08 +00001137 continue;
1138
1139 // This does not handle variable redeclarations. This should be
1140 // extended to capture variables with redeclarations, for example
1141 // a thread-private variable in OpenMP.
Aaron Ballmanc656303a2014-03-14 18:08:33 +00001142 if (I.getCapturedVar() == Var)
Tareq A. Siraj24110cc2013-04-16 18:53:08 +00001143 return true;
1144 }
1145
1146 return false;
1147}
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001148
Alexey Bataev758e55e2013-09-06 18:03:48 +00001149StmtRange OMPClause::children() {
1150 switch(getClauseKind()) {
1151 default : break;
1152#define OPENMP_CLAUSE(Name, Class) \
1153 case OMPC_ ## Name : return static_cast<Class *>(this)->children();
1154#include "clang/Basic/OpenMPKinds.def"
1155 }
1156 llvm_unreachable("unknown OMPClause");
1157}
1158
Craig Toppere6960e22013-08-22 05:28:54 +00001159OMPPrivateClause *OMPPrivateClause::Create(const ASTContext &C,
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001160 SourceLocation StartLoc,
1161 SourceLocation LParenLoc,
1162 SourceLocation EndLoc,
1163 ArrayRef<Expr *> VL) {
Alexey Bataev13193812014-02-25 11:25:38 +00001164 void *Mem = C.Allocate(llvm::RoundUpToAlignment(sizeof(OMPPrivateClause),
1165 llvm::alignOf<Expr *>()) +
1166 sizeof(Expr *) * VL.size());
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001167 OMPPrivateClause *Clause = new (Mem) OMPPrivateClause(StartLoc, LParenLoc,
1168 EndLoc, VL.size());
1169 Clause->setVarRefs(VL);
1170 return Clause;
1171}
1172
Craig Toppere6960e22013-08-22 05:28:54 +00001173OMPPrivateClause *OMPPrivateClause::CreateEmpty(const ASTContext &C,
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001174 unsigned N) {
Alexey Bataev13193812014-02-25 11:25:38 +00001175 void *Mem = C.Allocate(llvm::RoundUpToAlignment(sizeof(OMPPrivateClause),
1176 llvm::alignOf<Expr *>()) +
1177 sizeof(Expr *) * N);
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001178 return new (Mem) OMPPrivateClause(N);
1179}
1180
Alexey Bataevd5af8e42013-10-01 05:32:34 +00001181OMPFirstprivateClause *OMPFirstprivateClause::Create(const ASTContext &C,
1182 SourceLocation StartLoc,
1183 SourceLocation LParenLoc,
1184 SourceLocation EndLoc,
1185 ArrayRef<Expr *> VL) {
Alexey Bataev13193812014-02-25 11:25:38 +00001186 void *Mem = C.Allocate(llvm::RoundUpToAlignment(sizeof(OMPFirstprivateClause),
1187 llvm::alignOf<Expr *>()) +
1188 sizeof(Expr *) * VL.size());
Alexey Bataevd5af8e42013-10-01 05:32:34 +00001189 OMPFirstprivateClause *Clause = new (Mem) OMPFirstprivateClause(StartLoc,
1190 LParenLoc,
1191 EndLoc,
1192 VL.size());
1193 Clause->setVarRefs(VL);
1194 return Clause;
1195}
1196
1197OMPFirstprivateClause *OMPFirstprivateClause::CreateEmpty(const ASTContext &C,
1198 unsigned N) {
Alexey Bataev13193812014-02-25 11:25:38 +00001199 void *Mem = C.Allocate(llvm::RoundUpToAlignment(sizeof(OMPFirstprivateClause),
1200 llvm::alignOf<Expr *>()) +
1201 sizeof(Expr *) * N);
Alexey Bataevd5af8e42013-10-01 05:32:34 +00001202 return new (Mem) OMPFirstprivateClause(N);
1203}
1204
Alexander Musman1bb328c2014-06-04 13:06:39 +00001205OMPLastprivateClause *OMPLastprivateClause::Create(const ASTContext &C,
1206 SourceLocation StartLoc,
1207 SourceLocation LParenLoc,
1208 SourceLocation EndLoc,
1209 ArrayRef<Expr *> VL) {
1210 void *Mem = C.Allocate(llvm::RoundUpToAlignment(sizeof(OMPLastprivateClause),
1211 llvm::alignOf<Expr *>()) +
1212 sizeof(Expr *) * VL.size());
1213 OMPLastprivateClause *Clause =
1214 new (Mem) OMPLastprivateClause(StartLoc, LParenLoc, EndLoc, VL.size());
1215 Clause->setVarRefs(VL);
1216 return Clause;
1217}
1218
1219OMPLastprivateClause *OMPLastprivateClause::CreateEmpty(const ASTContext &C,
1220 unsigned N) {
1221 void *Mem = C.Allocate(llvm::RoundUpToAlignment(sizeof(OMPLastprivateClause),
1222 llvm::alignOf<Expr *>()) +
1223 sizeof(Expr *) * N);
1224 return new (Mem) OMPLastprivateClause(N);
1225}
1226
Alexey Bataev758e55e2013-09-06 18:03:48 +00001227OMPSharedClause *OMPSharedClause::Create(const ASTContext &C,
1228 SourceLocation StartLoc,
1229 SourceLocation LParenLoc,
1230 SourceLocation EndLoc,
1231 ArrayRef<Expr *> VL) {
Alexey Bataev13193812014-02-25 11:25:38 +00001232 void *Mem = C.Allocate(llvm::RoundUpToAlignment(sizeof(OMPSharedClause),
1233 llvm::alignOf<Expr *>()) +
1234 sizeof(Expr *) * VL.size());
Alexey Bataev758e55e2013-09-06 18:03:48 +00001235 OMPSharedClause *Clause = new (Mem) OMPSharedClause(StartLoc, LParenLoc,
1236 EndLoc, VL.size());
1237 Clause->setVarRefs(VL);
1238 return Clause;
1239}
1240
1241OMPSharedClause *OMPSharedClause::CreateEmpty(const ASTContext &C,
1242 unsigned N) {
Alexey Bataev13193812014-02-25 11:25:38 +00001243 void *Mem = C.Allocate(llvm::RoundUpToAlignment(sizeof(OMPSharedClause),
1244 llvm::alignOf<Expr *>()) +
1245 sizeof(Expr *) * N);
Alexey Bataev758e55e2013-09-06 18:03:48 +00001246 return new (Mem) OMPSharedClause(N);
1247}
1248
Alexander Musman8dba6642014-04-22 13:09:42 +00001249OMPLinearClause *OMPLinearClause::Create(const ASTContext &C,
1250 SourceLocation StartLoc,
1251 SourceLocation LParenLoc,
1252 SourceLocation ColonLoc,
1253 SourceLocation EndLoc,
1254 ArrayRef<Expr *> VL, Expr *Step) {
1255 void *Mem = C.Allocate(llvm::RoundUpToAlignment(sizeof(OMPLinearClause),
1256 llvm::alignOf<Expr *>()) +
1257 sizeof(Expr *) * (VL.size() + 1));
1258 OMPLinearClause *Clause = new (Mem)
1259 OMPLinearClause(StartLoc, LParenLoc, ColonLoc, EndLoc, VL.size());
1260 Clause->setVarRefs(VL);
1261 Clause->setStep(Step);
1262 return Clause;
1263}
1264
1265OMPLinearClause *OMPLinearClause::CreateEmpty(const ASTContext &C,
1266 unsigned NumVars) {
1267 void *Mem = C.Allocate(llvm::RoundUpToAlignment(sizeof(OMPLinearClause),
1268 llvm::alignOf<Expr *>()) +
1269 sizeof(Expr *) * (NumVars + 1));
1270 return new (Mem) OMPLinearClause(NumVars);
1271}
1272
Alexander Musmanf0d76e72014-05-29 14:36:25 +00001273OMPAlignedClause *
1274OMPAlignedClause::Create(const ASTContext &C, SourceLocation StartLoc,
1275 SourceLocation LParenLoc, SourceLocation ColonLoc,
1276 SourceLocation EndLoc, ArrayRef<Expr *> VL, Expr *A) {
1277 void *Mem = C.Allocate(llvm::RoundUpToAlignment(sizeof(OMPAlignedClause),
1278 llvm::alignOf<Expr *>()) +
1279 sizeof(Expr *) * (VL.size() + 1));
1280 OMPAlignedClause *Clause = new (Mem)
1281 OMPAlignedClause(StartLoc, LParenLoc, ColonLoc, EndLoc, VL.size());
1282 Clause->setVarRefs(VL);
1283 Clause->setAlignment(A);
1284 return Clause;
1285}
1286
1287OMPAlignedClause *OMPAlignedClause::CreateEmpty(const ASTContext &C,
1288 unsigned NumVars) {
1289 void *Mem = C.Allocate(llvm::RoundUpToAlignment(sizeof(OMPAlignedClause),
1290 llvm::alignOf<Expr *>()) +
1291 sizeof(Expr *) * (NumVars + 1));
1292 return new (Mem) OMPAlignedClause(NumVars);
1293}
1294
Alexey Bataevd48bcd82014-03-31 03:36:38 +00001295OMPCopyinClause *OMPCopyinClause::Create(const ASTContext &C,
1296 SourceLocation StartLoc,
1297 SourceLocation LParenLoc,
1298 SourceLocation EndLoc,
1299 ArrayRef<Expr *> VL) {
1300 void *Mem = C.Allocate(llvm::RoundUpToAlignment(sizeof(OMPCopyinClause),
1301 llvm::alignOf<Expr *>()) +
1302 sizeof(Expr *) * VL.size());
1303 OMPCopyinClause *Clause = new (Mem) OMPCopyinClause(StartLoc, LParenLoc,
1304 EndLoc, VL.size());
1305 Clause->setVarRefs(VL);
1306 return Clause;
1307}
1308
1309OMPCopyinClause *OMPCopyinClause::CreateEmpty(const ASTContext &C,
1310 unsigned N) {
1311 void *Mem = C.Allocate(llvm::RoundUpToAlignment(sizeof(OMPCopyinClause),
1312 llvm::alignOf<Expr *>()) +
1313 sizeof(Expr *) * N);
1314 return new (Mem) OMPCopyinClause(N);
1315}
1316
Alexey Bataevbae9a792014-06-27 10:37:06 +00001317OMPCopyprivateClause *OMPCopyprivateClause::Create(const ASTContext &C,
1318 SourceLocation StartLoc,
1319 SourceLocation LParenLoc,
1320 SourceLocation EndLoc,
1321 ArrayRef<Expr *> VL) {
1322 void *Mem = C.Allocate(llvm::RoundUpToAlignment(sizeof(OMPCopyprivateClause),
1323 llvm::alignOf<Expr *>()) +
1324 sizeof(Expr *) * VL.size());
1325 OMPCopyprivateClause *Clause =
1326 new (Mem) OMPCopyprivateClause(StartLoc, LParenLoc, EndLoc, VL.size());
1327 Clause->setVarRefs(VL);
1328 return Clause;
1329}
1330
1331OMPCopyprivateClause *OMPCopyprivateClause::CreateEmpty(const ASTContext &C,
1332 unsigned N) {
1333 void *Mem = C.Allocate(llvm::RoundUpToAlignment(sizeof(OMPCopyprivateClause),
1334 llvm::alignOf<Expr *>()) +
1335 sizeof(Expr *) * N);
1336 return new (Mem) OMPCopyprivateClause(N);
1337}
1338
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001339void OMPExecutableDirective::setClauses(ArrayRef<OMPClause *> Clauses) {
Alexander Musmanfd2b7592014-03-27 15:14:18 +00001340 assert(Clauses.size() == getNumClauses() &&
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001341 "Number of clauses is not the same as the preallocated buffer");
Alexander Musmanfd2b7592014-03-27 15:14:18 +00001342 std::copy(Clauses.begin(), Clauses.end(), getClauses().begin());
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001343}
1344
Alexey Bataevc5e02582014-06-16 07:08:35 +00001345OMPReductionClause *OMPReductionClause::Create(
1346 const ASTContext &C, SourceLocation StartLoc, SourceLocation LParenLoc,
1347 SourceLocation EndLoc, SourceLocation ColonLoc, ArrayRef<Expr *> VL,
1348 NestedNameSpecifierLoc QualifierLoc, const DeclarationNameInfo &NameInfo) {
1349 void *Mem = C.Allocate(llvm::RoundUpToAlignment(sizeof(OMPReductionClause),
1350 llvm::alignOf<Expr *>()) +
1351 sizeof(Expr *) * VL.size());
1352 OMPReductionClause *Clause = new (Mem) OMPReductionClause(
1353 StartLoc, LParenLoc, EndLoc, ColonLoc, VL.size(), QualifierLoc, NameInfo);
1354 Clause->setVarRefs(VL);
1355 return Clause;
1356}
1357
1358OMPReductionClause *OMPReductionClause::CreateEmpty(const ASTContext &C,
1359 unsigned N) {
1360 void *Mem = C.Allocate(llvm::RoundUpToAlignment(sizeof(OMPReductionClause),
1361 llvm::alignOf<Expr *>()) +
1362 sizeof(Expr *) * N);
1363 return new (Mem) OMPReductionClause(N);
1364}
1365
Alexey Bataev6125da92014-07-21 11:26:11 +00001366OMPFlushClause *OMPFlushClause::Create(const ASTContext &C,
1367 SourceLocation StartLoc,
1368 SourceLocation LParenLoc,
1369 SourceLocation EndLoc,
1370 ArrayRef<Expr *> VL) {
1371 void *Mem = C.Allocate(llvm::RoundUpToAlignment(sizeof(OMPFlushClause),
1372 llvm::alignOf<Expr *>()) +
1373 sizeof(Expr *) * VL.size());
1374 OMPFlushClause *Clause =
1375 new (Mem) OMPFlushClause(StartLoc, LParenLoc, EndLoc, VL.size());
1376 Clause->setVarRefs(VL);
1377 return Clause;
1378}
1379
1380OMPFlushClause *OMPFlushClause::CreateEmpty(const ASTContext &C, unsigned N) {
1381 void *Mem = C.Allocate(llvm::RoundUpToAlignment(sizeof(OMPFlushClause),
1382 llvm::alignOf<Expr *>()) +
1383 sizeof(Expr *) * N);
1384 return new (Mem) OMPFlushClause(N);
1385}
1386
Craig Toppercee61332013-08-21 04:01:01 +00001387OMPParallelDirective *OMPParallelDirective::Create(
Craig Toppere6960e22013-08-22 05:28:54 +00001388 const ASTContext &C,
Craig Toppercee61332013-08-21 04:01:01 +00001389 SourceLocation StartLoc,
1390 SourceLocation EndLoc,
1391 ArrayRef<OMPClause *> Clauses,
1392 Stmt *AssociatedStmt) {
Alexey Bataev13193812014-02-25 11:25:38 +00001393 unsigned Size = llvm::RoundUpToAlignment(sizeof(OMPParallelDirective),
1394 llvm::alignOf<OMPClause *>());
1395 void *Mem = C.Allocate(Size + sizeof(OMPClause *) * Clauses.size() +
1396 sizeof(Stmt *));
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001397 OMPParallelDirective *Dir = new (Mem) OMPParallelDirective(StartLoc, EndLoc,
1398 Clauses.size());
1399 Dir->setClauses(Clauses);
1400 Dir->setAssociatedStmt(AssociatedStmt);
1401 return Dir;
1402}
1403
Craig Toppere6960e22013-08-22 05:28:54 +00001404OMPParallelDirective *OMPParallelDirective::CreateEmpty(const ASTContext &C,
Alexey Bataev1b59ab52014-02-27 08:29:12 +00001405 unsigned NumClauses,
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001406 EmptyShell) {
Alexey Bataev13193812014-02-25 11:25:38 +00001407 unsigned Size = llvm::RoundUpToAlignment(sizeof(OMPParallelDirective),
1408 llvm::alignOf<OMPClause *>());
Alexey Bataev1b59ab52014-02-27 08:29:12 +00001409 void *Mem = C.Allocate(Size + sizeof(OMPClause *) * NumClauses +
1410 sizeof(Stmt *));
1411 return new (Mem) OMPParallelDirective(NumClauses);
Alexey Bataev5ec3eb12013-07-19 03:13:43 +00001412}
Alexey Bataev1b59ab52014-02-27 08:29:12 +00001413
Alexey Bataevabfc0692014-06-25 06:52:00 +00001414OMPSimdDirective *
1415OMPSimdDirective::Create(const ASTContext &C, SourceLocation StartLoc,
1416 SourceLocation EndLoc, unsigned CollapsedNum,
1417 ArrayRef<OMPClause *> Clauses, Stmt *AssociatedStmt) {
Alexey Bataev1b59ab52014-02-27 08:29:12 +00001418 unsigned Size = llvm::RoundUpToAlignment(sizeof(OMPSimdDirective),
1419 llvm::alignOf<OMPClause *>());
Alexey Bataevabfc0692014-06-25 06:52:00 +00001420 void *Mem =
1421 C.Allocate(Size + sizeof(OMPClause *) * Clauses.size() + sizeof(Stmt *));
1422 OMPSimdDirective *Dir = new (Mem)
1423 OMPSimdDirective(StartLoc, EndLoc, CollapsedNum, Clauses.size());
Alexey Bataev1b59ab52014-02-27 08:29:12 +00001424 Dir->setClauses(Clauses);
1425 Dir->setAssociatedStmt(AssociatedStmt);
1426 return Dir;
1427}
1428
1429OMPSimdDirective *OMPSimdDirective::CreateEmpty(const ASTContext &C,
1430 unsigned NumClauses,
1431 unsigned CollapsedNum,
1432 EmptyShell) {
1433 unsigned Size = llvm::RoundUpToAlignment(sizeof(OMPSimdDirective),
1434 llvm::alignOf<OMPClause *>());
Alexey Bataevabfc0692014-06-25 06:52:00 +00001435 void *Mem =
1436 C.Allocate(Size + sizeof(OMPClause *) * NumClauses + sizeof(Stmt *));
Alexey Bataev1b59ab52014-02-27 08:29:12 +00001437 return new (Mem) OMPSimdDirective(CollapsedNum, NumClauses);
1438}
1439
Alexey Bataevabfc0692014-06-25 06:52:00 +00001440OMPForDirective *
1441OMPForDirective::Create(const ASTContext &C, SourceLocation StartLoc,
1442 SourceLocation EndLoc, unsigned CollapsedNum,
1443 ArrayRef<OMPClause *> Clauses, Stmt *AssociatedStmt) {
Alexey Bataevf29276e2014-06-18 04:14:57 +00001444 unsigned Size = llvm::RoundUpToAlignment(sizeof(OMPForDirective),
1445 llvm::alignOf<OMPClause *>());
1446 void *Mem =
1447 C.Allocate(Size + sizeof(OMPClause *) * Clauses.size() + sizeof(Stmt *));
1448 OMPForDirective *Dir =
Alexey Bataevabfc0692014-06-25 06:52:00 +00001449 new (Mem) OMPForDirective(StartLoc, EndLoc, CollapsedNum, Clauses.size());
Alexey Bataevf29276e2014-06-18 04:14:57 +00001450 Dir->setClauses(Clauses);
1451 Dir->setAssociatedStmt(AssociatedStmt);
1452 return Dir;
1453}
1454
1455OMPForDirective *OMPForDirective::CreateEmpty(const ASTContext &C,
1456 unsigned NumClauses,
1457 unsigned CollapsedNum,
1458 EmptyShell) {
1459 unsigned Size = llvm::RoundUpToAlignment(sizeof(OMPForDirective),
1460 llvm::alignOf<OMPClause *>());
1461 void *Mem =
1462 C.Allocate(Size + sizeof(OMPClause *) * NumClauses + sizeof(Stmt *));
1463 return new (Mem) OMPForDirective(CollapsedNum, NumClauses);
1464}
1465
Alexey Bataevd3f8dd22014-06-25 11:44:49 +00001466OMPSectionsDirective *OMPSectionsDirective::Create(
1467 const ASTContext &C, SourceLocation StartLoc, SourceLocation EndLoc,
1468 ArrayRef<OMPClause *> Clauses, Stmt *AssociatedStmt) {
1469 unsigned Size = llvm::RoundUpToAlignment(sizeof(OMPSectionsDirective),
1470 llvm::alignOf<OMPClause *>());
1471 void *Mem =
1472 C.Allocate(Size + sizeof(OMPClause *) * Clauses.size() + sizeof(Stmt *));
1473 OMPSectionsDirective *Dir =
1474 new (Mem) OMPSectionsDirective(StartLoc, EndLoc, Clauses.size());
1475 Dir->setClauses(Clauses);
1476 Dir->setAssociatedStmt(AssociatedStmt);
1477 return Dir;
1478}
1479
1480OMPSectionsDirective *OMPSectionsDirective::CreateEmpty(const ASTContext &C,
1481 unsigned NumClauses,
1482 EmptyShell) {
1483 unsigned Size = llvm::RoundUpToAlignment(sizeof(OMPSectionsDirective),
1484 llvm::alignOf<OMPClause *>());
1485 void *Mem =
1486 C.Allocate(Size + sizeof(OMPClause *) * NumClauses + sizeof(Stmt *));
1487 return new (Mem) OMPSectionsDirective(NumClauses);
1488}
1489
Alexey Bataev1e0498a2014-06-26 08:21:58 +00001490OMPSectionDirective *OMPSectionDirective::Create(const ASTContext &C,
1491 SourceLocation StartLoc,
1492 SourceLocation EndLoc,
1493 Stmt *AssociatedStmt) {
1494 unsigned Size = llvm::RoundUpToAlignment(sizeof(OMPSectionsDirective),
1495 llvm::alignOf<Stmt *>());
1496 void *Mem = C.Allocate(Size + sizeof(Stmt *));
1497 OMPSectionDirective *Dir = new (Mem) OMPSectionDirective(StartLoc, EndLoc);
1498 Dir->setAssociatedStmt(AssociatedStmt);
1499 return Dir;
1500}
1501
1502OMPSectionDirective *OMPSectionDirective::CreateEmpty(const ASTContext &C,
1503 EmptyShell) {
1504 unsigned Size = llvm::RoundUpToAlignment(sizeof(OMPSectionDirective),
1505 llvm::alignOf<Stmt *>());
1506 void *Mem = C.Allocate(Size + sizeof(Stmt *));
1507 return new (Mem) OMPSectionDirective();
1508}
1509
Alexey Bataevd1e40fb2014-06-26 12:05:45 +00001510OMPSingleDirective *OMPSingleDirective::Create(const ASTContext &C,
1511 SourceLocation StartLoc,
1512 SourceLocation EndLoc,
1513 ArrayRef<OMPClause *> Clauses,
1514 Stmt *AssociatedStmt) {
1515 unsigned Size = llvm::RoundUpToAlignment(sizeof(OMPSingleDirective),
1516 llvm::alignOf<OMPClause *>());
1517 void *Mem =
1518 C.Allocate(Size + sizeof(OMPClause *) * Clauses.size() + sizeof(Stmt *));
1519 OMPSingleDirective *Dir =
1520 new (Mem) OMPSingleDirective(StartLoc, EndLoc, Clauses.size());
1521 Dir->setClauses(Clauses);
1522 Dir->setAssociatedStmt(AssociatedStmt);
1523 return Dir;
1524}
1525
1526OMPSingleDirective *OMPSingleDirective::CreateEmpty(const ASTContext &C,
1527 unsigned NumClauses,
1528 EmptyShell) {
1529 unsigned Size = llvm::RoundUpToAlignment(sizeof(OMPSingleDirective),
1530 llvm::alignOf<OMPClause *>());
1531 void *Mem =
1532 C.Allocate(Size + sizeof(OMPClause *) * NumClauses + sizeof(Stmt *));
1533 return new (Mem) OMPSingleDirective(NumClauses);
1534}
1535
Alexander Musman80c22892014-07-17 08:54:58 +00001536OMPMasterDirective *OMPMasterDirective::Create(const ASTContext &C,
1537 SourceLocation StartLoc,
1538 SourceLocation EndLoc,
1539 Stmt *AssociatedStmt) {
1540 unsigned Size = llvm::RoundUpToAlignment(sizeof(OMPMasterDirective),
1541 llvm::alignOf<Stmt *>());
1542 void *Mem = C.Allocate(Size + sizeof(Stmt *));
1543 OMPMasterDirective *Dir = new (Mem) OMPMasterDirective(StartLoc, EndLoc);
1544 Dir->setAssociatedStmt(AssociatedStmt);
1545 return Dir;
1546}
1547
1548OMPMasterDirective *OMPMasterDirective::CreateEmpty(const ASTContext &C,
1549 EmptyShell) {
1550 unsigned Size = llvm::RoundUpToAlignment(sizeof(OMPMasterDirective),
1551 llvm::alignOf<Stmt *>());
1552 void *Mem = C.Allocate(Size + sizeof(Stmt *));
1553 return new (Mem) OMPMasterDirective();
1554}
1555
Alexander Musmand9ed09f2014-07-21 09:42:05 +00001556OMPCriticalDirective *OMPCriticalDirective::Create(
1557 const ASTContext &C, const DeclarationNameInfo &Name,
1558 SourceLocation StartLoc, SourceLocation EndLoc, Stmt *AssociatedStmt) {
1559 unsigned Size = llvm::RoundUpToAlignment(sizeof(OMPCriticalDirective),
1560 llvm::alignOf<Stmt *>());
1561 void *Mem = C.Allocate(Size + sizeof(Stmt *));
1562 OMPCriticalDirective *Dir =
1563 new (Mem) OMPCriticalDirective(Name, StartLoc, EndLoc);
1564 Dir->setAssociatedStmt(AssociatedStmt);
1565 return Dir;
1566}
1567
1568OMPCriticalDirective *OMPCriticalDirective::CreateEmpty(const ASTContext &C,
1569 EmptyShell) {
1570 unsigned Size = llvm::RoundUpToAlignment(sizeof(OMPCriticalDirective),
1571 llvm::alignOf<Stmt *>());
1572 void *Mem = C.Allocate(Size + sizeof(Stmt *));
1573 return new (Mem) OMPCriticalDirective();
1574}
1575
Alexey Bataev4acb8592014-07-07 13:01:15 +00001576OMPParallelForDirective *
1577OMPParallelForDirective::Create(const ASTContext &C, SourceLocation StartLoc,
1578 SourceLocation EndLoc, unsigned CollapsedNum,
1579 ArrayRef<OMPClause *> Clauses,
1580 Stmt *AssociatedStmt) {
1581 unsigned Size = llvm::RoundUpToAlignment(sizeof(OMPParallelForDirective),
1582 llvm::alignOf<OMPClause *>());
1583 void *Mem =
1584 C.Allocate(Size + sizeof(OMPClause *) * Clauses.size() + sizeof(Stmt *));
1585 OMPParallelForDirective *Dir = new (Mem)
1586 OMPParallelForDirective(StartLoc, EndLoc, CollapsedNum, Clauses.size());
1587 Dir->setClauses(Clauses);
1588 Dir->setAssociatedStmt(AssociatedStmt);
1589 return Dir;
1590}
1591
1592OMPParallelForDirective *
1593OMPParallelForDirective::CreateEmpty(const ASTContext &C, unsigned NumClauses,
1594 unsigned CollapsedNum, EmptyShell) {
1595 unsigned Size = llvm::RoundUpToAlignment(sizeof(OMPParallelForDirective),
1596 llvm::alignOf<OMPClause *>());
1597 void *Mem =
1598 C.Allocate(Size + sizeof(OMPClause *) * NumClauses + sizeof(Stmt *));
1599 return new (Mem) OMPParallelForDirective(CollapsedNum, NumClauses);
1600}
1601
Alexey Bataev84d0b3e2014-07-08 08:12:03 +00001602OMPParallelSectionsDirective *OMPParallelSectionsDirective::Create(
1603 const ASTContext &C, SourceLocation StartLoc, SourceLocation EndLoc,
1604 ArrayRef<OMPClause *> Clauses, Stmt *AssociatedStmt) {
1605 unsigned Size = llvm::RoundUpToAlignment(sizeof(OMPParallelSectionsDirective),
1606 llvm::alignOf<OMPClause *>());
1607 void *Mem =
1608 C.Allocate(Size + sizeof(OMPClause *) * Clauses.size() + sizeof(Stmt *));
1609 OMPParallelSectionsDirective *Dir =
1610 new (Mem) OMPParallelSectionsDirective(StartLoc, EndLoc, Clauses.size());
1611 Dir->setClauses(Clauses);
1612 Dir->setAssociatedStmt(AssociatedStmt);
1613 return Dir;
1614}
1615
1616OMPParallelSectionsDirective *
1617OMPParallelSectionsDirective::CreateEmpty(const ASTContext &C,
1618 unsigned NumClauses, EmptyShell) {
1619 unsigned Size = llvm::RoundUpToAlignment(sizeof(OMPParallelSectionsDirective),
1620 llvm::alignOf<OMPClause *>());
1621 void *Mem =
1622 C.Allocate(Size + sizeof(OMPClause *) * NumClauses + sizeof(Stmt *));
1623 return new (Mem) OMPParallelSectionsDirective(NumClauses);
1624}
1625
Alexey Bataev9c2e8ee2014-07-11 11:25:16 +00001626OMPTaskDirective *OMPTaskDirective::Create(const ASTContext &C,
1627 SourceLocation StartLoc,
1628 SourceLocation EndLoc,
1629 ArrayRef<OMPClause *> Clauses,
1630 Stmt *AssociatedStmt) {
1631 unsigned Size = llvm::RoundUpToAlignment(sizeof(OMPTaskDirective),
1632 llvm::alignOf<OMPClause *>());
1633 void *Mem =
1634 C.Allocate(Size + sizeof(OMPClause *) * Clauses.size() + sizeof(Stmt *));
1635 OMPTaskDirective *Dir =
1636 new (Mem) OMPTaskDirective(StartLoc, EndLoc, Clauses.size());
1637 Dir->setClauses(Clauses);
1638 Dir->setAssociatedStmt(AssociatedStmt);
1639 return Dir;
1640}
1641
1642OMPTaskDirective *OMPTaskDirective::CreateEmpty(const ASTContext &C,
1643 unsigned NumClauses,
1644 EmptyShell) {
1645 unsigned Size = llvm::RoundUpToAlignment(sizeof(OMPTaskDirective),
1646 llvm::alignOf<OMPClause *>());
1647 void *Mem =
1648 C.Allocate(Size + sizeof(OMPClause *) * NumClauses + sizeof(Stmt *));
1649 return new (Mem) OMPTaskDirective(NumClauses);
1650}
1651
Alexey Bataev68446b72014-07-18 07:47:19 +00001652OMPTaskyieldDirective *OMPTaskyieldDirective::Create(const ASTContext &C,
1653 SourceLocation StartLoc,
1654 SourceLocation EndLoc) {
1655 void *Mem = C.Allocate(sizeof(OMPTaskyieldDirective));
1656 OMPTaskyieldDirective *Dir =
1657 new (Mem) OMPTaskyieldDirective(StartLoc, EndLoc);
1658 return Dir;
1659}
1660
1661OMPTaskyieldDirective *OMPTaskyieldDirective::CreateEmpty(const ASTContext &C,
1662 EmptyShell) {
1663 void *Mem = C.Allocate(sizeof(OMPTaskyieldDirective));
1664 return new (Mem) OMPTaskyieldDirective();
1665}
1666
Alexey Bataev4d1dfea2014-07-18 09:11:51 +00001667OMPBarrierDirective *OMPBarrierDirective::Create(const ASTContext &C,
1668 SourceLocation StartLoc,
1669 SourceLocation EndLoc) {
1670 void *Mem = C.Allocate(sizeof(OMPBarrierDirective));
1671 OMPBarrierDirective *Dir = new (Mem) OMPBarrierDirective(StartLoc, EndLoc);
1672 return Dir;
1673}
1674
1675OMPBarrierDirective *OMPBarrierDirective::CreateEmpty(const ASTContext &C,
1676 EmptyShell) {
1677 void *Mem = C.Allocate(sizeof(OMPBarrierDirective));
1678 return new (Mem) OMPBarrierDirective();
1679}
1680
Alexey Bataev2df347a2014-07-18 10:17:07 +00001681OMPTaskwaitDirective *OMPTaskwaitDirective::Create(const ASTContext &C,
1682 SourceLocation StartLoc,
1683 SourceLocation EndLoc) {
1684 void *Mem = C.Allocate(sizeof(OMPTaskwaitDirective));
1685 OMPTaskwaitDirective *Dir = new (Mem) OMPTaskwaitDirective(StartLoc, EndLoc);
1686 return Dir;
1687}
1688
1689OMPTaskwaitDirective *OMPTaskwaitDirective::CreateEmpty(const ASTContext &C,
1690 EmptyShell) {
1691 void *Mem = C.Allocate(sizeof(OMPTaskwaitDirective));
1692 return new (Mem) OMPTaskwaitDirective();
1693}
1694
Alexey Bataev6125da92014-07-21 11:26:11 +00001695OMPFlushDirective *OMPFlushDirective::Create(const ASTContext &C,
1696 SourceLocation StartLoc,
1697 SourceLocation EndLoc,
1698 ArrayRef<OMPClause *> Clauses) {
1699 unsigned Size = llvm::RoundUpToAlignment(sizeof(OMPFlushDirective),
1700 llvm::alignOf<OMPClause *>());
1701 void *Mem = C.Allocate(Size + sizeof(OMPClause *) * Clauses.size());
1702 OMPFlushDirective *Dir =
1703 new (Mem) OMPFlushDirective(StartLoc, EndLoc, Clauses.size());
1704 Dir->setClauses(Clauses);
1705 return Dir;
1706}
1707
1708OMPFlushDirective *OMPFlushDirective::CreateEmpty(const ASTContext &C,
1709 unsigned NumClauses,
1710 EmptyShell) {
1711 unsigned Size = llvm::RoundUpToAlignment(sizeof(OMPFlushDirective),
1712 llvm::alignOf<OMPClause *>());
1713 void *Mem = C.Allocate(Size + sizeof(OMPClause *) * NumClauses);
1714 return new (Mem) OMPFlushDirective(NumClauses);
1715}
1716
Alexey Bataev9fb6e642014-07-22 06:45:04 +00001717OMPOrderedDirective *OMPOrderedDirective::Create(const ASTContext &C,
1718 SourceLocation StartLoc,
1719 SourceLocation EndLoc,
1720 Stmt *AssociatedStmt) {
1721 unsigned Size = llvm::RoundUpToAlignment(sizeof(OMPOrderedDirective),
1722 llvm::alignOf<Stmt *>());
1723 void *Mem = C.Allocate(Size + sizeof(Stmt *));
1724 OMPOrderedDirective *Dir = new (Mem) OMPOrderedDirective(StartLoc, EndLoc);
1725 Dir->setAssociatedStmt(AssociatedStmt);
1726 return Dir;
1727}
1728
1729OMPOrderedDirective *OMPOrderedDirective::CreateEmpty(const ASTContext &C,
1730 EmptyShell) {
1731 unsigned Size = llvm::RoundUpToAlignment(sizeof(OMPOrderedDirective),
1732 llvm::alignOf<Stmt *>());
1733 void *Mem = C.Allocate(Size + sizeof(Stmt *));
1734 return new (Mem) OMPOrderedDirective();
1735}
1736
Alexey Bataev0162e452014-07-22 10:10:35 +00001737OMPAtomicDirective *OMPAtomicDirective::Create(const ASTContext &C,
1738 SourceLocation StartLoc,
1739 SourceLocation EndLoc,
1740 ArrayRef<OMPClause *> Clauses,
1741 Stmt *AssociatedStmt) {
1742 unsigned Size = llvm::RoundUpToAlignment(sizeof(OMPAtomicDirective),
1743 llvm::alignOf<OMPClause *>());
1744 void *Mem =
1745 C.Allocate(Size + sizeof(OMPClause *) * Clauses.size() + sizeof(Stmt *));
1746 OMPAtomicDirective *Dir =
1747 new (Mem) OMPAtomicDirective(StartLoc, EndLoc, Clauses.size());
1748 Dir->setClauses(Clauses);
1749 Dir->setAssociatedStmt(AssociatedStmt);
1750 return Dir;
1751}
1752
1753OMPAtomicDirective *OMPAtomicDirective::CreateEmpty(const ASTContext &C,
1754 unsigned NumClauses,
1755 EmptyShell) {
1756 unsigned Size = llvm::RoundUpToAlignment(sizeof(OMPAtomicDirective),
1757 llvm::alignOf<OMPClause *>());
1758 void *Mem =
1759 C.Allocate(Size + sizeof(OMPClause *) * NumClauses + sizeof(Stmt *));
1760 return new (Mem) OMPAtomicDirective(NumClauses);
1761}
1762