Changeset 1db306a for src/ResolvExpr/AlternativeFinder.cc

Timestamp:

Dec 3, 2020, 11:30:33 AM (3 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

636d3715, 63ec5fa

Parents:

cd6a6ff

Message:

First attempt to sort alternatives before printing.

File:

• src/ResolvExpr/AlternativeFinder.cc (modified) (2 diffs)

src/ResolvExpr/AlternativeFinder.cc

@@ -132 +132 @@
         void printAlts( const AltList &list, std::ostream &os, unsigned int indentAmt ) {
                 Indenter indent = { indentAmt };
+
+                std::vector<int> idx;
+                idx.reserve(list.size());
+                for(int i = 0; i < list.size(); i++) { idx.push_back(i); }
+
+                std::sort(idx.begin(), idx.end(), [&list](int lhs_idx, int rhs_idx) -> bool {
+                        const auto & lhs = list.at(lhs_idx);
+                        const auto & rhs = list.at(rhs_idx);
+                        if(lhs.expr->location.startsBefore(rhs.expr->location)) return true;
+                        if(rhs.expr->location.startsBefore(lhs.expr->location)) return false;
+
+                        if(lhs.env.size() < rhs.env.size()) return true;
+                        if(lhs.env.size() > rhs.env.size()) return false;
+
+                        if(lhs.openVars.size() < rhs.openVars.size()) return true;
+                        if(lhs.openVars.size() > rhs.openVars.size()) return false;
+
+                        if(lhs.need.size() < rhs.need.size()) return true;
+                        if(lhs.need.size() > rhs.need.size()) return false;
+
+                        return false;
+                });
+
                 for ( AltList::const_iterator i = list.begin(); i != list.end(); ++i ) {
                         i->print( os, indent );
@@ -1718 +1741 @@
                                         std::cerr << std::endl;
                                 )
-                                
+
                                 if ( thisCost != Cost::infinity ) {
                                         // count one safe conversion for each value that is thrown away