source: src/ResolvExpr/PolyCost.cc @ 9d5089e

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

Port CandidateFinder::makeFunctionCandidates() and deps

  • Property mode set to 100644
File size: 2.0 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// PolyCost.cc --
8//
9// Author           : Richard C. Bilson
10// Created On       : Sun May 17 09:50:12 2015
11// Last Modified By : Peter A. Buhr
12// Last Modified On : Sun May 17 09:52:02 2015
13// Update Count     : 3
14//
15
16#include "AST/SymbolTable.hpp"
17#include "AST/Type.hpp"
18#include "AST/TypeEnvironment.hpp"
19#include "Common/PassVisitor.h"
20#include "SymTab/Indexer.h"   // for Indexer
21#include "SynTree/Type.h"     // for TypeInstType, Type
22#include "TypeEnvironment.h"  // for EqvClass, TypeEnvironment
23
24namespace ResolvExpr {
25        struct PolyCost {
26                PolyCost( const TypeEnvironment &env, const SymTab::Indexer &indexer );
27
28                void previsit( TypeInstType * aggregateUseType );
29                int result;
30                const TypeEnvironment &tenv;
31                const SymTab::Indexer &indexer;
32        };
33
34        int polyCost( Type *type, const TypeEnvironment & env, const SymTab::Indexer &indexer ) {
35                PassVisitor<PolyCost> coster( env, indexer );
36                type->accept( coster );
37                return coster.pass.result;
38        }
39
40        PolyCost::PolyCost( const TypeEnvironment & env, const SymTab::Indexer & indexer ) : result( 0 ), tenv( env ), indexer( indexer ) {
41        }
42
43        void PolyCost::previsit(TypeInstType * typeInst) {
44                if ( const EqvClass *eqvClass = tenv.lookup( typeInst->name ) ) {
45                        if ( eqvClass->type ) {
46                                if ( TypeInstType * otherTypeInst = dynamic_cast< TypeInstType* >( eqvClass->type ) ) {
47                                        if ( indexer.lookupType( otherTypeInst->name ) ) {
48                                                // bound to opaque type
49                                                result += 1;
50                                        } // if
51                                } else {
52                                        // bound to concrete type
53                                        result += 1;
54                                } // if
55                        } // if
56                } // if
57        }
58
59        int polyCost( 
60                const ast::Type * type, const ast::SymbolTable & symtab, const ast::TypeEnvironment & env
61        ) {
62                #warning unimplemented
63                (void)type; (void)symtab; (void)env;
64                assert(false);
65                return 0;
66        }
67
68} // namespace ResolvExpr
69
70// Local Variables: //
71// tab-width: 4 //
72// mode: c++ //
73// compile-command: "make install" //
74// End: //
Note: See TracBrowser for help on using the repository browser.