repos/rhope: cbackend.rhope comparison

comparison cbackend.rhope @ 64:e1fd6d244f14

Some progress on updating C backend to work with new C strategy

author	Mike Pavone <pavone@retrodev.com>
date	Sun, 30 May 2010 17:34:36 -0400
parents	243d013a49cb
children	1db811fa4744

comparison

equal deleted inserted replaced

-:04baa003de5a
+:e1fd6d244f14
 	Field Registry
 	Type Registry
 	Constants
 	Input Types
 	Output Types
+	Resume Index
 }
 C Function[name,inputs,outputs,convention:out]
 {
 	out <- C Function With Registry[name,inputs,outputs,convention, C Method Registry[], C Field Registry[], C Type Registry[]]
 }
 C Function With Registry[name,inputs,outputs,convention,registry,field reg,type reg:out]
 {
-	out <- [[[[[[[[[[[[Build["C Function"]
+	out <- [[[[[[[[[[[[[Build["C Function"]
 		]Name <<[name]
 		]Inputs <<[inputs]
 		]Outputs <<[outputs]
 		]Convention <<[convention]
 		]Variables <<[Dictionary[]]
 		]Field Registry <<[field reg]
 		]Type Registry <<[type reg]
 		]Constants <<[Dictionary[]]
 		]Input Types <<[ Fold[["Append"]Set Input[1, "Any Type"], (), inputs] ]
 		]Output Types <<[ Fold[["Append"]Set Input[1, "Any Type"], (), outputs] ]
+		]Resume Index <<[1]
 }
 Set Input Type@C Function[func,type,input num:out]
 {
 	out <- [func]Input Types <<[ [[func]Input Types >>]Set[input num, type] ]
 	out <- [func]Add Statement[ [[[dest]Append[" = ((char *)"]]Append[source]]Append[")+ sizeof(t_Array)"] ]
 }
 _Function Arg C[func,val,inputnum:out]
 {
-	out <- [func]Add Statement[
+	out <- [func]Add Raw Line[
-		[[["call->params["
+		[[[["SetParam("
 		]Append[inputnum]
-		]Append["] = "]
+		]Append[", "]
 		]Append[val]
+		]Append[")"]
 	]
 }
 Method Call@C Function[func,method,args:out]
 {
-	out <- [func]Func Base[[[func]Method Registry >>]Method ID[method],args, "MCall"]
+	out <- [func]Call[method,args]
 }
 Call@C Function[func,name,args:out]
 {
 	out <- [func]Func Base[Escape Rhope Name[name],args, "Call"]
 }
 Func Base@C Function[func,tocall,args,type:out]
 {
-	Pretty Print[args, ""]
-	{
 	rargs <- Map[args, ["Make Op"]Set Input[1, func]]
-	out <- [Fold["_Function Arg C", func, rargs]
+	out <- [[Fold["_Function Arg C", [func]Add Raw Line[ [["PrepCall("]Append[[rargs]Length]]Append[")"] ], rargs]
-	]Add Raw Line[[[[[ [type]Append["("] ]Append[tocall]]Append[", "]]Append[ [rargs]Length ]]Append[")"]]
+	]Add Raw Line[
-	}
+		[[[[[[[[[type]Append["("]
+		]Append[tocall]
+		]Append[", "]
+		]Append[[rargs]Length]
+		]Append[", "]
+		]Append[[func]Resume Index >>]
+		]Append[", "]
+		]Append[Escape Rhope Name[[func]Name >>]]
+		]Append[")"]]
+	]Resume Index <<[ [[func]Resume Index >>]+[1] ]
 }
 Call Foreign@C Function[func,name,language,args,store result:out]
 {
 	rargs <- Map[args, ["Make Op"]Set Input[1, func]]
 	}{
 		out <- text
 	}
 }
+_Dispatch Switch Sub[text, num, name:out]
+{
+	out <- [[[[[[[[[text
+		]Append["\tcase RES_"]
+		]Append[num]
+		]Append["_"]
+		]Append[name]
+		]Append[": goto r"]
+		]Append[num]
+		]Append["_"]
+		]Append[name]
+		]Append[";\\\n"]
+}
+_Dispatch Switch[text,func,raw name:out]
+{
+	name <- Escape Rhope Name[raw name]
+	out <- [[text]Append[ [[[["\tcase FUNC_"]Append[name]]Append[": goto f_"]]Append[name]]Append[";\\\n"] ]
+		]Append[Fold[["_Dispatch Switch Sub"]Set Input[2, name], "", Range[1, [func]Resume Index >>]]]
+}
+_Dispatch Enum Sub[text, num, name:out]
+{
+	out <- [[[[[text
+		]Append["\tRES_"]
+		]Append[num]
+		]Append["_"]
+		]Append[name]
+		]Append[",\n"]
+}
+_Dispatch Enum[text,func,raw name:out]
+{
+	name <- Escape Rhope Name[raw name]
+	out <- [[text]Append[ [["\tFUNC_"]Append[name]]Append[",\n"] ]
+		]Append[Fold[["_Dispatch Enum Sub"]Set Input[2, name], "", Range[1, [func]Resume Index >>]]]
+}
+Dispatch@C Program[program:out]
+{
+	out <- [[[[["typedef enum {\n"
+		]Append[Fold["_Dispatch Enum", "", [program]Functions >>]]
+		]Append["\tEND\n} funcids;\n\n"]
+		]Append["#define DISPATCH switch(func) { \\\n"]
+		]Append[Fold["_Dispatch Switch", "", [program]Functions >>]]
+		]Append["\tcase END: goto DO_END;\\\n}\n\n"]
+}
 Text@C Program[program:out]
 {
 	Print["Text@C Program"]
 	constants <- Fold["Combine Consts", Dictionary[], [program]Functions >>]
 	headers <- "#include <stdio.h>
 #include \"func.h\"
 #include \"integer.h\"
 #include \"blueprint.h\"
 #include \"array.h\"
 #include \"bool.h\"\n\n"
-	out <- [[[[[[[headers
+	out <- [[[[[[[[headers
+		]Append[[program]Dispatch]
 		]Append[[[program]Type Registry >>]Type Defs]
 		]Append[Fold[["_Text C Program"]Set Input[2, [program]Type Registry >>],
 				Fold["_Consts C Program",
 					Fold["_Defs C Program", "", [program]Functions >>],
 					constants
 				], [program]Functions >>]]
-		]Append["#include \"builtin.c\"\n#include \"array.c\"\n\nint main(int argc, char **argv)
+		]Append["\n\nint main(int argc, char **argv)
 {
-	returntype ret;
-	calldata *cdata;
-	context * ct;
-	blueprint * bp;
 	register_builtin_types();\n\n"]
 		]Append[ [[program]Type Registry >>]Type Inits[[program]Method Registry >>, [program]Field Registry >>] ]
 		]Append[Fold[["_Set Consts C Program"]Set Input[3, [program]Type Registry >>], "", constants]]
 		]Append[Fold[["_Set Late Consts C"]Set Input[3, [program]Type Registry >>], "", constants]]
 		]Append["
-	ct = new_context();
+	rhope(FUNC_Main);
-	cdata = alloc_cdata(ct, 0);
-	cdata->num_params = 0;
-	cdata->resume = 0;
-	ret = f_Main(cdata);
-	while(ret == TAIL_RETURN)
-		ret = cdata->tail_func(cdata);
-	if(ret == EXCEPTION_RETURN) {
-		puts(\"Exception!\");
-		return -1;
-	}
 	return 0;
 }\n\n"]
 }

Mercurial > repos > rhope

comparison cbackend.rhope @ 64:e1fd6d244f14