Changeset dae881f for src/Parser/ExpressionNode.cc

Timestamp:

Aug 5, 2016, 9:25:34 AM (8 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

1b0020a

Parents:

658fafe4 (diff), 51e076e (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/Parser/ExpressionNode.cc (modified) (9 diffs)

src/Parser/ExpressionNode.cc

@@ -10 +10 @@
 // Created On       : Sat May 16 13:17:07 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue Aug  2 15:10:23 2016
-// Update Count     : 322
+// Last Modified On : Fri Aug  5 07:56:23 2016
+// Update Count     : 375
 //
 
@@ -258 +258 @@
 OperatorNode::~OperatorNode() {}
 
-OperatorNode::Type OperatorNode::get_type( void ) const{
+OperatorNode::Type OperatorNode::get_type( void ) const {
         return type;
 }
@@ -311 +311 @@
 }
 
-#include "Common/utility.h"
+
+Expression *build_cast( TypeValueNode * arg, ExpressionNode *expr_node ) {
+        DeclarationNode *decl_node = arg->get_decl();
+
+        Type *targetType = decl_node->buildType();
+        if ( dynamic_cast< VoidType* >( targetType ) ) {
+                delete targetType;
+                return new CastExpr( maybeBuild<Expression>(expr_node) );
+        } else {
+                return new CastExpr( maybeBuild<Expression>(expr_node), targetType );
+        } // if
+}
+
+Expression *build_fieldSel( ExpressionNode *expr_node, VarRefNode *member ) {
+        NameExpr* memberExpr = dynamic_cast<NameExpr*> ( maybeBuild<Expression>( member) );
+        assert( memberExpr );
+        UntypedMemberExpr *ret = new UntypedMemberExpr( memberExpr->get_name(), maybeBuild<Expression>(expr_node) );
+        delete member;
+        return ret;
+}
+
+Expression *build_pfieldSel( ExpressionNode *expr_node, VarRefNode *member ) {
+        NameExpr* memberExpr = dynamic_cast<NameExpr*> ( maybeBuild<Expression>( member) );
+        assert( memberExpr );
+        UntypedExpr *deref = new UntypedExpr( new NameExpr( "*?" ) );
+        deref->get_args().push_back( maybeBuild<Expression>(expr_node) );
+        UntypedMemberExpr *ret = new UntypedMemberExpr( memberExpr->get_name(), deref );
+        delete member;
+        return ret;
+}
+
+Expression *build_addressOf( ExpressionNode *expr_node ) {
+                return new AddressExpr( maybeBuild<Expression>(expr_node) );
+}
+Expression *build_sizeOf( ExpressionNode *expr_node ) {
+        if ( TypeValueNode * arg = dynamic_cast<TypeValueNode *>( expr_node ) ) {
+                return new SizeofExpr( arg->get_decl()->buildType() );
+        } else {
+                return new SizeofExpr( maybeBuild<Expression>(expr_node) );
+        } // if
+}
+Expression *build_alignOf( ExpressionNode *expr_node ) {
+        if ( TypeValueNode * arg = dynamic_cast<TypeValueNode *>( expr_node ) ) {
+                return new AlignofExpr( arg->get_decl()->buildType() );
+        } else {
+                return new AlignofExpr( maybeBuild<Expression>(expr_node) );
+        } // if
+}
+Expression *build_offsetOf( TypeValueNode * arg, VarRefNode *member ) {
+        NameExpr *memberExpr = dynamic_cast<NameExpr *>( maybeBuild<Expression>( member ) );
+        assert( memberExpr );
+        return new UntypedOffsetofExpr( arg->get_decl()->buildType(), memberExpr->get_name() );
+}
+
+Expression *build_and_or( ExpressionNode *expr_node1, ExpressionNode *expr_node2, bool kind ) {
+        return new LogicalExpr( notZeroExpr( maybeBuild<Expression>(expr_node1) ), notZeroExpr( maybeBuild<Expression>(expr_node2) ), kind );
+}
+
+Expression *build_opr1( OperatorNode::Type op, ExpressionNode *expr_node ) {
+        std::list<Expression *> args;
+        args.push_back( new AddressExpr( maybeBuild<Expression>(expr_node) ) );
+        return new UntypedExpr( new NameExpr( opName[ op ] ), args );
+}
+Expression *build_opr2( OperatorNode::Type op, ExpressionNode *expr_node1, ExpressionNode *expr_node2 ) {
+        std::list<Expression *> args;
+        args.push_back( maybeBuild<Expression>(expr_node1) );
+        args.push_back( maybeBuild<Expression>(expr_node2) );
+        return new UntypedExpr( new NameExpr( opName[ op ] ), args );
+}
+
+Expression *build_cond( ExpressionNode *expr_node1, ExpressionNode *expr_node2, ExpressionNode *expr_node3 ) {
+        return new ConditionalExpr( notZeroExpr( maybeBuild<Expression>(expr_node1) ), maybeBuild<Expression>(expr_node2), maybeBuild<Expression>(expr_node3) );
+}
+
+Expression *build_comma( ExpressionNode *expr_node1, ExpressionNode *expr_node2 ) {
+        return new CommaExpr( maybeBuild<Expression>(expr_node1), maybeBuild<Expression>(expr_node2) );
+}
+
+CompositeExprNode2::CompositeExprNode2( Expression *expr ) : expr( expr ) {}
+CompositeExprNode2::CompositeExprNode2( const CompositeExprNode2 &other ) : expr( other.expr->clone() ) {}
+CompositeExprNode2::~CompositeExprNode2() { delete expr; }
+void CompositeExprNode2::print( std::ostream &, int indent ) const { assert( false ); }
+void CompositeExprNode2::printOneLine( std::ostream &, int indent ) const { assert( false ); }
+
 
 Expression *CompositeExprNode::build() const {
@@ -323 +406 @@
         } // if
 
-        switch ( op->get_type()) {
-          case OperatorNode::Incr:
-          case OperatorNode::Decr:
-          case OperatorNode::IncrPost:
-          case OperatorNode::DecrPost:
+        switch ( op->get_type() ) {
           case OperatorNode::Assign:
           case OperatorNode::MulAssn:
@@ -339 +418 @@
           case OperatorNode::ERAssn:
           case OperatorNode::OrAssn:
-                // the rewrite rules for these expressions specify that the first argument has its address taken
                 assert( ! args.empty() );
                 args.front() = new AddressExpr( args.front() );
-                break;
-          default:              // do nothing
-                ;
-        } // switch
-
-        switch ( op->get_type() ) {
-          case OperatorNode::Incr:
-          case OperatorNode::Decr:
-          case OperatorNode::IncrPost:
-          case OperatorNode::DecrPost:
-          case OperatorNode::Assign:
-          case OperatorNode::MulAssn:
-          case OperatorNode::DivAssn:
-          case OperatorNode::ModAssn:
-          case OperatorNode::PlusAssn:
-          case OperatorNode::MinusAssn:
-          case OperatorNode::LSAssn:
-          case OperatorNode::RSAssn:
-          case OperatorNode::AndAssn:
-          case OperatorNode::ERAssn:
-          case OperatorNode::OrAssn:
-          case OperatorNode::Plus:
-          case OperatorNode::Minus:
-          case OperatorNode::Mul:
-          case OperatorNode::Div:
-          case OperatorNode::Mod:
-          case OperatorNode::BitOr:
-          case OperatorNode::BitAnd:
-          case OperatorNode::Xor:
-          case OperatorNode::LShift:
-          case OperatorNode::RShift:
-          case OperatorNode::LThan:
-          case OperatorNode::GThan:
-          case OperatorNode::LEThan:
-          case OperatorNode::GEThan:
-          case OperatorNode::Eq:
-          case OperatorNode::Neq:
-          case OperatorNode::Index:
-          case OperatorNode::Range:
           case OperatorNode::UnPlus:
           case OperatorNode::UnMinus:
@@ -388 +427 @@
           case OperatorNode::LabelAddress:
                 return new UntypedExpr( new NameExpr( opName[ op->get_type() ] ), args );
-          case OperatorNode::AddressOf:
-                assert( args.size() == 1 );
-                assert( args.front() );
-
-                return new AddressExpr( args.front() );
-          case OperatorNode::Cast:
-                {
-                        TypeValueNode * arg = dynamic_cast<TypeValueNode *>( get_args());
-                        assert( arg );
-
-                        DeclarationNode *decl_node = arg->get_decl();
-                        ExpressionNode *expr_node = dynamic_cast<ExpressionNode *>( arg->get_link());
-
-                        Type *targetType = decl_node->buildType();
-                        if ( dynamic_cast< VoidType* >( targetType ) ) {
-                                delete targetType;
-                                return new CastExpr( maybeBuild<Expression>(expr_node), maybeBuild< Expression >( get_argName() ) );
-                        } else {
-                                return new CastExpr( maybeBuild<Expression>(expr_node),targetType, maybeBuild< Expression >( get_argName() ) );
-                        } // if
-                }
-          case OperatorNode::FieldSel:
-                {
-                        assert( args.size() == 2 );
-
-                        NameExpr *member = dynamic_cast<NameExpr *>( args.back());
-                        // TupleExpr *memberTup = dynamic_cast<TupleExpr *>( args.back());
-
-                        if ( member != 0 ) {
-                                UntypedMemberExpr *ret = new UntypedMemberExpr( member->get_name(), args.front());
-                                delete member;
-                                return ret;
-                                /* else if ( memberTup != 0 )
-                                   {
-                                   UntypedMemberExpr *ret = new UntypedMemberExpr( memberTup->get_name(), args.front());
-                                   delete member;
-                                   return ret;
-                                   } */
-                        } else
-                                assert( false );
-                }
-          case OperatorNode::PFieldSel:
-                {
-                        assert( args.size() == 2 );
-
-                        NameExpr *member = dynamic_cast<NameExpr *>( args.back());  // modify for Tuples   xxx
-                        assert( member != 0 );
-
-                        UntypedExpr *deref = new UntypedExpr( new NameExpr( "*?" ) );
-                        deref->get_args().push_back( args.front() );
-
-                        UntypedMemberExpr *ret = new UntypedMemberExpr( member->get_name(), deref );
-                        delete member;
-                        return ret;
-                }
-          case OperatorNode::SizeOf:
-                {
-                        if ( TypeValueNode * arg = dynamic_cast<TypeValueNode *>( get_args()) ) {
-                                return new SizeofExpr( arg->get_decl()->buildType());
-                        } else {
-                                return new SizeofExpr( args.front());
-                        } // if
-                }
-          case OperatorNode::AlignOf:
-                {
-                        if ( TypeValueNode * arg = dynamic_cast<TypeValueNode *>( get_args()) ) {
-                                return new AlignofExpr( arg->get_decl()->buildType());
-                        } else {
-                                return new AlignofExpr( args.front());
-                        } // if
-                }
-          case OperatorNode::OffsetOf:
-                {
-                        assert( args.size() == 2 );
-
-                        if ( TypeValueNode * arg = dynamic_cast<TypeValueNode *>( get_args() ) ) {
-                                NameExpr *member = dynamic_cast<NameExpr *>( args.back() );
-                                assert( member != 0 );
-
-                                return new UntypedOffsetofExpr( arg->get_decl()->buildType(), member->get_name() );
-                        } else assert( false );
-                }
+
           case OperatorNode::Attr:
                 {
-                        VarRefNode *var = dynamic_cast<VarRefNode *>( get_args());
+                        VarRefNode *var = dynamic_cast<VarRefNode *>( get_args() );
                         assert( var );
                         if ( ! get_args()->get_link() ) {
                                 return new AttrExpr( maybeBuild<Expression>(var), ( Expression*)0);
-                        } else if ( TypeValueNode * arg = dynamic_cast<TypeValueNode *>( get_args()->get_link()) ) {
-                                return new AttrExpr( maybeBuild<Expression>(var), arg->get_decl()->buildType());
+                        } else if ( TypeValueNode * arg = dynamic_cast<TypeValueNode *>( get_args()->get_link() ) ) {
+                                return new AttrExpr( maybeBuild<Expression>(var), arg->get_decl()->buildType() );
                         } else {
-                                return new AttrExpr( maybeBuild<Expression>(var), args.back());
+                                return new AttrExpr( maybeBuild<Expression>(var), args.back() );
                         } // if
                 }
-          case OperatorNode::Or:
-          case OperatorNode::And:
-                assert( args.size() == 2);
-                return new LogicalExpr( notZeroExpr( args.front() ), notZeroExpr( args.back() ), ( op->get_type() == OperatorNode::And ) );
           case OperatorNode::Cond:
                 {
@@ -497 +451 @@
           case OperatorNode::NCond:
                 throw UnimplementedError( "GNU 2-argument conditional expression" );
-          case OperatorNode::Comma:
-                {
-                        assert( args.size() == 2);
-                        std::list< Expression * >::const_iterator i = args.begin();
-                        Expression *ret = *i++;
-                        while ( i != args.end() ) {
-                                ret = new CommaExpr( ret, *i++ );
-                        }
-                        return ret;
-                }
                 // Tuples
           case OperatorNode::TupleC:
@@ -515 +459 @@
                 }
           default:
-                // shouldn't happen
-                assert( false );
+                assert( ((void)"CompositeExprNode::build", false) );
                 return 0;
         } // switch
@@ -755 +698 @@
 }
 
-
 ExpressionNode *flattenCommas( ExpressionNode *list ) {
         if ( CompositeExprNode *composite = dynamic_cast< CompositeExprNode * >( list ) ) {