source: src/ResolvExpr/Alternative.h @ 46438e4

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

Fix memory bugs in deferred resolution

  • Property mode set to 100644
File size: 4.5 KB
RevLine 
[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//
[3c13c03]7// Alternative.h --
[a32b204]8//
9// Author           : Richard C. Bilson
10// Created On       : Sat May 16 23:45:43 2015
[6d6e829]11// Last Modified By : Aaron B. Moss
12// Last Modified On : Thu Oct 11 10:55:00 2018
13// Update Count     : 4
[3c13c03]14//
[a32b204]15
[6b0b624]16#pragma once
[51b7345]17
[ea6332d]18#include <iosfwd>             // for ostream
[bd4f2e9]19#include <vector>             // for vector
[ea6332d]20
21#include "Cost.h"             // for Cost
[6d6e829]22#include "TypeEnvironment.h"  // for TypeEnvironment, AssertionSetValue
[ea6332d]23
[2c187378]24#include "Common/utility.h"   // for maybeClone
25
[ea6332d]26class Expression;
[51b7345]27
28namespace ResolvExpr {
[6d6e829]29        /// One assertion to resolve
30        struct AssertionItem {
31                DeclarationWithType* decl;
32                AssertionSetValue info;
33               
34                AssertionItem() = default;
35                AssertionItem( DeclarationWithType* decl, const AssertionSetValue& info ) 
36                : decl(decl), info(info) {}
37                AssertionItem( const AssertionSet::value_type& e ) : decl(e.first), info(e.second) {}
38                operator AssertionSet::value_type () const { return { decl, info }; }
[2c187378]39
40                // to support cloneAll
41                AssertionItem clone() const { return { maybeClone(decl), info }; }
[6d6e829]42        };
43        /// A list of unresolved assertions
44        using AssertionList = std::vector<AssertionItem>;
45
[2c187378]46        /// Clones an assertion list into an assertion set
47        static inline void cloneAll( const AssertionList& src, AssertionSet& dst ) {
48                for ( const AssertionItem& item : src ) {
49                        dst.emplace( maybeClone(item.decl), item.info );
50                }
51        }
52
53        /// Clones an assertion set into an assertion list
54        static inline void cloneAll( const AssertionSet& src, AssertionList& dst ) {
55                dst.reserve( dst.size() + src.size() );
56                for ( const auto& entry : src ) {
57                        dst.emplace_back( maybeClone(entry.first), entry.second );
58                }
59        }
60
61        /// Clones an assertion list into an assertion list
62        static inline void cloneAll( const AssertionList& src, AssertionList& dst ) {
63                dst.reserve( dst.size() + src.size() );
64                for ( const AssertionItem& item : src ) {
65                        dst.emplace_back( maybeClone(item.decl), item.info );
66                }
67        }
68
[6d6e829]69        /// One option for resolution of an expression
[a32b204]70        struct Alternative {
71                Alternative();
[6d6e829]72                Alternative( Expression *expr, const TypeEnvironment &env );
73                Alternative( const Alternative &o, Expression *expr, const Cost &cost );
74                Alternative( Expression *expr, const TypeEnvironment &env, const OpenVarSet& openVars, 
75                        const AssertionList& need, const Cost &cost );
76                Alternative( Expression *expr, const TypeEnvironment &env, const OpenVarSet& openVars, 
77                        const AssertionList& need, const Cost &cost, const Cost &cvtCost );
[2c187378]78                Alternative( Expression *expr, const TypeEnvironment &env, const OpenVarSet &openVars, 
79                        const AssertionSet &need, const Cost &cost);
80                Alternative( Expression *expr, const TypeEnvironment &env, const OpenVarSet &openVars, 
81                        const AssertionSet &need, const Cost &cost, const Cost& cvtCost );
82                Alternative( Expression *expr, TypeEnvironment &&env, OpenVarSet &&openVars, 
83                        AssertionSet &&need, const Cost &cost );
84                Alternative( Expression *expr, TypeEnvironment &&env, OpenVarSet &&openVars, 
85                        AssertionSet &&need, const Cost &cost, const Cost &cvtCost );
[a32b204]86                Alternative( const Alternative &other );
87                Alternative &operator=( const Alternative &other );
[aefcc3b]88                Alternative( Alternative && other );
89                Alternative &operator=( Alternative && other );
[a32b204]90                ~Alternative();
[3c13c03]91
[50377a4]92                void print( std::ostream &os, Indenter indent = {} ) const;
[3c13c03]93
[62194cb]94                /// Returns the stored expression, but released from management of this Alternative
95                Expression* release_expr() {
96                        Expression* tmp = expr;
97                        expr = nullptr;
98                        return tmp;
99                }
100
[6d6e829]101                /// Sorts by cost
102                bool operator< ( const Alternative& o ) const { return cost < o.cost; }
103
104                Cost cost;            ///< Cost of the whole expression
105                Cost cvtCost;         ///< Cost of conversions to the satisfying expression
106                Expression *expr;     ///< Satisfying expression
107                TypeEnvironment env;  ///< Containing type environment
108                OpenVarSet openVars;  ///< Open variables for environment
109                AssertionList need;   ///< Assertions which need to be resolved
[a32b204]110        };
[bd4f2e9]111
112        typedef std::vector< Alternative > AltList;
113
114        /// Moves all elements from src to the end of dst
115        void splice( AltList& dst, AltList& src );
116
117        /// Moves all elements from src to the beginning of dst
118        void spliceBegin( AltList& dst, AltList& src );
[4a161be]119
120        static inline std::ostream & operator<<(std::ostream & os, const ResolvExpr::Alternative & alt) {
121                alt.print( os );
122                return os;
123        }
[51b7345]124} // namespace ResolvExpr
125
[a32b204]126// Local Variables: //
127// tab-width: 4 //
128// mode: c++ //
129// compile-command: "make install" //
130// End: //
Note: See TracBrowser for help on using the repository browser.