From: ceriel <none@none>
Date: Tue, 19 Jun 1990 15:15:37 +0000 (+0000)
Subject: fixed optimizations that were wrong with indexed mode
X-Git-Tag: release-5-5~1674
X-Git-Url: https://git.ndcode.org/public/gitweb.cgi?a=commitdiff_plain;h=9de0c3d92075520e5aac60ac894d3c300ea29826;p=ack.git

fixed optimizations that were wrong with indexed mode
---

diff --git a/mach/vax4/top/table b/mach/vax4/top/table
index 438d09183..923df5fd4 100644
--- a/mach/vax4/top/table
+++ b/mach/vax4/top/table
@@ -19,6 +19,7 @@ REG		{is_register(VAL)};
 SREG		{is_scratchreg(VAL)};
 LAB,LAB2	{VAL[0] == LABEL_STARTER};
 A,B		{no_side_effects(VAL) };
+NO_INDEX	{strindex(VAL, '[') == 0};
 X,Y,LOG		{TRUE};
 
 %%;
@@ -105,18 +106,22 @@ addl2 M_ONE,X			->	decl X;
 subw2 M_ONE,X			->	incw X;
 subl2 M_ONE,X			->	incl X;
 
-bitw $NUM,A : jneq LAB
-	{is_poweroftwo(NUM,LOG)}->	jbs $LOG,A,LAB;
-bitl $NUM,A : jneq LAB
-	{is_poweroftwo(NUM,LOG)}->	jbs $LOG,A,LAB;
-bitw $NUM,A : jeql LAB
-	{is_poweroftwo(NUM,LOG)}->	jbc $LOG,A,LAB;
-bitl $NUM,A : jeql LAB
-	{is_poweroftwo(NUM,LOG)}->	jbc $LOG,A,LAB;
-bitw ONE,A : jneq LAB		->	jlbs A,LAB;
+/* careful! jbs has byte argument, jlbs has long argument, so be very careful
+   with indexed mode
+*/
+bitw $NUM,NO_INDEX : jneq LAB
+	{is_poweroftwo(NUM,LOG)}->	jbs $LOG,NO_INDEX,LAB;
+bitl $NUM,NO_INDEX : jneq LAB
+	{is_poweroftwo(NUM,LOG)}->	jbs $LOG,NO_INDEX,LAB;
+bitw $NUM,NO_INDEX : jeql LAB
+	{is_poweroftwo(NUM,LOG)}->	jbc $LOG,NO_INDEX,LAB;
+bitl $NUM,NO_INDEX : jeql LAB
+	{is_poweroftwo(NUM,LOG)}->	jbc $LOG,NO_INDEX,LAB;
+bitw ONE,NO_INDEX : jneq LAB	->	jlbs NO_INDEX,LAB;
 bitl ONE,A : jneq LAB		->	jlbs A,LAB;
-bitw ONE,A : jneq LAB		->	jlbc A,LAB;
+bitw ONE,NO_INDEX : jneq LAB	->	jlbc NO_INDEX,LAB;
 bitl ONE,A : jneq LAB		->	jlbc A,LAB;
+
 ashl $-NUM,A,REG : bicw2 $~NUM1,REG
 	{is_p2m1(NUM1,LOG)}	->	extzv $NUM,$LOG,A,REG;
 ashl $-NUM,A,REG : bicl2 $~NUM1,REG