Re: [v3 PATCH] Make the default constructors of tuple and pair conditionally explicit.

2015-11-03 Thread Paolo Carlini
Hi, On 11/03/2015 06:01 AM, Ville Voutilainen wrote: On 2 November 2015 at 23:07, Paolo Carlini wrote: Great, thanks a lot. Thinking more about this detail, I wonder if we should therefore apply the below too? Anything I'm missing? Tested again on Linux-PPC64. Ok for trunk? Go ahead! Paolo.

[PATCH, testsuite]: Move x86 specific tests to gcc.target/i386 directory

2015-11-03 Thread Uros Bizjak
... and add ifunc effective target requirement where necessary. 2015-11-03 Uros Bizjak * gcc.dg/mvc1.c: Move to ... * gcc.target/i386/mvc1.c: ... here. Require ifunc. * gcc.dg/mvc2.c: Move to ... * gcc.target/i386/mvc2.c: ... here. * gcc.dg/mvc3.c: Move to ... * gcc.ta

Re: Add VIEW_CONVERT_EXPR to operand_equal_p

2015-11-03 Thread Eric Botcazou
> This fails on ia64. gnat.dg/discr44.adb and gnat.dg/discr45.adb are supposed to fail everywhere (and there are also a few ACATS failures everywhere). Sorry for the awkward situation but they are testcases exposing the recent type system breakage. -- Eric Botcazou

Re: [ping] Fix PR debug/66728

2015-11-03 Thread Richard Sandiford
Mike Stump writes: > On Nov 2, 2015, at 12:55 PM, Richard Sandiford > wrote: >> This was: >> >> ... Sometimes structure decls >> have BLKmode but are assigned an integer-mode rtl (e.g. when passing >> 3-byte structures by value to functions). >> [...] >> loc_descriptor refuses to use CONST_

[gomp4, committed] Remove shadowing declaration in oacc_entry_exit_ok_1

2015-11-03 Thread Tom de Vries
[ was: Re: [committed, gomp4, 2/3] Handle sequential code in kernels region ] On 12/10/15 19:26, Tom de Vries wrote: On 12/10/15 19:12, Tom de Vries wrote: Hi, I've committed the following patch series. 1Add get_bbs_in_oacc_kernels_region 2Handle sequential code in kernel

Re: [PATCH][RTL-ifcvt] PR rtl-optimization/67749: Do not emit separate SET insn in IF-ELSE case

2015-11-03 Thread Kyrill Tkachov
Hi Jeff, On 02/11/15 22:46, Jeff Law wrote: On 10/27/2015 08:49 AM, Kyrill Tkachov wrote: Hi all, This patch fixes the gcc.dg/ifcvt-2.c test for x86_64 where we were failing to if-convert. This was because in my patch at https://gcc.gnu.org/viewcvs/gcc?view=revision&revision=228194 which tried

Re: [PATCH] Fix warning in tree-diagnostic.h.

2015-11-03 Thread Dominik Vogt
On Mon, Nov 02, 2015 at 09:57:22AM -0700, Jeff Law wrote: > On 11/02/2015 06:26 AM, Dominik Vogt wrote: > >The attached patch fixes the annoying warnings generated by > >diagnostic_set_last_function. > Can you point out what warning you're fixing? Sure. toplec.c calls diagnostic_set_last_function

Re: [RFC] Combine vectorized loops with its scalar remainder.

2015-11-03 Thread Richard Henderson
On 10/28/2015 11:45 AM, Yuri Rumyantsev wrote: Hi All, Here is a preliminary patch to combine vectorized loop with its scalar remainder, draft of which was proposed by Kirill Yukhin month ago: https://gcc.gnu.org/ml/gcc-patches/2015-09/msg01435.html It was tested wwith '-mavx2' option to run on

Re: [PATCH] tree-scalar-evolution.c: Handle LSHIFT by constant

