source: src/Common/PassVisitor.impl.h@ 3c09d47

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors deferred_resn demangler enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new with_gc
Last change on this file since 3c09d47 was 9236060, checked in by Rob Schluntz <rschlunt@…>, 8 years ago

Merge branch 'master' into references
  • Property mode set to 100644
File size: 33.1 KB
Line 
1#pragma once
2// IWYU pragma: private, include "PassVisitor.h"
3
4#define VISIT_START( node ) \
5 __attribute__((unused)) \
6 guard_value_impl guard( at_cleanup_impl(pass, 0) ); \
7 bool visit_children = true; \
8 set_visit_children( visit_children ); \
9 call_previsit( node ); \
10 if( visit_children ) { \
11
12#define VISIT_END( node ) \
13 } \
14 call_postvisit( node ); \
15
16#define MUTATE_START( node ) \
17 __attribute__((unused)) \
18 guard_value_impl guard( at_cleanup_impl(pass, 0) ); \
19 bool visit_children = true; \
20 set_visit_children( visit_children ); \
21 call_premutate( node ); \
22 if( visit_children ) { \
23
24#define MUTATE_END( type, node ) \
25 } \
26 return call_postmutate< type * >( node ); \
27
28
29#define VISIT_BODY( node ) \
30 VISIT_START( node ); \
31 Visitor::visit( node ); \
32 VISIT_END( node ); \
33
34
35#define MUTATE_BODY( type, node ) \
36 MUTATE_START( node ); \
37 Mutator::mutate( node ); \
38 MUTATE_END( type, node ); \
39
40
41
42template<typename T>
43static inline bool empty( T * ptr ) {
44 return !ptr || ptr->empty();
45}
46
47typedef std::list< Statement * > StmtList_t;
48typedef std::list< Declaration * > DeclList_t;
49
50template<typename iterator_t>
51static inline void splice( iterator_t it, DeclList_t * decls ) {
52 std::transform(
53 decls->begin(),
54 decls->end(),
55 it,
56 [](Declaration * decl) -> auto {
57 return new DeclStmt( noLabels, decl );
58 }
59 );
60 decls->clear();
61}
62
63template< typename pass_type >
64static inline void acceptAll( std::list< Declaration* > &decls, PassVisitor< pass_type >& visitor ) {
65
66 DeclList_t* beforeDecls = visitor.get_beforeDecls();
67 DeclList_t* afterDecls = visitor.get_afterDecls();
68
69 for ( std::list< Declaration* >::iterator i = decls.begin(); ; ++i ) {
70 // splice in new declarations after previous decl
71 if ( !empty( afterDecls ) ) { decls.splice( i, *afterDecls ); }
72
73 if ( i == decls.end() ) break;
74
75 // run mutator on declaration
76 maybeAccept( *i, visitor );
77
78 // splice in new declarations before current decl
79 if ( !empty( beforeDecls ) ) { decls.splice( i, *beforeDecls ); }
80 }
81}
82
83template< typename pass_type >
84static inline void mutateAll( std::list< Declaration* > &decls, PassVisitor< pass_type >& mutator ) {
85
86 DeclList_t* beforeDecls = mutator.get_beforeDecls();
87 DeclList_t* afterDecls = mutator.get_afterDecls();
88
89 for ( std::list< Declaration* >::iterator i = decls.begin(); ; ++i ) {
90 // splice in new declarations after previous decl
91 if ( !empty( afterDecls ) ) { decls.splice( i, *afterDecls ); }
92
93 if ( i == decls.end() ) break;
94
95 // run mutator on declaration
96 *i = maybeMutate( *i, mutator );
97
98 // splice in new declarations before current decl
99 if ( !empty( beforeDecls ) ) { decls.splice( i, *beforeDecls ); }
100 }
101}
102
103template< typename pass_type >
104template< typename func_t >
105void PassVisitor< pass_type >::handleStatementList( std::list< Statement * > & statements, func_t func ) {
106 SemanticError errors;
107
108 // don't want statements from outer CompoundStmts to be added to this CompoundStmt
109 ValueGuardPtr< StmtList_t > oldBeforeStmts( get_beforeStmts() );
110 ValueGuardPtr< StmtList_t > oldAfterStmts ( get_afterStmts () );
111 ValueGuardPtr< DeclList_t > oldBeforeDecls( get_beforeDecls() );
112 ValueGuardPtr< DeclList_t > oldAfterDecls ( get_afterDecls () );
113
114 StmtList_t* beforeStmts = get_beforeStmts();
115 StmtList_t* afterStmts = get_afterStmts();
116 DeclList_t* beforeDecls = get_beforeDecls();
117 DeclList_t* afterDecls = get_afterDecls();
118
119 for ( std::list< Statement* >::iterator i = statements.begin(); i != statements.end(); ++i ) {
120
121 if ( !empty( afterDecls ) ) { splice( std::inserter( statements, i ), afterDecls ); }
122 if ( !empty( afterStmts ) ) { statements.splice( i, *afterStmts ); }
123
124 try {
125 func( *i );
126 assert(( empty( beforeStmts ) && empty( afterStmts ))
127 || ( empty( beforeDecls ) && empty( afterDecls )) );
128
129 } catch ( SemanticError &e ) {
130 errors.append( e );
131 }
132
133 if ( !empty( beforeDecls ) ) { splice( std::inserter( statements, i ), beforeDecls ); }
134 if ( !empty( beforeStmts ) ) { statements.splice( i, *beforeStmts ); }
135 }
136
137 if ( !empty( afterDecls ) ) { splice( std::back_inserter( statements ), afterDecls); }
138 if ( !empty( afterStmts ) ) { statements.splice( statements.end(), *afterStmts ); }
139 if ( !errors.isEmpty() ) { throw errors; }
140}
141
142template< typename pass_type >
143void PassVisitor< pass_type >::visitStatementList( std::list< Statement * > & statements ) {
144 handleStatementList( statements, [this]( Statement * stmt) {
145 stmt->accept( *this );
146 });
147}
148
149template< typename pass_type >
150void PassVisitor< pass_type >::mutateStatementList( std::list< Statement * > & statements ) {
151 handleStatementList( statements, [this]( Statement *& stmt) {
152 stmt = stmt->acceptMutator( *this );
153 });
154}
155
156
157template< typename pass_type >
158template< typename func_t >
159Statement * PassVisitor< pass_type >::handleStatement( Statement * stmt, func_t func ) {
160 // don't want statements from outer CompoundStmts to be added to this CompoundStmt
161 ValueGuardPtr< TypeSubstitution * > oldEnv ( get_env_ptr () );
162 ValueGuardPtr< DeclList_t > oldBeforeDecls( get_beforeDecls() );
163 ValueGuardPtr< DeclList_t > oldAfterDecls ( get_afterDecls () );
164 ValueGuardPtr< StmtList_t > oldBeforeStmts( get_beforeStmts() );
165 ValueGuardPtr< StmtList_t > oldAfterStmts ( get_afterStmts () );
166
167 Statement *newStmt = func( stmt );
168
169 StmtList_t* beforeStmts = get_beforeStmts();
170 StmtList_t* afterStmts = get_afterStmts();
171 DeclList_t* beforeDecls = get_beforeDecls();
172 DeclList_t* afterDecls = get_afterDecls();
173
174 if( empty(beforeStmts) && empty(afterStmts) && empty(beforeDecls) && empty(afterDecls) ) { return newStmt; }
175 assert(( empty( beforeStmts ) && empty( afterStmts ))
176 || ( empty( beforeDecls ) && empty( afterDecls )) );
177
178 CompoundStmt *compound = new CompoundStmt( noLabels );
179 if( !empty(beforeDecls) ) { splice( std::back_inserter( compound->get_kids() ), beforeDecls ); }
180 if( !empty(beforeStmts) ) { compound->get_kids().splice( compound->get_kids().end(), *beforeStmts ); }
181 compound->get_kids().push_back( newStmt );
182 if( !empty(afterDecls) ) { splice( std::back_inserter( compound->get_kids() ), afterDecls ); }
183 if( !empty(afterStmts) ) { compound->get_kids().splice( compound->get_kids().end(), *afterStmts ); }
184 return compound;
185}
186
187template< typename pass_type >
188Statement * PassVisitor< pass_type >::visitStatement( Statement * stmt ) {
189 return handleStatement( stmt, [this]( Statement * stmt ) {
190 maybeAccept( stmt, *this );
191 return stmt;
192 });
193}
194
195template< typename pass_type >
196Statement * PassVisitor< pass_type >::mutateStatement( Statement * stmt ) {
197 return handleStatement( stmt, [this]( Statement * stmt ) {
198 return maybeMutate( stmt, *this );
199 });
200}
201
202template< typename pass_type >
203template< typename func_t >
204Expression * PassVisitor< pass_type >::handleExpression( Expression * expr, func_t func ) {
205 if( !expr ) return nullptr;
206
207 auto env_ptr = get_env_ptr();
208 if ( env_ptr && expr->get_env() ) {
209 *env_ptr = expr->get_env();
210 }
211
212 // should env be cloned (or moved) onto the result of the mutate?
213 return func( expr );
214}
215
216template< typename pass_type >
217Expression * PassVisitor< pass_type >::visitExpression( Expression * expr ) {
218 return handleExpression(expr, [this]( Expression * expr ) {
219 expr->accept( *this );
220 return expr;
221 });
222}
223
224template< typename pass_type >
225Expression * PassVisitor< pass_type >::mutateExpression( Expression * expr ) {
226 return handleExpression(expr, [this]( Expression * expr ) {
227 return expr->acceptMutator( *this );
228 });
229}
230
231//------------------------------------------------------------------------------------------------------------------------------------------------------------------------
232
233template< typename pass_type >
234void PassVisitor< pass_type >::visit( ObjectDecl * node ) {
235 VISIT_BODY( node );
236}
237
238template< typename pass_type >
239void PassVisitor< pass_type >::visit( FunctionDecl * node ) {
240 VISIT_BODY( node );
241}
242
243template< typename pass_type >
244void PassVisitor< pass_type >::visit( StructDecl * node ) {
245 VISIT_BODY( node );
246}
247
248template< typename pass_type >
249void PassVisitor< pass_type >::visit( UnionDecl * node ) {
250 VISIT_BODY( node );
251}
252
253template< typename pass_type >
254void PassVisitor< pass_type >::visit( EnumDecl * node ) {
255 VISIT_BODY( node );
256}
257
258template< typename pass_type >
259void PassVisitor< pass_type >::visit( TraitDecl * node ) {
260 VISIT_BODY( node );
261}
262
263template< typename pass_type >
264void PassVisitor< pass_type >::visit( TypeDecl * node ) {
265 VISIT_BODY( node );
266}
267
268template< typename pass_type >
269void PassVisitor< pass_type >::visit( TypedefDecl * node ) {
270 VISIT_BODY( node );
271}
272
273template< typename pass_type >
274void PassVisitor< pass_type >::visit( AsmDecl * node ) {
275 VISIT_BODY( node );
276}
277
278//--------------------------------------------------------------------------
279// CompoundStmt
280template< typename pass_type >
281void PassVisitor< pass_type >::visit( CompoundStmt * node ) {
282 VISIT_START( node );
283 call_beginScope();
284
285 visitStatementList( node->get_kids() );
286
287 call_endScope();
288 VISIT_END( node );
289}
290
291template< typename pass_type >
292CompoundStmt * PassVisitor< pass_type >::mutate( CompoundStmt * node ) {
293 MUTATE_START( node );
294 call_beginScope();
295
296 mutateStatementList( node->get_kids() );
297
298 call_endScope();
299 MUTATE_END( CompoundStmt, node );
300}
301
302//--------------------------------------------------------------------------
303// ExprStmt
304template< typename pass_type >
305void PassVisitor< pass_type >::visit( ExprStmt * node ) {
306 VISIT_START( node );
307
308 visitExpression( node->get_expr() );
309
310 VISIT_END( node );
311}
312
313template< typename pass_type >
314Statement * PassVisitor< pass_type >::mutate( ExprStmt * node ) {
315 MUTATE_START( node );
316
317 node->set_expr( mutateExpression( node->get_expr() ) );
318
319 MUTATE_END( Statement, node );
320}
321
322//--------------------------------------------------------------------------
323// AsmStmt
324template< typename pass_type >
325void PassVisitor< pass_type >::visit( AsmStmt * node ) {
326 VISIT_BODY( node );
327}
328
329template< typename pass_type >
330Statement * PassVisitor< pass_type >::mutate( AsmStmt * node ) {
331 MUTATE_BODY( Statement, node );
332}
333
334//--------------------------------------------------------------------------
335// IfStmt
336template< typename pass_type >
337void PassVisitor< pass_type >::visit( IfStmt * node ) {
338 VISIT_START( node );
339
340 visitExpression( node->get_condition() );
341 node->set_thenPart ( visitStatement( node->get_thenPart() ) );
342 node->set_elsePart ( visitStatement( node->get_elsePart() ) );
343
344 VISIT_END( node );
345}
346
347template< typename pass_type >
348Statement * PassVisitor< pass_type >::mutate( IfStmt * node ) {
349 MUTATE_START( node );
350
351 node->set_condition( mutateExpression( node->get_condition() ) );
352 node->set_thenPart ( mutateStatement ( node->get_thenPart() ) );
353 node->set_elsePart ( mutateStatement ( node->get_elsePart() ) );
354
355 MUTATE_END( Statement, node );
356}
357
358//--------------------------------------------------------------------------
359// WhileStmt
360template< typename pass_type >
361void PassVisitor< pass_type >::visit( WhileStmt * node ) {
362 VISIT_START( node );
363
364 visitExpression( node->get_condition() );
365 node->set_body( visitStatement( node->get_body() ) );
366
367 VISIT_END( node );
368}
369
370template< typename pass_type >
371Statement * PassVisitor< pass_type >::mutate( WhileStmt * node ) {
372 MUTATE_START( node );
373
374 node->set_condition( mutateExpression( node->get_condition() ) );
375 node->set_body( mutateStatement( node->get_body() ) );
376
377 MUTATE_END( Statement, node );
378}
379
380//--------------------------------------------------------------------------
381// ForStmt
382template< typename pass_type >
383void PassVisitor< pass_type >::visit( ForStmt * node ) {
384 VISIT_START( node );
385
386 acceptAll( node->get_initialization(), *this );
387 visitExpression( node->get_condition() );
388 visitExpression( node->get_increment() );
389 node->set_body( visitStatement( node->get_body() ) );
390
391 VISIT_END( node );
392}
393
394template< typename pass_type >
395Statement * PassVisitor< pass_type >::mutate( ForStmt * node ) {
396 MUTATE_START( node );
397
398 mutateAll( node->get_initialization(), *this );
399 node->set_condition( mutateExpression( node->get_condition() ) );
400 node->set_increment( mutateExpression( node->get_increment() ) );
401 node->set_body( mutateStatement( node->get_body() ) );
402
403 MUTATE_END( Statement, node );
404}
405
406//--------------------------------------------------------------------------
407// SwitchStmt
408template< typename pass_type >
409void PassVisitor< pass_type >::visit( SwitchStmt * node ) {
410 VISIT_START( node );
411
412 visitExpression( node->get_condition() );
413 visitStatementList( node->get_statements() );
414
415 VISIT_END( node );
416}
417
418template< typename pass_type >
419Statement * PassVisitor< pass_type >::mutate( SwitchStmt * node ) {
420 MUTATE_START( node );
421
422 node->set_condition( mutateExpression( node->get_condition() ) );
423 mutateStatementList( node->get_statements() );
424
425 MUTATE_END( Statement, node );
426}
427
428//--------------------------------------------------------------------------
429// CaseStmt
430template< typename pass_type >
431void PassVisitor< pass_type >::visit( CaseStmt * node ) {
432 VISIT_START( node );
433
434 visitExpression( node->get_condition() );
435 visitStatementList( node->get_statements() );
436
437 VISIT_END( node );
438}
439
440template< typename pass_type >
441Statement * PassVisitor< pass_type >::mutate( CaseStmt * node ) {
442 MUTATE_START( node );
443
444 node->set_condition( mutateExpression( node->get_condition() ) );
445 mutateStatementList( node->get_statements() );
446
447 MUTATE_END( Statement, node );
448}
449
450//--------------------------------------------------------------------------
451// BranchStmt
452template< typename pass_type >
453void PassVisitor< pass_type >::visit( BranchStmt * node ) {
454 VISIT_BODY( node );
455}
456
457template< typename pass_type >
458Statement * PassVisitor< pass_type >::mutate( BranchStmt * node ) {
459 MUTATE_BODY( Statement, node );
460}
461
462//--------------------------------------------------------------------------
463// ReturnStmt
464template< typename pass_type >
465void PassVisitor< pass_type >::visit( ReturnStmt * node ) {
466 VISIT_START( node );
467
468 visitExpression( node->get_expr() );
469
470 VISIT_END( node );
471}
472
473template< typename pass_type >
474Statement * PassVisitor< pass_type >::mutate( ReturnStmt * node ) {
475 MUTATE_START( node );
476
477 node->set_expr( mutateExpression( node->get_expr() ) );
478
479 MUTATE_END( Statement, node );
480}
481
482//--------------------------------------------------------------------------
483// ThrowStmt
484
485template< typename pass_type >
486void PassVisitor< pass_type >::visit( ThrowStmt * node ) {
487 VISIT_BODY( node );
488}
489
490template< typename pass_type >
491Statement * PassVisitor< pass_type >::mutate( ThrowStmt * node ) {
492 MUTATE_BODY( Statement, node );
493}
494
495//--------------------------------------------------------------------------
496// TryStmt
497template< typename pass_type >
498void PassVisitor< pass_type >::visit( TryStmt * node ) {
499 VISIT_START( node );
500
501 maybeAccept( node->get_block(), *this );
502 acceptAll( node->get_catchers(), *this );
503 maybeAccept( node->get_finally(), *this );
504
505 VISIT_END( node );
506}
507
508template< typename pass_type >
509Statement * PassVisitor< pass_type >::mutate( TryStmt * node ) {
510 MUTATE_START( node );
511
512 node->set_block( maybeMutate( node->get_block(), *this ) );
513 mutateAll( node->get_catchers(), *this );
514 node->set_finally( maybeMutate( node->get_finally(), *this ) );
515
516 MUTATE_END( Statement, node );
517}
518
519//--------------------------------------------------------------------------
520// CatchStmt
521template< typename pass_type >
522void PassVisitor< pass_type >::visit( CatchStmt * node ) {
523 VISIT_START( node );
524
525 maybeAccept( node->get_decl(), *this );
526 node->set_cond( visitExpression( node->get_cond() ) );
527 node->set_body( visitStatement( node->get_body() ) );
528
529 VISIT_END( node );
530}
531
532template< typename pass_type >
533Statement * PassVisitor< pass_type >::mutate( CatchStmt * node ) {
534 MUTATE_START( node );
535
536 node->set_decl( maybeMutate( node->get_decl(), *this ) );
537 node->set_cond( mutateExpression( node->get_cond() ) );
538 node->set_body( mutateStatement( node->get_body() ) );
539
540 MUTATE_END( Statement, node );
541}
542
543template< typename pass_type >
544void PassVisitor< pass_type >::visit( FinallyStmt * node ) {
545 VISIT_BODY( node );
546}
547
548template< typename pass_type >
549void PassVisitor< pass_type >::visit( NullStmt * node ) {
550 VISIT_BODY( node );
551}
552
553template< typename pass_type >
554void PassVisitor< pass_type >::visit( DeclStmt * node ) {
555 VISIT_BODY( node );
556}
557
558template< typename pass_type >
559void PassVisitor< pass_type >::visit( ImplicitCtorDtorStmt * node ) {
560 VISIT_BODY( node );
561}
562
563template< typename pass_type >
564void PassVisitor< pass_type >::visit( ApplicationExpr * node ) {
565 VISIT_BODY( node );
566}
567
568//--------------------------------------------------------------------------
569// UntypedExpr
570template< typename pass_type >
571void PassVisitor< pass_type >::visit( UntypedExpr * node ) {
572 VISIT_START( node );
573
574 // maybeAccept( node->get_env(), *this );
575 maybeAccept( node->get_result(), *this );
576
577 for ( auto expr : node->get_args() ) {
578 visitExpression( expr );
579 }
580
581 VISIT_END( node );
582}
583
584template< typename pass_type >
585Expression * PassVisitor< pass_type >::mutate( UntypedExpr * node ) {
586 MUTATE_START( node );
587
588 node->set_env( maybeMutate( node->get_env(), *this ) );
589 node->set_result( maybeMutate( node->get_result(), *this ) );
590
591 for ( auto& expr : node->get_args() ) {
592 expr = mutateExpression( expr );
593 }
594
595 MUTATE_END( Expression, node );
596}
597
598template< typename pass_type >
599void PassVisitor< pass_type >::visit( NameExpr * node ) {
600 VISIT_BODY( node );
601}
602
603template< typename pass_type >
604void PassVisitor< pass_type >::visit( CastExpr * node ) {
605 VISIT_BODY( node );
606}
607
608template< typename pass_type >
609void PassVisitor< pass_type >::visit( VirtualCastExpr * node ) {
610 VISIT_BODY( node );
611}
612
613template< typename pass_type >
614void PassVisitor< pass_type >::visit( AddressExpr * node ) {
615 VISIT_BODY( node );
616}
617
618template< typename pass_type >
619void PassVisitor< pass_type >::visit( LabelAddressExpr * node ) {
620 VISIT_BODY( node );
621}
622
623template< typename pass_type >
624void PassVisitor< pass_type >::visit( UntypedMemberExpr * node ) {
625 VISIT_BODY( node );
626}
627
628template< typename pass_type >
629void PassVisitor< pass_type >::visit( MemberExpr * node ) {
630 VISIT_BODY( node );
631}
632
633template< typename pass_type >
634void PassVisitor< pass_type >::visit( VariableExpr * node ) {
635 VISIT_BODY( node );
636}
637
638template< typename pass_type >
639void PassVisitor< pass_type >::visit( ConstantExpr * node ) {
640 VISIT_BODY( node );
641}
642
643template< typename pass_type >
644void PassVisitor< pass_type >::visit( SizeofExpr * node ) {
645 VISIT_BODY( node );
646}
647
648template< typename pass_type >
649void PassVisitor< pass_type >::visit( AlignofExpr * node ) {
650 VISIT_BODY( node );
651}
652
653template< typename pass_type >
654void PassVisitor< pass_type >::visit( UntypedOffsetofExpr * node ) {
655 VISIT_BODY( node );
656}
657
658template< typename pass_type >
659void PassVisitor< pass_type >::visit( OffsetofExpr * node ) {
660 VISIT_BODY( node );
661}
662
663template< typename pass_type >
664void PassVisitor< pass_type >::visit( OffsetPackExpr * node ) {
665 VISIT_BODY( node );
666}
667
668template< typename pass_type >
669void PassVisitor< pass_type >::visit( AttrExpr * node ) {
670 VISIT_BODY( node );
671}
672
673template< typename pass_type >
674void PassVisitor< pass_type >::visit( LogicalExpr * node ) {
675 VISIT_BODY( node );
676}
677
678template< typename pass_type >
679void PassVisitor< pass_type >::visit( ConditionalExpr * node ) {
680 VISIT_BODY( node );
681}
682
683template< typename pass_type >
684void PassVisitor< pass_type >::visit( CommaExpr * node ) {
685 VISIT_BODY( node );
686}
687
688template< typename pass_type >
689void PassVisitor< pass_type >::visit( TypeExpr * node ) {
690 VISIT_BODY( node );
691}
692
693template< typename pass_type >
694void PassVisitor< pass_type >::visit( AsmExpr * node ) {
695 VISIT_BODY( node );
696}
697
698template< typename pass_type >
699void PassVisitor< pass_type >::visit( ImplicitCopyCtorExpr * node ) {
700 VISIT_BODY( node );
701}
702
703template< typename pass_type >
704void PassVisitor< pass_type >::visit( ConstructorExpr * node ) {
705 VISIT_BODY( node );
706}
707
708template< typename pass_type >
709void PassVisitor< pass_type >::visit( CompoundLiteralExpr * node ) {
710 VISIT_BODY( node );
711}
712
713template< typename pass_type >
714void PassVisitor< pass_type >::visit( RangeExpr * node ) {
715 VISIT_BODY( node );
716}
717
718template< typename pass_type >
719void PassVisitor< pass_type >::visit( UntypedTupleExpr * node ) {
720 VISIT_BODY( node );
721}
722
723template< typename pass_type >
724void PassVisitor< pass_type >::visit( TupleExpr * node ) {
725 VISIT_BODY( node );
726}
727
728template< typename pass_type >
729void PassVisitor< pass_type >::visit( TupleIndexExpr * node ) {
730 VISIT_BODY( node );
731}
732
733template< typename pass_type >
734void PassVisitor< pass_type >::visit( TupleAssignExpr * node ) {
735 VISIT_BODY( node );
736}
737
738//--------------------------------------------------------------------------
739// UntypedExpr
740template< typename pass_type >
741void PassVisitor< pass_type >::visit( StmtExpr * node ) {
742 VISIT_START( node );
743
744 // don't want statements from outer CompoundStmts to be added to this StmtExpr
745 ValueGuardPtr< TypeSubstitution * > oldEnv ( get_env_ptr() );
746 ValueGuardPtr< std::list< Statement* > > oldBeforeStmts( get_beforeStmts() );
747 ValueGuardPtr< std::list< Statement* > > oldAfterStmts ( get_afterStmts () );
748
749 Visitor::visit( node );
750
751 VISIT_END( node );
752}
753
754template< typename pass_type >
755Expression * PassVisitor< pass_type >::mutate( StmtExpr * node ) {
756 MUTATE_START( node );
757
758 // don't want statements from outer CompoundStmts to be added to this StmtExpr
759 ValueGuardPtr< TypeSubstitution * > oldEnv ( get_env_ptr() );
760 ValueGuardPtr< std::list< Statement* > > oldBeforeStmts( get_beforeStmts() );
761 ValueGuardPtr< std::list< Statement* > > oldAfterStmts ( get_afterStmts () );
762
763 Mutator::mutate( node );
764
765 MUTATE_END( Expression, node );
766}
767
768template< typename pass_type >
769void PassVisitor< pass_type >::visit( UniqueExpr * node ) {
770 VISIT_BODY( node );
771}
772
773template< typename pass_type >
774void PassVisitor< pass_type >::visit( VoidType * node ) {
775 VISIT_BODY( node );
776}
777
778template< typename pass_type >
779void PassVisitor< pass_type >::visit( BasicType * node ) {
780 VISIT_BODY( node );
781}
782
783template< typename pass_type >
784void PassVisitor< pass_type >::visit( PointerType * node ) {
785 VISIT_BODY( node );
786}
787
788template< typename pass_type >
789void PassVisitor< pass_type >::visit( ArrayType * node ) {
790 VISIT_BODY( node );
791}
792
793template< typename pass_type >
794void PassVisitor< pass_type >::visit( ReferenceType * node ) {
795 VISIT_BODY( node );
796}
797
798template< typename pass_type >
799void PassVisitor< pass_type >::visit( FunctionType * node ) {
800 VISIT_BODY( node );
801}
802
803template< typename pass_type >
804void PassVisitor< pass_type >::visit( StructInstType * node ) {
805 VISIT_BODY( node );
806}
807
808template< typename pass_type >
809void PassVisitor< pass_type >::visit( UnionInstType * node ) {
810 VISIT_BODY( node );
811}
812
813template< typename pass_type >
814void PassVisitor< pass_type >::visit( EnumInstType * node ) {
815 VISIT_BODY( node );
816}
817
818template< typename pass_type >
819void PassVisitor< pass_type >::visit( TraitInstType * node ) {
820 VISIT_BODY( node );
821}
822
823template< typename pass_type >
824void PassVisitor< pass_type >::visit( TypeInstType * node ) {
825 VISIT_BODY( node );
826}
827
828template< typename pass_type >
829void PassVisitor< pass_type >::visit( TupleType * node ) {
830 VISIT_BODY( node );
831}
832
833template< typename pass_type >
834void PassVisitor< pass_type >::visit( TypeofType * node ) {
835 VISIT_BODY( node );
836}
837
838template< typename pass_type >
839void PassVisitor< pass_type >::visit( AttrType * node ) {
840 VISIT_BODY( node );
841}
842
843template< typename pass_type >
844void PassVisitor< pass_type >::visit( VarArgsType * node ) {
845 VISIT_BODY( node );
846}
847
848template< typename pass_type >
849void PassVisitor< pass_type >::visit( ZeroType * node ) {
850 VISIT_BODY( node );
851}
852
853template< typename pass_type >
854void PassVisitor< pass_type >::visit( OneType * node ) {
855 VISIT_BODY( node );
856}
857
858//--------------------------------------------------------------------------
859// UntypedExpr
860template< typename pass_type >
861void PassVisitor< pass_type >::visit( SingleInit * node ) {
862 VISIT_START( node );
863
864 visitExpression( node->get_value() );
865
866 VISIT_END( node );
867}
868
869template< typename pass_type >
870Initializer * PassVisitor< pass_type >::mutate( SingleInit * node ) {
871 MUTATE_START( node );
872
873 node->set_value( mutateExpression( node->get_value() ) );
874
875 MUTATE_END( Initializer, node );
876}
877
878template< typename pass_type >
879void PassVisitor< pass_type >::visit( ListInit * node ) {
880 VISIT_BODY( node );
881}
882
883template< typename pass_type >
884void PassVisitor< pass_type >::visit( ConstructorInit * node ) {
885 VISIT_BODY( node );
886}
887
888template< typename pass_type >
889void PassVisitor< pass_type >::visit( Subrange * node ) {
890 VISIT_BODY( node );
891}
892
893template< typename pass_type >
894void PassVisitor< pass_type >::visit( Constant * node ) {
895 VISIT_BODY( node );
896}
897
898//---------------------------------------------------------------------------------------------------------------
899
900template< typename pass_type >
901DeclarationWithType * PassVisitor< pass_type >::mutate( ObjectDecl * node ) {
902 MUTATE_BODY( DeclarationWithType, node );
903}
904
905template< typename pass_type >
906DeclarationWithType * PassVisitor< pass_type >::mutate( FunctionDecl * node ) {
907 MUTATE_BODY( DeclarationWithType, node );
908}
909
910template< typename pass_type >
911Declaration * PassVisitor< pass_type >::mutate( StructDecl * node ) {
912 MUTATE_BODY( Declaration, node );
913}
914
915template< typename pass_type >
916Declaration * PassVisitor< pass_type >::mutate( UnionDecl * node ) {
917 MUTATE_BODY( Declaration, node );
918}
919
920template< typename pass_type >
921Declaration * PassVisitor< pass_type >::mutate( EnumDecl * node ) {
922 MUTATE_BODY( Declaration, node );
923}
924
925template< typename pass_type >
926Declaration * PassVisitor< pass_type >::mutate( TraitDecl * node ) {
927 MUTATE_BODY( Declaration, node );
928}
929
930template< typename pass_type >
931TypeDecl * PassVisitor< pass_type >::mutate( TypeDecl * node ) {
932 MUTATE_BODY( TypeDecl, node );
933}
934
935template< typename pass_type >
936Declaration * PassVisitor< pass_type >::mutate( TypedefDecl * node ) {
937 MUTATE_BODY( Declaration, node );
938}
939
940template< typename pass_type >
941AsmDecl * PassVisitor< pass_type >::mutate( AsmDecl * node ) {
942 MUTATE_BODY( AsmDecl, node );
943}
944
945template< typename pass_type >
946Statement * PassVisitor< pass_type >::mutate( FinallyStmt * node ) {
947 MUTATE_BODY( Statement, node );
948}
949
950template< typename pass_type >
951NullStmt * PassVisitor< pass_type >::mutate( NullStmt * node ) {
952 MUTATE_BODY( NullStmt, node );
953}
954
955template< typename pass_type >
956Statement * PassVisitor< pass_type >::mutate( DeclStmt * node ) {
957 MUTATE_BODY( Statement, node );
958}
959
960template< typename pass_type >
961Statement * PassVisitor< pass_type >::mutate( ImplicitCtorDtorStmt * node ) {
962 MUTATE_BODY( Statement, node );
963}
964
965template< typename pass_type >
966Expression * PassVisitor< pass_type >::mutate( ApplicationExpr * node ) {
967 MUTATE_BODY( Expression, node );
968}
969
970template< typename pass_type >
971Expression * PassVisitor< pass_type >::mutate( NameExpr * node ) {
972 MUTATE_BODY( Expression, node );
973}
974
975template< typename pass_type >
976Expression * PassVisitor< pass_type >::mutate( AddressExpr * node ) {
977 MUTATE_BODY( Expression, node );
978}
979
980template< typename pass_type >
981Expression * PassVisitor< pass_type >::mutate( LabelAddressExpr * node ) {
982 MUTATE_BODY( Expression, node );
983}
984
985template< typename pass_type >
986Expression * PassVisitor< pass_type >::mutate( CastExpr * node ) {
987 MUTATE_BODY( Expression, node );
988}
989
990template< typename pass_type >
991Expression * PassVisitor< pass_type >::mutate( VirtualCastExpr * node ) {
992 MUTATE_BODY( Expression, node );
993}
994
995template< typename pass_type >
996Expression * PassVisitor< pass_type >::mutate( UntypedMemberExpr * node ) {
997 MUTATE_BODY( Expression, node );
998}
999
1000template< typename pass_type >
1001Expression * PassVisitor< pass_type >::mutate( MemberExpr * node ) {
1002 MUTATE_BODY( Expression, node );
1003}
1004
1005template< typename pass_type >
1006Expression * PassVisitor< pass_type >::mutate( VariableExpr * node ) {
1007 MUTATE_BODY( Expression, node );
1008}
1009
1010template< typename pass_type >
1011Expression * PassVisitor< pass_type >::mutate( ConstantExpr * node ) {
1012 MUTATE_BODY( Expression, node );
1013}
1014
1015template< typename pass_type >
1016Expression * PassVisitor< pass_type >::mutate( SizeofExpr * node ) {
1017 MUTATE_BODY( Expression, node );
1018}
1019
1020template< typename pass_type >
1021Expression * PassVisitor< pass_type >::mutate( AlignofExpr * node ) {
1022 MUTATE_BODY( Expression, node );
1023}
1024
1025template< typename pass_type >
1026Expression * PassVisitor< pass_type >::mutate( UntypedOffsetofExpr * node ) {
1027 MUTATE_BODY( Expression, node );
1028}
1029
1030template< typename pass_type >
1031Expression * PassVisitor< pass_type >::mutate( OffsetofExpr * node ) {
1032 MUTATE_BODY( Expression, node );
1033}
1034
1035template< typename pass_type >
1036Expression * PassVisitor< pass_type >::mutate( OffsetPackExpr * node ) {
1037 MUTATE_BODY( Expression, node );
1038}
1039
1040template< typename pass_type >
1041Expression * PassVisitor< pass_type >::mutate( AttrExpr * node ) {
1042 MUTATE_BODY( Expression, node );
1043}
1044
1045template< typename pass_type >
1046Expression * PassVisitor< pass_type >::mutate( LogicalExpr * node ) {
1047 MUTATE_BODY( Expression, node );
1048}
1049
1050template< typename pass_type >
1051Expression * PassVisitor< pass_type >::mutate( ConditionalExpr * node ) {
1052 MUTATE_BODY( Expression, node );
1053}
1054
1055template< typename pass_type >
1056Expression * PassVisitor< pass_type >::mutate( CommaExpr * node ) {
1057 MUTATE_BODY( Expression, node );
1058}
1059
1060template< typename pass_type >
1061Expression * PassVisitor< pass_type >::mutate( TypeExpr * node ) {
1062 MUTATE_BODY( Expression, node );
1063}
1064
1065template< typename pass_type >
1066Expression * PassVisitor< pass_type >::mutate( AsmExpr * node ) {
1067 MUTATE_BODY( Expression, node );
1068}
1069
1070template< typename pass_type >
1071Expression * PassVisitor< pass_type >::mutate( ImplicitCopyCtorExpr * node ) {
1072 MUTATE_BODY( Expression, node );
1073}
1074
1075template< typename pass_type >
1076Expression * PassVisitor< pass_type >::mutate( ConstructorExpr * node ) {
1077 MUTATE_BODY( Expression, node );
1078}
1079
1080template< typename pass_type >
1081Expression * PassVisitor< pass_type >::mutate( CompoundLiteralExpr * node ) {
1082 MUTATE_BODY( Expression, node );
1083}
1084
1085template< typename pass_type >
1086Expression * PassVisitor< pass_type >::mutate( RangeExpr * node ) {
1087 MUTATE_BODY( Expression, node );
1088}
1089
1090template< typename pass_type >
1091Expression * PassVisitor< pass_type >::mutate( UntypedTupleExpr * node ) {
1092 MUTATE_BODY( Expression, node );
1093}
1094
1095template< typename pass_type >
1096Expression * PassVisitor< pass_type >::mutate( TupleExpr * node ) {
1097 MUTATE_BODY( Expression, node );
1098}
1099
1100template< typename pass_type >
1101Expression * PassVisitor< pass_type >::mutate( TupleIndexExpr * node ) {
1102 MUTATE_BODY( Expression, node );
1103}
1104
1105template< typename pass_type >
1106Expression * PassVisitor< pass_type >::mutate( TupleAssignExpr * node ) {
1107 MUTATE_BODY( Expression, node );
1108}
1109
1110template< typename pass_type >
1111Expression * PassVisitor< pass_type >::mutate( UniqueExpr * node ) {
1112 MUTATE_BODY( Expression, node );
1113}
1114
1115template< typename pass_type >
1116Type * PassVisitor< pass_type >::mutate( VoidType * node ) {
1117 MUTATE_BODY( Type, node );
1118}
1119
1120template< typename pass_type >
1121Type * PassVisitor< pass_type >::mutate( BasicType * node ) {
1122 MUTATE_BODY( Type, node );
1123}
1124
1125template< typename pass_type >
1126Type * PassVisitor< pass_type >::mutate( PointerType * node ) {
1127 MUTATE_BODY( Type, node );
1128}
1129
1130template< typename pass_type >
1131Type * PassVisitor< pass_type >::mutate( ArrayType * node ) {
1132 MUTATE_BODY( Type, node );
1133}
1134
1135template< typename pass_type >
1136Type * PassVisitor< pass_type >::mutate( ReferenceType * node ) {
1137 MUTATE_BODY( Type, node );
1138}
1139
1140template< typename pass_type >
1141Type * PassVisitor< pass_type >::mutate( FunctionType * node ) {
1142 MUTATE_BODY( Type, node );
1143}
1144
1145template< typename pass_type >
1146Type * PassVisitor< pass_type >::mutate( StructInstType * node ) {
1147 MUTATE_BODY( Type, node );
1148}
1149
1150template< typename pass_type >
1151Type * PassVisitor< pass_type >::mutate( UnionInstType * node ) {
1152 MUTATE_BODY( Type, node );
1153}
1154
1155template< typename pass_type >
1156Type * PassVisitor< pass_type >::mutate( EnumInstType * node ) {
1157 MUTATE_BODY( Type, node );
1158}
1159
1160template< typename pass_type >
1161Type * PassVisitor< pass_type >::mutate( TraitInstType * node ) {
1162 MUTATE_BODY( Type, node );
1163}
1164
1165template< typename pass_type >
1166Type * PassVisitor< pass_type >::mutate( TypeInstType * node ) {
1167 MUTATE_BODY( Type, node );
1168}
1169
1170template< typename pass_type >
1171Type * PassVisitor< pass_type >::mutate( TupleType * node ) {
1172 MUTATE_BODY( Type, node );
1173}
1174
1175template< typename pass_type >
1176Type * PassVisitor< pass_type >::mutate( TypeofType * node ) {
1177 MUTATE_BODY( Type, node );
1178}
1179
1180template< typename pass_type >
1181Type * PassVisitor< pass_type >::mutate( AttrType * node ) {
1182 MUTATE_BODY( Type, node );
1183}
1184
1185template< typename pass_type >
1186Type * PassVisitor< pass_type >::mutate( VarArgsType * node ) {
1187 MUTATE_BODY( Type, node );
1188}
1189
1190template< typename pass_type >
1191Type * PassVisitor< pass_type >::mutate( ZeroType * node ) {
1192 MUTATE_BODY( Type, node );
1193}
1194
1195template< typename pass_type >
1196Type * PassVisitor< pass_type >::mutate( OneType * node ) {
1197 MUTATE_BODY( Type, node );
1198}
1199
1200template< typename pass_type >
1201Initializer * PassVisitor< pass_type >::mutate( ListInit * node ) {
1202 MUTATE_BODY( Initializer, node );
1203}
1204
1205template< typename pass_type >
1206Initializer * PassVisitor< pass_type >::mutate( ConstructorInit * node ) {
1207 MUTATE_BODY( Initializer, node );
1208}
1209
1210template< typename pass_type >
1211Subrange * PassVisitor< pass_type >::mutate( Subrange * node ) {
1212 MUTATE_BODY( Subrange, node );
1213}
1214
1215template< typename pass_type >
1216Constant * PassVisitor< pass_type >::mutate( Constant * node ) {
1217 MUTATE_BODY( Constant, node );
1218}
Note: See TracBrowser for help on using the repository browser.