Add cs545

- Added pascal compiler

Author: Ryan Lewis

cs545/pascal/LICENSE

@@ -0,0 +1,9 @@
+License: MIT
+
+Copyright (C) 2012 Ryan Lewis
+
+Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

cs545/pascal/Makefile

@@ -0,0 +1,32 @@
+CC = gcc
+CFLAGS = -g
+#CFLAGS = -g -DPRINT_SYMBOL_TABLE -DPRINT_SYNTAX_TREE
+LEX = flex
+LFLAGS = -l
+YACC = bison
+YFLAGS = -dv
+LIBS = -ll -ly
+HEADERS = scope.h tree.h symtab.h decl_list.h arg_list.h semantics.h gencode.h type.h
+SOURCES = scope.c tree.c symtab.c decl_list.c arg_list.c semantics.c gencode.c
+OBJECTS = pascal.tab.o lex.yy.o scope.o tree.o symtab.o decl_list.o arg_list.o semantics.o gencode.o
+BINARY = pascal
+
+all: pascal.tab.c lex.yy.c $(SOURCES) $(BINARY)
+
+$(BINARY): $(OBJECTS)
+	$(CC) $(CFLAGS) $(OBJECTS) -o $(BINARY) $(LIBS)
+
+.c.o:
+	$(CC) $(CFLAGS) -c $<
+
+pascal.tab.c: pascal.y
+	$(YACC) $(YFLAGS) pascal.y
+
+lex.yy.c: pascal.lex
+	$(LEX) $(LFLAGS) pascal.lex
+
+tar:
+	tar -cvf pascal.tar Makefile pascal.lex pascal.y test_files $(HEADERS) $(SOURCES)
+
+clean:
+	rm -f pascal.tab.* lex.yy.* *.o pascal.output $(BINARY)

cs545/pascal/README

@@ -0,0 +1,32 @@
+Ryan Lewis
+CS545
+Pascal Compiler
+--------------------
+
+0. Building and Running:
+   * Note: This was tested in Mac OS X 10.6.7 with GCC 4.2.1
+           I couldn't get the assembly to work in x86 Ubuntu... maybe you'll
+           have better luck?
+   * Note: There are two debug flags that can be enabled in the Makefile:
+     ** PRINT_SYNTAX_TREE: will print the syntax tree for each BEGIN-END block
+     ** PRINT_SYMBOL_TABLE: will print the symbol table in each scope
+   - run `make`
+   - run `./pascal < program.p > output.s`
+
+1. Test Files:
+   - In test_files folder
+     - ifthen.p: tests if-then-else support, nested statments, write()
+     - example.p: tests function calls, expressions, write()
+     - boo.p: the sample file that you made when I was demoing it for you
+   - *.s files in there are example assembly output in case it doesn't compile
+
+2. Limitations:
+   - No loop support
+   - No real support
+   - No array (int or real) support
+   - No non-local access
+   - No expr_gencode() panic mode support
+   - No read (scanf) support
+   - Saving register states will save all values of all registers,not just
+     those that were used.
+   - Maximum number of scopes is static (upper bound of 10), not dynamic

cs545/pascal/arg_list.c

