Changeset 7f5566b for src/Parser/parser.yy

Timestamp:

Jul 30, 2015, 3:56:18 PM (9 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

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

Children:

093f1a0

Parents:

51b986f

Message:

asm statement, memory leaks

File:

• src/Parser/parser.yy (modified) (11 diffs)

src/Parser/parser.yy

@@ -10 +10 @@
 // Created On       : Sat Sep  1 20:22:55 2001
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Jul 16 16:25:12 2015
-// Update Count     : 1267
+// Last Modified On : Thu Jul 30 15:29:19 2015
+// Update Count     : 1327
 // 
 
@@ -115 +115 @@
         StatementNode *sn;
         ConstantNode *constant;
+        LabelNode *label;
         InitializerNode *in;
+        bool flag;
 }
 
@@ -134 +136 @@
 %type<en> argument_expression_list              argument_expression                     for_control_expression          assignment_opt
 %type<en> subrange
+%type<en> asm_operands_opt asm_operands_list asm_operand
+%type<label> label_list
+%type<constant> asm_clobbers_list_opt
+%type<flag> asm_volatile_opt
 
 // statements
@@ -378 +384 @@
         | assignment_expression
         | no_attr_identifier ':' assignment_expression
-                { $$ = $3->set_asArgName( $1 ); }
+                { $$ = $3->set_argName( $1 ); }
                 // Only a list of no_attr_identifier_or_type_name is allowed in this context. However, there is insufficient
                 // look ahead to distinguish between this list of parameter names and a tuple, so the tuple form must be used
                 // with an appropriate semantic check.
         | '[' push assignment_expression pop ']' ':' assignment_expression
-                { $$ = $7->set_asArgName( $3 ); }
+                { $$ = $7->set_argName( $3 ); }
         | '[' push assignment_expression ',' tuple_expression_list pop ']' ':' assignment_expression
-                { $$ = $9->set_asArgName( new CompositeExprNode( new OperatorNode( OperatorNode::TupleC ), (ExpressionNode *)$3->set_link( flattenCommas( $5 )))); }
+                { $$ = $9->set_argName( new CompositeExprNode( new OperatorNode( OperatorNode::TupleC ), (ExpressionNode *)$3->set_link( flattenCommas( $5 )))); }
         ;
 
@@ -754 +760 @@
 
 fall_through:                                                                                   // CFA
-        FALLTHRU                                                                        { $$ = new StatementNode( StatementNode::Fallthru, 0, 0 ); }
-        | FALLTHRU ';'                                                          { $$ = new StatementNode( StatementNode::Fallthru, 0, 0 ); }
+        FALLTHRU                                                                        { $$ = new StatementNode( StatementNode::Fallthru ); }
+        | FALLTHRU ';'                                                          { $$ = new StatementNode( StatementNode::Fallthru ); }
         ;
 
@@ -783 +789 @@
         | CONTINUE ';'
                 // A semantic check is required to ensure this statement appears only in the body of an iteration statement.
-                { $$ = new StatementNode( StatementNode::Continue, 0, 0 ); }
+                { $$ = new StatementNode( StatementNode::Continue ); }
         | CONTINUE no_attr_identifier ';'                                       // CFA, multi-level continue
                 // A semantic check is required to ensure this statement appears only in the body of an iteration statement, and
@@ -790 +796 @@
         | BREAK ';'
                 // A semantic check is required to ensure this statement appears only in the body of an iteration statement.
-                { $$ = new StatementNode( StatementNode::Break, 0, 0 ); }
+                { $$ = new StatementNode( StatementNode::Break ); }
         | BREAK no_attr_identifier ';'                                          // CFA, multi-level exit
                 // A semantic check is required to ensure this statement appears only in the body of an iteration statement, and
@@ -800 +806 @@
                 { $$ = new StatementNode( StatementNode::Throw, $2, 0 ); }
         | THROW ';'
-                { $$ = new StatementNode( StatementNode::Throw, 0, 0 ); }
+                { $$ = new StatementNode( StatementNode::Throw ); }
         ;
 
