C++ PATCH for Core DR 1558

2014-11-07 Thread Jason Merrill
Core DR 1558 clarifies that even though an alias template specialization is equivalent to its expansion, we still need to remember the template-id and substitute into it at instantiation time. So we need to avoid stripping it in strip_typedefs and treat it as different in template_args_equal.

Re: [PATCH] Fix up cmove expansion (PR target/58864, take 2)

2014-11-07 Thread Andrew Pinski
On Mon, Dec 2, 2013 at 2:51 PM, Jakub Jelinek wrote: > Hi! > > On Sat, Nov 30, 2013 at 12:38:30PM +0100, Eric Botcazou wrote: >> > Rather than adding do_pending_stack_adjust () in all the places, especially >> > when it isn't clear whether emit_conditional_move will be called at all and >> > wheth

Re: [PATCH, libfortran] PR 47007, 61847 Locale failures in libgfortran

2014-11-07 Thread Jerry DeLisle
On 11/07/2014 02:15 AM, Janne Blomqvist wrote: On Thu, Nov 6, 2014 at 12:38 PM, Janne Blomqvist wrote: On Wed, Nov 5, 2014 at 12:48 PM, Janne Blomqvist wrote: Hi, the attached patch fixes a few locale related failures in libgfortran, in the case where the POSIX 2008 extended locale functiona

Re: [gofrontend-dev] Re: [PATCH 00/13] Go closures, libffi, and the static chain

2014-11-07 Thread Alan Modra
On Fri, Nov 07, 2014 at 08:06:52AM -0800, Ian Taylor wrote: > Closures exist only for nested functions and for functions created by > reflect.MakeFunc and friends. > > Storing a top-level function into a variable will give you something > that looks like it has a closure, but the closure will alwa

[GRAPHITE, PATCH] Loop unroll and jam optimization

2014-11-07 Thread Mircea Namolaru
Hello, This is the patch for unroll and jam optimizations. It is based on the code written by Tobias from graphite-optimize-isl.c (the code was unreachable till now) extended and enabled it via a new option -floop-unroll-jam. The patch takes advantage of the new isl based code generator introduc

[Committed] Add a testcase for miscompile

2014-11-07 Thread Andrew Pinski
I was getting a bootstrap failure but there was no testsuite failures that was testing the problem. Committed after a quick test to make sure the testcase is still a valid executable testcase now. Thanks, Andrew Pinski * gcc.c-torture/execute/20141107-1.c: New testcase. Index: gcc.c-torture/ex

C++ PATCH to fix decltype(__func__)

