From 459f6f68a75fe88e7c8309ca8ad3244a532b0d8e Mon Sep 17 00:00:00 2001 From: Feng Xue Date: Mon, 1 Jun 2020 11:57:35 +0800 Subject: [PATCH] tree-optimization/94234 - add pattern for ptr-diff on addresses with same offset 2020-08-19 Feng Xue gcc/ PR tree-optimization/94234 * match.pd ((PTR_A + OFF) - (PTR_B + OFF)) -> (PTR_A - PTR_B): New simplification. gcc/testsuite/ PR tree-optimization/94234 * gcc.dg/pr94234-1.c: New test. --- gcc/match.pd | 3 +++ gcc/testsuite/gcc.dg/pr94234-1.c | 15 +++++++++++++++ 2 files changed, 18 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/pr94234-1.c diff --git a/gcc/match.pd b/gcc/match.pd index c3b8816..2cffcae 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -2550,6 +2550,9 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) && tree_int_cst_sign_bit (@2) == 0)) (minus (convert @1) (convert @2))))) (simplify + (pointer_diff (pointer_plus @0 @2) (pointer_plus @1 @2)) + (pointer_diff @0 @1)) + (simplify (pointer_diff (pointer_plus @@0 @1) (pointer_plus @0 @2)) /* The second argument of pointer_plus must be interpreted as signed, and thus sign-extended if necessary. */ diff --git a/gcc/testsuite/gcc.dg/pr94234-1.c b/gcc/testsuite/gcc.dg/pr94234-1.c new file mode 100644 index 0000000..d85563b --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr94234-1.c @@ -0,0 +1,15 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fdump-tree-forwprop1" } */ + +typedef __INTPTR_TYPE__ ssize_t; +typedef __PTRDIFF_TYPE__ ptrdiff_t; + +ptrdiff_t foo (char *a, ssize_t n, ssize_t m) +{ + char *b1 = a + 8 * n; + char *b2 = a + 8 * (n + 1); + + return (b1 + m) - (b2 + m); +} + +/* { dg-final { scan-tree-dump-times "return -8;" 1 "forwprop1" } } */ -- 2.7.4