Re: On-Demand range technology [2/5] - Major Components : How it works

2019-06-05 Thread Richard Biener
On Tue, Jun 4, 2019 at 9:55 PM Andrew MacLeod wrote:> > On 6/4/19 1:07 PM, Richard Biener wrote: > > On June 4, 2019 6:50:07 PM GMT+02:00, Andrew MacLeod > > wrote: > >> On 6/4/19 11:37 AM, Richard Biener wrote: > >> > >>> where the single(!) query of the range of i on the alloca call > >>> will

Re: On-Demand range technology [2/5] - Major Components : How it works

2019-06-04 Thread Andrew MacLeod
On 6/4/19 4:21 PM, Marc Glisse wrote: On Tue, 4 Jun 2019, Martin Sebor wrote: On 5/31/19 9:40 AM, Andrew MacLeod wrote: On 5/29/19 7:15 AM, Richard Biener wrote: On Tue, May 28, 2019 at 4:17 PM Andrew MacLeod wrote: On 5/27/19 9:02 AM, Richard Biener wrote: On Fri, May 24, 2019 at 5:50 PM A

Re: On-Demand range technology [2/5] - Major Components : How it works

2019-06-04 Thread Marc Glisse
On Tue, 4 Jun 2019, Martin Sebor wrote: On 5/31/19 9:40 AM, Andrew MacLeod wrote: On 5/29/19 7:15 AM, Richard Biener wrote: On Tue, May 28, 2019 at 4:17 PM Andrew MacLeod wrote: On 5/27/19 9:02 AM, Richard Biener wrote: On Fri, May 24, 2019 at 5:50 PM Andrew MacLeod wrote: The above sugges

Re: On-Demand range technology [2/5] - Major Components : How it works

2019-06-04 Thread Martin Sebor
On 5/31/19 9:40 AM, Andrew MacLeod wrote: On 5/29/19 7:15 AM, Richard Biener wrote: On Tue, May 28, 2019 at 4:17 PM Andrew MacLeod wrote: On 5/27/19 9:02 AM, Richard Biener wrote: On Fri, May 24, 2019 at 5:50 PM Andrew MacLeod wrote: The above suggests that iff this is done at all it is not

Re: On-Demand range technology [2/5] - Major Components : How it works

2019-06-04 Thread Andrew MacLeod
On 6/4/19 1:07 PM, Richard Biener wrote: On June 4, 2019 6:50:07 PM GMT+02:00, Andrew MacLeod wrote: On 6/4/19 11:37 AM, Richard Biener wrote: where the single(!) query of the range of i on the alloca call will populate N BBs caches with the Nth having ranges for all SSA defs of i running in

Re: On-Demand range technology [2/5] - Major Components : How it works

2019-06-04 Thread Richard Biener
On June 4, 2019 6:50:07 PM GMT+02:00, Andrew MacLeod wrote: >On 6/4/19 11:37 AM, Richard Biener wrote: >> On Tue, Jun 4, 2019 at 5:26 PM Richard Biener >> wrote: >>> >>> But you still have a reference to the range in evry BB dominated by >the >>> definition? >> Btw, I was thinking of >> >> unsig

Re: On-Demand range technology [2/5] - Major Components : How it works