2014-11-07 Thread Jason Merrill
Parsing __func__ as an id-expression matters to decltype. Tested x86_64-pc-linux-gnu, applying to trunk. commit 9fcce85473de842f9a18e4203378dfb8129629a1 Author: Jason Merrill Date: Fri Nov 7 13:55:24 2014 -0600 * parser.c (cp_parser_unqualified_id): Handle __func__ here. (cp_parser_

[PR tree-optimization/61515] Fix poor compile-time behaviour in tree-ssa-threadedge.c

2014-11-07 Thread Jeff Law
When we thread across a backedge, we have to do invalidations of equivalences. This changes the method by which we identify which objects need invalidation. Previously we'd walk all the SSA_NAMEs and see if any had a current value that needed invalidation. That is obviously expensi

Re: [PR c/52952] More precise locations within format strings

2014-11-07 Thread Joseph Myers
On Fri, 7 Nov 2014, Manuel López-Ibáñez wrote: > Maybe I can open the file and re-parse the string to find the right > column. Of course, this will not work when reading stdin, but in that > case the behavior will be the same as currently. It will also allow me > to gracefully degrade in the case

Re: [gimple-classes, committed 4/6] tree-ssa-tail-merge.c: Use gassign

2014-11-07 Thread Jakub Jelinek
On Fri, Nov 07, 2014 at 10:01:45PM +0100, Richard Biener wrote: > > --- a/gcc/tree-ssa-tail-merge.c > > +++ b/gcc/tree-ssa-tail-merge.c > > @@ -484,7 +484,7 @@ same_succ_hash (const_same_succ e) > > > >hstate.add_int (gimple_code (stmt)); > >if (is_gimple_assign (stmt)) > > -

Re: [gimple-classes, committed 4/6] tree-ssa-tail-merge.c: Use gassign

2014-11-07 Thread Richard Biener
On Fri, Nov 7, 2014 at 4:21 PM, David Malcolm wrote: > gcc/ChangeLog.gimple-classes: > * tree-ssa-tail-merge.c (same_succ_hash): Add checked cast. > (gimple_equal_p): Add checked casts. > --- > gcc/ChangeLog.gimple-classes | 5 + > gcc/tree-ssa-tail-merge.c| 8 +--- >

Re: Fix ICE with thunks taking argument passed by reference

2014-11-07 Thread Jeff Law
On 11/06/14 03:36, Jan Hubicka wrote: Hi, PR63573 is about ICE when expanding thunk call for function taking as a parameter structure passed by reference. This structure in fact contains only one integer and thus it is promoted to register by argument setup in function.c (as an optimization). Th

Re: [PARCH 1/2, x86, PR63534] Fix darwin bootstrap

2014-11-07 Thread Evgeny Stupachenko
Thanks. Committed to trunk with that fix: Author: kyukhin Date: Fri Nov 7 20:42:36 2014 New Revision: 217237 URL: https://gcc.gnu.org/viewcvs?rev=217237&root=gcc&view=rev Log: PR target/63534 gcc/ * config/i386/i386.md (builtin_setjmp_receiver): Use pic_offset_table_rtx for PIC

RE: [PATCH] Fix bswap regression: expand 8bit rotations of 16bit values into bswaphi patterns

2014-11-07 Thread Thomas Preud'homme
> From: Jeff Law [mailto:l...@redhat.com] > Sent: Friday, November 07, 2014 8:48 PM > > > > ChangeLog entry is as follows: > > > > 2014-11-03 Thomas Preud'homme > > > > * expmed.c (expand_shift_1): Expand 8 bit rotate of 16 bit value to > > bswaphi if available. > Approved. So

Re: [PATCH] Fix bswap regression: expand 8bit rotations of 16bit values into bswaphi patterns

2014-11-07 Thread Jeff Law
On 11/07/14 08:58, Thomas Preud'homme wrote: Trunk revision 216971 introduced LROTATE_EXPR as the canonical representation for a byte swap of a 2 bytes value, as per [1]. However, backend expects bswaphi patterns for such operation as these operation are more specific than a rotation. This led

Re: [PARCH 1/2, x86, PR63534] Fix darwin bootstrap

2014-11-07 Thread H.J. Lu
On Thu, Nov 6, 2014 at 5:01 AM, Evgeny Stupachenko wrote: > Now I see that equiv reload could be special for PIC register. Let's > apply more conservative patch. > > Darwin bootstrap passed with the patch applied on r216304 (along with > already committed to trunk patches from PR63618 and PR63620)

Re: [PATCH 10/27] New file: gcc/jit/libgccjit.c

2014-11-07 Thread David Malcolm
On Fri, 2014-11-07 at 12:47 -0700, Jeff Law wrote: > On 11/05/14 12:34, David Malcolm wrote: > > > > > I've added comments throughout the file. > > > > I didn't bother adding __attribute__((cold)), instead simply dropping > > that "TODO". > Fine. > > > > > Attached is the current state of the fil

Re: [PARCH 1/2, x86, PR63534] Fix darwin bootstrap

2014-11-07 Thread Jeff Law
On 11/06/14 06:01, Evgeny Stupachenko wrote: Now I see that equiv reload could be special for PIC register. Let's apply more conservative patch. Darwin bootstrap passed with the patch applied on r216304 (along with already committed to trunk patches from PR63618 and PR63620). 2014-11-06 Evgeny

Re: [PATCH] Fix bswap regression: expand 8bit rotations of 16bit values into bswaphi patterns

2014-11-07 Thread Jeff Law
On 11/07/14 13:11, Thomas Preud'homme wrote: From: Jakub Jelinek [mailto:ja...@redhat.com] Sent: Friday, November 07, 2014 8:01 PM Why restrict this to 8 bit rotate of a 16 bit value? Shouldn't it apply to a 16 bit rotate of a 32 bit value, or 32 bit rotate of 64 bit value? That isn't a bytes

Re: [PARCH 1/2, x86, PR63534] Fix darwin bootstrap

2014-11-07 Thread Jeff Law
On 11/05/14 05:59, Evgeny Stupachenko wrote: On Tue, Nov 4, 2014 at 1:40 AM, Jeff Law wrote: On 11/01/14 06:39, Evgeny Stupachenko wrote: When PIC register is pseudo there is nothing special about it's value that setjmp can hurt. So if the pseudo register lives across setjmp_receiver RA shoul

RE: [PATCH] Fix bswap regression: expand 8bit rotations of 16bit values into bswaphi patterns

2014-11-07 Thread Thomas Preud'homme
> From: Jakub Jelinek [mailto:ja...@redhat.com] > Sent: Friday, November 07, 2014 8:01 PM > > Why restrict this to 8 bit rotate of a 16 bit value? Shouldn't it apply to > > a 16 bit rotate of a 32 bit value, or 32 bit rotate of 64 bit value? > > That isn't a byteswap, but halfword swap or wordswa

Re: [PARCH 1/2, x86, PR63534] Fix darwin bootstrap

2014-11-07 Thread Jeff Law
On 11/05/14 04:54, Eric Botcazou wrote: Now if your argument is that IRA/LRA handle this, that's fine, a pointer to that code would be appreciated so that it can be quickly audited. Certainly the old local-alloc/global-alloc had magic for setjmp/longjmp and maybe IRA/LRA does too, but it's better

Re: [patch sdbout]: Fix ICE on -debug testsuite test const2.C for coff

2014-11-07 Thread Jeff Law
On 11/06/14 12:37, Kai Tietz wrote: Hi, This fixes recent fallout of debug-tests on Windows target for sdbout (coff) caused by an ICE. ChangeLog 2014-11-06 Kai Tietz * sdbout.c (sdbout_symbol): Eliminate register only if decl isn't a global variable. Is there a testcase in the su

Re: [PATCH] Fix bswap regression: expand 8bit rotations of 16bit values into bswaphi patterns

2014-11-07 Thread Jakub Jelinek
On Fri, Nov 07, 2014 at 12:54:44PM -0700, Jeff Law wrote: > On 11/07/14 08:58, Thomas Preud'homme wrote: > >Trunk revision 216971 introduced LROTATE_EXPR as the canonical > >representation for a byte swap of a 2 bytes value, as per [1]. However, > >backend expects bswaphi patterns for such operat

Re: [PATCH] Fix bswap regression: expand 8bit rotations of 16bit values into bswaphi patterns

2014-11-07 Thread Jeff Law
On 11/07/14 08:58, Thomas Preud'homme wrote: Trunk revision 216971 introduced LROTATE_EXPR as the canonical representation for a byte swap of a 2 bytes value, as per [1]. However, backend expects bswaphi patterns for such operation as these operation are more specific than a rotation. This led

Re: [PATCH] AIX: Filename-based shared library versioning for libgcc_s

2014-11-07 Thread David Edelsohn
First, please explicitly copy me on AIX or PowerPC patches sent to gcc-patches. I don't have a fundamental objection to including this option, but note that Richi, Honza and I have discovered that using AIX runtime linking option interacts badly with some GCC optimizations and can result in applic

Re: [PATCH 10/27] New file: gcc/jit/libgccjit.c

2014-11-07 Thread Jeff Law
On 11/05/14 12:34, David Malcolm wrote: I've added comments throughout the file. I didn't bother adding __attribute__((cold)), instead simply dropping that "TODO". Fine. Attached is the current state of the file gcc/jit/libgccjit.c (on the branch) for review. OK for trunk? (conditional on

Re: [PR c/52952] More precise locations within format strings

2014-11-07 Thread Manuel López-Ibáñez
On 7 November 2014 18:57, Joseph Myers wrote: > On Fri, 7 Nov 2014, Manuel López-Ibáñez wrote: > >> This patch allows format warnings to point within the format string >> for simple strings. There are a few limitations: >> >> * It does not handle 'const char *' because the location of the >> initi

[patch] Fix handling of inlining and nested functions in dwarf2out.c

2014-11-07 Thread Eric Botcazou
Hi, the mix of inlining and nested functions is an interesting challenge on the debug info side because it generates cycles in the debug info: if a child calls its parent and the parent is inlined but not the child, you have the (non-abstract) instance of the child nested in the abstract instan

Re: [PR c/52952] More precise locations within format strings

2014-11-07 Thread Joseph Myers
On Fri, 7 Nov 2014, Manuel López-Ibáñez wrote: > This patch allows format warnings to point within the format string > for simple strings. There are a few limitations: > > * It does not handle 'const char *' because the location of the > initializer is not available. The result is the same before

[PR c/52952] More precise locations within format strings

2014-11-07 Thread Manuel López-Ibáñez
This patch allows format warnings to point within the format string for simple strings. There are a few limitations: * It does not handle 'const char *' because the location of the initializer is not available. The result is the same before and after this patch. * It does not handle non-concatena

[PATCH][Revisedx2] Fix PR63750

2014-11-07 Thread Jack Howarth
The attached revised patch eliminates the compilation error... error: use of undeclared identifier 'do_not_use_toupper_with_safe_ctype' on x86_64-apple-darwin14 when bootstrapping using the Clang 6.0 compiler by moving the include for earlier. Okay for gcc trunk?

[PATCH]Revised] fix PR63699

2014-11-07 Thread Jack Howarth
The attached patch eliminates the compilation error... error: use of undeclared identifier 'do_not_use_toupper_with_safe_ctype' on x86_64-apple-darwin14 when bootstrapping using the Clang 6.0 compiler by moving the include of earlier. Okay for gcc trunk?

Trivial testsuite fix

2014-11-07 Thread Jeff Law
I added a C++ test with a .c extension. Oops. Corrected in the obvious way :-) Committed to the trunk. * g++.dg/pr61289-2.C: Renamed from pr61289-2.c. diff --git a/gcc/testsuite/g++.dg/pr61289-2.C b/gcc/testsuite/g++.dg/pr61289-2.C new file mode 100644 index 000..4cc3ebe

