refs #206: also handle the and masking variant

bebbo · bebbo · commit b6a97eab50f7 · 2023-09-14T12:38:40.000+02:00
diff --git a/gcc/bbb-opts.c b/gcc/bbb-opts.c
@@ -5964,6 +5964,20 @@ opt_shift (void)
 		    }
 		}
 	    }
+	  // there might be an AND
+	  // and.l #255,dy
+	  else if (jj->get_mode() == SImode && jj->get_src_op() == AND
+	      && !jj->is_src_mem())
+	    {
+	      int val = jj->get_src_intval();
+	      if ((val == 255 && mode == QImode) || (val == 65535 && mode == HImode))
+		{
+		  reduce = true;
+		  if (srcop == ASHIFTRT)
+		    srcop = LSHIFTRT;
+		  SET_INSN_DELETED(jj->get_insn());
+		}
+	    }
 	  // move.b ..,dy or move.w ...,dy
 	  else if (jj->get_mode() == mode)
 	    {

Original file line number	Diff line number	Diff line change
`@@ -5964,6 +5964,20 @@ opt_shift (void)`
`5964`	`5964`	`}`
`5965`	`5965`	`}`
`5966`	`5966`	`}`
	`5967`	`+ // there might be an AND`
	`5968`	`+ // and.l #255,dy`
	`5969`	`+ else if (jj->get_mode() == SImode && jj->get_src_op() == AND`
	`5970`	`+ && !jj->is_src_mem())`
	`5971`	`+ {`
	`5972`	`+ int val = jj->get_src_intval();`
	`5973`	`+ if ((val == 255 && mode == QImode) \|\| (val == 65535 && mode == HImode))`
	`5974`	`+ {`
	`5975`	`+ reduce = true;`
	`5976`	`+ if (srcop == ASHIFTRT)`
	`5977`	`+ srcop = LSHIFTRT;`
	`5978`	`+ SET_INSN_DELETED(jj->get_insn());`
	`5979`	`+ }`
	`5980`	`+ }`
`5967`	`5981`	`// move.b ..,dy or move.w ...,dy`
`5968`	`5982`	`else if (jj->get_mode() == mode)`
`5969`	`5983`	`{`