Ping
2013/8/19 Ilya Enkovich :
> Ping
>
> 2013/8/12 Ilya Enkovich :
>> 2013/8/10 Joseph S. Myers :
>>> On Mon, 29 Jul 2013, Ilya Enkovich wrote:
>>>
>>>> Hi,
>>>>
>>>> Here is updated version of the patch. I removed redund
Ping^4
Could please someone look at this patch? It is mostly i386 target
specific and is basic for further MPX based features.
Thanks,
Ilya
2013/9/2 Ilya Enkovich :
> Ping^3
>
> Attached is the same patch but against the current trunk.
>
> 2013/8/26 Ilya Enkovich :
>> Ping
2013/9/11 Uros Bizjak :
> On Tue, Sep 10, 2013 at 1:38 PM, Ilya Enkovich wrote:
>> Ping^4
>>
>> Could please someone look at this patch? It is mostly i386 target
>> specific and is basic for further MPX based features.
>>
>> Thanks,
>> I
Hi,
Here is a patch introducing new type and mode for bounds. It is a part of MPX
ISA support patch (http://gcc.gnu.org/ml/gcc-patches/2013-07/msg01094.html).
Bootstrapped and tested on linux-x86_64. Is it OK for trunk?
Thanks,
Ilya
--
gcc/
2013-09-16 Ilya Enkovich
* mode
On 16 Sep 11:24, Uros Bizjak wrote:
> On Fri, Sep 13, 2013 at 12:18 PM, Ilya Enkovich
> wrote:
> > 2013/9/11 Uros Bizjak :
> >>
> >
> > Hi Uros,
> >
> > Thanks a lot for the review!
> >
> >> The x86 part looks mostly OK (I have a
On 26 Sep 23:12, Uros Bizjak wrote:
> On Tue, Sep 17, 2013 at 10:41 AM, Ilya Enkovich
> wrote:
>
> >> >> The x86 part looks mostly OK (I have a couple of comments bellow), but
> >> >> please first get target-independent changes reviewed and committed.
Ping
2013/9/17 Ilya Enkovich :
> Hi,
>
> Here is a patch introducing new type and mode for bounds. It is a part of MPX
> ISA support patch (http://gcc.gnu.org/ml/gcc-patches/2013-07/msg01094.html).
>
> Bootstrapped and tested on linux-x86_64. Is it OK for trunk?
>
> Tha
Hey guys,
could please someone look at this small patch? It blocks approved MPX
ISA support on i386 target.
Thanks,
Ilya
2013/10/2 Ilya Enkovich :
> Ping
>
> 2013/9/17 Ilya Enkovich :
>> Hi,
>>
>> Here is a patch introducing new type and mode for bounds. It is a
://gcc.gnu.org/ml/gcc-patches/2013-08/msg01167.html) which seems too
inconvenient for review.
The first patch in a series introduces new target and language hooks used by
Pointers Checker.
Bootstrapped and tested on linux-x86_64.
Thanks,
Ilya
--
gcc/
2013-10-21 Ilya Enkovich
* target.def
on linux-x86_64.
Thanks,
Ilya
--
gcc/
2013-10-04 Ilya Enkovich
* builtin-types.def (BT_FN_VOID_CONST_PTR): New.
(BT_FN_PTR_CONST_PTR): New.
(BT_FN_CONST_PTR_CONST_PTR): New.
(BT_FN_PTR_CONST_PTR_SIZE): New.
(BT_FN_PTR_CONST_PTR_CONST_PTR): New
Hi,
This patch adds attributes 'bnd_variable_size' and 'bnd_legacy' used by
Pointers Checker.
Bootstrapped and tested on linux-x86_64.
Thanks,
Ilya
--
gcc/
2013-10-21 Ilya Enkovich
* c-family/c-common.c (handle_bnd_variable_size_attribute): New.
(han
tically initialized objects, we
need to avoid creation of such objects during its gimplification. New
restriction was added to gimplify_init_constructor.
Bootstrapped and checked on linux-x86_64.
Thanks,
Ilya
--
gcc/
2013-10-21 Ilya Enkovich
* ipa.c (cgraph_build_static_cdtor_1): Sup
Hi,
This patch adds bounds related iface macros and functions for tree and gimple.
Bootstrapped and tested on linux-x86_64.
Thanks,
Ilya
--
gcc/
2013-10-21 Ilya Enkovich
* tree-core.h (tree_index): Add TI_BOUND_TYPE.
* tree.h (BOUND_P): New.
(BOUNDED_TYPE_P): New
esOn 21 Oct 11:44, Joseph S. Myers wrote:
> On Mon, 21 Oct 2013, Ilya Enkovich wrote:
>
> > +DEFHOOK
> > +(builtin_chkp_function,
> > + "Pointers checker instrumentation pass uses this hook to obtain\n\
> > +target-specific functions which implement specifi
On 21 Oct 12:08, Joseph S. Myers wrote:
> On Mon, 21 Oct 2013, Ilya Enkovich wrote:
>
> > + if (flag_check_pointers)
> > +{
> > + if (flag_lto)
> > + sorry ("Pointers checker is not yet fully supported for link-time
> > optimization");
2013/10/21 Jeff Law :
> On 10/15/13 07:31, Ilya Enkovich wrote:
>>
>> Hey guys,
>>
>> could please someone look at this small patch? It blocks approved MPX
>> ISA support on i386 target.
>
>
>>>>
>>>> diff --git a/gcc/doc/rtl.texi b
eOn 22 Oct 22:55, Jeff Law wrote:
> On 09/17/13 02:18, Ilya Enkovich wrote:
> >Hi,
> >
> >Here is a patch introducing new type and mode for bounds. It is a part of
> >MPX ISA support patch
> >(http://gcc.gnu.org/ml/gcc-patches/2013-07/msg01094.html).
> &
2013/10/24 Jeff Law :
> On 10/21/13 08:20, Ilya Enkovich wrote:
>
>> diff --git a/gcc/doc/tm.texi b/gcc/doc/tm.texi
>> index 8d220f3..79bd0f9 100644
>> --- a/gcc/doc/tm.texi
>> +++ b/gcc/doc/tm.texi
>> +@deftypefn {Target Hook} rtx TARGET_LOAD_BOUNDS_FOR_ARG (r
2013/10/24 Richard Henderson :
> On 10/23/2013 02:41 PM, Jeff Law wrote:
>> Out of curiosity, did you consider and/or discuss with Richard whether or not
>> to make these target-dependent or target-independent builtins? I realize
>> it's
>> a bit problematic with Richard being involved during the
2013/10/24 Jeff Law :
> On 10/23/13 04:57, Ilya Enkovich wrote:
>>
>>
>> 2013-10-23 Ilya Enkovich
>>
>> * mode-classes.def (MODE_POINTER_BOUNDS): New.
>> * tree.def (POINTER_BOUNDS_TYPE): New.
>> * genmodes.c
On 01 Oct 20:00, Uros Bizjak wrote:
>
> This is OK for mainline, on the condition that target independent part
> is approved and committed first.
>
> Thanks,
> Uros.
Thanks for review!
Attached is a version to be committed. The only difference from the previous
one is BOUND_MODE renamed to PO
2013/10/24 Uros Bizjak :
> On Thu, Oct 24, 2013 at 12:06 PM, Ilya Enkovich
> wrote:
>> On 01 Oct 20:00, Uros Bizjak wrote:
>>>
>>> This is OK for mainline, on the condition that target independent part
>>> is approved and committed first.
>>&g
esOn 21 Oct 12:08, Joseph S. Myers wrote:
> On Mon, 21 Oct 2013, Ilya Enkovich wrote:
>
> > + if (flag_check_pointers)
> > +{
> > + if (flag_lto)
> > + sorry ("Pointers checker is not yet fully supported for link-time
> > optimization");
Here is an updated version with changes due to renames in basic bounds type
patch.
Thanks,
Ilya
--
gcc/
2013-10-23 Ilya Enkovich
* tree-core.h (tree_index): Add TI_POINTER_BOUNDS_TYPE.
* tree.h (POINTER_BOUNDS_P): New.
(BOUNDED_TYPE_P): New.
(BOUNDED_P): New
2013/10/25 Uros Bizjak :
> Hello!
>
> 2013-10-25 Uros Bizjak
>
> * config/i386/i386.h (TARGET_MPX): New define.
> (TARGET_MPX_P): Ditto.
>
> Tested on x86_64-pc-linux-gnu, committed.
Thanks for fixing it!
>
> Uros.
2013/10/25 Jeff Law :
> On 10/21/13 05:49, Ilya Enkovich wrote:
>>
>> Hi,
>>
>> This patch introduces built-in functions used by Pointers Checker and flag
>> to enable Pointers Checker. Builtins available for user are expanded in
>> expand_builtin. All o
On 24 Oct 23:21, Jeff Law wrote:
> On 10/24/13 02:24, Ilya Enkovich wrote:
> >These two hooks are used by expand pass to pass/receive bounds for
> >args. When bounds are passed in a register, expand does not need this
> >hook and uses regular move insn. If we are out
On 29 Oct 06:59, Jeff Law wrote:
> On 10/29/13 04:17, Richard Biener wrote:
> >On Mon, Oct 28, 2013 at 10:21 PM, Jeff Law wrote:
> >>On 10/25/13 11:57, Ilya Enkovich wrote:
> >>
> >>>
> >>>There are currently two known issues with LTO. The
2013/10/29 Jeff Law :
> On 10/29/13 07:52, Ilya Enkovich wrote:
>>
>>
>> Yeah. I'm working on it right now. I've fixed known issues and now
>> I'm looking for others. Meanwhile here is a new patch version with
>> required renames and without L
On 29 Oct 13:39, Jeff Law wrote:
> On 10/24/13 08:43, Ilya Enkovich wrote:
> >
> >+/* Return the number of arguments used by call statement GS. */
> >+
> >+static inline unsigned
> >+gimple_call_num_nobnd_args (const_gimple gs)
> >+{
> >+
2013/10/30 Richard Biener :
> On Tue, Oct 29, 2013 at 8:48 PM, Ilya Enkovich wrote:
>> 2013/10/29 Jeff Law :
>>> On 10/29/13 07:52, Ilya Enkovich wrote:
>>>>
>>>>
>>>> Yeah. I'm working on it right now. I've fixed known issues and
; Richard.
>
Unfortunately patch has been already installed. Should we uninstall it? If
not, then here is patch for documentation.
Thanks,
Ilya
--
gcc/
2013-10-30 Ilya Enkovich
* doc/gimple.texi (gimple_call_num_nobnd_args): New.
(gimple_cal
On 24 Oct 23:34, Jeff Law wrote:
> On 10/21/13 05:59, Ilya Enkovich wrote:
> >Hi,
> >
> >This patch adds attributes 'bnd_variable_size' and 'bnd_legacy' used by
> >Pointers Checker.
> >
> >Bootstrapped and tested on linux-x86_64.
>
On 24 Oct 23:55, Jeff Law wrote:
> On 10/21/13 06:10, Ilya Enkovich wrote:
> >Hi,
> >
> >This patch introduces two new contructor types supported by
> >cgraph_build_static_cdtor.
> >
> >'B' type is used to initialize static objects (bounds) create
2013/10/30 Richard Biener :
> On Wed, Oct 30, 2013 at 11:34 AM, Ilya Enkovich
> wrote:
>> On 30 Oct 10:26, Richard Biener wrote:
>>>
>>> Ick - you enlarge all return statements? But you don't set the actual
>>> value?
>>> So why allocate
On 30 Oct 11:40, Jeff Law wrote:
> On 10/30/13 04:48, Richard Biener wrote:
> >foo (int * p, unsigned int size)
> >{
> >__bound_tmp.0;
> > long unsigned int D.2239;
> > long unsigned int _2;
> > sizetype _6;
> > int * _7;
> >
> > :
> > __bound_tmp.0_4 = __builtin_ia32_arg_bnd (p_3(D
2013/10/30 Jeff Law :
> On 10/30/13 04:34, Ilya Enkovich wrote:
>>
>> On 30 Oct 10:26, Richard Biener wrote:
>>>
>>>
>>> Ick - you enlarge all return statements? But you don't set the
>>> actual value? So why allocate it with 2 ops in the f
py or a known
value. This patch suppress such modifications.
Thanks,
Ilya
--
gcc/
2013-10-28 Ilya Enkovich
* tree-into-ssa.c: Include "target.h"
(rewrite_update_stmt): Skip BUILT_IN_CHKP_ARG_BND calls.
* tree-ssa-dom.c: Include "target.h"
Hi,
This patch adds support Pointer Bounds Checker into c-family and LTO
front-ends. The main purpose of changes in front-end is to register all
statically initialized objects for checker. We also need to register such
objects created by compiler.
Thanks,
Ilya
--
gcc/
2013-10-29 Ilya
Hi,
Here is a patch which adds support for bound constant to be used as
DECL_INITIAL for constant static bounds generated by compiler.
Thanks,
Ilya
--
gcc/
2013-10-23 Ilya Enkovich
* emit-rtl.c (immed_double_const): Support MODE_POINTER_BOUNDS.
* explow.c
Hi,
Here is a patch to support of instrumented code in calls verifiers and calls
copy with skipped args.
Thanks,
Ilya
--
gcc/
2013-10-29 Ilya Enkovich
* cgraph.c (gimple_check_call_args): Handle bound args.
* gimple.c (gimple_call_copy_skip_args): Likewise
2013/11/4 Richard Biener :
> Richard Biener wrote:
>>On Thu, Oct 31, 2013 at 10:02 AM, Ilya Enkovich
>> wrote:
>>> Hi,
>>>
>>> Here is a patch which hadles the problem with optimization of
>>BUILT_IN_CHKP_ARG_BND calls. Pointer Bounds Checker e
2013/11/5 Richard Biener :
> On Tue, Nov 5, 2013 at 1:02 PM, Ilya Enkovich wrote:
>> 2013/11/4 Richard Biener :
>>> Richard Biener wrote:
>>>>On Thu, Oct 31, 2013 at 10:02 AM, Ilya Enkovich
>>>> wrote:
>>>>> Hi,
>>>>
2013/11/2 Joseph S. Myers :
> On Thu, 31 Oct 2013, Ilya Enkovich wrote:
>
>> This patch adds support Pointer Bounds Checker into c-family and LTO
>> front-ends. The main purpose of changes in front-end is to register all
>> statically initialized objects for checker.
2013/11/4 Richard Biener :
> On Thu, Oct 31, 2013 at 10:11 AM, Ilya Enkovich
> wrote:
>> Hi,
>>
>> This patch adds support Pointer Bounds Checker into c-family and LTO
>> front-ends. The main purpose of changes in front-end is to register all
>> statically
2016-01-20 3:42 GMT+03:00 Sandra Loosemore :
> On 01/19/2016 03:24 AM, Ilya Enkovich wrote:
>>
>> 2016-01-19 5:25 GMT+03:00 Sandra Loosemore :
>>>
>>> I think the documentation relating to '-z bndplt' in the GCC manual
>>> description of -fchec
2016-01-20 8:29 GMT+03:00 H.J. Lu :
> Compile-time MPX tests don't need the MPX run-time library. They
> should pass for non-x32 target.
>
> OK for trunk and backport to GCC 5 branch?
This patch is OK.
Thanks,
Ilya
>
> H.J.
> ---
> Compile-time MPX tests don't need the MPX run-time library. Th
2016-01-20 16:20 GMT+03:00 Matthias Klose :
> On 11.12.2015 15:34, Ilya Enkovich wrote:
>>
>> I fixed it, bootstrapped, regtested and applied to trunk. Here is
>> committed version.
>
>
> this left libmpx/libtool-version, which now is unused and outdated. Ok to
>
Hi,
This is an obvious patch fixing a verbosity for a part of error messages.
Bootstrapped on x86_64-pc-linux-gnu. Applied to trunk and gcc-5-branch.
Thanks,
Ilya
--
libmpx/
2016-01-20 Ilya Enkovich
* mpxrt/mpxrt.c (handler): Fix verbosity for
error message.
diff --git
Hi,
This patch covers one more case when boolean operands get different
vectypes and we don't detect it.
Bootstrapped and regtested on x86_64-pc-linux-gnu. OK for trunk?
Thanks,
Ilya
--
gcc/
2016-01-25 Ilya Enkovich
PR target/69421
* tree-vect-st
patch was bootstrapped and regtested on
x86_64-pc-linux-gnu. OK for trunk?
Thanks,
Ilya
--
gcc/
2016-01-27 Jakub Jelinek
Ilya Enkovich
PR target/69454
* config/i386/i386.c (convert_scalars_to_vector): Remove
stack alignment fixes.
(ix86_option_overrid
2016-01-27 18:43 GMT+03:00 H.J. Lu :
> On Wed, Jan 27, 2016 at 7:34 AM, Ilya Enkovich wrote:
>> Hi,
>>
>> Currently STV pass may require a stack realignment if any
>> transformation occurs to enable SSE registers spill/fill.
>> It appears it's invalid to
On 27 Jan 16:44, Jakub Jelinek wrote:
> On Wed, Jan 27, 2016 at 06:34:41PM +0300, Ilya Enkovich wrote:
> > @@ -5453,6 +5443,11 @@ ix86_option_override_internal (bool main_args_p,
> > opts->x_target_flags |= MASK_VZEROUPPER;
> >if (!(opts_set->x_target_flags
2016-01-27 19:18 GMT+03:00 H.J. Lu :
> On Wed, Jan 27, 2016 at 8:11 AM, Ilya Enkovich wrote:
>> On 27 Jan 16:44, Jakub Jelinek wrote:
>>> On Wed, Jan 27, 2016 at 06:34:41PM +0300, Ilya Enkovich wrote:
>>> > @@ -5453,6 +5443,11 @@ ix86_option_override_internal (boo
Hi,
This is a trivial patch which adds a NULL check for vectype.
We may have a NULL vectype in case of void call. Will commit
as obvious to trunk after testing.
Thanks,
Ilya
--
gcc/
2016-01-27 Ilya Enkovich
* tree-vect-stmts.c (vectorizable_comparison): Add
NULL check for
2016-01-28 9:00 GMT+03:00 H.J. Lu :
> On Wed, Jan 27, 2016 at 8:36 AM, H.J. Lu wrote:
>> On Wed, Jan 27, 2016 at 8:29 AM, Ilya Enkovich
>> wrote:
>>> 2016-01-27 19:18 GMT+03:00 H.J. Lu :
>>>> On Wed, Jan 27, 2016 at 8:11 AM, Ilya Enkovich
>>>> w
2016-02-02 15:46 GMT+03:00 H.J. Lu :
> On Tue, Feb 2, 2016 at 4:30 AM, H.J. Lu wrote:
>> On Tue, Feb 2, 2016 at 4:29 AM, Jakub Jelinek wrote:
>>> On Tue, Feb 02, 2016 at 01:24:26PM +0100, Uros Bizjak wrote:
On Tue, Feb 2, 2016 at 12:53 PM, Jakub Jelinek wrote:
>> The bottom line i
2016-02-02 16:06 GMT+03:00 H.J. Lu :
> On Tue, Feb 2, 2016 at 5:03 AM, Ilya Enkovich wrote:
>> 2016-02-02 15:46 GMT+03:00 H.J. Lu :
>>> On Tue, Feb 2, 2016 at 4:30 AM, H.J. Lu wrote:
>>>> On Tue, Feb 2, 2016 at 4:29 AM, Jakub Jelinek wrote:
>>>>> O
2016-02-02 16:14 GMT+03:00 H.J. Lu :
> On Tue, Feb 2, 2016 at 5:11 AM, Ilya Enkovich wrote:
>> 2016-02-02 16:06 GMT+03:00 H.J. Lu :
>>> On Tue, Feb 2, 2016 at 5:03 AM, Ilya Enkovich
>>> wrote:
>>>> 2016-02-02 15:46 GMT+03:00 H.J. Lu :
>>>&
2016-02-02 16:25 GMT+03:00 H.J. Lu :
> On Tue, Feb 2, 2016 at 5:21 AM, Ilya Enkovich wrote:
>> 2016-02-02 16:14 GMT+03:00 H.J. Lu :
>>> On Tue, Feb 2, 2016 at 5:11 AM, Ilya Enkovich
>>> wrote:
>>>> 2016-02-02 16:06 GMT+03:00 H.J. Lu :
>>>
2016-02-02 17:03 GMT+03:00 H.J. Lu :
> On Tue, Feb 2, 2016 at 5:55 AM, Ilya Enkovich wrote:
>> 2016-02-02 16:25 GMT+03:00 H.J. Lu :
>>> On Tue, Feb 2, 2016 at 5:21 AM, Ilya Enkovich
>>> wrote:
>>>> 2016-02-02 16:14 GMT+03:00 H.J. Lu :
>>>
Hi,
This patch reverts r232560 which caused multiple failures
for Pointer Bounds Checker. Patch was bootstrapped and
regtested on x86_64-pc-linux-gnu. Applied to trunk.
Thanks,
Ilya
--
2016-02-05 Ilya Enkovich
PR target/69369
Revert r232560:
2016-01-19 Jan Hubicka
2015-12-15 19:41 GMT+03:00 Yuri Rumyantsev :
> Hi Richard,
>
> I re-designed the patch to determine ability of loop masking on fly of
> vectorization analysis and invoke it after loop transformation.
> Test-case is also provided.
>
> what is your opinion?
>
> Thanks.
> Yuri.
>
Hi,
I'm going to st
Hi,
This patch fixes a warning in test used for effective MPX target check. Fix
allows to use test with g++. Bootsrapped and tested on x86_64-pc-linux-gnu.
Applied to trunk.
Thanks,
Ilya
--
gcc/testsuite/
2016-02-11 Ilya Enkovich
* lib/mpx-dg.exp: Fix warning in
Hi,
This patch fixes instrumentation thunk recognition condition in lto_output.
This avoids missing required thunks in ltrans modules. Bootstrapped and
regtested on x86_64-pc-linux-gnu. Committed to trunk.
Thanks,
Ilya
--
gcc/
2016-02-12 Ilya Enkovich
PR target/69729
2016-02-19 20:36 GMT+03:00 Alan Lawrence :
> On 17/11/15 11:49, Ilya Enkovich wrote:
>>
>> Hi,
>>
>> Default hook for get_mask_mode is supposed to return integer vector modes.
>> This means it should reject calar modes returned by mode_for_vector.
>> Boots
2016-02-22 14:50 GMT+03:00 Alan Lawrence :
> On 20/02/16 09:29, Ilya Enkovich wrote:
>>
>> 2016-02-19 20:36 GMT+03:00 Alan Lawrence :
>>>
>>> On 17/11/15 11:49, Ilya Enkovich wrote:
>>>>
>>>>
>>>> Hi,
>>>>
&g
02-26 Ilya Enkovich
PR tree-optimization/69956
* tree-vect-stmts.c (supportable_widening_operation): Support
multi-step conversion of boolean vectors.
(supportable_narrowing_operation): Likewise.
gcc/testsuite/
2016-02-26 Ilya Enkovich
PR
Hi,
This patch fixes mask type determination for boolean values comparison. That
avoid incorrect application of masks conversion pattern. Bootstrapped and
tested on x86_64-pc-linux-gnu. OK for trunk?
Thanks,
Ilya
--
gcc/
2016-03-02 Ilya Enkovich
* tree-vect-patterns.c
Hi,
I've been working for some time on the prototype of the Pointer Bounds
Checker which uses function clones for instrumentation
(http://gcc.gnu.org/ml/gcc-patches/2013-11/msg03327.html). After
several experiments with this approach I want to share my results and
ask for some feedback to make a d
2014/1/14 Richard Biener :
> On Tue, Jan 14, 2014 at 10:15 AM, Ilya Enkovich
> wrote:
>> Hi,
>>
>> I've been working for some time on the prototype of the Pointer Bounds
>> Checker which uses function clones for instrumentation
>> (http://gcc.gnu.org/ml/
2014/1/14 Richard Biener :
> On Tue, Jan 14, 2014 at 1:47 PM, Ilya Enkovich wrote:
>> 2014/1/14 Richard Biener :
>>> On Tue, Jan 14, 2014 at 10:15 AM, Ilya Enkovich
>>> wrote:
>>>> Hi,
>>>>
>>>> I've been working for some
Ping
2015-06-18 12:54 GMT+03:00 Ilya Enkovich :
> Hi,
>
> In early_inliner we do recompute inline summaries for edges after
> optimize_inline_calls, but check this summary exists in case new edges
> appear. But then it calls inline_update_overall_summary which also going
Hi,
Any comments on this?
Thanks,
Ilya
2015-06-19 16:21 GMT+03:00 Ilya Enkovich :
> Hi,
>
> This patch tries to improve 64bit integer computations on 32bit target. This
> is achieved by an additional i386 target pass which searches for all
> conversion candidates and tries to
Hi,
This patch initializes MPX paths in lto.exp to give check_effective_target_mpx
a chance. Is it OK for trunk?
Thanks,
Ilya
--
gcc/testsuite/
2015-07-14 Ilya Enkovich
PR testsuite/66734
* gcc.dg/lto/lto.exp: Initialize MPX.
diff --git a/gcc/testsuite/gcc.dg/lto/lto.exp
Ping
2015-06-19 17:10 GMT+03:00 Ilya Enkovich :
> Hi,
>
> There was a set of stability fixes (mostly different ICEs) for Pointer Bounds
> Checker done in GCC 6. But only few of them were approved to be ported to
> GCC 5. Will it be OK to port other chkp specific stability
Ping
2015-07-13 11:47 GMT+03:00 Ilya Enkovich :
> Ping
>
> 2015-06-18 12:54 GMT+03:00 Ilya Enkovich :
>> Hi,
>>
>> In early_inliner we do recompute inline summaries for edges after
>> optimize_inline_calls, but check this summary exists in case new edg
/
2015-07-20 Ilya Enkovich
PR target/66737
* config/i386/linux-common.h (MPX_SPEC): Use linker option
for 64bit target only.
diff --git a/gcc/config/i386/linux-common.h b/gcc/config/i386/linux-common.h
index 63dd8d8..da09d3d 100644
--- a/gcc/config/i386/linux-common.h
2015-08-03 17:04 GMT+03:00 Uros Bizjak :
> On Mon, Aug 3, 2015 at 3:02 PM, Kyrill Tkachov wrote:
>>
>> On 03/08/15 13:33, Uros Bizjak wrote:
>>>
>>> Hello!
>>>
2015-07-30 Kyrylo Tkachov
* ifcvt.c (noce_try_store_flag_constants): Make logic of the case
when diff ==
27;s AVX-512, which features per-element embedded masking
>> for all instructions. The main goal for this mail is to agree on overall
>> design of the feature.
>>
>> This approach was presented @ GNU Cauldron 2015 by Ilya Enkovich [1].
>>
>> Here's a sket
2015-09-17 20:35 GMT+03:00 Richard Henderson :
> On 09/15/2015 06:52 AM, Ilya Enkovich wrote:
>> I made a step forward forcing vector comparisons have a mask (vec)
>> result and disabling bool patterns in case vector comparison is supported by
>> target. Several issues w
2015-09-18 15:22 GMT+03:00 Richard Biener :
> On Thu, Sep 3, 2015 at 3:57 PM, Ilya Enkovich wrote:
>> 2015-09-03 15:11 GMT+03:00 Richard Biener :
>>> On Thu, Sep 3, 2015 at 2:03 PM, Ilya Enkovich
>>> wrote:
>>>> Adding CCs.
>>>>
>>>&
2015-09-18 15:29 GMT+03:00 Richard Biener :
> On Tue, Sep 15, 2015 at 3:52 PM, Ilya Enkovich wrote:
>> On 08 Sep 15:37, Ilya Enkovich wrote:
>>> 2015-09-04 23:42 GMT+03:00 Jeff Law :
>>> >
>>> > So do we have enough confidence in this representation that
2015-09-18 19:50 GMT+03:00 Richard Henderson :
> On 09/18/2015 06:21 AM, Ilya Enkovich wrote:
>>>> +machine_mode
>>>> +default_get_mask_mode (unsigned nunits, unsigned vector_size)
>>>> +{
>>>> + unsigned elem_size = v
:DI (match_operand:SWI124 1 "nonimmediate_operand" "m")))]
> "!TARGET_64BIT && TARGET_STV && TARGET_SSE2"
> "#"
> "&& reload_completed"
> [(set (match_dup 0) (zero_extend:SI (match_dup 1)))
>(set (match_
2015-09-18 16:40 GMT+03:00 Ilya Enkovich :
> 2015-09-18 15:22 GMT+03:00 Richard Biener :
>>
>> I was thinking about targets not supporting generating vec
>> (of whatever mode) from a comparison directly but only via
>> a COND_EXPR.
>
> Where may these direct compar
2015-09-15 14:01 GMT+03:00 Ilya Enkovich :
> 2015-09-15 13:32 GMT+03:00 Richard Biener :
>> On Tue, Sep 15, 2015 at 11:28 AM, Ilya Enkovich
>> wrote:
>>
>> I see. I wonder why we even call chkp_find_bound_slots if seen_errors().
>
> Even with errors we
2015-09-23 16:53 GMT+03:00 Richard Biener :
> On Wed, Sep 23, 2015 at 3:41 PM, Ilya Enkovich wrote:
>> 2015-09-18 16:40 GMT+03:00 Ilya Enkovich :
>>> 2015-09-18 15:22 GMT+03:00 Richard Biener :
>>>>
>>>> I was thinking about targets not supporting gen
is in progress. OK for trunk if
pass?
Thanks,
Ilya
--
gcc/
2015-09-29 Ilya Enkovich
* config/i386/i386.c (scalar_chain::analyze_register_chain): Ignore
debug insns.
(scalar_chain::convert_reg): Likewise.
gcc/testsuite/
2015-09-29 Ilya Enkovich
* gcc.target
strapped with --with-cpu=slm also.
>
>> gcc/
>>
>> 2015-09-29 Ilya Enkovich
>>
>> * config/i386/i386.c (scalar_chain::analyze_register_chain): Ignore
>> debug insns.
>> (scalar_chain::convert_reg): Likewise.
>>
>> gcc/testsuite/
>>
>> 2015-09-29 Ilya Enkovich
>>
>> * gcc.target/i386/pr67761.c: New test.
>
> OK.
Thanks!
Ilya
>
> Thanks,
> Uros.
2015-10-01 13:12 GMT+03:00 Uros Bizjak :
> Hello!
>
> Attached patch fixes gcc.target/i386/pr65105-1.c:
Thanks!
Ilya
>
> a) As a runtime SSE2 test, we have to check for target SSE2 support
> and use proper test infrastructure.
>
> b) A runtime test can't check output assembly without -save-temps.
it in
a single chunk. Patch series was bootstrapped and tested on
x86_64-unknown-linux-gnu.
The first patch introduces a target hook and functions to produce new vector
type.
Thanks,
Ilya
--
2015-10-02 Ilya Enkovich
* doc/tm.texi: Regenerated.
* doc/tm.te
Hi,
This patch change vector comparison to require boolean vector resulting type.
Thanks,
Ilya
--
gcc/
2015-10-02 Ilya Enkovich
* tree-cfg.c (verify_gimple_comparison) Require boolean
vector type for vector comparison.
(verify_gimple_assign_ternary): Likewise.
diff
Hi,
This patch makes C/C++ FE to use boolean vector as a resulting type for vector
comparison. As a result vector comparison in source code now parsed into
VEC_COND_EXPR, it required a testcase fix-up.
Thanks,
Ilya
--
gcc/c
2015-10-02 Ilya Enkovich
* c-typeck.c
Hi,
This patch forces boolean vector usage in VEC_COND_EXPR generated by
vectorizer. VEC_COND_EXPR expand is fixed appropriately.
Thanks,
Ilya
--
gcc/
2015-10-02 Ilya Enkovich
* optabs.c (expand_vec_cond_expr): Accept boolean vector as
condition operand.
* tree
Hi,
This patch supports boolean vectors in vector lowering. Main change is to
lower vector comparison into comparisons, not cond_exprs.
Thanks,
Ilya
--
2015-10-02 Ilya Enkovich
* tree-vect-generic.c (elem_op_func): Add new operand to hold
vector type.
(do_unop
hanks,
Ilya
--
gcc/
2015-10-05 Ilya Enkovich
* omp-low.c (simd_clone_create): Set in_other_partition
for created clones.
gcc/testsuite/
2015-10-05 Ilya Enkovich
* gcc.dg/lto/simd-function_0.c: New test.
diff --git a/gcc/omp-low.c b/gcc/omp-low.c
index cdcf9d6..8d
bolean vectors
series [1].
This patch introduces optabs for vector comparison.
[1] https://gcc.gnu.org/ml/gcc-patches/2015-10/msg00215.html
Thanks,
Ilya
--
gcc/
2015-10-08 Ilya Enkovich
* expr.c (do_store_flag): Use expand_vec_cmp_expr for mask results.
* optabs-query.h
type is propagated into other boolean operations.
Thanks,
Ilya
--
gcc/
2015-10-08 Ilya Enkovich
* tree-vect-loop.c (vect_determine_vectorization_factor): Ignore mask
operations for VF. Add mask type computation.
* tree-vect-stmts.c (get_mask_type_for_scalar_type
Hi,
This patch supports comparison statements vectrization basing on introduced
optabs.
Thanks,
Ilya
--
gcc/
2015-10-08 Ilya Enkovich
* tree-vect-data-refs.c (vect_get_new_vect_var): Support vect_mask_var.
(vect_create_destination_var): Likewise.
* tree-vect-stmts.c
1 - 100 of 1037 matches
Mail list logo
