diff mbox

[2/2] Make SCCVN use conditional equivalences

Message ID mvma8tviiwh.fsf@hawking.suse.de
State New
Headers show

Commit Message

Andreas Schwab Aug. 13, 2015, 10:26 a.m. UTC
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 mbox

Patch

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.  */