From: ceriel <none@none>
Date: Tue, 30 May 1989 14:32:12 +0000 (+0000)
Subject: transform HOL into BSS so that IL does not get confused
X-Git-Tag: release-5-5~2409
X-Git-Url: https://git.ndcode.org/public/gitweb.cgi?a=commitdiff_plain;h=e6fb294aace11f7627fcc7544d3475d125ea0067;p=ack.git

transform HOL into BSS so that IL does not get confused
---

diff --git a/util/ego/ic/ic.c b/util/ego/ic/ic.c
index 9c3d549e0..a2641cd2c 100644
--- a/util/ego/ic/ic.c
+++ b/util/ego/ic/ic.c
@@ -33,7 +33,8 @@
 
 
 dblock_p	db;
-dblock_p	curhol = (dblock_p) 0;	/* hol block in current scope */
+dblock_p	hol0_db;	/* dblock for ABS block */
+char		*curhol;	/* name of hol block in current scope */
 dblock_p	ldblock;	/* last dblock  */
 proc_p		lproc;		/* last proc    */
 short		tabval;		/* used by table1, table2 and table3 */
@@ -80,10 +81,12 @@ main(argc,argv)
 	lfile = openfile(lname2,"w");
 	pdump = openfile(argv[1],"w");
 	ddump = openfile(argv[2],"w");
