aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKazu Kirata <kazu@gcc.gnu.org>2015-12-13 06:06:12 -0700
committerJeff Law <law@gcc.gnu.org>2015-12-13 06:06:12 -0700
commitdcca1b0510693e6e8c1fac3fef2cde2362772720 (patch)
tree9fe989bae6ce5fb7f6edba2a3b9efe5708b71518
parentd686d8067a3d4ff451a6e55959feb56984f3d8be (diff)
downloadgcc-dcca1b0510693e6e8c1fac3fef2cde2362772720.zip
gcc-dcca1b0510693e6e8c1fac3fef2cde2362772720.tar.gz
gcc-dcca1b0510693e6e8c1fac3fef2cde2362772720.tar.bz2
[PATCH][PR target/19201] Peephole to improve clearing items in structure for m68k
[PATCH][PR target/19201] Peephole to improve clearing items in structure for m68k * config/m68k/m68k.md (load feeding clear byte): New peephole2. * gcc.target/m68k/pr19201.c: New test. From-SVN: r231597
-rw-r--r--gcc/ChangeLog4
-rw-r--r--gcc/config/m68k/m68k.md33
-rw-r--r--gcc/testsuite/ChangeLog2
-rw-r--r--gcc/testsuite/gcc.target/m68k/pr19201.c13
4 files changed, 52 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index eee44a7..730c79f 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2015-12-13 Kazu Kirata <kazu@gcc.gnu.org>
+
+ * config/m68k/m68k.md (load feeding clear byte): New peephole2.
+
2015-12-13 Tom de Vries <tom@codesourcery.com>
* tree-ssa-structalias.c (find_func_clobbers): Handle sizes and kinds
diff --git a/gcc/config/m68k/m68k.md b/gcc/config/m68k/m68k.md
index 1eaf58f..444515a 100644
--- a/gcc/config/m68k/m68k.md
+++ b/gcc/config/m68k/m68k.md
@@ -7601,3 +7601,36 @@
(include "cf.md")
(include "sync.md")
+
+;; Convert
+;;
+;; move.l 4(%a0),%a0
+;; clr.b (%a0,%a1.l)
+;;
+;; into
+;;
+;; add.l 4(%a0),%a1
+;; clr.b (%a1)
+;;
+;; The latter is smaller. It is faster on all models except m68060.
+
+(define_peephole2
+ [(set (match_operand:SI 0 "register_operand" "")
+ (mem:SI (plus:SI (match_operand:SI 1 "register_operand" "")
+ (match_operand:SI 2 "const_int_operand" ""))))
+ (set (mem:QI (plus:SI (match_operand:SI 3 "register_operand" "")
+ (match_operand:SI 4 "register_operand" "")))
+ (const_int 0))]
+ "(optimize_size || !TUNE_68060)
+ && (operands[0] == operands[3] || operands[0] == operands[4])
+ && ADDRESS_REG_P (operands[1])
+ && ADDRESS_REG_P ((operands[0] == operands[3]) ? operands[4] : operands[3])
+ && peep2_reg_dead_p (2, operands[3])
+ && peep2_reg_dead_p (2, operands[4])"
+ [(set (match_dup 5)
+ (plus:SI (match_dup 5)
+ (mem:SI (plus:SI (match_dup 1)
+ (match_dup 2)))))
+ (set (mem:QI (match_dup 5))
+ (const_int 0))]
+ "operands[5] = (operands[0] == operands[3]) ? operands[4] : operands[3];")
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 38d1dbe..3f0862e 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,7 @@
2015-12-13 Jeff Law <law@redhat.com>
+ * gcc.target/m68k/pr19201.c: New test.
+
* gcc.target/m68k/pr63347.c: Remove #include <stdlib> add -w to
command line options.
* gcc.target/m68k/20090709-1.c: Adjust expected output.
diff --git a/gcc/testsuite/gcc.target/m68k/pr19201.c b/gcc/testsuite/gcc.target/m68k/pr19201.c
new file mode 100644
index 0000000..dd81857
--- /dev/null
+++ b/gcc/testsuite/gcc.target/m68k/pr19201.c
@@ -0,0 +1,13 @@
+/* { dg-options "-w -O2 -fomit-frame-pointer" } */
+/* { dg-final { scan-assembler-not "%a.,%\[ad\]..l" } } */
+
+struct X {
+ char *a;
+ /* other members */
+ int b;
+};
+
+void f (struct X *x)
+{
+ x->a[x->b] = 0;
+}