source: src/GenPoly/ScrubTyVars.cc @ cae28da

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since cae28da was f0ecf9b, checked in by Rob Schluntz <rschlunt@…>, 7 years ago

Remove TypeDecl::Any, as it is subsumed by Dtype+sized

  • Property mode set to 100644
File size: 3.9 KB
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// ScrubTyVars.cc --
8//
9// Author           : Richard C. Bilson
10// Created On       : Mon May 18 07:44:20 2015
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Thu Mar 16 15:44:27 2017
13// Update Count     : 3
14//
15
16#include <utility>                      // for pair
17
18#include "GenPoly.h"                    // for mangleType, TyVarMap, alignof...
19#include "GenPoly/ErasableScopedMap.h"  // for ErasableScopedMap<>::const_it...
20#include "ScrubTyVars.h"
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
25
26namespace GenPoly {
27        Type * ScrubTyVars::mutate( TypeInstType *typeInst ) {
28                if ( ! tyVars ) {
29                        if ( typeInst->get_isFtype() ) {
30                                delete typeInst;
31                                return new PointerType( Type::Qualifiers(), new FunctionType( Type::Qualifiers(), true ) );
32                        } else {
33                                PointerType *ret = new PointerType( Type::Qualifiers(), new VoidType( typeInst->get_qualifiers() ) );
34                                delete typeInst;
35                                return ret;
36                        }
37                }
38
39                TyVarMap::const_iterator tyVar = tyVars->find( typeInst->get_name() );
40                if ( tyVar != tyVars->end() ) {
41                        switch ( tyVar->second.kind ) {
42                          case TypeDecl::Dtype:
43                          case TypeDecl::Ttype:
44                                {
45                                        PointerType *ret = new PointerType( Type::Qualifiers(), new VoidType( typeInst->get_qualifiers() ) );
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 ) );
52                        } // switch
53                } // if
54                return typeInst;
55        }
56
57        Type * ScrubTyVars::mutateAggregateType( Type *ty ) {
58                if ( shouldScrub( ty ) ) {
59                        PointerType *ret = new PointerType( Type::Qualifiers(), new VoidType( ty->get_qualifiers() ) );
60                        delete ty;
61                        return ret;
62                }
63                return ty;
64        }
65
66        Type * ScrubTyVars::mutate( StructInstType *structInst ) {
67                return mutateAggregateType( structInst );
68        }
69
70        Type * ScrubTyVars::mutate( UnionInstType *unionInst ) {
71                return mutateAggregateType( unionInst );
72        }
73
74        Expression * ScrubTyVars::mutate( SizeofExpr *szeof ) {
75                // sizeof( T ) => _sizeof_T parameter, which is the size of T
76                if ( Type *dynType = shouldScrub( szeof->get_type() ) ) {
77                        Expression *expr = new NameExpr( sizeofName( mangleType( dynType ) ) );
78                        return expr;
79                } else {
80                        return Mutator::mutate( szeof );
81                } // if
82        }
83
84        Expression * ScrubTyVars::mutate( AlignofExpr *algnof ) {
85                // alignof( T ) => _alignof_T parameter, which is the alignment of T
86                if ( Type *dynType = shouldScrub( algnof->get_type() ) ) {
87                        Expression *expr = new NameExpr( alignofName( mangleType( dynType ) ) );
88                        return expr;
89                } else {
90                        return Mutator::mutate( algnof );
91                } // if
92        }
93
94        Type * ScrubTyVars::mutate( PointerType *pointer ) {
95//              // special case of shouldScrub that takes all TypeInstType pointer bases, even if they're not dynamic
96//              Type *base = pointer->get_base();
97//              Type *dynType = 0;
98//              if ( dynamicOnly ) {
99//                      if ( TypeInstType *typeInst = dynamic_cast< TypeInstType* >( base ) ) {
100//                              if ( tyVars.find( typeInst->get_name() ) != tyVars.end() ) { dynType = typeInst; }
101//                      } else {
102//                              dynType = isDynType( base, tyVars );
103//                      }
104//              } else {
105//                      dynType = isPolyType( base, tyVars );
106//              }
107//              if ( dynType ) {
108                if ( Type *dynType = shouldScrub( pointer->get_base() ) ) {
109                        Type *ret = dynType->acceptMutator( *this );
110                        ret->get_qualifiers() |= pointer->get_qualifiers();
111                        pointer->set_base( 0 );
112                        delete pointer;
113                        return ret;
114                }
115                return Mutator::mutate( pointer );
116        }
117} // namespace GenPoly
118
119// Local Variables: //
120// tab-width: 4 //
121// mode: c++ //
122// compile-command: "make install" //
123// End: //
Note: See TracBrowser for help on using the repository browser.