Re: Improve DOM's ability to derive equivalences when traversing edges

2017-08-30 Thread Jeff Law
On 08/29/2017 09:42 AM, Christophe Lyon wrote: > On 29 August 2017 at 17:28, Jeff Law wrote: >> On 08/29/2017 03:13 AM, Christophe Lyon wrote: >>> Hi Jeff, >> [ ... ] commit a370df2c52074abbb044d1921a0c7df235758050 Author: law Date: Tue Aug 29 05:03:36 2017 +

Re: Improve DOM's ability to derive equivalences when traversing edges

2017-08-29 Thread Christophe Lyon
On 29 August 2017 at 17:28, Jeff Law wrote: > On 08/29/2017 03:13 AM, Christophe Lyon wrote: >> Hi Jeff, > [ ... ] >>> >>> commit a370df2c52074abbb044d1921a0c7df235758050 >>> Author: law >>> Date: Tue Aug 29 05:03:36 2017 + >>> >>> * tree-ssa-dom.c (edge_info::record_simple_equi

Re: Improve DOM's ability to derive equivalences when traversing edges

2017-08-29 Thread Jeff Law
On 08/29/2017 03:13 AM, Christophe Lyon wrote: > Hi Jeff, [ ... ] >> >> commit a370df2c52074abbb044d1921a0c7df235758050 >> Author: law >> Date: Tue Aug 29 05:03:36 2017 + >> >> * tree-ssa-dom.c (edge_info::record_simple_equiv): Call >> derive_equivalences. >>

Re: Improve DOM's ability to derive equivalences when traversing edges

2017-08-29 Thread Jeff Law
On 08/29/2017 03:13 AM, Christophe Lyon wrote: > Hi Jeff, > > > On 29 August 2017 at 07:07, Jeff Law wrote: >> This is a two part patchkit to improve DOM's ability to derive constant >> equivalences that arise as a result of traversing a particular edge in >> the CFG. >> >> Until now we only all

Re: Improve DOM's ability to derive equivalences when traversing edges

2017-08-29 Thread Christophe Lyon
Hi Jeff, On 29 August 2017 at 07:07, Jeff Law wrote: > This is a two part patchkit to improve DOM's ability to derive constant > equivalences that arise as a result of traversing a particular edge in > the CFG. > > Until now we only allowed a single NAME = NAME|CONST equivalence to be > associat