Re: [PATCH, Pointer Bounds Checker 6/x] New static constructor types

2014-09-15 Thread Ilya Enkovich
Ping 2014-06-05 15:03 GMT+04:00 Ilya Enkovich enkovich@gmail.com: 2014-06-04 17:35 GMT+04:00 Richard Biener richard.guent...@gmail.com: On Wed, Jun 4, 2014 at 3:13 PM, Ilya Enkovich enkovich@gmail.com wrote: 2014-06-04 13:58 GMT+04:00 Richard Biener richard.guent...@gmail.com: On Wed

Re: [PATCH, Pointer Bounds Checker 20/x] Follow transparent alias chains

2014-09-15 Thread Ilya Enkovich
Ping 2014-06-03 13:01 GMT+04:00 Richard Biener richard.guent...@gmail.com: On Mon, Jun 2, 2014 at 5:15 PM, Ilya Enkovich enkovich@gmail.com wrote: Hi, In the most case we follow transparent alias chains wne assemble names. But in some cases it is not performed. For instrumented

Re: [PATCH, i386, Pointer Bounds Checker 32/x] Pointer Bounds Checker hooks for i386 target

2014-09-15 Thread Ilya Enkovich
Ping 2014-06-11 18:00 GMT+04:00 Ilya Enkovich enkovich@gmail.com: Hi, This patch adds i386 target hooks for Pointer Bounds Checker. Bootstrapped and tested on linux-x86_64. Thanks, Ilya -- gcc/ 2014-06-11 Ilya Enkovich ilya.enkov...@intel.com * config/i386/i386.c

Re: [PATCH, i386, Pointer Bounds Checker 34/x] Vararg functions support

2014-09-15 Thread Ilya Enkovich
Ping 2014-06-11 18:06 GMT+04:00 Ilya Enkovich enkovich@gmail.com: Hi, This patch introduces initialization of incoming bounds for vararg function on i386 target. Bootstrapped and tested on linux-x86_64. Thanks, Ilya -- gcc/ 2014-06-11 Ilya Enkovich ilya.enkov...@intel.com

Re: [PATCH, i386, Pointer Bounds Checker 31/x] Pointer Bounds Checker builtins for i386 target

2014-09-15 Thread Ilya Enkovich
Ping 2014-06-11 17:58 GMT+04:00 Ilya Enkovich enkovich@gmail.com: Hi, This patch adds i386 target builtins for Pointer Bounds Checker. Bootstrapped and tested on linux-x86_64. Thanks, Ilya -- gcc/ 2014-06-11 Ilya Enkovich ilya.enkov...@intel.com * config/i386/i386

Re: [PATCH, i386, Pointer Bounds Checker 33/x] MPX ABI

2014-09-15 Thread Ilya Enkovich
Ping 2014-06-11 18:03 GMT+04:00 Ilya Enkovich enkovich@gmail.com: Hi, This patch adds MPX ABI support for i386 target. Bootstrapped and tested on linux-x86_64. Thanks, Ilya -- gcc/ 2014-06-11 Ilya Enkovich ilya.enkov...@intel.com * config/i386/i386.c

Re: [PATCH, i386, Pointer Bounds Checker 30/x] Size relocation

2014-09-15 Thread Ilya Enkovich
Ping 2014-06-11 12:56 GMT+04:00 Ilya Enkovich enkovich@gmail.com: Hi, This patch adds size relocation support for i386 target. Relocation is used to compute bounds for static objects with incomplete type. Thanks, Ilya -- gcc/ 2014-06-11 Ilya Enkovich ilya.enkov...@intel.com

Re: [PATCH, i386, Pointer Bounds Checker 18/x] Expand instrumented builtin function calls

