Changeset 7ebaa56 for src/ResolvExpr/Cost.h

Timestamp:

Jul 17, 2017, 3:05:57 PM (7 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

e6cee92

Parents:

89be1c68

git-author:

Rob Schluntz <rschlunt@…> (07/17/17 14:58:13)

git-committer:

Rob Schluntz <rschlunt@…> (07/17/17 15:05:57)

Message:

Add reference cost field to cost tuple

File:

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

src/ResolvExpr/Cost.h

@@ -22 +22 @@
         class Cost {
           private:
-                Cost( int unsafeCost, int polyCost, int safeCost );
+                Cost( int unsafeCost, int polyCost, int safeCost, int referenceCost );
 
           public:
@@ -28 +28 @@
                 Cost & incPoly( int inc = 1 );
                 Cost & incSafe( int inc = 1 );
+                Cost & incReference( int inc = 1 );
 
                 Cost operator+( const Cost &other ) const;
@@ -39 +40 @@
                 static const Cost zero;
                 static const Cost infinity;
+
                 static const Cost unsafe;
                 static const Cost poly;
                 static const Cost safe;
+                static const Cost reference;
           private:
                 int compare( const Cost &other ) const;
@@ -48 +51 @@
                 int polyCost;
                 int safeCost;
+                int referenceCost;
         };
 
-        inline Cost::Cost( int unsafeCost, int polyCost, int safeCost ) : unsafeCost( unsafeCost ), polyCost( polyCost ), safeCost( safeCost ) {}
+        inline Cost::Cost( int unsafeCost, int polyCost, int safeCost, int referenceCost ) : unsafeCost( unsafeCost ), polyCost( polyCost ), safeCost( safeCost ), referenceCost( referenceCost ) {}
 
         inline Cost & Cost::incUnsafe( int inc ) {
@@ -67 +71 @@
         }
 
+        inline Cost & Cost::incReference( int inc ) {
+                referenceCost += inc;
+                return *this;
+        }
+
         inline Cost Cost::operator+( const Cost &other ) const {
-                return Cost( unsafeCost + other.unsafeCost, polyCost + other.polyCost, safeCost + other.safeCost );
+                return Cost( unsafeCost + other.unsafeCost, polyCost + other.polyCost, safeCost + other.safeCost, referenceCost + other.referenceCost );
         }
 
         inline Cost Cost::operator-( const Cost &other ) const {
-                return Cost( unsafeCost - other.unsafeCost, polyCost - other.polyCost, safeCost - other.safeCost );
+                return Cost( unsafeCost - other.unsafeCost, polyCost - other.polyCost, safeCost - other.safeCost, referenceCost - other.referenceCost );
         }
 
@@ -79 +88 @@
                 polyCost += other.polyCost;
                 safeCost += other.safeCost;
+                referenceCost += other.referenceCost;
                 return *this;
         }
@@ -98 +108 @@
                 } else if ( safeCost < other.safeCost ) {
                         return true;
+                } else if ( referenceCost > other.referenceCost ) {
+                        return false;
+                } else if ( referenceCost < other.referenceCost ) {
+                        return true;
                 } else {
                         return false;
@@ -106 +120 @@
                 return unsafeCost == other.unsafeCost
                         && polyCost == other.polyCost
-                        && safeCost == other.safeCost;
+                        && safeCost == other.safeCost
+                        && referenceCost == other.referenceCost;
         }
 
@@ -114 +129 @@
 
         inline std::ostream &operator<<( std::ostream &os, const Cost &cost ) {
-                os << "( " << cost.unsafeCost << ", " << cost.polyCost << ", " << cost.safeCost << " )";
+                os << "( " << cost.unsafeCost << ", " << cost.polyCost << ", " << cost.safeCost << ", " << cost.referenceCost << " )";
                 return os;
         }