source: src/GenPoly/ScrubTyVars.cc @ 878be178

ADTast-experimentalpthread-emulation
Last change on this file since 878be178 was d978ada, checked in by Rob Schluntz <rschlunt@…>, 6 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...
[51b7345]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
[51b7345]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        }
[51b7345]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        }
[51b7345]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        }
[51b7345]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.