source: src/ResolvExpr/AdjustExprType.cc @ f474e91

ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since f474e91 was 00ac42e, checked in by Aaron Moss <a3moss@…>, 6 years ago

stop eagerly copying EqvClass? on lookup

  • Property mode set to 100644
File size: 3.5 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// AdjustExprType.cc --
8//
9// Author           : Richard C. Bilson
10// Created On       : Sat May 16 23:41:42 2015
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Wed Mar  2 17:34:53 2016
13// Update Count     : 4
14//
15
16#include "Common/PassVisitor.h"
17#include "SymTab/Indexer.h"       // for Indexer
18#include "SynTree/Declaration.h"  // for TypeDecl, TypeDecl::Kind::Ftype
19#include "SynTree/Mutator.h"      // for Mutator
20#include "SynTree/Type.h"         // for PointerType, TypeInstType, Type
21#include "TypeEnvironment.h"      // for EqvClass, TypeEnvironment
22
23namespace ResolvExpr {
24        class AdjustExprType : public WithShortCircuiting {
25          public:
26                AdjustExprType( const TypeEnvironment & env, const SymTab::Indexer & indexer );
27                void premutate( VoidType * ) { visit_children = false; }
28                void premutate( BasicType * ) { visit_children = false; }
29                void premutate( PointerType * ) { visit_children = false; }
30                void premutate( ArrayType * ) { visit_children = false; }
31                void premutate( FunctionType * ) { visit_children = false; }
32                void premutate( StructInstType * ) { visit_children = false; }
33                void premutate( UnionInstType * ) { visit_children = false; }
34                void premutate( EnumInstType * ) { visit_children = false; }
35                void premutate( TraitInstType * ) { visit_children = false; }
36                void premutate( TypeInstType * ) { visit_children = false; }
37                void premutate( TupleType * ) { visit_children = false; }
38                void premutate( VarArgsType * ) { visit_children = false; }
39                void premutate( ZeroType * ) { visit_children = false; }
40                void premutate( OneType * ) { visit_children = false; }
41
42                Type * postmutate( ArrayType *arrayType );
43                Type * postmutate( FunctionType *functionType );
44                Type * postmutate( TypeInstType *aggregateUseType );
45
46          private:
47                const TypeEnvironment & env;
48                const SymTab::Indexer & indexer;
49        };
50
51        void adjustExprType( Type *&type, const TypeEnvironment &env, const SymTab::Indexer &indexer ) {
52                PassVisitor<AdjustExprType> adjuster( env, indexer );
53                Type *newType = type->acceptMutator( adjuster );
54                type = newType;
55        }
56
57        void adjustExprType( Type *& type ) {
58                TypeEnvironment env;
59                SymTab::Indexer indexer;
60                adjustExprType( type, env, indexer );
61        }
62
63        AdjustExprType::AdjustExprType( const TypeEnvironment &env, const SymTab::Indexer &indexer )
64                : env( env ), indexer( indexer ) {
65        }
66
67        Type * AdjustExprType::postmutate( ArrayType * arrayType ) {
68                PointerType *pointerType = new PointerType{ arrayType->get_qualifiers(), arrayType->base };
69                arrayType->base = nullptr;
70                delete arrayType;
71                return pointerType;
72        }
73
74        Type * AdjustExprType::postmutate( FunctionType * functionType ) {
75                return new PointerType{ Type::Qualifiers(), functionType };
76        }
77
78        Type * AdjustExprType::postmutate( TypeInstType * typeInst ) {
79                if ( const EqvClass* eqvClass = env.lookup( typeInst->get_name() ) ) {
80                        if ( eqvClass->data.kind == TypeDecl::Ftype ) {
81                                return new PointerType{ Type::Qualifiers(), typeInst };
82                        }
83                } else if ( NamedTypeDecl *ntDecl = indexer.lookupType( typeInst->get_name() ) ) {
84                        if ( TypeDecl *tyDecl = dynamic_cast< TypeDecl* >( ntDecl ) ) {
85                                if ( tyDecl->get_kind() == TypeDecl::Ftype ) {
86                                        return new PointerType{ Type::Qualifiers(), typeInst };
87                                } // if
88                        } // if
89                } // if
90                return typeInst;
91        }
92} // namespace ResolvExpr
93
94// Local Variables: //
95// tab-width: 4 //
96// mode: c++ //
97// compile-command: "make install" //
98// End: //
Note: See TracBrowser for help on using the repository browser.