[PATCH] Remove build_addr dependence on function context

2015-10-16 Thread Richard Biener
This removes the now unnecessary setting of current_function_decl around build_fold_addr_expr in build_addr and thus the context function argument of build_addr. It was formerly necessary because recompute_tree_invariant_for_addr_expr was using current_function_decl which it now no longer does.

Re: [patch] Minor adjustment to gimplify_addr_expr

2015-10-16 Thread Eric Botcazou
> Btw, would be really nice to have libbacktrace support for ada ... OK, I'll keep that in mind. > While the patch looks technically ok I think you'll run into the same issue > with a non-zero offset MEM_REF as that will get you a POINTER_PLUS_EXPR > from build_fold_addr_expr. We might be lucky

[PATCH] Remove some force_gimple_operand usage

2015-10-16 Thread Richard Biener
This removes the trivial cases from gimple-fold.c. Recursing from there to the gimplifier was always a problem. Now, the remaining calls are difficult to replace (as many other places in the compiler) as helpers such as c_strlen may return arbitrary GENERIC expressions. Well, at least a bit clo

[testsuite] Fix potential race conditions in gfortran tests

2015-10-16 Thread Christophe Lyon
Hi, We have noticed a few random failures in gfortran tests in our validations. Maxim investigated some of them and noticed a possible race condition in the streamio tests, for which he'll post a patch. I looked for other similar cases (checking which files are unlinked several times during 'mak

Re: Remove undefined behaviour from builtins-20.c

