From: bal <none@none>
Date: Thu, 19 Jul 1984 11:15:28 +0000 (+0000)
Subject: New implementation of GTO (without register save masks)
X-Git-Tag: release-5-5~6173
X-Git-Url: https://git.ndcode.org/public/gitweb.cgi?a=commitdiff_plain;h=da4092cbdf09e031db43c76cabbe92c6282cf4b8;p=ack.git

New implementation of GTO (without register save masks)
several optimizations added
---

diff --git a/mach/m68k2/cg/table b/mach/m68k2/cg/table
index f016161de..291618abb 100644
--- a/mach/m68k2/cg/table
+++ b/mach/m68k2/cg/table
@@ -160,9 +160,11 @@ MEM_ALL		=  ALL - DATAREG - DATAREG4 - ADDREG - IMMEDIATE - IMMEDIATE4
 ALL_ACCESSIBLE	=  IADDREG + IADDREG4 + IADDREG1 + INDEXED + INDEXED4
 
 ANY1		=  DISPL1 + ABS1 + IADDREG1
-DATA_ALT_1OR2	=  DATA_ALT + ANY1
+DATA_ALT1	=  ANY1
+DATA_ALT_1OR2	=  DATA_ALT + DATA_ALT1
 
 
+REG4		=  DATAREG4 + ADDREG
 DATA4		=  DATAREG4 + IADDREG4 + DISPL4 + INDEXED4 +
 		   ABS4     +  IMMEDIATE4 + DOUBLE
 MEMORY4		=  DATA4 - DATAREG4
@@ -228,15 +230,30 @@ lae | | | {EXTERNAL_ADDR,$1} | |
 /* For the lxl and lxa instructions we assume that the static link
  * (i.e. a pointer to the LB of the lexically enclosing subprogram)
  * is passed as zero-th actual parameter. The distance (in bytes)
- * between LB and the zero-th parameter is the constant 8
+ * between LB and the zero-th parameter is the constant EM_BSIZE
  */
 
 lxl $1 == 0 | | | LB | |
-lxl $1>=1	| STACK | 
-			"move.w #$1,-(sp)"
-			"jsr .lxl"	| A0	| |
-lxa | STACK |		"move.w #$1,-(sp)"
-			"jsr .lxa"	| A0	| |
+lxl $1 == 1 | | | {DISPL4,LB,8} | |
+lxl $1>1    | |
+		allocate(ADDREG,DATAREG = {IMMEDIATE,$1-1})
+		"move.l a6,%[a]"
+		"1:"
+		"move.l 8(%[a]),%[a]"
+		"dbf %[b],1b"
+		erase(%[b])	| %[a] | |
+lxa $1 == 0 | |	
+		allocate(ADDREG = {IMMEDIATE4,8})
+		"add.l a6,%[a]"
+		erase(%[a])		| %[a] | |
+lxa $1 > 0 | |
+		allocate(ADDREG, DATAREG = {IMMEDIATE,$1-1})
+		"move.l a6,%[a]"
+		"1:"
+		"move.l 8(%[a]),%[a]"
+		"dbf %[b],1b"
+		"add.l #8,%[a]"
+		erase(%[b])		| %[a] | |
 loi $1 == 1 | ADDREG | | {IADDREG1, %[1]} | |
 ...	    | nocoercions: LOCAL_ADDR | | {DISPL1,LB,%[1.off]} | |
 ...	    | nocoercions: REGOFF_ADDR | | {DISPL1,%[1.reg],%[1.off]} | |
@@ -599,6 +616,8 @@ ldl ldl adp sdl $1 == $2 && $2 == $4 && inreg($1)==2 | |
 ldl adp sdl $1 == $3  && inreg($1)==2 | |	remove(regvar($1))
 				"add.l #$2,%(regvar($1)%)"	
 				erase(regvar($1))	| | | 
+ldl adp dup sdl loi inreg($1) == 2 && $1 == $4 && $3 == 4 && $5 == 4 | | | |
+			ldl $1 adp $2 sdl $1 ldl $1 loi 4 |
 ldl loi ldl loi adp ldl sti $2==4&&$4==4&&$7==4&&$1==$3&&$1==$6&&inreg($1)==2
 			| |	remove(MEM_ALL)
 				allocate(ADDREG = {IADDREG4,regvar($1)})
