Project Ranger Status

2020-07-24 Thread Andrew MacLeod via Gcc
We originally intended to start pushing ranger code into trunk shortly after the start of stage 1, but of course.. delays, delays :-) So here is the latest status/changes since last fall and our proposed time-line going forward.  I'll do the executive summary here, and more details at each sub

Project Ranger Update

2019-11-07 Thread Andrew MacLeod
With the end of stage 1 approaching, I figure its time for an update on project Ranger. range-ops was integrated with trunk on Oct 2, all ranges are generated now using this component. GORI-computes was the other piece we were hoping to get in. This component is "Generates Outgoing

Re: Project Ranger

2018-06-05 Thread Andrew MacLeod
On 06/04/2018 11:21 AM, Richard Biener wrote: On Mon, Jun 4, 2018 at 5:17 PM Richard Biener wrote:> On Fri, Jun 1, 2018 at 10:38 PM Andrew MacLeod wrote: On 06/01/2018 05:48 AM, Richard Biener wrote: On Wed, May 30, 2018 at 1:53 AM Andrew MacLeod wrote: bah, gmail now completely mangles qu

Re: Project Ranger

2018-06-05 Thread Andrew MacLeod
On 06/04/2018 11:17 AM, Richard Biener wrote: It wont be perfect however as many of those routines are written with the assumption that ranges are either a single range or an anti range. we no longer have that restriction and we will diverge in those cases. But having 1 single range or N ran

Re: Project Ranger

2018-06-04 Thread Richard Biener
On Mon, Jun 4, 2018 at 5:17 PM Richard Biener wrote:> > On Fri, Jun 1, 2018 at 10:38 PM Andrew MacLeod wrote: > > > > On 06/01/2018 05:48 AM, Richard Biener wrote: > > > > On Wed, May 30, 2018 at 1:53 AM Andrew MacLeod wrote: > > bah, gmail now completely mangles quoting :/ Ah no, you sent a mu

Re: Project Ranger

2018-06-04 Thread Richard Biener
On Fri, Jun 1, 2018 at 10:38 PM Andrew MacLeod wrote: > > On 06/01/2018 05:48 AM, Richard Biener wrote: > > On Wed, May 30, 2018 at 1:53 AM Andrew MacLeod wrote: bah, gmail now completely mangles quoting :/ > > This allows queries for a range on an edge, on entry to a block, as an > operand on

Re: Project Ranger

2018-06-01 Thread Andrew MacLeod
On 06/01/2018 05:48 AM, Richard Biener wrote: On Wed, May 30, 2018 at 1:53 AM Andrew MacLeod wrote: This allows queries for a range on an edge, on entry to a block, as an operand on an specific statement, or to calculate the range of the result of a statement. There are no prerequisites to us

Re: Project Ranger

2018-06-01 Thread Richard Biener
On Wed, May 30, 2018 at 1:53 AM Andrew MacLeod wrote: > > I'd like to introduce a project we've been working on for the past year > an a half. > > The original project goal was to see if we could derived accurate range > information from the IL without requiring much effort on the client > side. T

Re: Project Ranger

2018-06-01 Thread Eric Botcazou
> First, we'll collect the cases that demonstrate a unique situation we > care about. I have 4 very specific case that show current > shortcomings.. Not just with the Ranger, but a couple we don't handle > with VRP today. .. I'll eventually get those put onto the wiki so the > list can be updated.

Re: Project Ranger

2018-05-30 Thread Aldy Hernandez
On 05/30/2018 10:51 AM, Andreas Schwab wrote: On Mai 30 2018, David Malcolm wrote: On Tue, 2018-05-29 at 19:53 -0400, Andrew MacLeod wrote: [...snip...] The code is located on an svn branch *ssa-range*. It is based on trunk at revision *259405***circa mid April 2018. Is this svn branc

Re: Project Ranger

2018-05-30 Thread Andreas Schwab
On Mai 30 2018, David Malcolm wrote: > On Tue, 2018-05-29 at 19:53 -0400, Andrew MacLeod wrote: > > [...snip...] > >> The code is located on an svn branch *ssa-range*. It is based on >> trunk >> at revision *259405***circa mid April 2018. > > Is this svn branch mirrored on gcc's git mirror? I

Re: Project Ranger

2018-05-30 Thread Andrew MacLeod
On 05/30/2018 10:39 AM, David Malcolm wrote: On Tue, 2018-05-29 at 19:53 -0400, Andrew MacLeod wrote: [...snip...] The code is located on an svn branch *ssa-range*. It is based on trunk at revision *259405***circa mid April 2018. Is this svn branch mirrored on gcc's git mirror? I tried to c

Re: Project Ranger

2018-05-30 Thread David Malcolm
On Tue, 2018-05-29 at 19:53 -0400, Andrew MacLeod wrote: [...snip...] > The code is located on an svn branch *ssa-range*. It is based on > trunk > at revision *259405***circa mid April 2018. Is this svn branch mirrored on gcc's git mirror? I tried to clone it from there, but failed. [...sni

Re: Project Ranger

2018-05-30 Thread Andrew MacLeod
On 05/30/2018 03:41 AM, Eric Botcazou wrote: The Ranger is far enough along now that we have confidence in both its approach and ability to perform, and would like to solicit feedback on what you think of it, any questions, possible uses, as well as potential requirements to integrate with trun

Re: Project Ranger

2018-05-30 Thread Eric Botcazou
> The Ranger is far enough along now that we have confidence in both its > approach and ability to perform, and would like to solicit feedback on > what you think of it, any questions, possible uses, as well as > potential requirements to integrate with trunk later this stage. The PDF document m

Project Ranger

2018-05-29 Thread Andrew MacLeod
I'd like to introduce a project we've been working on for the past year an a half. The original project goal was to see if we could derived accurate range information from the IL without requiring much effort on the client side. The idea being that a pass could simply ask "what is the range of