On Thu, 16 Jul 2015, Andrew MacLeod wrote:
> On 07/16/2015 07:54 AM, Andrew MacLeod wrote:
> > On 07/16/2015 03:27 AM, Richard Biener wrote:
> > > On Wed, 15 Jul 2015, Andrew MacLeod wrote:
> > >
> > > > admittedly neither situation is very common I suspect, but it does seem
> > > > like a
> > >
On 07/16/2015 07:54 AM, Andrew MacLeod wrote:
On 07/16/2015 03:27 AM, Richard Biener wrote:
On Wed, 15 Jul 2015, Andrew MacLeod wrote:
admittedly neither situation is very common I suspect, but it does
seem like a
hidden gotchya waiting to happen.
I guess we either want to checking-assert th
On 07/16/2015 03:27 AM, Richard Biener wrote:
On Wed, 15 Jul 2015, Andrew MacLeod wrote:
admittedly neither situation is very common I suspect, but it does seem like a
hidden gotchya waiting to happen.
I guess we either want to checking-assert that we never hit that
special marker or handle it
On Wed, 15 Jul 2015, Andrew MacLeod wrote:
> On 07/15/2015 03:01 PM, Jeff Law wrote:
> > On 07/14/2015 05:37 AM, Richard Biener wrote:
> > > On Tue, 14 Jul 2015, Richard Biener wrote:
> > >
> > > >
> > > > Applied. The following patch adds the equivalences for the destination
> > > > of use stm
On 07/15/2015 03:01 PM, Jeff Law wrote:
On 07/14/2015 05:37 AM, Richard Biener wrote:
On Tue, 14 Jul 2015, Richard Biener wrote:
Applied. The following patch adds the equivalences for the destination
of use stmts if they simplify.
Actually I can't use FOR_EACH_IMM_USE_STMT any longer becau
On 07/14/2015 05:37 AM, Richard Biener wrote:
On Tue, 14 Jul 2015, Richard Biener wrote:
On Mon, 13 Jul 2015, Jeff Law wrote:
2015-07-13 Richard Biener
* tree-ssa-dom.c (record_temporary_equivalences): Merge
wideing type conversion case from
record_equivalences_from_incomi
On Tue, 14 Jul 2015, Richard Biener wrote:
> On Mon, 13 Jul 2015, Jeff Law wrote:
>
> > > 2015-07-13 Richard Biener
> > >
> > > * tree-ssa-dom.c (record_temporary_equivalences): Merge
> > > wideing type conversion case from
> > > record_equivalences_from_incoming_edge
> > > and use reco
On Mon, 13 Jul 2015, Jeff Law wrote:
> On 07/13/2015 03:32 AM, Richard Biener wrote:
> > On Mon, 13 Jul 2015, Richard Biener wrote:
> >
> > > On Sun, 12 Jul 2015, Jeff Law wrote:
> > >
> > > > On 06/29/2015 01:58 AM, Richard Biener wrote:
> > > > >
> > > > > In principle the following works for
On 07/13/2015 03:32 AM, Richard Biener wrote:
On Mon, 13 Jul 2015, Richard Biener wrote:
On Sun, 12 Jul 2015, Jeff Law wrote:
On 06/29/2015 01:58 AM, Richard Biener wrote:
In principle the following works for the testcase (even w/o fixing
the VRP part).
Index: gcc/tree-ssa-dom.c
==
On 07/13/2015 01:55 AM, Richard Biener wrote:
I *think* these are closely enough related that some code can be factored out
a bit and reused in both r_e_f_i_e and r_t_e to discover both types of
equivalences for DOM and for jump threading.
Indeed - the odd thing here is that one function uses
c
On 07/13/2015 01:47 AM, Richard Biener wrote:
The path duplication to expose redundancies is one of the things I'd like to
get out of a Bodik-esque scheme. One of the things Bodik's work does is
identify the minimal set of blocks that need to be copied to expose each path
specific redundancy th
On Mon, 13 Jul 2015, Richard Biener wrote:
> On Sun, 12 Jul 2015, Jeff Law wrote:
>
> > On 06/29/2015 01:58 AM, Richard Biener wrote:
> > >
> > > In principle the following works for the testcase (even w/o fixing
> > > the VRP part).
> > >
> > > Index: gcc/tree-ssa-dom.c
> > > =
On Sun, 12 Jul 2015, Jeff Law wrote:
> On 06/29/2015 01:58 AM, Richard Biener wrote:
> >
> > In principle the following works for the testcase (even w/o fixing
> > the VRP part).
> >
> > Index: gcc/tree-ssa-dom.c
> > ===
> > --- gcc
On Sat, 11 Jul 2015, Jeff Law wrote:
> On 06/29/2015 04:02 AM, Richard Biener wrote:
> >
> > Ok, the above isn't the correct place (seems to be used from the
> > threading machinery only), but record_equivalences_from_incoming_edge is
> > and that is where the special-case you mention is which ha
On 06/29/2015 01:58 AM, Richard Biener wrote:
In principle the following works for the testcase (even w/o fixing
the VRP part).
Index: gcc/tree-ssa-dom.c
===
--- gcc/tree-ssa-dom.c (revision 225007)
+++ gcc/tree-ssa-dom.c (workin
On 06/29/2015 04:02 AM, Richard Biener wrote:
Ok, the above isn't the correct place (seems to be used from the
threading machinery only), but record_equivalences_from_incoming_edge is
and that is where the special-case you mention is which handles
widening converts but not sign-changes. And yes
On Mon, 29 Jun 2015, Richard Biener wrote:
> On Fri, 26 Jun 2015, Jeff Law wrote:
>
> > On 06/26/2015 03:24 AM, Richard Biener wrote:
> > > On Thu, 25 Jun 2015, Richard Biener wrote:
> > >
> > > >
> > > > This moves fold_sign_changed_comparison. Shows up in gcc.dg/pr55833.c
> > > >
> > > > I'
On Fri, 26 Jun 2015, Jeff Law wrote:
> On 06/26/2015 03:24 AM, Richard Biener wrote:
> > On Thu, 25 Jun 2015, Richard Biener wrote:
> >
> > >
> > > This moves fold_sign_changed_comparison. Shows up in gcc.dg/pr55833.c
> > >
> > > I'll eventually massage it according to Jakubs suggestion to do
On 06/26/2015 03:24 AM, Richard Biener wrote:
On Thu, 25 Jun 2015, Richard Biener wrote:
This moves fold_sign_changed_comparison. Shows up in gcc.dg/pr55833.c
I'll eventually massage it according to Jakubs suggestion to do a
#ifndef HAVE_canonicalize_funcptr_for_compare
#define HAVE_canonic
On Thu, 25 Jun 2015, Richard Biener wrote:
>
> This moves fold_sign_changed_comparison. Shows up in gcc.dg/pr55833.c
>
> I'll eventually massage it according to Jakubs suggestion to do a
>
> #ifndef HAVE_canonicalize_funcptr_for_compare
> #define HAVE_canonicalize_funcptr_for_compare 0
> #endi
On Thu, Jun 25, 2015 at 03:24:33PM +0200, Richard Biener wrote:
>
> This moves fold_sign_changed_comparison. Shows up in gcc.dg/pr55833.c
>
> I'll eventually massage it according to Jakubs suggestion to do a
>
> #ifndef HAVE_canonicalize_funcptr_for_compare
> #define HAVE_canonicalize_funcptr_f
This moves fold_sign_changed_comparison. Shows up in gcc.dg/pr55833.c
I'll eventually massage it according to Jakubs suggestion to do a
#ifndef HAVE_canonicalize_funcptr_for_compare
#define HAVE_canonicalize_funcptr_for_compare 0
#endif
somewhere (defaults.h should work I guess).
Bootstrap an
22 matches
Mail list logo
