source: src/AST/Print.cpp@ e4b6cf78

ADT arm-eh ast-experimental cleanup-dtors enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
Last change on this file since e4b6cf78 was 335f2d8, checked in by Thierry Delisle <tdelisle@…>, 6 years ago

Fixed some warnings and implemented memberExpr ctor and extractResultType
  • Property mode set to 100644
File size: 17.0 KB
RevLine 
[461046f]1//
2// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// Print.cpp --
8//
[335f2d8]9// Author : Thierry Delisle
10// Created On : Tue May 21 16:20:15 2019
[461046f]11// Last Modified By :
12// Last Modified On :
[335f2d8]13// Update Count :
[461046f]14//
15
16#include "Print.hpp"
17
18#include "Decl.hpp"
19#include "Expr.hpp"
20#include "Stmt.hpp"
21#include "Type.hpp"
22#include "TypeSubstitution.hpp"
23
[a2e758e]24#include "Common/utility.h" // for group_iterate
25
[5902625]26using namespace std;
[461046f]27
28namespace ast {
29
30template <typename C, typename... T>
31constexpr auto make_array(T&&... values) ->
[5902625]32 array<C,sizeof...(T)>
[461046f]33{
[5902625]34 return array<C,sizeof...(T)>{
35 forward<T>(values)...
[461046f]36 };
37}
38
39class Printer : public Visitor {
40public:
[5902625]41 ostream & os;
[461046f]42 Indenter indent;
[5902625]43 bool short_mode;
[461046f]44
[5902625]45 Printer(ostream & os, Indenter indent, bool short_mode) : os( os ), indent( indent ), short_mode(short_mode) {}
[461046f]46
47private:
48 template< typename C >
49 void printAll( const C & c ) {
50 for ( const auto & i : c ) {
51 if ( i ) {
52 os << indent;
53 i->accept( *this );
54 // need an endl after each element because it's not
55 // easy to know when each individual item should end
[5902625]56 os << endl;
[461046f]57 } // if
58 } // for
59 }
60
61
62 static const char* Names[];
63
64 struct Names {
65 static constexpr auto FuncSpecifiers = make_array<const char*>(
66 "inline", "_Noreturn", "fortran"
67 );
68
69 static constexpr auto StorageClasses = make_array<const char*>(
70 "extern", "static", "auto", "register", "_Thread_local"
71 );
72
73 static constexpr auto Qualifiers = make_array<const char*>(
74 "const", "restrict", "volatile", "lvalue", "mutex", "_Atomic"
75 );
76 };
77
78 template<typename storage_t, size_t N>
[5902625]79 void print(const storage_t & storage, const array<const char *, N> & Names ) {
[461046f]80 if ( storage.any() ) {
81 for ( size_t i = 0; i < Names.size(); i += 1 ) {
82 if ( storage[i] ) {
83 os << Names[i] << ' ';
84 }
85 }
86 }
87 }
88
89 void print( const ast::Function::Specs & specs ) {
90 print(specs, Names::FuncSpecifiers);
91 }
92
93 void print( const ast::Storage::Classes & storage ) {
94 print(storage, Names::StorageClasses);
95 }
96
97 void print( const ast::CV::Qualifiers & qualifiers ) {
98 print(qualifiers, Names::Qualifiers);
99 }
100
[5902625]101 void print( const ast::AggregateDecl * node ) {
102 os << node->typeString() << " " << node->name << ":";
103 if ( node->linkage != Linkage::Cforall ) {
104 os << " " << Linkage::name( node->linkage );
105 } // if
106 os << " with body : " << (node->body ? "yes " : "no ");
107
108 if ( ! node->params.empty() ) {
109 os << endl << indent << "... with parameters" << endl;
110 ++indent;
111 printAll( node->params );
112 --indent;
113 } // if
114 if ( ! node->members.empty() ) {
115 os << endl << indent << "... with members" << endl;
116 ++indent;
117 printAll( node->members );
118 --indent;
119 } // if
120 if ( ! node->attributes.empty() ) {
121 os << endl << indent << "... with attributes" << endl;
122 ++indent;
123 printAll( node->attributes );
124 --indent;
125 } // if
126 os << endl;
127 }
128
129 void print( const ast::NamedTypeDecl * node ) {
130 if ( !node->name.empty() ) os << node->name << ": ";
131
132 if ( node->linkage != Linkage::Cforall ) {
133 os << Linkage::name( node->linkage ) << " ";
134 } // if
135 print( node->storage );
136 os << node->typeString();
137 if ( node->base ) {
138 os << " for ";
139 ++indent;
140 node->base->accept( *this );
141 --indent;
142 } // if
143 if ( ! node->params.empty() ) {
144 os << endl << indent << "... with parameters" << endl;
145 ++indent;
146 printAll( node->params );
147 --indent;
148 } // if
149 if ( ! node->assertions.empty() ) {
150 os << endl << indent << "... with assertions" << endl;
151 ++indent;
152 printAll( node->assertions );
153 --indent;
154 } // if
155 }
156
[461046f]157public:
[5902625]158 virtual const ast::DeclWithType * visit( const ast::ObjectDecl * node ) {
[a2e758e]159 if ( !node->name.empty() ) os << node->name << ": ";
[461046f]160
161 if ( node->linkage != Linkage::Cforall ) {
162 os << Linkage::name( node->linkage ) << " ";
163 } // if
164
165 print( node->storage );
166
167 if ( node->type ) {
168 node->type->accept( *this );
169 } else {
170 os << " untyped entity ";
171 } // if
172
173 if ( node->init ) {
174 os << " with initializer (" << (
175 node->init->maybeConstructed
176 ? "maybe constructed"
177 : "not constructed"
[5902625]178 ) << ")" << endl << indent+1;
[461046f]179
180 ++indent;
181 node->init->accept( *this );
182 --indent;
[5902625]183 os << endl;
[461046f]184 } // if
185
186 if ( ! node->attributes.empty() ) {
[5902625]187 os << endl << indent << "... with attributes:" << endl;
[461046f]188 ++indent;
189 printAll( node->attributes );
190 --indent;
191 }
192
193 if ( node->bitfieldWidth ) {
194 os << indent << " with bitfield width ";
195 node->bitfieldWidth->accept( *this );
196 } // if
197 return node;
198 }
199
[5902625]200 virtual const ast::DeclWithType * visit( const ast::FunctionDecl * node ) {
201 if ( !node->name.empty() ) {
202 os << node->name << ": ";
203 } // if
204 if ( node->linkage != Linkage::Cforall ) {
205 os << Linkage::name( node->linkage ) << " ";
206 } // if
207
208 printAll( node->attributes );
209
210 print( node->storage );
211 print( node->funcSpec );
212
213 if ( node->type ) {
214 node->type->accept( *this );
215 } else {
216 os << "untyped entity ";
217 } // if
218
219 if ( node->stmts ) {
220 os << indent << "... with body" << endl << indent+1;
221 ++indent;
222 node->stmts->accept( *this );
223 --indent;
224 } // if
[461046f]225 return node;
226 }
227
[5902625]228 virtual const ast::Decl * visit( const ast::StructDecl * node ) {
229 print(node);
[461046f]230 return node;
231 }
232
[5902625]233 virtual const ast::Decl * visit( const ast::UnionDecl * node ) {
234 print(node);
[461046f]235 return node;
236 }
237
[5902625]238 virtual const ast::Decl * visit( const ast::EnumDecl * node ) {
239 print(node);
[461046f]240 return node;
241 }
242
[5902625]243 virtual const ast::Decl * visit( const ast::TraitDecl * node ) {
244 print(node);
[461046f]245 return node;
246 }
247
[5902625]248 virtual const ast::Decl * visit( const ast::TypeDecl * node ) {
249 print( node );
250 if ( node->init ) {
251 os << endl << indent << "with type initializer: ";
252 ++indent;
253 node->init->accept( *this );
254 --indent;
255 }
[461046f]256 return node;
257 }
258
[5902625]259 virtual const ast::Decl * visit( const ast::TypedefDecl * node ) {
260 print( node );
[461046f]261 return node;
262 }
263
[5902625]264 virtual const ast::AsmDecl * visit( const ast::AsmDecl * node ) {
265 node->stmt->accept( *this );
[461046f]266 return node;
267 }
268
[5902625]269 virtual const ast::StaticAssertDecl * visit( const ast::StaticAssertDecl * node ) {
270 os << "Static Assert with condition: ";
271 ++indent;
272 node->cond->accept( *this );
273 --indent;
274 os << endl << indent << "and message: ";
275 ++indent;
276 node->msg->accept( *this );
277 --indent;
278 os << endl;
[461046f]279 return node;
280 }
281
[5902625]282 virtual const ast::CompoundStmt * visit( const ast::CompoundStmt * node ) {
283 os << "CompoundStmt" << endl;
284 ++indent;
285 printAll( node->kids );
286 --indent;
[461046f]287 return node;
288 }
289
[5902625]290 virtual const ast::Stmt * visit( const ast::ExprStmt * node ) {
291 ++indent;
292 os << "Expression Statement:" << endl << indent;
293 node->expr->accept( *this );
294 --indent;
[461046f]295 return node;
296 }
297
[5902625]298 virtual const ast::Stmt * visit( const ast::AsmStmt * node ) {
299 os << "Assembler Statement:" << endl;
300 ++indent;
301 os << indent << "instruction: " << endl << indent;
302 node->instruction->accept( *this );
303 if ( ! node->output.empty() ) {
304 os << endl << indent+1 << "output: " << endl;
305 printAll( node->output );
306 } // if
307 if ( ! node->input.empty() ) {
308 os << indent+1 << "input: " << endl;
309 printAll( node->input );
310 } // if
311 if ( ! node->clobber.empty() ) {
312 os << indent+1 << "clobber: " << endl;
313 printAll( node->clobber );
314 } // if
315 --indent;
[461046f]316 return node;
317 }
318
[5902625]319 virtual const ast::Stmt * visit( const ast::DirectiveStmt * node ) {
320 os << "GCC Directive:" << node->directive << endl;
[461046f]321 return node;
322 }
323
[5902625]324 virtual const ast::Stmt * visit( const ast::IfStmt * node ) {
325 os << "If on condition: " << endl;
326 os << indent+1;
327 ++indent;
328 node->cond->accept( *this );
329 --indent;
330
331 if ( !node->inits.empty() ) {
332 os << indent << "... with initialization: \n";
333 ++indent;
334 for ( const Stmt * stmt : node->inits ) {
335 os << indent;
336 stmt->accept( *this );
337 }
338 --indent;
339 os << endl;
340 }
341
342 os << indent << "... then: " << endl;
343
344 ++indent;
345 os << indent;
346 node->thenPart->accept( *this );
347 --indent;
348
349 if ( node->elsePart != 0 ) {
350 os << indent << "... else: " << endl;
351 ++indent;
352 os << indent;
353 node->elsePart->accept( *this );
354 --indent;
355 } // if
[461046f]356 return node;
357 }
358
[5902625]359 virtual const ast::Stmt * visit( const ast::WhileStmt * node ) {
[461046f]360 return node;
361 }
362
[5902625]363 virtual const ast::Stmt * visit( const ast::ForStmt * node ) {
[461046f]364 return node;
365 }
366
[5902625]367 virtual const ast::Stmt * visit( const ast::SwitchStmt * node ) {
[461046f]368 return node;
369 }
370
[5902625]371 virtual const ast::Stmt * visit( const ast::CaseStmt * node ) {
[461046f]372 return node;
373 }
374
[5902625]375 virtual const ast::Stmt * visit( const ast::BranchStmt * node ) {
[461046f]376 return node;
377 }
378
[5902625]379 virtual const ast::Stmt * visit( const ast::ReturnStmt * node ) {
[461046f]380 return node;
381 }
382
[5902625]383 virtual const ast::Stmt * visit( const ast::ThrowStmt * node ) {
[461046f]384 return node;
385 }
386
[5902625]387 virtual const ast::Stmt * visit( const ast::TryStmt * node ) {
[461046f]388 return node;
389 }
390
[5902625]391 virtual const ast::Stmt * visit( const ast::CatchStmt * node ) {
[461046f]392 return node;
393 }
394
[5902625]395 virtual const ast::Stmt * visit( const ast::FinallyStmt * node ) {
[461046f]396 return node;
397 }
398
[5902625]399 virtual const ast::Stmt * visit( const ast::WaitForStmt * node ) {
[461046f]400 return node;
401 }
402
[5902625]403 virtual const ast::Stmt * visit( const ast::WithStmt * node ) {
[461046f]404 return node;
405 }
406
[5902625]407 virtual const ast::NullStmt * visit( const ast::NullStmt * node ) {
[461046f]408 return node;
409 }
410
[5902625]411 virtual const ast::Stmt * visit( const ast::DeclStmt * node ) {
[461046f]412 return node;
413 }
414
[5902625]415 virtual const ast::Stmt * visit( const ast::ImplicitCtorDtorStmt * node ) {
[461046f]416 return node;
417 }
418
[5902625]419 virtual const ast::Expr * visit( const ast::ApplicationExpr * node ) {
[461046f]420 return node;
421 }
422
[5902625]423 virtual const ast::Expr * visit( const ast::UntypedExpr * node ) {
[461046f]424 return node;
425 }
426
[5902625]427 virtual const ast::Expr * visit( const ast::NameExpr * node ) {
[461046f]428 return node;
429 }
430
[5902625]431 virtual const ast::Expr * visit( const ast::AddressExpr * node ) {
[461046f]432 return node;
433 }
434
[5902625]435 virtual const ast::Expr * visit( const ast::LabelAddressExpr * node ) {
[461046f]436 return node;
437 }
438
[5902625]439 virtual const ast::Expr * visit( const ast::CastExpr * node ) {
[461046f]440 return node;
441 }
442
[5902625]443 virtual const ast::Expr * visit( const ast::KeywordCastExpr * node ) {
[461046f]444 return node;
445 }
446
[5902625]447 virtual const ast::Expr * visit( const ast::VirtualCastExpr * node ) {
[461046f]448 return node;
449 }
450
[5902625]451 virtual const ast::Expr * visit( const ast::UntypedMemberExpr * node ) {
[461046f]452 return node;
453 }
454
[5902625]455 virtual const ast::Expr * visit( const ast::MemberExpr * node ) {
[461046f]456 return node;
457 }
458
[5902625]459 virtual const ast::Expr * visit( const ast::VariableExpr * node ) {
[461046f]460 return node;
461 }
462
[5902625]463 virtual const ast::Expr * visit( const ast::ConstantExpr * node ) {
[461046f]464 return node;
465 }
466
[5902625]467 virtual const ast::Expr * visit( const ast::SizeofExpr * node ) {
[461046f]468 return node;
469 }
470
[5902625]471 virtual const ast::Expr * visit( const ast::AlignofExpr * node ) {
[461046f]472 return node;
473 }
474
[5902625]475 virtual const ast::Expr * visit( const ast::UntypedOffsetofExpr * node ) {
[461046f]476 return node;
477 }
478
[5902625]479 virtual const ast::Expr * visit( const ast::OffsetofExpr * node ) {
[461046f]480 return node;
481 }
482
[5902625]483 virtual const ast::Expr * visit( const ast::OffsetPackExpr * node ) {
[461046f]484 return node;
485 }
486
[5902625]487 virtual const ast::Expr * visit( const ast::LogicalExpr * node ) {
[461046f]488 return node;
489 }
490
[5902625]491 virtual const ast::Expr * visit( const ast::ConditionalExpr * node ) {
[461046f]492 return node;
493 }
494
[5902625]495 virtual const ast::Expr * visit( const ast::CommaExpr * node ) {
[461046f]496 return node;
497 }
498
[5902625]499 virtual const ast::Expr * visit( const ast::TypeExpr * node ) {
[461046f]500 return node;
501 }
502
[5902625]503 virtual const ast::Expr * visit( const ast::AsmExpr * node ) {
[461046f]504 return node;
505 }
506
[5902625]507 virtual const ast::Expr * visit( const ast::ImplicitCopyCtorExpr * node ) {
[461046f]508 return node;
509 }
510
[5902625]511 virtual const ast::Expr * visit( const ast::ConstructorExpr * node ) {
[461046f]512 return node;
513 }
514
[5902625]515 virtual const ast::Expr * visit( const ast::CompoundLiteralExpr * node ) {
[461046f]516 return node;
517 }
518
[5902625]519 virtual const ast::Expr * visit( const ast::RangeExpr * node ) {
[461046f]520 return node;
521 }
522
[5902625]523 virtual const ast::Expr * visit( const ast::UntypedTupleExpr * node ) {
[461046f]524 return node;
525 }
526
[5902625]527 virtual const ast::Expr * visit( const ast::TupleExpr * node ) {
[461046f]528 return node;
529 }
530
[5902625]531 virtual const ast::Expr * visit( const ast::TupleIndexExpr * node ) {
[461046f]532 return node;
533 }
534
[5902625]535 virtual const ast::Expr * visit( const ast::TupleAssignExpr * node ) {
[461046f]536 return node;
537 }
538
[5902625]539 virtual const ast::Expr * visit( const ast::StmtExpr * node ) {
[461046f]540 return node;
541 }
542
[5902625]543 virtual const ast::Expr * visit( const ast::UniqueExpr * node ) {
[461046f]544 return node;
545 }
546
[5902625]547 virtual const ast::Expr * visit( const ast::UntypedInitExpr * node ) {
[461046f]548 return node;
549 }
550
[5902625]551 virtual const ast::Expr * visit( const ast::InitExpr * node ) {
[461046f]552 return node;
553 }
554
[5902625]555 virtual const ast::Expr * visit( const ast::DeletedExpr * node ) {
[461046f]556 return node;
557 }
558
[5902625]559 virtual const ast::Expr * visit( const ast::DefaultArgExpr * node ) {
[461046f]560 return node;
561 }
562
[5902625]563 virtual const ast::Expr * visit( const ast::GenericExpr * node ) {
[461046f]564 return node;
565 }
566
[5902625]567 virtual const ast::Type * visit( const ast::VoidType * node ) {
[461046f]568 return node;
569 }
570
[5902625]571 virtual const ast::Type * visit( const ast::BasicType * node ) {
[461046f]572 return node;
573 }
574
[5902625]575 virtual const ast::Type * visit( const ast::PointerType * node ) {
[461046f]576 return node;
577 }
578
[5902625]579 virtual const ast::Type * visit( const ast::ArrayType * node ) {
[461046f]580 return node;
581 }
582
[5902625]583 virtual const ast::Type * visit( const ast::ReferenceType * node ) {
[461046f]584 return node;
585 }
586
[5902625]587 virtual const ast::Type * visit( const ast::QualifiedType * node ) {
[461046f]588 return node;
589 }
590
[5902625]591 virtual const ast::Type * visit( const ast::FunctionType * node ) {
[461046f]592 return node;
593 }
594
[5902625]595 virtual const ast::Type * visit( const ast::StructInstType * node ) {
[461046f]596 return node;
597 }
598
[5902625]599 virtual const ast::Type * visit( const ast::UnionInstType * node ) {
[461046f]600 return node;
601 }
602
[5902625]603 virtual const ast::Type * visit( const ast::EnumInstType * node ) {
[461046f]604 return node;
605 }
606
[5902625]607 virtual const ast::Type * visit( const ast::TraitInstType * node ) {
[461046f]608 return node;
609 }
610
[5902625]611 virtual const ast::Type * visit( const ast::TypeInstType * node ) {
[461046f]612 return node;
613 }
614
[5902625]615 virtual const ast::Type * visit( const ast::TupleType * node ) {
[461046f]616 return node;
617 }
618
[5902625]619 virtual const ast::Type * visit( const ast::TypeofType * node ) {
[461046f]620 return node;
621 }
622
[5902625]623 virtual const ast::Type * visit( const ast::VarArgsType * node ) {
[461046f]624 return node;
625 }
626
[5902625]627 virtual const ast::Type * visit( const ast::ZeroType * node ) {
[461046f]628 return node;
629 }
630
[5902625]631 virtual const ast::Type * visit( const ast::OneType * node ) {
[461046f]632 return node;
633 }
634
[5902625]635 virtual const ast::Type * visit( const ast::GlobalScopeType * node ) {
[461046f]636 return node;
637 }
638
[5902625]639 virtual const ast::Designation * visit( const ast::Designation * node ) {
[c957e7f]640 if ( node->designators.empty() ) return node;
641 os << "... designated by: " << std::endl;
642 ++indent;
643 for ( const ast::Expr * d : node->designators ) {
644 os << indent;
645 d->accept( *this );
646 os << std::endl;
647 }
648 --indent;
[461046f]649 return node;
650 }
651
[5902625]652 virtual const ast::Init * visit( const ast::SingleInit * node ) {
[c957e7f]653 os << "Simple Initializer: ";
654 node->value->accept( *this );
[461046f]655 return node;
656 }
657
[5902625]658 virtual const ast::Init * visit( const ast::ListInit * node ) {
[c957e7f]659 os << "Compound initializer: " << std::endl;
660 ++indent;
661 for ( auto p : group_iterate( node->designations, node->initializers ) ) {
662 const ast::Designation * d = std::get<0>(p);
663 const ast::Init * init = std::get<1>(p);
664 os << indent;
665 init->accept( *this );
666 os << std::endl;
667 if ( ! d->designators.empty() ) {
668 os << indent;
669 d->accept( *this );
670 }
671 }
672 --indent;
[461046f]673 return node;
674 }
675
[5902625]676 virtual const ast::Init * visit( const ast::ConstructorInit * node ) {
[c957e7f]677 os << "Constructor initializer: " << std::endl;
678 if ( node->ctor ) {
679 os << indent << "... initially constructed with ";
680 ++indent;
681 node->ctor->accept( *this );
682 --indent;
683 }
684
685 if ( node->dtor ) {
686 os << indent << "... destructed with ";
687 ++indent;
688 node->dtor->accept( *this );
689 --indent;
690 }
691
692 if ( node->init ) {
693 os << indent << "... with fallback C-style initializer: ";
694 ++indent;
695 node->init->accept( *this );
696 --indent;
697 }
[461046f]698 return node;
699 }
700
[5902625]701 virtual const ast::Attribute * visit( const ast::Attribute * node ) {
[489bacf]702 if ( node->empty() ) return node;
703 os << "Attribute with name: " << node->name;
704 if ( node->params.empty() ) return node;
705 os << " with parameters: " << std::endl;
706 ++indent;
707 printAll( node->params );
708 --indent;
[461046f]709 return node;
710 }
711
[5902625]712 virtual const ast::TypeSubstitution * visit( const ast::TypeSubstitution * node ) {
[76ed81f]713 os << indent << "Types:" << std::endl;
714 for ( const auto& i : *node ) {
715 os << indent+1 << i.first << " -> ";
716 indent += 2;
717 i.second->accept( *this );
718 indent -= 2;
719 os << std::endl;
720 }
721 os << indent << "Non-types:" << std::endl;
722 for ( auto i = node->beginVar(); i != node->endVar(); ++i ) {
723 os << indent+1 << i->first << " -> ";
724 indent += 2;
725 i->second->accept( *this );
726 indent -= 2;
727 os << std::endl;
728 }
[461046f]729 return node;
730 }
731
732};
733
[5902625]734void print( ostream & os, const ast::Node * node, Indenter indent ) {
735 Printer printer { os, indent, false };
736 node->accept(printer);
737}
738
739void printShort( ostream & os, const ast::Node * node, Indenter indent ) {
740 Printer printer { os, indent, true };
[461046f]741 node->accept(printer);
742}
743
744// Annoyingly these needed to be defined out of line to avoid undefined references.
745// The size here needs to be explicit but at least the compiler will produce an error
746// if the wrong size is specified
[5902625]747constexpr array<const char*, 3> Printer::Names::FuncSpecifiers;
748constexpr array<const char*, 5> Printer::Names::StorageClasses;
749constexpr array<const char*, 6> Printer::Names::Qualifiers;
[461046f]750}
Note: See TracBrowser for help on using the repository browser.