Lecture 88 - IMplementing goto

compiler.h

@@ -476,6 +476,11 @@ struct node
                 struct vector* cases;
                 bool has_default_case;
             } switch_stmt;
+
+            struct _goto_stmt
+            {
+                struct node* label;
+            } _goto;
         } stmt;
 
 
@@ -600,6 +605,7 @@ bool node_is_value_type(struct node* node);
 
 struct node* struct_node_for_name(struct compile_process* current_process, const char* name);
 
+void make_goto_node(struct node* label_node);
 void make_label_node(struct node* name_node);
 
 void make_continue_node();

node.c

@@ -56,6 +56,11 @@ struct node* node_peek_expressionable_or_null()
     return node_is_expressionable(last_node) ? last_node : NULL;
 }
 
+void make_goto_node(struct node* label_node)
+{
+    node_create(&(struct node){.type=NODE_TYPE_STATEMENT_GOTO, .stmt._goto.label=label_node});
+}
+
 void make_label_node(struct node* name_node)
 {
     node_create(&(struct node){.type=NODE_TYPE_LABEL, .label.name=name_node});

parser.c

@@ -1487,6 +1487,15 @@ void parse_break(struct history* history)
     make_break_node();
 }
 
+void parse_goto(struct history* history)
+{
+    expect_keyword("goto");
+    parse_identifier(history_begin(0));
+    expect_sym(';');
+
+    struct node* label_node = node_pop();
+    make_goto_node(label_node);
+}
 void parse_label(struct history* history)
 {
     expect_sym(':');
@@ -1512,10 +1521,12 @@ void parse_keyword(struct history *history)
     if (S_EQ(token->sval, "break"))
     {
         parse_break(history);
+        return;
     }
     else if(S_EQ(token->sval, "continue"))
     {
         parse_continue(history);
+        return;
     }
     else if (S_EQ(token->sval, "return"))
     {
@@ -1530,19 +1541,30 @@ void parse_keyword(struct history *history)
     else if (S_EQ(token->sval, "for"))
     {
         parse_for_stmt(history);
+        return;
     }
     else if (S_EQ(token->sval, "while"))
     {
         parse_while(history);
+        return;
     }
     else if (S_EQ(token->sval, "do"))
     {
         parse_do_while(history);
+        return;
     }
     else if(S_EQ(token->sval, "switch"))
     {
         parse_switch(history);
+        return;
     }
+    else if(S_EQ(token->sval, "goto"))
+    {
+        parse_goto(history);
+        return;
+    }
+
+    compiler_error(current_process, "Invalid keyword\n");
 }
 
 

test.c

@@ -3,7 +3,7 @@ int main(int x)
    while(1)
    {
        continue;
+       goto abc;
    }
-
    abc:
 }