source: src/ResolvExpr/Cost.h @ 4cf2472

deferred_resn
Last change on this file since 4cf2472 was 4cf2472, checked in by Aaron Moss <a3moss@…>, 3 years ago

Add sign element to cost tuple

  • Property mode set to 100644
File size: 6.5 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// Cost.h --
8//
9// Author           : Richard C. Bilson
10// Created On       : Sun May 17 09:39:50 2015
11// Last Modified By : Aaron B. Moss
12// Last Modified On : Fri Oct 05 14:32:00 2018
13// Update Count     : 7
14//
15
16#pragma once
17
18#include <iostream>
19
20namespace ResolvExpr {
21        class Cost {
22          private:
23                Cost( int unsafeCost, int polyCost, int safeCost, int signCost, 
24                        int varCost, int specCost, int referenceCost );
25
26          public:
27                Cost & incUnsafe( int inc = 1 );
28                Cost & incPoly( int inc = 1 );
29                Cost & incSafe( int inc = 1 );
30                Cost & incSign( int inc = 1 );
31                Cost & incVar( int inc = 1 );
32                Cost & decSpec( int inc = 1 );
33                Cost & incReference( int inc = 1 );
34
35                int get_unsafeCost() const { return unsafeCost; }
36                int get_polyCost() const { return polyCost; }
37                int get_safeCost() const { return safeCost; }
38                int get_signCost() const { return signCost; }
39                int get_varCost() const { return varCost; }
40                int get_specCost() const { return specCost; }
41                int get_referenceCost() const { return referenceCost; }
42
43                Cost operator+( const Cost &other ) const;
44                Cost &operator+=( const Cost &other );
45                bool operator<( const Cost &other ) const;
46                bool operator==( const Cost &other ) const;
47                bool operator!=( const Cost &other ) const;
48                friend std::ostream &operator<<( std::ostream &os, const Cost &cost );
49                // returns negative for *this < other, 0 for *this == other, positive for *this > other
50                int compare( const Cost &other ) const;
51
52                static const Cost zero;
53                static const Cost infinity;
54
55                static const Cost unsafe;
56                static const Cost poly;
57                static const Cost safe;
58                static const Cost sign;
59                static const Cost var;
60                static const Cost spec;
61                static const Cost reference;
62
63          private:
64                int unsafeCost;     ///< Unsafe (narrowing) conversions
65                int polyCost;       ///< Count of parameters and return values bound to some poly type
66                int safeCost;       ///< Safe (widening) conversions
67                int signCost;       ///< Count of safe sign conversions
68                int varCost;        ///< Count of polymorphic type variables
69                int specCost;       ///< Polymorphic type specializations (type assertions), negative cost
70                int referenceCost;  ///< reference conversions
71        };
72
73        inline Cost::Cost( int unsafeCost, int polyCost, int safeCost, int signCost, 
74                        int varCost, int specCost, int referenceCost ) 
75                : unsafeCost( unsafeCost ), polyCost( polyCost ), safeCost( safeCost ), signCost( signCost ), 
76                  varCost( varCost ), specCost( specCost ), referenceCost( referenceCost ) {}
77
78        inline Cost & Cost::incUnsafe( int inc ) {
79                if ( *this == infinity ) return *this;
80                unsafeCost += inc;
81                return *this;
82        }
83
84        inline Cost & Cost::incPoly( int inc ) {
85                if ( *this == infinity ) return *this;
86                polyCost += inc;
87                return *this;
88        }
89
90        inline Cost & Cost::incSafe( int inc ) {
91                if ( *this == infinity ) return *this;
92                safeCost += inc;
93                return *this;
94        }
95
96        inline Cost & Cost::incSign( int inc ) {
97                if ( *this == infinity ) return *this;
98                signCost += inc;
99                return *this;
100        }
101
102        inline Cost & Cost::incVar( int inc ) {
103                if ( *this == infinity ) return *this;
104                varCost += inc;
105                return *this;
106        }
107
108        inline Cost& Cost::decSpec( int dec ) {
109                if ( *this == infinity ) return *this;
110                specCost -= dec;
111                return *this;
112        }
113
114        inline Cost & Cost::incReference( int inc ) {
115                if ( *this == infinity ) return *this;
116                referenceCost += inc;
117                return *this;
118        }
119
120        inline Cost Cost::operator+( const Cost &other ) const {
121                if ( *this == infinity || other == infinity ) return infinity;
122                return Cost{ 
123                        unsafeCost + other.unsafeCost, polyCost + other.polyCost, safeCost + other.safeCost, 
124                        signCost + other.signCost, varCost + other.varCost, specCost + other.specCost, 
125                        referenceCost + other.referenceCost };
126        }
127
128        inline Cost &Cost::operator+=( const Cost &other ) {
129                if ( *this == infinity ) return *this;
130                if ( other == infinity ) {
131                        *this = infinity;
132                        return *this;
133                }
134                unsafeCost += other.unsafeCost;
135                polyCost += other.polyCost;
136                safeCost += other.safeCost;
137                signCost += other.signCost;
138                varCost += other.varCost;
139                specCost += other.specCost;
140                referenceCost += other.referenceCost;
141                return *this;
142        }
143
144        inline bool Cost::operator<( const Cost &other ) const {
145                if ( *this == infinity ) return false;
146                if ( other == infinity ) return true;
147
148                if ( unsafeCost > other.unsafeCost ) {
149                        return false;
150                } else if ( unsafeCost < other.unsafeCost ) {
151                        return true;
152                } else if ( polyCost > other.polyCost ) {
153                        return false;
154                } else if ( polyCost < other.polyCost ) {
155                        return true;
156                } else if ( safeCost > other.safeCost ) {
157                        return false;
158                } else if ( safeCost < other.safeCost ) {
159                        return true;
160                } else if ( signCost > other.signCost ) {
161                        return false;
162                } else if ( signCost < other.signCost ) {
163                        return true;
164                } else if ( varCost > other.varCost ) {
165                        return false;
166                } else if ( varCost < other.varCost ) {
167                        return true;
168                } else if ( specCost > other.specCost ) {
169                        return false;
170                } else if ( specCost > other.specCost ) {
171                        return true;
172                } else if ( referenceCost > other.referenceCost ) {
173                        return false;
174                } else if ( referenceCost < other.referenceCost ) {
175                        return true;
176                } else {
177                        return false;
178                } // if
179        }
180
181        inline int Cost::compare( const Cost &other ) const {
182                if ( *this == infinity ) return +1;
183                if ( other == infinity ) return -1;
184
185                int c = unsafeCost - other.unsafeCost; if ( c ) return c;
186                c = polyCost - other.polyCost; if ( c ) return c;
187                c = safeCost - other.safeCost; if ( c ) return c;
188                c = signCost - other.signCost; if ( c ) return c;
189                c = varCost - other.varCost; if ( c ) return c;
190                c = specCost - other.specCost; if ( c ) return c;
191                return referenceCost - other.referenceCost;
192        }
193
194        inline bool Cost::operator==( const Cost &other ) const {
195                return unsafeCost == other.unsafeCost
196                        && polyCost == other.polyCost
197                        && safeCost == other.safeCost
198                        && signCost == other.signCost
199                        && varCost == other.varCost
200                        && specCost == other.specCost
201                        && referenceCost == other.referenceCost;
202        }
203
204        inline bool Cost::operator!=( const Cost &other ) const {
205                return !( *this == other );
206        }
207
208        inline std::ostream &operator<<( std::ostream &os, const Cost &cost ) {
209                return os << "( " << cost.unsafeCost << ", " << cost.polyCost << ", " 
210                          << cost.safeCost << ", " << cost.signCost << ", " 
211                                  << cost.varCost << ", " << cost.specCost << ", "
212                          << cost.referenceCost << " )";
213        }
214} // namespace ResolvExpr
215
216// Local Variables: //
217// tab-width: 4 //
218// mode: c++ //
219// compile-command: "make install" //
220// End: //
Note: See TracBrowser for help on using the repository browser.