@@ -817,12 +836,24 @@ lol ngi stl $1 == $3 && $2 == 4 | |
 loe ngi ste $1 == $3 && $2 == 4 | |
 				remove(MEM_ALL)
 				"neg.l $1"	| | |
-loc sli $1 >= 1 && $1 <= 8 && $2 == 2 | DATASCR |
+loc sli $1 == 1 && $2 == 2 | DATASCR |
+				"add.w %[1],%[1]"
+				erase(%[1])
+				setcc(%[1])		| %[1] | |
+loc sli $1 > 1 && $1 <= 8 && $2 == 2 | DATASCR |
 				"asl.w #$1,%[1]"
 				erase(%[1])		| %[1] | |
-loc sli $1 >= 1 && $1 <= 8 && $2 == 4 | DATASCR4 |
+loc sli $1 == 1 && $2 == 4 | DATASCR4 |
+				"add.l %[1],%[1]"
+				erase(%[1])
+				setcc(%[1])		| %[1] | |
+loc sli $1 > 1 && $1 <= 8 && $2 == 4 | DATASCR4 |
 				"asl.l #$1,%[1]"
 				erase(%[1])		| %[1] | |
+lol loc sli ads inreg($1) == 2 && $2 == 1 && $3 == 2 && $4 == 2 | ADDSCR |
+				"add.w %(regvar($1)%),%[1]"
+				"add.w %(regvar($1)%),%[1]"
+				erase(%[1]) 		| %[1] | |
 lol loc sli stl $1 == $4 && $2 == 1 && $3 == 2 | |
 				remove(MEM_ALL)
 				"asl.w #1, $1(a6)"		| | |
@@ -1241,6 +1272,11 @@ and defined($1) && $1 == 2 | ANY DATASCR |
 				"and %[2],%[1]"
 				setcc(%[1])
 				erase(%[1])		| %[1]  | | (2,2)+%[2]
+lol loc and $2 == 255 && inreg($1) < 2 && $3 == 2 | | | {DISPL1,LB,$1} | |
+lal loi and lal sti $1 == $4 && $2 == 1 && $3 == 2 && $5 == 1 && inreg($1) < 2
+			   | DATAREG |
+				remove(MEM_ALL)
+				"and.b %[1],$1(a6)" | | |
 loc lol and stl $2 == $4 && $3 == 2 && inreg($2) < 2 | |
 				remove(MEM_ALL)
 				"and.w #$1,$2(a6)"	| | |	(6,10)
@@ -1320,6 +1356,10 @@ ior defined($1) && $1 == 2 | ANY DATASCR |
 				"or %[2],%[1]"
 				erase(%[1])
 				setcc(%[1])	| %[1]  | | (2,2)+%[2]
+lal loi ior lal sti $1 == $4 && $2 == 1 && $3 == 2 && $5 == 1 && inreg($1) < 2
+			   | DATAREG |
+				remove(MEM_ALL)
+				"or.b %[1],$1(a6)" | | |
 loc lol ior stl $2 == $4 && $3 == 2 && inreg($2) < 2 | |
 				remove(MEM_ALL)
 				"or.w #$1,$2(a6)"	| | |	(6,10)
@@ -1396,6 +1436,10 @@ xor defined($1) && $1 == 2 | DATAREG DATASCR |
 				"eor %[2],%[1]"
 				erase(%[1])
 				setcc(%[1])	| %[1]  | | (2,2)+%[2]
+lal loi xor lal sti $1 == $4 && $2 == 1 && $3 == 2 && $5 == 1 && inreg($1) < 2
+			   | DATAREG |
+				remove(MEM_ALL)
+				"eor.b %[1],$1(a6)" | | |
 lol loc xor stl $1 == $4 && $3 == 2 | |
 				remove(MEM_ALL)
 				"eor.w #$2,$1(a6)"	| | |  (6,10)