2015-10-16 Thread Richard Biener
On Thu, Oct 15, 2015 at 3:18 PM, Richard Sandiford wrote: > builtins-20.c had: > > if (cos((y*=2, -fabs(tan(x/-y != cos((y*=2,tan(x/y > link_error (); > > which is undefined behaviour. The test expected that y had the same > value in x/y and x/-y, but gimplification actually impleme

Re: Drop CONSTRUCTOR comparsion from ipa-icf-gimple

2015-10-16 Thread Richard Biener
On Fri, Oct 16, 2015 at 5:12 AM, Jan Hubicka wrote: > Hi, > as Richard noticed in my port of the code to operand_equal_p, the checking of > CONSTURCTOR in ipa-icf-gimple is incomplete missing the index checks. > It is also unnecesary since non-empty ctors does not happen as gimple > operands. Thi

Re: [patch] Minor adjustment to gimplify_addr_expr

2015-10-16 Thread Richard Biener
On Fri, Oct 16, 2015 at 9:48 AM, Eric Botcazou wrote: >> Btw, would be really nice to have libbacktrace support for ada ... > > OK, I'll keep that in mind. > >> While the patch looks technically ok I think you'll run into the same issue >> with a non-zero offset MEM_REF as that will get you a POIN

GCC 6 Status Report (2015-10-16)

2015-10-16 Thread Richard Biener
Status == Trunk which will eventually become GCC 6 is still in Stage 1 but its end is near and we are planning to transition into Stage 3 starting Nov 9th. This means it is time to get things you want to have in GCC 6 finalized and reviewed. As usual there may be exceptions to late reviewed

[gomp4,committed] Handle oacc region in oacc routine

2015-10-16 Thread Tom de Vries
Hi, this patch checks for occurance of oacc offload regions in oacc routines (which means nested parallelism, which is currently not supported) and gives an appropriate error message. Committed to gomp-4_0-branch. Thanks, - Tom Handle oacc region in oacc routine 2015-10-16 Tom de Vries

Re: [5/7] Allow gimple debug stmt in widen mode

2015-10-16 Thread Richard Biener
On Thu, Oct 15, 2015 at 7:44 AM, Kugan wrote: > > > On 15/09/15 22:57, Richard Biener wrote: >> On Tue, Sep 8, 2015 at 2:00 AM, Kugan >> wrote: >>> >>> Thanks for the review. >>> >>> On 07/09/15 23:20, Michael Matz wrote: Hi, On Mon, 7 Sep 2015, Kugan wrote: > Allow GIMPL

Re: [PATCH] 2015-10-15 Benedikt Huber Philipp Tomsich

2015-10-16 Thread Marcus Shawcroft
Hi, A few more style nits: > + builtin_decls_data bdda[] = { New line before { > +{double_type_node, "__builtin_aarch64_rsqrt_df", > AARCH64_BUILTIN_RSQRT_DF}, Space after { Space before } > +void aarch64_emit_swrsqrt (rtx, rtx); > + > +tree aarch64_builtin_rsqrt (unsigned int fn, b

Re: [PATCH] Fix pr67963

2015-10-16 Thread Uros Bizjak
On Fri, Oct 16, 2015 at 8:43 AM, Uros Bizjak wrote: > On Thu, Oct 15, 2015 at 9:30 PM, Uros Bizjak wrote: > > Do we support -O2 -march=lakemont with > > __attribute__((target("arch=silvermont"))) Hm, no. >>> >>> Do we issue an error or silently ignore >>> __attribute__(

OpenACC (gomp-4_0-branch) patch review (was: Merge from gomp-4_1-branch to trunk)

2015-10-16 Thread Thomas Schwinge
Hi! On Tue, 13 Oct 2015 21:12:14 +0200, Jakub Jelinek wrote: > I've bootstrapped/regtested on x86_64-linux and i686-linux following > merge from gomp-4_1-branch to trunk, which brings in most of the OpenMP 4.5 > support for C and C++ With nvptx offloading, I'm seeing the following regressions (o

Re: refactoring TARGET_PTRMEMFUNC_VBIT_LOCATION checks

2015-10-16 Thread Bernd Schmidt
On 10/16/2015 10:01 AM, Christian Bruel wrote: - - if (TARGET_PTRMEMFUNC_VBIT_LOCATION == ptrmemfunc_vbit_in_pfn - && DECL_ALIGN (fn) < 2 * BITS_PER_UNIT) -DECL_ALIGN (fn) = 2 * BITS_PER_UNIT; - + DECL_ALIGN (fn) = MINIMUM_METHOD_BOUNDARY; This looks like a change in behaviour. You w

Re: [Patch, avr] Fix PR 67839 - bit addressable instructions generated for out of range addresses

2015-10-16 Thread Senthil Kumar Selvaraj
Ping! Regards Senthil On Mon, Oct 05, 2015 at 02:30:58PM +0530, Senthil Kumar Selvaraj wrote: > Hi, > > As part of support for io and io_low attributes, the upper bound of > the range check for low IO and IO addresses was changed from hardcoded > values to hardcoded_range_end + 1 - GET_MOD

Re: OpenACC (gomp-4_0-branch) patch review

2015-10-16 Thread Bernd Schmidt
On 10/16/2015 11:44 AM, Thomas Schwinge wrote: Lately, Bernd has stepped up a few times to review OMP patches (many thanks, Bernd!), but also he sometimes stated that even though a patch appears fine to him, he'd like "Jakub to have a look". I'll just comment on this briefly. In general I'll tr

Re: OpenACC (gomp-4_0-branch) patch review (was: Merge from gomp-4_1-branch to trunk)

2015-10-16 Thread Jakub Jelinek
On Fri, Oct 16, 2015 at 11:44:17AM +0200, Thomas Schwinge wrote: > But: working on getting our changes into trunk, for example, when we make > an effort to extract from gomp-4_0-branch self-contained, individual > patches, but it then takes weeks to get commit approval or review > comments, I don't

Re: [gomp4.1] OpenMP 4.1 is dead, long live OpenMP 4.5

2015-10-16 Thread Thomas Schwinge
Hi! ;-) "Bikeshed" discussion, but while waiting for a test run to finish: On Thu, 15 Oct 2015 13:06:42 +0200, Jakub Jelinek wrote: > On Fri, Oct 09, 2015 at 08:26:25PM +0300, Ilya Verbin wrote: > > On Fri, Oct 09, 2015 at 09:55:07 +0200, Jakub Jelinek wrote: > > > -GOMP_4.1 { > > > +GOMP_4.5 {

Re: Move some bit and binary optimizations in simplify and match

2015-10-16 Thread Hurugalawadi, Naveen
Hi, Thanks very much for your detailed explanation regarding the queries. >> you are missing the convert? on the lshift now, without it the >> tree_nop_conversion_p check always evaluates to true. Done. >> fold-const.c which handles TRUTH_NOT_EXPR but logical_inverted_value >> does not handle it

Re: [PATCH] Fix pr67963

2015-10-16 Thread H.J. Lu
On Fri, Oct 16, 2015 at 2:35 AM, Uros Bizjak wrote: > On Fri, Oct 16, 2015 at 8:43 AM, Uros Bizjak wrote: >> On Thu, Oct 15, 2015 at 9:30 PM, Uros Bizjak wrote: >> >> Do we support -O2 -march=lakemont with >> >> __attribute__((target("arch=silvermont"))) > > Hm, no. > >>>

Re: [PATCH] Fix pr67963

2015-10-16 Thread H.J. Lu
On Fri, Oct 16, 2015 at 3:31 AM, H.J. Lu wrote: > On Fri, Oct 16, 2015 at 2:35 AM, Uros Bizjak wrote: >> On Fri, Oct 16, 2015 at 8:43 AM, Uros Bizjak wrote: >>> On Thu, Oct 15, 2015 at 9:30 PM, Uros Bizjak wrote: >>> >>> Do we support -O2 -march=lakemont with >>> >>> __attribute__((

[Ada] Missing inlining of init_proc

2015-10-16 Thread Arnaud Charlet
The compiler may eventually silently skip inlining a non-tagged record type init proc because internally the frontend forgets to processing it. This issue generally does not occur since as soon as the frontend processes some unit that has pragma Inline the internal machinery which takes care of suc

Re: [PATCH] Add new hooks ASM_OUTPUT_START_FUNCTION_HEADER ...

2015-10-16 Thread Dominik Vogt
On Mon, Sep 21, 2015 at 12:31:58PM +0100, Dominik Vogt wrote: > This patch adds to new backend hooks > ASM_OUTPUT_START_FUNCTION_HEADER and > ASM_OUTPUT_END_FUNCTION_FOOTER that may be defined to emit > assembly code at the very start or end of a function. We no longer need this patch. Ciao Domi

update in Ada maintainers

2015-10-16 Thread Arnaud Charlet
Robert Dewar is no longer with us unfortunately (http://www.adacore.com/press/adacore-president-robert-dewar-1945-2015/), and Geert is no longer working for AdaCore, nor working on GNAT. I've also updated my email. Committed on trunk. * MAINTAINERS: Update list of Ada maintainers and ema

Re: Drop CONSTRUCTOR comparsion from ipa-icf-gimple

2015-10-16 Thread H.J. Lu
On Fri, Oct 16, 2015 at 1:46 AM, Richard Biener wrote: > On Fri, Oct 16, 2015 at 5:12 AM, Jan Hubicka wrote: >> Hi, >> as Richard noticed in my port of the code to operand_equal_p, the checking of >> CONSTURCTOR in ipa-icf-gimple is incomplete missing the index checks. >> It is also unnecesary si

Re: [PR67383][ARM][4.9]Backport of "Allow any register for DImode values in Thumb2"

2015-10-16 Thread Ramana Radhakrishnan
On Thu, Oct 15, 2015 at 03:01:24PM +0100, Renlin Li wrote: > Hi all, > > This is a backport patch to loosen restrictions on core registers > for DImode values in Thumb2. > > It fixes PR67383. In this particular case, reload tries to spill a > hard register, and use next register together as a pai

Re: Drop CONSTRUCTOR comparsion from ipa-icf-gimple

2015-10-16 Thread Jan Hubicka
> On Fri, Oct 16, 2015 at 1:46 AM, Richard Biener > wrote: > > On Fri, Oct 16, 2015 at 5:12 AM, Jan Hubicka wrote: > >> Hi, > >> as Richard noticed in my port of the code to operand_equal_p, the checking > >> of > >> CONSTURCTOR in ipa-icf-gimple is incomplete missing the index checks. > >> It i

Re: [patch] Minor adjustment to gimplify_addr_expr

2015-10-16 Thread Eric Botcazou
> Sure, if that works it's pre-approved. Your original patch is also ok > (though I still > think it's incomplete - but we'll wait until a testcase comes up with > the assert). It passed a bootstrap/regtest cycle on x86-64/Linux so I have installed it. 2015-10-16 Eric Botcazou * tre

Re: refactoring TARGET_PTRMEMFUNC_VBIT_LOCATION checks

2015-10-16 Thread Bernd Schmidt
On 10/16/2015 12:48 PM, Christian Bruel wrote: I'm not sure. at each point of the macro, we have the current alignment == FUNCTION_BOUNDARY, because we are just returning from the sequence build_lang_decl/make_node so it looks like DECL_ALIGN (fn) = MAX (MINIMUM_METHOD_BOUNDARY, DECL_ALIGN (

[Ada] Minimize the save/restore of Ghost_Mode

2015-10-16 Thread Arnaud Charlet
This patch minimizes the stack-like handling of global variable Ghost_Mode when processing Ghost code. The patch addresses references to Ghost entities within the expanded code for pragma Contract_Cases. Tested on x86_64-pc-linux-gnu, committed on trunk 2015-10-16 Hristian Kirtchev *

Re: Move some bit and binary optimizations in simplify and match

2015-10-16 Thread Marc Glisse
+(match (logical_inverted_value @0) + (truth_not @0)) That's good. +/* Simplify ~X & X as zero. */ +(simplify + (bit_and:c (convert? truth_valued_p@0) (convert? (logical_inverted_value @0))) + { build_zero_cst (type); }) That's not what Richard meant. We already have: /* X & !X -> 0. */ (s

Re: Do not describe -std=c11 etc. as experimental in c.opt help text

2015-10-16 Thread Marek Polacek
Ping^2. On Fri, Oct 09, 2015 at 03:50:02PM +0200, Marek Polacek wrote: > Jason: ping. > > On Fri, Oct 02, 2015 at 05:35:39PM +0200, Marek Polacek wrote: > > On Thu, Oct 01, 2015 at 05:01:26PM +, Joseph Myers wrote: > > > I noticed that c.opt still described -std=c11 and related options as > >

[Patch AArch64 63304] Fix issue with global state.

2015-10-16 Thread Ramana Radhakrishnan
Hi, Jiong pointed out privately that there was a thinko in the way in which the global state was being set and reset. I don't like adding such global state but Tested on aarch64-none-elf with no regressions Bootstrapped and regression tested on aarch64-none-linux-gnu Ok to apply ? regards

Re: [PATCH] Random shuffle moveable: container size

2015-10-16 Thread Jonathan Wakely
Committed to trunk, thanks for the patch.

[PATCH][Testsuite] Turn on 64-bit-vector tests for AArch64

2015-10-16 Thread Alan Lawrence
This enables tests bb-slp-11.c and bb-slp-26.c for AArch64. Both of these are currently passing on little- and big-endian. (Tested on aarch64-none-linux-gnu and aarch64_be-none-elf). OK for trunk? gcc/testsuite/ChangeLog: * lib/target-supports.exp (check_effective_target_vect64): Add AA

Re: [PATCH 7/7] Libsanitizer merge from upstream r249633.

2015-10-16 Thread Maxim Ostapenko
On 14/10/15 15:12, Jakub Jelinek wrote: On Wed, Oct 14, 2015 at 03:02:22PM +0300, Maxim Ostapenko wrote: On 14/10/15 14:06, Jakub Jelinek wrote: On Wed, Oct 14, 2015 at 01:51:44PM +0300, Maxim Ostapenko wrote: Ok, got it. The first solution would require changes in libsanitizer because heurist

Re: [gomp4.1] depend nowait support for target {update,{enter,exit} data}

2015-10-16 Thread Martin Jambor
Hi, On Thu, Oct 15, 2015 at 04:01:56PM +0200, Jakub Jelinek wrote: > Hi! > > CCing various people, because I'd like to have something that won't work on > XeonPhi only. thanks. However, I have not paid too much attention to OMP tasks yet. Nevertheless, let me try to answer some of the question

[gomp4,committed] Handle device-resident and link map kinds in dump_omp_clause

2015-10-16 Thread Tom de Vries
Hi, this patch fixes an ICE when compiling c-c++-common/goacc/declare-1.c with -fdump-tree-omplower. Committed to gomp-4_0-branch. Thanks, - Tom Handle device-resident and link map kinds in dump_omp_clause 2015-10-16 Tom de Vries * tree-pretty-print.c (dump_omp_clause): Handle device-re

[Ada] Improper initialization of elementary parameters in entry calls

2015-10-16 Thread Arnaud Charlet
The compiler was incorrectly default initializing entry call parameters in cases where the parameter is of an access type or of a scalar type whose Default_Value aspect is set. The access type case caused a problem for CodePeer in the case where the formal parameter is a null-excluding access type,

Re: [PATCH] c/67882 - improve -Warray-bounds for invalid offsetof

2015-10-16 Thread Bernd Schmidt
On 10/09/2015 04:55 AM, Martin Sebor wrote: Gcc attempts to diagnose invalid offsetof expressions whose member designator is an array element with an out-of-bounds index. The logic in the function that does this detection is incomplete, leading to false negatives. Since the result of the expressi

[PATCH] Fix PR67975, teach SCCVN basic control equivalency for PHI value-numbering

2015-10-16 Thread Richard Biener
The following patch teaches SCCVN to value-number two PHI nodes the same even when they are in a different basic-block. To do that we have to prove equivalency of the edge predicates into the PHI (and of course equivalence of the PHI arguments). The patch handles the simple case of PHI nodes wit

Re: [PATCH 1/2] s/390: Implement "target" attribute.

2015-10-16 Thread Dominik Vogt
On Fri, Sep 25, 2015 at 02:59:41PM +0100, Dominik Vogt wrote: > The following set of two patches implements the function > __attribute__ ((target("..."))) and the corresponding #pragma GCC > target("...") on S/390. It comes with certain limitations: > > * It is not possible to change any options

[Ada] Premature finalization leads to wrong short circuit result

2015-10-16 Thread Arnaud Charlet
This patch modifies the expansion of expression_with_actions nodes to force the evaluation of the expression when its type is Boolean. This prevents "leaks" of dependencies on transient controlled objects which lead to incorrect results in short circuit operators. -- Source -- ---

[Ada] Crash on illegal program with -gnatf.

2015-10-16 Thread Arnaud Charlet
This patch fixes a crash in the compiler when reporting an error on an illegal prefixed call whose prefix is overloaded, one of its interpretations has an untagged type, and All_Errors_Mode is set. No short example available. Tested on x86_64-pc-linux-gnu, committed on trunk 2015-10-16 Ed Schon

[Ada] Optization of predicate checks

2015-10-16 Thread Arnaud Charlet
This patch marks the generated predicate functions as Pure, so that the back-end can optimize redundant calls to these functions when inlining and high level of optimization are requested. This is a performance enhancement, no change in behavior. Tested on x86_64-pc-linux-gnu, committed on trunk

Re: [PATCH] 2015-10-15 Benedikt Huber Philipp Tomsich

2015-10-16 Thread Oleg Endo
On Thu, 2015-10-15 at 22:03 +, Benedikt Huber wrote: > > +/* Add builtins for reciprocal square root. */ > + > +void > +aarch64_init_builtin_rsqrt (void) > +{ > + tree fndecl = NULL; > + tree ftype = NULL; > + > + tree V2SF_type_node = build_vector_type (float_type_node, 2); > + tree V2D

[Ada] Cleanups in inter-unit inlining engine

2015-10-16 Thread Arnaud Charlet
This removes a component in the record attached to every subprogram considered for inter-unit inlining, which doesn't serve any useful purpose. In addition, this fixes a small inconsistency in the code driving inter-unit inlining from the front-end. The code was at the same time discarding the su

[PATCH] i386: Use the STC bb-reorder algorithm at -Os (PR67864)

2015-10-16 Thread Segher Boessenkool
For x86, STC still gives better results for optimise-for-size than "simple" does. So use STC at -Os as well. Is this okay for trunk? Segher 2015-10-16 Segher Boessenkool PR rtl-optimization/67864 * common/config/i386/i386-common.c (ix86_option_optimization_table) :

[PATCH] mn10300: Use the STC bb-reorder algorithm at -Os

2015-10-16 Thread Segher Boessenkool
For mn10300, STC still gives better results for optimise-for-size than "simple" does. So use STC at -Os as well. Is this okay for trunk? Segher 2015-10-16 Segher Boessenkool * common/config/mn10300/mn10300-common.c (mn10300_option_optimization_table) : Use REORDER_

Re: [PATCH] i386: Use the STC bb-reorder algorithm at -Os (PR67864)

2015-10-16 Thread Bernd Schmidt
On 10/16/2015 02:53 PM, Segher Boessenkool wrote: For x86, STC still gives better results for optimise-for-size than "simple" does. So use STC at -Os as well. For how many targets is this true, and for the others, what is the biggest win from "simple"? If the list of targets which get patches

[PATCH][AArch64] Add support for 64-bit vector-mode ldp/stp

2015-10-16 Thread Kyrill Tkachov
Hi all, We already support load/store-pair operations on the D-registers when they contain an FP value, but the peepholes/sched-fusion machinery that do all the hard work currently ignore 64-bit vector modes. This patch adds support for fusing loads/stores of 64-bit vector operands into ldp an

[HSA] HSA back-end improvement

2015-10-16 Thread Martin Liška
Hello. Attached patch set applies a bunch of small changes to HSA back-end. Patches have been installed to hsa branch. Martin >From 10cf42ce8c0199471271edea80bb0cd717b6f0d1 Mon Sep 17 00:00:00 2001 From: marxin Date: Fri, 9 Oct 2015 14:36:31 +0200 Subject: [PATCH 1/8] HSA: fix types in switch to

[Ada] Minor cleanup in finalization support of the runtime

2015-10-16 Thread Arnaud Charlet
This removes a couple of redundant/unused things. No functional changes. Tested on x86_64-pc-linux-gnu, committed on trunk 2015-10-16 Eric Botcazou * a-tags.ads (Parent_Size): Remove obsolete pragma Export. * s-finmas.ads (Header_Offset): Delete. * s-finmas.adb (Heade

Re: [PATCH][haifa-sched] model load/store multiples properly in autoprefetcher scheduling

2015-10-16 Thread Kyrill Tkachov
On 16/10/15 04:55, Vladimir Makarov wrote: On 10/15/2015 11:27 AM, Kyrill Tkachov wrote: On 15/10/15 11:16, Bernd Schmidt wrote: On 10/15/2015 11:40 AM, Kyrill Tkachov wrote: The code that analyzes the offsets of the loads/stores doesn't try to handle load/store-multiple insns. These appear

[Ada] Check suppression in Ada.Containers

2015-10-16 Thread Arnaud Charlet
This patch implements two new check names (Container_Checks and Tampering_Check) that may be used with pragma Suppress. Suppressing Tampering_Check suppresses checks for "tampering with cursors" and "tampering with elements". If pragma Suppress(Tampering_Check) is in force at the point of instantia

Re: [PATCH] i386: Use the STC bb-reorder algorithm at -Os (PR67864)

2015-10-16 Thread Segher Boessenkool
On Fri, Oct 16, 2015 at 02:55:54PM +0200, Bernd Schmidt wrote: > On 10/16/2015 02:53 PM, Segher Boessenkool wrote: > >For x86, STC still gives better results for optimise-for-size than > >"simple" does. So use STC at -Os as well. > > For how many targets is this true, and for the others, what is

[PATCH] Correctly fill up cgraph_node::local.versionable flag.

2015-10-16 Thread Martin Liška
Hello. I've been working on HSA branch, where we have a cloning pass running with all optimization levels. The patch makes computation of cgraph_node::local.versionability independent on IPA CP and uses the flag to verify that a function can be cloned. The patch can bootstrap on x86_64-linux-pc

Re: [PATCH 1/7] Libsanitizer merge from upstream r249633.

2015-10-16 Thread Renato Golin
On 14 October 2015 at 19:38, Renato Golin wrote: > On 14 October 2015 at 19:21, Evgenii Stepanov > wrote: >> Wait. As Jakub correctly pointed out in the other thread, there is no >> obvious reason why there could not be a single shadow offset value >> that would work for all 3 possible VMA setti

[Ada] Spurious error on SPARK_Mode in generic package instantiation

2015-10-16 Thread Arnaud Charlet
This patch modifies the generic instantiation to ensure that a context with a missing SPARK_Mode annotation is treated as having SPARK_Mode set to Off. This ensures that the following SPARK UG rule 9.4.1 Code where SPARK_Mode is Off shall not enclose code where Spark_Mode is On. However, if

[Ada] Pragma Constant_After_Elaboration

2015-10-16 Thread Arnaud Charlet
This patch implements the legality rules of pragma Constant_After_Elaboration: The Boolean aspect Constant_After_Elaboration may be specified as part of the declaration of a library level variable. The semantic checks of this annotation cannot be performed by the compiler as this requires f

Re: [PR67383][ARM][4.9]Backport of "Allow any register for DImode values in Thumb2"

2015-10-16 Thread Renlin Li
Hi Ramana, On 16/10/15 11:52, Ramana Radhakrishnan wrote: On Thu, Oct 15, 2015 at 03:01:24PM +0100, Renlin Li wrote: Hi all, This is a backport patch to loosen restrictions on core registers for DImode values in Thumb2. It fixes PR67383. In this particular case, reload tries to spill a hard r

[patch] Document options for building and linking to libstdc++fs.a

2015-10-16 Thread Jonathan Wakely
This documents how to use the Filsystem TS library. Committed to trunk. commit 2d8dfef4311b51a2743f5ab722d467792c7c32dd Author: Jonathan Wakely Date: Fri Oct 16 14:53:46 2015 +0100 Document options for Filesystem TS library * doc/xml/manual/configure.xml: Document --enabl

[PATCH v8][aarch64] Implemented reciprocal square root (rsqrt) estimation in -ffast-math

2015-10-16 Thread Benedikt Huber
This eighth revision of the patch: * Style improvements. Ok for check in. Benedikt Huber (1): 2015-10-15 Benedikt Huber Philipp Tomsich gcc/ChangeLog | 20 gcc/config/aarch64/aarch64-builtins.c | 115 ++

Re: [PATCH 1/7] Libsanitizer merge from upstream r249633.

2015-10-16 Thread Maxim Ostapenko
On 16/10/15 16:48, Renato Golin wrote: On 14 October 2015 at 19:38, Renato Golin wrote: On 14 October 2015 at 19:21, Evgenii Stepanov wrote: Wait. As Jakub correctly pointed out in the other thread, there is no obvious reason why there could not be a single shadow offset value that would work

[PATCH] 2015-10-15 Benedikt Huber Philipp Tomsich

2015-10-16 Thread Benedikt Huber
* config/aarch64/aarch64-builtins.c: Builtins for rsqrt and rsqrtf. * config/aarch64/aarch64-protos.h: Declare. * config/aarch64/aarch64-simd.md: Matching expressions for frsqrte and frsqrts. * config/aarch64/aarch64-tuning-flags.def: Added recip_sqrt.

Re: [PATCH 1/7] Libsanitizer merge from upstream r249633.

2015-10-16 Thread Renato Golin
On 16 October 2015 at 14:59, Maxim Ostapenko wrote: > Yeah, thanks. Just wondering if I should step back until they are resolved > upstream or we can have another merge in the future (stage3 is coming ...)? Well, right now, the support is patchy, experimental, but it's reasonably stable. From the

Re: [PATCH] 2015-10-15 Benedikt Huber Philipp Tomsich

2015-10-16 Thread Marcus Shawcroft
On 16 October 2015 at 14:59, Benedikt Huber wrote: > + typedef struct > + { > +tree type_node; > +const char *builtin_name; > +int function_code; > + } builtin_decls_data; Please address Oleg's comment. Cheers /Marcus

Re: [PATCH] 2015-10-15 Benedikt Huber Philipp Tomsich

2015-10-16 Thread Benedikt Huber
I introduced this in revision 7 due to a request from James Greenhalgh. https://gcc.gnu.org/ml/gcc-patches/2015-10/msg00963.html > Given that this is all so mechanical, I'd have a preference towards > refactoring this to loop over some structured data. Do you mean, that I should get rid of the ty

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

2015-10-16 Thread Jiong Wang
The patch https://gcc.gnu.org/ml/gcc-patches/2014-09/msg02654.html from last year changed the definition of LR in CALL_USED_REGISTERS, but didn't update the comment above the #define to reflect the new usage. This patch bring the comment inline with the implementation. OK for trunk? Thanks. 20

[PATCH, wwwdocs] Add -march=skylake-avx512 to gcc-6/changes.html.

2015-10-16 Thread Kirill Yukhin
Hello, Patch in the bottom adds mentioning of new `march=skylake-avx512' to gcc-6/changes.html. Is it ok to install? This switch was backported to gcc-5. Is it ok to create a new section `GCC 5.3' and put it there or I need to wait for actual release? -- Thanks, K Index: htdocs/gcc-6/changes.ht

Re: [PATCH] 2015-10-15 Benedikt Huber Philipp Tomsich

2015-10-16 Thread Marcus Shawcroft
On 16 October 2015 at 15:31, Benedikt Huber wrote: > I introduced this in revision 7 due to a request from James Greenhalgh. > https://gcc.gnu.org/ml/gcc-patches/2015-10/msg00963.html > >> Given that this is all so mechanical, I'd have a preference towards >> refactoring this to loop over some str

Re: Do not use TYPE_CANONICAL in useless_type_conversion

2015-10-16 Thread Andreas Schwab
Jan Hubicka writes: >> Jan Hubicka writes: >> >> > Does the patch in https://gcc.gnu.org/ml/gcc-patches/2015-10/msg00902.html >> > help? >> >> No, it doesn't. >> > Andreas, > I am sorry for getting late to this. I hoped that the alternative patch by > Alexandre would fix this. > I still don

[gomp4, committed] Add nohost clause support in dump_omp_clause

2015-10-16 Thread Tom de Vries
Hi, this patch adds nohost clause support in dump_omp_clause. Furthermore, it fixes an infinite recursion bug when handling unrecognized clauses. Committed to gomp-4_0-branch. Thanks, - Tom Add nohost clause support in dump_omp_clause 2015-10-16 Tom de Vries * tree-pretty-print.c (dump_

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

2015-10-16 Thread Alan Lawrence
This lets the vectorizer handle some simple strides expressed using left-shift rather than mul, e.g. a[i << 1] (whereas previously only a[i * 2] would have been handled). This patch does *not* handle the general case of shifts - neither a[i << j] nor a[1 << i] will be handled; that would be a sign

Re: [PATCH 5/9] i386: Add address spaces for fs/gs segments

2015-10-16 Thread Paolo Bonzini
On 08/10/2015 06:59, Richard Henderson wrote: > +/* Address space support. > + > + This is not "far pointers" in the 16-bit sense, but an easy way > + to use %fs and %gs segment prefixes. Therefore: > + > +(a) All address spaces have the same modes, > +(b) All address spaces have the

RFC: always default to -mno-unaligned-access for bare-metal ARM

2015-10-16 Thread Sandra Loosemore
Recently I tracked down a target crash problem in an ARM EABI configuration running on a Cortex-A9 board to an unaligned access fault. The startup code provided by the customer for this board doesn't enable the MMU, and unaligned access support requires the MMU to be enabled per http://infoc

[gomp4,committed] Handle bind clause in dump_omp_clause

2015-10-16 Thread Tom de Vries
Hi, this patch handles the oacc bind clause in dump_omp_clause. Committed to gomp-4_0-branch. Thanks, - Tom Handle bind clause in dump_omp_clause 2015-10-16 Tom de Vries * tree-pretty-print.c (dump_omp_clause): Handle bind clause. --- gcc/tree-pretty-print.c | 6 ++ 1 file changed, 6

[PATCH, rs6000] Enable secureplt by default on musl

2015-10-16 Thread Szabolcs Nagy
The musl dynamic loader can only deal with secure-plt, make it the default. Split out from https://gcc.gnu.org/ml/gcc-patches/2015-04/msg01640.html for easier review (independent of the rest of the patch). gcc/ChangeLog: 2015-10-16 Gregor Richards Szabolcs Nagy * confi

Re: Benchmarks of v2 (was Re: [PATCH 0/5] RFC: Overhaul of diagnostics (v2))

2015-10-16 Thread David Malcolm
On Wed, 2015-10-14 at 11:00 +0200, Richard Biener wrote: > On Tue, Oct 13, 2015 at 5:32 PM, David Malcolm wrote: > > On Thu, 2015-09-24 at 10:15 +0200, Richard Biener wrote: > >> On Thu, Sep 24, 2015 at 2:25 AM, David Malcolm wrote: > >> > On Wed, 2015-09-23 at 15:36 +0200, Richard Biener wrote:

Re: Add VIEW_CONVERT_EXPR to operand_equal_p

2015-10-16 Thread Eric Botcazou
> I wasn't aware that x86/IA-64 is still broken. I am flying to NY tomorrow > but will try to take a look. The ICEs are not caused by operand_equal_p > changes, but the change to useless_type_conversion to ignore mode on > aggregate types. Sure, but I'd like to avoid hiding new problems against p

[PATCH, rs6000][v3] powerpc musl libc support

2015-10-16 Thread Szabolcs Nagy
Revision of https://gcc.gnu.org/ml/gcc-patches/2015-04/msg01640.html This adds musl libc support to powerpc: - The dynamic-linker name is /lib/ld-musl-powerpc{64}{le}{-sf}.so.1 - The include order is changed for musl as in linux.h. New in this revision: Soft float abi detection through "{msoft

[PATCH, sh][v3] musl support for sh

2015-10-16 Thread Szabolcs Nagy
Revision of https://gcc.gnu.org/ml/gcc-patches/2015-04/msg01636.html The musl dynamic linker name is /lib/ld-musl-sh{-nofpu}{-fdpic}.so.1 New in this revision: Add -fdpic to the name, will be useful with the pending sh2 FDPIC support. 2015-10-16 Gregor Richards Szabolcs Nagy

[gomp4.5] Allow arbitrary low-bound on C/C++ array sections in reduction clauses

2015-10-16 Thread Jakub Jelinek
Hi! The public draft required low bound in array sections to be zero (but it was unclear if at compile time or at runtime only). After discussions, the whole restriction got removed, so now low-bound can be arbitrary. The following patch implements that. Committed to gomp-4_5-branch after retest

Re: RFC: always default to -mno-unaligned-access for bare-metal ARM

2015-10-16 Thread Ramana Radhakrishnan
On 16/10/15 16:28, Sandra Loosemore wrote: > Recently I tracked down a target crash problem in an ARM EABI configuration > running on a Cortex-A9 board to an unaligned access fault. The startup code > provided by the customer for this board doesn't enable the MMU, and unaligned > access suppo

[PATCH] Eliminate libgo.so dependency for go and gofmt tools in gotools/

2015-10-16 Thread Lynn A. Boger
To make it easier to use gotools go and gofmt, add -static-libgo when linking them. This makes it nicer in all cases since it eliminates the dependency on libgo.so for these tools, but it is mostly helpful for the cross compiled case. When building for use in the cross compiled case, this allo

Re: Do not describe -std=c11 etc. as experimental in c.opt help text

2015-10-16 Thread Joseph Myers
The changes to C++ option descriptions are OK in the absence of C++ front-end maintainer objections within 96 hours. -- Joseph S. Myers jos...@codesourcery.com

Re: [PATCH, rs6000][v3] powerpc musl libc support

2015-10-16 Thread Segher Boessenkool
Hi! On Fri, Oct 16, 2015 at 04:58:06PM +0100, Szabolcs Nagy wrote: > #if DEFAULT_LIBC == LIBC_UCLIBC > -#define CHOOSE_DYNAMIC_LINKER(G, U) "%{mglibc:" G ";:" U "}" > +#define CHOOSE_DYNAMIC_LINKER(G, U, M) \ > + "%{mglibc:" G ";:%{mmusl:" M ";:" U "}}" > #elif DEFAULT_LIBC == LIBC_GLIBC > -#de

[PATCH v9][aarch64] Implemented reciprocal square root (rsqrt) estimation in -ffast-math

2015-10-16 Thread Benedikt Huber
This ninth revision of the patch: * Removes unnecessary typedef. Ok for check in. Benedikt Huber (1): 2015-10-15 Benedikt Huber Philipp Tomsich gcc/ChangeLog | 20 gcc/config/aarch64/aarch64-builtins.c | 115 ++

[PATCH] 2015-10-15 Benedikt Huber Philipp Tomsich

2015-10-16 Thread Benedikt Huber
* config/aarch64/aarch64-builtins.c: Builtins for rsqrt and rsqrtf. * config/aarch64/aarch64-protos.h: Declare. * config/aarch64/aarch64-simd.md: Matching expressions for frsqrte and frsqrts. * config/aarch64/aarch64-tuning-flags.def: Added recip_sqrt.

Re: [PATCH] Eliminate libgo.so dependency for go and gofmt tools in gotools/

2015-10-16 Thread Ian Lance Taylor
On Fri, Oct 16, 2015 at 9:28 AM, Lynn A. Boger wrote: > To make it easier to use gotools go and gofmt, add -static-libgo when > linking them. This makes it nicer > in all cases since it eliminates the dependency on libgo.so for these tools, > but it is mostly helpful for > the cross compiled case

Re: [PATCH] c/67882 - improve -Warray-bounds for invalid offsetof

2015-10-16 Thread Joseph Myers
On Fri, 16 Oct 2015, Bernd Schmidt wrote: > > +// The following expression is silently accepted as an extension > > +// because it simply forms the equivalent of a just-past-the-end > > +// address. > > +__builtin_offsetof (A, a1_1 [0][1]),// extension > > Hmm, do we really wa

[PATCH] Fix def_test_returning_type in iamcu/test_basic_returning.c

2015-10-16 Thread H.J. Lu
Use union to check float return bits to avoid converting from integer to float when comparing float return value. I will check it in after regression test. H.J. --- * gcc.target/i386/iamcu/test_basic_returning.c (def_test_returning_type): Use union to check float return bits. ---

[hsa] Allow gridification of loop pre_bodies

2015-10-16 Thread Martin Jambor
Hi, the patch below allows gridification and thus fast execution on HSA GPUs of loops even when they have some statements in their pre-bodies. It also moves the bulk of target construct preparation for gridification to even before omp scanning, which should considerably ease transition to OpenMP

[c++-delayed-folding] First stab at convert_to_integer

2015-10-16 Thread Marek Polacek
I felt like it'd be good to resolve some unfinished business in convert_to_integer before starting messing with other convert_to_* functions. This is a response to . > > + if (!dofold) > > +{ > > + expr = build1 (CONVE

[PATCH] Use GET_MODE_BITSIZE to get vector natural alignment

2015-10-16 Thread H.J. Lu
Since GET_MODE_ALIGNMENT is defined by psABI and the biggest alignment is 4 byte for IA MCU psABI, we should use GET_MODE_BITSIZE to get vector natural alignment to check misaligned vector move. OK for trunk? Thanks. H.J. --- * config/i386/i386.c (ix86_expand_vector_move): Use GE

[gomp4] small oacc cleanup

2015-10-16 Thread Nathan Sidwell
A small patch committed to gomp4. 1) extract_oacc_routine_gwv does more work than necessary, we just nee to check if there are oacc function attributes. 2) We still want to run the oacc_device_lower pass, even if errors were detected. (a) we still need to process the loop markers etc (b

Re: [PATCH, rs6000][v3] powerpc musl libc support

2015-10-16 Thread Szabolcs Nagy
On 16/10/15 17:35, Segher Boessenkool wrote: Hi! On Fri, Oct 16, 2015 at 04:58:06PM +0100, Szabolcs Nagy wrote: #if DEFAULT_LIBC == LIBC_UCLIBC -#define CHOOSE_DYNAMIC_LINKER(G, U) "%{mglibc:" G ";:" U "}" +#define CHOOSE_DYNAMIC_LINKER(G, U, M) \ + "%{mglibc:" G ";:%{mmusl:" M ";:" U "}}"

[PATCH] PR fortran/67987 -- character lengths cannot be negative

2015-10-16 Thread Steve Kargl
The attach patch enforces the Fortran Standard's requirement that character length must be great than or equal to zero. The fix submitted here supercedes the fix for PR fortran/31250, which silently converted a negative string length to zero. In removing the fix for 31250, a regression occurred, be

[committed, PATCH] Properly initialize u5

2015-10-16 Thread H.J. Lu
Index: ChangeLog === --- ChangeLog (revision 228920) +++ ChangeLog (working copy) @@ -1,3 +1,8 @@ +2015-10-16 H.J. Lu + + * gcc.target/i386/iamcu/test_passing_unions.c (main): Properly + initialize u5. + 2015-10-16

[committed, PATCH] Replace printf with __builtin_printf

2015-10-16 Thread H.J. Lu
Index: ChangeLog === --- ChangeLog (revision 228921) +++ ChangeLog (working copy) @@ -1,5 +1,10 @@ 2015-10-16 H.J. Lu + * gcc.target/i386/iamcu/test_basic_64bit_returning.c (main): + Replace printf with __builtin_

  1   2   >