Changeset fbecee5 for src/ResolvExpr/ResolveAssertions.cc

Timestamp:

Oct 18, 2018, 4:26:11 PM (6 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

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

Children:

2fd9f24

Parents:

2c187378

Message:

rational.cfa passes deferred resolution pass now

File:

• src/ResolvExpr/ResolveAssertions.cc (modified) (4 diffs)

src/ResolvExpr/ResolveAssertions.cc

@@ -18 +18 @@
 #include <cassert>                // for assertf
 #include <list>                   // for list
+#include <unordered_map>          // for unordered_map
 #include <utility>                // for move
 #include <vector>                 // for vector
@@ -23 +24 @@
 #include "Alternative.h"          // for Alternative, AssertionItem
 #include "Common/FilterCombos.h"  // for filterCombos
+#include "Common/utility.h"       // for sort_mins
 #include "SymTab/Indexer.h"       // for Indexer
 #include "TypeEnvironment.h"      // for TypeEnvironment, etc.
@@ -125 +127 @@
         };
 
+        /// Comparator for CandidateEnvMerger outputs that sums their costs and caches the stored 
+        /// sums
+        struct CandidateCost {
+                using Element = CandidateEnvMerger::OutType;
+        private:
+                using Memo = std::unordered_map<const Element*, Cost>;
+                mutable Memo cache;              ///< cache of element costs
+                const SymTab::Indexer& indexer;  ///< Indexer for costing
+
+        public:
+                CandidateCost( const SymTab::Indexer& indexer ) : indexer(indexer) {}
+
+                /// reports the cost of an element
+                Cost get( const Element& x ) const {
+                        Memo::const_iterator it = cache.find( &x );
+                        if ( it == cache.end() ) {
+                                Cost k = Cost::zero;
+                                for ( const auto& assn : x.assns ) {
+                                        k += computeConversionCost( 
+                                                assn.match.adjType, assn.decl->get_type(), indexer, x.env );
+                                }
+                                it = cache.emplace_hint( it, &x, k );
+                        }
+                        return it->second;
+                }
+                
+                /// compares elements by cost
+                bool operator() ( const Element& a, const Element& b ) const {
+                        return get( a ) < get( b );
+                }
+        };
+
         /// Flag for state iteration
         enum IterateFlag { IterateState };
@@ -275 +309 @@
                                         }
                                 } else {
-                                        // resolve deferred assertions by mutual compatibility
+                                        // resolve deferred assertions by mutual compatibility and sort by cost
                                         std::vector<CandidateEnvMerger::OutType> compatible = filterCombos(
                                                 resn.deferred, 
                                                 CandidateEnvMerger{ resn.alt.env, resn.alt.openVars, resn.indexer } );
+                                        auto lmin = sort_mins( compatible.begin(), compatible.end(), 
+                                                CandidateCost{resn.indexer} );
                                         
-                                        for ( auto& compat : compatible ) {
+                                        // for ( auto& compat : compatible ) {
+                                        for ( auto it = compatible.begin(); it != lmin ; ++it ) {
+                                                auto& compat = *it;
                                                 ResnState new_resn = resn;