[PATCH] Fix gcc.dg/tree-ssa/reassoc-19.c testcase

[PATCH] Fix gcc.dg/tree-ssa/reassoc-19.c testcase

[Richard Biener]

Revisiting PR40815, in particular the attached supposedly bad dump
shows:

  D.2021_14 = (unsigned int) rite_2;
  D.2022_9 = (unsigned int) element_5(D);
  D.2023_15 = -D.2022_9;
  D.2024_16 = D.2021_14 + D.2023_15;
  rite_17 = (char *) D.2024_16;

while now we have

  _7 = (sizetype) element_6(D);
  _8 = -_7;
  rite_9 = rite_1 + _8;

which TER will happily forward into the POINTER_PLUS_EXPR.

Thus the following adjusts the dump-scanning to expect exactly
that simplified form.

Tested on x86_64-unknown-linux-gnu, applied.

Richard.

2012-12-18  Richard Biener  <rguenther@suse.de>

	* gcc.dg/tree-ssa/reassoc-19.c: Adjust.

Index: gcc/testsuite/gcc.dg/tree-ssa/reassoc-19.c
===================================================================
--- gcc/testsuite/gcc.dg/tree-ssa/reassoc-19.c	(revision 194578)
+++ gcc/testsuite/gcc.dg/tree-ssa/reassoc-19.c	(working copy)
@@ -1,5 +1,5 @@
 /* { dg-do compile } */
-/* { dg-options "-Os -fdump-tree-reassoc2" } */
+/* { dg-options "-Os -fdump-tree-optimized" } */
 
 /* Slightly changed testcase from PR middle-end/40815.  */
 void bar(char*, char*, int);
@@ -8,14 +8,15 @@ void foo(char* left, char* rite, int ele
   while (left <= rite)
   {
     /* This should expand into
-       D.zzzz = D.zzzz - D.xxxx;
-       and NOT to
-       D.D.yyyy = -D.xxxx; D.zzzz = D.zzzz + D.yyyy;  */
+       _7 = (sizetype) element_6(D);
+       _8 = -_7;
+       rite_9 = rite_1 + _8;  */
     rite -= element;
     bar(left, rite, element);
   }
 }
 
-/* There should be no " + " in the dump.  */
-/* { dg-final { scan-tree-dump-times " \\\+ " 0 "reassoc2" } } */
-/* { dg-final { cleanup-tree-dump "reassoc2" } } */
+/* { dg-final { scan-tree-dump-times "= \\\(sizetype\\\) element" 1 "optimized" } } */
+/* { dg-final { scan-tree-dump-times "= -" 1 "optimized" } } */
+/* { dg-final { scan-tree-dump-times " \\\+ " 1 "optimized" } } */
+/* { dg-final { cleanup-tree-dump "optimized" } } */