RE: [PATCH, C++] Fix PR63366: __complex not equivalent to __complex double in C++

2014-11-07 Thread Thomas Preud'homme
Hi Jason, thanks for commiting this change. Note that the following ChangeLog entry is missing. If you want me to commit it let me know. > *** testsuite/ChangeLog *** > > 2014-11-03 Thomas Preud'homme > > PR C++/63366 > * g++.dg/torture/pr63366.C: New test. > Best regards,

Re: [PATCH/AARCH64] Move the rest of the cost tables to aarch64-cost-tables.h

2014-11-07 Thread Andrew Pinski
On Fri, Nov 7, 2014 at 7:08 AM, Richard Earnshaw wrote: > On 21/10/14 22:37, Andrew Pinski wrote: >> Hi, >> To make aarch64.c a little smaller and a little easier to >> understand, I have moved the rest of the cost tables >> (cpu_addrcost_table, cpu_regmove_cost, cpu_vector_cost) to >> aarch64-c

[committed, testcase] cleanup gnu11 for gcc.target/arm/lp1243022.c

2014-11-07 Thread Jiong Wang
one more gnu11 fix for gcc.target/arm/lp1243022.c (this test only run on arm-none-eabi/-mthumb, just noticed when I go through bare metal test) committed as obvious, 217230. gcc/testsuite/ * gcc.target/arm/lp1243022.c (xhci_test_trb_in_td): Add return type. (xhci_check_trb_in_td_math): Like

Re: [gofrontend-dev] [PATCH 4/4] Gccgo port to s390[x] -- part II