2019-06-04 Thread Andrew MacLeod
On 6/4/19 11:37 AM, Richard Biener wrote: On Tue, Jun 4, 2019 at 5:26 PM Richard Biener wrote: But you still have a reference to the range in evry BB dominated by the definition? Btw, I was thinking of unsigned char foo(long); void baz(unsigned char c) { try{ long i = c; i +

Re: On-Demand range technology [2/5] - Major Components : How it works

2019-06-04 Thread Andrew MacLeod
On 6/4/19 11:26 AM, Richard Biener wrote: On Fri, May 31, 2019 at 5:40 PM Andrew MacLeod wrote: On 5/29/19 7:15 AM, Richard Biener wrote: On Tue, May 28, 2019 at 4:17 PM Andrew MacLeod wrote: On 5/27/19 9:02 AM, Richard Biener wrote: On Fri, May 24, 2019 at 5:50 PM Andrew MacLeod wrote: T

Re: On-Demand range technology [2/5] - Major Components : How it works

2019-06-04 Thread Richard Biener
On Tue, Jun 4, 2019 at 5:26 PM Richard Biener wrote: > > On Fri, May 31, 2019 at 5:40 PM Andrew MacLeod wrote: > > > > On 5/29/19 7:15 AM, Richard Biener wrote: > > > On Tue, May 28, 2019 at 4:17 PM Andrew MacLeod > > > wrote: > > >> On 5/27/19 9:02 AM, Richard Biener wrote: > > >>> On Fri, May

Re: On-Demand range technology [2/5] - Major Components : How it works

2019-06-04 Thread Richard Biener
On Fri, May 31, 2019 at 5:40 PM Andrew MacLeod wrote: > > On 5/29/19 7:15 AM, Richard Biener wrote: > > On Tue, May 28, 2019 at 4:17 PM Andrew MacLeod wrote: > >> On 5/27/19 9:02 AM, Richard Biener wrote: > >>> On Fri, May 24, 2019 at 5:50 PM Andrew MacLeod > >>> wrote: > > The above sugges

Re: On-Demand range technology [2/5] - Major Components : How it works

2019-05-31 Thread Andrew MacLeod
On 5/31/19 6:00 PM, Jeff Law wrote: On 5/31/19 2:26 PM, Andrew MacLeod wrote: On 5/31/19 2:16 PM, Jeff Law wrote: On 5/31/19 9:40 AM, Andrew MacLeod wrote: stmt-level tracking of ranges are sometimes important.  This is something the machinery cannot provide - correct?  At least not optimistic

Re: On-Demand range technology [2/5] - Major Components : How it works

2019-05-31 Thread Jeff Law
On 5/31/19 2:26 PM, Andrew MacLeod wrote: > On 5/31/19 2:16 PM, Jeff Law wrote: >> On 5/31/19 9:40 AM, Andrew MacLeod wrote: stmt-level tracking of ranges are sometimes important.  This is something the machinery cannot provide - correct?  At least not optimistically enough with rang

Re: On-Demand range technology [2/5] - Major Components : How it works

2019-05-31 Thread Andrew MacLeod
On 5/31/19 2:16 PM, Jeff Law wrote: On 5/31/19 9:40 AM, Andrew MacLeod wrote: On 5/29/19 7:15 AM, Richard Biener wrote: On Tue, May 28, 2019 at 4:17 PM Andrew MacLeod wrote: On 5/27/19 9:02 AM, Richard Biener wrote: On Fri, May 24, 2019 at 5:50 PM Andrew MacLeod wrote: The above suggests t

Re: On-Demand range technology [2/5] - Major Components : How it works

2019-05-31 Thread Jeff Law
On 5/31/19 9:40 AM, Andrew MacLeod wrote: > On 5/29/19 7:15 AM, Richard Biener wrote: >> On Tue, May 28, 2019 at 4:17 PM Andrew MacLeod >> wrote: >>> On 5/27/19 9:02 AM, Richard Biener wrote: On Fri, May 24, 2019 at 5:50 PM Andrew MacLeod wrote: >> The above suggests that iff this i

Re: On-Demand range technology [2/5] - Major Components : How it works

2019-05-31 Thread Andrew MacLeod
On 5/29/19 7:15 AM, Richard Biener wrote: On Tue, May 28, 2019 at 4:17 PM Andrew MacLeod wrote: On 5/27/19 9:02 AM, Richard Biener wrote: On Fri, May 24, 2019 at 5:50 PM Andrew MacLeod wrote: The above suggests that iff this is done at all it is not in GORI because those are not conditional

Re: On-Demand range technology [2/5] - Major Components : How it works

2019-05-29 Thread Richard Biener
On Tue, May 28, 2019 at 4:17 PM Andrew MacLeod wrote: > > On 5/27/19 9:02 AM, Richard Biener wrote: > > On Fri, May 24, 2019 at 5:50 PM Andrew MacLeod wrote: > >> > >>> The above suggests that iff this is done at all it is not in GORI because > >>> those are not conditional stmts or ranges from f

Re: On-Demand range technology [2/5] - Major Components : How it works

2019-05-28 Thread Andrew MacLeod
On 5/27/19 9:02 AM, Richard Biener wrote: On Fri, May 24, 2019 at 5:50 PM Andrew MacLeod wrote: The above suggests that iff this is done at all it is not in GORI because those are not conditional stmts or ranges from feeding those. The machinery doing the use-def walking from stmt context al

Re: On-Demand range technology [2/5] - Major Components : How it works

2019-05-27 Thread Richard Biener
On Fri, May 24, 2019 at 5:50 PM Andrew MacLeod wrote: > > On 5/23/19 8:55 AM, Richard Biener wrote: > > On Thu, May 23, 2019 at 3:28 AM Andrew MacLeod wrote: > >> > >> 2 * GORI > >> > >> The second component is the “Generates Outgoing Range Info” engine. > >> This is a basic-block or

Re: On-Demand range technology [2/5] - Major Components : How it works

2019-05-24 Thread Andrew MacLeod
On 5/23/19 8:55 AM, Richard Biener wrote: On Thu, May 23, 2019 at 3:28 AM Andrew MacLeod wrote: 2 * GORI The second component is the “Generates Outgoing Range Info” engine. This is a basic-block oriented component which determines what ssa-names have ranges created on outgoing edg

Re: On-Demand range technology [2/5] - Major Components : How it works

2019-05-23 Thread Richard Biener
On Thu, May 23, 2019 at 3:28 AM Andrew MacLeod wrote: > > *This note will talk about the 4 major components of the prototype and > explain how they work together. I will be fairly light on detail just > to give an overview, we can delve into whatever details are needed. > - Range-ops : Range ope

On-Demand range technology [2/5] - Major Components : How it works

2019-05-22 Thread Andrew MacLeod
*This note will talk about the 4 major components of the prototype and explain how they work together.   I will be fairly light on detail just to give an overview, we can delve into whatever details are needed. - Range-ops : Range operations at the statement level - GORI - Generates Outgoing Ran