[PATCH, ARM][2 of 2] Enable shrink-wrap for ARM

2013-03-21 Thread Zhenqiang Chen
Hi, The patch is to enable shrink-wrap for TARGET_ARM and TARGET_THUMB2. Bootstrapped and no make check regression. All previous Linaro shrink-wrap bugs (http://goo.gl/6fGg5) are verified. Is it OK? Thanks! -Zhenqiang ChangeLog: 2013-03-21 Bernd Schmidt Zhenqiang Chen *

[c++-concepts] Merge from trunk

2013-03-21 Thread Gabriel Dos Reis
I've merged changes from trunk into the c++-concepts branch as of revision 196857. These include Jason's patch to stop randomness in linkage name of entities defined at unnamed namespace scopes. -- Gaby

Re: FW: [PATCH] [MIPS] microMIPS gcc support

2013-03-21 Thread Richard Sandiford
"Moore, Catherine" writes: > I'm sorry for wasting your time. I accidentally posted an older version > of the patch earlier this afternoon. > This is the version that I meant to post and is hopefully a lot closer > to what you are looking for. > I named some of the predicates/constraints differen

Re: [Patch, Fortran, 4.9] Minor FINAL preparation patch

2013-03-21 Thread Tobias Burnus
*ping * Tobias Burnus wrote: Dear all, this small patch fixes some small issues with the current FINAL implementation, which is still disabled. Namely: (a) class.c: TRANSFER has an optional size= argument; if one doesn't has an actual-argument (which can be expr == NULL), it segfaults. (b)

Re: [RTL, i386] Use subreg instead of UNSPEC_CAST

2013-03-21 Thread Richard Biener
On Wed, Mar 20, 2013 at 4:54 PM, Marc Glisse wrote: > On Wed, 20 Mar 2013, Richard Biener wrote: > >> On Wed, Mar 20, 2013 at 4:29 PM, Marc Glisse wrote: >>> >>> On Wed, 20 Mar 2013, Richard Henderson wrote: >>> On 03/20/2013 08:00 AM, Marc Glisse wrote: > > > Do you at least agr

[patch, AVR] Add new ATmega*RFR* devices

2013-03-21 Thread Joerg Wunsch
The attached patch adds the new ATmega*RFR* devices to AVR-GCC. If there are no objections, someone please commit it. -- Joerg Wunsch * Development engineer, Dresden, Germany Atmel Automotive GmbH, Theresienstrasse 2, D-74027 Heilbronn Geschaeftsfuehrung: Steven A. Laub, Stephen Cumming Amtsgeri

[PATCH, i386]: Fix PR56656, Suffix or operands invalid for 'movq'

2013-03-21 Thread Uros Bizjak
Hello! Attached patch detects assemblers that expects movd instead of movq for interunit moves and adds fixup code only in case of broken assembler. 2013-03-21 Uros Bizjak PR bootstrap/56656 * configure.ac (HAVE_AS_IX86_INTERUNIT_MOVQ): New test. * configure: Regenerat

Re: Record missing equivalence

2013-03-21 Thread Richard Biener
On Thu, Mar 21, 2013 at 5:43 AM, Jeff Law wrote: > > This was something I spotted while looking at why certain redundant > conditionals were not eliminated. In particular this affects the compiler's > ability to eliminate a variety of gimple checking tests. > > Consider an equality comparison > >

Re: [PATCH] Fix vectorizer fallout

2013-03-21 Thread Richard Biener
On Wed, 20 Mar 2013, David Edelsohn wrote: > The gfortran testsuite on PowerPC now produces a number of new ICEs > when vectorization is enabled: > > /tmp/20130320/gcc/testsuite/gfortran/../../gfortran > -B/tmp/20130320/gcc/testsuite/gfortran/../../ > -B/tmp/20130320/powerpc-ibm-aix7.1.0.0/./libg

[patch] [python libstdc++ printers] Fix gdb/15195

2013-03-21 Thread Phil Muldoon
This patch fixes a bug in the std::tuple printer where, if the value was passed by reference, the printer was not correctly dereferencing the value before printing. Cheers, Phil 2013-03-21 Phil Muldoon PR gdb/15195 * python/libstdcxx/v6/printers.py (StdTuplePrinter): Conve

Re: [PATCH] Fix vectorizer fallout

2013-03-21 Thread Richard Biener
On Thu, 21 Mar 2013, Richard Biener wrote: > On Wed, 20 Mar 2013, David Edelsohn wrote: > > > The gfortran testsuite on PowerPC now produces a number of new ICEs > > when vectorization is enabled: > > > > /tmp/20130320/gcc/testsuite/gfortran/../../gfortran > > -B/tmp/20130320/gcc/testsuite/gfort

Re: [PATCH] Rename DECL_DEBUG_EXPR_IS_FROM to DECL_HAS_DEBUG_EXPR_P

2013-03-21 Thread Richard Biener
On Wed, 20 Mar 2013, Richard Biener wrote: > On Wed, 20 Mar 2013, Jakub Jelinek wrote: > > > On Wed, Mar 20, 2013 at 01:57:40PM +0100, Richard Biener wrote: > > > As discussed previously on IRC this patch does the renaming from > > > the confusing DECL_DEBUG_EXPR_IS_FROM to DECL_HAS_DEBUG_EXPR_P

Re: [build] Default to DWARF 4 on Solaris if linker supports CIEv3

2013-03-21 Thread Rainer Orth
Rainer Orth writes: > As described in > > Don't use DWARF 4 on Solaris > http://gcc.gnu.org/ml/gcc-patches/2012-05/msg00445.html > > the Solaris linker couldn't handle CIEv3 in .eh_frame, so we defaulted > to DWARF 2 on Solaris in any configuration (Sun or GNU ld). This has > chang

Re: [PATCH, AArch64] Make MOVK output operand 2 in hex

2013-03-21 Thread Marcus Shawcroft
OK /Marcus On 20 March 2013 17:21, Ian Bolton wrote: > MOVK should not be generated with a negative immediate, which > the assembler rightfully rejects. > > This patch makes MOVK output its 2nd operand in hex instead. > > Tested on bare-metal and linux. > > OK for trunk? > > Cheers, > Ian > > > 2

[PATCH] Pushing out more LIM TLC patches

2013-03-21 Thread Richard Biener
Bootstrapped and tested on x86_64-unknown-linux-gnu, applied. Richard. 2013-03-21 Richard Biener * tree-ssa-loop-im.c (can_sm_ref_p): Do not test whether ref is stored in the loop. (find_refs_for_sm): Walk only over all stores. (store_motion_loop): Allocate fr

Re: [PATCH][1/n] Vectorizer TLC: re-organize data dependence checking

2013-03-21 Thread Richard Biener
On Mon, Mar 18, 2013 at 11:25 AM, Richard Biener wrote: > On Wed, Feb 27, 2013 at 4:49 PM, Richard Biener wrote: >> >> This splits data reference group analysis away from data dependence >> checking and splits the latter into loop and a BB vectorization >> functions. This allows us to perform th

Re: [PATCH] Improve debug info for various cases where we drop location info on the floor (PR debug/55608)

2013-03-21 Thread Jakub Jelinek
On Wed, Mar 20, 2013 at 11:21:57AM -0700, Cary Coutant wrote: > > + if (lookup_decl_die (decl)) > > +return rtl; > > + > > + len = TREE_STRING_LENGTH (t); > > + vec_safe_push (used_rtx_array, rtl); > > + ref = new_die (DW_TAG_dwarf_procedure, comp_unit_die (), decl); > > + array = (unsigne

[PATCH] Count -Werror promoted warnings separately (PR middle-end/48087)

2013-03-21 Thread Jakub Jelinek
Hi! This is a patch I had written two months ago, but concluded it to be too risky for 4.8 at that point. The issue this patch attempts to solve is that compiler behaves differently in some cases depending on if we've just warned about something or if -Werror has been in effect and that warning h

Re: [patch] cilkplus array notation for C (clean, independent patchset, take 1)

2013-03-21 Thread Aldy Hernandez
All these builtins need to be documented in doc/. DONE! +initialize builtin functions are stored in @file{array-notation-common.c}. In +the current array notation implementation there are 12 builtin reduction +operations. Details about these functions and their usage are available in +the

Re: Record missing equivalence

2013-03-21 Thread Jeff Law
On 03/21/2013 03:44 AM, Richard Biener wrote: + + if (defstmt + && is_gimple_assign (defstmt) + && CONVERT_EXPR_CODE_P (gimple_assign_rhs_code (defstmt))) + { + tree old_rhs = gimple_assign_rhs1 (defstmt); +

Re: [patch] cilkplus array notation for C (clean, independent patchset, take 1)

2013-03-21 Thread Aldy Hernandez
On 03/21/13 01:09, Jakub Jelinek wrote: On Wed, Mar 20, 2013 at 11:30:58PM -0600, Jeff Law wrote: On 03/20/2013 10:33 AM, Aldy Hernandez wrote: As I'd mentioned, you have .exp files named compile.exp and execute.exp which seem to be causing ambiguity problems in parallel checks (make check -jN)

RE: [patch] cilkplus array notation for C (clean, independent patchset, take 1)

2013-03-21 Thread Iyer, Balaji V
> > Balaji, please check the corresponding .sum files before and after your patch > to > make sure that the same number of tests are being tested. We have a nifty > script in contrib/compare_tests for this task. That's how I verify it. (I grep for the ^FAIL in trunk and the applied branch and

Re: [patch] cilkplus array notation for C (clean, independent patchset, take 1)

2013-03-21 Thread Aldy Hernandez
On 03/21/13 08:06, Iyer, Balaji V wrote: Balaji, please check the corresponding .sum files before and after your patch to make sure that the same number of tests are being tested. We have a nifty script in contrib/compare_tests for this task. That's how I verify it. (I grep for the ^FAIL in t

RE: [patch] cilkplus array notation for C (clean, independent patchset, take 1)

2013-03-21 Thread Iyer, Balaji V
> -Original Message- > From: Aldy Hernandez [mailto:al...@redhat.com] > Sent: Thursday, March 21, 2013 9:09 AM > To: Iyer, Balaji V > Cc: Jakub Jelinek; Jeff Law; Joseph S. Myers; gcc-patches > Subject: Re: [patch] cilkplus array notation for C (clean, independent > patchset, > take 1) >

[PATCH] Fix builtin tests for RTEMS targets

2013-03-21 Thread Sebastian Huber
This patch should be applied to GCC 4.8 and 4.9. Test results for powerpc-rtems4.11 and arm-rtems4.11: http://gcc.gnu.org/ml/gcc-testresults/2013-03/msg02184.html http://gcc.gnu.org/ml/gcc-testresults/2013-03/msg02185.html gcc/testsuite/ChangeLog 2013-03-21 Sebastian Huber PR testsui

Re: [PATCH] Fix builtin tests for RTEMS targets

2013-03-21 Thread Rainer Orth
Sebastian Huber writes: > diff --git a/gcc/testsuite/gcc.c-torture/execute/builtins/builtins.exp > b/gcc/testsuite/gcc.c-torture/execute/builtins/builtins.exp > index 45cfadd..1e3359c 100644 > --- a/gcc/testsuite/gcc.c-torture/execute/builtins/builtins.exp > +++ b/gcc/testsuite/gcc.c-torture/exe

[PATCH v2] Fix builtin tests for RTEMS targets

2013-03-21 Thread Sebastian Huber
This patch should be applied to GCC 4.8 and 4.9. Test results for powerpc-rtems4.11 and arm-rtems4.11: http://gcc.gnu.org/ml/gcc-testresults/2013-03/msg02184.html http://gcc.gnu.org/ml/gcc-testresults/2013-03/msg02185.html v2: Keep alphabetic order gcc/testsuite/ChangeLog 2013-03-21 Sebastian

[PATCH] Unify LIM unanalyzed mem-ref

2013-03-21 Thread Richard Biener
This unifies the mem-ref used to track "unanalyzed" mems and assigns it ID zero. This makes it tested first during dependence testing, acting as early out. Bootstrapped and tested on x86_64-unknown-linux-gnu, will apply soon. Richard. 2013-03-21 Richard Biener PR tree-optimization/

Re: [patch] [python libstdc++ printers] Fix gdb/15195

2013-03-21 Thread Tom Tromey
> "Phil" == Phil Muldoon writes: Phil> 2013-03-21 Phil Muldoon Phil> PR gdb/15195 I think this should use a full URL. Otherwise it is going to attach the commit to some random GCC bug. Phil> * python/libstdcxx/v6/printers.py (StdTuplePrinter): Convert Phil> referenced value to actu

Re: [patch] cilkplus array notation for C (clean, independent patchset, take 1)

2013-03-21 Thread Aldy Hernandez
I have found some little nits that I will point out in a reply to this message. Balaji, in Joseph's last review he mentioned: In find_rank you have error ("Rank Mismatch!"); - this is not a properly formatted error message according to the GNU Coding standards (which typically would not have

Re: [ARM] Turning off 64bits ops in Neon and gfortran/modulo-scheduling problem

2013-03-21 Thread Christophe Lyon
Here is what I have commited (svn 196876.): a few updates were necessary. Christophe. 2013-03-21 Christophe Lyon gcc/ * config/arm/arm-protos.h (tune_params): Add prefer_neon_for_64bits field. * config/arm/arm.c (prefer_neon_for_64bits): New variable. (

Re: [PATCH] Count -Werror promoted warnings separately (PR middle-end/48087)

2013-03-21 Thread Gabriel Dos Reis
Jakub Jelinek writes: | Hi! | | This is a patch I had written two months ago, but concluded it to be too | risky for 4.8 at that point. | | The issue this patch attempts to solve is that compiler behaves differently | in some cases depending on if we've just warned about something or if | -Werr

Re: [patch] cilkplus array notation for C (clean, independent patchset, take 1)

2013-03-21 Thread Joseph S. Myers
On Wed, 20 Mar 2013, Aldy Hernandez wrote: > Joseph, folks, et al... How does this look? This review largely deals with coding style (interpreted broadly). I'll review more of the substance separately later; reposting with fixes for all the accumulated issues is probably a good idea anyway, to

[PATCH] Rewrite mem-ref locs and iteration over it in LIM

2013-03-21 Thread Richard Biener
This combines two earlier patches to do the mem-ref-loc rewrite in one go. It makes the allocation less arcane and avoids copying all locations by providing an iterator interface from which we also can exit early. There is no measuable benefit for the testcase in PR39326, but this will make remo

[patch] Fix ICE during RTL expansion at -O1

2013-03-21 Thread Eric Botcazou
Hi, this fixes an ICE on the mainline at -O1: eric@polaris:~/gnat/bugs/M129-026> ~/install/gcc/bin/gcc -S p.adb -O +===GNAT BUG DETECTED==+ | 4.9.0 20130320 (experimental) [trunk revision 196816] (x86_64-suse-linux) GCC error:| | in expand_assi

[PATCH] Fix for mov_internal pattern

2013-03-21 Thread Michael Zolotukhin
Hi, I've found a little bit strange code in "mov_internal" RTL-pattern from config/i386/sse.md: case MODE_V2DF: if (TARGET_AVX && (misaligned_operand (operands[0], mode) || misaligned_operand (operands[1], mode))) return "vmovupd\t{%1, %0|%0

Re: [patch] cilkplus array notation for C (clean, independent patchset, take 1)

2013-03-21 Thread Joseph S. Myers
Continuing the review for coding style... > diff --git a/gcc/c/c-parser.c b/gcc/c/c-parser.c > +extern bool contains_array_notation_expr (tree); > +extern struct c_expr fix_array_notation_expr (location_t, enum tree_code, > + struct c_expr); > +extern tre

Re: [patch] cilkplus array notation for C (clean, independent patchset, take 1)

2013-03-21 Thread Mike Stump
On Mar 20, 2013, at 11:09 PM, Jakub Jelinek wrote: > On Wed, Mar 20, 2013 at 11:30:58PM -0600, Jeff Law wrote: >> On 03/20/2013 10:33 AM, Aldy Hernandez wrote: >>> As I'd mentioned, you have .exp files named compile.exp and execute.exp >>> which seem to be causing ambiguity problems in parallel ch

Re: [PATCH] Improve debug info for various cases where we drop location info on the floor (PR debug/55608)

2013-03-21 Thread Cary Coutant
On Thu, Mar 21, 2013 at 5:47 AM, Jakub Jelinek wrote: > Bootstrapped/regtested on x86_64-linux and i686-linux again, tested also on > the testcase from the PR (gdb apparently still hasn't been fixed so its > issues are still there, but the output looks good from gcc and at least > about half of th

Re: [PATCH] Fix for mov_internal pattern

2013-03-21 Thread H.J. Lu
On Thu, Mar 21, 2013 at 9:36 AM, Michael Zolotukhin wrote: > Hi, > I've found a little bit strange code in "mov_internal" > RTL-pattern from config/i386/sse.md: > case MODE_V2DF: > if (TARGET_AVX > && (misaligned_operand (operands[0], mode) > || misal

[Patch, Fortran] PR35203 - Fix VALUE + OPTIONAL handling for pass-by-value arguments

2013-03-21 Thread Tobias Burnus
Dear all, using VALUE, gfortran passes the arguments by value.* That works well, except if VALUE is combined with OPTIONAL. Currently, "call foo(0)" and "call foo()" are indistinguishable. With this patch, a hidden argument is added which includes the present information. I think that's the

[PATCH][ARM] minmax_arithsi for non-canonical operand order with MINUS operator

2013-03-21 Thread Kyrylo Tkachov
Hi all, This patch adds a splitter variant of the minmax_arithsi pattern for when the operator is non-commutative (MINUS) and the ordering of the operands is not canonical. That is, it will trigger for: #define MAX(a, b) (a > b ? a : b) int foo (int a, int b, int c) { return c - MAX (a,b); } a

RE: [patch] cilkplus array notation for C (clean, independent patchset, take 1)

2013-03-21 Thread Iyer, Balaji V
Please see my response below: > -Original Message- > From: Aldy Hernandez [mailto:al...@redhat.com] > Sent: Thursday, March 21, 2013 10:25 AM > To: Joseph S. Myers > Cc: Iyer, Balaji V; gcc-patches > Subject: Re: [patch] cilkplus array notation for C (clean, independent > patchset, > take

[PATCH, i386]: Small adjustment of *movdi_internal pattern

2013-03-21 Thread Uros Bizjak
Hello! 2013-03-21 Uros Bizjak * config/i386/i386.md (*movdi_internal): Disparage slightly all MMX moves to/from memory. Use Yi instead of x for SSE-MMX conversion alternatives. Tested on x86_64-pc-linux-gnu, committed to mainline. Uros. Index: i386.md ===

[PATCH] dwarf2out.c (size_of_aranges): Skip DECL_IGNORED_P functions.

2013-03-21 Thread Mark Wielaard
Hi, The following change 2012-05-03 Jason Merrill * config/i386/i386.c (ix86_code_end): Set DECL_IGNORED_P on the pc thunk. * dwarf2out.c (output_aranges): Skip DECL_IGNORED_P functions. (dwarf2out_finish): Likewise. caused the length field of a debug aranges ta

Re: [PATCH] dwarf2out.c (size_of_aranges): Skip DECL_IGNORED_P functions.

2013-03-21 Thread Jakub Jelinek
On Thu, Mar 21, 2013 at 09:23:34PM +0100, Mark Wielaard wrote: > The following change > > 2012-05-03 Jason Merrill > >* config/i386/i386.c (ix86_code_end): Set DECL_IGNORED_P on the >pc thunk. >* dwarf2out.c (output_aranges): Skip DECL_IGNORED_P functions. >(d

Re: [Patch, fortran, 4.9] Use bool type instead gfc_try

2013-03-21 Thread Janne Blomqvist
On Thu, Mar 21, 2013 at 12:02 AM, Janne Blomqvist wrote: > Thanks for the prompt review! > > On Tue, Mar 19, 2013 at 7:30 PM, Tobias Burnus wrote: >> Am 19.03.2013 13:15, schrieb Janne Blomqvist: >> >>> now that the Fortran frontend is C++ we can use the primitive bool >>> type instead of inventi

Re: [Patch, fortran, 4.9] Use bool type instead gfc_try

2013-03-21 Thread N.M. Maclaren
On Mar 19 2013, Tobias Burnus wrote: Am 19.03.2013 13:15, schrieb Janne Blomqvist: now that the Fortran frontend is C++ we can use the primitive bool type instead of inventing our own. Well, C99's "bool" (_Bool) was already used before. ... Er, that is making a serious mistake or, at least,

[Patch, libfortran] PR 52512 - Cannot match namelist object name

2013-03-21 Thread Tilo Schwarz
Hi, this patch fixes PR 52512. Built and regtested on Linux 3.2.0-4-686-pae. Regards, Tilo2013-03-15 Tilo Schwarz PR libfortran/52512 * io/list_read.c (nml_parse_qualifier): To check for a derived type don't use the namelist head element type but the current element type. (nml_

RE: FW: [PATCH] [MIPS] microMIPS gcc support

2013-03-21 Thread Moore, Catherine
> -Original Message- > From: Richard Sandiford [mailto:rdsandif...@googlemail.com] > Sent: Thursday, March 21, 2013 4:05 AM > To: Moore, Catherine > Cc: gcc-patches@gcc.gnu.org; Rozycki, Maciej > Subject: Re: FW: [PATCH] [MIPS] microMIPS gcc support > > "Moore, Catherine" writes: > > I'

Re: [patch] cilkplus array notation for C (clean, independent patchset, take 1)

2013-03-21 Thread Aldy Hernandez
On 03/21/13 14:07, Iyer, Balaji V wrote: Please see my response below: -Original Message- From: Aldy Hernandez [mailto:al...@redhat.com] Sent: Thursday, March 21, 2013 10:25 AM To: Joseph S. Myers Cc: Iyer, Balaji V; gcc-patches Subject: Re: [patch] cilkplus array notation for C (clean,

Re: [patch] cilkplus array notation for C (clean, independent patchset, take 1)

2013-03-21 Thread Aldy Hernandez
On 03/21/13 11:54, Mike Stump wrote: On Mar 20, 2013, at 11:09 PM, Jakub Jelinek wrote: On Wed, Mar 20, 2013 at 11:30:58PM -0600, Jeff Law wrote: On 03/20/2013 10:33 AM, Aldy Hernandez wrote: As I'd mentioned, you have .exp files named compile.exp and execute.exp which seem to be causing ambi

Re: [Patch, fortran, 4.9] Use bool type instead gfc_try

2013-03-21 Thread Joseph S. Myers
On Thu, 21 Mar 2013, N.M. Maclaren wrote: > On Mar 19 2013, Tobias Burnus wrote: > > Am 19.03.2013 13:15, schrieb Janne Blomqvist: > > > > > now that the Fortran frontend is C++ we can use the primitive bool > > > type instead of inventing our own. > > > > Well, C99's "bool" (_Bool) was already

Re: FW: [PATCH] [MIPS] microMIPS gcc support

2013-03-21 Thread Richard Sandiford
Thanks, this is almost there now. It was only the problem with the new version of the move pattern (see below) that stopped this from being "OK with...". The next round should be a formality though. "Moore, Catherine" writes: > +(define_constraint "Uuw6" > + "@internal > + An unsigned consta

C++ PATCH: use identifier_p instead of naked TREE_CODE == IDENTIFIER_NODE

2013-03-21 Thread Gabriel Dos Reis
This patch introduces identified_p (t) in lieu of TREE_CODE (t) == IDENTIFIER_NODE in the C++ front-end. identifier_p is effectively LANG_IDENTIFIER_CAST except that it returns a typed pointer instead of a boolean value. There is NO change in functionality. With this patch, I measured tha

Re: C++ PATCH: use identifier_p instead of naked TREE_CODE == IDENTIFIER_NODE

2013-03-21 Thread Miles Bader
Gabriel Dos Reis writes: > in the C++ front-end. identifier_p is effectively LANG_IDENTIFIER_CAST > except that it returns a typed pointer instead of a boolean value. What's the point of returning a pointer when the name (and apparently, use, judging from the patch) suggest a boolean...? [If it

Re: C++ PATCH: use identifier_p instead of naked TREE_CODE == IDENTIFIER_NODE

2013-03-21 Thread Gabriel Dos Reis
On Thu, Mar 21, 2013 at 11:25 PM, Miles Bader wrote: > > Gabriel Dos Reis writes: > > in the C++ front-end. identifier_p is effectively LANG_IDENTIFIER_CAST > > except that it returns a typed pointer instead of a boolean value. > > What's the point of returning a pointer when the name (and appar

Re: C++ PATCH: use identifier_p instead of naked TREE_CODE == IDENTIFIER_NODE

2013-03-21 Thread Miles Bader
Gabriel Dos Reis writes: > In many places, we do thinks like: > 1. test that we have a identifier. > 2. immediately follow that with access to parts of the > tree as identifiers, but check again that we really > an identifier, etc. > > There is nothing silly about that. Sure, it's