2014-11-07 Thread Ian Taylor
On Fri, Nov 7, 2014 at 12:51 AM, Dominik Vogt wrote: > On Thu, Nov 06, 2014 at 09:06:18AM -0800, Ian Taylor wrote: >> On Thu, Nov 6, 2014 at 4:04 AM, Dominik Vogt wrote: >> > On Tue, Nov 04, 2014 at 08:16:51PM -0800, Ian Taylor wrote: >> >> The way to do it is not by >> >> copying the test. If t

Re: [PATCH, C++] Fix PR63366: __complex not equivalent to __complex double in C++

2014-11-07 Thread Jason Merrill
Applied, thanks. Jason

[committed, testcase] add aarch64 to target list to avoid XPASS

2014-11-07 Thread Jiong Wang
add aarch64 to the target list in gcc.dg/tree-ssa/20040204-1.c after this fix the XPASS (unexpected pass) gone away on aarch64. committed as obvious, 217228. gcc/testsuite/ * gcc.dg/tree-ssa/20040204-1.c: Add aarch64*-*-* to the target list. diff --git a/gcc/testsuite/gcc.dg/tree-ssa/20040204

Re: [gomp4] Fix libgomp-oacc.c/lib-66.c testcase

2014-11-07 Thread Thomas Schwinge
Hi Tom! On Fri, 7 Nov 2014 14:59:45 +0100, Tom de Vries wrote: > On 04-11-14 23:46, Tom de Vries wrote: > > This patch fixes the libgomp-oacc.c/lib-66.c testcase. > > > > It allows the test to run for non-shared mem accelerators, and skips the > > test > > otherwise. > 2014-11-03 Tom de Vries

Re: [gofrontend-dev] Re: [PATCH 00/13] Go closures, libffi, and the static chain

2014-11-07 Thread Ian Taylor
On Thu, Nov 6, 2014 at 11:38 PM, Richard Henderson wrote: > On 11/06/2014 06:45 PM, Ian Taylor wrote: >> On Thu, Nov 6, 2014 at 5:04 AM, Richard Henderson wrote: >>> >>> That said, this *may* not actually be a problem. It's not the direct >>> (possibly >>> lazy bound) call into libffi that need

[PATCH] Fix bswap regression: expand 8bit rotations of 16bit values into bswaphi patterns

2014-11-07 Thread Thomas Preud'homme
Trunk revision 216971 introduced LROTATE_EXPR as the canonical representation for a byte swap of a 2 bytes value, as per [1]. However, backend expects bswaphi patterns for such operation as these operation are more specific than a rotation. This led to a number of testcases starting to fail such

Re: [PATCH x86] Increase PARAM_MAX_COMPLETELY_PEELED_INSNS when branch is costly

2014-11-07 Thread Evgeny Stupachenko
So are there any objections to enable this (PARAM_MAX_COMPLETELY_PEELED_INSNS increase from 100 to 120) for x86? On Fri, Oct 31, 2014 at 7:52 PM, Evgeny Stupachenko wrote: > I've measured spec2000, spec2006 as well and EEMBC for Silvermont in addition. > 100->120 change gives gain for Silvermont,

Re: [PATCH, ifcvt] Allow CC mode if HAVE_cbranchcc4 (fix s390 build)