2014-09-15 Thread Ilya Enkovich
Ping 2014-06-06 13:32 GMT+04:00 Ilya Enkovich enkovich@gmail.com: 2014-06-03 12:46 GMT+04:00 Richard Biener richard.guent...@gmail.com: On Mon, Jun 2, 2014 at 4:51 PM, Ilya Enkovich enkovich@gmail.com wrote: Hi, This patch adds support for normal builtin function calls (target ones

Re: [PATCH, Pointer Bounds Checker 25/x] DCE

2014-09-15 Thread Ilya Enkovich
Ping 2014-06-06 11:00 GMT+04:00 Ilya Enkovich enkovich@gmail.com: On 03 Jun 17:27, Ilya Enkovich wrote: 2014-06-03 15:56 GMT+04:00 Richard Biener richard.guent...@gmail.com: On Tue, Jun 3, 2014 at 1:36 PM, Ilya Enkovich enkovich@gmail.com wrote: 2014-06-03 13:45 GMT+04:00 Richard

Re: [PATCH, Pointer Bounds Checker 26/x] CCP

2014-09-15 Thread Ilya Enkovich
Ping 2014-06-06 11:02 GMT+04:00 Ilya Enkovich enkovich@gmail.com: On 03 Jun 11:54, Richard Biener wrote: On Tue, Jun 3, 2014 at 9:38 AM, Ilya Enkovich enkovich@gmail.com wrote: Hi, This patch allows BUILT_IN_CHKP_BNDRET as a consumer of a result of BUILT_IN_STACK_SAVE call

Re: [PATCH, Pointer Bounds Checker 19/x] Support bounds in expand

2014-09-15 Thread Ilya Enkovich
Ping 2014-06-05 18:46 GMT+04:00 Ilya Enkovich enkovich@gmail.com: On 04 Jun 16:36, Michael Matz wrote: Hi, On Mon, 2 Jun 2014, Ilya Enkovich wrote: There is exactly one place (except for the self-recursive ones) where you call the new store_expr with a non-null argument for bounds

Re: [PATCH, Pointer Bounds Checker 22/x] Inline

2014-09-15 Thread Ilya Enkovich
Ping 2014-08-18 19:35 GMT+04:00 Ilya Enkovich enkovich@gmail.com: On 06 Jun 11:59, Ilya Enkovich wrote: 2014-06-03 13:07 GMT+04:00 Richard Biener richard.guent...@gmail.com: On Mon, Jun 2, 2014 at 5:56 PM, Ilya Enkovich enkovich@gmail.com wrote: + + /* If indirect call has

Re: [PATCH, Pointer Bounds Checker 9/x] Cgraph extension

2014-09-15 Thread Ilya Enkovich
On 03 Sep 13:32, Jeff Law wrote: On 07/24/14 03:59, Ilya Enkovich wrote: -- 2014-07-24 Ilya Enkovich ilya.enkov...@intel.com * cgraph.h (cgraph_thunk_info): Add add_pointer_bounds_args field. (cgraph_node): Add instrumented_version, orig_decl

Re: [PATCH, Pointer Bounds Checker 24/x] PRE

2014-09-15 Thread Ilya Enkovich
On 03 Sep 13:25, Jeff Law wrote: On 08/18/14 07:02, Ilya Enkovich wrote: On 03 Jun 11:33, Richard Biener wrote: On Tue, Jun 3, 2014 at 9:13 AM, Ilya Enkovich enkovich@gmail.com wrote: Hi, This patch preserves CALL_WITH_BOUNDS flag for calls during PRE. Ok. Richard. Merging

Re: [PATCH, Pointer Bounds Checker 23/x] Function split

2014-09-15 Thread Ilya Enkovich
2014-09-03 23:12 GMT+04:00 Jeff Law l...@redhat.com: On 08/18/14 09:55, Ilya Enkovich wrote: On 04 Jun 01:15, Jeff Law wrote: On 06/03/14 01:10, Ilya Enkovich wrote: Hi, This patch does not allow splitting in case bounds are returned until retutrned bounds are supported. It also

Re: [PATCH, Pointer Bounds Checker 26/x] CCP

2014-09-15 Thread Ilya Enkovich
On 15 Sep 09:20, Jeff Law wrote: On 09/15/14 01:20, Ilya Enkovich wrote: 2014-06-05 Ilya Enkovich ilya.enkov...@intel.com * tree-ssa-ccp.c: Include tree-chkp.h. (insert_clobber_before_stack_restore): Handle BUILT_IN_CHKP_BNDRET calls. diff --git a/gcc

Re: [PATCH, Pointer Bounds Checker 23/x] Function split

2014-09-15 Thread Ilya Enkovich
2014-09-15 19:39 GMT+04:00 Jeff Law l...@redhat.com: On 09/15/14 03:51, Ilya Enkovich wrote: 2014-08-15 Ilya Enkovich ilya.enkov...@intel.com * ipa-split.c: Include tree-chkp.h. (find_retbnd): New. (consider_split): Do not split retbnd and retval

Re: Enable EBX for x86 in 32bits PIC code

2014-08-29 Thread Ilya Enkovich
2014-08-28 12:28 GMT+04:00 Ilya Enkovich enkovich@gmail.com: 2014-08-28 0:19 GMT+04:00 Vladimir Makarov vmaka...@redhat.com: On 2014-08-26 5:42 PM, Ilya Enkovich wrote: Hi, Here is a patch I tried. I apply it over revision 214215. Unfortunately I do not have a small reproducer

Re: Enable EBX for x86 in 32bits PIC code

2014-08-29 Thread Ilya Enkovich
2014-08-28 22:58 GMT+04:00 Uros Bizjak ubiz...@gmail.com: On Fri, Aug 22, 2014 at 2:21 PM, Ilya Enkovich enkovich@gmail.com wrote: On Cauldron 2014 we had a couple of talks about relaxation of ebx usage in 32bit PIC mode. It was decided that the best approach would be to not fix ebx

Re: Enable EBX for x86 in 32bits PIC code

2014-08-29 Thread Ilya Enkovich
2014-08-28 12:28 GMT+04:00 Ilya Enkovich enkovich@gmail.com: 2014-08-28 0:19 GMT+04:00 Vladimir Makarov vmaka...@redhat.com: On 2014-08-26 5:42 PM, Ilya Enkovich wrote: Hi, Here is a patch I tried. I apply it over revision 214215. Unfortunately I do not have a small reproducer

Re: Enable EBX for x86 in 32bits PIC code

2014-08-29 Thread Ilya Enkovich
2014-08-28 22:58 GMT+04:00 Uros Bizjak ubiz...@gmail.com: On Fri, Aug 22, 2014 at 2:21 PM, Ilya Enkovich enkovich@gmail.com wrote: On Cauldron 2014 we had a couple of talks about relaxation of ebx usage in 32bit PIC mode. It was decided that the best approach would be to not fix ebx

Re: Enable EBX for x86 in 32bits PIC code

2014-08-28 Thread Ilya Enkovich
2014-08-28 0:19 GMT+04:00 Vladimir Makarov vmaka...@redhat.com: On 2014-08-26 5:42 PM, Ilya Enkovich wrote: Hi, Here is a patch I tried. I apply it over revision 214215. Unfortunately I do not have a small reproducer but the problem can be easily reproduced on SPEC2000 benchmark 175.vpr

Re: Enable EBX for x86 in 32bits PIC code

2014-08-28 Thread Ilya Enkovich
2014-08-28 1:39 GMT+04:00 Jeff Law l...@redhat.com: On 08/26/14 15:42, Ilya Enkovich wrote: diff --git a/gcc/calls.c b/gcc/calls.c index 4285ec1..85dae6b 100644 --- a/gcc/calls.c +++ b/gcc/calls.c @@ -1122,6 +1122,14 @@ initialize_argument_information (int num_actuals ATTRIBUTE_UNUSED

Re: Enable EBX for x86 in 32bits PIC code

2014-08-28 Thread Ilya Enkovich
2014-08-28 16:42 GMT+04:00 Uros Bizjak ubiz...@gmail.com: On Thu, Aug 28, 2014 at 10:37 AM, Ilya Enkovich enkovich@gmail.com wrote: 2014-08-28 1:39 GMT+04:00 Jeff Law l...@redhat.com: On 08/26/14 15:42, Ilya Enkovich wrote: diff --git a/gcc/calls.c b/gcc/calls.c index 4285ec1..85dae6b

Re: Enable EBX for x86 in 32bits PIC code

2014-08-28 Thread Ilya Enkovich
2014-08-28 17:01 GMT+04:00 Uros Bizjak ubiz...@gmail.com: On Fri, Aug 22, 2014 at 2:21 PM, Ilya Enkovich enkovich@gmail.com wrote: Hi, On Cauldron 2014 we had a couple of talks about relaxation of ebx usage in 32bit PIC mode. It was decided that the best approach would be to not fix

Re: Enable EBX for x86 in 32bits PIC code

2014-08-28 Thread Ilya Enkovich
2014-08-28 17:08 GMT+04:00 Uros Bizjak ubiz...@gmail.com: On Thu, Aug 28, 2014 at 2:54 PM, Ilya Enkovich enkovich@gmail.com wrote: diff --git a/gcc/calls.c b/gcc/calls.c index 4285ec1..85dae6b 100644 --- a/gcc/calls.c +++ b/gcc/calls.c @@ -1122,6 +1122,14

Re: Enable EBX for x86 in 32bits PIC code

2014-08-28 Thread Ilya Enkovich
2014-08-28 0:19 GMT+04:00 Vladimir Makarov vmaka...@redhat.com: On 2014-08-26 5:42 PM, Ilya Enkovich wrote: Hi, Here is a patch I tried. I apply it over revision 214215. Unfortunately I do not have a small reproducer but the problem can be easily reproduced on SPEC2000 benchmark 175.vpr

Re: Enable EBX for x86 in 32bits PIC code

2014-08-28 Thread Ilya Enkovich
2014-08-28 1:39 GMT+04:00 Jeff Law l...@redhat.com: On 08/26/14 15:42, Ilya Enkovich wrote: diff --git a/gcc/calls.c b/gcc/calls.c index 4285ec1..85dae6b 100644 --- a/gcc/calls.c +++ b/gcc/calls.c @@ -1122,6 +1122,14 @@ initialize_argument_information (int num_actuals ATTRIBUTE_UNUSED

Re: Enable EBX for x86 in 32bits PIC code

2014-08-28 Thread Ilya Enkovich
2014-08-28 16:42 GMT+04:00 Uros Bizjak ubiz...@gmail.com: On Thu, Aug 28, 2014 at 10:37 AM, Ilya Enkovich enkovich@gmail.com wrote: 2014-08-28 1:39 GMT+04:00 Jeff Law l...@redhat.com: On 08/26/14 15:42, Ilya Enkovich wrote: diff --git a/gcc/calls.c b/gcc/calls.c index 4285ec1..85dae6b

Re: Enable EBX for x86 in 32bits PIC code

2014-08-28 Thread Ilya Enkovich
2014-08-28 17:01 GMT+04:00 Uros Bizjak ubiz...@gmail.com: On Fri, Aug 22, 2014 at 2:21 PM, Ilya Enkovich enkovich@gmail.com wrote: Hi, On Cauldron 2014 we had a couple of talks about relaxation of ebx usage in 32bit PIC mode. It was decided that the best approach would be to not fix

Re: Enable EBX for x86 in 32bits PIC code

2014-08-28 Thread Ilya Enkovich
2014-08-28 17:08 GMT+04:00 Uros Bizjak ubiz...@gmail.com: On Thu, Aug 28, 2014 at 2:54 PM, Ilya Enkovich enkovich@gmail.com wrote: diff --git a/gcc/calls.c b/gcc/calls.c index 4285ec1..85dae6b 100644 --- a/gcc/calls.c +++ b/gcc/calls.c @@ -1122,6 +1122,14

Re: Enable EBX for x86 in 32bits PIC code

2014-08-26 Thread Ilya Enkovich
2014-08-25 19:08 GMT+04:00 Vladimir Makarov vmaka...@redhat.com: On 2014-08-22 8:21 AM, Ilya Enkovich wrote: Hi, On Cauldron 2014 we had a couple of talks about relaxation of ebx usage in 32bit PIC mode. It was decided that the best approach would be to not fix ebx register, use speudo

Re: Enable EBX for x86 in 32bits PIC code

2014-08-26 Thread Ilya Enkovich
2014-08-26 11:49 GMT+04:00 Ilya Enkovich enkovich@gmail.com: 2014-08-25 19:08 GMT+04:00 Vladimir Makarov vmaka...@redhat.com: On 2014-08-22 8:21 AM, Ilya Enkovich wrote: Hi, On Cauldron 2014 we had a couple of talks about relaxation of ebx usage in 32bit PIC mode. It was decided

Re: Enable EBX for x86 in 32bits PIC code

2014-08-26 Thread Ilya Enkovich
On 26 Aug 11:25, Vladimir Makarov wrote: On 08/26/2014 04:57 AM, Ilya Enkovich wrote: I've looked into one of fails. There is still a problem with allocation in reload. Here is a piece of code which uses float constant: (insn 1199 1198 1200 96 (set (reg:SI 3 bx) (reg:SI 1301

Re: Enable EBX for x86 in 32bits PIC code

2014-08-26 Thread Ilya Enkovich
On 26 Aug 11:25, Vladimir Makarov wrote: On 08/26/2014 04:57 AM, Ilya Enkovich wrote: I've looked into one of fails. There is still a problem with allocation in reload. Here is a piece of code which uses float constant: (insn 1199 1198 1200 96 (set (reg:SI 3 bx) (reg:SI 1301

Re: Enable EBX for x86 in 32bits PIC code

2014-08-26 Thread Ilya Enkovich
2014-08-25 19:08 GMT+04:00 Vladimir Makarov vmaka...@redhat.com: On 2014-08-22 8:21 AM, Ilya Enkovich wrote: Hi, On Cauldron 2014 we had a couple of talks about relaxation of ebx usage in 32bit PIC mode. It was decided that the best approach would be to not fix ebx register, use speudo

Re: Enable EBX for x86 in 32bits PIC code

2014-08-26 Thread Ilya Enkovich
2014-08-26 11:49 GMT+04:00 Ilya Enkovich enkovich@gmail.com: 2014-08-25 19:08 GMT+04:00 Vladimir Makarov vmaka...@redhat.com: On 2014-08-22 8:21 AM, Ilya Enkovich wrote: Hi, On Cauldron 2014 we had a couple of talks about relaxation of ebx usage in 32bit PIC mode. It was decided

Re: Enable EBX for x86 in 32bits PIC code

2014-08-25 Thread Ilya Enkovich
2014-08-23 5:47 GMT+04:00 Hans-Peter Nilsson h...@bitrange.com: (Dropping gcc@ and people known to subscribe to gcc-patches from the CC.) Sorry for the drive-by review, but... On Fri, 22 Aug 2014, Ilya Enkovich wrote: Hi, On Cauldron 2014 we had a couple of talks about relaxation of ebx

Re: Enable EBX for x86 in 32bits PIC code

2014-08-25 Thread Ilya Enkovich
2014-08-25 15:24 GMT+04:00 Hans-Peter Nilsson h...@bitrange.com: On Mon, 25 Aug 2014, Ilya Enkovich wrote: 2014-08-23 5:47 GMT+04:00 Hans-Peter Nilsson h...@bitrange.com: ...did you send the right version of the patch? This one uses the RTX-returning hook only in boolean tests, unless I

Re: [PATCH] Fix wrong refactoring in cgraph_node::function_symbol

2014-08-25 Thread Ilya Enkovich
2014-08-22 16:36 GMT+04:00 Martin Liška mli...@suse.cz: On 08/13/2014 02:25 PM, Ilya Enkovich wrote: Hi, This patch is to fix wrong refactoring for cgraph_node::function_symbol introduced by this patch: https://gcc.gnu.org/ml/gcc-cvs/2014-07/msg00805.html. Here is how function

Re: Enable EBX for x86 in 32bits PIC code

2014-08-22 Thread Ilya Enkovich
Hi, On Cauldron 2014 we had a couple of talks about relaxation of ebx usage in 32bit PIC mode. It was decided that the best approach would be to not fix ebx register, use speudo register for GOT base address and let allocator do the rest. This should be similar to how clang and icc work with

Re: Enable EBX for x86 in 32bits PIC code

2014-08-22 Thread Ilya Enkovich
Hi, On Cauldron 2014 we had a couple of talks about relaxation of ebx usage in 32bit PIC mode. It was decided that the best approach would be to not fix ebx register, use speudo register for GOT base address and let allocator do the rest. This should be similar to how clang and icc work with

Re: [PATCH] Avoid redundant indirect_info computation during inderct edge cloning

2014-08-18 Thread Ilya Enkovich
computation. Bootstrapped and regtested on linux-x86_64. Does it look OK for trunk? OK, plase also add testcase from https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61800 Thanks, Honza Here is a version with testcase to be committed. Thanks, Ilya -- gcc/ 2014-08-18 Ilya Enkovich ilya.enkov

Re: [PATCH, Pointer Bounds Checker 24/x] PRE

2014-08-18 Thread Ilya Enkovich
On 03 Jun 11:33, Richard Biener wrote: On Tue, Jun 3, 2014 at 9:13 AM, Ilya Enkovich enkovich@gmail.com wrote: Hi, This patch preserves CALL_WITH_BOUNDS flag for calls during PRE. Ok. Richard. Merging with the trunk I found that op2 field of vn_reference_op_struct is now used

[PATCH, Pointer Bounds Checker 36/x] IPA pure const

2014-08-18 Thread Ilya Enkovich
Hi, This small patch adds support for new reference type for IPA pure const analysis. Thanks, Ilya -- 2014-08-15 Ilya Enkovich ilya.enkov...@intel.com * ipa-pure-const.c (propagate_pure_const): Support IPA_REF_CHKP. diff --git a/gcc/ipa-pure-const.c b/gcc/ipa-pure-const.c

[PATCH, Pointer Bounds Checker 37/x] Support va_arg_pack and va_arg_pack_len

2014-08-18 Thread Ilya Enkovich
Ilya Enkovich ilya.enkov...@intel.com * tree-inline.c (copy_bb): Properly handle bounds in va_arg_pack and va_arg_pack_len. diff --git a/gcc/tree-inline.c b/gcc/tree-inline.c index 6ec1a81..03e7e2f 100644 --- a/gcc/tree-inline.c +++ b/gcc/tree-inline.c @@ -1767,13 +1767,29

Re: [PATCH, Pointer Bounds Checker 22/x] Inline

2014-08-18 Thread Ilya Enkovich
On 06 Jun 11:59, Ilya Enkovich wrote: 2014-06-03 13:07 GMT+04:00 Richard Biener richard.guent...@gmail.com: On Mon, Jun 2, 2014 at 5:56 PM, Ilya Enkovich enkovich@gmail.com wrote: + + /* If indirect call has following BUILT_IN_CHKP_BNDRET +call then we need to make

Re: [PATCH, Pointer Bounds Checker 23/x] Function split

2014-08-18 Thread Ilya Enkovich
On 04 Jun 01:15, Jeff Law wrote: On 06/03/14 01:10, Ilya Enkovich wrote: Hi, This patch does not allow splitting in case bounds are returned until retutrned bounds are supported. It also propagates instrumentation marks for generated call and function. Bootstrapped and tested on linux

Re: [PATCH, Pointer Bounds Checker 3/x] Target hooks for Pointer Bounds Checker

2014-08-15 Thread Ilya Enkovich
On 17 Jul 03:36, Jeff Law wrote: On 04/16/14 05:52, Ilya Enkovich wrote: diff --git a/gcc/doc/tm.texi b/gcc/doc/tm.texi index b8ca17e..d868129 100644 --- a/gcc/doc/tm.texi +++ b/gcc/doc/tm.texi @@ -4333,6 +4333,13 @@ This hook returns the va_list type of the calling convention specified

Re: [PATCH PR62011]

2014-08-14 Thread Ilya Enkovich
2014-08-14 18:00 GMT+04:00 Alexander Monakov amona...@ispras.ru: On Thu, 14 Aug 2014, Yuri Rumyantsev wrote: Hi All, Here is a fix for PR 62011 - remove false dependency for unary bit-manipulation instructions for latest BigCore chips (Sandybridge and Haswell) by outputting in assembly

[PATCH] Avoid redundant indirect_info computation during inderct edge cloning

2014-08-14 Thread Ilya Enkovich
for trunk? Thanks, Ilya -- 2014-08-15 Ilya Enkovich ilya.enkov...@intel.com * cgraph.h (cgraph_node::create_indirect_edge): Add compute_indirect_info param. * cgraph.c (cgraph_node::create_indirect_edge): Compute indirect_info only when it is required

[PATCH] Fix wrong refactoring in cgraph_node::function_symbol

2014-08-13 Thread Ilya Enkovich
and regtested on linux-x86_64. OK for trunk? Thanks, Ilya -- 2014-08-13 Ilya Enkovich ilya.enkov...@intel.com * cgraph.c (cgraph_node::function_symbol): Fix wrong cgraph_function_node to cgraph_node::function_symbol refactoring. diff --git a/gcc/cgraph.c b/gcc/cgraph.c

Re: [PATCH] Fix wrong refactoring in cgraph_node::function_symbol

2014-08-13 Thread Ilya Enkovich
2014-08-13 16:48 GMT+04:00 Richard Biener richard.guent...@gmail.com: On Wed, Aug 13, 2014 at 2:25 PM, Ilya Enkovich enkovich@gmail.com wrote: Hi, This patch is to fix wrong refactoring for cgraph_node::function_symbol introduced by this patch: https://gcc.gnu.org/ml/gcc-cvs/2014-07

[PATCH] Remove current_function_decl usage from get_polymorphic_call_info

2014-08-13 Thread Ilya Enkovich
segfault. Also even within a GIMPLE pass it seems wrong to use current_function_decl because examined call may belong to another function and passed fndecl should be used instead. Proposed patch was bootstrapped and regtested on linux-x86_64. OK for trunk? Thanks, Ilya -- 2014-08-13 Ilya

Re: [PATCH, Pointer Bounds Checker 27/x] Strlen

2014-08-05 Thread Ilya Enkovich
eOn 31 Jul 14:07, Ilya Enkovich wrote: 2014-06-11 12:22 GMT+04:00 Jakub Jelinek ja...@redhat.com: On Wed, Jun 11, 2014 at 12:14:14PM +0400, Ilya Enkovich wrote: This patch adds instrumented code support for strlen optimization. Bootstrapped and tested on linux-x86_64. Does it look OK

Re: [PATCH, Pointer Bounds Checker 27/x] Strlen

2014-07-31 Thread Ilya Enkovich
2014-06-11 12:22 GMT+04:00 Jakub Jelinek ja...@redhat.com: On Wed, Jun 11, 2014 at 12:14:14PM +0400, Ilya Enkovich wrote: This patch adds instrumented code support for strlen optimization. Bootstrapped and tested on linux-x86_64. Does it look OK? Ugh, this looks terribly ugly. So you

Re: [PATCH, Pointer Bounds Checker 9/x] Cgraph extension

2014-07-25 Thread Ilya Enkovich
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

Re: [PATCH, Pointer Bounds Checker 9/x] Cgraph extension

2014-07-24 Thread Ilya Enkovich
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

Re: [PATCH, Pointer Bounds Checker 9/x] Cgraph extension

2014-07-24 Thread Ilya Enkovich
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

Re: [PATCH, i386] Add prefixes avoidance tuning for silvermont target

2014-07-15 Thread Ilya Enkovich
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

Re: [PATCH, i386] Add prefixes avoidance tuning for silvermont target

2014-07-15 Thread Ilya Enkovich
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

Re: [PATCH, i386] Add prefixes avoidance tuning for silvermont target

2014-07-14 Thread Ilya Enkovich
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

Re: Enable EBX for x86 in 32bits PIC code

2014-07-07 Thread Ilya Enkovich
2014-07-07 15:47 GMT+04:00 Jakub Jelinek ja...@redhat.com: On Mon, Jul 07, 2014 at 03:35:06PM +0400, Evgeny Stupachenko wrote: The key problem here is that EBX is not used in register allocation. If we relax the restriction on EBX the performance is back, but there are several fails. Some of

Re: [PATCH, i386] Add prefixes avoidance tuning for silvermont target

2014-07-03 Thread Ilya Enkovich
). 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

Re: [PATCH, i386] Add prefixes avoidance tuning for silvermont target

2014-07-03 Thread Ilya Enkovich
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

Re: [PATCH, i386] Add prefixes avoidance tuning for silvermont target

2014-07-03 Thread Ilya Enkovich
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

Re: [PATCH, i386] Add prefixes avoidance tuning for silvermont target

2014-07-03 Thread Ilya Enkovich
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

Re: [PATCH, i386] Add prefixes avoidance tuning for silvermont target

2014-07-03 Thread Ilya Enkovich
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

Re: [PATCH, i386] Add prefixes avoidance tuning for silvermont target

2014-07-03 Thread Ilya Enkovich
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

[PATCH, i386] Add prefixes avoidance tuning for silvermont target

2014-07-02 Thread Ilya Enkovich
% 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

Re: [PATCH, Pointer Bounds Checker 3/x] Target hooks for Pointer Bounds Checker

2014-06-27 Thread Ilya Enkovich
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

Re: [PATCH, Pointer Bounds Checker 4/x] Built-in functions

2014-06-27 Thread Ilya Enkovich
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

Re: [PATCH, Pointer Bounds Checker 9/x] Cgraph extension

2014-06-27 Thread Ilya Enkovich
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

Re: [PATCH, Pointer Bounds Checker 35/x] Fix object size emitted for structures with flexible arrays

2014-06-16 Thread Ilya Enkovich
2014-06-13 19:40 GMT+04:00 Jeff Law l...@redhat.com: On 06/12/14 17:38, Ilya Enkovich wrote: It looks ok to me - did you test with all languages? In particular did you test Ada? I configure compiler with no language disabling and then run bootstrap and make check. Does it mean all

Re: [PATCH, Pointer Bounds Checker 35/x] Fix object size emitted for structures with flexible arrays

2014-06-12 Thread Ilya Enkovich
2014-06-12 11:55 GMT+04:00 Richard Biener richard.guent...@gmail.com: On Wed, Jun 11, 2014 at 6:08 PM, Ilya Enkovich enkovich@gmail.com wrote: Hi, This patch fixes problem with size emitted for static structures with flexible array. I found a couple of trackers in guzilla

[PATCH, Pointer Bounds Checker 27/x] Strlen

2014-06-11 Thread Ilya Enkovich
Hi, This patch adds instrumented code support for strlen optimization. Bootstrapped and tested on linux-x86_64. Does it look OK? Thanks, Ilya -- gcc/ 2014-06-09 Ilya Enkovich ilya.enkov...@intel.com * tree-ssa-strlen.c: include tree-chkp.h. (get_string_length): Handle calls

[PATCH, Pointer Bounds Checker 28/x] IPA CP

2014-06-11 Thread Ilya Enkovich
Hi, This patch fixes IPA CP pass to handle instrumented code correctly. Bootstrapped and tested on linux-x86_64. Thanks, Ilya -- gcc/ 2014-06-11 Ilya Enkovich ilya.enkov...@intel.com * ipa-cp.c (initialize_node_lattices): Check original version locality for instrumentation

Re: [PATCH, Pointer Bounds Checker 27/x] Strlen

2014-06-11 Thread Ilya Enkovich
2014-06-11 12:22 GMT+04:00 Jakub Jelinek ja...@redhat.com: On Wed, Jun 11, 2014 at 12:14:14PM +0400, Ilya Enkovich wrote: This patch adds instrumented code support for strlen optimization. Bootstrapped and tested on linux-x86_64. Does it look OK? Ugh, this looks terribly ugly. So you

[PATCH, Pointer Bounds Checker 29/x] Debug info

2014-06-11 Thread Ilya Enkovich
Hi, This patch skips all bounds during debug info generation. Bootstrapped and tested on linux-x86_64. Thanks, Ilya -- gcc/ 2014-06-11 Ilya Enkovich ilya.enkov...@intel.com * dbxout.c (dbxout_type): Ignore POINTER_BOUNDS_TYPE. * dwarf2out.c (gen_subprogram_die): Ignore bound

[PATCH, i386, Pointer Bounds Checker 30/x] Size relocation

2014-06-11 Thread Ilya Enkovich
Hi, This patch adds size relocation support for i386 target. Relocation is used to compute bounds for static objects with incomplete type. Thanks, Ilya -- gcc/ 2014-06-11 Ilya Enkovich ilya.enkov...@intel.com * config/i386/i386.md (UNSPEC_SIZEOF): New. (move_size_reloc_si

Re: [PATCH, Pointer Bounds Checker 27/x] Strlen

2014-06-11 Thread Ilya Enkovich
2014-06-11 12:55 GMT+04:00 Jakub Jelinek ja...@redhat.com: On Wed, Jun 11, 2014 at 12:44:29PM +0400, Ilya Enkovich wrote: 2014-06-11 12:22 GMT+04:00 Jakub Jelinek ja...@redhat.com: On Wed, Jun 11, 2014 at 12:14:14PM +0400, Ilya Enkovich wrote: This patch adds instrumented code support

Re: [PATCH, Pointer Bounds Checker 27/x] Strlen

2014-06-11 Thread Ilya Enkovich
2014-06-11 13:00 GMT+04:00 Marek Polacek pola...@redhat.com: On Wed, Jun 11, 2014 at 12:14:14PM +0400, Ilya Enkovich wrote: This patch adds instrumented code support for strlen optimization. Bootstrapped and tested on linux-x86_64. Does it look OK? I haven't followed the Pointer Bounds

Re: [PATCH, Pointer Bounds Checker 28/x] IPA CP

2014-06-11 Thread Ilya Enkovich
2014-06-11 13:45 GMT+04:00 Martin Jambor mjam...@suse.cz: Hi, On Wed, Jun 11, 2014 at 12:24:57PM +0400, Ilya Enkovich wrote: Hi, This patch fixes IPA CP pass to handle instrumented code correctly. Bootstrapped and tested on linux-x86_64. Thanks, Ilya -- gcc/ 2014-06-11 Ilya

Re: [PATCH, Pointer Bounds Checker 28/x] IPA CP

2014-06-11 Thread Ilya Enkovich
On 11 Jun 15:07, Ilya Enkovich wrote: 2014-06-11 13:45 GMT+04:00 Martin Jambor mjam...@suse.cz: Hi, On Wed, Jun 11, 2014 at 12:24:57PM +0400, Ilya Enkovich wrote: Hi, This patch fixes IPA CP pass to handle instrumented code correctly. Bootstrapped and tested on linux-x86_64

[PATCH, i386, Pointer Bounds Checker 32/x] Pointer Bounds Checker hooks for i386 target

2014-06-11 Thread Ilya Enkovich
Hi, This patch adds i386 target hooks for Pointer Bounds Checker. Bootstrapped and tested on linux-x86_64. Thanks, Ilya -- gcc/ 2014-06-11 Ilya Enkovich ilya.enkov...@intel.com * config/i386/i386.c: Include tree-iterator.h. (ix86_function_value_bounds): New

[PATCH, i386, Pointer Bounds Checker 33/x] MPX ABI

2014-06-11 Thread Ilya Enkovich
Hi, This patch adds MPX ABI support for i386 target. Bootstrapped and tested on linux-x86_64. Thanks, Ilya -- gcc/ 2014-06-11 Ilya Enkovich ilya.enkov...@intel.com * config/i386/i386.c (ix86_option_override_internal): Do not support x32 with MPX. is not available

[PATCH, i386, Pointer Bounds Checker 31/x] Pointer Bounds Checker builtins for i386 target

2014-06-11 Thread Ilya Enkovich
Hi, This patch adds i386 target builtins for Pointer Bounds Checker. Bootstrapped and tested on linux-x86_64. Thanks, Ilya -- gcc/ 2014-06-11 Ilya Enkovich ilya.enkov...@intel.com * config/i386/i386-builtin-types.def (BND): New. (ULONG): New. (BND_FTYPE_PCVOID_ULONG

[PATCH, i386, Pointer Bounds Checker 34/x] Vararg functions support

2014-06-11 Thread Ilya Enkovich
Hi, This patch introduces initialization of incoming bounds for vararg function on i386 target. Bootstrapped and tested on linux-x86_64. Thanks, Ilya -- gcc/ 2014-06-11 Ilya Enkovich ilya.enkov...@intel.com * config/i386/i386.c (ix86_setup_incoming_varargs): New

[PATCH, Pointer Bounds Checker 35/x] Fix object size emitted for structures with flexible arrays

2014-06-11 Thread Ilya Enkovich
and false bounds violations. Following patch uses DECL_SIZE_UNIT instead of type size and works well for me. Does it look OK? Bootstrapped and tested on linux-x86_64. Thanks, Ilya -- gcc/ 2014-06-11 Ilya Enkovich ilya.enkov...@intel.com * config/elfos.h (ASM_DECLARE_OBJECT_NAME): Use

Re: [PATCH, PR61446] Fix mode for register copy in REE pass

2014-06-11 Thread Ilya Enkovich
On 11 Jun 14:59, Uros Bizjak wrote: On Tue, Jun 10, 2014 at 3:45 PM, Dominique Dhumieres domi...@lps.ens.fr wrote: This patch fixes PR61446. ... Confirmed, it also allows to bootstrap Core* targets. Could it be reviewed and committed ASAP? 2014-06-09 Ilya Enkovich ilya.enkov

Re: [PATCH, PR61446] Fix mode for register copy in REE pass

2014-06-11 Thread Ilya Enkovich
On 11 Jun 22:47, Uros Bizjak wrote: This should read: /* { dg-do compile { target { ia32 } } } */ /* { dg-options -O2 -march=corei7 -mfpmath=387 } */ The x86 part is OK with this change. Uros. Thanks for comment! Here is a fixed version. Ilya -- gcc/ 2014-06-11 Ilya Enkovich

[PATCH, PR61446] Fix mode for register copy in REE pass

2014-06-10 Thread Ilya Enkovich
on linux-x86_64. Does it look OK? Thanks, Ilya -- 2014-06-09 Ilya Enkovich ilya.enkov...@intel.com PR 61446 * ree.c (find_and_remove_re): Narrow mode for register copy if required. diff --git a/gcc/ChangeLog.pr61446 b/gcc/ChangeLog.pr61446 new file mode 100644 index

Re: [PATCH, Pointer Bounds Checker 25/x] DCE

2014-06-06 Thread Ilya Enkovich
On 03 Jun 17:27, Ilya Enkovich wrote: 2014-06-03 15:56 GMT+04:00 Richard Biener richard.guent...@gmail.com: On Tue, Jun 3, 2014 at 1:36 PM, Ilya Enkovich enkovich@gmail.com wrote: 2014-06-03 13:45 GMT+04:00 Richard Biener richard.guent...@gmail.com: On Tue, Jun 3, 2014 at 9:23 AM

Re: [PATCH, Pointer Bounds Checker 26/x] CCP

2014-06-06 Thread Ilya Enkovich
On 03 Jun 11:54, Richard Biener wrote: On Tue, Jun 3, 2014 at 9:38 AM, Ilya Enkovich enkovich@gmail.com wrote: Hi, This patch allows BUILT_IN_CHKP_BNDRET as a consumer of a result of BUILT_IN_STACK_SAVE call. Bootstrapped and tested on linux-x86_64. Thanks, Ilya -- gcc

Re: [PATCH, Pointer Bounds Checker 22/x] Inline

2014-06-06 Thread Ilya Enkovich
2014-06-03 13:07 GMT+04:00 Richard Biener richard.guent...@gmail.com: On Mon, Jun 2, 2014 at 5:56 PM, Ilya Enkovich enkovich@gmail.com wrote: Hi, This patch adds support for inlining instrumented calls. Changes are mostly to support returned bounds. Also generated mem-to-mem

Re: [PATCH, i386, Pointer Bounds Checker 17/x] Pointer bounds constants support

2014-06-06 Thread Ilya Enkovich
2014-06-04 10:58 GMT+04:00 Jeff Law l...@redhat.com: On 06/02/14 04:25, Ilya Enkovich wrote: Hi, This patch adds support for pointer bounds constants to be used as DECL_INITIAL for constant bounds (like zero bounds). Bootstrapped and tested on linux-x86_64. Thanks, Ilya -- gcc/ 2014

Re: [PATCH, i386, Pointer Bounds Checker 18/x] Expand instrumented builtin function calls

2014-06-06 Thread Ilya Enkovich
2014-06-03 12:46 GMT+04:00 Richard Biener richard.guent...@gmail.com: On Mon, Jun 2, 2014 at 4:51 PM, Ilya Enkovich enkovich@gmail.com wrote: Hi, This patch adds support for normal builtin function calls (target ones are not instrumented). The basic idea of the patch is to make call

Re: [PATCH, Pointer Bounds Checker 23/x] Function split

2014-06-06 Thread Ilya Enkovich
2014-06-04 11:15 GMT+04:00 Jeff Law l...@redhat.com: On 06/03/14 01:10, Ilya Enkovich wrote: Hi, This patch does not allow splitting in case bounds are returned until retutrned bounds are supported. It also propagates instrumentation marks for generated call and function. Bootstrapped

Re: [PATCH, Pointer Bounds Checker 6/x] New static constructor types

2014-06-05 Thread Ilya Enkovich
2014-06-04 17:35 GMT+04:00 Richard Biener richard.guent...@gmail.com: On Wed, Jun 4, 2014 at 3:13 PM, Ilya Enkovich enkovich@gmail.com wrote: 2014-06-04 13:58 GMT+04:00 Richard Biener richard.guent...@gmail.com: On Wed, Apr 16, 2014 at 2:33 PM, Ilya Enkovich enkovich@gmail.com wrote

Re: [PATCH, Pointer Bounds Checker 13/x] Early versioning

2014-06-05 Thread Ilya Enkovich
On 04 Jun 11:59, Richard Biener wrote: On Wed, Jun 4, 2014 at 8:46 AM, Jeff Law l...@redhat.com wrote: On 06/03/14 03:29, Richard Biener wrote: On Tue, Jun 3, 2014 at 7:55 AM, Ilya Enkovich enkovich@gmail.com wrote: 2014-06-02 21:27 GMT+04:00 Jeff Law l...@redhat.com: On 06/02

<    3   4   5   6   7   8   9   10   11   >