source: src/GenPoly/ScrubTyVars.cc@ ec28948

ADT arm-eh ast-experimental cleanup-dtors enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
Last change on this file since ec28948 was d978ada, checked in by Rob Schluntz <rschlunt@…>, 7 years ago

Fix unhandled enum warning in ScrubTyVars

  • Property mode set to 100644
File size: 3.6 KB
RevLine 
[51587aa]1//
2// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
[2c57025]7// ScrubTyVars.cc --
[51587aa]8//
9// Author : Richard C. Bilson
10// Created On : Mon May 18 07:44:20 2015
[01aeade]11// Last Modified By : Peter A. Buhr
[6f95000]12// Last Modified On : Thu Mar 16 15:44:27 2017
13// Update Count : 3
[51587aa]14//
[01aeade]15
[08fc48f]16#include <utility> // for pair
[db0b3ce]17
[08fc48f]18#include "GenPoly.h" // for mangleType, TyVarMap, alignof...
19#include "GenPoly/ErasableScopedMap.h" // for ErasableScopedMap<>::const_it...
[51b73452]20#include "ScrubTyVars.h"
[08fc48f]21#include "SynTree/Declaration.h" // for TypeDecl, TypeDecl::Data, Typ...
22#include "SynTree/Expression.h" // for Expression (ptr only), NameExpr
23#include "SynTree/Mutator.h" // for Mutator
24#include "SynTree/Type.h" // for PointerType, TypeInstType, Type
[51b73452]25
26namespace GenPoly {
[b8a4f47]27 Type * ScrubTyVars::postmutate( TypeInstType * typeInst ) {
[5a3ac84]28 if ( ! tyVars ) {
29 if ( typeInst->get_isFtype() ) {
30 delete typeInst;
31 return new PointerType( Type::Qualifiers(), new FunctionType( Type::Qualifiers(), true ) );
32 } else {
[b8a4f47]33 PointerType * ret = new PointerType( Type::Qualifiers(), new VoidType( typeInst->get_qualifiers() ) );
[5a3ac84]34 delete typeInst;
35 return ret;
36 }
37 }
38
[b8a4f47]39 TyVarMap::const_iterator tyVar = tyVars->find( typeInst->name );
[5a3ac84]40 if ( tyVar != tyVars->end() ) {
[2c57025]41 switch ( tyVar->second.kind ) {
[01aeade]42 case TypeDecl::Dtype:
[8f60f0b]43 case TypeDecl::Ttype:
[01aeade]44 {
[b8a4f47]45 PointerType * ret = new PointerType( Type::Qualifiers(), new VoidType( typeInst->get_qualifiers() ) );
[01aeade]46 delete typeInst;
47 return ret;
48 }
49 case TypeDecl::Ftype:
50 delete typeInst;
51 return new PointerType( Type::Qualifiers(), new FunctionType( Type::Qualifiers(), true ) );
[d978ada]52 default:
53 assertf(false, "Unhandled tyvar kind: %d", tyVar->second.kind);
[01aeade]54 } // switch
55 } // if
56 return typeInst;
[a08ba92]57 }
[51b73452]58
[b8a4f47]59 Type * ScrubTyVars::mutateAggregateType( Type * ty ) {
[3bb195cb]60 if ( shouldScrub( ty ) ) {
[b8a4f47]61 PointerType * ret = new PointerType( Type::Qualifiers(), new VoidType( ty->get_qualifiers() ) );
[b18b0b5]62 delete ty;
63 return ret;
64 }
65 return ty;
66 }
[2c57025]67
[b8a4f47]68 Type * ScrubTyVars::postmutate( StructInstType * structInst ) {
[b18b0b5]69 return mutateAggregateType( structInst );
70 }
71
[b8a4f47]72 Type * ScrubTyVars::postmutate( UnionInstType * unionInst ) {
[b18b0b5]73 return mutateAggregateType( unionInst );
74 }
75
[b8a4f47]76 void ScrubTyVars::primeBaseScrub( Type * type ) {
77 // need to determine whether type needs to be scrubbed to determine whether
78 // automatic recursion is necessary
79 if ( Type * t = shouldScrub( type ) ) {
80 visit_children = false;
81 GuardValue( dynType );
82 dynType = t;
83 }
84 }
85
86 Expression * ScrubTyVars::postmutate( SizeofExpr * szeof ) {
[db0b3ce]87 // sizeof( T ) => _sizeof_T parameter, which is the size of T
[b8a4f47]88 if ( dynType ) {
[3bb195cb]89 Expression *expr = new NameExpr( sizeofName( mangleType( dynType ) ) );
[01aeade]90 return expr;
91 } // if
[b8a4f47]92 return szeof;
[a08ba92]93 }
[51b73452]94
[b8a4f47]95 Expression * ScrubTyVars::postmutate( AlignofExpr * algnof ) {
[db0b3ce]96 // alignof( T ) => _alignof_T parameter, which is the alignment of T
[b8a4f47]97 if ( dynType ) {
[3bb195cb]98 Expression *expr = new NameExpr( alignofName( mangleType( dynType ) ) );
[db0b3ce]99 return expr;
100 } // if
[b8a4f47]101 return algnof;
[db0b3ce]102 }
103
[b8a4f47]104 Type * ScrubTyVars::postmutate( PointerType * pointer ) {
105 if ( dynType ) {
106 Type * ret = dynType->acceptMutator( *visitor );
[6f95000]107 ret->get_qualifiers() |= pointer->get_qualifiers();
[b8a4f47]108 pointer->base = nullptr;
[6d160d7]109 delete pointer;
110 return ret;
111 }
[b8a4f47]112 return pointer;
[a08ba92]113 }
[51b73452]114} // namespace GenPoly
[01aeade]115
[51587aa]116// Local Variables: //
117// tab-width: 4 //
118// mode: c++ //
119// compile-command: "make install" //
120// End: //
Note: See TracBrowser for help on using the repository browser.