2014-11-07 Thread Ulrich Weigand
Richard Henderson wrote: > On 11/06/2014 05:10 PM, Ulrich Weigand wrote: > >>> + /* For s390, CC REG is general_operand. But cstorecc4 > >>> only > >>> + handles CCZ1, which can not handle others like CCU. > >>> */ > >>> + || GET_MODE_CLASS (GET_MODE (XEXP (c

[gimple-classes, committed 4/6] tree-ssa-tail-merge.c: Use gassign

2014-11-07 Thread David Malcolm
gcc/ChangeLog.gimple-classes: * tree-ssa-tail-merge.c (same_succ_hash): Add checked cast. (gimple_equal_p): Add checked casts. --- gcc/ChangeLog.gimple-classes | 5 + gcc/tree-ssa-tail-merge.c| 8 +--- 2 files changed, 10 insertions(+), 3 deletions(-) diff --git a/gcc/

[gimple-classes, committed 6/6] tree-ssa-threadedge.c: Use gassign

2014-11-07 Thread David Malcolm
gcc/ChangeLog.gimple-classes: * tree-ssa-threadedge.c (lhs_of_dominating_assert): Capture result of gimple_assign_single_p as new local gassign * "use_assign", using it in place of "use_stmt" for typesafety. (fold_assignment_stmt): Strengthen param "stmt" from gimple

[gimple-classes, committed 5/6] tree-ssa-ter.c: Use gassign

2014-11-07 Thread David Malcolm
gcc/ChangeLog.gimple-classes: * tree-ssa-ter.c (find_replaceable_in_bb): Replace is_gimple_assign with a dyn_cast, introducing local "def_assign" and using it in place of "def_stmt" for typesafety. Add a checked cast. --- gcc/ChangeLog.gimple-classes | 7 +++

[gimple-classes, committed 2/6] tree-ssa-strlen.c: Use gassign

2014-11-07 Thread David Malcolm
gcc/ChangeLog.gimple-classes: * tree-ssa-strlen.c (find_equal_ptrs): Replace is_gimple_assign with a dyn_cast, strengthening local "stmt" from gimple to gassign *. (adjust_last_stmt): Likewise, introducing local "last_assign" and using it in place of last.stm

[gimple-classes, committed 1/6] tree-ssa-sink.c: Use gassign

2014-11-07 Thread David Malcolm
gcc/ChangeLog.gimple-classes: * tree-ssa-sink.c (statement_sink_location): Rename param "stmt" to "gs", reintroducing "stmt" as a local gassign * via a dyn_cast for typesafety. --- gcc/ChangeLog.gimple-classes | 6 ++ gcc/tree-ssa-sink.c | 9 + 2 files

[gimple-classes, committed 3/6] tree-ssa-structalias.c: Use gassign

2014-11-07 Thread David Malcolm
gcc/ChangeLog.gimple-classes: * tree-ssa-structalias.c (find_func_aliases): Replace is_gimple_assign with a dyn_cast, introducing local gassign * "t_assign", using it in place of "t" for typesafety. (find_func_clobbers): Add checked cast. --- gcc/ChangeLog.gimple-cl

[gimple-classes, committed 0/6] Use gassign in 6 tree-ssa-* files

2014-11-07 Thread David Malcolm
I've pushed the following 6 patches to the git branch "dmalcolm/gimple-classes". This is part of ongoing work on the branch to make all gimple_assign_* accessors take a gassign *, rather than a gimple. Successfully bootstrapped®rtested the combination of the 6 patches upon the branch on x86_64-un

Re: [PATCH 5/8] Enable max_issue for AArch32 and AArch64

2014-11-07 Thread Richard Earnshaw
On 21/10/14 04:31, Maxim Kuvyrkov wrote: > Hi Ramana, > Hi Marcus, > > This patch enables max_issue multipass lookahead scheduling for 2nd scheduler > pass (or, more pedantically, whenever register-pressure scheduling is not in > use). > > Multipass lookahead scheduling is being enabled for cor

Re: [PATCH/AARCH64] Move the rest of the cost tables to aarch64-cost-tables.h

2014-11-07 Thread Richard Earnshaw
On 21/10/14 22:37, Andrew Pinski wrote: > Hi, > To make aarch64.c a little smaller and a little easier to > understand, I have moved the rest of the cost tables > (cpu_addrcost_table, cpu_regmove_cost, cpu_vector_cost) to > aarch64-cost-tables. > I also fixed up the inconstancy in the use of __ex

Re: [ARM] Fix DWARF unwinding breakage

2014-11-07 Thread Richard Earnshaw
On 17/10/14 09:21, Eric Botcazou wrote: > Hi, > > some OSes, for example VxWorks 6, still use DWARF unwinding on the ARM, which > means that they use __builtin_eh_return (EABI unwinding doesn't). The > builtin > is implemented by means of {arm|thumb}_set_return_address, which can generate > a

Re: [PATCH] AArch64: Add TARGET_SCHED_REASSOCIATION_WIDTH

2014-11-07 Thread Richard Earnshaw
On 29/10/14 12:55, Wilco Dijkstra wrote: > This patch adds the TARGET_SCHED_REASSOCIATION_WIDTH hook. Separate settings > for integer, floating > point and vector modes are supported via the CPU tuning parameters. Setting > the FP reassociation > width to 4 improves FP performance on SPEC2000 by

Re: [PATCH 2/n] OpenMP 4.0 offloading infrastructure: LTO streaming

2014-11-07 Thread Kirill Yukhin
Hello Richard, On 05 Nov 13:50, Jakub Jelinek wrote: > On Wed, Nov 05, 2014 at 03:46:55PM +0300, Ilya Verbin wrote: > > + > >node->register_symbol (); > > LGTM. Are you ok with the patch? > > Jakub -- Thanks, K

Re: [Patch AArch64] Fix PR 63724 - Improve immediate generation

2014-11-07 Thread Ramana Radhakrishnan
On 07/11/14 13:36, Richard Henderson wrote: On 11/07/2014 01:02 PM, Ramana Radhakrishnan wrote: + *cost = COSTS_N_INSNS (aarch64_internal_mov_immediate +(gen_rtx_REG (mode, 0), x, false)); } Can't you pass NULL for the register when generate is

Re: [PATCH,1/2] Extended if-conversion for loops marked with pragma omp simd.

2014-11-07 Thread Yuri Rumyantsev
Richard, Did you have a chance to look at it? Thanks. Yuri. 2014-10-24 14:21 GMT+04:00 Yuri Rumyantsev : > Richard, > > Patch containing new core related to extended predication is attached. > Here is few comments which explain a main goal of design. > > 1. I don't want to insert any critical ed

[Ada] Lower severity of the program's return value in some common cases

2014-11-07 Thread Arnaud Charlet
In some common use cases, gnatls used to return E_Fatal error code, which was unfriendly for analysis. It has been changed as follows: "gnatls -v" and default runtime exists, or "gnatls -v --RTS=" - now returns E_Success "gnatls -v" and no default runtime exists - now returns E_Warnings "gnatls

[Ada] Use of Ghost actuals in Ghost subprogram calls

2014-11-07 Thread Arnaud Charlet
This patch adds a check to ensure that the actual parameter of a Ghost subprogram call whose formal is of mode IN OUT or OUT is Ghost. -- Source -- -- ghost_procs.ads package Ghost_Procs is procedure In_Proc (Formal :Integer) with Ghost; procedure In_

Re: [gomp4] Fix libgomp-oacc.c/lib-66.c testcase

2014-11-07 Thread Tom de Vries
On 04-11-14 23:46, Tom de Vries wrote: Thomas, This patch fixes the libgomp-oacc.c/lib-66.c testcase. It allows the test to run for non-shared mem accelerators, and skips the test otherwise. Fixed path in log message (testsuite/libgomp.oacc-c/lib-66.c -> testsuite/libgomp.oacc-c-c++-common/

[Ada] Reject illegal null procedure

2014-11-07 Thread Arnaud Charlet
In Ada 2012 a null procedure can be a completion, but it cannot be the completion of a previous null procedure with the same profile Compiling p.adb must yield: p.adb:7:04: duplicate body for "Q" declared at p.ads:6 p.adb:12:04: duplicate body for "Q1" declared at p.ads:7 --- package P is

[Ada] Rejecting properly illegal iterator

2014-11-07 Thread Arnaud Charlet
This patch removes an infinite loop in the compiler, when an Ada 2012 iterator is attempted over an object without proper iterable aspects, and the code is compiled in SPARK mode. Compiling iter.adb must yield: iter.adb:12:21: cannot iterate over "R" iter.adb:12:21: to iterate directly over the e

[Ada] Ghost legality rules and SPARK_Mode

2014-11-07 Thread Arnaud Charlet
This patch decouples the semantic and legality rules of Ghost entities from the presence of aspect/pragma SPARK_Mode. This way non-SPARK code can utilize Ghost annotations. -- Source -- -- ghost_decl.ads package Ghost_Decl is X : Integer := 0 with Ghost; Y : Inte

Re: [PATCH] FreeBSD arm support, EABI.

2014-11-07 Thread Richard Earnshaw
On 02/11/14 22:11, Andreas Tobler wrote: > Hello all, > > this is a patch which brings support for arm*-*-freebsd* to trunk. > The architectures supported are arm-*-*freebsd*, armv6-*-freebsd* and > armv6hf-*-freebsd*. > armv6 stands for ARM_ARCH == 6, arm stands for ARM_ARCH < 6. > > There is k

[Ada] Fixed-point multiplication in with no floating point

2014-11-07 Thread Arnaud Charlet
In the general case, a multiplication of two fixed-point values that yield an integer type requires the use of floating point operations. When the types of the operands are identical it is possible to avoid their use by introducing a temporary of the same type, and performing a conversion to intege

Re: [PATCH] PR 63721 IPA ICF cause atomic-comp-swap-release-acquire.c ICE

2014-11-07 Thread Jiong Wang
On 07/11/14 12:53, Martin Liška wrote: On 11/07/2014 10:52 AM, Jan Hubicka wrote: On 11/05/14 07:09, Jiong Wang wrote: the same ICE will happen on x86-64, if compile with -O2 -fPIC. the reason is for the following two functions, they are identical, so IPA-ICF pass try to transform the second

Re: [Patch AArch64] Fix PR 63724 - Improve immediate generation

2014-11-07 Thread Richard Henderson
On 11/07/2014 01:02 PM, Ramana Radhakrishnan wrote: > + *cost = COSTS_N_INSNS (aarch64_internal_mov_immediate > + (gen_rtx_REG (mode, 0), x, false)); > } Can't you pass NULL for the register when generate is false? r~

Re: [PATCH] RTEMS: select SPARC multilibs

2014-11-07 Thread Daniel Hellstrom
Hi, Thanks for review and testing! Then I will apply it. Thanks for bringing up the sparc-elf. I think we would want the LEON3 in the t-elf, however I have to verify the LEON newlib C state and mflat etc. before activating that. DanielH On 11/07/2014 01:25 PM, Joel Sherrill wrote: On Novem

Re: [patch] Provide a can_compare_and_swap_p target hook.

2014-11-07 Thread Andrew MacLeod
On 11/07/2014 04:31 AM, Andrew Haley wrote: On 06/11/14 19:05, Andrew MacLeod wrote: 1) Given that the compiler *always* provides support via libatomic now (even if it is via locks), does that mean that VMSupportsCS8_builtin() should always return true? or should we map to that a call to __ato

Re: [PATCH] PR 63721 IPA ICF cause atomic-comp-swap-release-acquire.c ICE

2014-11-07 Thread Jan Hubicka
> >> jeff > > Hello. > > I think the bug is a duplicate of PR63580 and there's working patch that can > bootstrap on x86_64-linux and no regression has been seen. > > Ready for trunk? > Thanks, > Martin > gcc/ChangeLog: > > 2014-11-07 Martin Liska > > * cgraphunit.c (cgraph_node::cr

Re: [gomp4] Set default LIBGOMP_PLUGIN_PATH

2014-11-07 Thread Tom de Vries
On 04-11-14 23:34, Tom de Vries wrote: Thomas, this patch sets LIBGOMP_PLUGIN_PATH to the .libs dir in the build area, if LIBGOMP_PLUGIN_PATH has not been defined. This allows f.i. a gcc build without an accelerator configured, to automatically pick up the host_nonshm plugin. Updated for rec

Re: [ping] libatomic: Fix sub-word CAS synthesis on LP64 targets

2014-11-07 Thread Richard Henderson
On 11/06/2014 09:24 PM, Andrew Waterman wrote: > 2014-10-23 Andrew Waterman > > * cas_n.c (libat_compare_exchange): Add missing cast. Ok. r~

Re: [AArch64, Docs, Patch] Add reference to ACLE in docs.

2014-11-07 Thread Richard Earnshaw
On 04/11/14 13:17, Tejas Belagod wrote: > On 03/11/14 17:58, Joseph Myers wrote: >> On Mon, 3 Nov 2014, Tejas Belagod wrote: >> >>> If I mention in a couple of sentences the level of ACLE support there is in >>> GCC currently, this section will need to be updated every time there is an >>> improvem

[PATCH] AIX: Filename-based shared library versioning for libgcc_s

2014-11-07 Thread Michael Haubenwallner
Hi David (et al)! The upcoming initial release of gcc-5 feels like a good opportunity for the AIX port of gcc to introduce optional support for the important Linux-known feature I'd call "filename-based shared library versioning", aka. SONAME. We have had some discussion in https://gcc.gnu.org/PR

Re: [PATCH, testsuite, ARM] Check lr other than r3

2014-11-07 Thread Richard Earnshaw
On 03/11/14 08:18, Zhenqiang Chen wrote: > Hi, > > pr45701-1.c FAIL for all tests. The patch updates it to check lr other than > r3, based on the comments in arm_compute_save_reg_mask, > > /* ... > Otherwise if we do not use the link register we do not need to save > it. If we are pu

Re: [PATCH] PR 63721 IPA ICF cause atomic-comp-swap-release-acquire.c ICE

2014-11-07 Thread Martin Liška
On 11/07/2014 10:52 AM, Jan Hubicka wrote: >> On 11/05/14 07:09, Jiong Wang wrote: >>> the same ICE will happen on x86-64, if compile with -O2 -fPIC. >>> >>> the reason is for the following two functions, they are identical, so >>> IPA-ICF >>> pass try to transform the second function to call the f

Re: [PATCH][RFC] Report pass we are ICEing in

2014-11-07 Thread Joseph Myers
On Fri, 7 Nov 2014, Richard Biener wrote: > + if (current_pass && current_pass->name) > +inform (UNKNOWN_LOCATION, "executing pass `%s'", current_pass->name); %qs of course. -- Joseph S. Myers jos...@codesourcery.com

Re: [Patch] Fix PR61889 for the w64-mingw32 case

2014-11-07 Thread Rainer Emrich
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Honza, Jan, sorry for my late reply. I'm under heavy workload at the moment. Am 19.10.2014 12:02, schrieb Jan Hubicka: >> Honza, not sure if this patch is idea, but this will unblock mingw build >> problems. Can this one get in? It's important to have

[PATCH] Fix PR63605

2014-11-07 Thread Richard Biener
The following fixes a bogus folding when applied to vectors. Bootstrap and regtest pending on x86_64-unknown-linux-gnu. Richard. 2014-11-07 Richard Biener PR tree-optimization/63605 * fold-const.c (fold_binary_loc): Properly use element_precision for types that may n

Re: [PATCH] RTEMS: select SPARC multilibs

2014-11-07 Thread Joel Sherrill
On November 7, 2014 2:40:43 AM CST, Eric Botcazou wrote: >> I think this would be good for 4.8, 4.9 and trunk. >> >> 2014-11-06 Daniel Hellstrom >> >> * config.gcc (sparc-*-rtems*): Clean away unused t-elf >> * config/sparc/t-rtems: Add leon3v7 and muser-mode multilibs > >OK every

Re: [AArch64] RFA: Use new rtl iterators in arm_cannot_copy_insn

2014-11-07 Thread Richard Earnshaw
On 05/11/14 11:53, Richard Sandiford wrote: > This is part of a series to remove uses of for_each_rtx from the ports. > > Tested by making sure there were no code changes for gcc.dg, gcc.c-torture > and g++.dg for aarch64-linux-gnu. OK to install? > > Thanks, > Richard > > > gcc/ > * con

Re: [ARM] RFA: Use new rtl iterators in arm_cannot_copy_insn

2014-11-07 Thread Richard Earnshaw
On 05/11/14 11:52, Richard Sandiford wrote: > Tested in the same way as the aarch-common.c patch. OK to install? > > Thanks, > Richard > > > gcc/ > * config/arm/arm.c (arm_note_pic_base): Delete. > (arm_cannot_copy_insn_p): Use FOR_EACH_SUBRTX. > OK. R. > Index: gcc/config/arm/a

Re: [ARM] RFA: Use new rtl iterators in arm_tls_referenced_p

2014-11-07 Thread Richard Earnshaw
On 05/11/14 11:51, Richard Sandiford wrote: > Tested in the same way as the aarch-common.c patch. OK to install? > > Thanks, > Richard > > > gcc/ > * config/arm/arm.c: Include rtl-iter.h. > (arm_tls_referenced_p_1): Delete. > (arm_tls_referenced_p): Use FOR_EACH_SUBRTX. > OK

Re: [ARM] RFA: Use new rtl iterators in arm_find_sub_rtx_with_code

2014-11-07 Thread Richard Earnshaw
On 05/11/14 11:49, Richard Sandiford wrote: > I think these functions only want to iterate over instruction patterns > rather than whole instructions (which would include things like > REG_EQUAL notes), since only the patterns are relevant for finding > dependencies. There's then no need to check

[Patch AArch64] Fix PR 63724 - Improve immediate generation

2014-11-07 Thread Ramana Radhakrishnan
Hi, This patch fixes up immediate generation for the AArch64 backend allowing for the RTL optimizers like CSE and loop hoisting to work more effectively with immediates. I also took the oppurtunity to rework this to also be used in the costs calculations. This patch only deals with numerical const

[PATCH] Fix for ipa/63747

2014-11-07 Thread Martin Liška
Hello. Following patch introduces LOW/HIGH checking in IPA ICF. Patch can bootstrap on x86_64-linux and regression has been introduced. The patch was pre-approved by Honza. Thanks, Martin gcc/testsuite/ChangeLog: 2014-11-07 Martin Liska PR ipa/63747 * gcc.dg/ipa/pr63747.c: N

[PATCH][RFC] Report pass we are ICEing in

2014-11-07 Thread Richard Biener
The following patch is a lazy attempt at reporting current_pass when ICEing as for example the backtraces are not exactly helpful in locating the problem when the ICE occurs during the verification phase. Tested with a forced ICE which now looks like: t.c: In function ?fn1?:

[COMMITTED][PATCH] PR63676, exit tree fold when node be TREE_CLOBBER_P

2014-11-07 Thread Jiong Wang
On 07/11/14 10:57, Tejas Belagod wrote: On 07/11/14 10:35, Richard Biener wrote: On Fri, Nov 7, 2014 at 11:22 AM, Jiong Wang wrote: ok to trunk? Please instead guard the GIMPLE_SINGLE_RHS case in fold_gimple_assign instead, like Index: gcc/gimple-fold.c =

[wwwdocs] Remove cgi-bin/cvsweb.conf

2014-11-07 Thread Gerald Pfeifer
In September cvsweb was removed due to a security issue; this now also removes its config file. Gerald Index: cgi-bin/cvsweb.conf === RCS file: cgi-bin/cvsweb.conf diff -N cgi-bin/cvsweb.conf --- cgi-bin/cvsweb.conf 9 Jul 2014 14:53:

Re: [PATCH] PR63676, exit tree fold when node be TREE_CLOBBER_P

2014-11-07 Thread Tejas Belagod
On 07/11/14 10:35, Richard Biener wrote: On Fri, Nov 7, 2014 at 11:22 AM, Jiong Wang wrote: the problem is caused by constant fold of node with TREE_CLOBBER_P be true. according to rtl expander, the purpose of clobber is to mark the going out of scope. if (TREE_CLOBBER_P (rhs))

[PATCH] Fix PR63770

2014-11-07 Thread Richard Biener
The following fixes recursion between a pattern in fold-const.c and one formerly in tree-ssa-forwprop.c but now in match.pd (and thus also fold-const.c). There are two conflicting transforms and the measure against recursion I put in place doesn't help for the testcase (as the conversion is usele

Re: [PATCH] PR63676, exit tree fold when node be TREE_CLOBBER_P

2014-11-07 Thread Richard Biener
On Fri, Nov 7, 2014 at 11:22 AM, Jiong Wang wrote: > the problem is caused by constant fold of node with TREE_CLOBBER_P be true. > > according to rtl expander, the purpose of clobber is to mark the going out > of scope. > > if (TREE_CLOBBER_P (rhs)) > /* This is a clobber

Re: [arm][patch] fix arm_neon_ok check on !arm_arch7

2014-11-07 Thread Andrew Stubbs
if armv6 never co-exist with NEON, personally I think your original patch is better because TARGET_NEON generally will be used when all options are processed. any way, this needs gate keeper's approval. Ping, Richard. Andrew

[PATCH] Fix for ipa/63595

2014-11-07 Thread Martin Liška
Hello. Following patch fixes PR/63595, where IPA ICF creates a thunk that passes argument by reference. Patch can bootstrap x86_64-linux and there's no new regression introduced. Patch was preapproved by Honza. Thanks, Martin gcc/testsuite/ChangeLog: 2014-11-07 Martin Liska PR ip

[PATCH] PR63676, exit tree fold when node be TREE_CLOBBER_P

2014-11-07 Thread Jiong Wang
the problem is caused by constant fold of node with TREE_CLOBBER_P be true. according to rtl expander, the purpose of clobber is to mark the going out of scope. if (TREE_CLOBBER_P (rhs)) /* This is a clobber to mark the going out of scope for this LHS.

Re: [PATCH, libfortran] PR 47007, 61847 Locale failures in libgfortran

2014-11-07 Thread Janne Blomqvist
On Thu, Nov 6, 2014 at 12:38 PM, Janne Blomqvist wrote: > On Wed, Nov 5, 2014 at 12:48 PM, Janne Blomqvist > wrote: >> Hi, >> >> the attached patch fixes a few locale related failures in libgfortran, >> in the case where the POSIX 2008 extended locale functionality and >> extensions strto{f,d,ld}

Re: [PATCH 10/11][RS6000] Migrate reduction optabs to reduc_..._scal

2014-11-07 Thread Alan Lawrence
Ah I see now! Thank you for explaining that bit, I was a bit puzzled when I saw it, but it makes sense now! Cheers, Alan Bill Schmidt wrote: On Thu, 2014-11-06 at 16:44 +, Alan Lawrence wrote: Hmmm. I am a little surprised by your mention of "saturation points" as I would not expect any v

RE: [2/2][PATCH,ARM]Generate UAL assembly code for Thumb-1 target

2014-11-07 Thread Terry Guo
> -Original Message- > From: Christian Bruel [mailto:christian.br...@st.com] > Sent: Friday, November 07, 2014 5:27 PM > To: Terry Guo > Cc: gcc-patches@gcc.gnu.org > Subject: Re: [2/2][PATCH,ARM]Generate UAL assembly code for Thumb-1 > target > > hi, > > the ARM bootstrap seems to fail

  1   2   >