[committed] gen-pass-instances.awk: Add emacs indent setting

2015-11-12 Thread Tom de Vries
Hi, this patch adds emacs indentation settings to gen-pass-instances.awk. The default indentation width in emacs awk mode seems to be 4, and this setting overrides it to 8, which is the style used in this file. Committed to trunk as trivial. Thanks, - Tom gen-pass-instances.awk: Add emacs in

gen-pass-instances.awk: Remove unused var in handle_line

2015-11-12 Thread Tom de Vries
Hi, this patch removes an unused variable from handle_line in gen-pass-instances.awk. Committed to trunk as trivial. Thanks, - Tom gen-pass-instances.awk: Remove unused var in handle_line 2015-11-11 Tom de Vries * gen-pass-instances.awk (handle_line): Remove unused var line_length. ---

[committed] gen-pass-instances.awk: Unify semicolon use in handle_line

2015-11-12 Thread Tom de Vries
Hi, this patch unifies semicolon use in handle_line in gen-pass-instances.awk. Committed to trunk as trivial. Thanks, - Tom gen-pass-instances.awk: Unify semicolon use in handle_line 2015-11-11 Tom de Vries * gen-pass-instances.awk (handle_line): Unify semicolon use. --- gcc/gen-pass-in

[committed] gen-pass-instances.awk: Use early-out in handle_line

2015-11-12 Thread Tom de Vries
Hi, this patch restructures handle_line in gen-pass-instances.awk to use an early-out. Committed to trunk as trivial. Thanks, - Tom gen-pass-instances.awk: Use early-out in handle_line 2015-11-11 Tom de Vries * gen-pass-instances.awk (handle_line): Restructure using early-out. --- gcc

[PATCH, i386]: Use ssememalign attribute value to reject insns with misaligned operands

2015-11-12 Thread Uros Bizjak
Hello! Attached patch uses ssememalign attribute to reject insn combinations where memory operands would be misaligned. 2015-11-12 Uros Bizjak * config/i386/i386.c (ix86_legitimate_combined_insn): Reject combined insn if the alignment of vector mode memory operand is less than sse

[committed] gen-pass-instances.awk: Add len_of_call var in handle_line

2015-11-12 Thread Tom de Vries
Hi, this patch adds a variable len_of_call in handle_line in gen-pass-instances.awk. It moves the use of the RLENGTH variable just after the related match call. Committed to trunk as trivial. Thanks, - Tom gen-pass-instances.awk: Add len_of_call var in handle_line 2015-11-11 Tom de Vries

[committed] gen-pass-instances.awk: Rename len_of_end to len_of_close in handle_line

2015-11-12 Thread Tom de Vries
Hi, this patch renames variable len_of_end to len_of_close in handle_line in gen-pass-instances.awk. Committed to trunk as obvious. Thanks, - Tom gen-pass-instances.awk: Rename len_of_end to len_of_close in handle_line 2015-11-11 Tom de Vries * gen-pass-instances.awk (handle_line): Rena

[committed] gen-pass-instances.awk: Add comments in handle_line

2015-11-12 Thread Tom de Vries
Hi, this patch adds some comments in handle_line in gen-pass-instances.awk. Committed to trunk as trivial. Thanks, - Tom gen-pass-instances.awk: Add comments in handle_line 2015-11-11 Tom de Vries * gen-pass-instances.awk (handle_line): Add comments. --- gcc/gen-pass-instances.awk | 5 +

[committed] gen-pass-instances.awk: Add pass_num, prefix and postfix vars in handle_line

2015-11-12 Thread Tom de Vries
Hi, this patch adds new variables pass_num, prefix and postfix in handle_line in gen-pass-instances.awk. Committed to trunk as trivial. Thanks, - Tom gen-pass-instances.awk: Add pass_num, prefix and postfix vars in handle_line 2015-11-11 Tom de Vries * gen-pass-instances.awk (handle_lin

[committed] gen-pass-instances.awk: Make print command clearer in handle_line

2015-11-12 Thread Tom de Vries
Hi, this patch modifies the prefix and postfix expressions in handle_line gen-pass-instances.awk, such that the printf command now lists all the NEXT_PASS call arguments, and surrounds them with parentheses. Committed to trunk as trivial. Thanks, - Tom gen-pass-instances.awk: Make print comm

Re: open acc default data attribute

2015-11-12 Thread Jakub Jelinek
On Wed, Nov 11, 2015 at 12:19:55PM -0500, Nathan Sidwell wrote: > this patch implements default data attribute determination. The current > behaviour defaults to 'copy' and ignores 'default(none)'. The patch > corrects that. > > 1) We emit a diagnostic when 'default(none)' is in effect. The for

Re: [PATCH] PR ada/66205 gnatbind generates invalid code when finalization is enabled in restricted runtime

2015-11-12 Thread Simon Wright
On 11 Nov 2015, at 19:43, Simon Wright wrote: > This situation arises, for example, with an embedded RTS that incorporates the > Ada 2012 generalized container iterators. I should add, this PR is the “other half” of PR ada/66242, which is fixed in GCC 6; so please can it be reviewed? I didn’t

Re: OpenACC Firstprivate

2015-11-12 Thread Thomas Schwinge
Hi Nathan! Merging back your trunk r230169 into gomp-4_0-branch, for the new libgomp/testsuite/libgomp.oacc-c-c++-common/firstprivate-2.c test, I'm seeing the compiler diagnose as follows (compile with "-Wall -O2"): source-gcc/libgomp/testsuite/libgomp.oacc-c-c++-common/firstprivate-2.c: In