@@ -863 +869 @@
 
 asm_statement:
-        ASM type_qualifier_list_opt '(' constant_expression ')' ';'
-                { $$ = new StatementNode( StatementNode::Asm, 0, 0 ); }
-        | ASM type_qualifier_list_opt '(' constant_expression ':' asm_operands_opt ')' ';' // remaining GCC
-                { $$ = new StatementNode( StatementNode::Asm, 0, 0 ); }
-        | ASM type_qualifier_list_opt '(' constant_expression ':' asm_operands_opt ':' asm_operands_opt ')' ';'
-                { $$ = new StatementNode( StatementNode::Asm, 0, 0 ); }
-        | ASM type_qualifier_list_opt '(' constant_expression ':' asm_operands_opt ':' asm_operands_opt ':' asm_clobbers_list ')' ';'
-                { $$ = new StatementNode( StatementNode::Asm, 0, 0 ); }
+        ASM asm_volatile_opt '(' string_literal_list ')' ';'
+                { $$ = new AsmStmtNode( StatementNode::Asm, $2, $4, 0 ); }
+        | ASM asm_volatile_opt '(' string_literal_list ':' asm_operands_opt ')' ';' // remaining GCC
+                { $$ = new AsmStmtNode( StatementNode::Asm, $2, $4, $6 ); }
+        | ASM asm_volatile_opt '(' string_literal_list ':' asm_operands_opt ':' asm_operands_opt ')' ';'
+                { $$ = new AsmStmtNode( StatementNode::Asm, $2, $4, $6, $8 ); }
+        | ASM asm_volatile_opt '(' string_literal_list ':' asm_operands_opt ':' asm_operands_opt ':' asm_clobbers_list_opt ')' ';'
+                { $$ = new AsmStmtNode( StatementNode::Asm, $2, $4, $6, $8, $10 ); }
+        | ASM asm_volatile_opt GOTO '(' string_literal_list ':' ':' asm_operands_opt ':' asm_clobbers_list_opt ':' label_list ')' ';'
+        { $$ = new AsmStmtNode( StatementNode::Asm, $2, $5, 0, $8, $10, $12 ); }
+        ;
+
+asm_volatile_opt:                                                                               // GCC
+        // empty
+                { $$ = false; }
+        | VOLATILE
+                { $$ = true; }
         ;
 
 asm_operands_opt:                                                                               // GCC
         // empty
+                { $$ = 0; }                                                                             // use default argument
         | asm_operands_list
         ;
@@ -881 +897 @@
         asm_operand
         | asm_operands_list ',' asm_operand
+                { $$ = (ExpressionNode *)$1->set_link( $3 ); }
         ;
 
 asm_operand:                                                                                    // GCC
-        STRINGliteral '(' constant_expression ')'       {}
-        ;
-
-asm_clobbers_list:                                                                              // GCC
-        STRINGliteral                                                           {}
-        | asm_clobbers_list ',' STRINGliteral
+        string_literal_list '(' constant_expression ')'
+                { $$ = new AsmExprNode( 0, $1, $3 ); }
+        | '[' constant_expression ']' string_literal_list '(' constant_expression ')'
+                { $$ = new AsmExprNode( $2, $4, $6 ); }
+        ;
+
+asm_clobbers_list_opt:                                                                          // GCC
+        // empty
+                { $$ = 0; }                                                                             // use default argument
+        | string_literal_list
+                { $$ = $1; }
+        | asm_clobbers_list_opt ',' string_literal_list
+                { $$ = (ConstantNode *)$1->set_link( $3 ); }
+        ;
+
+label_list:
+        no_attr_identifier
+                { $$ = new LabelNode(); $$->append_label( $1 ); }
+        | label_list ',' no_attr_identifier
+                { $$ = $1; $1->append_label( $3 ); }
         ;
 
@@ -929 +960 @@
 
 label_list:                                                                                             // GCC, local label
-        no_attr_identifier_or_type_name                 {}
+        no_attr_identifier_or_type_name                         {}
         | label_list ',' no_attr_identifier_or_type_name {}
         ;