@@ -0,0 +1,117 @@
+#include <stdio.h>
+#include <stdlib.h>
+#include "arg_list.h"
+
+/* Free argument list */
+void arg_destroy(arg_elem *head) {
+  if (head == NULL)
+    return;
+
+  fprintf(stderr, "destroying arg_head\n");
+
+  arg_elem *curr, *tmp;
+
+  curr = head->next;
+  head->next = NULL;
+
+  while (curr != NULL) {
+    tmp = curr->next;
+    free(curr);
+    curr = tmp;
+  }
+}
+
+/* Append to the end of an argument list */
+arg_elem *arg_append(arg_elem *head, symtab_type type) {
+  arg_elem *tmp;
+
+  if (head == NULL) {
+    //fprintf(stderr, "head is null\n");
+    if ((head = (arg_elem *) malloc(sizeof(arg_elem))) == NULL) {
+      printf("could not malloc\n");
+      exit(1);
+    }
+
+    head->type = type;
+    head->next = head;
+  }
+  else {
+    //fprintf(stderr, "entered else, name = %s\n", name);
+    tmp = head;
+
+    while (tmp->next != head)
+      tmp = tmp->next;
+
+    if ((tmp->next = (arg_elem *)malloc(sizeof(arg_elem))) == NULL) {
+      printf("coul not malloc\n");
+      exit(1);
+    }
+
+    tmp = tmp->next;
+    tmp->type = type;
+    tmp->next = head;
+  }
+
+  //fprintf(stderr, "head->name before return: %s\n", head->name);
+
+  return head;
+}
+
+/* Return the number of elements in a given list.
+   Used for funciton/procedure semantics. */
+int arg_list_size(arg_elem *head) {
+  arg_elem *data = head;
+  int size = 0;
+
+  if (data != NULL) {
+    do {
+      size++;
+
+      data = data->next;
+    }
+    while (data != head);
+  }
+  else
+    fprintf(stderr, "print_arg_list: data is null\n");
+
+  return size;
+}
+
+/* Returns zero if there are no differences in two argument lists
+   Used for function/procedure semantics */
+int arg_list_compare(arg_elem *one, arg_elem *two) {
+  arg_elem *data_one = one, *data_two = two;
+  int diff = 0;
+
+  if (one == NULL || two == NULL)
+    error("arg_list_compare: null comparison");
+
+  do {
+    //fprintf(stderr, "compare: one: %d, two: %d\n", data_one->type, data_two->type);
+    if (data_one->type != data_two->type)
+      diff++;
+
+    data_one = data_one->next;
+    data_two = data_two->next;
+  }
+  while (data_one != one);
+
+  return diff;
+}
+
+/* Print an argument list (for debugging) */
+void print_arg_list(arg_elem *head) {
+  arg_elem *data = head;
+
+  if (data != NULL) {
+    do {
+      fprintf(stderr, "arg_list, type: %d\n", data->type);
+
+      data = data->next;
+    }
+    while (data != head);
+  }
+  else
+    fprintf(stderr, "print_arg_list: data is null\n");
+
+}

cs545/pascal/arg_list.h

@@ -0,0 +1,24 @@
+#ifndef ARG_LIST_H
+#define ARG_LIST_H
+
+#include "type.h"
+
+/*
+ * Argument Type List
+ *
+ * A linked list of symbol table types.
+ */
+typedef struct arg_elem_s {
+  symtab_type type;
+
+  struct arg_elem_s *next;
+} arg_elem;
+
+void arg_destroy(arg_elem *head);
+arg_elem *arg_append(arg_elem *head, symtab_type type);
+int arg_list_size(arg_elem *head);
+int arg_list_compare(arg_elem *one, arg_elem *two);
+
+void print_arg_list(arg_elem *head);
+
+#endif

cs545/pascal/decl_list.c

@@ -0,0 +1,58 @@
+#include <stdio.h>
+#include <stdlib.h>
+#include "decl_list.h"
+
+/*
+ * Code here is functionally equivalent to arg_elem.c
+ */
+void decl_destroy(decl_elem *head) {
+  if (head == NULL)
+    return;
+
+  decl_elem *curr, *tmp;
+
+  curr = head->next;
+  head->next = NULL;
+
+  while (curr != NULL) {
+    tmp = curr->next;
+    free(curr);
+    curr = tmp;
+  }
+}
+
+
+decl_elem *decl_append(decl_elem *head, char *name) {
+  decl_elem *tmp;
+
+  if (head == NULL) {
+    //fprintf(stderr, "head is null\n");
+    if ((head = (decl_elem *) malloc(sizeof(decl_elem))) == NULL) {
+      printf("could not malloc\n");
+      exit(1);
+    }
+
+    head->name = name;
+    head->next = head;
+  }
+  else {
+    //fprintf(stderr, "entered else, name = %s\n", name);
+    tmp = head;
+
+    while (tmp->next != head)
+      tmp = tmp->next;
+
+    if ((tmp->next = (decl_elem *)malloc(sizeof(decl_elem))) == NULL) {
+      printf("coul not malloc\n");
+      exit(1);
+    }
+
+    tmp = tmp->next;
+    tmp->name = name;
+    tmp->next = head;
+  }
+
+  //fprintf(stderr, "head->name before return: %s\n", head->name);
+
+  return head;
+}

cs545/pascal/decl_list.h

@@ -0,0 +1,22 @@
+#ifndef DECL_LIST_H
+#define DECL_LIST_H
+
+/*
+ * Declaration List
+ *
+ * A linked list of declared variable names
+ *
+ * Code here is functionally equivalent to arg_elem.h, this just keeps
+ * track of a name rather than a type
+ */
+typedef struct decl_elem_s {
+  char *name;
+
+  struct decl_elem_s *next;
+} decl_elem;
+
+//void decl_init(decl_elem *d);
+void decl_destroy(decl_elem *head);
+decl_elem *decl_append(decl_elem *head, char *name);
+
+#endif