Semantic checks refactored extensively. Found and fixed bugs in semanticChecks.c file. Finally, call by reference information is stored in Function argument list, and will reflect in Local Symbol table when arguments are installed

Author: addy689

Main/SILsource1

@@ -1,5 +1,5 @@
 decl
-		integer swap(integer &a,&b);
+		integer swap(integer &a,&b),arr[5];
 enddecl
 
 integer swap(integer &a,&b){
@@ -22,14 +22,14 @@ integer main(){
 	enddecl
 
 	begin
-		read(x);
-		read(y);
+		read(arr[1]);
+		read(arr[2]);
 
-		flg = swap(&x,&y);
+		flg = swap(&arr[1],&arr[2]);
 
 		if(flg==1) then
-			write(x);
-			write(y);
+			write(arr[1]);
+			write(arr[2]);
 		endif;
 
 		return 1;

Main/SIMCode

@@ -0,0 +1,2 @@
+START
+HALT

SILCompiler/LexYaccFiles/SIL.y

@@ -35,13 +35,11 @@
 
 %%
 Prog		:	GDefblock FdefList Mainblock
-				{	printf("DONE");
-					compile($1,$2,$3);
+				{	compile($1,$2,$3);
 					}
 
 			|	GDefblock Mainblock
-				{	printf("DONE");
-					compile($1,NULL,$2);
+				{	compile($1,NULL,$2);
 					}
 
 			;
@@ -190,7 +188,7 @@ ArgId		:	ID
 					}
 
 			|	'&' ID
-				{	$$ = TreeCreate(0,IDALIASARG,$2,0,NULL,NULL,NULL,NULL,line);
+				{	$$ = TreeCreate(0,IDADDRARG,$2,0,NULL,NULL,NULL,NULL,line);
 					}
 
 			;

SILCompiler/codeGen.c

@@ -20,22 +20,29 @@ void funcCodeGen(Tnode *root)
 
 		case FUNCBLOCK		:	gnode = Glookup(root->NAME);
 
-								locneg = 0;
+								locneg = -2;
 								argInstallLocal(gnode->ARGLIST,&Lhead);
 
 								locpos = 0;
+								idstatus = 0;
 								localDecInstall(root->Ptr2,&Lhead);
 
 								fprintf("fp,Label%d:\n",gnode->BINDING);
 								codeGenerate(root->Ptr3);
+								
+								return;
 
-		case MAINBLOCK		:	locpos = -1;
-								localDecInstall(root->Ptr1,&Lhead);
+		case MAINBLOCK		:	fprintf(fp,"MOV SP -1");
+								pushGlobalVar();
 
-								fprintf(fp,"MOV SP %d",maxbind);
 								fprintf(fp,"MOV BP SP");
 								fprintf(fp,"PUSH BP");
 
+								locpos = -1;
+								localDecInstall(root->Ptr1,&Lhead);
+								
+								pushLocalVar(&Lhead);
+								
 								regcnt = 0;
 								codeGenerate(root->Ptr2,&Lhead);
 	}
@@ -56,11 +63,33 @@ void argInstallLocal(ArgStruct *HEAD,struct Lsymbol **Lhead)
 	}
 }
 
-int codeGenerate(Tnode *root)
+void pushAllRegs()
+{
+	int i = 0;
+	
+	while(i <= regcnt)
+	{
+		fprintf(fp,"PUSH R%d\n",i);
+		i++;
+	}
+}
+
+void funcCodeGen(char *NAME)
+{
+	struct Tnode *node;
+	
+	
+	
+	fprintf("fp,Label%d:\n",gnode->BINDING);
+	codeGenerate(node->);
+}
+
+int codeGenerate(Tnode *root,struct Lsymbol **Lhead)
 {
 	int loc,r,r1,r2;
 	int lbl1,lbl2;
 	struct Gsymbol *gnode;
+	struct Lsymbol *lnode;
 
 	if(root==NULL)
 		return;
@@ -72,18 +101,15 @@ int codeGenerate(Tnode *root)
 
 								return;
 
-		case FUNCCALL		:	gnode = Glookup(root->NAME);
-								Arghead = gnode->ARGLIST;
+		case FUNCCALL		:	pushAllRegs();
 
-								struct Lsymbol *Ltable;
-								Ltable = NULL;
+								pushCallParams(root->Ptr1,Lhead);
 
-								if(Arghead != NULL)
-									funcParamInstall(root->Ptr1,Lhead,&Ltable);
+								CALL LABEL 1;
 
-								tempnode = searchFunc(root->NAME,funcroot);
-								return interpreter(tempnode,&Ltable);
+								return;
 
+		//Call by Reference
 		case IDADDR			:	lnode = Llookup(root->NAME,Lhead);
 								gnode = Glookup(root->NAME);
 
@@ -310,3 +336,61 @@ int codeGenerate(Tnode *root)
 								return r;
 	}
 }
+
+void pushGlobalVar()
+{
+	struct Gsymbol *ptr = Ghead;
+	int i;
+	
+	while(ptr)
+	{	
+		if(ptr->SIZE >= 0)
+		{
+			i = 0;
+			do{
+				r = getReg();
+				fprintf(fp,"PUSH R%d\n",r);
+				freeReg();
+			}while(i++ < ptr->SIZE);
+		}
+	
+		ptr = ptr->NEXT;
+	}
+}
+
+void pushLocalVar(&Lhead)
+{
+	struct Lsymbol *ptr = Lhead;
+	
+	while(ptr)
+	{
+		r = getReg();
+		fprintf(fp,"PUSH R%d\n",r);
+		freeReg();
+	
+		ptr = ptr->NEXT;
+	}
+}
+
+/*	Push function call parameters in reverse
+	*/
+void pushCallParams(Tnode *root,struct Lsymbol **Lhead)
+{
+	if(root == NULL)
+		return;
+	
+	switch(root->NODETYPE)
+	{
+		case CONTINUE		:	pushCallParams(root->Ptr2,Lhead);
+								pushCallParams(root->Ptr1,Lhead);
+								break;
+		
+		case FUNCPARAM		:	r1 = codeGenerate(root->Ptr1,Lhead);
+								r2 = getReg();
+								fprintf(fp,"MOV R%d R%d\n",r2,r1);
+								fprintf(fp,"PUSH R%d\n",r2);
+								freeReg();
+								freeReg();
+								break;
+	}
+}