@@ -2029,22 +2073,22 @@ ldc cmi tgt loww(1)==0&&highw(1)==0 | DATA_ALT4 | allocate(DATAREG={IMMEDIATE,1}
 				"clr %[a]"
 				"1:"
 				erase(%[a])	| %[a] | |
-cmi zlt $1==4 | ANY4 DATAREG4 STACK |
+cmi zlt $1==4 | ANY4 REG4 STACK |
 				"cmp.l %[1],%[2]"
 				"blt $2" | | |
-cmi zle $1==4 | ANY4 DATAREG4 STACK |
+cmi zle $1==4 | ANY4 REG4 STACK |
 				"cmp.l %[1],%[2]"
 				"ble $2" | | |
-cmi zeq $1==4 | ANY4 DATAREG4 STACK |
+cmi zeq $1==4 | ANY4 REG4 STACK |
 				"cmp.l %[1],%[2]"
 				"beq $2" | | |
-cmi zne $1==4 | ANY4 DATAREG4 STACK |
+cmi zne $1==4 | ANY4 REG4 STACK |
 				"cmp.l %[1],%[2]"
 				"bne $2" | | |
-cmi zge $1==4 | ANY4 DATAREG4 STACK |
+cmi zge $1==4 | ANY4 REG4 STACK |
 				"cmp.l %[1],%[2]"
 				"bge $2" | | |
-cmi zgt $1==4 | ANY4 DATAREG4 STACK |
+cmi zgt $1==4 | ANY4 REG4 STACK |
 				"cmp.l %[1],%[2]"
 				"bgt $2" | | |
 ldc cmi zlt loww(1)==0&&highw(1)==0 && $2==4 | DATA_ALT4 STACK |
@@ -2290,6 +2334,21 @@ tgt	|	DATA_ALT |	allocate(DATAREG={IMMEDIATE,1})
 /* G R O U P XIII :  B R A N C H   */
 
 bra |  STACK |	"bra $1"	| | |
+/* byte comparisons */
+loc beq  $1 >= 0 && $1 < 256 | nocoercions: DATA_ALT1 |
+				remove(ALL)
+				"cmp.b #$1,%[1]"
+				"beq $2"	| | |
+...			     | DATA_ALT STACK |
+				"cmp #$1,%[1]"
+				"beq $2"	| | |
+loc bne  $1 >= 0 && $1 < 256 | nocoercions: DATA_ALT1 |
+				remove(ALL)
+				"cmp.b #$1,%[1]"
+				"bne $2"	| | |
+...			     | DATA_ALT STACK |
+				"cmp #$1,%[1]"
+				"bne $2"	| | |
 blt |	IMMEDIATE DATA_ALT STACK  |	"cmp %[1],%[2]"
 				"blt $1"	| | |
 ... |	ANY DATAREG STACK |	"cmp %[1],%[2]"
@@ -2527,8 +2586,12 @@ dus $1 == 2 | DATASCR |		remove(ALL)
 exg	| STACK |		"move.w #$1,d0"
 				"jsr .exg"	| | |
 fil | |				"move.l #$1,.filn"  | | |
-gto | STACK |			"pea $1"
-				"jmp .gto" | | |
+gto | STACK |			allocate(ADDREG)
+				"lea $1,%[a]"
+				"move.l 4(%[a]),sp"
+				"move.l 8(%[a]),a6"
+				"move.l (%[a]),%[a]"
+				"jmp (%[a])"	| | |
 lin | |				"move.w #$1,.lino"   | | |
 lni | |				"add.w #1,.lino"  | | |
 mon | STACK | "jsr .mon" | | |
@@ -2537,7 +2600,7 @@ lim | | | {ABS4,".trpim"} | |
 lor $1 == 0 |	|   |  LB | |
 lor $1 == 1 |	STACK |		"move.l sp,-(sp)"	| | |
 lor $1 == 2 | | | {ABS4,".reghp"} | |
-lpb | STACK  |			"jsr .lpb" | A0 | |
+lpb | | | | adp 8 |
 rck $1 == 2 | |			remove(ALL)
 				"jsr .rck"
 						| | |