[Ada] Fix ICE on overlay of aliased unconstrained arrays

2015-06-01 Thread Eric Botcazou
This fixes an internal error on an overlay of 2 aliased unconstrained array objects. These objects have a special layout (they contain the bounds ahead of the array itself) so overlaying them is a bit delicate. Tested on x86_64-suse-linux, applied on the mainline. 2015-06-01 Eric Botcazou

[Ada] Fix oversight in lvalue_required_p

2015-06-01 Thread Eric Botcazou
This plugs a small hole in the implementation of lvalue_required_p. Tested on x86_64-suse-linux, applied on the mainline. 2015-06-01 Eric Botcazou * gcc-interface/trans.c (lvalue_required_p) : Deal with character and enumeration literals as index values. -- Eric BotcazouIn

Re: Fix PR48052: loop not vectorized if index is "unsigned int"

2015-06-01 Thread Richard Biener
On Sat, May 30, 2015 at 7:47 AM, Jeff Law wrote: > On 05/19/2015 10:12 AM, Aditya K wrote: >> >> w.r.t. the PR48052, here is the patch which finds out if scev would wrap >> or not. >> The patch symbolically evaluates if valid_niter>= loop->nb_iterations is >> true. In that case the scev would not

Re: [PATCH] Fix ICE in __builtin_snprintf folding (PR middle-end/66345)

2015-06-01 Thread Richard Biener
On Sun, May 31, 2015 at 9:53 AM, Marek Polacek wrote: > The code here was assuming that get_maxval_strlen returns an INTEGER_CST. > As the testcase demonstrates, that is not always true, so check for that > before calling compare_tree_int. E.g. gimple_fold_builtin_strncpy already > has this check

Re: [patch 10/10] debug-early merge: compiler proper

2015-06-01 Thread Richard Biener
On Sun, May 31, 2015 at 10:38 PM, Jason Merrill wrote: > On 05/30/2015 08:52 PM, Aldy Hernandez wrote: >> >> On 05/29/2015 03:33 PM, Jason Merrill wrote: >>> >>> On 05/29/2015 03:26 PM, Richard Biener wrote: ISTR I had to mark the gimple reg used for the bound as non-DECL_IGNORED fo

[Ada] Fix internal alignment issue

2015-06-01 Thread Eric Botcazou
This fixes an old alignment issue with the _Parent field created by gigi for extension of tagged types: when the record type has a representation clause, the field is not correctly aligned, which leads to further issues downhill. Tested on x86_64-suse-linux, applied on the mainline. 2015-06-01

Re: [patch 10/10] debug-early merge: compiler proper

2015-06-01 Thread Richard Biener
On Mon, Jun 1, 2015 at 10:03 AM, Richard Biener wrote: > On Sun, May 31, 2015 at 10:38 PM, Jason Merrill wrote: >> On 05/30/2015 08:52 PM, Aldy Hernandez wrote: >>> >>> On 05/29/2015 03:33 PM, Jason Merrill wrote: On 05/29/2015 03:26 PM, Richard Biener wrote: > > ISTR I had to m

[gomp4,committed,PR65443] Add transform_to_exit_first_loop_al

2015-06-01 Thread Tom de Vries
[ was: Re: [PING][PATCH][PR65443] Add transform_to_exit_first_loop_alt ] On 14/05/15 13:42, Tom de Vries wrote: On 20-04-15 14:25, Richard Biener wrote: On Wed, 15 Apr 2015, Tom de Vries wrote: On 03-04-15 14:39, Tom de Vries wrote: On 27-03-15 15:10, Tom de Vries wrote: Hi, this patch fix

Re: Fix PR48052: loop not vectorized if index is "unsigned int"

2015-06-01 Thread Bin.Cheng
On Mon, Jun 1, 2015 at 4:00 PM, Richard Biener wrote: > On Sat, May 30, 2015 at 7:47 AM, Jeff Law wrote: >> On 05/19/2015 10:12 AM, Aditya K wrote: >>> >>> w.r.t. the PR48052, here is the patch which finds out if scev would wrap >>> or not. >>> The patch symbolically evaluates if valid_niter>= lo

Re: [PATCH 01/13] recog: Increased max number of alternatives - v2

2015-06-01 Thread Jakub Jelinek
On Fri, May 22, 2015 at 09:54:00AM +0200, Andreas Krebbel wrote: > On Tue, May 19, 2015 at 10:40:26AM +0200, Andreas Krebbel wrote: > > On 05/18/2015 04:19 PM, Richard Biener wrote: > > > Please use uint64_t instead. > > > > Done. Ok with that change? > > I've applied the following patch. Note t

[Ada] Remove old kludge in i386_pe_encode_section_info