SILCompiler/codeGen.h

@@ -10,5 +10,7 @@
 void funcCodeGen(Tnode *root);
 int argInstallLocal(ArgStruct *Arghead,struct Lsymbol **Lhead);
 int codeGenerate(Tnode *root);
+void pushLocalVar(struct Lsymbol **Lhead);
+void pushGlobalVar();
 
 #endif

SILCompiler/compilerLib.c

@@ -36,6 +36,7 @@ void globalInstall(Tnode *root)
 {
 	struct Gsymbol *gnode;
 	ArgStruct *arg;
+	int typ;
 
 	if(root == NULL)
 		return;
@@ -58,7 +59,7 @@ void globalInstall(Tnode *root)
 
 								if(gnode != NULL)
 								{
-									if(root->TYPE != gnode->TYPE)
+									if(decnode->TYPE != gnode->TYPE)
 										printf("\nSIL:%d: Error: conflicting types for '%s'",root->LINE,root->NAME);
 									else
 										printf("\nSIL:%d: Error: redeclaration of '%s'",root->LINE,root->NAME);
@@ -69,7 +70,12 @@ void globalInstall(Tnode *root)
 								globalInstall(root->ArgList);
 
 								if(gnode == NULL)
+								{
+									if((root->NODETYPE == ARRAYDECL) && (root->VALUE == 0))
+										printf("\nSIL:%d: Warning: size of array '%s' is ZERO",root->LINE,root->NAME);
+									
 									Ginstall(root->NAME,decnode->TYPE,root->VALUE,Arghead);
+								}
 
 								break;
 
@@ -78,13 +84,29 @@ void globalInstall(Tnode *root)
 								globalInstall(root->Ptr2);
 								break;
 
-		case IDALIASARG		:
+		case IDADDRARG		:	typ = returnAddrType(argnode->TYPE);
+								
+								arg = argLookup(root->NAME,Arghead);
+								
+								if(arg != NULL)
+								{
+									if(typ != arg->TYPE)
+										printf("\nSIL:%d: Error: conflicting types for '%s'",root->LINE,root->NAME);
+									else
+										printf("\nSIL:%d: Error: redefinition of parameter '%s'",root->LINE,root->NAME);
+									
+									error++;
+								}
+								
+								else argInstall(root->NAME,typ);
+								
+								break;
 
 		case IDARG			:	arg = argLookup(root->NAME,Arghead);
 
 								if(arg != NULL)
 								{
-									if(root->TYPE != arg->TYPE)
+									if(argnode->TYPE != arg->TYPE)
 										printf("\nSIL:%d: Error: conflicting types for '%s'",root->LINE,root->NAME);
 									else
 										printf("\nSIL:%d: Error: redefinition of parameter '%s'",root->LINE,root->NAME);
@@ -167,7 +189,7 @@ struct Gsymbol *Glookup(char *NAME)
 /*	Install an identifier in the global symbol table
 	*/
 void Ginstall(char *NAME,int TYPE,int SIZE,ArgStruct *ARGLIST)
-{	
+{
 	int i;
 	struct Gsymbol *Gnode = malloc(sizeof(struct Gsymbol));
 
@@ -294,6 +316,74 @@ void Gallocate()
 	}
 }
 
+
+/* Returns appropriate type for identifier addresses
+	*/
+int returnAddrType(int TYPE)
+{
+	if(TYPE == INTGR)
+		return INTGRALIAS;
+	
+	else if(TYPE == BOOL)
+		idtype = BOOLALIAS;
+	
+	else return;
+}
+
+
+/*	Lookup an AST function node in the function nodes list (having head *Funchead)
+	*/
+Tnode *funcLookup(char *NAME)
+{
+	FuncStruct *ptr = Funchead;
+	
+	while(ptr)
+	{
+		if(!strcmp(ptr->FUNCNODE->NAME,NAME))
+			return ptr->FUNCNODE;
+		
+		ptr = ptr->NEXT;
+	}
+	
+	return NULL;
+}
+
+
+/*	Add an AST function node to the function nodes list (having head *Funclist)
+	*/
+void addToFuncList(Tnode *root)
+{
+	Tnode *func;
+	
+	func = funcLookup(root->NAME);
+	
+	if(func != NULL)
+	{
+		if(func->TYPE != root->Ptr1->TYPE)
+			printf("\nSIL:%d: Error: conflicting types for function '%s'",root->LINE,root->NAME);
+		else
+			printf("\nSIL:%d: Error: redefinition of function '%s'",root->LINE,root->NAME);
+		
+		error++;
+	}
+	
+	else funcInstall(root);
+}
+
+
+/*	Install AST function node in function nodes list (having head *Funclist)
+	*/
+void funcInstall(Tnode *func)
+{
+	FuncStruct *Node = malloc(sizeof(FuncStruct));
+	
+	Node->FUNCNODE = func;
+	
+	Node->NEXT = Funchead;
+	Funchead = Node;
+}
+
+
 int getPositiveLoc()
 {
 	++locpos;