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 | // ConversionCost.h -- |
---|
8 | // |
---|
9 | // Author : Richard C. Bilson |
---|
10 | // Created On : Sun May 17 09:37:28 2015 |
---|
11 | // Last Modified By : Andrew Beach |
---|
12 | // Last Modified On : Tue Oct 4 14:59:00 2019 |
---|
13 | // Update Count : 7 |
---|
14 | // |
---|
15 | |
---|
16 | #pragma once |
---|
17 | |
---|
18 | #include <functional> // for function |
---|
19 | |
---|
20 | #include "Cost.h" // for Cost |
---|
21 | |
---|
22 | #include "AST/Fwd.hpp" |
---|
23 | #include "AST/Pass.hpp" // for WithShortCircuiting |
---|
24 | #include "Common/PassVisitor.h" |
---|
25 | #include "SynTree/Visitor.h" // for Visitor |
---|
26 | #include "SynTree/SynTree.h" // for Visitor Nodes |
---|
27 | |
---|
28 | namespace SymTab { |
---|
29 | class Indexer; |
---|
30 | } // namespace SymTab |
---|
31 | |
---|
32 | namespace ResolvExpr { |
---|
33 | class TypeEnvironment; |
---|
34 | |
---|
35 | typedef std::function<Cost(const Type *, const Type *, bool, |
---|
36 | const SymTab::Indexer &, const TypeEnvironment &)> CostFunction; |
---|
37 | |
---|
38 | struct ConversionCost : public WithShortCircuiting { |
---|
39 | public: |
---|
40 | ConversionCost( const Type * dest, bool srcIsLvalue, |
---|
41 | const SymTab::Indexer &indexer, const TypeEnvironment &env, CostFunction ); |
---|
42 | |
---|
43 | Cost get_cost() const { return cost; } |
---|
44 | |
---|
45 | void previsit( const BaseSyntaxNode * ) { visit_children = false; } |
---|
46 | |
---|
47 | void postvisit( const VoidType * voidType ); |
---|
48 | void postvisit( const BasicType * basicType ); |
---|
49 | void postvisit( const PointerType * pointerType ); |
---|
50 | void postvisit( const ArrayType * arrayType ); |
---|
51 | void postvisit( const ReferenceType * refType ); |
---|
52 | void postvisit( const FunctionType * functionType ); |
---|
53 | void postvisit( const StructInstType * aggregateUseType ); |
---|
54 | void postvisit( const UnionInstType * aggregateUseType ); |
---|
55 | void postvisit( const EnumInstType * aggregateUseType ); |
---|
56 | void postvisit( const TraitInstType * aggregateUseType ); |
---|
57 | void postvisit( const TypeInstType * aggregateUseType ); |
---|
58 | void postvisit( const TupleType * tupleType ); |
---|
59 | void postvisit( const VarArgsType * varArgsType ); |
---|
60 | void postvisit( const ZeroType * zeroType ); |
---|
61 | void postvisit( const OneType * oneType ); |
---|
62 | protected: |
---|
63 | const Type * dest; |
---|
64 | bool srcIsLvalue; |
---|
65 | const SymTab::Indexer &indexer; |
---|
66 | Cost cost; |
---|
67 | const TypeEnvironment &env; |
---|
68 | CostFunction costFunc; |
---|
69 | }; |
---|
70 | |
---|
71 | typedef std::function<int(const Type *, const Type *, const SymTab::Indexer &, const TypeEnvironment &)> PtrsFunction; |
---|
72 | Cost convertToReferenceCost( const Type * src, const ReferenceType * dest, bool srcIsLvalue, |
---|
73 | const SymTab::Indexer & indexer, const TypeEnvironment & env, PtrsFunction func ); |
---|
74 | |
---|
75 | // Some function pointer types, differ in return type. |
---|
76 | using CostCalculation = std::function<Cost(const ast::Type *, const ast::Type *, bool, |
---|
77 | const ast::SymbolTable &, const ast::TypeEnvironment &)>; |
---|
78 | using PtrsCalculation = std::function<int(const ast::Type *, const ast::Type *, |
---|
79 | const ast::SymbolTable &, const ast::TypeEnvironment &)>; |
---|
80 | |
---|
81 | #warning when the old ConversionCost is removed, get ride of the _new suffix. |
---|
82 | class ConversionCost_new : public ast::WithShortCircuiting { |
---|
83 | protected: |
---|
84 | const ast::Type * dst; |
---|
85 | bool srcIsLvalue; |
---|
86 | const ast::SymbolTable & symtab; |
---|
87 | const ast::TypeEnvironment & env; |
---|
88 | CostCalculation costCalc; |
---|
89 | public: |
---|
90 | static size_t traceId; |
---|
91 | Cost cost; |
---|
92 | |
---|
93 | ConversionCost_new( const ast::Type * dst, bool srcIsLvalue, const ast::SymbolTable & symtab, |
---|
94 | const ast::TypeEnvironment & env, CostCalculation costCalc ) : |
---|
95 | dst( dst ), srcIsLvalue( srcIsLvalue ), symtab( symtab ), env( env ), |
---|
96 | costCalc( costCalc ), cost( Cost::infinity ) |
---|
97 | {} |
---|
98 | |
---|
99 | void previsit( const ast::Node * ) { visit_children = false; } |
---|
100 | |
---|
101 | void postvisit( const ast::VoidType * voidType ); |
---|
102 | void postvisit( const ast::BasicType * basicType ); |
---|
103 | void postvisit( const ast::PointerType * pointerType ); |
---|
104 | void postvisit( const ast::ArrayType * arrayType ); |
---|
105 | void postvisit( const ast::ReferenceType * refType ); |
---|
106 | void postvisit( const ast::FunctionType * functionType ); |
---|
107 | void postvisit( const ast::StructInstType * structInstType ); |
---|
108 | void postvisit( const ast::UnionInstType * unionInstType ); |
---|
109 | void postvisit( const ast::EnumInstType * enumInstType ); |
---|
110 | void postvisit( const ast::TraitInstType * traitInstType ); |
---|
111 | void postvisit( const ast::TypeInstType * typeInstType ); |
---|
112 | void postvisit( const ast::TupleType * tupleType ); |
---|
113 | void postvisit( const ast::VarArgsType * varArgsType ); |
---|
114 | void postvisit( const ast::ZeroType * zeroType ); |
---|
115 | void postvisit( const ast::OneType * oneType ); |
---|
116 | }; |
---|
117 | |
---|
118 | Cost convertToReferenceCost( const ast::Type * src, const ast::ReferenceType * dest, |
---|
119 | bool srcIsLvalue, const ast::SymbolTable & indexer, const ast::TypeEnvironment & env, |
---|
120 | PtrsCalculation func ); |
---|
121 | |
---|
122 | } // namespace ResolvExpr |
---|
123 | |
---|
124 | // Local Variables: // |
---|
125 | // tab-width: 4 // |
---|
126 | // mode: c++ // |
---|
127 | // compile-command: "make install" // |
---|
128 | // End: // |
---|