2015-11-03 Thread Alan Lawrence
On 27/10/15 22:27, H.J. Lu wrote: > > It caused: > > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68112 Bah :(. So yes, in general case, we can't rewrite (a << 1) to (a * 2) as for signed types (0x7f...f) << 1 == -2 whereas (0x7f...f * 2) is undefined behaviour. Oh well :(... I don't have a real

Re: [PATCH] clarify documentation of -Q --help=optimizers

2015-11-03 Thread Alexander Monakov
On Thu, 22 Oct 2015, Martin Sebor wrote: > [Sending to the right list this time] > > The documentation of the -Q --help=optimizers options leads some > to expect that when options are reported as enabled imply the > corresponding optimization will take place. (See the following > question on gcc

Re: [PATCH][ARM] Fix costing of vmul+vcvt combine pattern

2015-11-03 Thread Kyrill Tkachov
Ping. https://gcc.gnu.org/ml/gcc-patches/2015-10/msg02898.html Thanks, Kyrill On 27/10/15 13:55, Kyrill Tkachov wrote: Hi all, This patch allows us to handle the *combine_vcvtf2i pattern in rtx costs by properly identifying it as a toint coversion. Before this I saw a pattern like: (set (reg/

Re: Add VIEW_CONVERT_EXPR to operand_equal_p

2015-11-03 Thread Eric Botcazou
> I suggest to re-instantiate the canonical type checks for the aggregate type > case. OK, thanks, this fixes all the known ICEs so far. Tested on x86_64-suse-linux, OK for the mainline? 2015-11-03 Eric Botcazou * gimple-expr.c (useless_type_conversion_p): Reinstate type canonical

Re: [PATCH 1/6]tree-ssa-dom.c: Normalize exprs, starting with ARRAY_REF to MEM_REF

2015-11-03 Thread Alan Lawrence
On 30/10/15 05:35, Jeff Law wrote: > On 10/29/2015 01:18 PM, Alan Lawrence wrote: >> This patch just teaches DOM that ARRAY_REFs can be equivalent to MEM_REFs >> (with >> pointer type to the array element type). >> >> gcc/ChangeLog: >> >> * tree-ssa-dom.c (dom_normalize_single_rhs): New. >>

Re: [RFC] Combine vectorized loops with its scalar remainder.

2015-11-03 Thread Yuri Rumyantsev
This is expected failure since this patch is not in sync with the latest patches related to masking support for AVX512. I am waiting for support for masking load/store support which is not integrated to trunk. To get workable version of compiler use revision before r229128. 2015-11-03 13:08 GMT+03

Re: [PATCH] libitm: Support sized delete.

2015-11-03 Thread Torvald Riegel
On Fri, 2015-10-30 at 10:19 -0700, Richard Henderson wrote: > > #define _ZnwX S(_Znw,MANGLE_SIZE_T) > > #define _ZnaX S(_Zna,MANGLE_SIZE_T) > > +#define _ZdlPvXS(_ZdlPv,MANGLE_SIZE_T) > > #define _ZnwXRKSt9nothrow_tS(S(_Znw,MA

Re: [AARCH64][PATCH 1/3] Implementing the variants of the vmulx_ NEON intrinsic

2015-11-03 Thread James Greenhalgh
On Fri, Oct 30, 2015 at 09:29:35AM +, Bilyan Borisov wrote: > In this patch from the series, a single new md pattern is added: the one for > fmulx, from which all necessary __builtin functions are derived. > > Several intrinsics were refactored to use the new __builtin functions as some > of t

Re: [PATCH 1/6]tree-ssa-dom.c: Normalize exprs, starting with ARRAY_REF to MEM_REF

2015-11-03 Thread Alan Lawrence
On 3 November 2015 at 10:27, Alan Lawrence wrote: > That is, ssa-dom-cse-7.c passes (and the patch series solves PR/63679) if > instead of my patch 2 (normalization of MEM_REFs) we have this: > > diff --git a/gcc/tree-sra.c b/gcc/tree-sra.c > index 4327990..2889a96 100644 > --- a/gcc/tree-sra.c >

Re: [AARCH64][PATCH 2/3] Implementing vmulx_lane NEON intrinsic variants

2015-11-03 Thread James Greenhalgh
On Fri, Oct 30, 2015 at 09:31:08AM +, Bilyan Borisov wrote: > In this patch from the series, all vmulx_lane variants have been implemented > as > a vdup followed by a vmulx. Existing implementations of intrinsics were > refactored to use this new approach. > > Several new nameless md patterns

Re: [Boolean Vector, patch 1/5] Introduce boolean vector to be used as a vector comparison type

2015-11-03 Thread Richard Biener
On Mon, Nov 2, 2015 at 8:41 PM, Jeff Law wrote: > On 10/29/2015 07:08 AM, Ilya Enkovich wrote: >> >> On 28 Oct 22:37, Ilya Enkovich wrote: >>> >>> Seems the problem occurs in this check in expand_vector_operations_1: >>> >>>/* A scalar operation pretending to be a vector one. */ >>>if (VE

Re: OpenACC atomic directive

2015-11-03 Thread Thomas Schwinge
Hi! On Mon, 2 Nov 2015 14:40:54 +0100, Jakub Jelinek wrote: > On Mon, Nov 02, 2015 at 02:09:38PM +0100, Thomas Schwinge wrote: > > The OpenACC atomic directive matches OpenMP's atomic directive (got that > > clarified by the OpenACC committee), so they can share the same > > implementation. OK f

[PATCH] remove unused config/arm/coff.h

2015-11-03 Thread tbsaunde+gcc
From: Trevor Saunders Hi, $subject, nothing refers to this header so we might as well remove it. tested I can still build on x86_64-linux-gnu, not that I would expect anything else or that it is particularly relevent, ok? Trev gcc/ChangeLog: 2015-11-03 Trevor Saunders * config/ar

Re: [PATCH] tree-scalar-evolution.c: Handle LSHIFT by constant

2015-11-03 Thread Richard Biener
On Tue, Nov 3, 2015 at 11:15 AM, Alan Lawrence wrote: > On 27/10/15 22:27, H.J. Lu wrote: >> >> It caused: >> >> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68112 > > Bah :(. > > So yes, in general case, we can't rewrite (a << 1) to (a * 2) as for signed > types (0x7f...f) << 1 == -2 whereas (0x7

Re: [PATCH] Fix declaration of pthread-structs in s-osinte-rtems.ads

2015-11-03 Thread Jan Sommer
Am Monday 02 November 2015, 12:39:57 schrieb Sebastian Huber: > > On 31/10/15 16:47, Jan Sommer wrote: > > Hi, > > > > This patch changes the Ada-declaration of the pthread-related structs such > > as pthread_attr_t from a field-equivalent declaration to just reserving the > > right amount of me

Re: Add VIEW_CONVERT_EXPR to operand_equal_p

2015-11-03 Thread Richard Biener
On Tue, Nov 3, 2015 at 11:25 AM, Eric Botcazou wrote: >> I suggest to re-instantiate the canonical type checks for the aggregate type >> case. > > OK, thanks, this fixes all the known ICEs so far. > > Tested on x86_64-suse-linux, OK for the mainline? Please instead do the change here: /* For a

[gomp4, committed] Backport make_restrict_var_constraints fixes from trunk

2015-11-03 Thread Tom de Vries
Hi, I've ported two recent commits in make_restrict_var_constraints tree-ssa-structalias.c on trunk to gomp-4_0-branch. Committed as attached to gomp-4_0-branch. Thanks, - Tom Backport make_restrict_var_constraints fixes from trunk 2015-11-03 Tom de Vries backport from trunk: 2015-11-0

Re: [PATCH] New attribute to create target clones

2015-11-03 Thread Evgeny Stupachenko
Some tests in the patch already updated (ifunc require condition added) by Uros commit: ac39b078992c27934ea53cb580dbd79f75b6c727 I'll ask to commit attached patch. x86 bootstrap and make check passed. 2015-11-03 Evgeny Stupachenko gcc/ * multiple_target.c (create_dispatcher_calls): Ad

Re: [RFC] Combine vectorized loops with its scalar remainder.

2015-11-03 Thread Richard Biener
On Wed, Oct 28, 2015 at 11:45 AM, Yuri Rumyantsev wrote: > Hi All, > > Here is a preliminary patch to combine vectorized loop with its scalar > remainder, draft of which was proposed by Kirill Yukhin month ago: > https://gcc.gnu.org/ml/gcc-patches/2015-09/msg01435.html > It was tested wwith '-mavx

Re: [PATCH 1/6]tree-ssa-dom.c: Normalize exprs, starting with ARRAY_REF to MEM_REF

2015-11-03 Thread Richard Biener
On Tue, Nov 3, 2015 at 12:13 PM, Alan Lawrence wrote: > On 3 November 2015 at 10:27, Alan Lawrence wrote: >> That is, ssa-dom-cse-7.c passes (and the patch series solves PR/63679) if >> instead of my patch 2 (normalization of MEM_REFs) we have this: >> >> diff --git a/gcc/tree-sra.c b/gcc/tree-sr

Re: [RFC] Combine vectorized loops with its scalar remainder.

2015-11-03 Thread Yuri Rumyantsev
Richard, It looks like misunderstanding - we assume that for GCCv6 the simple scheme of remainder will be used through introducing new IV : https://gcc.gnu.org/ml/gcc-patches/2015-09/msg01435.html Is it true or we missed something? Now we are testing vectorization of loops with small non-constant

[PATCH] New plugin events when evaluating constexpr expressions.

2015-11-03 Thread Andres Tiraboschi
Hi This patch adds two plugins events when evaluated call expression and an init or modify expression in constexpr. The goal of this patch is to allow the plugins to analyze and or modify the evaluation of constant expressions. This patch also adds an event that is called when the parsing of a

[PATCH] Add configure flag for operator new (std::nothrow)

2015-11-03 Thread Aurelio Remonda
Currently, whenever operator new (std::nothrow) fails to allocate memory, it'll check if there is a new-handler function available. If there is, it'll call the handler and then try to allocate again. Otherwise, it'll return a null pointer. This retrying behavior may not always be desirable. If th

Re: [PATCH] replace BITS_PER_UNIT with __CHAR_BIT__ in target libs

2015-11-03 Thread Joseph Myers
On Mon, 2 Nov 2015, Jeff Law wrote: > Based on Bernd's comments, I think this is fine. Any sense of how much work > there is left to cleanup the runtime's inclusion of gcc's config/ target > headers? See . I think most of that page other tha

Re: [patch 4/3] Header file reduction - Tools for contrib - second cut

2015-11-03 Thread Andrew MacLeod
On 11/03/2015 01:06 AM, Jeff Law wrote: On 10/14/2015 09:14 AM, Andrew MacLeod wrote: Here's the latest version of the tools for a sub directory in contrib. I've handled all the feedback, except I have not fully commented the python code in the tools, nor followed any particular coding conventio

Re: [PATCH] Add configure flag for operator new (std::nothrow)

2015-11-03 Thread Paolo Carlini
Hi, On 11/03/2015 01:35 PM, Aurelio Remonda wrote: diff --git a/ChangeLog b/ChangeLog index 5b16ca2..a1cd0d3 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,12 @@ +2015-10-30 Aurelio Remonda + + * libstdc++-v3/acinclude.m4: add enable_new_opnt_no_allocation_retry + flag definiti

Re: [PATCH] PR/67682, break SLP groups up if only some elements match

2015-11-03 Thread Richard Biener
On Tue, Oct 27, 2015 at 6:38 PM, Alan Lawrence wrote: > On 26/10/15 15:04, Richard Biener wrote: >> >> >> apart from the fact that you'll post a new version you need to adjust >> GROUP_GAP. >> You also seem to somewhat "confuse" "first I stmts" and "a group of >> size I", those >> are not the same

Re: [mask-load, patch 1/2] Use boolean predicate for masked loads and store

2015-11-03 Thread Richard Biener
On Wed, Oct 28, 2015 at 4:23 PM, Ilya Enkovich wrote: > On 23 Oct 13:36, Ilya Enkovich wrote: >> 2015-10-23 13:32 GMT+03:00 Richard Biener : >> > >> > No, we'd get >> > >> > mask_1 = bool != 1; >> > >> > and the 'mask' variable should have been simplified to 'bool' >> > (yes, we'd insert a dead

Re: [PATCH] remove unused config/arm/coff.h

2015-11-03 Thread Richard Earnshaw
On 03/11/15 11:31, tbsaunde+...@tbsaunde.org wrote: > From: Trevor Saunders > > Hi, > > $subject, nothing refers to this header so we might as well remove it. > > tested I can still build on x86_64-linux-gnu, not that I would expect anything > else or that it is particularly relevent, ok? > O

Re: [Boolean Vector, patch 1/5] Introduce boolean vector to be used as a vector comparison type

2015-11-03 Thread Jeff Law
On 11/03/2015 04:26 AM, Richard Biener wrote: On Mon, Nov 2, 2015 at 8:41 PM, Jeff Law wrote: On 10/29/2015 07:08 AM, Ilya Enkovich wrote: On 28 Oct 22:37, Ilya Enkovich wrote: Seems the problem occurs in this check in expand_vector_operations_1: /* A scalar operation pretending to be

Re: [PATCH] Use signed boolean type for boolean vectors

2015-11-03 Thread Richard Biener
On Wed, Oct 28, 2015 at 4:30 PM, Ilya Enkovich wrote: > 2015-10-28 18:21 GMT+03:00 Richard Biener : >> On Wed, Oct 28, 2015 at 2:13 PM, Ilya Enkovich >> wrote: >>> Hi, >>> >>> Testing boolean vector conversions I found several runtime regressions >>> and investigation showed it's due to incorrec

Re: [PATCH] Pass manager: add support for termination of pass list

2015-11-03 Thread Richard Biener
On Fri, Oct 30, 2015 at 1:53 PM, Martin Liška wrote: > On 10/30/2015 01:13 PM, Richard Biener wrote: >> So I suggest to do the push/pop of cfun there. >> do_per_function_toporder can be made static btw. >> >> Richard. > > Right, I've done that and it works (bootstrap has been currently running), >

Re: [PATCH, 2/2] Handle recursive restrict in function parameter

2015-11-03 Thread Tom de Vries
On 01/11/15 19:20, Tom de Vries wrote: On 01/11/15 19:03, Tom de Vries wrote: So, the new patch series is: 1Rename make_restrict_var_constraints to make_param_constraints 2Handle recursive restrict in function parameter I'll repost in reply to this message. This patch ad

Re: [PATCH] remove unused config/arm/coff.h

2015-11-03 Thread Jeff Law
On 11/03/2015 04:31 AM, tbsaunde+...@tbsaunde.org wrote: From: Trevor Saunders Hi, $subject, nothing refers to this header so we might as well remove it. tested I can still build on x86_64-linux-gnu, not that I would expect anything else or that it is particularly relevent, ok? Trev gcc/Cha

[gomp4,committed] Handle recursive restrict in function parameter

2015-11-03 Thread Tom de Vries
[ was: Re: [PATCH, 2/2] Handle recursive restrict in function parameter ] On 03/11/15 14:46, Tom de Vries wrote: On 01/11/15 19:20, Tom de Vries wrote: On 01/11/15 19:03, Tom de Vries wrote: So, the new patch series is: 1Rename make_restrict_var_constraints to make_param_constraints

Re: [patch 4/3] Header file reduction - Tools for contrib - second cut

2015-11-03 Thread Jeff Law
On 11/03/2015 06:24 AM, Andrew MacLeod wrote: Do you have any sense of whether or not coverage of the tools has improved over short time since we started squashing out conditional compilation? I was running the header file reordering bits on the trunk and was a bit surprised of how many things

Re: [PATCH 6/6] Make SRA replace constant-pool loads

2015-11-03 Thread Richard Biener
On Thu, Oct 29, 2015 at 8:18 PM, Alan Lawrence wrote: > This has changed quite a bit since the previous revision > (https://gcc.gnu.org/ml/gcc-patches/2015-08/msg01484.html), mostly due to Ada > and specifically Ada on ARM. > > I didn't find a good alternative to scanning for constant-pool accesse

Re: [PATCH] Add configure flag for operator new (std::nothrow)

2015-11-03 Thread Aurelio Remonda
On Tue, Nov 3, 2015 at 10:26 AM, Paolo Carlini wrote: > Hi, > > On 11/03/2015 01:35 PM, Aurelio Remonda wrote: >> >> diff --git a/ChangeLog b/ChangeLog >> index 5b16ca2..a1cd0d3 100644 >> --- a/ChangeLog >> +++ b/ChangeLog >> @@ -1,3 +1,12 @@ >> +2015-10-30 Aurelio Remonda >> + >> + * lib

RE: [PATCH, MIPS, PR/61114] Migrate to reduc_..._scal optabs.

2015-11-03 Thread Moore, Catherine
> -Original Message- > From: Simon Dardis [mailto:simon.dar...@imgtec.com] > Sent: Wednesday, October 07, 2015 6:51 AM > To: Alan Lawrence; Matthew Fortune; Moore, Catherine > Cc: gcc-patches@gcc.gnu.org > Subject: RE: [PATCH, MIPS, PR/61114] Migrate to reduc_..._scal optabs. > > On the

Re: [PATCH] Add configure flag for operator new (std::nothrow)

2015-11-03 Thread Andreas Schwab
Aurelio Remonda writes: > aurelio-remonda@Remonda-PC:~/gcc/libstdc++-v3$ autoreconf > configure.ac:74: error: Autoconf version 2.65 or higher is required Make sure you have automake 1.11.6. Andreas. -- Andreas Schwab, SUSE Labs, sch...@suse.de GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE 1

Re: [PATCH] Pass manager: add support for termination of pass list

2015-11-03 Thread Martin Liška
On 11/03/2015 02:46 PM, Richard Biener wrote: > On Fri, Oct 30, 2015 at 1:53 PM, Martin Liška wrote: >> On 10/30/2015 01:13 PM, Richard Biener wrote: >>> So I suggest to do the push/pop of cfun there. >>> do_per_function_toporder can be made static btw. >>> >>> Richard. >> >> Right, I've done that

[PATCH] Fix typo.

2015-11-03 Thread Yulia Koval
Hi, This patch fixes a typo: PROCESSOT -> PROCESSOR. Ok for trunk? Yulia patch Description: Binary data

Re: [PATCH] remove unused config/arm/coff.h

2015-11-03 Thread Richard Earnshaw
On 03/11/15 13:49, Jeff Law wrote: > On 11/03/2015 04:31 AM, tbsaunde+...@tbsaunde.org wrote: >> From: Trevor Saunders >> >> Hi, >> >> $subject, nothing refers to this header so we might as well remove it. >> >> tested I can still build on x86_64-linux-gnu, not that I would expect >> anything >> e

Re: [patch 4/3] Header file reduction - Tools for contrib - second cut

2015-11-03 Thread Andrew MacLeod
On 11/03/2015 09:00 AM, Jeff Law wrote: yeah, the reducer still needs some tweaks to be generally runnable I think. IN particular, how to deal with externally supplied macros it cant really see. Im still thinking about that one. Well, the solution is obvious, we continue the move away from

[gomp4, committed] Implement -foffload-alias

2015-11-03 Thread Tom de Vries
[ was: Re: [gomp4, WIP] Implement -foffload-alias ] On 28/09/15 17:38, Tom de Vries wrote: Hi, this work-in-progress patch implements a new option -foffload-alias=. The option -foffload-alias=none instructs the compiler to assume that objects references and pointer dereferences in an offload

[PATCH] Fix declaration of pthread-structs in s-osinte-rtems.ads

2015-11-03 Thread Jan Sommer
Hi, Let's try again. This time I made the diff against trunk with the changes Sebastian recommended, included a ChangeLog and used svn-diff. If this patch goes through, please let me know how the backporting works. Best regards, Jan Index: ChangeLog =

[PATCH] PR 68192 Export AIX TLS symbols

2015-11-03 Thread David Edelsohn
TLS symbols in AIX display a new, different symbol type in nm output. Libtool explicitly creates a list of exported symbols for shared libraries using nm and does not recognize the new TLS symbols, so those symbols are not exported. This is a regression for TLS support on AIX. This patch updates

Re: [gomp4 06/14] omp-low: copy omp_data_o to shared memory on NVPTX

2015-11-03 Thread Alexander Monakov
Hello, Here's an alternative patch that does not depend on exposure of shared-memory address space, and does not try to use pass_late_lower_omp. It's based on Bernd's suggestion to transform (use .omp_data_o) GOMP_parallel (fn, &omp_data_o, ...); .omp_data_o = {CLOBBER}; to .omp_data_o

[PATCH][i386]Migrate reduction optabs to reduc__scal

2015-11-03 Thread Alan Lawrence
This migrates the various reduction optabs in sse.md to use the reduce-to-scalar form. I took the straightforward approach (equivalent to the migration code in expr.c/optabs.c) of generating a vector temporary, using the existing code to reduce to that, and extracting lane 0, in each pattern. Boot

[PATCH/RFTesting][MIPS] Migrate reduction optabs in mips-ps-3d.md

2015-11-03 Thread Alan Lawrence
There are still a few uses of the old reduc_[us](plus|min|max)_ optabs remaining. This migrates the instances in mips-ps-3d.md. This seemed straightforward, as mips-ps-3d.md also provides a vec_extractv2sf. I tried to be conservative and handle all the possible cases for endianness, this may be ov

Re: [PATCH] Fix typo.

2015-11-03 Thread Uros Bizjak
On Tue, Nov 3, 2015 at 3:16 PM, Yulia Koval wrote: > Hi, > > This patch fixes a typo: PROCESSOT -> PROCESSOR. Ok for trunk? Trivial patch, OK with a suitable ChangeLog. Uros.

Re: [0/7] Type promotion pass and elimination of zext/sext

2015-11-03 Thread Richard Biener
On Mon, Nov 2, 2015 at 10:17 AM, Kugan wrote: > > > On 29/10/15 02:45, Richard Biener wrote: >> On Tue, Oct 27, 2015 at 1:50 AM, kugan >> wrote: >>> >>> >>> On 23/10/15 01:23, Richard Biener wrote: On Thu, Oct 22, 2015 at 12:50 PM, Kugan wrote: > > > > On 21/10/15

Re: [gomp4, committed] Implement -foffload-alias

2015-11-03 Thread Tom de Vries
On 03/11/15 15:19, Tom de Vries wrote: I've dropped the two testcases from this patch, I'll commit in a follow-up patch. Committed to gomp-4_0-branch, as attached. Thanks, - Tom Add goacc/kernels-loop-offload-alias-{none,ptr}.c 2015-11-03 Tom de Vries * c-c++-common/goacc/kernels-loop-of

Re: [v3 PATCH] Make the default constructors of tuple and pair conditionally explicit.

2015-11-03 Thread Jonathan Wakely
On 3 November 2015 at 02:37, Paolo Carlini wrote: > Hi, > > On 11/02/2015 09:20 PM, Ville Voutilainen wrote: >> >> On 2 November 2015 at 21:20, Paolo Carlini >> wrote: >>> >>> Can we follow the terse style already used elsewhere (eg, >>> __is_direct_constructible_new_safe) thus directly inherit fr

Re: [PATCH] Pass manager: add support for termination of pass list

2015-11-03 Thread Richard Biener
On Tue, Nov 3, 2015 at 3:13 PM, Martin Liška wrote: > On 11/03/2015 02:46 PM, Richard Biener wrote: >> On Fri, Oct 30, 2015 at 1:53 PM, Martin Liška wrote: >>> On 10/30/2015 01:13 PM, Richard Biener wrote: So I suggest to do the push/pop of cfun there. do_per_function_toporder can be ma

Re: [PATCH] PR 68192 Export AIX TLS symbols

2015-11-03 Thread Richard Biener
On Tue, Nov 3, 2015 at 3:23 PM, David Edelsohn wrote: > TLS symbols in AIX display a new, different symbol type in nm output. > Libtool explicitly creates a list of exported symbols for shared > libraries using nm and does not recognize the new TLS symbols, so > those symbols are not exported. > >

Re: [v3 PATCH] Make the default constructors of tuple and pair conditionally explicit.

2015-11-03 Thread Ville Voutilainen
On 3 November 2015 at 16:42, Jonathan Wakely wrote: > On 3 November 2015 at 02:37, Paolo Carlini wrote: >> Hi, >> >> On 11/02/2015 09:20 PM, Ville Voutilainen wrote: >>> >>> On 2 November 2015 at 21:20, Paolo Carlini >>> wrote: Can we follow the terse style already used elsewhere (eg, >

Re: [PATCH, 2/2] Handle recursive restrict in function parameter

2015-11-03 Thread Richard Biener
On Tue, 3 Nov 2015, Tom de Vries wrote: > On 01/11/15 19:20, Tom de Vries wrote: > > On 01/11/15 19:03, Tom de Vries wrote: > > > So, the new patch series is: > > > > > > 1Rename make_restrict_var_constraints to make_param_constraints > > > 2Handle recursive restrict in functi

Re: libgo patch committed: Update to Go 1.5 release

2015-11-03 Thread Ian Lance Taylor
On Mon, Nov 2, 2015 at 11:48 PM, Uros Bizjak wrote: > >> I have committed a patch to libgo to update it to the Go 1.5 release. >> >> As usual for libgo updates, the actual patch is too large to attach to >> this e-mail message. I've attached the changes to the gccgo-specific >> files. >> >> Boots

Re: [1/2] OpenACC routine support

2015-11-03 Thread Jakub Jelinek
On Mon, Nov 02, 2015 at 02:21:43PM -0500, Nathan Sidwell wrote: > --- gcc/c/c-parser.c (revision 229667) > +++ gcc/c/c-parser.c (working copy) > @@ -1160,7 +1160,8 @@ enum c_parser_prec { > static void c_parser_external_declaration (c_parser *); > static void c_parser_asm_definition (c_parser *

Re: [PATCH] remove unused config/arm/coff.h

2015-11-03 Thread Trevor Saunders
On Tue, Nov 03, 2015 at 06:49:20AM -0700, Jeff Law wrote: > On 11/03/2015 04:31 AM, tbsaunde+...@tbsaunde.org wrote: > >From: Trevor Saunders > > > >Hi, > > > >$subject, nothing refers to this header so we might as well remove it. > > > >tested I can still build on x86_64-linux-gnu, not that I wou

Re: [2/2] OpenACC routine support

2015-11-03 Thread Jakub Jelinek
On Mon, Nov 02, 2015 at 02:23:19PM -0500, Nathan Sidwell wrote: > Here are the tests for the routine support. The compiler tests check > invalid combinations of gang, worker, vector & seq. The libgomp execution > tests check the expected partioning occurs within loops. As with the > reduction t

Re: Multiply Optimization in match and Simplify

2015-11-03 Thread Richard Biener
On Tue, Nov 3, 2015 at 6:12 AM, Hurugalawadi, Naveen wrote: > Hi, > > Thanks for the review and suggestions. > >>> Please do not drop A - B -> A + (-B) from fold-const as match.pd >>> doesn't implement all of fold-const.c negate_expr_p support. > > Done. > >>> which is more expensive. This means

[PATCH][AArch64][v2] Improve comparison with complex immediates followed by branch/cset

2015-11-03 Thread Kyrill Tkachov
Hi all, This patch slightly improves sequences where we want to compare against a complex immediate and branch against the result or perform a cset on it. This means transforming sequences of mov+movk+cmp+branch into sub+subs+branch. Similar for cset. Unfortunately I can't just do this by simply

Re: [1/3] OpenACC reductions

2015-11-03 Thread Jakub Jelinek
On Mon, Nov 02, 2015 at 11:18:37AM -0500, Nathan Sidwell wrote: > This is the core execution bits of OpenACC reductions. > > We have a new internal fn 'IFN_GOACC_REDUCTION' and a new target hook > goacc.reduction, to lower it on the target compiler. So, let me start with a few questions: 1) does

Re: libgo patch committed: Update to Go 1.5 release

2015-11-03 Thread Lynn A. Boger
We are seeing failures on all the libgo tests when gccgo is built with the latest trunk on ppc64 (BE) and when running the testsuite for 64 bit. The failures do not occur if run on ppc64 BE with m32 and do not occur on ppc64le. The messages say this: make[3]: Entering directory `/home/boger/g

Re: [PATCH] replace BITS_PER_UNIT with __CHAR_BIT__ in target libs

2015-11-03 Thread Trevor Saunders
On Tue, Nov 03, 2015 at 01:20:26PM +, Joseph Myers wrote: > On Mon, 2 Nov 2015, Jeff Law wrote: > > > Based on Bernd's comments, I think this is fine. Any sense of how much work > > there is left to cleanup the runtime's inclusion of gcc's config/ target > > headers? > > See

[PATCH] Refactor BB vectorization

2015-11-03 Thread Richard Biener
This refactors BB vectorization in preparation to make it work on sub-BB granularity. Bootstrapped and tested on x86_64-unknown-linux-gnu, applied to trunk. Richard. 2015-11-03 Richard Biener * tree-vect-data-refs.c (vect_analyze_data_refs): Do not collect data references he

Re: [1/2] OpenACC routine support

2015-11-03 Thread Nathan Sidwell
On 11/03/15 10:35, Jakub Jelinek wrote: On Mon, Nov 02, 2015 at 02:21:43PM -0500, Nathan Sidwell wrote: --- gcc/c/c-parser.c(revision 229667) +++ gcc/c/c-parser.c(working copy) @@ -1160,7 +1160,8 @@ enum c_parser_prec { static void c_parser_external_declaration (c_parser *); static v

Re: [1/3] OpenACC reductions

2015-11-03 Thread Nathan Sidwell
On 11/03/15 10:46, Jakub Jelinek wrote: On Mon, Nov 02, 2015 at 11:18:37AM -0500, Nathan Sidwell wrote: This is the core execution bits of OpenACC reductions. We have a new internal fn 'IFN_GOACC_REDUCTION' and a new target hook goacc.reduction, to lower it on the target compiler. So, let me

Re: [Boolean Vector, patch 1/5] Introduce boolean vector to be used as a vector comparison type

2015-11-03 Thread Jeff Law
On 10/29/2015 07:08 AM, Ilya Enkovich wrote: On 28 Oct 22:37, Ilya Enkovich wrote: Seems the problem occurs in this check in expand_vector_operations_1: /* A scalar operation pretending to be a vector one. */ if (VECTOR_BOOLEAN_TYPE_P (type) && !VECTOR_MODE_P (TYPE_MODE (type))

Re: [PATCH] Fix typo.

2015-11-03 Thread Yulia Koval
Here it is. gcc/ * config/i386/i386.c (m_SKYLAKE_AVX512): Fix typo. Yulia On Tue, Nov 3, 2015 at 5:32 PM, Uros Bizjak wrote: > On Tue, Nov 3, 2015 at 3:16 PM, Yulia Koval wrote: >> Hi, >> >> This patch fixes a typo: PROCESSOT -> PROCESSOR. Ok for trunk? > > Trivial patch, OK with a suitabl

Re: [2/2] OpenACC routine support

2015-11-03 Thread Nathan Sidwell
On 11/03/15 10:38, Jakub Jelinek wrote: On Mon, Nov 02, 2015 at 02:23:19PM -0500, Nathan Sidwell wrote: Here are the tests for the routine support. The compiler tests check invalid combinations of gang, worker, vector & seq. The libgomp execution tests check the expected partioning occurs with

Re: [2/2] OpenACC routine support

2015-11-03 Thread Jakub Jelinek
On Tue, Nov 03, 2015 at 10:56:37AM -0500, Nathan Sidwell wrote: > On 11/03/15 10:38, Jakub Jelinek wrote: > >On Mon, Nov 02, 2015 at 02:23:19PM -0500, Nathan Sidwell wrote: > >>Here are the tests for the routine support. The compiler tests check > >>invalid combinations of gang, worker, vector & s

Re: [PATCH] PR 68192 Export AIX TLS symbols

2015-11-03 Thread David Edelsohn
On Tue, Nov 3, 2015 at 9:47 AM, Richard Biener wrote: > On Tue, Nov 3, 2015 at 3:23 PM, David Edelsohn wrote: >> TLS symbols in AIX display a new, different symbol type in nm output. >> Libtool explicitly creates a list of exported symbols for shared >> libraries using nm and does not recognize t

Re: [OpenACC] declare directive

2015-11-03 Thread James Norris
On 10/27/2015 03:18 PM, James Norris wrote: Hi! This patch adds the processing of OpenACC declare directive in C and C++. (Note: Support in Fortran is already in trunk.) Commentary on the changes is included as an attachment (NOTES). All of the code is in the gomp-4_0-branch

[Patch AArch64] Switch constant pools to separate rodata sections.

2015-11-03 Thread Ramana Radhakrishnan
Hi, Now that PR63304 is fixed and we have an option to address any part of the memory using adrp / add or adrp / ldr instructions it makes sense to switch out literal pools into their own mergeable sections by default. This would mean that by default we could now start getting the benefit

Re: [PATCH, 2/2] Handle recursive restrict in function parameter

2015-11-03 Thread Tom de Vries
On 03/11/15 16:08, Richard Biener wrote: On Tue, 3 Nov 2015, Tom de Vries wrote: On 01/11/15 19:20, Tom de Vries wrote: On 01/11/15 19:03, Tom de Vries wrote: So, the new patch series is: 1Rename make_restrict_var_constraints to make_param_constraints 2Handle recursive

Re: [PATCH] remove unused config/arm/coff.h

2015-11-03 Thread Richard Earnshaw
On 03/11/15 15:37, Trevor Saunders wrote: > On Tue, Nov 03, 2015 at 06:49:20AM -0700, Jeff Law wrote: >> On 11/03/2015 04:31 AM, tbsaunde+...@tbsaunde.org wrote: >>> From: Trevor Saunders >>> >>> Hi, >>> >>> $subject, nothing refers to this header so we might as well remove it. >>> >>> tested I ca

[c++-delayed-folding] Introduce convert_to_real_nofold

2015-11-03 Thread Marek Polacek
The last piece for convert.c. Since convert_to_real uses fold () rather than fold_buildN, I defined a new macro to keep the code more compact. With this committed, convert.c should be dealt with. If there's anything else I could help with, please let me know. Bootstrapped/regtested on x86_64-li

[PATCH][RFC] Remove warning for SET VOIDmode -> BLKmode.

2015-11-03 Thread Dominik Vogt
The attached patch removes the messages "warning: source missing a mode?" and "warning: operand ... missing mode?" (genrecog.c) for the case that the DEST of a SET rtx has BKLmode and SRC has void mode. The mvcle instruction on s390 has a pretty weird format that takes the lowest eight bits of an

Re: [Patch AArch64] Switch constant pools to separate rodata sections.

2015-11-03 Thread James Greenhalgh
On Tue, Nov 03, 2015 at 04:36:45PM +, Ramana Radhakrishnan wrote: > Hi, > > Now that PR63304 is fixed and we have an option to address > any part of the memory using adrp / add or adrp / ldr instructions > it makes sense to switch out literal pools into their own > mergeable sections by

Re: [PATCH] Fix declaration of pthread-structs in s-osinte-rtems.ads

2015-11-03 Thread Arnaud Charlet
> Let's try again. This time I made the diff against trunk with the changes > Sebastian recommended, included a ChangeLog and used svn-diff. > If this patch goes through, please let me know how the backporting works. Your ChangeLog entry is not in the proper format, see sections 6.8.1 and 6.8.2 fr

Re: [PATCH][RFC] Remove warning for SET VOIDmode -> BLKmode.

2015-11-03 Thread Dominik Vogt
(Debug code removed from patch.) Ciao Dominik ^_^ ^_^ -- Dominik Vogt IBM Germany gcc/ChangeLog * genrecog.c (validate_pattern): Allow "set VOIDmode -> BLKmode" without warnings. >From 04376919c108c42a2e9835dd1809b198bc47513f Mon Sep 17 00:00:00 2001 From: Dominik Vogt Date:

Re: [PATCH] Add configure flag for operator new (std::nothrow)

2015-11-03 Thread Aurelio Remonda
On Tue, Nov 3, 2015 at 10:26 AM, Paolo Carlini wrote: > Finally, since you are touching acinclude.m4 you should > normally run autoreconf, mention in the ChangeLog the changed regenerated > files and eventually commit those changes too (like the ChangeLog entries, > those aren't normally part of t

[PATCH] S/390: Fix warning in "*movstr" pattern.

2015-11-03 Thread Dominik Vogt
The attached patch fixes the message "warning: dest missing a mode?" from s390.md. Ciao Dominik ^_^ ^_^ -- Dominik Vogt IBM Germany gcc/ChangeLog * config/s390/s390.md ("*movstr"): Fix warning. >From e03251cacf2004e4cb302de03b44bb1a3f6ad827 Mon Sep 17 00:00:00 2001 From: Dominik Vog

Re: libgo patch committed: Update to Go 1.5 release

2015-11-03 Thread Ian Lance Taylor
On Tue, Nov 3, 2015 at 7:48 AM, Lynn A. Boger wrote: > > We are seeing failures on all the libgo tests when gccgo is built with the > latest trunk > on ppc64 (BE) and when running the testsuite for 64 bit. The failures > do not occur if run on ppc64 BE with m32 and do not occur on ppc64le. > > Th

Re: [ARM] Fix PR middle-end/65958

2015-11-03 Thread Richard Earnshaw
On 06/10/15 11:11, Eric Botcazou wrote: >> Thanks - I have no further comments on this patch. We probably need to >> implement the same on AArch64 too in order to avoid similar problems. > > Here's the implementation for aarch64, very similar but simpler since there > is > no shortage of scratch

Re: [PATCH] Fix declaration of pthread-structs in s-osinte-rtems.ads

2015-11-03 Thread Jan Sommer
Am Tuesday 03 November 2015, 18:10:53 schrieb Arnaud Charlet: > > Let's try again. This time I made the diff against trunk with the changes > > Sebastian recommended, included a ChangeLog and used svn-diff. > > If this patch goes through, please let me know how the backporting works. > > Your Chan

Re: [PATCH] S/390: Fix warning in "*movstr" pattern.

2015-11-03 Thread Ulrich Weigand
Dominik Vogt wrote: > @@ -2936,7 +2936,7 @@ > (set (mem:BLK (match_operand:P 1 "register_operand" "0")) > (mem:BLK (match_operand:P 3 "register_operand" "2"))) > (set (match_operand:P 0 "register_operand" "=d") > - (unspec [(mem:BLK (match_dup 1)) > + (unspec:P [(mem:BLK (mat

Re: [AArch64] Update comments on the usage of X30 in FIXED_REGISTERS and CALL_USED_REGISTERS

2015-11-03 Thread Jiong Wang
On 02/11/15 14:52, Richard Earnshaw wrote: On 02/11/15 12:58, Jiong Wang wrote: On 02/11/15 12:01, Richard Earnshaw wrote: On 16/10/15 15:36, Jiong Wang wrote: The patch https://gcc.gnu.org/ml/gcc-patches/2014-09/msg02654.html from last year changed the definition of LR in CALL_USED_REGISTE

Re: [ARM] Fix PR middle-end/65958

2015-11-03 Thread Eric Botcazou
> Unless there really is common code between the two patches, this should > be separated out into two posts, one for ARM and one for AArch64. The ARM bits were approved by Ramana and installed right away. > Hmm, so if PROBE_INTERVAL != 4096 we barf! Yes, but that's not usual, ARM and SPARC have

  1   2   >