Re: [PATCH][2/2] Make SCCVN use conditional equivalences

[Andreas Schwab <schwab@suse.de>]

Richard Biener <rguenther@suse.de> writes:

> On Thu, 13 Aug 2015, Andreas Schwab wrote:
>
>> On m68k:
>> 
>> FAIL: gcc.dg/tree-ssa/vrp33.c scan-tree-dump vrp1 "Folding predicate.*== 1 to 0"
>> 
>> $ gcc/xgcc -B gcc/ ../gcc/testsuite/gcc.dg/tree-ssa/vrp33.c -O2 -fdump-tree-vrp1 -S
>> $ grep -c Folding *.vrp1
>> 0
>
> I suppose for logical-op-non-short-circuit you need -fno-tree-fre for
> that testcase now (which shouldn't harm for other targets).

Yes, that works, and didn't change anything on ia64 or arm64.

Andreas.

	* gcc.dg/tree-ssa/vrp33.c: Add -fno-tree-fre.

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/vrp33.c b/gcc/testsuite/gcc.dg/tree-ssa/vrp33.c
index 8c8879b..75fefa4 100644
--- a/gcc/testsuite/gcc.dg/tree-ssa/vrp33.c
+++ b/gcc/testsuite/gcc.dg/tree-ssa/vrp33.c
@@ -1,5 +1,5 @@
 /* { dg-do compile } */
-/* { dg-options "-O2 -fdump-tree-vrp1" } */
+/* { dg-options "-O2 -fdump-tree-vrp1 -fno-tree-fre" } */
 
 /* This is from PR14052.  */
 
-- 
2.5.0

-- 
Andreas Schwab, SUSE Labs, schwab@suse.de
GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE  1748 E4D4 88E3 0EEA B9D7
"And now for something completely different."