Re: [OpenACC] declare directive

2015-11-12 Thread Jakub Jelinek
On Wed, Nov 11, 2015 at 07:07:58PM -0600, James Norris wrote: > + oacc_declare_returns->remove (t); > + > + if (oacc_declare_returns->elements () == 0) > + { > + delete oacc_declare_returns; > + oacc_declare_returns = N

Pointless configure checks for macros

2015-11-12 Thread Jonathan Wakely
PR68307 points out that config/os/mingw32-w64/error_constants.h fails to define a number of errc constants which correspond to EXXX macros that are supported on mingw-w64. Does anyone know why we test explicitly for these macros but not others? m4_foreach([syserr], [EOWNERDEAD, ENOTRECOVERABLE,

[PATCH][ARM]Fix addsi3_compare_op2 pattern.

2015-11-12 Thread Renlin Li
Hi all, This is a simply patch to adjust the assembly output for addsi3_compare_op2 rtx pattern in ARM backend. According to the constraints, it's the second alternative which allows the second operand to be a constant. The original pattern will trigger an ICE when the third alternative is c

RE: [PATCH][ARC] Fix ARC backend ICE on pr29921-2

2015-11-12 Thread Claudiu Zissulescu
Patch applied. Thanks Joern, Claudiu > -Original Message- > From: Joern Wolfgang Rennecke [mailto:g...@amylaar.uk] > Sent: Wednesday, November 11, 2015 7:15 PM > To: Claudiu Zissulescu; gcc-patches@gcc.gnu.org > Cc: Francois Bedard > Subject: Re: [PATCH][ARC] Fix ARC backend ICE on pr2992

Re: [PATCH][ARM]Fix addsi3_compare_op2 pattern.

2015-11-12 Thread Kyrill Tkachov
Hi Renlin, On 12/11/15 09:29, Renlin Li wrote: Hi all, This is a simply patch to adjust the assembly output for addsi3_compare_op2 rtx pattern in ARM backend. According to the constraints, it's the second alternative which allows the second operand to be a constant. The original pattern will

Re: Recent patch craters vector tests on powerpc64le-linux-gnu

2015-11-12 Thread James Greenhalgh
On Wed, Nov 11, 2015 at 05:12:29PM -0600, Bill Schmidt wrote: > Hi Ilya, > > The patch committed as r230098 has caused a number of ICEs on > powerpc64le-linux-gnu. And arm-none-linux-gnueabihf, and aarch64-none-linux-gnu. > Could you please either revert the patch or fix these issues? Thanks,

Re: [PATCH] Fix PR ipa/68035 (v2)

2015-11-12 Thread Martin Liška
Hello. I'm sending reworked version of the patch, where I renamed 'sem_item::hash' to 'm_hash' and wrapped all usages with 'get_hash'. Apart from that, a new member function 'set_hash' is utilized for changing the hash value. Hope it's easier for understanding. Patch can survive regression test

Re: [PATCH] Fix PR ipa/68035

2015-11-12 Thread Martin Liška
On 11/06/2015 05:43 PM, Jan Hubicka wrote: >> Hello. >> >> Following patch triggers hash calculation of items (functions and variables) >> in situations where LTO mode is not utilized. >> >> Patch survives regression tests and bootstraps on x86_64-linux-pc. >> >> Ready for trunk? >> Thanks, >> Mart

Re: Recent patch craters vector tests on powerpc64le-linux-gnu

2015-11-12 Thread Andreas Schwab
Bill Schmidt writes: > The patch committed as r230098 has caused a number of ICEs on > powerpc64le-linux-gnu. This is PR68296. Andreas. -- Andreas Schwab, SUSE Labs, sch...@suse.de GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE 1748 E4D4 88E3 0EEA B9D7 "And now for something completely diffe

[PATCH, PR68286] Fix vector comparison expand

2015-11-12 Thread Ilya Enkovich
Hi, My vector comparison patches broken expand of vector comparison on targets which don't have new comparison patterns but support VEC_COND_EXPR. This happens because it's not checked vector comparison may be expanded as a comparison. This patch fixes it. Bootstrapped and regtested on powe

Re: Recent patch craters vector tests on powerpc64le-linux-gnu

2015-11-12 Thread Ilya Enkovich
2015-11-12 12:48 GMT+03:00 James Greenhalgh : > On Wed, Nov 11, 2015 at 05:12:29PM -0600, Bill Schmidt wrote: >> Hi Ilya, >> >> The patch committed as r230098 has caused a number of ICEs on >> powerpc64le-linux-gnu. > > And arm-none-linux-gnueabihf, and aarch64-none-linux-gnu. > >> Could you please

Re: [PATCH] PR ada/66205 gnatbind generates invalid code when finalization is enabled in restricted runtime

2015-11-12 Thread Arnaud Charlet
> > This situation arises, for example, with an embedded RTS that > > incorporates the > > Ada 2012 generalized container iterators. > > I should add, this PR is the ???other half??? of PR ada/66242, which is fixed > in GCC 6; so please can it be reviewed? The proper patch for PR ada/66242 hasn't

Re: [mask-vec_cond, patch 1/2] Support vectorization of VEC_COND_EXPR with no embedded comparison

2015-11-12 Thread Ramana Radhakrishnan
On Thu, Oct 8, 2015 at 4:50 PM, Ilya Enkovich wrote: > Hi, > > This patch allows COND_EXPR with no embedded comparison to be vectorized. > It's applied on top of vectorized comparison support series. New optab > vcond_mask_optab > is introduced for such statements. Bool patterns now avoid comp

[PATCH 04/N] Fix big memory leak in ix86_valid_target_attribute_p

2015-11-12 Thread Martin Liška
Hello. Following patch was a bit negotiated with Jakub and can save a huge amount of memory in cases where target attributes are heavily utilized. Can bootstrap and survives regression tests on x86_64-linux-pc. Ready for trunk? Thanks, Martin >From ebb7bd3cf513dc437622868eddbed6c8f725a67c Mon S

[committed] gen-pass-instances.awk: Rename var where to call_starts_at in handle_line

2015-11-12 Thread Tom de Vries
Hi, this patch renames the rather generic variable 'where' to the more specific 'call_starts_at' in handle_line in gen-pass-instances.awk. Committed as to trunk as trivial. Thanks, - Tom gen-pass-instances.awk: Rename var where to call_starts_at in handle_line 2015-11-12 Tom de Vries *

[committed] gen-pass-instances.awk: Simplify init of postfix_starts_at in handle_line

2015-11-12 Thread Tom de Vries
Hi, this patch simplifies the initialization of postfix_starts_at in handle_line in gen-pass-instances.awk. Committed to trunk as trivial. Thanks, - Tom gen-pass-instances.awk: Simplify init of postfix_starts_at in handle_line 2015-11-12 Tom de Vries * gen-pass-instances.awk (handle_lin

Re: [Patch ARM] Switch ARM to unified asm.

2015-11-12 Thread Ramana Radhakrishnan
On Thu, Nov 12, 2015 at 9:21 AM, Christian Bruel wrote: > Hi Ramana, > > On 11/10/2015 12:48 PM, Ramana Radhakrishnan wrote: >> >> [Resending as I managed to muck this up with my mail client] >> >> Hi, >> >> I held off committing a previous version of this patch that I posted in >> July to be nice

[committed] gen-pass-instances.awk: Simplify match regexp in handle_line

2015-11-12 Thread Tom de Vries
Hi, this patch simplifies the match regexp in handle_line in gen-pass-instances.awk. Committed to trunk as trivial. Thanks, - Tom gen-pass-instances.awk: Simplify match regexp in handle_line 2015-11-12 Tom de Vries * gen-pass-instances.awk (handle_line): Simplify match regexp. --- gcc

[patch] Fix doxygen @file comment in libstdc++ header

2015-11-12 Thread Jonathan Wakely
A trivial patch, I didn't edit the @file when I moved this file to the new bits sub-directory. Committed as obvious. commit 1229ad46adf4d9a74b3da4e354120ebaa1be8eb1 Author: Jonathan Wakely Date: Thu Nov 12 10:07:08 2015 + * include/experimental/bits/string_view.tcc: Fix doxygen @fi

Re: [hsa 2/12] Modifications to libgomp proper

2015-11-12 Thread Jakub Jelinek
On Thu, Nov 05, 2015 at 10:54:42PM +0100, Martin Jambor wrote: > The patch below contains all changes to libgomp files. First, it adds > a new constant identifying HSA devices and a structure that is shared > between libgomp and the compiler when kernels from kernels are invoked > via dynamic para

Re: [Patch] Optimize condition reductions where the result is an integer induction variable

2015-11-12 Thread Richard Biener
On Wed, Nov 11, 2015 at 7:54 PM, Alan Hayward wrote: > > > On 11/11/2015 13:25, "Richard Biener" wrote: > >>On Wed, Nov 11, 2015 at 1:22 PM, Alan Hayward >>wrote: >>> Hi, >>> I hoped to post this in time for Monday’s cut off date, but >>>circumstances >>> delayed me until today. Hoping if possib

Re: [Patch,tree-optimization]: Add new path Splitting pass on tree ssa representation

2015-11-12 Thread Richard Biener
On Wed, Nov 11, 2015 at 9:38 PM, Jeff Law wrote: > On 09/04/2015 11:36 AM, Ajit Kumar Agarwal wrote: > >>> diff --git a/gcc/passes.def b/gcc/passes.def >>> index 6b66f8f..20ddf3d 100644 >>> --- a/gcc/passes.def >>> +++ b/gcc/passes.def >>> @@ -82,6 +82,7 @@ along with GCC; see the file COPYING3.

[Ada] Warn when a non-imported constant overlays a constant

2015-11-12 Thread Arnaud Charlet
The compiler warns when a variable overlays a constant because of an address clause on the former. This change makes the compiler issue the same warning when a non-imported constant overlays a constant. The patch also removes an old pessimization whereby overlaid objects would be treated as volat

[Ada] More efficient code generated for object overlays

2015-11-12 Thread Arnaud Charlet
This change refines the use of the "volatile hammer" to implement the advice given in RM 13.3(19) by disabling it for object overlays altogether. relying instead on the ref-all aliasing property of reference types to achieve the desired effect. This will generate better code for object overlays, f

[Ada] Contract_Cases on entries

2015-11-12 Thread Arnaud Charlet
This patch implements apect/pragma Contract_Cases on enties. -- Source -- -- tracker.ads package Tracker is type Check_Kind is (Pre, Refined_Post, Post, Conseq_1, Conseq_2); type Tested_Array is array (Check_Kind) of Boolean; --

Re: [hsa 4/12] OpenMP lowering/expansion changes (gridification)

2015-11-12 Thread Jakub Jelinek
On Thu, Nov 05, 2015 at 10:57:33PM +0100, Martin Jambor wrote: > the patch in this email contains the changes to make our OpenMP > lowering and expansion machinery produce GPU kernels for a certain > limited class of loops. The plan is to make that class quite a big > bigger, but only the followin

Re: [OpenACC 0/7] host_data construct

2015-11-12 Thread Julian Brown
On Mon, 2 Nov 2015 18:33:39 + Julian Brown wrote: > On Mon, 26 Oct 2015 19:34:22 +0100 > Jakub Jelinek wrote: > > > Your use_device sounds very similar to use_device_ptr clause in > > OpenMP, which is allowed on #pragma omp target data construct and is > > implemented quite a bit differentl

Re: [hsa 5/12] New HSA-related GCC options

2015-11-12 Thread Jakub Jelinek
On Mon, Nov 09, 2015 at 05:58:56PM +0100, Martin Jambor wrote: > > But I don't see any way to disable it on the command line? (no switch?) > > No, the switch is -foffload, which has missing documentation (PR > 67300) and is only described at https://gcc.gnu.org/wiki/Offloading > Nevertheless, the

Re: [PATCH] Fix PR ipa/68035 (v2)

2015-11-12 Thread Richard Biener
On Thu, Nov 12, 2015 at 10:48 AM, Martin Liška wrote: > Hello. > > I'm sending reworked version of the patch, where I renamed 'sem_item::hash' > to 'm_hash' > and wrapped all usages with 'get_hash'. Apart from that, a new member > function 'set_hash' > is utilized for changing the hash value. Ho

Re: [PATCH, PR68286] Fix vector comparison expand

2015-11-12 Thread Richard Biener
On Thu, Nov 12, 2015 at 10:57 AM, Ilya Enkovich wrote: > Hi, > > My vector comparison patches broken expand of vector comparison on targets > which don't have new comparison patterns but support VEC_COND_EXPR. This > happens because it's not checked vector comparison may be expanded as a > com

Re: [PATCH 04/N] Fix big memory leak in ix86_valid_target_attribute_p

2015-11-12 Thread Richard Biener
On Thu, Nov 12, 2015 at 11:03 AM, Martin Liška wrote: > Hello. > > Following patch was a bit negotiated with Jakub and can save a huge amount of > memory in cases > where target attributes are heavily utilized. > > Can bootstrap and survives regression tests on x86_64-linux-pc. > > Ready for trun

[PATCH][AArch64] Documentation fix for -fpic

2015-11-12 Thread Szabolcs Nagy
The documentation for -fpic and -fPIC explicitly mentions some targets where the difference matters, but not AArch64. Specifying the GOT size limit is not entirely correct as it can depend on the -mcmodel setting, but probably better than leaving the impression that -fpic vs -fPIC does not matter

Re: [PATCH 04/N] Fix big memory leak in ix86_valid_target_attribute_p

2015-11-12 Thread Bernd Schmidt
On 11/12/2015 12:29 PM, Richard Biener wrote: +static bool opts_obstack_initialized = false; + +/* Initialize opts_obstack if not initialized. */ + +void +init_opts_obstack (void) +{ + if (!opts_obstack_initialized) +{ + opts_obstack_initialized = true; + gcc_obstack_init (&opts_o

[Ada] Missing detection of elaboration dependency

2015-11-12 Thread Arnaud Charlet
This patch modifies the elaboration circuitry to detect an issue in SPARK where an object in package P of a private type in package T subject to pragma Default_Initial_Condition is default initialized and package P lacks Elaborate_All (T). -- Source -- -- pack.ads pack

[Ada] Legality checks on calls to a Generic_Dispatching_Constructor.

2015-11-12 Thread Arnaud Charlet
This patch adds several legality checks on calls to an instance of the predefined Generic_Dispatchin_Constructor. The following three tests are performed: a) The tag argument is defined, i.e. is not No_Tag. b) The tag is not that of an abstract type. c) The accessibility level of the type denot

[RFC] Remove first_pass_instance from pass_vrp

2015-11-12 Thread Tom de Vries
Hi, [ See also related discussion at https://gcc.gnu.org/ml/gcc-patches/2012-07/msg00452.html ] this patch removes the usage of first_pass_instance from pass_vrp. the patch: - limits itself to pass_vrp, but my intention is to remove all usage of first_pass_instance - lacks an update to gdbh

[Ada] Obscure messages due to freezing of contracts

2015-11-12 Thread Arnaud Charlet
This patch classifies a misplaced constituent as a critical error and stops the compilation. This ensures that the missing link between a constituent and state will not cause obscure cascaded errors. -- Source -- -- pack.ads package Pack with Spark_Mode => On,

[Ada] Crash on inconsistent IF-expression

2015-11-12 Thread Arnaud Charlet
This change makes sure the compiler produces a proper error (rather than crash) when compiling an (illegal) IF-expression where THEN-expression is overloaded, and none of its interpretation is compatible with the ELSE-expression. The following compilation must display: $ gcc -c badelse.adb badels

Re: [PATCH] [ARM/Aarch64] add initial Qualcomm support

2015-11-12 Thread James Greenhalgh
On Wed, Nov 11, 2015 at 10:34:53AM -0800, Jim Wilson wrote: > This adds an option for the Qualcomm server parts, qdf24xx, just > optimizing like a cortex-a57 for now, same as how the initial Samsung > exynos-m1 support worked. > > This was tested with armv8 and aarch64 bootstraps and make check. >

Re: [mask-vec_cond, patch 1/2] Support vectorization of VEC_COND_EXPR with no embedded comparison

2015-11-12 Thread Ilya Enkovich
2015-11-12 13:03 GMT+03:00 Ramana Radhakrishnan : > On Thu, Oct 8, 2015 at 4:50 PM, Ilya Enkovich wrote: >> Hi, >> >> This patch allows COND_EXPR with no embedded comparison to be vectorized. >> It's applied on top of vectorized comparison support series. New optab >> vcond_mask_optab >> is int

[Ada] Crash on illegal selected component in synchronized body.

2015-11-12 Thread Arnaud Charlet
The prefix of a selected component in a synchronized body cannot denote a component of the synchronized type unless the prefix is an entity name. This was not properly rejected before. Compiling bakery.adb must yield: bakery.adb:44:35: invalid reference to internal operation of some object of

Re: [patch] Fix PR target/67265

2015-11-12 Thread Eric Botcazou
> Ok if it passes testing. Thanks, it did so I installed the fix yesterday but further testing then revealed an oversight: the following assertion in ix86_adjust_stack_and_probe gcc_assert (cfun->machine->fs.cfa_reg != stack_pointer_rtx); will now evidently trigger (simple testcase attached).

[PATCH, PR tree-optimization/PR68305] Support masked COND_EXPR in SLP

2015-11-12 Thread Ilya Enkovich
Hi, This patch fixes a way operand is chosen by its num for COND_EXPR. Bootstrapped and regtested on x86_64-unknown-linux-gnu. OK for trunk? Thanks, Ilya -- gcc/ 2015-11-12 Ilya Enkovich PR tree-optimization/68305 * tree-vect-slp.c (vect_get_constant_vectors): Support

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

2015-11-12 Thread James Greenhalgh
On Tue, Nov 03, 2015 at 03:43:24PM +, Kyrill Tkachov wrote: > Hi all, > > Bootstrapped and tested on aarch64. > > Ok for trunk? Comments in-line. > > Thanks, > Kyrill > > > 2015-11-03 Kyrylo Tkachov > > * config/aarch64/aarch64.md (*condjump): Rename to... > (condjump): ... T

[PATCH, alpha]: Hookize some more macros

2015-11-12 Thread Uros Bizjak
2015-11-12 Uros Bizjak * config/alpha/alpha.h (FUNCTION_VALUE, LIBCALL_VALUE, FUNCTION_VALUE_REGNO_P): Remove. * config/alpha/alpha-protos.h (function_value): Remove. * config/alpha/alpha.c (function_value): Rename to... (alpha_function_value_1): ... this. Make static.

[visium] Remove obsolete prototypes

2015-11-12 Thread Eric Botcazou
Tested on visium-elf, applied on the mainline. 2015-11-12 Eric Botcazou * config/visium/visium-protos.h (notice_update_cc): Delete. (print_operand): Likewise. (print_operand_address): Likewise. -- Eric BotcazouIndex: config/visium/visium-protos.h

Re: [RFC] Remove first_pass_instance from pass_vrp

2015-11-12 Thread Richard Biener
On Thu, Nov 12, 2015 at 12:37 PM, Tom de Vries wrote: > Hi, > > [ See also related discussion at > https://gcc.gnu.org/ml/gcc-patches/2012-07/msg00452.html ] > > this patch removes the usage of first_pass_instance from pass_vrp. > > the patch: > - limits itself to pass_vrp, but my intention is to

Re: State of support for the ISO C++ Transactional Memory TS and remanining work

2015-11-12 Thread Torvald Riegel
On Wed, 2015-11-11 at 15:04 +, Szabolcs Nagy wrote: > On 10/11/15 18:29, Torvald Riegel wrote: > > On Tue, 2015-11-10 at 17:26 +, Szabolcs Nagy wrote: > >> On 09/11/15 00:19, Torvald Riegel wrote: > >>> I've not yet created tests for the full list of functions specified as > >>> transaction

Re: [PATCH, PR tree-optimization/PR68305] Support masked COND_EXPR in SLP

2015-11-12 Thread Richard Biener
On Thu, Nov 12, 2015 at 1:03 PM, Ilya Enkovich wrote: > Hi, > > This patch fixes a way operand is chosen by its num for COND_EXPR. > Bootstrapped and regtested on x86_64-unknown-linux-gnu. OK for trunk? Ok. Thanks, Richard. > Thanks, > Ilya > -- > gcc/ > > 2015-11-12 Ilya Enkovich > >

[PATCH] Fix PR68306

2015-11-12 Thread Richard Biener
The following fixes PR68306, an ordering issue with my last BB vectorization patch. Fixed by removing that ordering requirement. Bootstrapped and tested on x86_64-unknown-linux-gnu. Richard. 2015-11-12 Richard Biener PR tree-optimization/68306 * tree-vect-data-refs.c (verif

RE: [RFC][PATCH] Preferred rename register in regrename pass

2015-11-12 Thread Robert Suchanek
Hi Christophe, > > > Hi, > I confirm that this fixes the build errors I was seeing. > Thanks. > Thanks for checking this. I'm still seeing a number of ICEs on the gcc-testresults mailing list across various ports but these are likely to be caused another patch. They are already reported as PR68

Re: [PATCH 1/4] [ARM] PR63870 Add qualifiers for NEON builtins

2015-11-12 Thread Charles Baylis
On 9 November 2015 at 09:03, Ramana Radhakrishnan wrote: > > Missing comment and please prefix this with NEON_ or SIMD_ . > >> >> +#define ENDIAN_LANE_N(mode, n) \ >> + (BYTES_BIG_ENDIAN ? GET_MODE_NUNITS (mode) - 1 - n : n) >> + > > Otherwise OK - With those changes, the attached patch was app

Re: [PATCH 4b/4] [ARM] PR63870 Remove error for invalid lane numbers

2015-11-12 Thread Charles Baylis
On 9 November 2015 at 13:35, Ramana Radhakrishnan wrote: > > > On 08/11/15 00:26, charles.bay...@linaro.org wrote: >> From: Charles Baylis >> >> Charles Baylis >> >> * config/arm/neon.md (neon_vld1_lane): Remove error for invalid >> lane number. >> (neon_vst1_lane): Likewise

Re: [hsa 2/12] Modifications to libgomp proper

2015-11-12 Thread Thomas Schwinge
Hi! On Thu, 12 Nov 2015 11:11:33 +0100, Jakub Jelinek wrote: > On Thu, Nov 05, 2015 at 10:54:42PM +0100, Martin Jambor wrote: > > --- a/libgomp/libgomp.h > > +++ b/libgomp/libgomp.h > > @@ -876,7 +876,8 @@ struct gomp_device_descr > >void *(*dev2host_func) (int, void *, const void *, size_t);

[Ada] Spurious visibility error with derivation and incomplete declaration

2015-11-12 Thread Arnaud Charlet
This patch fixes a spurious visibility error on an operator of a derived type, when the parent type is declared in another unit, and has an incomplete type declaration. The primitive operations of the derived types are to be found in the scope of its base type, and not in that of its ancestor. The

[Ada] Library-level error on aspects

2015-11-12 Thread Arnaud Charlet
This patch fixes a bug where GNAT fails to detect an error on an aspect that must be applied to a library-level entity. The following test must give an error: tls.adb:2:26: entity for aspect "Thread_Local_Storage" must be library level entity procedure Tls is V : Natural := 0 with Thread_Local

Re: [OpenACC] declare directive

2015-11-12 Thread James Norris
Jakub On 11/12/2015 03:09 AM, Jakub Jelinek wrote: On Wed, Nov 11, 2015 at 07:07:58PM -0600, James Norris wrote: + oacc_declare_returns->remove (t); + + if (oacc_declare_returns->elements () == 0) + { + delete oacc_declare_re

Re: [PATCH] Enable libstdc++ numeric conversions on Cygwin

2015-11-12 Thread Jonathan Wakely
On 12/11/15 11:40 +, Jonathan Wakely wrote: On 18/09/15 12:01 -0400, Jennifer Yao wrote: Forgot to include the patch. On Fri, Sep 18, 2015 at 11:17 AM, Jennifer Yao wrote: A number of functions in libstdc++ are guarded by the _GLIBCXX_USE_C99 preprocessor macro, which is only defined on s

Re: [v3 PATCH] Implement D0013R2, logical type traits.

2015-11-12 Thread Jonathan Wakely
On 12/11/15 00:46 +0200, Ville Voutilainen wrote: On 12 November 2015 at 00:18, Jonathan Wakely wrote: So I think we want to define them again, independently, in , even though it might lead to ambiguities Here. Tested again on Linux-PPC64. 2015-11-11 Ville Voutilainen Implement D0013R

Re: open acc default data attribute

2015-11-12 Thread Nathan Sidwell
On 11/12/15 03:53, Jakub Jelinek wrote: + error ("%qE not specified in enclosing OpenACC %s construct", +DECL_NAME (lang_hooks.decls.omp_report_decl (decl)), rkind); + error_at (ctx->location, "enclosing OpenACC %s construct", rkind); I'd use %qs instead of %s. thanks,

Re: [RFC] Remove first_pass_instance from pass_vrp

2015-11-12 Thread Tom de Vries
On 12/11/15 13:26, Richard Biener wrote: On Thu, Nov 12, 2015 at 12:37 PM, Tom de Vries wrote: Hi, [ See also related discussion at https://gcc.gnu.org/ml/gcc-patches/2012-07/msg00452.html ] this patch removes the usage of first_pass_instance from pass_vrp. the patch: - limits itself to pass

[PATCH] nvptx: implement automatic storage in custom stacks

2015-11-12 Thread Alexander Monakov
Hello, I'm proposing the following patch as a step towards resolving the issue with inaccessibility of stack storage (.local memory) in PTX to other threads than the one using that stack. The idea is to have preallocated stacks, and have __nvptx_stacks[] array in shared memory hold current stack

Re: [PATCH] Simple optimization for MASK_STORE.

2015-11-12 Thread Richard Biener
On Wed, Nov 11, 2015 at 2:13 PM, Yuri Rumyantsev wrote: > Richard, > > What we should do to cope with this problem (structure size increasing)? > Should we return to vector comparison version? Ok, given this constraint I think the cleanest approach is to allow integer(!) vector equality(!) compar

[gomp4] remove c++ reference restriction

2015-11-12 Thread Nathan Sidwell
I've applied this to gomp4 branch. It removes the machinery concerning c++ references. The openacc std makes no mention of such a type, so originally we were not permitting the type. But, (a) OpenMP supports them, which suggests openacc wishes to (b) Fortran already has reference types that n

Re: [RFC] Remove first_pass_instance from pass_vrp

2015-11-12 Thread Richard Biener
On Thu, Nov 12, 2015 at 2:49 PM, Tom de Vries wrote: > On 12/11/15 13:26, Richard Biener wrote: >> >> On Thu, Nov 12, 2015 at 12:37 PM, Tom de Vries >> wrote: >>> >>> Hi, >>> >>> [ See also related discussion at >>> https://gcc.gnu.org/ml/gcc-patches/2012-07/msg00452.html ] >>> >>> this patch rem

Re: [RFC] Remove first_pass_instance from pass_vrp

2015-11-12 Thread Richard Biener
On Thu, Nov 12, 2015 at 3:04 PM, Richard Biener wrote: > On Thu, Nov 12, 2015 at 2:49 PM, Tom de Vries wrote: >> On 12/11/15 13:26, Richard Biener wrote: >>> >>> On Thu, Nov 12, 2015 at 12:37 PM, Tom de Vries >>> wrote: Hi, [ See also related discussion at https://gcc.gn

Re: [hsa 2/12] Modifications to libgomp proper

2015-11-12 Thread Nathan Sidwell
On 11/12/15 08:21, Thomas Schwinge wrote: Hi! so there is a way to deal with it, but you need to adjust all plugins. I'm confused -- didn't we agree that we don't need to maintain backwards compatibility in the libgomp <-> plugins interface? (Nathan?) Indeed, no need to deal with version

Re: [v3 PATCH] LWG 2510, make the default constructors of library tag types explicit.

2015-11-12 Thread Gerald Pfeifer
On Wed, 11 Nov 2015, Jonathan Wakely wrote: Fixed by this patch. Thanks, Jonathan! Unfortunately bootstrap is still broken (on i386-unknown-freebsd11.0 at least): In file included from /scratch/tmp/gerald/gcc-HEAD/libstdc++-v3/src/c++11/thread.cc:27:0: /scratch/tmp/gerald/OBJ-1112-1414/i386

Re: [Ada] More efficient code generated for object overlays

2015-11-12 Thread Duncan Sands
Hi Arnaud, On 12/11/15 12:06, Arnaud Charlet wrote: This change refines the use of the "volatile hammer" to implement the advice given in RM 13.3(19) by disabling it for object overlays altogether. relying instead on the ref-all aliasing property of reference types to achieve the desired effect.

Re: [PATCH, 11/16] Update testcases after adding kernels pass group

2015-11-12 Thread Tom de Vries
On 11/11/15 12:03, Richard Biener wrote: On Mon, 9 Nov 2015, Tom de Vries wrote: On 09/11/15 16:35, Tom de Vries wrote: Hi, this patch series for stage1 trunk adds support to: - parallelize oacc kernels regions using parloops, and - map the loops onto the oacc gang dimension. The patch serie

Re: [v3 PATCH] LWG 2510, make the default constructors of library tag types explicit.

2015-11-12 Thread Ville Voutilainen
On 12 November 2015 at 16:23, Gerald Pfeifer wrote: > On Wed, 11 Nov 2015, Jonathan Wakely wrote: >> >> Fixed by this patch. > > > Thanks, Jonathan! Unfortunately bootstrap is still broken > (on i386-unknown-freebsd11.0 at least): > > In file included from > /scratch/tmp/gerald/gcc-HEAD/libstdc++

Re: [v3 PATCH] LWG 2510, make the default constructors of library tag types explicit.

2015-11-12 Thread Jonathan Wakely
On 12/11/15 15:23 +0100, Gerald Pfeifer wrote: On Wed, 11 Nov 2015, Jonathan Wakely wrote: Fixed by this patch. Thanks, Jonathan! Unfortunately bootstrap is still broken (on i386-unknown-freebsd11.0 at least): Different issue. In file included from /scratch/tmp/gerald/gcc-HEAD/libstdc++-v

Re: [PATCH] nvptx: implement automatic storage in custom stacks

2015-11-12 Thread Bernd Schmidt
I'm proposing the following patch as a step towards resolving the issue with inaccessibility of stack storage (.local memory) in PTX to other threads than the one using that stack. The idea is to have preallocated stacks, and have __nvptx_stacks[] array in shared memory hold current stack pointer

Re: [PATCH, 11/16] Update testcases after adding kernels pass group

2015-11-12 Thread Richard Biener
On Thu, Nov 12, 2015 at 3:31 PM, Tom de Vries wrote: > On 11/11/15 12:03, Richard Biener wrote: >> >> On Mon, 9 Nov 2015, Tom de Vries wrote: >> >>> On 09/11/15 16:35, Tom de Vries wrote: Hi, this patch series for stage1 trunk adds support to: - parallelize oacc kernels re

Re: [PATCH 1/4][AArch64] Add scheduling and cost models for Exynos M1

2015-11-12 Thread James Greenhalgh
On Thu, Nov 05, 2015 at 11:31:33AM -0600, Evandro Menezes wrote: > James, > > Since other members of the "tune_params" structure were signed > integers, even though negative numbers would make no sense for most > either, I followed the same pattern. > > Regardless, here's a patch with unsigned in

Re: [PATCH] Enable libstdc++ numeric conversions on Cygwin

2015-11-12 Thread Jonathan Wakely
On 12/11/15 13:39 +, Jonathan Wakely wrote: One downside of this change is that we introduce some (hopefully safe) ODR violations, where inline functions and templates that depend on _GLIBCXX_USE_C99_FOO might now be defined differently in C++98 and C++11 code. Previously they had the same de

[PATCH] Fix possible correctness issue in BB dependence analysis

2015-11-12 Thread Richard Biener
This fixes BB vectorization dependence analysis to not rely on all instances being vectorized. The dependence check - gimple *earlier_stmt = get_earlier_stmt (DR_STMT (dra), DR_STMT (drb)); - if (DR_IS_READ (STMT_VINFO_DATA_REF (vinfo_for_stmt (earlier_stmt - { - /* That only

Re: [PATCH 3a/4][AArch64] Add attribute for compatibility with ARM pipeline models

2015-11-12 Thread James Greenhalgh
On Tue, Nov 10, 2015 at 11:50:12AM -0600, Evandro Menezes wrote: >2015-11-10 Evandro Menezes > >gcc/ > >* config/aarch64/aarch64.md (predicated): Copy attribute from >"arm.md". > > This patch duplicates an attribute from arm.md so that the same > pipeline model can be u

Re: [PATCH] New version of libmpx with new memmove wrapper

2015-11-12 Thread Ilya Enkovich
2015-11-05 13:37 GMT+03:00 Aleksandra Tsvetkova : > New version of libmpx was added. There is a new function get_bd() that > allows to get bounds directory. Wrapper for memmove was modified. Now > it moves data and then moves corresponding bounds directly from one > bounds table to another. This ap

Re: [PATCH] nvptx: implement automatic storage in custom stacks

2015-11-12 Thread Alexander Monakov
On Thu, 12 Nov 2015, Bernd Schmidt wrote: > > I've run it through make -k check-c regtesting. These are new fails, all > > mysterious: > > These would have to be investigated first. Any specific suggestions? The PTX code emitted from GCC differs only in prologue/epilogue, so whatever's broken..

Re: [PATCH] nvptx: implement automatic storage in custom stacks

2015-11-12 Thread Bernd Schmidt
On 11/12/2015 03:59 PM, Alexander Monakov wrote: On Thu, 12 Nov 2015, Bernd Schmidt wrote: I've run it through make -k check-c regtesting. These are new fails, all mysterious: These would have to be investigated first. Any specific suggestions? The PTX code emitted from GCC differs only in

[PATCH][GCC] Make stackalign test LTO proof

2015-11-12 Thread Andre Vieira
Hi, This patch changes this testcase to make sure LTO will not optimize away the assignment of the local array to a global variable which was introduced to make sure stack space was made available for the test to work. This is correct because LTO is supposed to optimize this global away

[PATCH][GCC][ARM] testcase memset-inline-10.c uses -mfloat-abi=hard but does not check whether target supports it

2015-11-12 Thread Andre Vieira
Hi, This patch changes the memset-inline-10.c testcase to make sure that it is only compiled for ARM targets that support -mfloat-abi=hard using the fact that all non-thumb1 targets do. This is correct because all targets for which -mthumb causes the compiler to use thumb2 will support t

Re: [PATCH][GCC][ARM] testcase memset-inline-10.c uses -mfloat-abi=hard but does not check whether target supports it

2015-11-12 Thread Andre Vieira
On 12/11/15 15:08, Andre Vieira wrote: Hi, This patch changes the memset-inline-10.c testcase to make sure that it is only compiled for ARM targets that support -mfloat-abi=hard using the fact that all non-thumb1 targets do. This is correct because all targets for which -mthumb causes the

[PATCH, doc] Document some standard pattern names

2015-11-12 Thread Ilya Enkovich
Hi, This patch adds description for several standard pattern names. OK for trunk? Thanks, Ilya -- gcc/ 2015-11-12 Ilya Enkovich * doc/md.texi (vec_cmp@var{m}@var{n}): New item. (vec_cmpu@var{m}@var{n}): New item. (vcond@var{m}@var{n}): Specify comparison is signed.

Re: [RFC] Remove first_pass_instance from pass_vrp

2015-11-12 Thread David Malcolm
On Thu, 2015-11-12 at 15:06 +0100, Richard Biener wrote: > On Thu, Nov 12, 2015 at 3:04 PM, Richard Biener > wrote: > > On Thu, Nov 12, 2015 at 2:49 PM, Tom de Vries > > wrote: > >> On 12/11/15 13:26, Richard Biener wrote: > >>> > >>> On Thu, Nov 12, 2015 at 12:37 PM, Tom de Vries > >>> wrote:

[PATCH] Enable libmpx by default on supported target

2015-11-12 Thread Ilya Enkovich
Hi, libmpx was added close to release date and therefore was disabled by default for all targets. This patch enables it by default for supported targets. Is it OK for trunk? Thanks, Ilya -- 2015-11-12 Tsvetkova Alexandra * configure.ac: Enable libmpx by default. * configur

  1   2   >