source:
src/ResolvExpr/PolyCost.cc
@
4d689e2
Last change on this file since 4d689e2 was 2908f08, checked in by , 10 months ago | |
---|---|
|
|
File size: 1.5 KB |
Rev | Line | |
---|---|---|
[a32b204] | 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 | // | |
[b0837e4] | 7 | // PolyCost.cc -- |
[a32b204] | 8 | // |
9 | // Author : Richard C. Bilson | |
10 | // Created On : Sun May 17 09:50:12 2015 | |
[5aa4656] | 11 | // Last Modified By : Andrew Beach |
12 | // Last Modified On : Wed Jun 19 10:45:00 2019 | |
13 | // Update Count : 4 | |
[a32b204] | 14 | // |
[51b7345] | 15 | |
[9d5089e] | 16 | #include "AST/SymbolTable.hpp" |
[bccd70a] | 17 | #include "AST/Pass.hpp" |
[9d5089e] | 18 | #include "AST/Type.hpp" |
19 | #include "AST/TypeEnvironment.hpp" | |
[51b7345] | 20 | |
21 | namespace ResolvExpr { | |
22 | ||
[2908f08] | 23 | namespace { |
24 | ||
[0bd3faf] | 25 | class PolyCost { |
[5aa4656] | 26 | const ast::SymbolTable &symtab; |
[9ea38de] | 27 | public: |
28 | int result; | |
[5aa4656] | 29 | const ast::TypeEnvironment &env_; |
30 | ||
[0bd3faf] | 31 | PolyCost( const ast::SymbolTable & symtab, const ast::TypeEnvironment & env ) |
[9ea38de] | 32 | : symtab( symtab ), result( 0 ), env_( env ) {} |
[5aa4656] | 33 | |
34 | void previsit( const ast::TypeInstType * type ) { | |
[3e5dd913] | 35 | if ( const ast::EqvClass * eqv = env_.lookup( *type ) ) /* && */ if ( eqv->bound ) { |
[5aa4656] | 36 | if ( const ast::TypeInstType * otherType = eqv->bound.as< ast::TypeInstType >() ) { |
37 | if ( symtab.lookupType( otherType->name ) ) { | |
38 | // Bound to opaque type. | |
39 | result += 1; | |
40 | } | |
41 | } else { | |
42 | // Bound to concrete type. | |
43 | result += 1; | |
44 | } | |
45 | } | |
[9d5089e] | 46 | } |
[5aa4656] | 47 | }; |
48 | ||
[2908f08] | 49 | } // namespace |
50 | ||
[5aa4656] | 51 | int polyCost( |
52 | const ast::Type * type, const ast::SymbolTable & symtab, const ast::TypeEnvironment & env | |
53 | ) { | |
[0bd3faf] | 54 | ast::Pass<PolyCost> costing( symtab, env ); |
[5aa4656] | 55 | type->accept( costing ); |
[fcd0b9d7] | 56 | return (costing.core.result > 0) ? 1 : 0; |
[5aa4656] | 57 | } |
[9d5089e] | 58 | |
[51b7345] | 59 | } // namespace ResolvExpr |
[a32b204] | 60 | |
61 | // Local Variables: // | |
62 | // tab-width: 4 // | |
63 | // mode: c++ // | |
64 | // compile-command: "make install" // | |
65 | // End: // |
Note: See TracBrowser
for help on using the repository browser.