Changeset 4cf2472 for src/ResolvExpr/Cost.h

Timestamp:

Feb 7, 2019, 4:48:10 PM (4 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

deferred_resn

Children:

1cc4390

Parents:

e1f7eef

Message:

Add sign element to cost tuple

File:

• src/ResolvExpr/Cost.h (modified) (14 diffs)

src/ResolvExpr/Cost.h

@@ -21 +21 @@
         class Cost {
           private:
-                Cost( int unsafeCost, int polyCost, int safeCost, int varCost, int specCost,
-                        int referenceCost );
+                Cost( int unsafeCost, int polyCost, int safeCost, int signCost, 
+                        int varCost, int specCost, int referenceCost );
 
           public:
@@ -28 +28 @@
                 Cost & incPoly( int inc = 1 );
                 Cost & incSafe( int inc = 1 );
+                Cost & incSign( int inc = 1 );
                 Cost & incVar( int inc = 1 );
                 Cost & decSpec( int inc = 1 );
@@ -35 +36 @@
                 int get_polyCost() const { return polyCost; }
                 int get_safeCost() const { return safeCost; }
+                int get_signCost() const { return signCost; }
                 int get_varCost() const { return varCost; }
                 int get_specCost() const { return specCost; }
@@ -40 +42 @@
 
                 Cost operator+( const Cost &other ) const;
-                Cost operator-( const Cost &other ) const;
                 Cost &operator+=( const Cost &other );
                 bool operator<( const Cost &other ) const;
@@ -55 +56 @@
                 static const Cost poly;
                 static const Cost safe;
+                static const Cost sign;
                 static const Cost var;
                 static const Cost spec;
@@ -63 +65 @@
                 int polyCost;       ///< Count of parameters and return values bound to some poly type
                 int safeCost;       ///< Safe (widening) conversions
+                int signCost;       ///< Count of safe sign conversions
                 int varCost;        ///< Count of polymorphic type variables
                 int specCost;       ///< Polymorphic type specializations (type assertions), negative cost
@@ -68 +71 @@
         };
 
-        inline Cost::Cost( int unsafeCost, int polyCost, int safeCost, int varCost, int specCost, 
-                        int referenceCost ) 
-                : unsafeCost( unsafeCost ), polyCost( polyCost ), safeCost( safeCost ), varCost( varCost ), 
-                  specCost( specCost ), referenceCost( referenceCost ) {}
+        inline Cost::Cost( int unsafeCost, int polyCost, int safeCost, int signCost, 
+                        int varCost, int specCost, int referenceCost ) 
+                : unsafeCost( unsafeCost ), polyCost( polyCost ), safeCost( safeCost ), signCost( signCost ), 
+                  varCost( varCost ), specCost( specCost ), referenceCost( referenceCost ) {}
 
         inline Cost & Cost::incUnsafe( int inc ) {
@@ -88 +91 @@
                 if ( *this == infinity ) return *this;
                 safeCost += inc;
+                return *this;
+        }
+
+        inline Cost & Cost::incSign( int inc ) {
+                if ( *this == infinity ) return *this;
+                signCost += inc;
                 return *this;
         }
@@ -113 +122 @@
                 return Cost{ 
                         unsafeCost + other.unsafeCost, polyCost + other.polyCost, safeCost + other.safeCost, 
-                        varCost + other.varCost, specCost + other.specCost, 
+                        signCost + other.signCost, varCost + other.varCost, specCost + other.specCost, 
                         referenceCost + other.referenceCost };
-        }
-
-        inline Cost Cost::operator-( const Cost &other ) const {
-                if ( *this == infinity || other == infinity ) return infinity;
-                return Cost{ 
-                        unsafeCost - other.unsafeCost, polyCost - other.polyCost, safeCost - other.safeCost, 
-                        varCost - other.varCost, specCost - other.specCost, 
-                        referenceCost - other.referenceCost };
         }
 
@@ -134 +135 @@
                 polyCost += other.polyCost;
                 safeCost += other.safeCost;
+                signCost += other.signCost;
                 varCost += other.varCost;
                 specCost += other.specCost;
@@ -156 +158 @@
                 } else if ( safeCost < other.safeCost ) {
                         return true;
+                } else if ( signCost > other.signCost ) {
+                        return false;
+                } else if ( signCost < other.signCost ) {
+                        return true;
                 } else if ( varCost > other.varCost ) {
                         return false;
@@ -180 +186 @@
                 c = polyCost - other.polyCost; if ( c ) return c;
                 c = safeCost - other.safeCost; if ( c ) return c;
+                c = signCost - other.signCost; if ( c ) return c;
                 c = varCost - other.varCost; if ( c ) return c;
                 c = specCost - other.specCost; if ( c ) return c;
@@ -189 +196 @@
                         && polyCost == other.polyCost
                         && safeCost == other.safeCost
+                        && signCost == other.signCost
                         && varCost == other.varCost
                         && specCost == other.specCost
@@ -200 +208 @@
         inline std::ostream &operator<<( std::ostream &os, const Cost &cost ) {
                 return os << "( " << cost.unsafeCost << ", " << cost.polyCost << ", " 
-                          << cost.safeCost << ", " << cost.varCost << ", " << cost.specCost << ", "
+                          << cost.safeCost << ", " << cost.signCost << ", " 
+                                  << cost.varCost << ", " << cost.specCost << ", "
                           << cost.referenceCost << " )";
         }