source: src/GenPoly/GenPoly.cc @ 4389966

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc
Last change on this file since 4389966 was 4389966, checked in by Peter A. Buhr <pabuhr@…>, 8 years ago

fix comment

  • Property mode set to 100644
File size: 3.1 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// GenPoly.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 : Tue Dec 15 16:11:18 2015
13// Update Count     : 13
14//
15
16#include "GenPoly.h"
17#include "SynTree/Type.h"
18
19#include <iostream>
20using namespace std;
21
22namespace GenPoly {
23        /// A function needs an adapter if it returns a polymorphic value or if any of its parameters have polymorphic type
24        bool needsAdapter( FunctionType *adaptee, const TyVarMap &tyVars ) {
25                if ( ! adaptee->get_returnVals().empty() && isPolyVal( adaptee->get_returnVals().front()->get_type(), tyVars ) ) {
26                        return true;
27                } // if
28                for ( std::list< DeclarationWithType* >::const_iterator innerArg = adaptee->get_parameters().begin(); innerArg != adaptee->get_parameters().end(); ++innerArg ) {
29                        if ( isPolyVal( (*innerArg)->get_type(), tyVars ) ) {
30                                return true;
31                        } // if
32                } // for
33                return false;
34        }
35
36        bool isPolyRet( FunctionType *function, std::string &name, const TyVarMap &otherTyVars ) {
37                bool doTransform = false;
38                if ( ! function->get_returnVals().empty() ) {
39                        if ( TypeInstType *typeInst = dynamic_cast< TypeInstType *>( function->get_returnVals().front()->get_type() ) ) {
40       
41                                // figure out if the return type is specified by a type parameter
42                                for ( std::list< TypeDecl *>::const_iterator tyVar = function->get_forall().begin(); tyVar != function->get_forall().end(); ++tyVar ) {
43                                        if ( (*tyVar)->get_name() == typeInst->get_name() ) {
44                                                doTransform = true;
45                                                name = typeInst->get_name();
46                                                break;
47                                        } // if
48                                } // for
49                                if ( ! doTransform && otherTyVars.find( typeInst->get_name() ) != otherTyVars.end() ) {
50                                        doTransform = true;
51                                } // if
52                        } // if
53                } // if
54                return doTransform;
55        }
56
57        bool isPolyRet( FunctionType *function, std::string &name ) {
58                TyVarMap dummyTyVars;
59                return isPolyRet( function, name, dummyTyVars );
60        }
61
62        bool isPolyRet( FunctionType *function, const TyVarMap &otherTyVars ) {
63                std::string dummyString;
64                return isPolyRet( function, dummyString, otherTyVars );
65        }
66
67        bool isPolyVal( Type *type, const TyVarMap &tyVars ) {
68                if ( TypeInstType *typeInst = dynamic_cast< TypeInstType * >( type ) ) {
69                        if ( tyVars.find( typeInst->get_name() ) != tyVars.end() ) {
70                                return true;
71                        } // if
72                } // if
73                return false;
74        }
75
76        bool isPolyObj( Type *type, const TyVarMap &tyVars ) {
77                if ( isPolyVal( type, tyVars ) ) {
78                        return true;
79                } else if ( PointerType *pt = dynamic_cast<PointerType*>( type ) ) {
80                        return isPolyObj( pt->get_base(), tyVars );
81                } else {
82                        return false;
83                }
84        }
85
86        void printTyVarMap( std::ostream &os, const TyVarMap &tyVarMap ) {
87                for ( TyVarMap::const_iterator i = tyVarMap.begin(); i != tyVarMap.end(); ++i ) {
88                        os << i->first << " (" << i->second << ") ";
89                } // for
90                os << std::endl;
91        }
92} // namespace GenPoly
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.