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

2015-08-24 Thread Andreas Schwab
Rainer Orth writes: > Andreas Schwab writes: > >> On ia64 and arm64: >> >> FAIL: g++.dg/tree-ssa/pr61034.C -std=gnu++11 scan-tree-dump-times fre2 >> "free" 10 >> >> $ gcc/xg++ -Bgcc/ ../gcc/testsuite/g++.dg/tree-ssa/pr61034.C -nostdinc++ >> -Iia64-suse-linux/libstdc++-v3/include/ia64-suse-linux

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

2015-08-24 Thread Rainer Orth
Andreas Schwab writes: > On ia64 and arm64: > > FAIL: g++.dg/tree-ssa/pr61034.C -std=gnu++11 scan-tree-dump-times fre2 > "free" 10 > > $ gcc/xg++ -Bgcc/ ../gcc/testsuite/g++.dg/tree-ssa/pr61034.C -nostdinc++ > -Iia64-suse-linux/libstdc++-v3/include/ia64-suse-linux > -Iia64-suse-linux/libstdc++-v3

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

2015-08-16 Thread H.J. Lu
On Wed, Aug 12, 2015 at 7:23 AM, Richard Biener wrote: > On Wed, 12 Aug 2015, Richard Biener wrote: > >> >> This brings FRE/PRE up to the same level as DOM in being able to >> remove redundant conditionals. It does so by inserting temporary >> conditional expressions proved to be true on single p

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

2015-08-13 Thread Andreas Schwab
Richard Biener 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

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

2015-08-13 Thread Richard Biener
On Thu, 13 Aug 2015, Andreas Schwab wrote: > On ia64 and arm64: > > FAIL: g++.dg/tree-ssa/pr61034.C -std=gnu++11 scan-tree-dump-times fre2 > "free" 10 > > $ gcc/xg++ -Bgcc/ ../gcc/testsuite/g++.dg/tree-ssa/pr61034.C -nostdinc++ > -Iia64-suse-linux/libstdc++-v3/include/ia64-suse-linux > -Iia

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

2015-08-13 Thread Andreas Schwab
On ia64 and arm64: FAIL: g++.dg/tree-ssa/pr61034.C -std=gnu++11 scan-tree-dump-times fre2 "free" 10 $ gcc/xg++ -Bgcc/ ../gcc/testsuite/g++.dg/tree-ssa/pr61034.C -nostdinc++ -Iia64-suse-linux/libstdc++-v3/include/ia64-suse-linux -Iia64-suse-linux/libstdc++-v3/include -I../libstdc++-v3/libsupc

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

2015-08-13 Thread Richard Biener
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-sh

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

2015-08-13 Thread Andreas Schwab
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 Andreas. -- Andreas Schwab, SUSE Labs, sch...@suse.de GPG Key fingerprint = 0196 BAD8 1CE9 1

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

2015-08-12 Thread Richard Biener
On Wed, 12 Aug 2015, Richard Biener wrote: > > This brings FRE/PRE up to the same level as DOM in being able to > remove redundant conditionals. It does so by inserting temporary > conditional expressions proved to be true on single predecessor > edges. > > I've had to do a lot of testcase adju

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

2015-08-12 Thread Richard Biener
This brings FRE/PRE up to the same level as DOM in being able to remove redundant conditionals. It does so by inserting temporary conditional expressions proved to be true on single predecessor edges. I've had to do a lot of testcase adjustments, thus the patch is now re-bootstrapping / testing