Ignore:
Timestamp:
Feb 17, 2017, 2:20:25 PM (6 years ago)
Author:
Rob Schluntz <rschlunt@…>
Branches:
aaron-thesis, arm-eh, 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:
11f95ee
Parents:
e6512c8
Message:

resolve case labels and case ranges

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ResolvExpr/AlternativeFinder.cc

    re6512c8 r32b8144  
    10441044
    10451045        void AlternativeFinder::visit( ConditionalExpr *conditionalExpr ) {
     1046                // find alternatives for condition
    10461047                AlternativeFinder firstFinder( indexer, env );
    10471048                firstFinder.findWithAdjustment( conditionalExpr->get_arg1() );
    10481049                for ( AltList::const_iterator first = firstFinder.alternatives.begin(); first != firstFinder.alternatives.end(); ++first ) {
     1050                        // find alternatives for true expression
    10491051                        AlternativeFinder secondFinder( indexer, first->env );
    10501052                        secondFinder.findWithAdjustment( conditionalExpr->get_arg2() );
    10511053                        for ( AltList::const_iterator second = secondFinder.alternatives.begin(); second != secondFinder.alternatives.end(); ++second ) {
     1054                                // find alterantives for false expression
    10521055                                AlternativeFinder thirdFinder( indexer, second->env );
    10531056                                thirdFinder.findWithAdjustment( conditionalExpr->get_arg3() );
    10541057                                for ( AltList::const_iterator third = thirdFinder.alternatives.begin(); third != thirdFinder.alternatives.end(); ++third ) {
     1058                                        // unify true and false types, then infer parameters to produce new alternatives
    10551059                                        OpenVarSet openVars;
    10561060                                        AssertionSet needAssertions, haveAssertions;
     
    10791083        }
    10801084
     1085        void AlternativeFinder::visit( RangeExpr * rangeExpr ) {
     1086                // resolve low and high, accept alternatives whose low and high types unify
     1087                AlternativeFinder firstFinder( indexer, env );
     1088                firstFinder.findWithAdjustment( rangeExpr->get_low() );
     1089                for ( AltList::const_iterator first = firstFinder.alternatives.begin(); first != firstFinder.alternatives.end(); ++first ) {
     1090                        AlternativeFinder secondFinder( indexer, first->env );
     1091                        secondFinder.findWithAdjustment( rangeExpr->get_high() );
     1092                        for ( AltList::const_iterator second = secondFinder.alternatives.begin(); second != secondFinder.alternatives.end(); ++second ) {
     1093                                OpenVarSet openVars;
     1094                                AssertionSet needAssertions, haveAssertions;
     1095                                Alternative newAlt( 0, second->env, first->cost + second->cost );
     1096                                Type* commonType = nullptr;
     1097                                if ( unify( first->expr->get_result(), second->expr->get_result(), newAlt.env, needAssertions, haveAssertions, openVars, indexer, commonType ) ) {
     1098                                        RangeExpr *newExpr = new RangeExpr( first->expr->clone(), second->expr->clone() );
     1099                                        newExpr->set_result( commonType ? commonType : first->expr->get_result()->clone() );
     1100                                        newAlt.expr = newExpr;
     1101                                        inferParameters( needAssertions, haveAssertions, newAlt, openVars, back_inserter( alternatives ) );
     1102                                } // if
     1103                        } // for
     1104                } // for
     1105        }
     1106
    10811107        void AlternativeFinder::visit( UntypedTupleExpr *tupleExpr ) {
    10821108                std::list< AlternativeFinder > subExprAlternatives;
Note: See TracChangeset for help on using the changeset viewer.