Changeset 0ca9dea for src/ResolvExpr/AlternativeFinder.cc

Timestamp:

Feb 17, 2017, 3:32:58 PM (7 years ago)

Author:

Peter A. Buhr <pabuhr@…>

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:

d150ea2

Parents:

94ad12f (diff), 8a5cad8 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

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

src/ResolvExpr/AlternativeFinder.cc

@@ -1044 +1044 @@
 
         void AlternativeFinder::visit( ConditionalExpr *conditionalExpr ) {
+                // find alternatives for condition
                 AlternativeFinder firstFinder( indexer, env );
                 firstFinder.findWithAdjustment( conditionalExpr->get_arg1() );
                 for ( AltList::const_iterator first = firstFinder.alternatives.begin(); first != firstFinder.alternatives.end(); ++first ) {
+                        // find alternatives for true expression
                         AlternativeFinder secondFinder( indexer, first->env );
                         secondFinder.findWithAdjustment( conditionalExpr->get_arg2() );
                         for ( AltList::const_iterator second = secondFinder.alternatives.begin(); second != secondFinder.alternatives.end(); ++second ) {
+                                // find alterantives for false expression
                                 AlternativeFinder thirdFinder( indexer, second->env );
                                 thirdFinder.findWithAdjustment( conditionalExpr->get_arg3() );
                                 for ( AltList::const_iterator third = thirdFinder.alternatives.begin(); third != thirdFinder.alternatives.end(); ++third ) {
+                                        // unify true and false types, then infer parameters to produce new alternatives
                                         OpenVarSet openVars;
                                         AssertionSet needAssertions, haveAssertions;
@@ -1079 +1083 @@
         }
 
+        void AlternativeFinder::visit( RangeExpr * rangeExpr ) {
+                // resolve low and high, accept alternatives whose low and high types unify
+                AlternativeFinder firstFinder( indexer, env );
+                firstFinder.findWithAdjustment( rangeExpr->get_low() );
+                for ( AltList::const_iterator first = firstFinder.alternatives.begin(); first != firstFinder.alternatives.end(); ++first ) {
+                        AlternativeFinder secondFinder( indexer, first->env );
+                        secondFinder.findWithAdjustment( rangeExpr->get_high() );
+                        for ( AltList::const_iterator second = secondFinder.alternatives.begin(); second != secondFinder.alternatives.end(); ++second ) {
+                                OpenVarSet openVars;
+                                AssertionSet needAssertions, haveAssertions;
+                                Alternative newAlt( 0, second->env, first->cost + second->cost );
+                                Type* commonType = nullptr;
+                                if ( unify( first->expr->get_result(), second->expr->get_result(), newAlt.env, needAssertions, haveAssertions, openVars, indexer, commonType ) ) {
+                                        RangeExpr *newExpr = new RangeExpr( first->expr->clone(), second->expr->clone() );
+                                        newExpr->set_result( commonType ? commonType : first->expr->get_result()->clone() );
+                                        newAlt.expr = newExpr;
+                                        inferParameters( needAssertions, haveAssertions, newAlt, openVars, back_inserter( alternatives ) );
+                                } // if
+                        } // for
+                } // for
+        }
+
         void AlternativeFinder::visit( UntypedTupleExpr *tupleExpr ) {
                 std::list< AlternativeFinder > subExprAlternatives;