Ping
2014-05-06 16:11 GMT+04:00 Ilya Enkovich enkovich@gmail.com:
PING
2014-04-16 15:52 GMT+04:00 Ilya Enkovich enkovich@gmail.com:
Hi,
This patch introduces target hooks to be used by Pointer Bounds Checker.
Hooks set is different from what was approved for 4.9 (and later
Ping
2014-05-06 16:11 GMT+04:00 Ilya Enkovich enkovich@gmail.com:
PING
2014-04-16 16:19 GMT+04:00 Ilya Enkovich enkovich@gmail.com:
Hi,
This patch introduces built-in functions used by Pointer Bounds Checker. It
is mostly similar to what was reverted from 4.9, I just added types
Ping
2014-05-06 16:13 GMT+04:00 Ilya Enkovich enkovich@gmail.com:
Ping
2014-04-16 18:03 GMT+04:00 Ilya Enkovich enkovich@gmail.com:
Hi,
This patch introduces changes in call graph for Pointer Bounds Checker.
New fields instrumented_version, instrumentation_clone and orig_decl
%
Bootstrapped and tested on linux-x86_64.
Does it look OK for trunk?
Thanks,
Ilya
--
gcc/
2014-07-02 Ilya Enkovich ilya.enkov...@intel.com
* config/i386/constraints.md (Yr): New.
* config/i386/i386.h (reg_class): Add NO_REX_SSE_REGS.
(REG_CLASS_NAMES): Likewise
).
2014-07-02 Ilya Enkovich ilya.enkov...@intel.com
* config/i386/constraints.md (Yr): New.
* config/i386/i386.h (reg_class): Add NO_REX_SSE_REGS.
(REG_CLASS_NAMES): Likewise.
(REG_CLASS_CONTENTS): Likewise.
* config/i386/sse.md (*vec_concatv2sf_sse4_1): Add alternatives
which use only
2014-07-02 20:21 GMT+04:00 Andi Kleen a...@firstfloor.org:
Ilya Enkovich enkovich@gmail.com writes:
Silvermont processors have penalty for instructions having 4+ bytes of
prefixes (including escape bytes in opcode). This situation happens
when REX prefix is used in SSE4 instructions
2014-07-02 20:27 GMT+04:00 Jakub Jelinek ja...@redhat.com:
On Wed, Jul 02, 2014 at 09:21:25AM -0700, Andi Kleen wrote:
Ilya Enkovich enkovich@gmail.com writes:
Silvermont processors have penalty for instructions having 4+ bytes of
prefixes (including escape bytes in opcode
2014-07-03 14:56 GMT+04:00 Jakub Jelinek ja...@redhat.com:
On Thu, Jul 03, 2014 at 02:49:10PM +0400, Ilya Enkovich wrote:
2014-07-02 20:21 GMT+04:00 Andi Kleen a...@firstfloor.org:
Ilya Enkovich enkovich@gmail.com writes:
Silvermont processors have penalty for instructions having 4
2014-07-03 15:11 GMT+04:00 Uros Bizjak ubiz...@gmail.com:
On Thu, Jul 3, 2014 at 12:45 PM, Ilya Enkovich enkovich@gmail.com wrote:
Silvermont processors have penalty for instructions having 4+ bytes of
prefixes (including escape
bytes in opcode). This situation happens when REX prefix
2014-07-03 16:07 GMT+04:00 Uros Bizjak ubiz...@gmail.com:
On Thu, Jul 3, 2014 at 1:50 PM, Ilya Enkovich enkovich@gmail.com wrote:
I didn't find a nice way to fix peephole2 patterns to take register
constraints into account. Is there any way to do it?
Use REX_SSE_REGNO_P (REGNO (operands
Ping
2014-07-03 17:38 GMT+04:00 Ilya Enkovich enkovich@gmail.com:
2014-07-03 16:07 GMT+04:00 Uros Bizjak ubiz...@gmail.com:
On Thu, Jul 3, 2014 at 1:50 PM, Ilya Enkovich enkovich@gmail.com wrote:
I didn't find a nice way to fix peephole2 patterns to take register
constraints
2014-07-14 23:58 GMT+04:00 Uros Bizjak ubiz...@gmail.com:
On Thu, Jul 3, 2014 at 3:38 PM, Ilya Enkovich enkovich@gmail.com wrote:
2014-07-03 16:07 GMT+04:00 Uros Bizjak ubiz...@gmail.com:
On Thu, Jul 3, 2014 at 1:50 PM, Ilya Enkovich enkovich@gmail.com
wrote:
I didn't find a nice
On 15 Jul 10:42, Uros Bizjak wrote:
On Tue, Jul 15, 2014 at 10:25 AM, Ilya Enkovich enkovich@gmail.com
wrote:
Also fully restrict xmm8-15 does not seem right. It is just costly
but not fully disallowed.
As said earlier, you can try Ya*x as a constraint.
I tried it. It does
On 22 Jul 21:56, Jeff Law wrote:
On 04/16/14 08:03, Ilya Enkovich wrote:
Hi,
This patch introduces changes in call graph for Pointer Bounds Checker.
New fields instrumented_version, instrumentation_clone and orig_decl are
added for cgraph_node:
- instrumentation_clone field is 1
2014-07-24 15:38 GMT+04:00 Jan Hubicka hubi...@ucw.cz:
Hello,
diff --git a/gcc/cgraph.h b/gcc/cgraph.h
index a6a51cf..5e702a7 100644
--- a/gcc/cgraph.h
+++ b/gcc/cgraph.h
@@ -191,6 +191,7 @@ struct GTY(()) cgraph_thunk_info {
tree alias;
bool this_adjusting;
bool
2014-07-24 17:41 GMT+04:00 Jan Hubicka hubi...@ucw.cz:
So the patch is introducing yet another notion of clone (in addition to
existing virtual clones
and function versions used by ifun) and you add a new type of reference
(CHKP) to link the
original and the clone.
Why do you need
--
2014-11-11 Ilya Enkovich ilya.enkov...@intel.com
* Makefile.def: Add libmpx.
* configure.ac: Add libmpx.
* Makefile.in: Regenerate.
* configure: Regenerate.
gcc/
2014-11-11 Ilya Enkovich ilya.enkov...@intel.com
* gcc.c (MPX_SPEC): New
2014-11-11 22:55 GMT+03:00 Jeff Law l...@redhat.com:
On 11/11/14 11:42, Mike Stump wrote:
On Nov 11, 2014, at 8:02 AM, Ilya Enkovich enkovich@gmail.com wrote:
This patch adds simple runtime MPX tests.
Make check shows no fails for mpx.exp suite for
x86_64-unknown-linux-gnu{-m32,-mx32
2014-11-11 23:02 GMT+03:00 Jeff Law l...@redhat.com:
On 11/11/14 08:34, Ilya Enkovich wrote:
Hi,
This patch integrates MPX runtime library into GCC source tree. MPX
runtime is responsible for initialization of MPX feature in HW, signal
handling, reporting etc. Library is linked to codes
2014-11-11 21:09 GMT+03:00 Joseph Myers jos...@codesourcery.com:
On Tue, 11 Nov 2014, Joseph Myers wrote:
You have lots of static writable variables. Are you sure all those
variables are handled in a thread-safe way (e.g. only modified before any
threads start)?
Another general
On 11 Nov 20:25, Joseph Myers wrote:
On Tue, 11 Nov 2014, Andi Kleen wrote:
Joseph Myers jos...@codesourcery.com writes:
On Tue, 11 Nov 2014, Ilya Enkovich wrote:
Hi,
This patch integrates MPX runtime library into GCC source tree. MPX
runtime is responsible
2014-11-13 0:40 GMT+03:00 Joseph Myers jos...@codesourcery.com:
On Wed, 12 Nov 2014, Ilya Enkovich wrote:
MPX runtime needs to be linked with programs using MPX because it
initializes hardware. Without it all MPX instructions are just NOPs.
Thus it's not an extra functionality
2014-11-13 2:03 GMT+03:00 Joseph Myers jos...@codesourcery.com:
On Thu, 13 Nov 2014, Ilya Enkovich wrote:
It's hard to decide which of runtime functionality should be
considered as basic and how it should be used. We may say that the
only basic thing is hardware enabling which is enable_mpx
2014-11-14 9:49 GMT+03:00 Jeff Law l...@redhat.com:
On 11/06/14 05:10, Ilya Enkovich wrote:
Hi,
This patch enables instrumentation of chosen builtin calls.
Thanks,
Ilya
--
2014-11-06 Ilya Enkovich ilya.enkov...@intel.com
* ipa-chkp.c (chkp_versioning): Clone builtin functions
2014-11-14 9:43 GMT+03:00 Jeff Law l...@redhat.com:
On 11/06/14 04:48, Ilya Enkovich wrote:
--
2014-11-06 Ilya Enkovich ilya.enkov...@intel.com
* tree-core.h (built_in_class): Add builtin codes to be used
by Pointer Bounds Checker for instrumented builtin functions
Enkovich ilya.enkov...@intel.com
* gcc.c (MPX_SPEC): Add wrappers library.
libmpx/
2014-11-14 Ilya Enkovich ilya.enkov...@intel.com
* Makefile.am (SUBDIRS): New.
(MAKEOVERRIDES): New.
* Makefile.in: Regenerate.
* configure.ac: Add mpxintr/Makefile
Hi,
This patch adds wrapper calls. It's simply achieved by using proper name for
builtin clones. Patches apply over builtins instrumentation series.
Thanks,
Ilya
--
2014-11-14 Ilya Enkovich ilya.enkov...@intel.com
* c-family/c.opt (fchkp-use-wrappers): New.
* ipa-chkp.c
Hi,
Here are few tests for MPX wrappers. Will add more in case patches #1,2 are OK.
Thanks,
Ilya
--
2014-11-14 Ilya Enkovich ilya.enkov...@intel.com
* lib/mpx-dg.exp (mpx_link_flags): Set path to wrappers library.
* gcc.target/i386/mpx/calloc-1-lbv.c: New
On 15 Nov 00:03, Jeff Law wrote:
On 11/14/14 01:22, Ilya Enkovich wrote:
I don't think I'm hiding some problem here. Builtin function calls
may be removed during various optimizations. Therefore we may remove
all calls to some instrumented builtins and corresponding cgraph_node
is removed
On 14 Nov 23:58, Jeff Law wrote:
On 11/14/14 01:06, Ilya Enkovich wrote:
- /* Avoid instrumented builtin functions for now. Due to IPA
- it also means we have to avoid instrumentation of indirect
- calls. */
- if (fndecl DECL_BUILT_IN_CLASS (fndecl) != NOT_BUILT_IN
On 14 Nov 23:40, Jeff Law wrote:
On 11/06/14 05:39, Ilya Enkovich wrote:
Hi,
This patch adds support of instrumented function calls into strlen pass.
Whole series pass bootstrap and check on linux-x86_64. OK for trunk?
Thanks,
Ilya
--
gcc/
2014-11-06 Ilya Enkovich ilya.enkov
On 17 Nov 16:12, Jan-Benedict Glaw wrote:
On Mon, 2014-11-17 15:59:41 +0100, Markus Trippelsdorf
mar...@trippelsdorf.de wrote:
On 2014.11.17 at 15:52 +0100, Jan-Benedict Glaw wrote:
On Thu, 2014-11-06 15:24:59 +0300, Ilya Enkovich enkovich@gmail.com
wrote:
[...]
It seems
2014-11-17 21:22 GMT+03:00 David Edelsohn dje@gmail.com:
Ilya,
Thanks for fixing the reference to BNDmode.
However, the patch causes another problem that breaks bootstrap on
AIX. All of the builtins are emitted as an enum in debug information
and the CHKP enums now cause an overflow in
2014-11-17 21:41 GMT+03:00 Jeff Law l...@redhat.com:
On 11/17/14 11:22, David Edelsohn wrote:
However, the patch causes another problem that breaks bootstrap on
AIX. All of the builtins are emitted as an enum in debug information
and the CHKP enums now cause an overflow in the debug data on
On 17 Nov 13:32, Richard Biener wrote:
On Mon, Nov 10, 2014 at 4:48 PM, Ilya Enkovich enkovich@gmail.com wrote:
Hi,
Here is a fix for PR63766. Currently all functions are transformed into
SSA before local optimizations and it allows function to be inlined and
removed before
2014-11-18 5:56 GMT+03:00 Jeff Law l...@redhat.com:
On 11/17/14 13:43, Ilya Enkovich wrote:
I don't fully understand how this problem appears. Is it fully AIX
specific and doesn't affect any other target? May we put all _CHKP
codes to the end of enum and ignore them by AIX? Limiting number
2014-11-18 15:04 GMT+03:00 Richard Biener richard.guent...@gmail.com:
On Tue, Nov 18, 2014 at 11:51 AM, Ilya Enkovich enkovich@gmail.com
wrote:
2014-11-18 5:56 GMT+03:00 Jeff Law l...@redhat.com:
On 11/17/14 13:43, Ilya Enkovich wrote:
I don't fully understand how this problem appears
2014-11-18 15:18 GMT+03:00 Richard Biener richard.guent...@gmail.com:
On Tue, Nov 18, 2014 at 1:13 PM, Ilya Enkovich enkovich@gmail.com wrote:
2014-11-18 15:04 GMT+03:00 Richard Biener richard.guent...@gmail.com:
On Tue, Nov 18, 2014 at 11:51 AM, Ilya Enkovich enkovich@gmail.com
wrote
On 15 Nov 00:16, Jeff Law wrote:
On 11/14/14 10:29, Ilya Enkovich wrote:
Hi,
This patch adds wrapper calls. It's simply achieved by using proper name
for builtin clones. Patches apply over builtins instrumentation series.
Thanks,
Ilya
--
2014-11-14 Ilya Enkovich ilya.enkov
On 18 Nov 16:23, Joseph Myers wrote:
On Tue, 18 Nov 2014, Ilya Enkovich wrote:
+@item -fcheck-pointer-bounds
+@opindex fcheck-pointer-bounds
+@opindex fno-check-pointer-bounds
+Enable Pointer Bounds Checker instrumentation. Each memory reference
+is instrumented with checks
On 15 Nov 00:10, Jeff Law wrote:
On 11/14/14 10:26, Ilya Enkovich wrote:
Hi,
This patch introduces a simple library with several wrappers to be used with
MPX and Pointer Bounds Checker. Wrappers allow to obtain, copy and just
keep alive bounds whrough widely use library calls
On 13 Nov 20:56, Joseph Myers wrote:
On Thu, 13 Nov 2014, Ilya Enkovich wrote:
You can leave it as a single library - it's just that imposes libgcc-like
constraints on what the library does and how it does things, so as to be
usable for arbitrary programs built with MPX (e.g. using
2014-11-19 20:55 GMT+03:00 Jeff Law l...@redhat.com:
On 11/19/14 07:15, Ilya Enkovich wrote:
--
2014-11-19 Ilya Enkovich ilya.enkov...@intel.com
* Makefile.def: Add libmpx.
* configure.ac: Add libmpx.
* Makefile.in: Regenerate.
* configure: Regenerate
--
gcc/
2014-11-20 Ilya Enkovich ilya.enkov...@intel.com
* config/i386/cpuid.h (bit_MPX): New.
(bit_BNDREGS): New.
(bit_BNDCSR): New.
* config/i386/i386.c (processor_features): Add
F_XSAVE, F_OSXSAVE, F_MPX, F_BNDREGS, F_BNDCSR.
(isa_names_table
On 19 Nov 21:11, Ilya Enkovich wrote:
2014-11-19 20:55 GMT+03:00 Jeff Law l...@redhat.com:
On 11/19/14 07:15, Ilya Enkovich wrote:
--
2014-11-19 Ilya Enkovich ilya.enkov...@intel.com
* Makefile.def: Add libmpx.
* configure.ac: Add libmpx.
* Makefile.in
On 18 Nov 14:15, Jeff Law wrote:
On 11/18/14 09:48, Ilya Enkovich wrote:
On 15 Nov 00:10, Jeff Law wrote:
On 11/14/14 10:26, Ilya Enkovich wrote:
Hi,
This patch introduces a simple library with several wrappers to be used
with MPX and Pointer Bounds Checker. Wrappers allow to obtain
2014-11-21 20:45 GMT+03:00 Jeff Law l...@redhat.com:
On 11/20/14 09:40, Jakub Jelinek wrote:
On Thu, Nov 20, 2014 at 07:36:03PM +0300, Ilya Enkovich wrote:
Hi,
MPX runtime checks some feature bits in order to check MPX is fully
supported. Runtime does it by cpuid calls
On 21 Nov 23:20, Joseph Myers wrote:
On Fri, 21 Nov 2014, Ilya Enkovich wrote:
+# Disable libmpx on unsupported systems.
+if test -d ${srcdir}/libmpx; then
+if test x$enable_libmpx = x; then
+ AC_MSG_CHECKING([for libmpx support])
+ if (srcdir=${srcdir}/libmpx
On 21 Nov 23:32, Joseph Myers wrote:
On Fri, 21 Nov 2014, Ilya Enkovich wrote:
* c-family/c.opt (static-libmpxwrappers): New.
New options need documenting in invoke.texi. This includes driver
options.
I'll include it into patch with all checker options documented bacause
On 18 Nov 19:42, Ilya Enkovich wrote:
On 18 Nov 16:23, Joseph Myers wrote:
On Tue, 18 Nov 2014, Ilya Enkovich wrote:
+@item -fcheck-pointer-bounds
+@opindex fcheck-pointer-bounds
+@opindex fno-check-pointer-bounds
+Enable Pointer Bounds Checker instrumentation. Each memory
Hi,
This patch partly fixes PR bootstrap/63995 by avoiding duplicating static
bounds vars. With this fix bootstrap still fails at stage 2 and 3 comparison.
Bootstrapped and checked on x86_64-unknown-linux-gnu. OK for trunk?
Thanks,
Ilya
--
gcc/
2014-11-25 Ilya Enkovich ilya.enkov
Hi,
This patch adds check for mempcpy availability for tests requiring it. Checked
with RUNTESTFLAGS=--target_board='unix{-m32,}' i386.exp=chkp-*. OK for trunk?
Thanks,
Ilya
--
2014-11-25 Ilya Enkovich ilya.enkov...@intel.com
PR target/64056
* gcc.target/i386/chkp-strlen-4
2014-11-25 12:43 GMT+03:00 Richard Biener richard.guent...@gmail.com:
On Tue, Nov 25, 2014 at 9:45 AM, Ilya Enkovich enkovich@gmail.com wrote:
Hi,
This patch partly fixes PR bootstrap/63995 by avoiding duplicating static
bounds vars. With this fix bootstrap still fails at stage 2 and 3
2014-11-25 14:11 GMT+03:00 Richard Biener richard.guent...@gmail.com:
On Tue, Nov 25, 2014 at 11:19 AM, Ilya Enkovich enkovich@gmail.com
wrote:
2014-11-25 12:43 GMT+03:00 Richard Biener richard.guent...@gmail.com:
On Tue, Nov 25, 2014 at 9:45 AM, Ilya Enkovich enkovich@gmail.com
Hi,
This patch fixes LTO streamers which were not adjusted when function_code field
was extended up to 12 bits.
OK for trunk after bootstrap and check?
Thanks,
Ilya
--
gcc/
2014-11-26 Ilya Enkovich ilya.enkov...@intel.com
* tree-streamer-in.c (unpack_ts_function_decl_value_fields
On 25 Nov 15:03, Ilya Enkovich wrote:
2014-11-25 14:11 GMT+03:00 Richard Biener richard.guent...@gmail.com:
On Tue, Nov 25, 2014 at 11:19 AM, Ilya Enkovich enkovich@gmail.com
wrote:
Ok, then it's get_for_asmname (). That said - the above loops look
bogus to me. Honza - any better
Hi,
This patch makes optimization for bounds lifetime reduction to ignore debug
stetments. This fixes stage2 and stage3 comparision for instrumented boostrap.
OK for trunk?
Thanks,
Ilya
--
2014-11-26 Ilya Enkovich ilya.enkov...@intel.com
PR bootstrap/63995
* tree-chkp
On 26 Nov 13:46, Jakub Jelinek wrote:
On Wed, Nov 26, 2014 at 03:41:46PM +0300, Ilya Enkovich wrote:
Hi,
This patch makes optimization for bounds lifetime reduction to ignore
debug stetments. This fixes stage2 and stage3 comparision for
instrumented boostrap. OK for trunk?
Please
2014-11-26 19:07 GMT+03:00 Jan Hubicka hubi...@ucw.cz:
On 25 Nov 15:03, Ilya Enkovich wrote:
2014-11-25 14:11 GMT+03:00 Richard Biener richard.guent...@gmail.com:
On Tue, Nov 25, 2014 at 11:19 AM, Ilya Enkovich enkovich@gmail.com
wrote:
Ok, then it's get_for_asmname
2014-11-27 19:55 GMT+03:00 Mike Stump mikest...@comcast.net:
On Nov 26, 2014, at 1:35 AM, Ilya Enkovich enkovich@gmail.com wrote:
This patch fixes LTO streamers which were not adjusted when function_code
field was extended up to 12 bits.
OK for trunk after bootstrap and check?
Please
Adding Vladimir.
Ilya
2014-09-25 13:46 GMT+04:00 Ilya Enkovich enkovich@gmail.com:
2014-09-25 1:51 GMT+04:00 Ilya Enkovich enkovich@gmail.com:
2014-09-24 23:09 GMT+04:00 Jeff Law l...@redhat.com:
On 09/24/14 07:13, Ilya Enkovich wrote:
I tried to generate PARALLEL with all regs set
Ping
2014-06-06 10:54 GMT+04:00 Ilya Enkovich enkovich@gmail.com:
On 03 Jun 10:59, Richard Biener wrote:
On Mon, Jun 2, 2014 at 5:13 PM, Ilya Enkovich enkovich@gmail.com wrote:
2014-06-02 17:37 GMT+04:00 Richard Biener richard.guent...@gmail.com:
On Mon, Jun 2, 2014 at 2:44 PM, Ilya
2014-09-18 18:00 GMT+04:00 Ilya Enkovich enkovich@gmail.com:
On 17 Sep 20:51, Uros Bizjak wrote:
On Wed, Sep 17, 2014 at 8:35 PM, Ilya Enkovich enkovich@gmail.com
wrote:
On 16 Sep 12:22, Uros Bizjak wrote:
On Tue, Sep 16, 2014 at 11:37 AM, Ilya Enkovich enkovich@gmail.com
2014-10-01 19:17 GMT+04:00 Uros Bizjak ubiz...@gmail.com:
On Wed, Oct 1, 2014 at 4:10 PM, Ilya Enkovich enkovich@gmail.com wrote:
+;; Return true if size of VALUE can be stored in a sign
+;; extended immediate field.
+(define_predicate x86_64_immediate_size_operand
+ (match_code
On 01 Oct 19:57, Uros Bizjak wrote:
On Wed, Oct 1, 2014 at 7:02 PM, Ilya Enkovich enkovich@gmail.com wrote:
2014-10-01 19:17 GMT+04:00 Uros Bizjak ubiz...@gmail.com:
On Wed, Oct 1, 2014 at 4:10 PM, Ilya Enkovich enkovich@gmail.com
wrote:
+;; Return true if size of VALUE can
,
Ilya
--
2014-10-01 Ilya Enkovich ilya.enkov...@intel.com
* ipa.c (process_references): Support IPA_REF_CHKP.
diff --git a/gcc/ipa.c b/gcc/ipa.c
index 39ee815..78f251a 100644
--- a/gcc/ipa.c
+++ b/gcc/ipa.c
@@ -637,6 +637,8 @@ process_references (varpool_node *vnode
On 02 Oct 15:34, Marek Polacek wrote:
On Thu, Oct 02, 2014 at 05:29:15PM +0400, Ilya Enkovich wrote:
Hi,
Seems some new warnings appeared lately and now I see a bootstrap failure
for mpx branch due to missing IPA_REF_CHKP case in switch statement in
process_references function
On 02 Oct 11:49, Uros Bizjak wrote:
On Thu, Oct 2, 2014 at 10:23 AM, Ilya Enkovich enkovich@gmail.com wrote:
2014-10-01 Ilya Enkovich ilya.enkov...@intel.com
* config/i386/i386.md (UNSPEC_SIZEOF): New.
(move_size_reloc_mode): New.
* config/i386
On 24 Sep 12:29, Ilya Enkovich wrote:
2014-09-24 0:58 GMT+04:00 Jeff Law l...@redhat.com:
On 06/05/14 08:46, Ilya Enkovich wrote:
2014-06-05 Ilya Enkovich ilya.enkov...@intel.com
* calls.c: Include tree-chkp.h, rtl-chkp.h, bitmap.h.
(arg_data): Add fields
On 01 Oct 14:57, Vladimir Makarov wrote:
On 2014-09-25 5:46 AM, Ilya Enkovich wrote:
2014-09-25 1:51 GMT+04:00 Ilya Enkovich enkovich@gmail.com:
2014-09-24 23:09 GMT+04:00 Jeff Law l...@redhat.com:
On 09/24/14 07:13, Ilya Enkovich wrote:
I tried to generate PARALLEL with all regs set
Hi,
This patch adds a check for call destination register for a call return value
optimization based on REG_RETURNED note. This solves some ICE issues for MPX
codes.
Bootstrapped and tested on linux-x86_64. OK for trunk?
Thanks,
Ilya
--
2014-10-02 Ilya Enkovich ilya.enkov...@intel.com
2014-10-02 22:30 GMT+04:00 Jeff Law l...@redhat.com:
On 10/02/14 08:30, Ilya Enkovich wrote:
Hi,
This patch adds a check for call destination register for a call return
value optimization based on REG_RETURNED note. This solves some ICE issues
for MPX codes.
Bootstrapped and tested
On 03 Oct 00:05, Ilya Enkovich wrote:
2014-10-02 22:30 GMT+04:00 Jeff Law l...@redhat.com:
On 10/02/14 08:30, Ilya Enkovich wrote:
Hi,
This patch adds a check for call destination register for a call return
value optimization based on REG_RETURNED note. This solves some ICE issues
instrumented
builtins related codes will go into a separate series.
Thanks,
Ilya
--
2014-10-03 Ilya Enkovich ilya.enkov...@intel.com
* builtins.c: Include tree-chkp.h and rtl-chkp.h.
(std_expand_builtin_va_start): Init bounds for va_list.
(expand_builtin): Do not allow
Hi,
This patch avoids generation of __builtin_unreachable calls marked as
instrumented. It follows paradigma of no instrumented builtin calls (and
passes corresponding assert in expand_builtin from patch #18).
Thanks,
Ilya
--
2014-10-01 Ilya Enkovich ilya.enkov...@intel.com
2014-10-03 23:59 GMT+04:00 Jeff Law l...@redhat.com:
On 10/03/14 02:50, Ilya Enkovich wrote:
Attached is an updated version of the patch. It has disabled
instrumenttation for builtin calls.
Thanks,
Ilya
--
gcc/
2014-10-02 Ilya Enkovichilya.enkov...@intel.com
* tree-chkp.c
Hi,
This patch starts a series which is a result of split of Pointer Bounds Checker
patch #14 (Pointer Bounds Checker passes).
This patch introduces compiler flags used by checker and helper functions
mostly used by expand pass.
Thanks,
Ilya
--
2014-10-08 Ilya Enkovich ilya.enkov
Hi,
This patch introduces two IPA passes used by Pointer Bounds Checker. One pass
creates clones for instrumentation. The other one transforms unneeded
functions into thunks.
Thanks,
Ilya
--
2014-10-08 Ilya Enkovich ilya.enkov...@intel.com
* ipa-chkp.c: New.
* ipa-chkp.h
Hi,
This patch introduces helper functions used by instrumentation. These helpers
are used to access local structures, generate typical expressions, vars and
statements. I also included local data initializer into this patch.
Thanks,
Ilya
--
2014-10-08 Ilya Enkovich ilya.enkov...@intel.com
Hi,
This is the main chunk of instrumentation codes. This patch introduces
instrumentation pass which instruments memory accesses.
Thanks,
Ilya
--
2014-10-08 Ilya Enkovich ilya.enkov...@intel.com
* tree-chkp.c (chkp_may_complete_phi_bounds): New
Hi,
This patch add function pointers replacement into instrumentation pass.
Thanks,
Ilya
--
2014-10-08 Ilya Enkovich ilya.enkov...@intel.com
* tree-chkp.c: Include ipa-chkp.h.
(chkp_replace_function_pointer): New.
(chkp_replace_function_pointers): New
Hi,
This patch adds intrumentation of calls and returns into instrumentation pass.
Thanks,
Ilya
--
2014-10-08 Ilya Enkovich ilya.enkov...@intel.com
* tree-chkp.c (chkp_add_bounds_to_ret_stmt): New.
(chkp_replace_address_check_builtin): New
Hi,
This patch adds bounds initialization for address taken input arguments.
Thanks,
Ilya
--
2014-10-08 Ilya Enkovich ilya.enkov...@intel.com
* tree-chkp.c (chkp_instrument_function): Store bounds for
address taken args.
diff --git a/gcc/tree-chkp.c b/gcc/tree-chkp.c
index
Hi,
This patch adds removal of user calls to chkp builtins which become useless
after instrumentation.
Thanks,
Ilya
--
2014-10-08 Ilya Enkovich ilya.enkov...@intel.com
* tree-chkp.c (chkp_remove_useless_builtins): New.
(chkp_execute): Remove useless calls to Pointer Bounds
Hi,
This patch introduces functions to handle static pointers and static bounds.
Thanks,
Ilya
--
2014-10-08 Ilya Enkovich ilya.enkov...@intel.com
* tree-chkp.c (MAX_STMTS_IN_STATIC_CHKP_CTOR): New.
(chkp_ctor_stmt_list): New.
(chkp_register_var_initializer): New
Hi,
This patch adds an assignment processing function which is used by lnliner for
newly generated stores.
Thanks,
Ilya
--
2014-10-08 Ilya Enkovich ilya.enkov...@intel.com
* tree-chkp.c (chkp_copy_bounds_for_assign): New.
* tree-chkp.h (chkp_copy_bounds_for_assign): New
Hi,
This patch introduces structures and manipulation functions used by simple
checker optimizations. Structures are used to hold checks information - type
of check and checked address in a polinomial form.
Thanks,
Ilya
--
2014-10-08 Ilya Enkovich ilya.enkov...@intel.com
* tree
Hi,
This patch introduces simple optimization of string function calls using
variants with no checks and/or bounds copy when possible.
Thanks,
Ilya
--
2014-10-08 Ilya Enkovich ilya.enkov...@intel.com
* tree-chkp.c (check_infos): New.
(chkp_get_nobnd_fndecl): New
Hi,
This patch adds removal of unnecessary intersections into checker optimizations.
Thanks,
Ilya
--
2014-10-08 Ilya Enkovich ilya.enkov...@intel.com
* tree-chkp.c (chkp_release_check_info): New.
(chkp_init_check_info): New.
(chkp_gather_checks_info): New
Hi,
This patch adds a removal of checks known to always pass into checker
optimization.
Thanks,
Ilya
--
2014-10-08 Ilya Enkovich ilya.enkov...@intel.com
* tree-chkp.c (chkp_remove_check_if_pass): New.
(chkp_remove_constant_checks): New.
(chkp_opt_execute): Run
Hi,
This patch adds removal of redundant (covered by other) checks into checker
optimization.
Thanks,
Ilya
--
2014-10-08 Ilya Enkovich ilya.enkov...@intel.com
* tree-chkp.c (chkp_compare_checks): New.
(chkp_remove_redundant_checks): New.
(chkp_opt_execute): Run
Hi,
This patch adds a bounds lifetime reduction into checker optimization.
Thanks,
Ilya
--
2014-10-08 Ilya Enkovich ilya.enkov...@intel.com
* tree-chkp.c (chkp_reduce_bounds_lifetime): New.
(chkp_opt_execute): Run bounds lifetime reduction
algorithm.
diff --git a/gcc
Hi,
This patch adds instrumentation passes into passes list.
Thanks,
Ilya
--
gcc/
2014-10-08 Ilya Enkovich ilya.enkov...@intel.com
* passes.def (pass_ipa_chkp_versioning): New.
(pass_early_local_passes): Renamed to pass_build_ssa_passes.
(pass_fixup_cfg): Moved
2014-10-08 23:41 GMT+04:00 Jan Hubicka hubi...@ucw.cz:
+/* Pointer Bounds Checker has two IPA passes to support code
instrumentation.
+
+In instrumented code each pointer is provided with bounds. For input
+pointer parameters it means we also have bounds passed. For calls it
+
2014-10-09 2:40 GMT+04:00 Jan Hubicka hubi...@ucw.cz:
I prevent clone's body from removal and therefore original should call
clone (otherwise clone may have no callers and be removed). I think
call edge may work (need to recall other cases when reference do its
work) but is it OK to have
It appeared I changed a semantics of BNDMK expand when replaced tree operations
with rtl ones.
Original code:
+ op1 = expand_normal (fold_build2 (PLUS_EXPR, TREE_TYPE (arg1),
+ arg1, integer_minus_one_node));
+ op1 = force_reg (Pmode, op1);
On 09 Oct 11:02, Jeff Law wrote:
On 10/08/14 13:18, Ilya Enkovich wrote:
Hi,
This patch introduces simple optimization of string function calls using
variants with no checks and/or bounds copy when possible.
Thanks,
Ilya
--
2014-10-08 Ilya Enkovich ilya.enkov...@intel.com
On 09 Oct 12:09, Jeff Law wrote:
On 10/08/14 13:16, Ilya Enkovich wrote:
Hi,
This patch introduces structures and manipulation functions used by simple
checker optimizations. Structures are used to hold checks information -
type of check and checked address in a polinomial form
On 09 Oct 15:03, Jeff Law wrote:
On 10/08/14 13:08, Ilya Enkovich wrote:
Hi,
This patch adds removal of user calls to chkp builtins which become useless
after instrumentation.
Thanks,
Ilya
--
2014-10-08 Ilya Enkovich ilya.enkov...@intel.com
* tree-chkp.c
2014-10-09 21:41 GMT+04:00 Jeff Law l...@redhat.com:
On 10/08/14 13:22, Ilya Enkovich wrote:
Hi,
This patch adds removal of redundant (covered by other) checks into
checker optimization.
Thanks,
Ilya
--
2014-10-08 Ilya Enkovich ilya.enkov...@intel.com
* tree-chkp.c
1 - 100 of 1026 matches
Mail list logo