On 01/04/2017 06:23 AM, Richard Biener wrote:
On Wed, Jan 4, 2017 at 2:22 PM, Richard Biener
wrote:
On Thu, Dec 22, 2016 at 7:26 AM, Jeff Law wrote:
This is the first of the 4 part patchkit to address deficiencies in our DSE
implementation.
This patch addresses the P2 regression 33562 which
On 01/04/2017 06:22 AM, Richard Biener wrote:
Bootstrapped and regression tested on x86_64-linux-gnu. OK for the trunk?
New functions in sbitmap.c lack function comments.
Bah. Sophomoric on my part. Fixed.
bitmap_count_bits fails to guard against GCC_VERSION >= 3400 (the version
is not
On Wed, Jan 4, 2017 at 2:22 PM, Richard Biener
wrote:
> On Thu, Dec 22, 2016 at 7:26 AM, Jeff Law wrote:
>> This is the first of the 4 part patchkit to address deficiencies in our DSE
>> implementation.
>>
>> This patch addresses the P2 regression 33562 which has been a low priority
>> regression
On Thu, Dec 22, 2016 at 7:26 AM, Jeff Law wrote:
> This is the first of the 4 part patchkit to address deficiencies in our DSE
> implementation.
>
> This patch addresses the P2 regression 33562 which has been a low priority
> regression since gcc-4.3. To summarize, DSE no longer has the ability t
This is the first of the 4 part patchkit to address deficiencies in our
DSE implementation.
This patch addresses the P2 regression 33562 which has been a low
priority regression since gcc-4.3. To summarize, DSE no longer has the
ability to detect an aggregate store as dead if subsequent store
On 12/16/2016 06:57 AM, Richard Biener wrote:
Apart from what Trevor says about using sbitmaps (try to avoid the initial
zeroing please) and the missed freeing (you can use auto_[s]bitmap?)
some comments below.
New version uses sbitmaps and avoids zero-ing when we can.
+static void
+trim_comp
On 12/16/2016 12:29 AM, Trevor Saunders wrote:
On Thu, Dec 15, 2016 at 06:54:43PM -0700, Jeff Law wrote:
unsigned cnt = 0;
+ bitmap live_bytes = NULL;
+ bitmap orig_live_bytes = NULL;
*use_stmt = NULL;
+ /* REF is a memory write. Go ahead and get its base, size, extent
+ informat
On 12/21/2016 06:43 AM, Trevor Saunders wrote:
So a few interesting things have to be dealt if we want to make this change.
I already mentioned the need to bias based on ref->offset so that the range
of bytes we're tracking is represented 0..size.
While we know the length of the potential dead s
On Sat, Dec 17, 2016 at 01:19:41AM -0700, Jeff Law wrote:
> On 12/16/2016 12:29 AM, Trevor Saunders wrote:
> > On Thu, Dec 15, 2016 at 06:54:43PM -0700, Jeff Law wrote:
> > >unsigned cnt = 0;
> > > + bitmap live_bytes = NULL;
> > > + bitmap orig_live_bytes = NULL;
> > >
> > >*use_stmt =
Jeff Law writes:
> This is the first of the 4 part patchkit to address deficiencies in our
> DSE implementation.
>
> This patch addresses the P2 regression 33562 which has been a low
> priority regression since gcc-4.3. To summarize, DSE no longer has the
> ability to detect an aggregate store
On December 16, 2016 7:43:22 PM GMT+01:00, Jakub Jelinek
wrote:
>On Fri, Dec 16, 2016 at 06:35:58PM +, Joseph Myers wrote:
>> On Thu, 15 Dec 2016, Jeff Law wrote:
>>
>> > This version attacks the problem by improving DSE to track stores
>to memory at
>> > a byte level. That allows us to det
On 12/16/2016 12:29 AM, Trevor Saunders wrote:
On Thu, Dec 15, 2016 at 06:54:43PM -0700, Jeff Law wrote:
unsigned cnt = 0;
+ bitmap live_bytes = NULL;
+ bitmap orig_live_bytes = NULL;
*use_stmt = NULL;
+ /* REF is a memory write. Go ahead and get its base, size, extent
+ informat
On 12/16/2016 06:57 AM, Richard Biener wrote:
On Fri, Dec 16, 2016 at 2:54 AM, Jeff Law wrote:
+ /* REF is a memory write. Go ahead and get its base, size, extent
+ information and encode the bytes written into LIVE_BYTES. We can
+ handle any case where we have a known base and maxim
On 12/16/2016 06:57 AM, Richard Biener wrote:
On Fri, Dec 16, 2016 at 2:54 AM, Jeff Law wrote:
+ {
+ /* STMT might be partially dead and we may be able to reduce
+how many memory locations it stores into. */
+ if (live_bytes
+ && !bitmap_equal_p (l
On Fri, 16 Dec 2016, Jakub Jelinek wrote:
> On Fri, Dec 16, 2016 at 06:35:58PM +, Joseph Myers wrote:
> > On Thu, 15 Dec 2016, Jeff Law wrote:
> >
> > > This version attacks the problem by improving DSE to track stores to
> > > memory at
> > > a byte level. That allows us to determine if a
On 12/16/2016 11:43 AM, Jakub Jelinek wrote:
On Fri, Dec 16, 2016 at 06:35:58PM +, Joseph Myers wrote:
On Thu, 15 Dec 2016, Jeff Law wrote:
This version attacks the problem by improving DSE to track stores to memory at
a byte level. That allows us to determine if a series of stores comple
On 12/16/2016 11:35 AM, Joseph Myers wrote:
On Thu, 15 Dec 2016, Jeff Law wrote:
This version attacks the problem by improving DSE to track stores to memory at
a byte level. That allows us to determine if a series of stores completely
covers an earlier store (thus making the earlier store dead
On Fri, Dec 16, 2016 at 06:35:58PM +, Joseph Myers wrote:
> On Thu, 15 Dec 2016, Jeff Law wrote:
>
> > This version attacks the problem by improving DSE to track stores to memory
> > at
> > a byte level. That allows us to determine if a series of stores completely
> > covers an earlier store
On Thu, 15 Dec 2016, Jeff Law wrote:
> This version attacks the problem by improving DSE to track stores to memory at
> a byte level. That allows us to determine if a series of stores completely
> covers an earlier store (thus making the earlier store dead).
Question: suppose you have an assignm
On 12/16/2016 06:57 AM, Richard Biener wrote:
Apart from what Trevor says about using sbitmaps (try to avoid the initial
zeroing please) and the missed freeing (you can use auto_[s]bitmap?)
some comments below.
In progress. We'll need a few routines for sbitmaps that don't
currently exist, but
On 12/16/2016 12:29 AM, Trevor Saunders wrote:
On Thu, Dec 15, 2016 at 06:54:43PM -0700, Jeff Law wrote:
unsigned cnt = 0;
+ bitmap live_bytes = NULL;
+ bitmap orig_live_bytes = NULL;
*use_stmt = NULL;
+ /* REF is a memory write. Go ahead and get its base, size, extent
+ informat
On Fri, Dec 16, 2016 at 2:54 AM, Jeff Law wrote:
>
> This is the first of the 4 part patchkit to address deficiencies in our DSE
> implementation.
>
>
> This patch addresses the P2 regression 33562 which has been a low priority
> regression since gcc-4.3. To summarize, DSE no longer has the abili
On Thu, Dec 15, 2016 at 06:54:43PM -0700, Jeff Law wrote:
>unsigned cnt = 0;
> + bitmap live_bytes = NULL;
> + bitmap orig_live_bytes = NULL;
>
>*use_stmt = NULL;
>
> + /* REF is a memory write. Go ahead and get its base, size, extent
> + information and encode the bytes written
This is the first of the 4 part patchkit to address deficiencies in our
DSE implementation.
This patch addresses the P2 regression 33562 which has been a low
priority regression since gcc-4.3. To summarize, DSE no longer has the
ability to detect an aggregate store as dead if subsequent st
24 matches
Mail list logo