2015-06-01 Thread Eric Botcazou
This dates back to 2008 and is specific to the Ada compiler. Tested on x86_64-suse-linux and i686-pc-mingw32, applied on the mainline. 2015-06-01 Eric Botcazou * config/i386/winnt.c (i386_pe_encode_section_info) : Remove obsolete kludge. ada/ * gcc-interface/utils.c (

Re: [RFC][PATCH][X86_64] Eliminate PLT stubs for specified external functions via -fno-plt=

2015-06-01 Thread Ramana Radhakrishnan
Why isn't it just an indirect call in the cases that would require a GOT slot and a direct call otherwise ? I'm trying to work out what's so different on each target that mandates this to be in the target backend. Also it would be better to push the tests into gcc.dg if you can and check for the

Re: [PATCH] PR 66215: S390: Fix placement of post-label NOPs with -mhotpatch

2015-06-01 Thread Dominik Vogt
Backports of the patch for 5.1, 4.9 and 4.8 are attached to this message. The ChangeLog is the same as for upstream. (See https://gcc.gnu.org/ml/gcc-patches/2015-05/msg02791.html ). Ciao Dominik ^_^ ^_^ -- Dominik Vogt IBM Germany >From 996b1dc70c3cc95df6b1e11cea966d6d01e2ddc7 Mon Sep 17 00

[PATCH] Fix misuse of always_inline attribute in 3 hotpatch tests

2015-06-01 Thread Jakub Jelinek
Hi! always_inline attribute is meaningful only for functions declared inline, and the compiler even warns about this, so it is unclear to me why the tests are attempting to use that. 2015-06-01 Jakub Jelinek * gcc.target/s390/hotpatch-compile-15.c: Remove dg-prune-output direc

[Ada] Extend support for limited_width clause

2015-06-01 Thread Eric Botcazou
This makes it possible to instantiate a generic package with an incomplete formal type on a type imported with an limited_with clause. Tested on x86_64-suse-linux, applied on the mainline. 2015-06-01 Eric Botcazou * gcc-interface/decl.c (gnat_to_gnu_entity) : For a definitio

[Ada] Fix GDB output for values returned on the secondary stack

2015-06-01 Thread Eric Botcazou
These values are returned by reference so they need to be built as reference types to be correctly decoded by the debugger. Tested on x86_64-suse-linux, applied on the mainline. 2015-06-01 Pierre-Marie de Rodat * gcc-interface/decl.c (gnat_to_gnu_entity): Replace pointer types with

[Ada] Fix GDB output for fields in variable-length records

2015-06-01 Thread Eric Botcazou
Some fields in variable-length records are not properly decoded and thus garbage data is displayed by the debugger. Tested on x86_64-suse-linux, applied on the mainline. 2015-06-01 Pierre-Marie de Rodat * gcc-interface/utils.c (scale_by_factor_of): When handling a function c

[PATCH][AArch64] Fix type of *_one_cmpl_3 pattern

2015-06-01 Thread Kyrill Tkachov
Hi all, The *_one_cmpl_3 pattern doesn't set the condition flags so it's type should be logic_shift_imm rather than logics_shift_imm. Bootstrapped and tested on aarch64. Committed as obvious with r223922. Thanks, Kyrill 2015-06-01 Kyrylo Tkachov * config/aarch64/aarch64.md (*_one_cmp

[gomp4] Update test cases for new pass_fre (was: r223849 - in /branches/gomp-4_0-branch: gcc/Cha...)

2015-06-01 Thread Thomas Schwinge
Hi! On Thu, 28 May 2015 21:24:04 -, vr...@gcc.gnu.org wrote: > Author: vries > Date: Thu May 28 21:24:04 2015 > New Revision: 223849 > > URL: https://gcc.gnu.org/viewcvs?rev=223849&root=gcc&view=rev > Log: > Only use transform_to_exit_first_loop_alt for kernels > > 2015-05-28 Tom de Vries

[PATCH] [PATCH][ARM] Fix thumb-ltu.c testcase.

2015-06-01 Thread Alex Velenko
Hi, This patch fix thumb-ltu.c to pass excess error test. Without default -std=gnu90 flag, this testcase started failing as some functions were called before being predefined. Is patch ok? gcc/testsuite 2015-06-01 Alex Velenko * gcc.target/arm/thumb-ltu.c (foo): Predefined.

Re: [PATCH] [PATCH][ARM] Fix thumb-ltu.c testcase.

2015-06-01 Thread Ramana Radhakrishnan
On 01/06/15 10:48, Alex Velenko wrote: Hi, This patch fix thumb-ltu.c to pass excess error test. Without default -std=gnu90 flag, this testcase started failing as some functions were called before being predefined. Is patch ok? gcc/testsuite 2015-06-01 Alex Velenko * gcc.target

Re: [PATCH, ARM] attribute target (thumb,arm) [3/6] respin (4th)

2015-06-01 Thread Ramana Radhakrishnan
2015-05-11 9:49 GMT+01:00 Christian Bruel : > -BEGIN PGP MESSAGE- > Version: GnuPG v1.4.11 (GNU/Linux) > > hQIOA7kay12Fw5I3EAf/dJLl6z88mNVga3f+gsF8SKunpHWh+OsNTdg0zovUsPH/ > YX1l86qL92we5htdf86j8rKTOH9PdOQCITsAnwKecWgpas5cGV4s2LHcbX/wQyl4 > UGnVaQhDrGZputPDjJkaysrX+aI/Tv0JWBm7XZE5pyTRN6ngm/

Re: [PATCH, CFT] Fix bootstrap with in-tree ISL

2015-06-01 Thread Rainer Orth
Bernhard Reutner-Fischer writes: > When using an in-tree ISL gcc attempts to determine if it is recent > enough and AFAIU fails to do so since the system's ISL (which we will not use) > might be too old and the in-tree ISL is not yet built. > > This results in HAVE_ISL_SCHED_CONSTRAINTS_COMPUTE_S

Re: [gomp4] Avoiding predication for certain blocks

2015-06-01 Thread Tom de Vries
On 29/05/15 18:23, Bernd Schmidt wrote: When predicating the code for OpenACC, we should avoid the entry block in an offloaded region, which contains setup code that should be run in every thread. The following patch adds a new marker statement that is used to identify this block. Currently, pred

Fix PR43404, PR48470, PR64744 ICE on naked functions

2015-06-01 Thread Alexander Basov
Hi, this patch fixes ICE when compiling naked functions for arm targets. It prevents register allocation for non-register things like volatile, float, BLKMode vars. Tested on trunk with arm-v7ar-linux-gnueabi on qemu vexpress board. -- Alexander 2015-06-01 Alexander Basov PR middle-end/64

Re: [PATCH][ARM/AArch64 Testsuite] Cleanup advsimd-intrinsics.exp, removing unnecessary loop

2015-06-01 Thread James Greenhalgh
On Fri, May 29, 2015 at 11:48:34AM +0100, Alan Lawrence wrote: > Christophe Lyon wrote: > > > > This looks OK, but why can't you also drop the other torture-related > > lines as you did in your previous patch? > > I mean: > > load_lib c-torture.exp > > load_lib torture-options.exp > > etc... > >

Re: [PATCH] Fix misuse of always_inline attribute in 3 hotpatch tests

2015-06-01 Thread Dominik Vogt
On Mon, Jun 01, 2015 at 10:39:34AM +0200, Jakub Jelinek wrote: > always_inline attribute is meaningful only for functions declared > inline, and the compiler even warns about this, so it is unclear > to me why the tests are attempting to use that. Since Gcc emits just a cryptic warning and not an

Re: [PATCH] Fix misuse of always_inline attribute in 3 hotpatch tests

2015-06-01 Thread Jakub Jelinek
On Mon, Jun 01, 2015 at 11:20:29AM +0100, Dominik Vogt wrote: > On Mon, Jun 01, 2015 at 10:39:34AM +0200, Jakub Jelinek wrote: > > always_inline attribute is meaningful only for functions declared > > inline, and the compiler even warns about this, so it is unclear > > to me why the tests are attem

Re: [PATCH] Fix PR66280

2015-06-01 Thread Richard Biener
On Fri, 29 May 2015, Richard Biener wrote: > > In addition to the required backport of PR66251 (testing right now) > we need to fix hybrid stmt detection for trunk and for a related > testcase also on the branch. But it needed even more surgery, so the following is what I have applied after boot

Re: [PATCH, ARM] attribute target (thumb,arm) [4/6] respin (5th)

2015-06-01 Thread Kyrill Tkachov
On 18/05/15 09:14, Christian Bruel wrote: Hi, Hi Christian, A couple comments inline. Overall, the approach looks ok to me, though I think we'll have to generalise arm_valid_target_attribute_rec in the future if we want to allow other target attributes. Thanks, Kyrill Here is again a new v

Re: [PATCH] Fix PR65549, avoid force_decl_die in late compilation

2015-06-01 Thread Richard Biener
On Tue, Apr 28, 2015 at 10:37 AM, Richard Biener wrote: > On Fri, 17 Apr 2015, Jakub Jelinek wrote: > >> On Fri, Apr 17, 2015 at 12:32:03PM +0200, Richard Biener wrote: >> > So Jakub says that using comp_unit_die () for the context of the stub >> > DIE is wrong and he is of course right. The foll

Re: [PATCH GCC]Improve overflow in scev by using information computed in loop niter, part II

2015-06-01 Thread Richard Biener
On Tue, May 26, 2015 at 1:13 PM, Bin.Cheng wrote: > Hi, > The first part patch improving how we handle overflow in scev is > posted at https://gcc.gnu.org/ml/gcc-patches/2015-05/msg01795.html . > Here comes the second part patch. > > This patch does below improvements: > 1) Computes and records

[patch] Fix ICE on function [not] returning variable size

2015-06-01 Thread Eric Botcazou
Hi, this fixes an ICE on a function returning a variable-sized record type but discovered to be no-return by the optimizer. In this case, the LHS of the GIMPLE call statement is removed so the RTL expander attempts to allocate a temporary and fails: eric@polaris:~/build/gcc/native> gcc/gnat1

Re: [PATCH GCC]Improve how we handle overflow in scev by using overflow information computed for control iv in loop niter, part II

2015-06-01 Thread Richard Biener
On Tue, May 26, 2015 at 1:04 PM, Bin Cheng wrote: > Hi, > My first part patch improving how we handle overflow in scev is posted at > https://gcc.gnu.org/ml/gcc-patches/2015-05/msg01795.html . Here comes the > second part patch. > > This patch does below improvements: > 1) Computes and records

Re: [PATCH GCC]Improve overflow in scev by using information computed in loop niter, part II

2015-06-01 Thread Bin.Cheng
On Mon, Jun 1, 2015 at 6:41 PM, Richard Biener wrote: > On Tue, May 26, 2015 at 1:13 PM, Bin.Cheng wrote: >> Hi, >> The first part patch improving how we handle overflow in scev is >> posted at https://gcc.gnu.org/ml/gcc-patches/2015-05/msg01795.html . >> Here comes the second part patch. >> >> T

Re: [PATCH] Vectorize loops with parameterized loop bounds

2015-06-01 Thread Richard Biener
On Tue, May 26, 2015 at 6:48 PM, Aditya Kumar wrote: > w.r.t. the PR48052, here is the patch which finds out if scev would wrap or > not. > The patch symbolically evaluates if valid_niter >= loop->nb_iterations is > true. > In that case the scev would not wrap. > Currently, we only look for two

Re: [PATCH] Simple fix to enhance outer-loop vectorization.

2015-06-01 Thread Richard Biener
On Thu, May 28, 2015 at 5:51 PM, Yuri Rumyantsev wrote: > Richard, > > First of all, I don't think that it is possible to write out test for > outer-loop vectorization with zero-step reference because of possible > loop-carried dependencies and run-time aliasing is not supported for > outer-loop.

Re: [RFA] Factor conversion out of COND_EXPR using match.pd pattern

2015-06-01 Thread Richard Biener
On Sat, May 30, 2015 at 11:11 AM, Marc Glisse wrote: > (only commenting on the technique, not on the transformation itself) > >> +(simplify >> + (cond @0 (convert @1) INTEGER_CST@2) >> + (if (INTEGRAL_TYPE_P (TREE_TYPE (@1)) >> + && COMPARISON_CLASS_P (@0) > > > If you add COMPARISON_CLASS

Re: [RFA] Factor conversion out of COND_EXPR using match.pd pattern

2015-06-01 Thread Richard Biener
On Sat, May 30, 2015 at 6:22 AM, Jeff Law wrote: > > I was working on polishing some of Kai's work to eliminate shorten_compare > and stumbled on this tiny missed optimization. > > Basically this change allows us to see something like this: > >n = (short unsigned int) mode_size[(unsigned int)

Re: [PATCH, ARM] attribute target (thumb,arm) [3/6] respin (4th)

2015-06-01 Thread Ramana Radhakrishnan
On Mon, Jun 1, 2015 at 11:31 AM, Christian Bruel wrote: > Hi Ramana, > > You've already approved [3/6] > (https://gcc.gnu.org/ml/gcc-patches/2015-05/msg00524.html) Yes I know, but all patches that get committed need to be archived on the lists according to policy. So, can you please send the patc

Re: [RFA] Reimplement canonicalization of comparison arguments in match.pd

2015-06-01 Thread Richard Biener
On Sat, May 30, 2015 at 6:41 AM, Jeff Law wrote: > > c-common.c::shorten_compare has code to canonicalize the arguments of a > comparison so that the constant is the second argument. This patch removes > the implementation from c-common.c and instead implements it in match.pd. > > Note the match.

Re: [patch] Fix ICE on function [not] returning variable size

2015-06-01 Thread Richard Biener
On Mon, Jun 1, 2015 at 12:43 PM, Eric Botcazou wrote: > Hi, > > this fixes an ICE on a function returning a variable-sized record type but > discovered to be no-return by the optimizer. In this case, the LHS of the > GIMPLE call statement is removed so the RTL expander attempts to allocate a > te

Re: [PATCH] Fix misuse of always_inline attribute in 3 hotpatch tests

2015-06-01 Thread Andreas Krebbel
On 06/01/2015 10:39 AM, Jakub Jelinek wrote: > Hi! > > always_inline attribute is meaningful only for functions declared > inline, and the compiler even warns about this, so it is unclear > to me why the tests are attempting to use that. > > 2015-06-01 Jakub Jelinek > > * gcc.target/s39

Re: [PATCH, RFC] New memory usage statistics infrastructure

2015-06-01 Thread Martin Liška
On 05/29/2015 06:09 PM, Vidya Praveen wrote: > > Martin, > > The following change: > > @@ -2655,10 +2655,10 @@ s-iov: build/gcov-iov$(build_exeext) $(BASEVER) > $(DEVPHASE) > > GCOV_OBJS = gcov.o > gcov$(exeext): $(GCOV_OBJS) $(LIBDEPS) > - +$(LINKER) $(ALL_LINKERFLAGS) $(LDFLAGS) $(GC

Re: [PATCH] S390: Support -mtune=native and -march=native.

2015-06-01 Thread Jakub Jelinek
On Tue, May 26, 2015 at 12:06:51PM +0100, Dominik Vogt wrote: > + f = fopen ("/proc/cpuinfo", "r"); > + if (f == NULL) > +return NULL; > + > + while (fgets (buf, sizeof (buf), f) != NULL) > +if (strncmp (buf, "processor", sizeof ("processor") - 1) == 0) > + { > + if (strstr (buf

[patch] Unset LANGUAGE env var for libstdc++ testsuite

2015-06-01 Thread Jonathan Wakely
The 22_locale/messages FAILs seen on Debian are due to the LANGUAGE environment variable, which alters the behaviour of gettext(3) and breaks our std::messages facet. gettext(3) says: If the LANGUAGE environment variable is set to a nonempty value, and the locale is not the "C" locale, the

Re: [gomp4] Avoiding predication for certain blocks

2015-06-01 Thread Thomas Schwinge
Hi! On Mon, 1 Jun 2015 12:10:12 +0200, Tom de Vries wrote: > On 29/05/15 18:23, Bernd Schmidt wrote: > > When predicating the code for OpenACC, we should avoid the entry block > > in an offloaded region, which contains setup code that should be run in > > every thread. The following patch adds a

[Patch Obvious] Fuseable is not a word -> s/fuseable/fusible/g

2015-06-01 Thread James Greenhalgh
Hi, I was looking at the AArch64 and ARM tuning structures, and realised we had a spelling mistake which leaks out in to dumps. This set of three patches fixes that mistake, in the ARM and AArch64 back-ends and in sched-deps.c. Committed as r223938 (AArch64), r223939 (ARM) and r224940 (sched-deps

Re: [PATCH 1/3][AArch64][PR target/65797] Strengthen barriers for sync-fetch-op builtins.

2015-06-01 Thread Matthew Wahab
On 26/05/15 10:32, James Greenhalgh wrote: Please tie this to the PR which was open in the ChangLog entry. (aarch64_split_atomic_op): Check for __sync memory models, emit appropriate initial and final barriers. I don't see any new initial barriers. I think you are referring to

Re: [PATCH 2/3][AArch64][PR target/65697] Strengthen barriers for sync-compare-swap builtins.

2015-06-01 Thread Matthew Wahab
On 22/05/15 09:28, Matthew Wahab wrote: [Added PR number and updated patches] This patch changes the code generated for __sync_type_compare_and_swap to ldxr reg; cmp; bne label; stlxr; cbnz; label: dmb ish; mov .., reg This removes the acquire-barrier from the load and ends the operation w

Re: [gomp4] Avoiding predication for certain blocks

2015-06-01 Thread Bernd Schmidt
On 06/01/2015 12:10 PM, Tom de Vries wrote: On 29/05/15 18:23, Bernd Schmidt wrote: When predicating the code for OpenACC, we should avoid the entry block in an offloaded region, which contains setup code that should be run in every thread. The following patch adds a new marker statement that is

Re: [PATCH] Fix eipa_sra AAPCS issue (PR target/65956)

2015-06-01 Thread Jakub Jelinek
On Thu, May 07, 2015 at 12:16:32PM +0100, Alan Lawrence wrote: > So for my two cents, or perhaps three: Any progress on this PR? A P1 bug that affects several packages stalled for a month isn't a very good thing... (not to mention broken profiledbootstrap on ARM due to the same issue). I've checke

Re: [PATCH][AArch64][PR 66136] rewrite geniterators.sh in awk

2015-06-01 Thread Szabolcs Nagy
On 18/05/15 15:57, Szabolcs Nagy wrote: > Rewrote the generator script in awk, to avoid dealing with > sed portability issues. > Ping. it was confirmed to fix the build on freebsd: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66136 > gcc/Changelog: > > 2015-05-18 Szabolcs Nagy > > P

Re: C++ PATCH to handling of exception specs in system headers

2015-06-01 Thread Rainer Orth
Jason Merrill writes: > -pedantic shouldn't change something from OK into an error, but it was > doing so for redeclaration of a declaration from a system header with a > mismatched exception specification. And whether we are strict about things > in system headers should be controlled by -Wsyst

Re: [PATCH 2/3][AArch64][PR target/65697] Strengthen barriers for sync-compare-swap builtins.

2015-06-01 Thread James Greenhalgh
On Mon, Jun 01, 2015 at 01:08:15PM +0100, Matthew Wahab wrote: > On 22/05/15 09:28, Matthew Wahab wrote: > > [Added PR number and updated patches] > > > > This patch changes the code generated for __sync_type_compare_and_swap to > > > > ldxr reg; cmp; bne label; stlxr; cbnz; label: dmb ish; mov

Re: [PATCH 1/3][AArch64][PR target/65797] Strengthen barriers for sync-fetch-op builtins.

2015-06-01 Thread James Greenhalgh
On Mon, Jun 01, 2015 at 01:06:08PM +0100, Matthew Wahab wrote: > On 26/05/15 10:32, James Greenhalgh wrote: > > Please tie this to the PR which was open in the ChangLog entry. > > > >>(aarch64_split_atomic_op): Check for __sync memory models, emit > >>appropriate initial and final barriers.

Re: [PATCH, RFC] New memory usage statistics infrastructure

2015-06-01 Thread Richard Biener
On Mon, Jun 1, 2015 at 1:38 PM, Martin Liška wrote: > On 05/29/2015 06:09 PM, Vidya Praveen wrote: >> >> Martin, >> >> The following change: >> >> @@ -2655,10 +2655,10 @@ s-iov: build/gcov-iov$(build_exeext) $(BASEVER) >> $(DEVPHASE) >> >> GCOV_OBJS = gcov.o >> gcov$(exeext): $(GCOV_OBJS) $(LIB

Re: [PATCH, PR target/65103, 2/3] Propagate address constants into loops for i386

2015-06-01 Thread Ilya Enkovich
2015-05-29 1:15 GMT+03:00 Jeff Law : > > Right, but you're blindly propagating. The right thing to do is look at > some kind of metric to estimate when it's profitable to propagate the > constant back in vs leave it hoisted out. No, the patch is not to blindly propagate but to let loop invariant

Re: [PATCH, ARM] attribute target (thumb,arm) [5.2/6] respin (5th)

2015-06-01 Thread Kyrill Tkachov
Hi Christian, On 18/05/15 11:45, Christian Bruel wrote: + additional chunks needed to redefine the macros for #pragma GCC target Applies on top of [5/6] thanks, Christian p5.2.patch 2014-09-23 Christian Bruel * config/arm/arm-c.c (arm_cpu_cpp_builtins): Conditionally define

Re: [PATCH, ARM] attribute target (thumb,arm) [5/6] respin (5th)

2015-06-01 Thread Kyrill Tkachov
Hi Christian, On 18/05/15 09:26, Christian Bruel wrote: On 05/08/2015 11:18 AM, Ramana Radhakrishnan wrote: > > >On 06/05/15 15:27, Christian Bruel wrote: >>Implements the hooks for #pragma GCC target >> >>A test included to check that macros were correctly defined/undefined on >>pragma region

Re: [PATCH, ARM] attribute target (thumb,arm) [4/6] respin (5th)

2015-06-01 Thread Kyrill Tkachov
On 01/06/15 12:29, Christian Bruel wrote: hi Kyrill On 06/01/2015 12:39 PM, Kyrill Tkachov wrote: On 18/05/15 09:14, Christian Bruel wrote: Hi, Hi Christian, A couple comments inline. Overall, the approach looks ok to me, though I think we'll have to generalise arm_valid_target_attribute_re

Re: [PATCH][AArch64][PR 66136] rewrite geniterators.sh in awk

2015-06-01 Thread Marcus Shawcroft
On 18 May 2015 at 15:57, Szabolcs Nagy wrote: > Rewrote the generator script in awk, to avoid dealing with > sed portability issues. > > gcc/Changelog: > > 2015-05-18 Szabolcs Nagy > > PR target/66136 > * config/aarch64/geniterators.sh: Rewrite in awk. OK provide you have check

[PATCH] Small pool-allocator fallback

2015-06-01 Thread Martin Liška
Hello. This is small fallback related to pool-allocator patch. I'm going to install it as obvious. gcc/ChangeLog: 2015-06-01 Martin Liska * alloc-pool.h: Add ATTRIBUTE_UNUSED for a function local variable. Thanks, Martin Index: gcc/alloc-pool.h =

Re: [RS6000] vsx_extract_v4sf

2015-06-01 Thread David Edelsohn
On Mon, Jun 1, 2015 at 2:27 AM, Alan Modra wrote: > Found today when deleting "S" constraint, unused after a local patch. > rs6000/vsx.md:1867: error: undefined machine-specific constraint at this > point: "Sa>," > That can't be good says I. An over-enthusiastic search and replace > by the look

Re: [PATCH GCC][PR62173 partial/2]Improve overflow check on SCEV in IVOPTs using vrp info

2015-06-01 Thread Richard Biener
On Fri, Feb 13, 2015 at 10:43 AM, Bin Cheng wrote: > Hi, > For the specific case reported in PR62173, overflow check on SCEV can be > improved using range information. Precisely, it's range information of ssa > name in IV's base that helps, rather than range information of the IV > itself. Since

Re: [patch, fortran] PR 47359 - warnings for constant conversion

2015-06-01 Thread Steve Kargl
On Mon, Jun 01, 2015 at 08:34:24AM +0200, Thomas Koenig wrote: > > >> The second part catches the case when the user supplies more > >> digits than appropriate for the number. More often than not, > >> this is a KIND error. > >> > > > > Does the above issue warnings for > > > > real(knd), par

Re: [PATCH] Fix PR66314

2015-06-01 Thread Richard Biener
On Fri, 29 May 2015, H.J. Lu wrote: > On Fri, May 29, 2015 at 3:39 AM, Richard Biener wrote: > > > > This fixes jump threading which fails to update the loop ownership > > of duplicated blocks (and was probably just lucky that loops were > > fixed up usually). The blocks of the jump thread path

[PATCH] Add testcases for PRs 66349, 66352 and 66357

2015-06-01 Thread Richard Biener
2015-06-01 Richard Biener PR tree-optimization/66349 PR tree-optimization/66352 PR tree-optimization/66357 * gcc.dg/torture/pr66357.c: New testcase. * gcc.dg/torture/pr66349.c: Likewise. * gfortran.fortran-torture/compile/pr66352.f90: Likewise.

[PATCH] Fix IPA-PTA for address-taken functions.

2015-06-01 Thread Richard Biener
Bootstrapped and tested on x86_64-unknown-linux-gnu, applied. Richard. 2015-06-01 Richard Biener * tree-ssa-structalias.c (ipa_pta_execute): Handle address-taken functions. * gcc.dg/ipa/ipa-pta-1.c: Adjust. Index: gcc/tree-ssa-structalias.c =

Re: [PATCH] Small pool-allocator fallback

2015-06-01 Thread Martin Liška
On 06/01/2015 02:59 PM, Martin Liška wrote: > Hello. > > This is small fallback related to pool-allocator patch. > I'm going to install it as obvious. > > gcc/ChangeLog: > > 2015-06-01 Martin Liska > > * alloc-pool.h: Add ATTRIBUTE_UNUSED for > a function local variable. > > Th

[gomp4, committed] Only use transform_to_exit_first_loop_alt for kernels

2015-06-01 Thread Tom de Vries
Hi, this patch fixes the compilation of self-dependent loops in oacc kernels regions. First, consider a simple vector addition: ... #pragma acc kernels copyin (a[0:N], b[0:N]) copyout (c[0:N]) { for (COUNTERTYPE ii = 0; ii < N; ii++) c[ii] = a[ii] + b[ii]; } ... Until now (

Re: [PATCH 1/3][AArch64][PR target/65797] Strengthen barriers for sync-fetch-op builtins.

2015-06-01 Thread Marcus Shawcroft
>> Attached updated patch: >> - Expanded the comment for aarch64_emit_post_barrier. >> - Used 'barrier' rather than 'fence' in comments. >> - Simplified the code for the initial load. >> >> Tested with check-gcc for aarch64-none-linux-gnu. >> >> Ok? >> Matthew >> >> 2015-06-01 Matthew Wahab >> >

Re: [PATCH][OpenMP] Fix resolve_device with -foffload=disable

2015-06-01 Thread Ilya Verbin
Hi, Thomas! Is this change ok for OpenACC/PTX? On Mon, Apr 20, 2015 at 17:16:03 +0300, Ilya Verbin wrote: > Currently if a compiler is configured with enabled offloading, the 'devices' > array in libgomp is filled properly with a number of available devices. > However, if a program is compiled wi

Re: [PATCH, RFC] New memory usage statistics infrastructure

2015-06-01 Thread Martin Liška
On 06/01/2015 02:18 PM, Richard Biener wrote: > On Mon, Jun 1, 2015 at 1:38 PM, Martin Liška wrote: >> On 05/29/2015 06:09 PM, Vidya Praveen wrote: >>> >>> Martin, >>> >>> The following change: >>> >>> @@ -2655,10 +2655,10 @@ s-iov: build/gcov-iov$(build_exeext) $(BASEVER) >>> $(DEVPHASE) >>> >>>

Re: [PATCH, RFC] New memory usage statistics infrastructure

2015-06-01 Thread Vidya Praveen
On 01/06/15 15:08, Martin Liška wrote: On 06/01/2015 02:18 PM, Richard Biener wrote: On Mon, Jun 1, 2015 at 1:38 PM, Martin Liška wrote: On 05/29/2015 06:09 PM, Vidya Praveen wrote: Martin, The following change: @@ -2655,10 +2655,10 @@ s-iov: build/gcov-iov$(build_exeext) $(BASEVER) $(DEV

Re: [Patch ARM] Add cpu_defines.h for ARM

2015-06-01 Thread Richard Earnshaw
On 19/05/15 13:48, Ramana Radhakrishnan wrote: > Hardware Integer divide instructions do not trap. Define this to be so > for the ARM port. > > Applied to trunk after a build and test across architecture ranges and a > bootstrap and regression run on a Cortex-A15 - a v7ve core that has > hardware

Re: [patch] fix bootstrap on FreeBSD i386/arm

2015-06-01 Thread Steve Ellcey
On Sat, 2015-05-30 at 11:27 +0200, Andreas Tobler wrote: > > I'm sorry. I totally forgot about autoheader... > > I'm testing this one now. Would you mind giving it a try? > > Thanks, > Andreas This patch worked for me. I am curious about why you use '!HAVE_DECL_ATOLL' in read-rtl.c instead of

Re: C++ PATCH to handling of exception specs in system headers

2015-06-01 Thread Jason Merrill
On 06/01/2015 08:13 AM, Rainer Orth wrote: Jason Merrill writes: -pedantic shouldn't change something from OK into an error, but it was doing so for redeclaration of a declaration from a system header with a mismatched exception specification. And whether we are strict about things in system

[Ping][PATCH][libstdc++-v3] Add _GLIBCXX_HAVE_LIMIT_FSIZE to guard 27_io/fpos/14775.cc

2015-06-01 Thread Renlin Li
Ping~ Anybody can review this? Thank you! Regards, Renlin Li On 06/05/15 09:09, Renlin Li wrote: Hi all, This is a simple patch to add _GLIBCXX_HAVE_LIMIT_FSIZE to guard the test. In libstdc++-v3/testsuite/util/testsuite_hooks.cc. set_file_limit() function is nullified when either _GLIBCX

Re: [patch] fix bootstrap on FreeBSD i386/arm

2015-06-01 Thread Andreas Tobler
On 01.06.15 16:43, Steve Ellcey wrote: On Sat, 2015-05-30 at 11:27 +0200, Andreas Tobler wrote: I'm sorry. I totally forgot about autoheader... I'm testing this one now. Would you mind giving it a try? Thanks, Andreas This patch worked for me. I am curious about why you use '!HAVE_DECL_AT

Re: [patch] fix bootstrap on FreeBSD i386/arm

2015-06-01 Thread Steve Ellcey
On Mon, 2015-06-01 at 17:07 +0200, Andreas Tobler wrote: > > This patch worked for me. I am curious about why you use > > '!HAVE_DECL_ATOLL' in read-rtl.c instead of '!defined(HAVE_DECL_ATOLL)'. > > The use of !defined seems more common and is used in the HAVE_ATOQ check > > in the same #if state

Re: Fix Ada bootstrap with LTO

2015-06-01 Thread Jeff Law
On 05/31/2015 01:55 AM, Marek Polacek wrote: On Sun, May 31, 2015 at 05:11:52AM +0200, Jan Hubicka wrote: @@ -1548,6 +1503,10 @@ eliminate_unnecessary_stmts (void) something_changed |= remove_dead_phis (bb); } + if (bb_postorder) +free (bb_postorder); + bb_postorder = NULL;

[gomp4, committed] Fix goacc builtins fnspecs

2015-06-01 Thread Tom de Vries
Hi, this patch fixes the fnspec strings of the goacc builtins. The first position in an fnspec string is for the function result, even if it's a void function. This first entry is missing in the goacc fnspecs, attached patch fixes this. Committed to gomp-4_0-branch. Thanks, - Tom Fix goacc

Re: C++ PATCH to handling of exception specs in system headers

2015-06-01 Thread Rainer Orth
Jason Merrill writes: > On 06/01/2015 08:13 AM, Rainer Orth wrote: >> Jason Merrill writes: >> >>> -pedantic shouldn't change something from OK into an error, but it was >>> doing so for redeclaration of a declaration from a system header with a >>> mismatched exception specification. And wheth

Re: [PATCH, RFC] New memory usage statistics infrastructure

2015-06-01 Thread Martin Liška
On 06/01/2015 04:08 PM, Martin Liška wrote: > On 06/01/2015 02:18 PM, Richard Biener wrote: >> On Mon, Jun 1, 2015 at 1:38 PM, Martin Liška wrote: >>> On 05/29/2015 06:09 PM, Vidya Praveen wrote: Martin, The following change: @@ -2655,10 +2655,10 @@ s-iov: build/gcov-

Re: [patch 10/10] debug-early merge: compiler proper

2015-06-01 Thread Aldy Hernandez
On 06/01/2015 04:04 AM, Richard Biener wrote: On Mon, Jun 1, 2015 at 10:03 AM, Richard Biener wrote: On Sun, May 31, 2015 at 10:38 PM, Jason Merrill wrote: On 05/30/2015 08:52 PM, Aldy Hernandez wrote: On 05/29/2015 03:33 PM, Jason Merrill wrote: On 05/29/2015 03:26 PM, Richard Biener wro

Re: [PATCH][libstdc++-v3] Add _GLIBCXX_HAVE_LIMIT_FSIZE to guard 27_io/fpos/14775.cc

2015-06-01 Thread Jonathan Wakely
On 06/05/15 09:09 +0100, Renlin Li wrote: Hi all, This is a simple patch to add _GLIBCXX_HAVE_LIMIT_FSIZE to guard the test. In libstdc++-v3/testsuite/util/testsuite_hooks.cc. set_file_limit() function is nullified when either _GLIBCXX_RES_LIMITS or _GLIBCXX_HAVE_LIMIT_FSIZE is not defined. _

[gomp4] Worker-single predication

2015-06-01 Thread Bernd Schmidt
This extends the previous vector-single support to also handle worker-level predication. We can't use the shfl insn because workers will live across multiple warps, so we use a location in memory to broadcast the branch target. This also fixes the oversight where basic blocks inside a parallel

Re: [gomp4, committed] Only use transform_to_exit_first_loop_alt for kernels

2015-06-01 Thread Tom de Vries
On 01/06/15 16:00, Tom de Vries wrote: Furthermore, the patch replaces pass_copy_prop with pass_fre. I found this necessary at some point and added it to the patch, but I can't reproduce the necessity now, so I'll revert that bit asap. Attached revert patch committed to gomp-4_0-branch. Thanks

Re: [PATCH, RFC] New memory usage statistics infrastructure

2015-06-01 Thread Vidya Praveen
On 01/06/15 15:21, Vidya Praveen wrote: On 01/06/15 15:08, Martin Liška wrote: On 06/01/2015 02:18 PM, Richard Biener wrote: On Mon, Jun 1, 2015 at 1:38 PM, Martin Liška wrote: On 05/29/2015 06:09 PM, Vidya Praveen wrote: Martin, The following change: @@ -2655,10 +2655,10 @@ s-iov: build/

Re: [patch 10/10] debug-early merge: compiler proper

2015-06-01 Thread Richard Biener
On June 1, 2015 5:42:57 PM GMT+02:00, Aldy Hernandez wrote: >On 06/01/2015 04:04 AM, Richard Biener wrote: >> On Mon, Jun 1, 2015 at 10:03 AM, Richard Biener >> wrote: >>> On Sun, May 31, 2015 at 10:38 PM, Jason Merrill >wrote: On 05/30/2015 08:52 PM, Aldy Hernandez wrote: > > On 05

Re: C++ PATCH to handling of exception specs in system headers

2015-06-01 Thread Jason Merrill
On 06/01/2015 11:34 AM, Rainer Orth wrote: Isn't this about global vs. std namespace? Probably. Does making the declaration in the testcase extern "C" help? Jason

Re: Fix Ada bootstrap with LTO

2015-06-01 Thread Jan Hubicka
> On 05/31/2015 01:55 AM, Marek Polacek wrote: > >On Sun, May 31, 2015 at 05:11:52AM +0200, Jan Hubicka wrote: > >>@@ -1548,6 +1503,10 @@ eliminate_unnecessary_stmts (void) > >>something_changed |= remove_dead_phis (bb); > >> } > >> > >>+ if (bb_postorder) > >>+free (bb_postorder)

Re: [patch 10/10] debug-early merge: compiler proper

2015-06-01 Thread Aldy Hernandez
On 06/01/2015 01:00 PM, Richard Biener wrote: On June 1, 2015 5:42:57 PM GMT+02:00, Aldy Hernandez wrote: On 06/01/2015 04:04 AM, Richard Biener wrote: On Mon, Jun 1, 2015 at 10:03 AM, Richard Biener We still have the problem that function locals in dwarf2out are seen in decls_for_scope by

Re: [RFC][PATCH][X86_64] Eliminate PLT stubs for specified external functions via -fno-plt=

2015-06-01 Thread Sriraman Tallam
On Mon, Jun 1, 2015 at 1:24 AM, Ramana Radhakrishnan wrote: > >>> Why isn't it just an indirect call in the cases that would require a GOT >>> slot and a direct call otherwise ? I'm trying to work out what's so >>> different on each target that mandates this to be in the target backend. >>> Also i

Re: [patch, fortran] PR 47359 - warnings for constant conversion

2015-06-01 Thread Thomas Koenig
Am 01.06.2015 um 15:40 schrieb Steve Kargl: > On Mon, Jun 01, 2015 at 08:34:24AM +0200, Thomas Koenig wrote: >> What would be the peferred alternative? > Is it possible to detect the _knd suffix? Yes, this is possible. > If so, no > warning is my preference as it is never incorrect to > specify

Get LTO correct for Fortran C_PTR type

2015-06-01 Thread Jan Hubicka
Hi, this patch removes the check for TREE_CODE of pointer types when computing canonical types. It also adds a testcase for fortran C_PTR type that should be compatible with all C pointers. Can someone familiar with Fortran double check that the testcase is indeed defined by the standard? I needed

Re: [PATCH] Extend -fno-plt to normal non-PIC branches on x86

2015-06-01 Thread Uros Bizjak
On Fri, May 29, 2015 at 1:02 AM, H.J. Lu wrote: > On Thu, May 28, 2015 at 10:37:53AM -0700, H.J. Lu wrote: >> This patch extends -fno-plt to normal non-PIC calls on x86. -fno-plt >> works in 64-bit mode with the existing binutils. For 32-bit, we need >> the updated assembler and linker to suppor

Re: [RFC][PATCH][X86_64] Eliminate PLT stubs for specified external functions via -fno-plt=

2015-06-01 Thread Ramana Radhakrishnan
On Mon, Jun 1, 2015 at 7:01 PM, Sriraman Tallam wrote: > On Mon, Jun 1, 2015 at 1:24 AM, Ramana Radhakrishnan > wrote: >> Why isn't it just an indirect call in the cases that would require a GOT slot and a direct call otherwise ? I'm trying to work out what's so different on each t

Re: [RFC][PATCH][X86_64] Eliminate PLT stubs for specified external functions via -fno-plt=

2015-06-01 Thread Sriraman Tallam
On Mon, Jun 1, 2015 at 11:41 AM, Ramana Radhakrishnan wrote: > On Mon, Jun 1, 2015 at 7:01 PM, Sriraman Tallam wrote: >> On Mon, Jun 1, 2015 at 1:24 AM, Ramana Radhakrishnan >> wrote: >>> > Why isn't it just an indirect call in the cases that would require a GOT > slot and a direct call

  1   2   >