blob: a6327c9ea706a0139479e59752e49cc4e3112203 [file] [log] [blame]
Douglas Gregor41ef0c32009-07-28 00:33:38 +00001//===---- StmtProfile.cpp - Profile implementation for Stmt ASTs ----------===//
2//
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//
10// This file implements the Stmt::Profile method, which builds a unique bit
Douglas Gregor00aa3a62009-07-28 16:39:25 +000011// representation that identifies a statement/expression.
Douglas Gregor41ef0c32009-07-28 00:33:38 +000012//
13//===----------------------------------------------------------------------===//
14#include "clang/AST/ASTContext.h"
Douglas Gregor071f4eb2009-07-28 14:44:31 +000015#include "clang/AST/DeclCXX.h"
16#include "clang/AST/DeclObjC.h"
Douglas Gregor41ef0c32009-07-28 00:33:38 +000017#include "clang/AST/DeclTemplate.h"
18#include "clang/AST/Expr.h"
19#include "clang/AST/ExprCXX.h"
20#include "clang/AST/ExprObjC.h"
21#include "clang/AST/StmtVisitor.h"
22#include "llvm/ADT/FoldingSet.h"
23#include "llvm/Support/Compiler.h"
24using namespace clang;
25
26namespace {
27 class VISIBILITY_HIDDEN StmtProfiler : public StmtVisitor<StmtProfiler> {
28 llvm::FoldingSetNodeID &ID;
29 ASTContext &Context;
30 bool Canonical;
Mike Stump1eb44332009-09-09 15:08:12 +000031
Douglas Gregor41ef0c32009-07-28 00:33:38 +000032 public:
33 StmtProfiler(llvm::FoldingSetNodeID &ID, ASTContext &Context,
Mike Stump1eb44332009-09-09 15:08:12 +000034 bool Canonical)
Douglas Gregor41ef0c32009-07-28 00:33:38 +000035 : ID(ID), Context(Context), Canonical(Canonical) { }
Mike Stump1eb44332009-09-09 15:08:12 +000036
Douglas Gregor41ef0c32009-07-28 00:33:38 +000037 void VisitStmt(Stmt *S);
Mike Stump1eb44332009-09-09 15:08:12 +000038
Douglas Gregor3fe81fc2009-07-28 15:27:13 +000039#define STMT(Node, Base) void Visit##Node(Node *S);
Douglas Gregor071f4eb2009-07-28 14:44:31 +000040#include "clang/AST/StmtNodes.def"
Mike Stump1eb44332009-09-09 15:08:12 +000041
Douglas Gregor41ef0c32009-07-28 00:33:38 +000042 /// \brief Visit a declaration that is referenced within an expression
43 /// or statement.
44 void VisitDecl(Decl *D);
Mike Stump1eb44332009-09-09 15:08:12 +000045
46 /// \brief Visit a type that is referenced within an expression or
Douglas Gregor41ef0c32009-07-28 00:33:38 +000047 /// statement.
48 void VisitType(QualType T);
Mike Stump1eb44332009-09-09 15:08:12 +000049
Douglas Gregor41ef0c32009-07-28 00:33:38 +000050 /// \brief Visit a name that occurs within an expression or statement.
51 void VisitName(DeclarationName Name);
Mike Stump1eb44332009-09-09 15:08:12 +000052
Douglas Gregor41ef0c32009-07-28 00:33:38 +000053 /// \brief Visit a nested-name-specifier that occurs within an expression
54 /// or statement.
55 void VisitNestedNameSpecifier(NestedNameSpecifier *NNS);
Mike Stump1eb44332009-09-09 15:08:12 +000056
Douglas Gregor41ef0c32009-07-28 00:33:38 +000057 /// \brief Visit a template name that occurs within an expression or
58 /// statement.
59 void VisitTemplateName(TemplateName Name);
Mike Stump1eb44332009-09-09 15:08:12 +000060
Douglas Gregor41ef0c32009-07-28 00:33:38 +000061 /// \brief Visit template arguments that occur within an expression or
62 /// statement.
63 void VisitTemplateArguments(const TemplateArgument *Args, unsigned NumArgs);
64 };
65}
66
67void StmtProfiler::VisitStmt(Stmt *S) {
68 ID.AddInteger(S->getStmtClass());
69 for (Stmt::child_iterator C = S->child_begin(), CEnd = S->child_end();
70 C != CEnd; ++C)
71 Visit(*C);
72}
73
Douglas Gregor3fe81fc2009-07-28 15:27:13 +000074void StmtProfiler::VisitDeclStmt(DeclStmt *S) {
75 VisitStmt(S);
76 for (DeclStmt::decl_iterator D = S->decl_begin(), DEnd = S->decl_end();
77 D != DEnd; ++D)
78 VisitDecl(*D);
79}
80
81void StmtProfiler::VisitNullStmt(NullStmt *S) {
82 VisitStmt(S);
83}
84
85void StmtProfiler::VisitCompoundStmt(CompoundStmt *S) {
86 VisitStmt(S);
87}
88
89void StmtProfiler::VisitSwitchCase(SwitchCase *S) {
90 VisitStmt(S);
91}
92
93void StmtProfiler::VisitCaseStmt(CaseStmt *S) {
94 VisitStmt(S);
95}
96
97void StmtProfiler::VisitDefaultStmt(DefaultStmt *S) {
98 VisitStmt(S);
99}
100
101void StmtProfiler::VisitLabelStmt(LabelStmt *S) {
102 VisitStmt(S);
103 VisitName(S->getID());
104}
105
106void StmtProfiler::VisitIfStmt(IfStmt *S) {
107 VisitStmt(S);
108}
109
Douglas Gregor828e2262009-07-29 16:09:57 +0000110void StmtProfiler::VisitSwitchStmt(SwitchStmt *S) {
111 VisitStmt(S);
112}
113
Douglas Gregor3fe81fc2009-07-28 15:27:13 +0000114void StmtProfiler::VisitWhileStmt(WhileStmt *S) {
115 VisitStmt(S);
116}
117
118void StmtProfiler::VisitDoStmt(DoStmt *S) {
119 VisitStmt(S);
120}
121
122void StmtProfiler::VisitForStmt(ForStmt *S) {
123 VisitStmt(S);
124}
125
126void StmtProfiler::VisitGotoStmt(GotoStmt *S) {
127 VisitStmt(S);
128 VisitName(S->getLabel()->getID());
129}
130
131void StmtProfiler::VisitIndirectGotoStmt(IndirectGotoStmt *S) {
132 VisitStmt(S);
133}
134
135void StmtProfiler::VisitContinueStmt(ContinueStmt *S) {
136 VisitStmt(S);
137}
138
139void StmtProfiler::VisitBreakStmt(BreakStmt *S) {
140 VisitStmt(S);
141}
142
143void StmtProfiler::VisitReturnStmt(ReturnStmt *S) {
144 VisitStmt(S);
145}
146
147void StmtProfiler::VisitAsmStmt(AsmStmt *S) {
148 VisitStmt(S);
149 ID.AddBoolean(S->isVolatile());
150 ID.AddBoolean(S->isSimple());
151 VisitStringLiteral(S->getAsmString());
152 ID.AddInteger(S->getNumOutputs());
153 for (unsigned I = 0, N = S->getNumOutputs(); I != N; ++I) {
154 ID.AddString(S->getOutputName(I));
155 VisitStringLiteral(S->getOutputConstraintLiteral(I));
156 }
157 ID.AddInteger(S->getNumInputs());
158 for (unsigned I = 0, N = S->getNumInputs(); I != N; ++I) {
159 ID.AddString(S->getInputName(I));
160 VisitStringLiteral(S->getInputConstraintLiteral(I));
161 }
162 ID.AddInteger(S->getNumClobbers());
163 for (unsigned I = 0, N = S->getNumClobbers(); I != N; ++I)
164 VisitStringLiteral(S->getClobber(I));
165}
166
167void StmtProfiler::VisitCXXCatchStmt(CXXCatchStmt *S) {
168 VisitStmt(S);
169 VisitType(S->getCaughtType());
170}
171
172void StmtProfiler::VisitCXXTryStmt(CXXTryStmt *S) {
173 VisitStmt(S);
174}
175
176void StmtProfiler::VisitObjCForCollectionStmt(ObjCForCollectionStmt *S) {
177 VisitStmt(S);
178}
179
180void StmtProfiler::VisitObjCAtCatchStmt(ObjCAtCatchStmt *S) {
181 VisitStmt(S);
182 ID.AddBoolean(S->hasEllipsis());
183 if (S->getCatchParamDecl())
184 VisitType(S->getCatchParamDecl()->getType());
185}
186
187void StmtProfiler::VisitObjCAtFinallyStmt(ObjCAtFinallyStmt *S) {
188 VisitStmt(S);
189}
190
191void StmtProfiler::VisitObjCAtTryStmt(ObjCAtTryStmt *S) {
192 VisitStmt(S);
193}
194
195void StmtProfiler::VisitObjCAtSynchronizedStmt(ObjCAtSynchronizedStmt *S) {
196 VisitStmt(S);
197}
198
199void StmtProfiler::VisitObjCAtThrowStmt(ObjCAtThrowStmt *S) {
200 VisitStmt(S);
201}
202
Douglas Gregor41ef0c32009-07-28 00:33:38 +0000203void StmtProfiler::VisitExpr(Expr *S) {
204 VisitStmt(S);
205}
206
207void StmtProfiler::VisitDeclRefExpr(DeclRefExpr *S) {
208 VisitExpr(S);
Douglas Gregora2813ce2009-10-23 18:54:35 +0000209 VisitNestedNameSpecifier(S->getQualifier());
Douglas Gregor41ef0c32009-07-28 00:33:38 +0000210 VisitDecl(S->getDecl());
Douglas Gregora2813ce2009-10-23 18:54:35 +0000211 VisitTemplateArguments(S->getTemplateArgs(), S->getNumTemplateArgs());
Douglas Gregor41ef0c32009-07-28 00:33:38 +0000212}
213
214void StmtProfiler::VisitPredefinedExpr(PredefinedExpr *S) {
215 VisitExpr(S);
216 ID.AddInteger(S->getIdentType());
217}
218
219void StmtProfiler::VisitIntegerLiteral(IntegerLiteral *S) {
220 VisitExpr(S);
221 S->getValue().Profile(ID);
222}
223
224void StmtProfiler::VisitCharacterLiteral(CharacterLiteral *S) {
225 VisitExpr(S);
226 ID.AddBoolean(S->isWide());
227 ID.AddInteger(S->getValue());
228}
229
230void StmtProfiler::VisitFloatingLiteral(FloatingLiteral *S) {
231 VisitExpr(S);
232 S->getValue().Profile(ID);
233 ID.AddBoolean(S->isExact());
234}
235
236void StmtProfiler::VisitImaginaryLiteral(ImaginaryLiteral *S) {
237 VisitExpr(S);
238}
239
240void StmtProfiler::VisitStringLiteral(StringLiteral *S) {
241 VisitExpr(S);
Daniel Dunbar932eb6d2009-09-22 10:06:21 +0000242 ID.AddString(S->getString());
Douglas Gregor41ef0c32009-07-28 00:33:38 +0000243 ID.AddBoolean(S->isWide());
244}
245
246void StmtProfiler::VisitParenExpr(ParenExpr *S) {
247 VisitExpr(S);
248}
249
Nate Begeman2ef13e52009-08-10 23:49:36 +0000250void StmtProfiler::VisitParenListExpr(ParenListExpr *S) {
251 VisitExpr(S);
252}
253
Douglas Gregor41ef0c32009-07-28 00:33:38 +0000254void StmtProfiler::VisitUnaryOperator(UnaryOperator *S) {
255 VisitExpr(S);
256 ID.AddInteger(S->getOpcode());
257}
258
259void StmtProfiler::VisitSizeOfAlignOfExpr(SizeOfAlignOfExpr *S) {
260 VisitExpr(S);
261 ID.AddBoolean(S->isSizeOf());
262 if (S->isArgumentType())
263 VisitType(S->getArgumentType());
264}
265
266void StmtProfiler::VisitArraySubscriptExpr(ArraySubscriptExpr *S) {
267 VisitExpr(S);
268}
269
270void StmtProfiler::VisitCallExpr(CallExpr *S) {
271 VisitExpr(S);
272}
273
274void StmtProfiler::VisitMemberExpr(MemberExpr *S) {
275 VisitExpr(S);
276 VisitDecl(S->getMemberDecl());
Douglas Gregor83f6faf2009-08-31 23:41:50 +0000277 VisitNestedNameSpecifier(S->getQualifier());
Douglas Gregor41ef0c32009-07-28 00:33:38 +0000278 ID.AddBoolean(S->isArrow());
279}
280
281void StmtProfiler::VisitCompoundLiteralExpr(CompoundLiteralExpr *S) {
282 VisitExpr(S);
283 ID.AddBoolean(S->isFileScope());
284}
285
Douglas Gregor41ef0c32009-07-28 00:33:38 +0000286void StmtProfiler::VisitCastExpr(CastExpr *S) {
287 VisitExpr(S);
288}
289
290void StmtProfiler::VisitImplicitCastExpr(ImplicitCastExpr *S) {
291 VisitCastExpr(S);
292 ID.AddBoolean(S->isLvalueCast());
293}
294
295void StmtProfiler::VisitExplicitCastExpr(ExplicitCastExpr *S) {
296 VisitCastExpr(S);
297 VisitType(S->getTypeAsWritten());
298}
299
300void StmtProfiler::VisitCStyleCastExpr(CStyleCastExpr *S) {
301 VisitExplicitCastExpr(S);
302}
303
304void StmtProfiler::VisitBinaryOperator(BinaryOperator *S) {
305 VisitExpr(S);
306 ID.AddInteger(S->getOpcode());
307}
308
309void StmtProfiler::VisitCompoundAssignOperator(CompoundAssignOperator *S) {
310 VisitBinaryOperator(S);
311}
312
313void StmtProfiler::VisitConditionalOperator(ConditionalOperator *S) {
314 VisitExpr(S);
315}
316
317void StmtProfiler::VisitAddrLabelExpr(AddrLabelExpr *S) {
318 VisitExpr(S);
Douglas Gregor3fe81fc2009-07-28 15:27:13 +0000319 VisitName(S->getLabel()->getID());
Douglas Gregor41ef0c32009-07-28 00:33:38 +0000320}
321
322void StmtProfiler::VisitStmtExpr(StmtExpr *S) {
323 VisitExpr(S);
324}
325
326void StmtProfiler::VisitTypesCompatibleExpr(TypesCompatibleExpr *S) {
327 VisitExpr(S);
328 VisitType(S->getArgType1());
329 VisitType(S->getArgType2());
330}
331
332void StmtProfiler::VisitShuffleVectorExpr(ShuffleVectorExpr *S) {
333 VisitExpr(S);
334}
335
336void StmtProfiler::VisitChooseExpr(ChooseExpr *S) {
337 VisitExpr(S);
338}
339
340void StmtProfiler::VisitGNUNullExpr(GNUNullExpr *S) {
341 VisitExpr(S);
342}
343
Douglas Gregor828e2262009-07-29 16:09:57 +0000344void StmtProfiler::VisitVAArgExpr(VAArgExpr *S) {
345 VisitExpr(S);
346}
347
Douglas Gregor41ef0c32009-07-28 00:33:38 +0000348void StmtProfiler::VisitInitListExpr(InitListExpr *S) {
349 if (S->getSyntacticForm()) {
350 VisitInitListExpr(S->getSyntacticForm());
351 return;
352 }
Mike Stump1eb44332009-09-09 15:08:12 +0000353
Douglas Gregor41ef0c32009-07-28 00:33:38 +0000354 VisitExpr(S);
355}
356
357void StmtProfiler::VisitDesignatedInitExpr(DesignatedInitExpr *S) {
358 VisitExpr(S);
359 ID.AddBoolean(S->usesGNUSyntax());
360 for (DesignatedInitExpr::designators_iterator D = S->designators_begin(),
361 DEnd = S->designators_end();
362 D != DEnd; ++D) {
363 if (D->isFieldDesignator()) {
364 ID.AddInteger(0);
365 VisitName(D->getFieldName());
366 continue;
367 }
Mike Stump1eb44332009-09-09 15:08:12 +0000368
Douglas Gregor41ef0c32009-07-28 00:33:38 +0000369 if (D->isArrayDesignator()) {
370 ID.AddInteger(1);
371 } else {
372 assert(D->isArrayRangeDesignator());
373 ID.AddInteger(2);
374 }
375 ID.AddInteger(D->getFirstExprIndex());
376 }
377}
378
379void StmtProfiler::VisitImplicitValueInitExpr(ImplicitValueInitExpr *S) {
380 VisitExpr(S);
381}
382
383void StmtProfiler::VisitExtVectorElementExpr(ExtVectorElementExpr *S) {
384 VisitExpr(S);
385 VisitName(&S->getAccessor());
386}
387
388void StmtProfiler::VisitBlockExpr(BlockExpr *S) {
389 VisitExpr(S);
390 VisitDecl(S->getBlockDecl());
391}
392
393void StmtProfiler::VisitBlockDeclRefExpr(BlockDeclRefExpr *S) {
394 VisitExpr(S);
395 VisitDecl(S->getDecl());
396 ID.AddBoolean(S->isByRef());
397 ID.AddBoolean(S->isConstQualAdded());
398}
399
400void StmtProfiler::VisitCXXOperatorCallExpr(CXXOperatorCallExpr *S) {
401 VisitCallExpr(S);
402 ID.AddInteger(S->getOperator());
403}
404
405void StmtProfiler::VisitCXXMemberCallExpr(CXXMemberCallExpr *S) {
406 VisitCallExpr(S);
407}
408
409void StmtProfiler::VisitCXXNamedCastExpr(CXXNamedCastExpr *S) {
410 VisitExplicitCastExpr(S);
411}
412
413void StmtProfiler::VisitCXXStaticCastExpr(CXXStaticCastExpr *S) {
414 VisitCXXNamedCastExpr(S);
415}
416
417void StmtProfiler::VisitCXXDynamicCastExpr(CXXDynamicCastExpr *S) {
418 VisitCXXNamedCastExpr(S);
419}
420
421void StmtProfiler::VisitCXXReinterpretCastExpr(CXXReinterpretCastExpr *S) {
422 VisitCXXNamedCastExpr(S);
423}
424
425void StmtProfiler::VisitCXXConstCastExpr(CXXConstCastExpr *S) {
426 VisitCXXNamedCastExpr(S);
427}
428
429void StmtProfiler::VisitCXXBoolLiteralExpr(CXXBoolLiteralExpr *S) {
430 VisitExpr(S);
431 ID.AddBoolean(S->getValue());
432}
433
Douglas Gregor828e2262009-07-29 16:09:57 +0000434void StmtProfiler::VisitCXXNullPtrLiteralExpr(CXXNullPtrLiteralExpr *S) {
435 VisitExpr(S);
436}
437
Douglas Gregor41ef0c32009-07-28 00:33:38 +0000438void StmtProfiler::VisitCXXTypeidExpr(CXXTypeidExpr *S) {
439 VisitExpr(S);
440 if (S->isTypeOperand())
441 VisitType(S->getTypeOperand());
442}
443
444void StmtProfiler::VisitCXXThisExpr(CXXThisExpr *S) {
445 VisitExpr(S);
446}
447
448void StmtProfiler::VisitCXXThrowExpr(CXXThrowExpr *S) {
449 VisitExpr(S);
450}
451
452void StmtProfiler::VisitCXXDefaultArgExpr(CXXDefaultArgExpr *S) {
453 VisitExpr(S);
454 VisitDecl(S->getParam());
455}
456
457void StmtProfiler::VisitCXXBindTemporaryExpr(CXXBindTemporaryExpr *S) {
458 VisitExpr(S);
459 VisitDecl(
460 const_cast<CXXDestructorDecl *>(S->getTemporary()->getDestructor()));
461}
462
463void StmtProfiler::VisitCXXConstructExpr(CXXConstructExpr *S) {
464 VisitExpr(S);
465 VisitDecl(S->getConstructor());
466 ID.AddBoolean(S->isElidable());
467}
468
469void StmtProfiler::VisitCXXFunctionalCastExpr(CXXFunctionalCastExpr *S) {
470 VisitExplicitCastExpr(S);
471}
472
473void StmtProfiler::VisitCXXTemporaryObjectExpr(CXXTemporaryObjectExpr *S) {
474 VisitCXXConstructExpr(S);
475}
476
477void StmtProfiler::VisitCXXZeroInitValueExpr(CXXZeroInitValueExpr *S) {
478 VisitExpr(S);
479}
480
481void StmtProfiler::VisitCXXConditionDeclExpr(CXXConditionDeclExpr *S) {
482 VisitDeclRefExpr(S);
483}
484
485void StmtProfiler::VisitCXXDeleteExpr(CXXDeleteExpr *S) {
486 VisitExpr(S);
487 ID.AddBoolean(S->isGlobalDelete());
488 ID.AddBoolean(S->isArrayForm());
489 VisitDecl(S->getOperatorDelete());
490}
491
492
493void StmtProfiler::VisitCXXNewExpr(CXXNewExpr *S) {
494 VisitExpr(S);
495 VisitType(S->getAllocatedType());
496 VisitDecl(S->getOperatorNew());
497 VisitDecl(S->getOperatorDelete());
498 VisitDecl(S->getConstructor());
499 ID.AddBoolean(S->isArray());
500 ID.AddInteger(S->getNumPlacementArgs());
501 ID.AddBoolean(S->isGlobalNew());
502 ID.AddBoolean(S->isParenTypeId());
503 ID.AddBoolean(S->hasInitializer());
504 ID.AddInteger(S->getNumConstructorArgs());
505}
506
Douglas Gregora71d8192009-09-04 17:36:40 +0000507void StmtProfiler::VisitCXXPseudoDestructorExpr(CXXPseudoDestructorExpr *S) {
508 VisitExpr(S);
509 ID.AddBoolean(S->isArrow());
510 VisitNestedNameSpecifier(S->getQualifier());
511 VisitType(S->getDestroyedType());
512}
513
Mike Stump1eb44332009-09-09 15:08:12 +0000514void
Douglas Gregor41ef0c32009-07-28 00:33:38 +0000515StmtProfiler::VisitUnresolvedFunctionNameExpr(UnresolvedFunctionNameExpr *S) {
516 VisitExpr(S);
517 VisitName(S->getName());
518}
519
520void StmtProfiler::VisitUnaryTypeTraitExpr(UnaryTypeTraitExpr *S) {
521 VisitExpr(S);
522 ID.AddInteger(S->getTrait());
523 VisitType(S->getQueriedType());
524}
525
Douglas Gregor41ef0c32009-07-28 00:33:38 +0000526void StmtProfiler::VisitUnresolvedDeclRefExpr(UnresolvedDeclRefExpr *S) {
527 VisitExpr(S);
528 VisitName(S->getDeclName());
529 VisitNestedNameSpecifier(S->getQualifier());
530 ID.AddBoolean(S->isAddressOfOperand());
531}
532
533void StmtProfiler::VisitTemplateIdRefExpr(TemplateIdRefExpr *S) {
534 VisitExpr(S);
535 VisitNestedNameSpecifier(S->getQualifier());
536 VisitTemplateName(S->getTemplateName());
537 VisitTemplateArguments(S->getTemplateArgs(), S->getNumTemplateArgs());
538}
539
Douglas Gregor071f4eb2009-07-28 14:44:31 +0000540void StmtProfiler::VisitCXXExprWithTemporaries(CXXExprWithTemporaries *S) {
541 VisitExpr(S);
542 ID.AddBoolean(S->shouldDestroyTemporaries());
543 for (unsigned I = 0, N = S->getNumTemporaries(); I != N; ++I)
544 VisitDecl(
545 const_cast<CXXDestructorDecl *>(S->getTemporary(I)->getDestructor()));
546}
547
Mike Stump1eb44332009-09-09 15:08:12 +0000548void
Douglas Gregor071f4eb2009-07-28 14:44:31 +0000549StmtProfiler::VisitCXXUnresolvedConstructExpr(CXXUnresolvedConstructExpr *S) {
550 VisitExpr(S);
551 VisitType(S->getTypeAsWritten());
552}
553
554void StmtProfiler::VisitCXXUnresolvedMemberExpr(CXXUnresolvedMemberExpr *S) {
555 VisitExpr(S);
556 ID.AddBoolean(S->isArrow());
Douglas Gregora38c6872009-09-03 16:14:30 +0000557 VisitNestedNameSpecifier(S->getQualifier());
Douglas Gregor071f4eb2009-07-28 14:44:31 +0000558 VisitName(S->getMember());
559}
560
561void StmtProfiler::VisitObjCStringLiteral(ObjCStringLiteral *S) {
562 VisitExpr(S);
563}
564
565void StmtProfiler::VisitObjCEncodeExpr(ObjCEncodeExpr *S) {
566 VisitExpr(S);
567 VisitType(S->getEncodedType());
568}
569
570void StmtProfiler::VisitObjCSelectorExpr(ObjCSelectorExpr *S) {
571 VisitExpr(S);
572 VisitName(S->getSelector());
573}
574
575void StmtProfiler::VisitObjCProtocolExpr(ObjCProtocolExpr *S) {
576 VisitExpr(S);
577 VisitDecl(S->getProtocol());
578}
579
580void StmtProfiler::VisitObjCIvarRefExpr(ObjCIvarRefExpr *S) {
581 VisitExpr(S);
582 VisitDecl(S->getDecl());
583 ID.AddBoolean(S->isArrow());
584 ID.AddBoolean(S->isFreeIvar());
585}
586
587void StmtProfiler::VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *S) {
588 VisitExpr(S);
589 VisitDecl(S->getProperty());
590}
591
Fariborz Jahanian09105f52009-08-20 17:02:02 +0000592void StmtProfiler::VisitObjCImplicitSetterGetterRefExpr(
593 ObjCImplicitSetterGetterRefExpr *S) {
Douglas Gregor071f4eb2009-07-28 14:44:31 +0000594 VisitExpr(S);
595 VisitDecl(S->getGetterMethod());
596 VisitDecl(S->getSetterMethod());
Fariborz Jahaniand2ae5aa2009-08-18 21:37:33 +0000597 VisitDecl(S->getInterfaceDecl());
Douglas Gregor071f4eb2009-07-28 14:44:31 +0000598}
599
600void StmtProfiler::VisitObjCMessageExpr(ObjCMessageExpr *S) {
601 VisitExpr(S);
602 VisitName(S->getSelector());
603 VisitDecl(S->getMethodDecl());
604}
605
606void StmtProfiler::VisitObjCSuperExpr(ObjCSuperExpr *S) {
607 VisitExpr(S);
608}
609
610void StmtProfiler::VisitObjCIsaExpr(ObjCIsaExpr *S) {
611 VisitExpr(S);
612 ID.AddBoolean(S->isArrow());
613}
614
Douglas Gregord584eb22009-07-28 15:32:17 +0000615void StmtProfiler::VisitDecl(Decl *D) {
Douglas Gregor4a3f7802009-07-31 15:45:02 +0000616 ID.AddInteger(D? D->getKind() : 0);
Mike Stump1eb44332009-09-09 15:08:12 +0000617
Douglas Gregorb1975722009-07-30 23:18:24 +0000618 if (Canonical && D) {
Douglas Gregor6ebd15e2009-07-31 05:24:01 +0000619 if (NonTypeTemplateParmDecl *NTTP = dyn_cast<NonTypeTemplateParmDecl>(D)) {
Douglas Gregord584eb22009-07-28 15:32:17 +0000620 ID.AddInteger(NTTP->getDepth());
621 ID.AddInteger(NTTP->getIndex());
Douglas Gregor828e2262009-07-29 16:09:57 +0000622 VisitType(NTTP->getType());
Douglas Gregor41ef0c32009-07-28 00:33:38 +0000623 return;
624 }
Mike Stump1eb44332009-09-09 15:08:12 +0000625
Douglas Gregor4a3f7802009-07-31 15:45:02 +0000626 if (ParmVarDecl *Parm = dyn_cast<ParmVarDecl>(D)) {
627 // The Itanium C++ ABI uses the type of a parameter when mangling
628 // expressions that involve function parameters, so we will use the
629 // parameter's type for establishing function parameter identity. That
Mike Stump1eb44332009-09-09 15:08:12 +0000630 // way, our definition of "equivalent" (per C++ [temp.over.link])
Douglas Gregor4a3f7802009-07-31 15:45:02 +0000631 // matches the definition of "equivalent" used for name mangling.
632 VisitType(Parm->getType());
633 return;
634 }
Mike Stump1eb44332009-09-09 15:08:12 +0000635
Douglas Gregora2ffb982009-07-31 15:46:56 +0000636 if (TemplateTemplateParmDecl *TTP = dyn_cast<TemplateTemplateParmDecl>(D)) {
637 ID.AddInteger(TTP->getDepth());
638 ID.AddInteger(TTP->getIndex());
639 return;
640 }
Mike Stump1eb44332009-09-09 15:08:12 +0000641
Douglas Gregor6ebd15e2009-07-31 05:24:01 +0000642 if (OverloadedFunctionDecl *Ovl = dyn_cast<OverloadedFunctionDecl>(D)) {
Mike Stump1eb44332009-09-09 15:08:12 +0000643 // The Itanium C++ ABI mangles references to a set of overloaded
Douglas Gregor6f2c46b2009-07-31 16:07:31 +0000644 // functions using just the function name, so we do the same here.
645 VisitName(Ovl->getDeclName());
Douglas Gregor6ebd15e2009-07-31 05:24:01 +0000646 return;
647 }
Douglas Gregor41ef0c32009-07-28 00:33:38 +0000648 }
Mike Stump1eb44332009-09-09 15:08:12 +0000649
Douglas Gregord584eb22009-07-28 15:32:17 +0000650 ID.AddPointer(D? D->getCanonicalDecl() : 0);
651}
652
653void StmtProfiler::VisitType(QualType T) {
654 if (Canonical)
655 T = Context.getCanonicalType(T);
Mike Stump1eb44332009-09-09 15:08:12 +0000656
Douglas Gregor41ef0c32009-07-28 00:33:38 +0000657 ID.AddPointer(T.getAsOpaquePtr());
658}
659
660void StmtProfiler::VisitName(DeclarationName Name) {
661 ID.AddPointer(Name.getAsOpaquePtr());
662}
663
664void StmtProfiler::VisitNestedNameSpecifier(NestedNameSpecifier *NNS) {
665 if (Canonical)
666 NNS = Context.getCanonicalNestedNameSpecifier(NNS);
667 ID.AddPointer(NNS);
668}
669
670void StmtProfiler::VisitTemplateName(TemplateName Name) {
671 if (Canonical)
672 Name = Context.getCanonicalTemplateName(Name);
Mike Stump1eb44332009-09-09 15:08:12 +0000673
Douglas Gregor41ef0c32009-07-28 00:33:38 +0000674 Name.Profile(ID);
675}
676
Mike Stump1eb44332009-09-09 15:08:12 +0000677void StmtProfiler::VisitTemplateArguments(const TemplateArgument *Args,
Douglas Gregor41ef0c32009-07-28 00:33:38 +0000678 unsigned NumArgs) {
679 ID.AddInteger(NumArgs);
680 for (unsigned I = 0; I != NumArgs; ++I) {
681 const TemplateArgument &Arg = Args[I];
Mike Stump1eb44332009-09-09 15:08:12 +0000682
Douglas Gregor41ef0c32009-07-28 00:33:38 +0000683 // Mostly repetitive with TemplateArgument::Profile!
684 ID.AddInteger(Arg.getKind());
685 switch (Arg.getKind()) {
686 case TemplateArgument::Null:
687 break;
Mike Stump1eb44332009-09-09 15:08:12 +0000688
Douglas Gregor41ef0c32009-07-28 00:33:38 +0000689 case TemplateArgument::Type:
690 VisitType(Arg.getAsType());
691 break;
Mike Stump1eb44332009-09-09 15:08:12 +0000692
Douglas Gregor41ef0c32009-07-28 00:33:38 +0000693 case TemplateArgument::Declaration:
694 VisitDecl(Arg.getAsDecl());
695 break;
Mike Stump1eb44332009-09-09 15:08:12 +0000696
Douglas Gregor41ef0c32009-07-28 00:33:38 +0000697 case TemplateArgument::Integral:
698 Arg.getAsIntegral()->Profile(ID);
699 VisitType(Arg.getIntegralType());
700 break;
Mike Stump1eb44332009-09-09 15:08:12 +0000701
Douglas Gregor41ef0c32009-07-28 00:33:38 +0000702 case TemplateArgument::Expression:
703 Visit(Arg.getAsExpr());
704 break;
Mike Stump1eb44332009-09-09 15:08:12 +0000705
Douglas Gregor41ef0c32009-07-28 00:33:38 +0000706 case TemplateArgument::Pack:
707 VisitTemplateArguments(Arg.pack_begin(), Arg.pack_size());
708 break;
709 }
710 }
711}
712
713void Stmt::Profile(llvm::FoldingSetNodeID &ID, ASTContext &Context,
714 bool Canonical) {
715 StmtProfiler Profiler(ID, Context, Canonical);
716 Profiler.Visit(this);
717}