This is the mail archive of the
mailing list for the GCC project.
Re: [PATCH, i386, Pointer Bounds Checker 11/x] Keep bounds initial values
- From: Jeff Law <law at redhat dot com>
- To: Ilya Enkovich <enkovich dot gnu at gmail dot com>, gcc-patches at gcc dot gnu dot org
- Date: Fri, 30 May 2014 10:45:02 -0600
- Subject: Re: [PATCH, i386, Pointer Bounds Checker 11/x] Keep bounds initial values
- Authentication-results: sourceware.org; auth=none
- References: <20140529095256 dot GA44227 at msticlxl57 dot ims dot intel dot com>
On 05/29/14 04:53, Ilya Enkovich wrote:
This patch tries to keep bounds initial values when it may be needed. Even if initial value is not fully known (e.g. we know only low bound) it still may help to remove some redundant checks.
Bootstrapped and tested on linux-x86_64.
2013-05-29 Ilya Enkovich <firstname.lastname@example.org>
* ipa.c (symtab_remove_unreachable_nodes): Kepp initial values for
pointer bounds to be used for checks eliminations.
* lto-cgraph.c (compute_ltrans_boundary): Likewise.
* add_references_to_partition (add_references_to_partition): Add
references to pointer bounds vars.
Typo in the ChangeLog "kepp" -> "keep".
OK for the trunk when the rest of the stuff is approved, though I'm
curious how, for example, keeping the initial value for an unreachable
node in symtab_remove_unreachable_nodes helps eliminate redundant checks.