source: src/ResolvExpr/ConversionCost.h @ fb2bde4

ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since fb2bde4 was fb2bde4, checked in by Andrew Beach <ajbeach@…>, 5 years ago

ConversionCost? has been ported to the new AST.

  • Property mode set to 100644
File size: 4.3 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// 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 : Mon Jun 24 10:00:00 2019
13// Update Count     : 5
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
28namespace SymTab {
29        class Indexer;
30}  // namespace SymTab
31
32namespace ResolvExpr {
33        class TypeEnvironment;
34
35        typedef std::function<Cost(Type *, Type *, const SymTab::Indexer &, const TypeEnvironment &)> CostFunction;
36        struct ConversionCost : public WithShortCircuiting {
37          public:
38                ConversionCost( Type *dest, const SymTab::Indexer &indexer, const TypeEnvironment &env, CostFunction );
39
40                Cost get_cost() const { return cost; }
41
42                void previsit( BaseSyntaxNode * ) { visit_children = false; }
43
44                void postvisit( VoidType * voidType );
45                void postvisit( BasicType * basicType );
46                void postvisit( PointerType * pointerType );
47                void postvisit( ArrayType * arrayType );
48                void postvisit( ReferenceType * refType );
49                void postvisit( FunctionType * functionType );
50                void postvisit( StructInstType * aggregateUseType );
51                void postvisit( UnionInstType * aggregateUseType );
52                void postvisit( EnumInstType * aggregateUseType );
53                void postvisit( TraitInstType * aggregateUseType );
54                void postvisit( TypeInstType * aggregateUseType );
55                void postvisit( TupleType * tupleType );
56                void postvisit( VarArgsType * varArgsType );
57                void postvisit( ZeroType * zeroType );
58                void postvisit( OneType * oneType );
59          protected:
60                Type *dest;
61                const SymTab::Indexer &indexer;
62                Cost cost;
63                const TypeEnvironment &env;
64                CostFunction costFunc;
65        };
66
67        typedef std::function<int(Type *, Type *, const SymTab::Indexer &, const TypeEnvironment &)> PtrsFunction;
68        Cost convertToReferenceCost( Type * src, ReferenceType * dest, const SymTab::Indexer & indexer, const TypeEnvironment & env, PtrsFunction func );
69
70// Some function pointer types, differ in return type.
71using CostCalculation = std::function<Cost(const ast::Type *, const ast::Type *,
72        const ast::SymbolTable &, const ast::TypeEnvironment &)>;
73using NumCostCalculation = std::function<int(const ast::Type *, const ast::Type *,
74        const ast::SymbolTable &, const ast::TypeEnvironment &)>;
75
76// TODO: When the old ConversionCost is removed, get ride of the _new suffix.
77class ConversionCost_new : public ast::WithShortCircuiting {
78        const ast::Type * dst;
79        const ast::SymbolTable & symtab;
80        const ast::TypeEnvironment & env;
81        CostCalculation costCalc;
82public:
83        Cost cost;
84
85        ConversionCost_new( const ast::Type * dst, const ast::SymbolTable & symtab,
86                        const ast::TypeEnvironment & env, CostCalculation costCalc ) :
87                dst( dst ), symtab( symtab ), env( env ), costCalc( costCalc ), cost( Cost::infinity )
88        {}
89
90        void previsit( const ast::Node * ) { visit_children = false; }
91
92        void postvisit( const ast::VoidType * voidType );
93        void postvisit( const ast::BasicType * basicType );
94        void postvisit( const ast::PointerType * pointerType );
95        void postvisit( const ast::ArrayType * arrayType );
96        void postvisit( const ast::ReferenceType * refType );
97        void postvisit( const ast::FunctionType * functionType );
98        void postvisit( const ast::StructInstType * structInstType );
99        void postvisit( const ast::UnionInstType * unionInstType );
100        void postvisit( const ast::EnumInstType * enumInstType );
101        void postvisit( const ast::TraitInstType * traitInstType );
102        void postvisit( const ast::TypeInstType * typeInstType );
103        void postvisit( const ast::TupleType * tupleType );
104        void postvisit( const ast::VarArgsType * varArgsType );
105        void postvisit( const ast::ZeroType * zeroType );
106        void postvisit( const ast::OneType * oneType );
107};
108
109Cost convertToReferenceCost( const ast::Type * src, const ast::ReferenceType * dest,
110        const ast::SymbolTable & indexer, const ast::TypeEnvironment & env, NumCostCalculation func );
111
112} // namespace ResolvExpr
113
114// Local Variables: //
115// tab-width: 4 //
116// mode: c++ //
117// compile-command: "make install" //
118// End: //
Note: See TracBrowser for help on using the repository browser.