source: src/AST/Pass.impl.hpp@ fde0a58

ADT ast-experimental enum forall-pointer-decay pthread-emulation qualifiedEnum
Last change on this file since fde0a58 was 3b0bc16, checked in by Peter A. Buhr <pabuhr@…>, 4 years ago

change class name WhileStmt to WhileDoStmt, add else clause to WhileDoStmt and ForStmt, change names thenPart/ElsePart to then/else_
  • Property mode set to 100644
File size: 60.5 KB
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2019 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// ast::Pass.impl.hpp --
8//
9// Author : Thierry Delisle
10// Created On : Thu May 09 15::37::05 2019
11// Last Modified By :
12// Last Modified On :
13// Update Count :
14//
15
16#pragma once
17// IWYU pragma: private, include "AST/Pass.hpp"
18
19#include <type_traits>
20#include <unordered_map>
21
22#include "AST/TranslationUnit.hpp"
23#include "AST/TypeSubstitution.hpp"
24
25#define VISIT_START( node ) \
26 using namespace ast; \
27 /* back-up the visit children */ \
28 __attribute__((unused)) ast::__pass::visit_children_guard guard1( ast::__pass::visit_children(core, 0) ); \
29 /* setup the scope for passes that want to run code at exit */ \
30 __attribute__((unused)) ast::__pass::guard_value guard2( ast::__pass::at_cleanup (core, 0) ); \
31 /* begin tracing memory allocation if requested by this pass */ \
32 __pass::beginTrace( core, 0 ); \
33 /* call the implementation of the previsit of this pass */ \
34 __pass::previsit( core, node, 0 );
35
36#define VISIT_END( type, node ) \
37 /* call the implementation of the postvisit of this pass */ \
38 auto __return = __pass::postvisit( core, node, 0 ); \
39 assertf(__return, "post visit should never return null"); \
40 /* end tracing memory allocation if requested by this pass */ \
41 __pass::endTrace( core, 0 ); \
42 return __return;
43
44#ifdef PEDANTIC_PASS_ASSERT
45#define __pedantic_pass_assert(...) assert (__VA_ARGS__)
46#define __pedantic_pass_assertf(...) assertf(__VA_ARGS__)
47#else
48#define __pedantic_pass_assert(...)
49#define __pedantic_pass_assertf(...)
50#endif
51
52namespace ast {
53 template<typename node_t>
54 node_t * shallowCopy( const node_t * node );
55
56 namespace __pass {
57 // Check if this is either a null pointer or a pointer to an empty container
58 template<typename T>
59 static inline bool empty( T * ptr ) {
60 return !ptr || ptr->empty();
61 }
62
63 template< typename core_t, typename node_t >
64 static inline node_t* mutate(const node_t *node) {
65 return std::is_base_of<PureVisitor, core_t>::value ? ::ast::shallowCopy(node) : ::ast::mutate(node);
66 }
67
68 //------------------------------
69 template<typename it_t, template <class...> class container_t>
70 static inline void take_all( it_t it, container_t<ast::ptr<ast::Decl>> * decls, bool * mutated = nullptr ) {
71 if(empty(decls)) return;
72
73 std::transform(decls->begin(), decls->end(), it, [](const ast::Decl * decl) -> auto {
74 return new DeclStmt( decl->location, decl );
75 });
76 decls->clear();
77 if(mutated) *mutated = true;
78 }
79
80 template<typename it_t, template <class...> class container_t>
81 static inline void take_all( it_t it, container_t<ast::ptr<ast::Stmt>> * decls, bool * mutated = nullptr ) {
82 if(empty(decls)) return;
83
84 std::move(decls->begin(), decls->end(), it);
85 decls->clear();
86 if(mutated) *mutated = true;
87 }
88
89 //------------------------------
90 /// Check if should be skipped, different for pointers and containers
91 template<typename node_t>
92 bool skip( const ast::ptr<node_t> & val) {
93 return !val;
94 }
95
96 template< template <class...> class container_t, typename node_t >
97 bool skip( const container_t<ast::ptr< node_t >> & val ) {
98 return val.empty();
99 }
100
101 //------------------------------
102 /// Get the value to visit, different for pointers and containers
103 template<typename node_t>
104 auto get( const ast::ptr<node_t> & val, int ) -> decltype(val.get()) {
105 return val.get();
106 }
107
108 template<typename node_t>
109 const node_t & get( const node_t & val, long) {
110 return val;
111 }
112
113
114 //------------------------------
115 /// Check if value was mutated, different for pointers and containers
116 template<typename lhs_t, typename rhs_t>
117 bool differs( const lhs_t * old_val, const rhs_t * new_val ) {
118 return old_val != new_val;
119 }
120
121 template< template <class...> class container_t, typename node_t >
122 bool differs( const container_t<ast::ptr< node_t >> &, const container_t<ast::ptr< node_t >> & new_val ) {
123 return !new_val.empty();
124 }
125 }
126
127 template< typename core_t >
128 template< typename node_t >
129 auto ast::Pass< core_t >::call_accept( const node_t * node )
130 -> typename std::enable_if<
131 !std::is_base_of<ast::Expr, node_t>::value &&
132 !std::is_base_of<ast::Stmt, node_t>::value
133 , decltype( node->accept(*this) )
134 >::type
135 {
136 __pedantic_pass_assert( __visit_children() );
137 __pedantic_pass_assert( node );
138
139 static_assert( !std::is_base_of<ast::Expr, node_t>::value, "ERROR");
140 static_assert( !std::is_base_of<ast::Stmt, node_t>::value, "ERROR");
141
142 return node->accept( *this );
143 }
144
145 template< typename core_t >
146 const ast::Expr * ast::Pass< core_t >::call_accept( const ast::Expr * expr ) {
147 __pedantic_pass_assert( __visit_children() );
148 __pedantic_pass_assert( expr );
149
150 const ast::TypeSubstitution ** typeSubs_ptr = __pass::typeSubs( core, 0 );
151 if ( typeSubs_ptr && expr->env ) {
152 *typeSubs_ptr = expr->env;
153 }
154
155 return expr->accept( *this );
156 }
157
158 template< typename core_t >
159 const ast::Stmt * ast::Pass< core_t >::call_accept( const ast::Stmt * stmt ) {
160 __pedantic_pass_assert( __visit_children() );
161 __pedantic_pass_assert( stmt );
162
163 return stmt->accept( *this );
164 }
165
166 template< typename core_t >
167 const ast::Stmt * ast::Pass< core_t >::call_accept_as_compound( const ast::Stmt * stmt ) {
168 __pedantic_pass_assert( __visit_children() );
169 __pedantic_pass_assert( stmt );
170
171 // add a few useful symbols to the scope
172 using __pass::empty;
173
174 // get the stmts/decls that will need to be spliced in
175 auto stmts_before = __pass::stmtsToAddBefore( core, 0);
176 auto stmts_after = __pass::stmtsToAddAfter ( core, 0);
177 auto decls_before = __pass::declsToAddBefore( core, 0);
178 auto decls_after = __pass::declsToAddAfter ( core, 0);
179
180 // These may be modified by subnode but most be restored once we exit this statemnet.
181 ValueGuardPtr< const ast::TypeSubstitution * > __old_env ( __pass::typeSubs( core, 0 ) );
182 ValueGuardPtr< typename std::remove_pointer< decltype(stmts_before) >::type > __old_decls_before( stmts_before );
183 ValueGuardPtr< typename std::remove_pointer< decltype(stmts_after ) >::type > __old_decls_after ( stmts_after );
184 ValueGuardPtr< typename std::remove_pointer< decltype(decls_before) >::type > __old_stmts_before( decls_before );
185 ValueGuardPtr< typename std::remove_pointer< decltype(decls_after ) >::type > __old_stmts_after ( decls_after );
186
187 // Now is the time to actually visit the node
188 const ast::Stmt * nstmt = stmt->accept( *this );
189
190 // If the pass doesn't want to add anything then we are done
191 if( empty(stmts_before) && empty(stmts_after) && empty(decls_before) && empty(decls_after) ) {
192 return nstmt;
193 }
194
195 // Make sure that it is either adding statements or declartions but not both
196 // this is because otherwise the order would be awkward to predict
197 assert(( empty( stmts_before ) && empty( stmts_after ))
198 || ( empty( decls_before ) && empty( decls_after )) );
199
200 // Create a new Compound Statement to hold the new decls/stmts
201 ast::CompoundStmt * compound = new ast::CompoundStmt( stmt->location );
202
203 // Take all the declarations that go before
204 __pass::take_all( std::back_inserter( compound->kids ), decls_before );
205 __pass::take_all( std::back_inserter( compound->kids ), stmts_before );
206
207 // Insert the original declaration
208 compound->kids.emplace_back( nstmt );
209
210 // Insert all the declarations that go before
211 __pass::take_all( std::back_inserter( compound->kids ), decls_after );
212 __pass::take_all( std::back_inserter( compound->kids ), stmts_after );
213
214 return compound;
215 }
216
217 template< typename core_t >
218 template< template <class...> class container_t >
219 container_t< ptr<Stmt> > ast::Pass< core_t >::call_accept( const container_t< ptr<Stmt> > & statements ) {
220 __pedantic_pass_assert( __visit_children() );
221 if( statements.empty() ) return {};
222
223 // We are going to aggregate errors for all these statements
224 SemanticErrorException errors;
225
226 // add a few useful symbols to the scope
227 using __pass::empty;
228
229 // get the stmts/decls that will need to be spliced in
230 auto stmts_before = __pass::stmtsToAddBefore( core, 0);
231 auto stmts_after = __pass::stmtsToAddAfter ( core, 0);
232 auto decls_before = __pass::declsToAddBefore( core, 0);
233 auto decls_after = __pass::declsToAddAfter ( core, 0);
234
235 // These may be modified by subnode but most be restored once we exit this statemnet.
236 ValueGuardPtr< typename std::remove_pointer< decltype(stmts_before) >::type > __old_decls_before( stmts_before );
237 ValueGuardPtr< typename std::remove_pointer< decltype(stmts_after ) >::type > __old_decls_after ( stmts_after );
238 ValueGuardPtr< typename std::remove_pointer< decltype(decls_before) >::type > __old_stmts_before( decls_before );
239 ValueGuardPtr< typename std::remove_pointer< decltype(decls_after ) >::type > __old_stmts_after ( decls_after );
240
241 // update pass statitistics
242 pass_visitor_stats.depth++;
243 pass_visitor_stats.max->push(pass_visitor_stats.depth);
244 pass_visitor_stats.avg->push(pass_visitor_stats.depth);
245
246 bool mutated = false;
247 container_t< ptr<Stmt> > new_kids;
248 for( const Stmt * stmt : statements ) {
249 try {
250 __pedantic_pass_assert( stmt );
251 const ast::Stmt * new_stmt = stmt->accept( *this );
252 assert( new_stmt );
253 if(new_stmt != stmt ) mutated = true;
254
255 // Make sure that it is either adding statements or declartions but not both
256 // this is because otherwise the order would be awkward to predict
257 assert(( empty( stmts_before ) && empty( stmts_after ))
258 || ( empty( decls_before ) && empty( decls_after )) );
259
260
261
262 // Take all the statements which should have gone after, N/A for first iteration
263 __pass::take_all( std::back_inserter( new_kids ), decls_before, &mutated );
264 __pass::take_all( std::back_inserter( new_kids ), stmts_before, &mutated );
265
266 // Now add the statement if there is one
267 new_kids.emplace_back( new_stmt );
268
269 // Take all the declarations that go before
270 __pass::take_all( std::back_inserter( new_kids ), decls_after, &mutated );
271 __pass::take_all( std::back_inserter( new_kids ), stmts_after, &mutated );
272 }
273 catch ( SemanticErrorException &e ) {
274 errors.append( e );
275 }
276 }
277 pass_visitor_stats.depth--;
278 if ( !errors.isEmpty() ) { throw errors; }
279
280 return mutated ? new_kids : container_t< ptr<Stmt> >();
281 }
282
283 template< typename core_t >
284 template< template <class...> class container_t, typename node_t >
285 container_t< ast::ptr<node_t> > ast::Pass< core_t >::call_accept( const container_t< ast::ptr<node_t> > & container ) {
286 __pedantic_pass_assert( __visit_children() );
287 if( container.empty() ) return {};
288 SemanticErrorException errors;
289
290 pass_visitor_stats.depth++;
291 pass_visitor_stats.max->push(pass_visitor_stats.depth);
292 pass_visitor_stats.avg->push(pass_visitor_stats.depth);
293
294 bool mutated = false;
295 container_t< ast::ptr<node_t> > new_kids;
296 for ( const node_t * node : container ) {
297 try {
298 __pedantic_pass_assert( node );
299 const node_t * new_stmt = strict_dynamic_cast< const node_t * >( node->accept( *this ) );
300 if(new_stmt != node ) mutated = true;
301
302 new_kids.emplace_back( new_stmt );
303 }
304 catch( SemanticErrorException &e ) {
305 errors.append( e );
306 }
307 }
308 pass_visitor_stats.depth--;
309 if ( ! errors.isEmpty() ) { throw errors; }
310
311 return mutated ? new_kids : container_t< ast::ptr<node_t> >();
312 }
313
314 template< typename core_t >
315 template<typename node_t, typename parent_t, typename child_t>
316 void ast::Pass< core_t >::maybe_accept(
317 const node_t * & parent,
318 child_t parent_t::*child
319 ) {
320 static_assert( std::is_base_of<parent_t, node_t>::value, "Error deducing member object" );
321
322 if(__pass::skip(parent->*child)) return;
323 const auto & old_val = __pass::get(parent->*child, 0);
324
325 static_assert( !std::is_same<const ast::Node * &, decltype(old_val)>::value, "ERROR");
326
327 auto new_val = call_accept( old_val );
328
329 static_assert( !std::is_same<const ast::Node *, decltype(new_val)>::value || std::is_same<int, decltype(old_val)>::value, "ERROR");
330
331 if( __pass::differs(old_val, new_val) ) {
332 auto new_parent = __pass::mutate<core_t>(parent);
333 new_parent->*child = new_val;
334 parent = new_parent;
335 }
336 }
337
338 template< typename core_t >
339 template<typename node_t, typename parent_t, typename child_t>
340 void ast::Pass< core_t >::maybe_accept_as_compound(
341 const node_t * & parent,
342 child_t parent_t::*child
343 ) {
344 static_assert( std::is_base_of<parent_t, node_t>::value, "Error deducing member object" );
345
346 if(__pass::skip(parent->*child)) return;
347 const auto & old_val = __pass::get(parent->*child, 0);
348
349 static_assert( !std::is_same<const ast::Node * &, decltype(old_val)>::value, "ERROR");
350
351 auto new_val = call_accept_as_compound( old_val );
352
353 static_assert( !std::is_same<const ast::Node *, decltype(new_val)>::value || std::is_same<int, decltype(old_val)>::value, "ERROR");
354
355 if( __pass::differs(old_val, new_val) ) {
356 auto new_parent = __pass::mutate<core_t>(parent);
357 new_parent->*child = new_val;
358 parent = new_parent;
359 }
360 }
361
362}
363
364//------------------------------------------------------------------------------------------------------------------------------------------------------------------------
365//========================================================================================================================================================================
366//========================================================================================================================================================================
367//========================================================================================================================================================================
368//========================================================================================================================================================================
369//========================================================================================================================================================================
370//------------------------------------------------------------------------------------------------------------------------------------------------------------------------
371
372template< typename core_t >
373inline void ast::accept_all( std::list< ast::ptr<ast::Decl> > & decls, ast::Pass< core_t > & visitor ) {
374 // We are going to aggregate errors for all these statements
375 SemanticErrorException errors;
376
377 // add a few useful symbols to the scope
378 using __pass::empty;
379
380 // get the stmts/decls that will need to be spliced in
381 auto decls_before = __pass::declsToAddBefore( visitor.core, 0);
382 auto decls_after = __pass::declsToAddAfter ( visitor.core, 0);
383
384 // update pass statitistics
385 pass_visitor_stats.depth++;
386 pass_visitor_stats.max->push(pass_visitor_stats.depth);
387 pass_visitor_stats.avg->push(pass_visitor_stats.depth);
388
389 for ( std::list< ast::ptr<ast::Decl> >::iterator i = decls.begin(); ; ++i ) {
390 // splice in new declarations after previous decl
391 if ( !empty( decls_after ) ) { decls.splice( i, *decls_after ); }
392
393 if ( i == decls.end() ) break;
394
395 try {
396 // run visitor on declaration
397 ast::ptr<ast::Decl> & node = *i;
398 assert( node );
399 node = node->accept( visitor );
400 }
401 catch( SemanticErrorException &e ) {
402 if (__pass::on_error (visitor.core, *i, 0))
403 errors.append( e );
404 }
405
406 // splice in new declarations before current decl
407 if ( !empty( decls_before ) ) { decls.splice( i, *decls_before ); }
408 }
409 pass_visitor_stats.depth--;
410 if ( !errors.isEmpty() ) { throw errors; }
411}
412
413template< typename core_t >
414inline void ast::accept_all( ast::TranslationUnit & unit, ast::Pass< core_t > & visitor ) {
415 if ( auto ptr = __pass::translation_unit::get_cptr( visitor.core, 0 ) ) {
416 ValueGuard<const TranslationUnit *> guard( *ptr );
417 *ptr = &unit;
418 return ast::accept_all( unit.decls, visitor );
419 } else {
420 return ast::accept_all( unit.decls, visitor );
421 }
422}
423
424// A NOTE ON THE ORDER OF TRAVERSAL
425//
426// Types and typedefs have their base types visited before they are added to the type table. This is ok, since there is
427// no such thing as a recursive type or typedef.
428//
429// typedef struct { T *x; } T; // never allowed
430//
431// for structs/unions, it is possible to have recursion, so the decl should be added as if it's incomplete to begin, the
432// members are traversed, and then the complete type should be added (assuming the type is completed by this particular
433// declaration).
434//
435// struct T { struct T *x; }; // allowed
436//
437// It is important to add the complete type to the symbol table *after* the members/base has been traversed, since that
438// traversal may modify the definition of the type and these modifications should be visible when the symbol table is
439// queried later in this pass.
440
441//--------------------------------------------------------------------------
442// ObjectDecl
443template< typename core_t >
444const ast::DeclWithType * ast::Pass< core_t >::visit( const ast::ObjectDecl * node ) {
445 VISIT_START( node );
446
447 if ( __visit_children() ) {
448 {
449 guard_symtab guard { *this };
450 maybe_accept( node, &ObjectDecl::type );
451 }
452 maybe_accept( node, &ObjectDecl::init );
453 maybe_accept( node, &ObjectDecl::bitfieldWidth );
454 maybe_accept( node, &ObjectDecl::attributes );
455 }
456
457 __pass::symtab::addId( core, 0, node );
458
459 VISIT_END( DeclWithType, node );
460}
461
462//--------------------------------------------------------------------------
463// FunctionDecl
464template< typename core_t >
465const ast::DeclWithType * ast::Pass< core_t >::visit( const ast::FunctionDecl * node ) {
466 VISIT_START( node );
467
468 __pass::symtab::addId( core, 0, node );
469
470 if ( __visit_children() ) {
471 maybe_accept( node, &FunctionDecl::withExprs );
472 }
473 {
474 // with clause introduces a level of scope (for the with expression members).
475 // with clause exprs are added to the symbol table before parameters so that parameters
476 // shadow with exprs and not the other way around.
477 guard_symtab guard { *this };
478 __pass::symtab::addWith( core, 0, node->withExprs, node );
479 {
480 guard_symtab guard { *this };
481 // implicit add __func__ identifier as specified in the C manual 6.4.2.2
482 static ast::ptr< ast::ObjectDecl > func{ new ast::ObjectDecl{
483 CodeLocation{}, "__func__",
484 new ast::ArrayType{
485 new ast::BasicType{ ast::BasicType::Char, ast::CV::Const },
486 nullptr, VariableLen, DynamicDim
487 }
488 } };
489 __pass::symtab::addId( core, 0, func );
490 if ( __visit_children() ) {
491 // parameter declarations
492 maybe_accept( node, &FunctionDecl::params );
493 maybe_accept( node, &FunctionDecl::returns );
494 // type params and assertions
495 maybe_accept( node, &FunctionDecl::type_params );
496 maybe_accept( node, &FunctionDecl::assertions );
497 // First remember that we are now within a function.
498 ValueGuard< bool > oldInFunction( inFunction );
499 inFunction = true;
500 // The function body needs to have the same scope as parameters.
501 // A CompoundStmt will not enter a new scope if atFunctionTop is true.
502 ValueGuard< bool > oldAtFunctionTop( atFunctionTop );
503 atFunctionTop = true;
504 maybe_accept( node, &FunctionDecl::stmts );
505 maybe_accept( node, &FunctionDecl::attributes );
506 }
507 }
508 }
509
510 VISIT_END( DeclWithType, node );
511}
512
513//--------------------------------------------------------------------------
514// StructDecl
515template< typename core_t >
516const ast::Decl * ast::Pass< core_t >::visit( const ast::StructDecl * node ) {
517 VISIT_START( node );
518
519 // make up a forward declaration and add it before processing the members
520 // needs to be on the heap because addStruct saves the pointer
521 __pass::symtab::addStructFwd( core, 0, node );
522
523 if ( __visit_children() ) {
524 guard_symtab guard { * this };
525 maybe_accept( node, &StructDecl::params );
526 maybe_accept( node, &StructDecl::members );
527 maybe_accept( node, &StructDecl::attributes );
528 }
529
530 // this addition replaces the forward declaration
531 __pass::symtab::addStruct( core, 0, node );
532
533 VISIT_END( Decl, node );
534}
535
536//--------------------------------------------------------------------------
537// UnionDecl
538template< typename core_t >
539const ast::Decl * ast::Pass< core_t >::visit( const ast::UnionDecl * node ) {
540 VISIT_START( node );
541
542 // make up a forward declaration and add it before processing the members
543 __pass::symtab::addUnionFwd( core, 0, node );
544
545 if ( __visit_children() ) {
546 guard_symtab guard { * this };
547 maybe_accept( node, &UnionDecl::params );
548 maybe_accept( node, &UnionDecl::members );
549 maybe_accept( node, &UnionDecl::attributes );
550 }
551
552 __pass::symtab::addUnion( core, 0, node );
553
554 VISIT_END( Decl, node );
555}
556
557//--------------------------------------------------------------------------
558// EnumDecl
559template< typename core_t >
560const ast::Decl * ast::Pass< core_t >::visit( const ast::EnumDecl * node ) {
561 VISIT_START( node );
562
563 __pass::symtab::addEnum( core, 0, node );
564
565 if ( __visit_children() ) {
566 // unlike structs, traits, and unions, enums inject their members into the global scope
567 maybe_accept( node, &EnumDecl::params );
568 maybe_accept( node, &EnumDecl::members );
569 maybe_accept( node, &EnumDecl::attributes );
570 }
571
572 VISIT_END( Decl, node );
573}
574
575//--------------------------------------------------------------------------
576// TraitDecl
577template< typename core_t >
578const ast::Decl * ast::Pass< core_t >::visit( const ast::TraitDecl * node ) {
579 VISIT_START( node );
580
581 if ( __visit_children() ) {
582 guard_symtab guard { *this };
583 maybe_accept( node, &TraitDecl::params );
584 maybe_accept( node, &TraitDecl::members );
585 maybe_accept( node, &TraitDecl::attributes );
586 }
587
588 __pass::symtab::addTrait( core, 0, node );
589
590 VISIT_END( Decl, node );
591}
592
593//--------------------------------------------------------------------------
594// TypeDecl
595template< typename core_t >
596const ast::Decl * ast::Pass< core_t >::visit( const ast::TypeDecl * node ) {
597 VISIT_START( node );
598
599 if ( __visit_children() ) {
600 guard_symtab guard { *this };
601 maybe_accept( node, &TypeDecl::base );
602 }
603
604 // see A NOTE ON THE ORDER OF TRAVERSAL, above
605 // note that assertions come after the type is added to the symtab, since they are not part of the type proper
606 // and may depend on the type itself
607 __pass::symtab::addType( core, 0, node );
608
609 if ( __visit_children() ) {
610 maybe_accept( node, &TypeDecl::assertions );
611
612 {
613 guard_symtab guard { *this };
614 maybe_accept( node, &TypeDecl::init );
615 }
616 }
617
618 VISIT_END( Decl, node );
619}
620
621//--------------------------------------------------------------------------
622// TypedefDecl
623template< typename core_t >
624const ast::Decl * ast::Pass< core_t >::visit( const ast::TypedefDecl * node ) {
625 VISIT_START( node );
626
627 if ( __visit_children() ) {
628 guard_symtab guard { *this };
629 maybe_accept( node, &TypedefDecl::base );
630 }
631
632 __pass::symtab::addType( core, 0, node );
633
634 if ( __visit_children() ) {
635 maybe_accept( node, &TypedefDecl::assertions );
636 }
637
638 VISIT_END( Decl, node );
639}
640
641//--------------------------------------------------------------------------
642// AsmDecl
643template< typename core_t >
644const ast::AsmDecl * ast::Pass< core_t >::visit( const ast::AsmDecl * node ) {
645 VISIT_START( node );
646
647 if ( __visit_children() ) {
648 maybe_accept( node, &AsmDecl::stmt );
649 }
650
651 VISIT_END( AsmDecl, node );
652}
653
654//--------------------------------------------------------------------------
655// DirectiveDecl
656template< typename core_t >
657const ast::DirectiveDecl * ast::Pass< core_t >::visit( const ast::DirectiveDecl * node ) {
658 VISIT_START( node );
659
660 if ( __visit_children() ) {
661 maybe_accept( node, &DirectiveDecl::stmt );
662 }
663
664 VISIT_END( DirectiveDecl, node );
665}
666
667//--------------------------------------------------------------------------
668// StaticAssertDecl
669template< typename core_t >
670const ast::StaticAssertDecl * ast::Pass< core_t >::visit( const ast::StaticAssertDecl * node ) {
671 VISIT_START( node );
672
673 if ( __visit_children() ) {
674 maybe_accept( node, &StaticAssertDecl::cond );
675 maybe_accept( node, &StaticAssertDecl::msg );
676 }
677
678 VISIT_END( StaticAssertDecl, node );
679}
680
681//--------------------------------------------------------------------------
682// CompoundStmt
683template< typename core_t >
684const ast::CompoundStmt * ast::Pass< core_t >::visit( const ast::CompoundStmt * node ) {
685 VISIT_START( node );
686
687 if ( __visit_children() ) {
688 // Do not enter (or leave) a new scope if atFunctionTop. Remember to save the result.
689 auto guard1 = makeFuncGuard( [this, enterScope = !this->atFunctionTop]() {
690 if ( enterScope ) {
691 __pass::symtab::enter(core, 0);
692 __pass::scope::enter(core, 0);
693 }
694 }, [this, leaveScope = !this->atFunctionTop]() {
695 if ( leaveScope ) {
696 __pass::symtab::leave(core, 0);
697 __pass::scope::leave(core, 0);
698 }
699 });
700 ValueGuard< bool > guard2( atFunctionTop );
701 atFunctionTop = false;
702 guard_scope guard3 { *this };
703 maybe_accept( node, &CompoundStmt::kids );
704 }
705
706 VISIT_END( CompoundStmt, node );
707}
708
709//--------------------------------------------------------------------------
710// ExprStmt
711template< typename core_t >
712const ast::Stmt * ast::Pass< core_t >::visit( const ast::ExprStmt * node ) {
713 VISIT_START( node );
714
715 if ( __visit_children() ) {
716 maybe_accept( node, &ExprStmt::expr );
717 }
718
719 VISIT_END( Stmt, node );
720}
721
722//--------------------------------------------------------------------------
723// AsmStmt
724template< typename core_t >
725const ast::Stmt * ast::Pass< core_t >::visit( const ast::AsmStmt * node ) {
726 VISIT_START( node )
727
728 if ( __visit_children() ) {
729 maybe_accept( node, &AsmStmt::instruction );
730 maybe_accept( node, &AsmStmt::output );
731 maybe_accept( node, &AsmStmt::input );
732 maybe_accept( node, &AsmStmt::clobber );
733 }
734
735 VISIT_END( Stmt, node );
736}
737
738//--------------------------------------------------------------------------
739// DirectiveStmt
740template< typename core_t >
741const ast::Stmt * ast::Pass< core_t >::visit( const ast::DirectiveStmt * node ) {
742 VISIT_START( node )
743
744 VISIT_END( Stmt, node );
745}
746
747//--------------------------------------------------------------------------
748// IfStmt
749template< typename core_t >
750const ast::Stmt * ast::Pass< core_t >::visit( const ast::IfStmt * node ) {
751 VISIT_START( node );
752
753 if ( __visit_children() ) {
754 // if statements introduce a level of scope (for the initialization)
755 guard_symtab guard { *this };
756 maybe_accept( node, &IfStmt::inits );
757 maybe_accept( node, &IfStmt::cond );
758 maybe_accept_as_compound( node, &IfStmt::then );
759 maybe_accept_as_compound( node, &IfStmt::else_ );
760 }
761
762 VISIT_END( Stmt, node );
763}
764
765//--------------------------------------------------------------------------
766// WhileDoStmt
767template< typename core_t >
768const ast::Stmt * ast::Pass< core_t >::visit( const ast::WhileDoStmt * node ) {
769 VISIT_START( node );
770
771 if ( __visit_children() ) {
772 // while statements introduce a level of scope (for the initialization)
773 guard_symtab guard { *this };
774 maybe_accept( node, &WhileDoStmt::inits );
775 maybe_accept( node, &WhileDoStmt::cond );
776 maybe_accept_as_compound( node, &WhileDoStmt::body );
777 }
778
779 VISIT_END( Stmt, node );
780}
781
782//--------------------------------------------------------------------------
783// ForStmt
784template< typename core_t >
785const ast::Stmt * ast::Pass< core_t >::visit( const ast::ForStmt * node ) {
786 VISIT_START( node );
787
788 if ( __visit_children() ) {
789 // for statements introduce a level of scope (for the initialization)
790 guard_symtab guard { *this };
791 // xxx - old ast does not create WithStmtsToAdd scope for loop inits. should revisit this later.
792 maybe_accept( node, &ForStmt::inits );
793 maybe_accept( node, &ForStmt::cond );
794 maybe_accept( node, &ForStmt::inc );
795 maybe_accept_as_compound( node, &ForStmt::body );
796 }
797
798 VISIT_END( Stmt, node );
799}
800
801//--------------------------------------------------------------------------
802// SwitchStmt
803template< typename core_t >
804const ast::Stmt * ast::Pass< core_t >::visit( const ast::SwitchStmt * node ) {
805 VISIT_START( node );
806
807 if ( __visit_children() ) {
808 maybe_accept( node, &SwitchStmt::cond );
809 maybe_accept( node, &SwitchStmt::stmts );
810 }
811
812 VISIT_END( Stmt, node );
813}
814
815//--------------------------------------------------------------------------
816// CaseStmt
817template< typename core_t >
818const ast::Stmt * ast::Pass< core_t >::visit( const ast::CaseStmt * node ) {
819 VISIT_START( node );
820
821 if ( __visit_children() ) {
822 maybe_accept( node, &CaseStmt::cond );
823 maybe_accept( node, &CaseStmt::stmts );
824 }
825
826 VISIT_END( Stmt, node );
827}
828
829//--------------------------------------------------------------------------
830// BranchStmt
831template< typename core_t >
832const ast::Stmt * ast::Pass< core_t >::visit( const ast::BranchStmt * node ) {
833 VISIT_START( node );
834 VISIT_END( Stmt, node );
835}
836
837//--------------------------------------------------------------------------
838// ReturnStmt
839template< typename core_t >
840const ast::Stmt * ast::Pass< core_t >::visit( const ast::ReturnStmt * node ) {
841 VISIT_START( node );
842
843 if ( __visit_children() ) {
844 maybe_accept( node, &ReturnStmt::expr );
845 }
846
847 VISIT_END( Stmt, node );
848}
849
850//--------------------------------------------------------------------------
851// ThrowStmt
852template< typename core_t >
853const ast::Stmt * ast::Pass< core_t >::visit( const ast::ThrowStmt * node ) {
854 VISIT_START( node );
855
856 if ( __visit_children() ) {
857 maybe_accept( node, &ThrowStmt::expr );
858 maybe_accept( node, &ThrowStmt::target );
859 }
860
861 VISIT_END( Stmt, node );
862}
863
864//--------------------------------------------------------------------------
865// TryStmt
866template< typename core_t >
867const ast::Stmt * ast::Pass< core_t >::visit( const ast::TryStmt * node ) {
868 VISIT_START( node );
869
870 if ( __visit_children() ) {
871 maybe_accept( node, &TryStmt::body );
872 maybe_accept( node, &TryStmt::handlers );
873 maybe_accept( node, &TryStmt::finally );
874 }
875
876 VISIT_END( Stmt, node );
877}
878
879//--------------------------------------------------------------------------
880// CatchStmt
881template< typename core_t >
882const ast::Stmt * ast::Pass< core_t >::visit( const ast::CatchStmt * node ) {
883 VISIT_START( node );
884
885 if ( __visit_children() ) {
886 // catch statements introduce a level of scope (for the caught exception)
887 guard_symtab guard { *this };
888 maybe_accept( node, &CatchStmt::decl );
889 maybe_accept( node, &CatchStmt::cond );
890 maybe_accept_as_compound( node, &CatchStmt::body );
891 }
892
893 VISIT_END( Stmt, node );
894}
895
896//--------------------------------------------------------------------------
897// FinallyStmt
898template< typename core_t >
899const ast::Stmt * ast::Pass< core_t >::visit( const ast::FinallyStmt * node ) {
900 VISIT_START( node );
901
902 if ( __visit_children() ) {
903 maybe_accept( node, &FinallyStmt::body );
904 }
905
906 VISIT_END( Stmt, node );
907}
908
909//--------------------------------------------------------------------------
910// FinallyStmt
911template< typename core_t >
912const ast::Stmt * ast::Pass< core_t >::visit( const ast::SuspendStmt * node ) {
913 VISIT_START( node );
914
915 if ( __visit_children() ) {
916 maybe_accept( node, &SuspendStmt::then );
917 }
918
919 VISIT_END( Stmt, node );
920}
921
922//--------------------------------------------------------------------------
923// WaitForStmt
924template< typename core_t >
925const ast::Stmt * ast::Pass< core_t >::visit( const ast::WaitForStmt * node ) {
926 VISIT_START( node );
927 // for( auto & clause : node->clauses ) {
928 // maybeAccept_impl( clause.target.function, *this );
929 // maybeAccept_impl( clause.target.arguments, *this );
930
931 // maybeAccept_impl( clause.statement, *this );
932 // maybeAccept_impl( clause.condition, *this );
933 // }
934
935 if ( __visit_children() ) {
936 std::vector<WaitForStmt::Clause> new_clauses;
937 new_clauses.reserve( node->clauses.size() );
938 bool mutated = false;
939 for( const auto & clause : node->clauses ) {
940
941 const Expr * func = clause.target.func ? clause.target.func->accept(*this) : nullptr;
942 if(func != clause.target.func) mutated = true;
943
944 std::vector<ptr<Expr>> new_args;
945 new_args.reserve(clause.target.args.size());
946 for( const auto & arg : clause.target.args ) {
947 auto a = arg->accept(*this);
948 new_args.push_back( a );
949 if( a != arg ) mutated = true;
950 }
951
952 const Stmt * stmt = clause.stmt ? clause.stmt->accept(*this) : nullptr;
953 if(stmt != clause.stmt) mutated = true;
954
955 const Expr * cond = clause.cond ? clause.cond->accept(*this) : nullptr;
956 if(cond != clause.cond) mutated = true;
957
958 new_clauses.push_back( WaitForStmt::Clause{ {func, std::move(new_args) }, stmt, cond } );
959 }
960
961 if(mutated) {
962 auto n = __pass::mutate<core_t>(node);
963 n->clauses = std::move( new_clauses );
964 node = n;
965 }
966 }
967
968 #define maybe_accept(field) \
969 if(node->field) { \
970 auto nval = call_accept( node->field ); \
971 if(nval != node->field ) { \
972 auto nparent = __pass::mutate<core_t>(node); \
973 nparent->field = nval; \
974 node = nparent; \
975 } \
976 }
977
978 if ( __visit_children() ) {
979 maybe_accept( timeout.time );
980 maybe_accept( timeout.stmt );
981 maybe_accept( timeout.cond );
982 maybe_accept( orElse.stmt );
983 maybe_accept( orElse.cond );
984 }
985
986 #undef maybe_accept
987
988 VISIT_END( Stmt, node );
989}
990
991//--------------------------------------------------------------------------
992// WithStmt
993template< typename core_t >
994const ast::Decl * ast::Pass< core_t >::visit( const ast::WithStmt * node ) {
995 VISIT_START( node );
996
997 if ( __visit_children() ) {
998 maybe_accept( node, &WithStmt::exprs );
999 {
1000 // catch statements introduce a level of scope (for the caught exception)
1001 guard_symtab guard { *this };
1002 __pass::symtab::addWith( core, 0, node->exprs, node );
1003 maybe_accept( node, &WithStmt::stmt );
1004 }
1005 }
1006
1007 VISIT_END( Stmt, node );
1008}
1009
1010//--------------------------------------------------------------------------
1011// NullStmt
1012template< typename core_t >
1013const ast::NullStmt * ast::Pass< core_t >::visit( const ast::NullStmt * node ) {
1014 VISIT_START( node );
1015 VISIT_END( NullStmt, node );
1016}
1017
1018//--------------------------------------------------------------------------
1019// DeclStmt
1020template< typename core_t >
1021const ast::Stmt * ast::Pass< core_t >::visit( const ast::DeclStmt * node ) {
1022 VISIT_START( node );
1023
1024 if ( __visit_children() ) {
1025 maybe_accept( node, &DeclStmt::decl );
1026 }
1027
1028 VISIT_END( Stmt, node );
1029}
1030
1031//--------------------------------------------------------------------------
1032// ImplicitCtorDtorStmt
1033template< typename core_t >
1034const ast::Stmt * ast::Pass< core_t >::visit( const ast::ImplicitCtorDtorStmt * node ) {
1035 VISIT_START( node );
1036
1037 // For now this isn't visited, it is unclear if this causes problem
1038 // if all tests are known to pass, remove this code
1039 if ( __visit_children() ) {
1040 maybe_accept( node, &ImplicitCtorDtorStmt::callStmt );
1041 }
1042
1043 VISIT_END( Stmt, node );
1044}
1045
1046//--------------------------------------------------------------------------
1047// MutexStmt
1048template< typename core_t >
1049const ast::Stmt * ast::Pass< core_t >::visit( const ast::MutexStmt * node ) {
1050 VISIT_START( node );
1051
1052 if ( __visit_children() ) {
1053 // mutex statements introduce a level of scope (for the initialization)
1054 guard_symtab guard { *this };
1055 maybe_accept( node, &MutexStmt::stmt );
1056 maybe_accept( node, &MutexStmt::mutexObjs );
1057 }
1058
1059 VISIT_END( Stmt, node );
1060}
1061
1062//--------------------------------------------------------------------------
1063// ApplicationExpr
1064template< typename core_t >
1065const ast::Expr * ast::Pass< core_t >::visit( const ast::ApplicationExpr * node ) {
1066 VISIT_START( node );
1067
1068 if ( __visit_children() ) {
1069 {
1070 guard_symtab guard { *this };
1071 maybe_accept( node, &ApplicationExpr::result );
1072 }
1073 maybe_accept( node, &ApplicationExpr::func );
1074 maybe_accept( node, &ApplicationExpr::args );
1075 }
1076
1077 VISIT_END( Expr, node );
1078}
1079
1080//--------------------------------------------------------------------------
1081// UntypedExpr
1082template< typename core_t >
1083const ast::Expr * ast::Pass< core_t >::visit( const ast::UntypedExpr * node ) {
1084 VISIT_START( node );
1085
1086 if ( __visit_children() ) {
1087 {
1088 guard_symtab guard { *this };
1089 maybe_accept( node, &UntypedExpr::result );
1090 }
1091
1092 maybe_accept( node, &UntypedExpr::args );
1093 }
1094
1095 VISIT_END( Expr, node );
1096}
1097
1098//--------------------------------------------------------------------------
1099// NameExpr
1100template< typename core_t >
1101const ast::Expr * ast::Pass< core_t >::visit( const ast::NameExpr * node ) {
1102 VISIT_START( node );
1103
1104 if ( __visit_children() ) {
1105 guard_symtab guard { *this };
1106 maybe_accept( node, &NameExpr::result );
1107 }
1108
1109 VISIT_END( Expr, node );
1110}
1111
1112//--------------------------------------------------------------------------
1113// CastExpr
1114template< typename core_t >
1115const ast::Expr * ast::Pass< core_t >::visit( const ast::CastExpr * node ) {
1116 VISIT_START( node );
1117
1118 if ( __visit_children() ) {
1119 {
1120 guard_symtab guard { *this };
1121 maybe_accept( node, &CastExpr::result );
1122 }
1123 maybe_accept( node, &CastExpr::arg );
1124 }
1125
1126 VISIT_END( Expr, node );
1127}
1128
1129//--------------------------------------------------------------------------
1130// KeywordCastExpr
1131template< typename core_t >
1132const ast::Expr * ast::Pass< core_t >::visit( const ast::KeywordCastExpr * node ) {
1133 VISIT_START( node );
1134
1135 if ( __visit_children() ) {
1136 {
1137 guard_symtab guard { *this };
1138 maybe_accept( node, &KeywordCastExpr::result );
1139 }
1140 maybe_accept( node, &KeywordCastExpr::arg );
1141 }
1142
1143 VISIT_END( Expr, node );
1144}
1145
1146//--------------------------------------------------------------------------
1147// VirtualCastExpr
1148template< typename core_t >
1149const ast::Expr * ast::Pass< core_t >::visit( const ast::VirtualCastExpr * node ) {
1150 VISIT_START( node );
1151
1152 if ( __visit_children() ) {
1153 {
1154 guard_symtab guard { *this };
1155 maybe_accept( node, &VirtualCastExpr::result );
1156 }
1157 maybe_accept( node, &VirtualCastExpr::arg );
1158 }
1159
1160 VISIT_END( Expr, node );
1161}
1162
1163//--------------------------------------------------------------------------
1164// AddressExpr
1165template< typename core_t >
1166const ast::Expr * ast::Pass< core_t >::visit( const ast::AddressExpr * node ) {
1167 VISIT_START( node );
1168
1169 if ( __visit_children() ) {
1170 {
1171 guard_symtab guard { *this };
1172 maybe_accept( node, &AddressExpr::result );
1173 }
1174 maybe_accept( node, &AddressExpr::arg );
1175 }
1176
1177 VISIT_END( Expr, node );
1178}
1179
1180//--------------------------------------------------------------------------
1181// LabelAddressExpr
1182template< typename core_t >
1183const ast::Expr * ast::Pass< core_t >::visit( const ast::LabelAddressExpr * node ) {
1184 VISIT_START( node );
1185
1186 if ( __visit_children() ) {
1187 guard_symtab guard { *this };
1188 maybe_accept( node, &LabelAddressExpr::result );
1189 }
1190
1191 VISIT_END( Expr, node );
1192}
1193
1194//--------------------------------------------------------------------------
1195// UntypedMemberExpr
1196template< typename core_t >
1197const ast::Expr * ast::Pass< core_t >::visit( const ast::UntypedMemberExpr * node ) {
1198 VISIT_START( node );
1199
1200 if ( __visit_children() ) {
1201 {
1202 guard_symtab guard { *this };
1203 maybe_accept( node, &UntypedMemberExpr::result );
1204 }
1205 maybe_accept( node, &UntypedMemberExpr::aggregate );
1206 maybe_accept( node, &UntypedMemberExpr::member );
1207 }
1208
1209 VISIT_END( Expr, node );
1210}
1211
1212//--------------------------------------------------------------------------
1213// MemberExpr
1214template< typename core_t >
1215const ast::Expr * ast::Pass< core_t >::visit( const ast::MemberExpr * node ) {
1216 VISIT_START( node );
1217
1218 if ( __visit_children() ) {
1219 {
1220 guard_symtab guard { *this };
1221 maybe_accept( node, &MemberExpr::result );
1222 }
1223 maybe_accept( node, &MemberExpr::aggregate );
1224 }
1225
1226 VISIT_END( Expr, node );
1227}
1228
1229//--------------------------------------------------------------------------
1230// VariableExpr
1231template< typename core_t >
1232const ast::Expr * ast::Pass< core_t >::visit( const ast::VariableExpr * node ) {
1233 VISIT_START( node );
1234
1235 if ( __visit_children() ) {
1236 guard_symtab guard { *this };
1237 maybe_accept( node, &VariableExpr::result );
1238 }
1239
1240 VISIT_END( Expr, node );
1241}
1242
1243//--------------------------------------------------------------------------
1244// ConstantExpr
1245template< typename core_t >
1246const ast::Expr * ast::Pass< core_t >::visit( const ast::ConstantExpr * node ) {
1247 VISIT_START( node );
1248
1249 if ( __visit_children() ) {
1250 guard_symtab guard { *this };
1251 maybe_accept( node, &ConstantExpr::result );
1252 }
1253
1254 VISIT_END( Expr, node );
1255}
1256
1257//--------------------------------------------------------------------------
1258// SizeofExpr
1259template< typename core_t >
1260const ast::Expr * ast::Pass< core_t >::visit( const ast::SizeofExpr * node ) {
1261 VISIT_START( node );
1262
1263 if ( __visit_children() ) {
1264 {
1265 guard_symtab guard { *this };
1266 maybe_accept( node, &SizeofExpr::result );
1267 }
1268 if ( node->type ) {
1269 maybe_accept( node, &SizeofExpr::type );
1270 } else {
1271 maybe_accept( node, &SizeofExpr::expr );
1272 }
1273 }
1274
1275 VISIT_END( Expr, node );
1276}
1277
1278//--------------------------------------------------------------------------
1279// AlignofExpr
1280template< typename core_t >
1281const ast::Expr * ast::Pass< core_t >::visit( const ast::AlignofExpr * node ) {
1282 VISIT_START( node );
1283
1284 if ( __visit_children() ) {
1285 {
1286 guard_symtab guard { *this };
1287 maybe_accept( node, &AlignofExpr::result );
1288 }
1289 if ( node->type ) {
1290 maybe_accept( node, &AlignofExpr::type );
1291 } else {
1292 maybe_accept( node, &AlignofExpr::expr );
1293 }
1294 }
1295
1296 VISIT_END( Expr, node );
1297}
1298
1299//--------------------------------------------------------------------------
1300// UntypedOffsetofExpr
1301template< typename core_t >
1302const ast::Expr * ast::Pass< core_t >::visit( const ast::UntypedOffsetofExpr * node ) {
1303 VISIT_START( node );
1304
1305 if ( __visit_children() ) {
1306 {
1307 guard_symtab guard { *this };
1308 maybe_accept( node, &UntypedOffsetofExpr::result );
1309 }
1310 maybe_accept( node, &UntypedOffsetofExpr::type );
1311 }
1312
1313 VISIT_END( Expr, node );
1314}
1315
1316//--------------------------------------------------------------------------
1317// OffsetofExpr
1318template< typename core_t >
1319const ast::Expr * ast::Pass< core_t >::visit( const ast::OffsetofExpr * node ) {
1320 VISIT_START( node );
1321
1322 if ( __visit_children() ) {
1323 {
1324 guard_symtab guard { *this };
1325 maybe_accept( node, &OffsetofExpr::result );
1326 }
1327 maybe_accept( node, &OffsetofExpr::type );
1328 }
1329
1330 VISIT_END( Expr, node );
1331}
1332
1333//--------------------------------------------------------------------------
1334// OffsetPackExpr
1335template< typename core_t >
1336const ast::Expr * ast::Pass< core_t >::visit( const ast::OffsetPackExpr * node ) {
1337 VISIT_START( node );
1338
1339 if ( __visit_children() ) {
1340 {
1341 guard_symtab guard { *this };
1342 maybe_accept( node, &OffsetPackExpr::result );
1343 }
1344 maybe_accept( node, &OffsetPackExpr::type );
1345 }
1346
1347 VISIT_END( Expr, node );
1348}
1349
1350//--------------------------------------------------------------------------
1351// LogicalExpr
1352template< typename core_t >
1353const ast::Expr * ast::Pass< core_t >::visit( const ast::LogicalExpr * node ) {
1354 VISIT_START( node );
1355
1356 if ( __visit_children() ) {
1357 {
1358 guard_symtab guard { *this };
1359 maybe_accept( node, &LogicalExpr::result );
1360 }
1361 maybe_accept( node, &LogicalExpr::arg1 );
1362 maybe_accept( node, &LogicalExpr::arg2 );
1363 }
1364
1365 VISIT_END( Expr, node );
1366}
1367
1368//--------------------------------------------------------------------------
1369// ConditionalExpr
1370template< typename core_t >
1371const ast::Expr * ast::Pass< core_t >::visit( const ast::ConditionalExpr * node ) {
1372 VISIT_START( node );
1373
1374 if ( __visit_children() ) {
1375 {
1376 guard_symtab guard { *this };
1377 maybe_accept( node, &ConditionalExpr::result );
1378 }
1379 maybe_accept( node, &ConditionalExpr::arg1 );
1380 maybe_accept( node, &ConditionalExpr::arg2 );
1381 maybe_accept( node, &ConditionalExpr::arg3 );
1382 }
1383
1384 VISIT_END( Expr, node );
1385}
1386
1387//--------------------------------------------------------------------------
1388// CommaExpr
1389template< typename core_t >
1390const ast::Expr * ast::Pass< core_t >::visit( const ast::CommaExpr * node ) {
1391 VISIT_START( node );
1392
1393 if ( __visit_children() ) {
1394 {
1395 guard_symtab guard { *this };
1396 maybe_accept( node, &CommaExpr::result );
1397 }
1398 maybe_accept( node, &CommaExpr::arg1 );
1399 maybe_accept( node, &CommaExpr::arg2 );
1400 }
1401
1402 VISIT_END( Expr, node );
1403}
1404
1405//--------------------------------------------------------------------------
1406// TypeExpr
1407template< typename core_t >
1408const ast::Expr * ast::Pass< core_t >::visit( const ast::TypeExpr * node ) {
1409 VISIT_START( node );
1410
1411 if ( __visit_children() ) {
1412 {
1413 guard_symtab guard { *this };
1414 maybe_accept( node, &TypeExpr::result );
1415 }
1416 maybe_accept( node, &TypeExpr::type );
1417 }
1418
1419 VISIT_END( Expr, node );
1420}
1421
1422//--------------------------------------------------------------------------
1423// AsmExpr
1424template< typename core_t >
1425const ast::Expr * ast::Pass< core_t >::visit( const ast::AsmExpr * node ) {
1426 VISIT_START( node );
1427
1428 if ( __visit_children() ) {
1429 {
1430 guard_symtab guard { *this };
1431 maybe_accept( node, &AsmExpr::result );
1432 }
1433 maybe_accept( node, &AsmExpr::constraint );
1434 maybe_accept( node, &AsmExpr::operand );
1435 }
1436
1437 VISIT_END( Expr, node );
1438}
1439
1440//--------------------------------------------------------------------------
1441// ImplicitCopyCtorExpr
1442template< typename core_t >
1443const ast::Expr * ast::Pass< core_t >::visit( const ast::ImplicitCopyCtorExpr * node ) {
1444 VISIT_START( node );
1445
1446 if ( __visit_children() ) {
1447 {
1448 guard_symtab guard { *this };
1449 maybe_accept( node, &ImplicitCopyCtorExpr::result );
1450 }
1451 maybe_accept( node, &ImplicitCopyCtorExpr::callExpr );
1452 }
1453
1454 VISIT_END( Expr, node );
1455}
1456
1457//--------------------------------------------------------------------------
1458// ConstructorExpr
1459template< typename core_t >
1460const ast::Expr * ast::Pass< core_t >::visit( const ast::ConstructorExpr * node ) {
1461 VISIT_START( node );
1462
1463 if ( __visit_children() ) {
1464 {
1465 guard_symtab guard { *this };
1466 maybe_accept( node, &ConstructorExpr::result );
1467 }
1468 maybe_accept( node, &ConstructorExpr::callExpr );
1469 }
1470
1471 VISIT_END( Expr, node );
1472}
1473
1474//--------------------------------------------------------------------------
1475// CompoundLiteralExpr
1476template< typename core_t >
1477const ast::Expr * ast::Pass< core_t >::visit( const ast::CompoundLiteralExpr * node ) {
1478 VISIT_START( node );
1479
1480 if ( __visit_children() ) {
1481 {
1482 guard_symtab guard { *this };
1483 maybe_accept( node, &CompoundLiteralExpr::result );
1484 }
1485 maybe_accept( node, &CompoundLiteralExpr::init );
1486 }
1487
1488 VISIT_END( Expr, node );
1489}
1490
1491//--------------------------------------------------------------------------
1492// RangeExpr
1493template< typename core_t >
1494const ast::Expr * ast::Pass< core_t >::visit( const ast::RangeExpr * node ) {
1495 VISIT_START( node );
1496
1497 if ( __visit_children() ) {
1498 {
1499 guard_symtab guard { *this };
1500 maybe_accept( node, &RangeExpr::result );
1501 }
1502 maybe_accept( node, &RangeExpr::low );
1503 maybe_accept( node, &RangeExpr::high );
1504 }
1505
1506 VISIT_END( Expr, node );
1507}
1508
1509//--------------------------------------------------------------------------
1510// UntypedTupleExpr
1511template< typename core_t >
1512const ast::Expr * ast::Pass< core_t >::visit( const ast::UntypedTupleExpr * node ) {
1513 VISIT_START( node );
1514
1515 if ( __visit_children() ) {
1516 {
1517 guard_symtab guard { *this };
1518 maybe_accept( node, &UntypedTupleExpr::result );
1519 }
1520 maybe_accept( node, &UntypedTupleExpr::exprs );
1521 }
1522
1523 VISIT_END( Expr, node );
1524}
1525
1526//--------------------------------------------------------------------------
1527// TupleExpr
1528template< typename core_t >
1529const ast::Expr * ast::Pass< core_t >::visit( const ast::TupleExpr * node ) {
1530 VISIT_START( node );
1531
1532 if ( __visit_children() ) {
1533 {
1534 guard_symtab guard { *this };
1535 maybe_accept( node, &TupleExpr::result );
1536 }
1537 maybe_accept( node, &TupleExpr::exprs );
1538 }
1539
1540 VISIT_END( Expr, node );
1541}
1542
1543//--------------------------------------------------------------------------
1544// TupleIndexExpr
1545template< typename core_t >
1546const ast::Expr * ast::Pass< core_t >::visit( const ast::TupleIndexExpr * node ) {
1547 VISIT_START( node );
1548
1549 if ( __visit_children() ) {
1550 {
1551 guard_symtab guard { *this };
1552 maybe_accept( node, &TupleIndexExpr::result );
1553 }
1554 maybe_accept( node, &TupleIndexExpr::tuple );
1555 }
1556
1557 VISIT_END( Expr, node );
1558}
1559
1560//--------------------------------------------------------------------------
1561// TupleAssignExpr
1562template< typename core_t >
1563const ast::Expr * ast::Pass< core_t >::visit( const ast::TupleAssignExpr * node ) {
1564 VISIT_START( node );
1565
1566 if ( __visit_children() ) {
1567 {
1568 guard_symtab guard { *this };
1569 maybe_accept( node, &TupleAssignExpr::result );
1570 }
1571 maybe_accept( node, &TupleAssignExpr::stmtExpr );
1572 }
1573
1574 VISIT_END( Expr, node );
1575}
1576
1577//--------------------------------------------------------------------------
1578// StmtExpr
1579template< typename core_t >
1580const ast::Expr * ast::Pass< core_t >::visit( const ast::StmtExpr * node ) {
1581 VISIT_START( node );
1582
1583 if ( __visit_children() ) {
1584 // don't want statements from outer CompoundStmts to be added to this StmtExpr
1585 // get the stmts that will need to be spliced in
1586 auto stmts_before = __pass::stmtsToAddBefore( core, 0);
1587 auto stmts_after = __pass::stmtsToAddAfter ( core, 0);
1588
1589 // These may be modified by subnode but most be restored once we exit this statemnet.
1590 ValueGuardPtr< const ast::TypeSubstitution * > __old_env( __pass::typeSubs( core, 0 ) );
1591 ValueGuardPtr< typename std::remove_pointer< decltype(stmts_before) >::type > __old_decls_before( stmts_before );
1592 ValueGuardPtr< typename std::remove_pointer< decltype(stmts_after ) >::type > __old_decls_after ( stmts_after );
1593
1594 {
1595 guard_symtab guard { *this };
1596 maybe_accept( node, &StmtExpr::result );
1597 }
1598 maybe_accept( node, &StmtExpr::stmts );
1599 maybe_accept( node, &StmtExpr::returnDecls );
1600 maybe_accept( node, &StmtExpr::dtors );
1601 }
1602
1603 VISIT_END( Expr, node );
1604}
1605
1606//--------------------------------------------------------------------------
1607// UniqueExpr
1608template< typename core_t >
1609const ast::Expr * ast::Pass< core_t >::visit( const ast::UniqueExpr * node ) {
1610 VISIT_START( node );
1611
1612 if ( __visit_children() ) {
1613 {
1614 guard_symtab guard { *this };
1615 maybe_accept( node, &UniqueExpr::result );
1616 }
1617 maybe_accept( node, &UniqueExpr::expr );
1618 }
1619
1620 VISIT_END( Expr, node );
1621}
1622
1623//--------------------------------------------------------------------------
1624// UntypedInitExpr
1625template< typename core_t >
1626const ast::Expr * ast::Pass< core_t >::visit( const ast::UntypedInitExpr * node ) {
1627 VISIT_START( node );
1628
1629 if ( __visit_children() ) {
1630 {
1631 guard_symtab guard { *this };
1632 maybe_accept( node, &UntypedInitExpr::result );
1633 }
1634 maybe_accept( node, &UntypedInitExpr::expr );
1635 // not currently visiting initAlts, but this doesn't matter since this node is only used in the resolver.
1636 }
1637
1638 VISIT_END( Expr, node );
1639}
1640
1641//--------------------------------------------------------------------------
1642// InitExpr
1643template< typename core_t >
1644const ast::Expr * ast::Pass< core_t >::visit( const ast::InitExpr * node ) {
1645 VISIT_START( node );
1646
1647 if ( __visit_children() ) {
1648 {
1649 guard_symtab guard { *this };
1650 maybe_accept( node, &InitExpr::result );
1651 }
1652 maybe_accept( node, &InitExpr::expr );
1653 maybe_accept( node, &InitExpr::designation );
1654 }
1655
1656 VISIT_END( Expr, node );
1657}
1658
1659//--------------------------------------------------------------------------
1660// DeletedExpr
1661template< typename core_t >
1662const ast::Expr * ast::Pass< core_t >::visit( const ast::DeletedExpr * node ) {
1663 VISIT_START( node );
1664
1665 if ( __visit_children() ) {
1666 {
1667 guard_symtab guard { *this };
1668 maybe_accept( node, &DeletedExpr::result );
1669 }
1670 maybe_accept( node, &DeletedExpr::expr );
1671 // don't visit deleteStmt, because it is a pointer to somewhere else in the tree.
1672 }
1673
1674 VISIT_END( Expr, node );
1675}
1676
1677//--------------------------------------------------------------------------
1678// DefaultArgExpr
1679template< typename core_t >
1680const ast::Expr * ast::Pass< core_t >::visit( const ast::DefaultArgExpr * node ) {
1681 VISIT_START( node );
1682
1683 if ( __visit_children() ) {
1684 {
1685 guard_symtab guard { *this };
1686 maybe_accept( node, &DefaultArgExpr::result );
1687 }
1688 maybe_accept( node, &DefaultArgExpr::expr );
1689 }
1690
1691 VISIT_END( Expr, node );
1692}
1693
1694//--------------------------------------------------------------------------
1695// GenericExpr
1696template< typename core_t >
1697const ast::Expr * ast::Pass< core_t >::visit( const ast::GenericExpr * node ) {
1698 VISIT_START( node );
1699
1700 if ( __visit_children() ) {
1701 {
1702 guard_symtab guard { *this };
1703 maybe_accept( node, &GenericExpr::result );
1704 }
1705 maybe_accept( node, &GenericExpr::control );
1706
1707 std::vector<GenericExpr::Association> new_kids;
1708 new_kids.reserve(node->associations.size());
1709 bool mutated = false;
1710 for( const auto & assoc : node->associations ) {
1711 const Type * type = nullptr;
1712 if( assoc.type ) {
1713 guard_symtab guard { *this };
1714 type = assoc.type->accept( *this );
1715 if( type != assoc.type ) mutated = true;
1716 }
1717 const Expr * expr = nullptr;
1718 if( assoc.expr ) {
1719 expr = assoc.expr->accept( *this );
1720 if( expr != assoc.expr ) mutated = true;
1721 }
1722 new_kids.emplace_back( type, expr );
1723 }
1724
1725 if(mutated) {
1726 auto n = __pass::mutate<core_t>(node);
1727 n->associations = std::move( new_kids );
1728 node = n;
1729 }
1730 }
1731
1732 VISIT_END( Expr, node );
1733}
1734
1735//--------------------------------------------------------------------------
1736// VoidType
1737template< typename core_t >
1738const ast::Type * ast::Pass< core_t >::visit( const ast::VoidType * node ) {
1739 VISIT_START( node );
1740
1741 VISIT_END( Type, node );
1742}
1743
1744//--------------------------------------------------------------------------
1745// BasicType
1746template< typename core_t >
1747const ast::Type * ast::Pass< core_t >::visit( const ast::BasicType * node ) {
1748 VISIT_START( node );
1749
1750 VISIT_END( Type, node );
1751}
1752
1753//--------------------------------------------------------------------------
1754// PointerType
1755template< typename core_t >
1756const ast::Type * ast::Pass< core_t >::visit( const ast::PointerType * node ) {
1757 VISIT_START( node );
1758
1759 if ( __visit_children() ) {
1760 // xxx - should PointerType visit/mutate dimension?
1761 maybe_accept( node, &PointerType::base );
1762 }
1763
1764 VISIT_END( Type, node );
1765}
1766
1767//--------------------------------------------------------------------------
1768// ArrayType
1769template< typename core_t >
1770const ast::Type * ast::Pass< core_t >::visit( const ast::ArrayType * node ) {
1771 VISIT_START( node );
1772
1773 if ( __visit_children() ) {
1774 maybe_accept( node, &ArrayType::dimension );
1775 maybe_accept( node, &ArrayType::base );
1776 }
1777
1778 VISIT_END( Type, node );
1779}
1780
1781//--------------------------------------------------------------------------
1782// ReferenceType
1783template< typename core_t >
1784const ast::Type * ast::Pass< core_t >::visit( const ast::ReferenceType * node ) {
1785 VISIT_START( node );
1786
1787 if ( __visit_children() ) {
1788 maybe_accept( node, &ReferenceType::base );
1789 }
1790
1791 VISIT_END( Type, node );
1792}
1793
1794//--------------------------------------------------------------------------
1795// QualifiedType
1796template< typename core_t >
1797const ast::Type * ast::Pass< core_t >::visit( const ast::QualifiedType * node ) {
1798 VISIT_START( node );
1799
1800 if ( __visit_children() ) {
1801 maybe_accept( node, &QualifiedType::parent );
1802 maybe_accept( node, &QualifiedType::child );
1803 }
1804
1805 VISIT_END( Type, node );
1806}
1807
1808//--------------------------------------------------------------------------
1809// FunctionType
1810template< typename core_t >
1811const ast::Type * ast::Pass< core_t >::visit( const ast::FunctionType * node ) {
1812 VISIT_START( node );
1813
1814 if ( __visit_children() ) {
1815 // guard_forall_subs forall_guard { *this, node };
1816 // mutate_forall( node );
1817 maybe_accept( node, &FunctionType::assertions );
1818 maybe_accept( node, &FunctionType::returns );
1819 maybe_accept( node, &FunctionType::params );
1820 }
1821
1822 VISIT_END( Type, node );
1823}
1824
1825//--------------------------------------------------------------------------
1826// StructInstType
1827template< typename core_t >
1828const ast::Type * ast::Pass< core_t >::visit( const ast::StructInstType * node ) {
1829 VISIT_START( node );
1830
1831 __pass::symtab::addStruct( core, 0, node->name );
1832
1833 if ( __visit_children() ) {
1834 guard_symtab guard { *this };
1835 maybe_accept( node, &StructInstType::params );
1836 }
1837
1838 VISIT_END( Type, node );
1839}
1840
1841//--------------------------------------------------------------------------
1842// UnionInstType
1843template< typename core_t >
1844const ast::Type * ast::Pass< core_t >::visit( const ast::UnionInstType * node ) {
1845 VISIT_START( node );
1846
1847 __pass::symtab::addUnion( core, 0, node->name );
1848
1849 if ( __visit_children() ) {
1850 guard_symtab guard { *this };
1851 maybe_accept( node, &UnionInstType::params );
1852 }
1853
1854 VISIT_END( Type, node );
1855}
1856
1857//--------------------------------------------------------------------------
1858// EnumInstType
1859template< typename core_t >
1860const ast::Type * ast::Pass< core_t >::visit( const ast::EnumInstType * node ) {
1861 VISIT_START( node );
1862
1863 if ( __visit_children() ) {
1864 maybe_accept( node, &EnumInstType::params );
1865 }
1866
1867 VISIT_END( Type, node );
1868}
1869
1870//--------------------------------------------------------------------------
1871// TraitInstType
1872template< typename core_t >
1873const ast::Type * ast::Pass< core_t >::visit( const ast::TraitInstType * node ) {
1874 VISIT_START( node );
1875
1876 if ( __visit_children() ) {
1877 maybe_accept( node, &TraitInstType::params );
1878 }
1879
1880 VISIT_END( Type, node );
1881}
1882
1883//--------------------------------------------------------------------------
1884// TypeInstType
1885template< typename core_t >
1886const ast::Type * ast::Pass< core_t >::visit( const ast::TypeInstType * node ) {
1887 VISIT_START( node );
1888
1889 if ( __visit_children() ) {
1890 {
1891 maybe_accept( node, &TypeInstType::params );
1892 }
1893 // ensure that base re-bound if doing substitution
1894 __pass::forall::replace( core, 0, node );
1895 }
1896
1897 VISIT_END( Type, node );
1898}
1899
1900//--------------------------------------------------------------------------
1901// TupleType
1902template< typename core_t >
1903const ast::Type * ast::Pass< core_t >::visit( const ast::TupleType * node ) {
1904 VISIT_START( node );
1905
1906 if ( __visit_children() ) {
1907 maybe_accept( node, &TupleType::types );
1908 maybe_accept( node, &TupleType::members );
1909 }
1910
1911 VISIT_END( Type, node );
1912}
1913
1914//--------------------------------------------------------------------------
1915// TypeofType
1916template< typename core_t >
1917const ast::Type * ast::Pass< core_t >::visit( const ast::TypeofType * node ) {
1918 VISIT_START( node );
1919
1920 if ( __visit_children() ) {
1921 maybe_accept( node, &TypeofType::expr );
1922 }
1923
1924 VISIT_END( Type, node );
1925}
1926
1927//--------------------------------------------------------------------------
1928// VTableType
1929template< typename core_t >
1930const ast::Type * ast::Pass< core_t >::visit( const ast::VTableType * node ) {
1931 VISIT_START( node );
1932
1933 if ( __visit_children() ) {
1934 maybe_accept( node, &VTableType::base );
1935 }
1936
1937 VISIT_END( Type, node );
1938}
1939
1940//--------------------------------------------------------------------------
1941// VarArgsType
1942template< typename core_t >
1943const ast::Type * ast::Pass< core_t >::visit( const ast::VarArgsType * node ) {
1944 VISIT_START( node );
1945
1946 VISIT_END( Type, node );
1947}
1948
1949//--------------------------------------------------------------------------
1950// ZeroType
1951template< typename core_t >
1952const ast::Type * ast::Pass< core_t >::visit( const ast::ZeroType * node ) {
1953 VISIT_START( node );
1954
1955 VISIT_END( Type, node );
1956}
1957
1958//--------------------------------------------------------------------------
1959// OneType
1960template< typename core_t >
1961const ast::Type * ast::Pass< core_t >::visit( const ast::OneType * node ) {
1962 VISIT_START( node );
1963
1964 VISIT_END( Type, node );
1965}
1966
1967//--------------------------------------------------------------------------
1968// GlobalScopeType
1969template< typename core_t >
1970const ast::Type * ast::Pass< core_t >::visit( const ast::GlobalScopeType * node ) {
1971 VISIT_START( node );
1972
1973 VISIT_END( Type, node );
1974}
1975
1976
1977//--------------------------------------------------------------------------
1978// Designation
1979template< typename core_t >
1980const ast::Designation * ast::Pass< core_t >::visit( const ast::Designation * node ) {
1981 VISIT_START( node );
1982
1983 if ( __visit_children() ) {
1984 maybe_accept( node, &Designation::designators );
1985 }
1986
1987 VISIT_END( Designation, node );
1988}
1989
1990//--------------------------------------------------------------------------
1991// SingleInit
1992template< typename core_t >
1993const ast::Init * ast::Pass< core_t >::visit( const ast::SingleInit * node ) {
1994 VISIT_START( node );
1995
1996 if ( __visit_children() ) {
1997 maybe_accept( node, &SingleInit::value );
1998 }
1999
2000 VISIT_END( Init, node );
2001}
2002
2003//--------------------------------------------------------------------------
2004// ListInit
2005template< typename core_t >
2006const ast::Init * ast::Pass< core_t >::visit( const ast::ListInit * node ) {
2007 VISIT_START( node );
2008
2009 if ( __visit_children() ) {
2010 maybe_accept( node, &ListInit::designations );
2011 maybe_accept( node, &ListInit::initializers );
2012 }
2013
2014 VISIT_END( Init, node );
2015}
2016
2017//--------------------------------------------------------------------------
2018// ConstructorInit
2019template< typename core_t >
2020const ast::Init * ast::Pass< core_t >::visit( const ast::ConstructorInit * node ) {
2021 VISIT_START( node );
2022
2023 if ( __visit_children() ) {
2024 maybe_accept( node, &ConstructorInit::ctor );
2025 maybe_accept( node, &ConstructorInit::dtor );
2026 maybe_accept( node, &ConstructorInit::init );
2027 }
2028
2029 VISIT_END( Init, node );
2030}
2031
2032//--------------------------------------------------------------------------
2033// Attribute
2034template< typename core_t >
2035const ast::Attribute * ast::Pass< core_t >::visit( const ast::Attribute * node ) {
2036 VISIT_START( node );
2037
2038 if ( __visit_children() ) {
2039 maybe_accept( node, &Attribute::params );
2040 }
2041
2042 VISIT_END( Attribute, node );
2043}
2044
2045//--------------------------------------------------------------------------
2046// TypeSubstitution
2047template< typename core_t >
2048const ast::TypeSubstitution * ast::Pass< core_t >::visit( const ast::TypeSubstitution * node ) {
2049 VISIT_START( node );
2050
2051 if ( __visit_children() ) {
2052 {
2053 bool mutated = false;
2054 std::unordered_map< ast::TypeInstType::TypeEnvKey, ast::ptr< ast::Type > > new_map;
2055 for ( const auto & p : node->typeEnv ) {
2056 guard_symtab guard { *this };
2057 auto new_node = p.second->accept( *this );
2058 if (new_node != p.second) mutated = true;
2059 new_map.insert({ p.first, new_node });
2060 }
2061 if (mutated) {
2062 auto new_node = __pass::mutate<core_t>( node );
2063 new_node->typeEnv.swap( new_map );
2064 node = new_node;
2065 }
2066 }
2067 }
2068
2069 VISIT_END( TypeSubstitution, node );
2070}
2071
2072#undef VISIT_START
2073#undef VISIT_END
Note: See TracBrowser for help on using the repository browser.