+	hol0_db = block_of_lab((char *) 0);
 	while (next_file(argc,argv) != NULL) {
 		/* Read all EM input files, process the code
 		 * and concatenate all output.
 		 */
+		curhol = (char *) 0;
 		process_lines(lfile);
 		dump_procnames(prochash,NPROCHASH,pdump);
 		dump_dblocknames(symhash,NSYMHASH,ddump);
@@ -276,6 +279,7 @@ int readline(instr_out, lnp_out)
 		case PSEU:
 			n = tabval;
 			lnp = inpseudo(n); /* read a pseudo */
+			if (n == ps_hol) n = ps_bss;
 			if (lnp == (line_p) 0)  return DELETED_INSTR;
 			*lnp_out = lnp;
 			lnp->l_instr = n;
@@ -326,7 +330,7 @@ line_p readoperand(instr)
 			   case PAR_G:
 				lnp = newline(OPOBJECT);
 				OBJ(lnp) =
-				  object((char *) 0,(offset) tabval,
+				  object(curhol,(offset) tabval,
 					 opr_size(instr));
 				break;
 			   case PAR_B:
@@ -345,7 +349,7 @@ line_p readoperand(instr)
 			if (flag == PAR_G) {
 				lnp = newline(OPOBJECT);
 				OBJ(lnp) =
-				  object((char *) 0, tabval2,
+				  object(curhol, tabval2,
 					 opr_size(instr));
 				break;
 			}
@@ -388,6 +392,32 @@ line_p readoperand(instr)
 }
 
 
+static char *hol_label()
+{
+	static int holno;
+	line_p lnp;
+	extern char *lastname;
+
+	/* Create a label for a hol pseudo, so that it can be converted
+	 * into a bss. The label is appended to the list of instructions.
+	 */
+
+	sprintf(string, "_HH%d", ++holno);
+	symlookup(string, OCCURRING);		/* to make it exa */
+	db = block_of_lab(string);
+	lnp = newline(OPSHORT);
+	SHORT(lnp) = (short) db->d_id;
+	lnp->l_instr = ps_sym;
+	if (firstline == (line_p) 0) {
+		firstline = lnp;
+	}
+	if (lastline != (line_p) 0) {
+		lastline->l_next = lnp;
+	}
+	lastline = lnp;
+	return lastname;
+}
+
 
 line_p inpseudo(n)
 	short n;
@@ -408,19 +438,27 @@ line_p inpseudo(n)
 
 	switch(n) {
 		case ps_hol:
+			/* hol pseudos are carefully converted into bss
+			 * pseudos, so that the IL phase will not be
+			 * bothered by this. Also, references to the ABS
+			 * block will still work when passed through EGO.
+			 */
+			
+			if (lastline != (line_p) 0 && is_datalabel(lastline)) {
+				curhol = string;
+			}
+			else {
+				curhol = hol_label();
+			}
+			n = ps_bss;
+			/* fall through */			
 		case ps_bss:
 		case ps_rom:
 		case ps_con:
 			if (lastline == (line_p) 0 || !is_datalabel(lastline)) {
-				if (n == ps_hol) {
-				   /* A HOL need not be preceded
-				   * by a label.
-				   */
-				   curhol = db = block_of_lab((char *) 0);
-				} else {
-				   assert(lastline != (line_p) 0);
-				   nlast = INSTR(lastline);
-				   if (n == nlast &&
+				assert(lastline != (line_p) 0);
+				nlast = INSTR(lastline);
+				if (n == nlast &&
 					(n == ps_rom || n == ps_con)) {
 					/* Two successive roms/cons are
 					 * combined into one data block
@@ -432,13 +470,12 @@ line_p inpseudo(n)
 					combine(db,lastline,lnp,pseu);
 					oldline(lnp);
 					return (line_p) 0;
-				   } else {
+				} else {
 				   	error("datablock without label");
-				   }
 				}
 			}
 			VD(db);
-			m = (n == ps_hol || n == ps_bss ? 3 : 0);
+			m = (n == ps_bss ? 3 : 0);
 			lnp = arglist(m);
 			/* Read the arguments, 3 for hol or bss and a list
 			 * of undetermined length for rom and con.
diff --git a/util/ego/ic/ic.h b/util/ego/ic/ic.h
index fa84d0126..30b294ac5 100644
--- a/util/ego/ic/ic.h
+++ b/util/ego/ic/ic.h
@@ -58,7 +58,7 @@ struct num {
 /* Global variables */
 
 extern dblock_p	db;
-extern dblock_p	curhol;		/* hol block in current scope */
+extern dblock_p	hol0_db;		/* ABS block */
 extern dblock_p		ldblock;	/* last dblock processed so  far   */
 extern proc_p		lproc;		/* last proc processed so far  */
 extern short		tabval;		/* used by table1, table2 and table3 */
diff --git a/util/ego/ic/ic_aux.c b/util/ego/ic/ic_aux.c
index 3f1eb747f..39a06b0a7 100644
--- a/util/ego/ic/ic_aux.c
+++ b/util/ego/ic/ic_aux.c
@@ -459,7 +459,7 @@ obj_p object(ident,off,size)
 	 * within the datablock of the given name.
 	 */
 
-	dbl = (ident == (char *) 0 ? curhol : symlookup(ident, OCCURRING));
+	dbl = (ident == (char *) 0 ? hol0_db : symlookup(ident, OCCURRING));
 	VD(dbl);
 	return(make_object(dbl,off,size));
 }
diff --git a/util/ego/ic/ic_io.c b/util/ego/ic/ic_io.c
index 669ec4ae6..81d4b793e 100644
--- a/util/ego/ic/ic_io.c
+++ b/util/ego/ic/ic_io.c
@@ -200,7 +200,7 @@ arch_init(arch)
 
 	infile = arch;
 	n = readshort();
-	if (n != ARMAG) {
+	if (n != (short)ARMAG) {
 		error("wrong archive magic number: %d",n);
 	}
 }
diff --git a/util/ego/ic/ic_lookup.c b/util/ego/ic/ic_lookup.c
index c002ddf2b..30fd2c90b 100644
--- a/util/ego/ic/ic_lookup.c
+++ b/util/ego/ic/ic_lookup.c
@@ -22,6 +22,7 @@
 sym_p symhash[NSYMHASH];
 prc_p prochash[NPROCHASH];
 num_p numhash[NNUMHASH];
+char *lastname;
 
 
 
@@ -131,6 +132,9 @@ dblock_p symlookup(name, status)
 		*spp = sp = newsym();
 		sp->sy_name = (char *) newcore(strlen(name)+1);
 		strcpy(sp->sy_name, name);
+		lastname = sp->sy_name;		/* quick hack to get at
+						   the name
+						*/
 		dp = sp->sy_dblock = newdblock();
 	}
 	if (fdblock == (dblock_p) 0) {