Re: [df-scan.c] Optimise DF_REFs ordering in collection_rec, use HARD_REG_SETs instead of bitmaps

2011-07-08 Thread Steven Bosscher
On Fri, Jul 8, 2011 at 5:20 AM, Dimitrios Apostolou ji...@gmx.net wrote: The attached patch does two things for df_get_call_refs(): How did you test this patch? Normally, a patch submission comes with text like, Bootstrapped tested on ..., no regressions.. Also, you chould write a ChangeLog

Re: [df-scan.c] Optimise DF_REFs ordering in collection_rec, use HARD_REG_SETs instead of bitmaps

2011-07-08 Thread Jakub Jelinek
On Fri, Jul 08, 2011 at 06:20:04AM +0300, Dimitrios Apostolou wrote: The attached patch does two things for df_get_call_refs(): * First it uses HARD_REG_SETs for defs_generated and regs_invalidated_by_call, instead of bitmaps. Replacing in total more than 400K calls (for my testcase) to

Re: [df-scan.c] Optimise DF_REFs ordering in collection_rec, use HARD_REG_SETs instead of bitmaps

2011-07-08 Thread Paolo Bonzini
On 07/08/2011 05:51 AM, Dimitrios Apostolou wrote: + /* first write DF_REF_BASE */ This is not necessary. These uses are written to use_vec, while the uses from REG_EQUIV and REG_EQUAL are written to eq_use_vec (see df_ref_create_structure). Also, anyway this wouldn't work because

what can be in a group set?

2011-07-08 Thread Paolo Bonzini
df-scan.c has this code to deal with group sets: /* It is legal to have a set destination be a parallel. */ if (GET_CODE (dst) == PARALLEL) { int i; for (i = XVECLEN (dst, 0) - 1; i = 0; i--) { rtx temp = XVECEXP (dst, 0, i); if (GET_CODE (temp)

Re: Fix PR 49014

2011-07-08 Thread Andrey Belevantsev
On 07.07.2011 20:18, Vladimir Makarov wrote: On 07/01/2011 10:50 AM, Andrey Belevantsev wrote: On 26.05.2011 17:32, Andrey Belevantsev wrote: On 25.05.2011 19:31, Bernd Schmidt wrote: On 05/25/2011 03:29 PM, Andrey Belevantsev wrote: I think the hook is a better idea than the attribute

Re: [PATCH 4/6] Shrink-wrapping

2011-07-08 Thread Richard Earnshaw
On 07/07/11 21:08, Richard Sandiford wrote: Richard Earnshaw rearn...@arm.com writes: On 07/07/11 15:34, Richard Sandiford wrote: It seems a shame to have both (return) and (simple_return). You said that we need the distinction in order to cope with targets like ARM, whose (return)

Re: [PATCH, SRA] Dump that a structure is too big for total scalarization

2011-07-08 Thread Richard Guenther
On Thu, 7 Jul 2011, Martin Jambor wrote: Hi, in order to better analyze what SRA is or is not doing, it is sometimes advantageous to have in the dump information that a structure was not subject to total scalarization because it was too big - if we have detailed dumping on, that is.

Re: [PATCH 0/3] Fix PR47654 and PR49649

2011-07-08 Thread Richard Guenther
On Thu, 7 Jul 2011, Sebastian Pop wrote: Hi, First there are two cleanup patches independent of the fix: Start counting nesting level from 0. Do not compute twice type, lb, and ub. Then the patch that fixes PR47654: Fix PR47654: Compute LB and UB of a CLAST expression. One

Re: Generic hwloop support library

2011-07-08 Thread Richard Sandiford
Bernd Schmidt ber...@codesourcery.com writes: On 07/05/11 21:25, Richard Sandiford wrote: A C bootstrap only should be fine of course, since the code isn't going to be run.) + hwloop_info loops = NULL; Unnecessary initialisation (or at least, it should be). ? The value is used inside

[PATCH] Fix PR49662, XFAIL testcases

2011-07-08 Thread Richard Guenther
This XFAILs the loop interchange testcases that are now confused by better PRE. Tested on x86_64-unknown-linux-gnu, applied. Richard. 2011-07-08 Richard Guenther rguent...@suse.de PR tree-optimization/49662 * gcc.dg/graphite/interchange-14.c: XFAIL. *

[PATCH] Remove call_expr_arg and call_expr_argp

2011-07-08 Thread Romain Geissler
Hello, This patch simply removes legacy call_expr_arg and call_expr_argp declarations since these functions no longer have a defined body. Use CALL_EXPR_ARG and CALL_EXPR_ARGP macros instead. Build fine and no regression on x86_64. 2011-07-08 Romain Geissler romain.geiss...@gmail.com

Re: [PATCH] Remove call_expr_arg and call_expr_argp

2011-07-08 Thread Richard Guenther
On Fri, Jul 8, 2011 at 10:44 AM, Romain Geissler romain.geiss...@gmail.com wrote: Hello, This patch simply removes legacy call_expr_arg and call_expr_argp declarations since these functions no longer have a defined body. Use CALL_EXPR_ARG and CALL_EXPR_ARGP macros instead. Build fine and no

Re: [df-scan.c] Optimise DF_REFs ordering in collection_rec, use HARD_REG_SETs instead of bitmaps

2011-07-08 Thread Dimitrios Apostolou
On Fri, 8 Jul 2011, Jakub Jelinek wrote: On Fri, Jul 08, 2011 at 06:20:04AM +0300, Dimitrios Apostolou wrote: The attached patch does two things for df_get_call_refs(): * First it uses HARD_REG_SETs for defs_generated and regs_invalidated_by_call, instead of bitmaps. Replacing in total more

Re: PATCH: Support -mx32 in GCC tests

2011-07-08 Thread Uros Bizjak
On Fri, Jul 8, 2011 at 1:03 AM, H.J. Lu hjl.to...@gmail.com wrote: Here is the updated patch.  I will wait for Uros's comments. I attached the wrong file.  Here is the updated patch. --- a/gcc/testsuite/g++.dg/abi/bitfield3.C +++ b/gcc/testsuite/g++.dg/abi/bitfield3.C @@ -4,7 +4,7 @@ //

Re: [patch tree-optimization]: [1 of 3]: Boolify compares more

2011-07-08 Thread Kai Tietz
2011/7/8 Richard Guenther richard.guent...@gmail.com: On Thu, Jul 7, 2011 at 6:06 PM, Kai Tietz ktiet...@googlemail.com wrote: Hello, This patch - first of series - adds to fold and some helper routines support for one-bit precision bitwise folding and detection. This patch is necessary for

Re: [wwwdocs] Buildstat update for 4.4

2011-07-08 Thread Gerald Pfeifer
On Wed, 6 Jul 2011, Tom G. Christensen wrote: Latest results for 4.4.x. Thanks, Tom. Gerald

Re: [patch tree-optimization]: [3 of 3]: Boolify compares more

2011-07-08 Thread Richard Guenther
On Thu, Jul 7, 2011 at 6:07 PM, Kai Tietz ktiet...@googlemail.com wrote: Hello, This patch - third of series - fixes vrp to handle bitwise one-bit precision typed operations. And it introduces a second - limitted to non-switch-statement range - vrp pass. Err - please split this patch. I

Re: [patch tree-optimization]: [1 of 3]: Boolify compares more

2011-07-08 Thread Richard Guenther
On Fri, Jul 8, 2011 at 11:28 AM, Kai Tietz ktiet...@googlemail.com wrote 2011/7/8 Richard Guenther richard.guent...@gmail.com: On Thu, Jul 7, 2011 at 6:06 PM, Kai Tietz ktiet...@googlemail.com wrote: Hello, This patch - first of series - adds to fold and some helper routines support for

Re: [ARM] Deprecate -mwords-little-endian

2011-07-08 Thread Gerald Pfeifer
On Thu, 7 Jul 2011, Richard Earnshaw wrote: Looks fine to me, but please allow 24 hours for the web maintainers to comment if they wish. Thanks, this looks good. Gerald

Re: [Patch, AVR]: Fix PR46779

2011-07-08 Thread Georg-Johann Lay
CCed Eric and Bernd. Denis Chertykov wrote: Did you decide about the fix for PR46779? http://gcc.gnu.org/ml/gcc-patches/2011-06/msg00810.html Is it ok to commit? I forgot about testsuite regressions for this patch. Denis. There were no new regressions:

Re: [df-scan.c] Optimise DF_REFs ordering in collection_rec, use HARD_REG_SETs instead of bitmaps

2011-07-08 Thread Dimitrios Apostolou
On Fri, 8 Jul 2011, Richard Guenther wrote: On Fri, Jul 8, 2011 at 5:20 AM, Dimitrios Apostolou ji...@gmx.net wrote: Hello list, The attached patch does two things for df_get_call_refs(): * First it uses HARD_REG_SETs for defs_generated and regs_invalidated_by_call, instead of bitmaps.

Re: [Patch, AVR]: Fix PR46779

2011-07-08 Thread Denis Chertykov
2011/7/8 Georg-Johann Lay a...@gjlay.de: CCed Eric and Bernd. Denis Chertykov wrote: Did you decide about the fix for PR46779? http://gcc.gnu.org/ml/gcc-patches/2011-06/msg00810.html Is it ok to commit? I forgot about testsuite regressions for this patch. Denis. There were no new

[testsuite] Fix g++.dg/opt/devirt2.C on 32-bit Solaris/SPARC with Sun as (PR testsuite/48727)

2011-07-08 Thread Rainer Orth
As described in the PR, unless the assembler supports -relax, SPARC gcc can emit sethi+jmp instead of just call, so the pattern has to be more specific. This patch implements this, also having to account for the fact that subexpressions in Tcl regexps double the match count. Tested with the

Re: [PATCH, testsuite] Fix for PR49519, miscompiled 447.dealII in SPEC CPU 2006

2011-07-08 Thread Kirill Yukhin
Eric, Jakub, Thanks for your inputs, I've applied them. Updated patch is attached. So, one more time: ChangeLog entry: 2011-07-06 Kirill Yukhin kirill.yuk...@intel.com PR middle-end/49519 * calls.c (mem_overlaps_already_clobbered_arg_p): Additional check if address is

[build] Move fixed-bit support to toplevel libgcc

2011-07-08 Thread Rainer Orth
The next patch in the line of toplevel libgcc moves proved to be completely trivial: fixed-bit.[ch] is moved over with corresponding include and Makefile changes. Tested with a C-only --enable-fixed-point non-bootstrap build/test on mips-sgi-irix6.5. Without --enable-fixed-point, fixed-point

Re: [PATCH] Make VRP optimize useless conversions

2011-07-08 Thread Richard Guenther
On Thu, 7 Jul 2011, Michael Matz wrote: Hi, On Thu, 7 Jul 2011, Richard Guenther wrote: + tree rhs1 = gimple_assign_rhs1 (stmt); + gimple def_stmt = SSA_NAME_DEF_STMT (rhs1); + value_range_t *final, *inner; + + /* Obtain final and inner value-ranges for a conversion +

Re: what can be in a group set?

2011-07-08 Thread Richard Sandiford
Paolo Bonzini bonz...@gnu.org writes: df-scan.c has this code to deal with group sets: /* It is legal to have a set destination be a parallel. */ if (GET_CODE (dst) == PARALLEL) { int i; for (i = XVECLEN (dst, 0) - 1; i = 0; i--) { rtx temp =

Re: [patch tree-optimization]: [3 of 3]: Boolify compares more

2011-07-08 Thread Kai Tietz
2011/7/8 Richard Guenther richard.guent...@gmail.com: On Thu, Jul 7, 2011 at 6:28 PM, Kai Tietz ktiet...@googlemail.com wrote: 2011/7/7 Paolo Bonzini bonz...@gnu.org: On 07/07/2011 06:07 PM, Kai Tietz wrote: +  /* We redo folding here one time for allowing to inspect more +     complex

Re: [build] Move fixed-bit support to toplevel libgcc

2011-07-08 Thread Paolo Bonzini
On 07/08/2011 12:33 PM, Rainer Orth wrote: The next patch in the line of toplevel libgcc moves proved to be completely trivial: fixed-bit.[ch] is moved over with corresponding include and Makefile changes. Tested with a C-only --enable-fixed-point non-bootstrap build/test on mips-sgi-irix6.5.

Re: [patch tree-optimization]: [3 of 3]: Boolify compares more

2011-07-08 Thread Kai Tietz
2011/7/8 Richard Guenther richard.guent...@gmail.com: On Thu, Jul 7, 2011 at 6:28 PM, Kai Tietz ktiet...@googlemail.com wrote: 2011/7/7 Paolo Bonzini bonz...@gnu.org: On 07/07/2011 06:07 PM, Kai Tietz wrote: +  /* We redo folding here one time for allowing to inspect more +     complex

Re: [PATCH, testsuite] Fix for PR49519, miscompiled 447.dealII in SPEC CPU 2006

2011-07-08 Thread Eric Botcazou
So, one more time: You didn't really need to re-submit but... ChangeLog entry: 2011-07-06 Kirill Yukhin kirill.yuk...@intel.com PR middle-end/49519 * calls.c (mem_overlaps_already_clobbered_arg_p): Additional check if address is stored in register. If so - give

Re: [PATCH] Un-obsolete Interix

2011-07-08 Thread Gerald Pfeifer
Hi Doug, On Wed, 29 Jun 2011, Douglas Rupp wrote: An update to the IA-32/x86-64 section seems the right place. I confess to being ignorant about how to update this html page. Please advise. at http://gcc.gnu.org/cvs.html I tried to summarize things a bit. If you have any questions, don't

Re: [build] Move dfp-bit support to toplevel libgcc

2011-07-08 Thread Rainer Orth
Paolo Bonzini bonz...@gnu.org writes: Patch is okay if you take care of committing both, but please wait 48 hours or so, and please post the updated patch with config/dfp-bit.c moved to dfp-bit.c (config/t-dfprules should stay there). Here's the revised version. Bootstrapped without

Re: [patch tree-optimization]: [2 of 3]: Boolify compares more

2011-07-08 Thread Kai Tietz
2011/7/8 Richard Guenther richard.guent...@gmail.com: On Thu, Jul 7, 2011 at 6:07 PM, Kai Tietz ktiet...@googlemail.com wrote: Hello, This patch - second of series - adds boolification of comparisions in gimplifier.  For this casts from/to boolean are marked as not-useless. And in

Re: [build] Move libgcov support to toplevel libgcc

2011-07-08 Thread Paolo Bonzini
On 07/08/2011 01:31 PM, Rainer Orth wrote: And another easy one: moving libgcov over to libgcc. Bootstrapped without regressions on i386-pc-solaris2.11 and x86_64-unknown-linux-gnu. Ok for mainline? After this one, and once the problems with the unwinder move are sorted out, I've got a few

Re: [patch tree-optimization]: [2 of 3]: Boolify compares more

2011-07-08 Thread Richard Guenther
On Fri, Jul 8, 2011 at 1:32 PM, Kai Tietz ktiet...@googlemail.com wrote: 2011/7/8 Richard Guenther richard.guent...@gmail.com: On Thu, Jul 7, 2011 at 6:07 PM, Kai Tietz ktiet...@googlemail.com wrote: Hello, This patch - second of series - adds boolification of comparisions in gimplifier.  

Re: [Patch, AVR]: Fix PR46779

2011-07-08 Thread Georg-Johann Lay
Denis Chertykov wrote: 2011/7/8 Georg-Johann Lay a...@gjlay.de: CCed Eric and Bernd. Denis Chertykov wrote: Did you decide about the fix for PR46779? http://gcc.gnu.org/ml/gcc-patches/2011-06/msg00810.html Is it ok to commit? I forgot about testsuite regressions for this patch. Denis.

Re: [PATCH] Make VRP optimize useless conversions

2011-07-08 Thread Michael Matz
Hi, On Fri, 8 Jul 2011, Richard Guenther wrote: It should be indeed safe with the current handling of conversions, but better be safe. So, like the following? No. The point is that you can't compare the bounds that VRP computes with each other when the outcome affects correctness. Think

[PATCH] Fix rs6000 vector select RTL patterns (PR target/49621)

2011-07-08 Thread Jakub Jelinek
Hi! As mentioned in the PR, IMNSHO the rs6000 vector_select_* patterns are invalid RTL, they compare a vector register in some vector mode to const0_rtx instead of corresponding vector zero constant. The Comparison Operations section of RTL docs says: The mode of the comparison is determined by

Re: [PATCH (3/7)] Widening multiply-and-accumulate pattern matching

2011-07-08 Thread Andrew Stubbs
On 07/07/11 13:37, Richard Guenther wrote: I'll cook up a quick patch for VRP. Like the attached. I'll finish and properly test it. Your patch appears to do the wrong thing for this test case: int foo (int a, short b, short c) { int bc = b * c; return a + (short)bc; } With your patch,

[PATCH] gcc.dg/20020312-2.c: pass -Wl,-no_pie for darwin11

2011-07-08 Thread Jack Howarth
Currently the gcc.dg/20020312-2.c testcase fails on darwin11 with... FAIL: gcc.dg/20020312-2.c (test for excess errors) at -m32 due to the fact that the absolute addressing (-mdynamic-no-pic) is not allowed with the default -pie linkage of darwin11 and later which produces a warning. The

Re: what can be in a group set?

2011-07-08 Thread Paolo Bonzini
On 07/08/2011 12:43 PM, Richard Sandiford wrote: The docs also say that the first expr_list can be null: If @var{lval} is a @code{parallel}, it is used to represent the case of a function returning a structure in multiple registers. Each element of the @code{parallel} is an

Re: what can be in a group set?

2011-07-08 Thread Dimitrios Apostolou
On Fri, 8 Jul 2011, Paolo Bonzini wrote: On 07/08/2011 12:43 PM, Richard Sandiford wrote: The docs also say that the first expr_list can be null: If @var{lval} is a @code{parallel}, it is used to represent the case of a function returning a structure in multiple registers. Each element

Re: [PATCH, testsuite] Fix for PR49519, miscompiled 447.dealII in SPEC CPU 2006

2011-07-08 Thread H.J. Lu
On Fri, Jul 8, 2011 at 3:58 AM, Eric Botcazou ebotca...@adacore.com wrote: So, one more time: You didn't really need to re-submit but... ChangeLog entry: 2011-07-06  Kirill Yukhin  kirill.yuk...@intel.com         PR middle-end/49519         * calls.c

[PATCH] darwin-segaddr.c: pass -Wl,-no_pie for darwin11

2011-07-08 Thread Jack Howarth
Currently, gcc.dg/darwin-segaddr.c fails its execution test at both -m32 and -m64 on darwin11. This is due to the default -pie linkage on darwin11 allowing ASLR to randomize the segaddr on each individual execution of the resulting binary. The attached patch eliminates this failure by passing

[Patch,Committed,AVR]: Don't use 'magic' register number.

2011-07-08 Thread Georg-Johann Lay
http://gcc.gnu.org/viewcvs?view=revisionrevision=176041 Committed this patchlet as pre-approved by Denis. Johann * config/avr/avr.c (output_reload_insisf): Use 'REG_Z+1' instead of magic '31'. --- trunk/gcc/config/avr/avr.c 2011/07/08 13:03:38 176040 +++

Re: [PATCH (3/7)] Widening multiply-and-accumulate pattern matching

2011-07-08 Thread Richard Guenther
On Fri, Jul 8, 2011 at 2:44 PM, Andrew Stubbs a...@codesourcery.com wrote: On 07/07/11 13:37, Richard Guenther wrote: I'll cook up a quick patch for VRP. Like the attached.  I'll finish and properly test it. Your patch appears to do the wrong thing for this test case: int foo (int a,

Re: what can be in a group set?

2011-07-08 Thread Paolo Bonzini
On 07/08/2011 03:05 PM, Dimitrios Apostolou wrote: Paolo, something else, in df_mark_reg() is it ever possible for regno to be = FIRST_PSEUDO_REGISTER? An assert I've put doesn't trigger for my simple test :-) From reading the docs of EH_RETURN_STACKADJ_RTX and EH_RETURN_HANDLER_RTX, it

[patch tree-optimize]: Factor out lable truth_andor as function

2011-07-08 Thread Kai Tietz
Hello, This patch factors out the label truth_andor in fold_binary_loc into a separate function. 2011-07-08 Kai Tietz kti...@redhat.com * fold-const.c (fold_truth_andor): Factored out truth_andor label from fold_binary as function. (fold_binary_loc): Replace

Re: [PATCH] Make VRP optimize useless conversions

2011-07-08 Thread Richard Guenther
On Fri, 8 Jul 2011, Michael Matz wrote: Hi, On Fri, 8 Jul 2011, Richard Guenther wrote: It should be indeed safe with the current handling of conversions, but better be safe. So, like the following? No. The point is that you can't compare the bounds that VRP computes with each

Re: what can be in a group set?

2011-07-08 Thread Dimitrios Apostolou
Thanks Paolo for the detailed explanation! On Fri, 8 Jul 2011, Paolo Bonzini wrote: That said, changing exit_block_uses and entry_block_defs to HARD_REG_SET would be a nice cleanup, but it would also touch target code due to targetm.extra_live_on_entry (entry_block_defs); I've already

Re: [PATCH] __builtin_assume_aligned

2011-07-08 Thread Gerald Pfeifer
On Tue, 28 Jun 2011, Richard Guenther wrote: Thanks, here is what I've committed after bootstrapping/regtesting again on x86_64-linux and i686-linux. Thanks Jakub. Probably worth an entry in changes.html. Yes, please. :-) Gerald

Re: [PATCH 4/6] Shrink-wrapping

2011-07-08 Thread Bernd Schmidt
On 07/07/11 22:08, Richard Sandiford wrote: Sure, I understand that returns does more than return on ARM. What I meant was: we'd normally want that other stuff to be expressed in rtl alongside the (return) rtx. E.g. something like: (parallel [(return) (set (reg r4) (mem (plus

Re: [PATCH] Address lowering [1/3] Main patch

2011-07-08 Thread William J. Schmidt
On Mon, 2011-07-04 at 17:30 +0200, Michael Matz wrote: Hi, On Mon, 4 Jul 2011, Richard Guenther wrote: I still do not like the implementation of yet another CSE machinery given that we already have two. From reading it it really seems to be a normal block-local CSE, without anything

Re: [alpha] Don't force MIPS debugging on dwarf2.

2011-07-08 Thread Joseph S. Myers
On Thu, 7 Jul 2011, Richard Henderson wrote: alpha-elf: Disable stabs debugging, and the mips sdb extensions. In particular, the mips sdb extensions accidentally implied the irix dwarf2 extensions and restrictions. Disable stabs because it's almost certainly untested

Re: [df-scan.c] Optimise DF_REFs ordering in collection_rec, use HARD_REG_SETs instead of bitmaps

2011-07-08 Thread Paolo Bonzini
On 07/08/2011 11:05 AM, Dimitrios Apostolou wrote: On Fri, 8 Jul 2011, Jakub Jelinek wrote: On Fri, Jul 08, 2011 at 06:20:04AM +0300, Dimitrios Apostolou wrote: The attached patch does two things for df_get_call_refs(): * First it uses HARD_REG_SETs for defs_generated and

C++ PATCH for c++/49673 (constexpr init should go in rodata)

2011-07-08 Thread Jason Merrill
Now that we have constexpr constructors, having a non-trivial constructor no longer precludes a variable being TREE_READONLY. The front end will clear TREE_READONLY if the variable requires non-constant initialization. Tested x86_64-pc-linux-gnu, applying to trunk. commit

[Patch,testsuite]: Skip -fschedule-insns if no scheduling available.

2011-07-08 Thread Georg-Johann Lay
There are tests in suite that set -fschedule-insns[2] and FAIL because of warning: instruction scheduling not supported on this target machine [enabled by default] As there is no individual switch do disable the warning, the patch disables some test cases so reduce the overall noise of false

Re: Provide 64-bit default Solaris/x86 configuration (PR target/39150)

2011-07-08 Thread Ian Lance Taylor
Rainer Orth r...@cebitec.uni-bielefeld.de writes: Ian Lance Taylor i...@google.com writes: Rainer Orth r...@cebitec.uni-bielefeld.de writes: All bootstraps have completed without regressions, so I've installed the patch as is, after verifying that the libgo parts aren't present in the

Re: [build] Move libgcov support to toplevel libgcc

2011-07-08 Thread Joseph S. Myers
On Fri, 8 Jul 2011, Rainer Orth wrote: And another easy one: moving libgcov over to libgcc. Do you have any specific plans regarding gcov-io.c and gcov-io.h? Because they are genuinely used on both the host and the target they are a trickier case; I wonder if they should end up in their own

Re: [patch tree-optimization]: [3 of 3]: Boolify compares more

2011-07-08 Thread Kai Tietz
2011/7/8 Richard Guenther richard.guent...@gmail.com: On Thu, Jul 7, 2011 at 6:28 PM, Kai Tietz ktiet...@googlemail.com wrote: 2011/7/7 Paolo Bonzini bonz...@gnu.org: On 07/07/2011 06:07 PM, Kai Tietz wrote: +  /* We redo folding here one time for allowing to inspect more +     complex

Re: C++ PATCH for c++/49673 (constexpr init should go in rodata)

2011-07-08 Thread Jakub Jelinek
On Fri, Jul 08, 2011 at 10:22:16AM -0400, Jason Merrill wrote: --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/constexpr-rom.C @@ -0,0 +1,11 @@ +// PR c++/49673: check that test_data goes into .rodata +// { dg-options -std=c++0x } +// { dg-final { scan-assembler rodata } } That will match

Re: [patch tree-optimization]: [3 of 3]: Boolify compares more

2011-07-08 Thread Richard Guenther
On Fri, Jul 8, 2011 at 4:35 PM, Kai Tietz ktiet...@googlemail.com wrote: 2011/7/8 Richard Guenther richard.guent...@gmail.com: On Thu, Jul 7, 2011 at 6:28 PM, Kai Tietz ktiet...@googlemail.com wrote: 2011/7/7 Paolo Bonzini bonz...@gnu.org: On 07/07/2011 06:07 PM, Kai Tietz wrote: +  /* We

Re: [patch tree-optimization]: [3 of 3]: Boolify compares more

2011-07-08 Thread Kai Tietz
2011/7/8 Richard Guenther richard.guent...@gmail.com: On Fri, Jul 8, 2011 at 4:35 PM, Kai Tietz ktiet...@googlemail.com wrote: 2011/7/8 Richard Guenther richard.guent...@gmail.com: On Thu, Jul 7, 2011 at 6:28 PM, Kai Tietz ktiet...@googlemail.com wrote: 2011/7/7 Paolo Bonzini bonz...@gnu.org:

[Patch,testsuite]: Skip AVR if .text overflows

2011-07-08 Thread Georg-Johann Lay
These tests are too big for AVR: .text (128 KiB) overflows and ld complains. Ok to commit? Johann * gcc.dg/compat/struct-by-value-16_main.c: Skip AVR. * gcc.dg/compat/struct-by-value-17_main.c: Skip AVR. * gcc.dg/compat/struct-by-value-18_main.c: Skip AVR. *

New template for 'cpplib' made available

2011-07-08 Thread Translation Project Robot
Hello, gentle maintainer. This is a message from the Translation Project robot. (If you have any questions, send them to coordina...@translationproject.org.) A new POT file for textual domain 'cpplib' has been made available to the language teams for translation. It is archived as:

Re: [PATCH] Fix rs6000 vector select RTL patterns (PR target/49621)

2011-07-08 Thread David Edelsohn
On Fri, Jul 8, 2011 at 8:40 AM, Jakub Jelinek ja...@redhat.com wrote: Hi! As mentioned in the PR, IMNSHO the rs6000 vector_select_* patterns are invalid RTL, they compare a vector register in some vector mode to const0_rtx instead of corresponding vector zero constant. The Comparison

Re: Fix PR 49014

2011-07-08 Thread Vladimir Makarov
On 11-07-08 3:25 AM, Andrey Belevantsev wrote: On 07.07.2011 20:18, Vladimir Makarov wrote: The changes in sel-sched.c is ok for me. i386.md changes look ok for me too but you should ask a x86 maintainer to get an approval for the change. I think you should describe the attribute in the

Re: [build] Move libgcov support to toplevel libgcc

2011-07-08 Thread Rainer Orth
Joseph S. Myers jos...@codesourcery.com writes: On Fri, 8 Jul 2011, Rainer Orth wrote: And another easy one: moving libgcov over to libgcc. Do you have any specific plans regarding gcov-io.c and gcov-io.h? Because None so far: the issues outlined in the libgcov submission are currently

Re: Provide 64-bit default Solaris/x86 configuration (PR target/39150)

2011-07-08 Thread Rainer Orth
Ian, I committed the libgo patch to the upstream repository. I completely missed that: at least in https://go.googlecode.com/hg/ libtool.m4 isn't present. The immediate upstream project for libgo is https://gofrontend.googlecode.com/hg/ . Most of the files in the libgo directory in that

Re: [patch tree-optimization]: [3 of 3]: Boolify compares more

2011-07-08 Thread Kai Tietz
2011/7/8 Richard Guenther richard.guent...@gmail.com: On Thu, Jul 7, 2011 at 6:07 PM, Kai Tietz ktiet...@googlemail.com wrote: Index: gcc-head/gcc/tree-vrp.c @@ -2232,6 +2235,7 @@ extract_range_from_binary_expr (value_ra      some cases.  */   if (code != BIT_AND_EXPR       code !=

[PATCH 0/3] Merge from graphite branch to trunk.

2011-07-08 Thread Sebastian Pop
Hi, there was only one patch committed to the graphite branch that matters to also have in trunk: Remove continue from loop, add one more assert. The other patches are squashed into the two commits: Only update ChangeLog.graphite. these are related to the graphite-opencl infrastructure and

[PATCH 3/3] Only update ChangeLog.graphite.

2011-07-08 Thread Sebastian Pop
--- gcc/ChangeLog.graphite | 22 ++ 1 files changed, 22 insertions(+), 0 deletions(-) diff --git a/gcc/ChangeLog.graphite b/gcc/ChangeLog.graphite index 628fb7e..b2c1b1c 100644 --- a/gcc/ChangeLog.graphite +++ b/gcc/ChangeLog.graphite @@ -1,3 +1,25 @@ +2011-05-26 Alexey

[PATCH 1/3] Only update ChangeLog.graphite.

2011-07-08 Thread Sebastian Pop
--- gcc/ChangeLog.graphite | 27 +++ 1 files changed, 27 insertions(+), 0 deletions(-) diff --git a/gcc/ChangeLog.graphite b/gcc/ChangeLog.graphite index c3fd009..2a14fc4 100644 --- a/gcc/ChangeLog.graphite +++ b/gcc/ChangeLog.graphite @@ -1,3 +1,30 @@ +2011-05-24

[PATCH 2/3] Remove continue from loop, add one more assert.

2011-07-08 Thread Sebastian Pop
2011-07-08 Sebastian Pop sebastian@amd.com * graphite-dependences.c (build_alias_set_powerset): Remove continue from loop, add one more assert. --- gcc/ChangeLog |5 + gcc/ChangeLog.graphite |5 + gcc/graphite-dependences.c | 15

New template for 'gcc' made available

2011-07-08 Thread Translation Project Robot
Hello, gentle maintainer. This is a message from the Translation Project robot. (If you have any questions, send them to coordina...@translationproject.org.) A new POT file for textual domain 'gcc' has been made available to the language teams for translation. It is archived as:

Re: [patch tree-optimization]: [3 of 3]: Boolify compares more

2011-07-08 Thread Kai Tietz
Hello, This is the reworked patch, It fixes vrp to handle bitwise one-bit precision typed operations and to handle some type hoisting cases, Some cases can't be handled as long as vrp doesn't allows to insert new statements in folding pass. To have in first pass better match, VRP uses for

Re: [patch tree-optimization]: [3 of 3]: Boolify compares more

2011-07-08 Thread Michael Matz
Hi, On Fri, 8 Jul 2011, Kai Tietz wrote: This is the reworked patch, It fixes vrp to handle bitwise one-bit precision typed operations and to handle some type hoisting cases, Some cases can't be handled as long as vrp doesn't allows to insert new statements in folding pass. To have in

Re: [patch tree-optimization]: [3 of 3]: Boolify compares more

2011-07-08 Thread Kai Tietz
2011/7/8 Michael Matz m...@suse.de: Hi, On Fri, 8 Jul 2011, Kai Tietz wrote: This is the reworked patch, It fixes vrp to handle bitwise one-bit precision typed operations and to handle some type hoisting cases, Some cases can't be handled as long as vrp doesn't allows to insert new

Re: [PATCH] New IPA-CP with real function cloning

2011-07-08 Thread Martin Jambor
Hi, On Thu, Jul 07, 2011 at 06:03:07PM +0200, Jan Hubicka wrote: Hi, patch is long, so let me review it in more passes. Fair enough. 2011-06-22 Martin Jambor mjam...@suse.cz * ipa-prop.h: Include alloc-pool.h. (ipa_lattice_type): Removed. (ipcp_value_source):

RFA PR regression/49498

2011-07-08 Thread Jeff Law
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 As detailed in the PR, improvements to jump threading caused the relatively simple guard predicates in this testcase to become significantly more complex. The predicate complexity is enough to confuse the predicate-aware pruning of bogus

Re: C++ PATCH for c++/49673 (constexpr init should go in rodata)

2011-07-08 Thread Jason Merrill
On 07/08/2011 10:35 AM, Jakub Jelinek wrote: That will match only on ELF and perhaps a few other targets, but I'm certain many targets put read-only data elsewhere. I'd just guard this with a few most common target triplets that are known to use .rodata section. Done, thanks. I've also

C++ PATCH for c++/45603 (ICE with user declaration of __cxa_guard_acquire)

2011-07-08 Thread Jason Merrill
The testcase is kind of bogus, but we ought to be more robust. Tested x86_64-pc-linux-gnu, applied to trunk. commit f6ac9e35ced48b4e646f1cb0a8b5cab869ad91f6 Author: Jason Merrill ja...@redhat.com Date: Fri Jul 8 13:05:01 2011 -0400 PR c++/45603 * decl.c (expand_static_init): Don't

Re: CFT: Move unwinder to toplevel libgcc

2011-07-08 Thread Rainer Orth
Steve, I just tried builds on ia64 linux and HP-UX and both builds failed. I am re-trying the HP-UX build with --with-system-libunwind to see if that changes things but that should be the default on IA64 HP-UX. On Linux (debian) the build stopped with:

Re: CFT: Move unwinder to toplevel libgcc

2011-07-08 Thread Rainer Orth
Steve, It looks like the GCC build is trying to compile unwind-ia64.c on IA64 HP-UX even though it should not use or need this file. Using --with-system-libunwind doesn't seem to help. I am not sure where this should be handled under the new setup. Previously config.gcc would either

Re: [PATCH] New IPA-CP with real function cloning

2011-07-08 Thread Jan Hubicka
/* Structure holding data required to describe a pass-through jump function. */ struct GTY(()) ipa_pass_through_data { /* If an operation is to be performed on the original parameter, this is the second (constant) operand. */ tree operand; /* Number of

New Spanish PO file for 'gcc' (version 4.6.1)

2011-07-08 Thread Translation Project Robot
Hello, gentle maintainer. This is a message from the Translation Project robot. A revised PO file for textual domain 'gcc' has been submitted by the Spanish team of translators. The file is available at: http://translationproject.org/latest/gcc/es.po (This file, 'gcc-4.6.1.es.po', has

Re: [Patch, Fortran] Add stat=/errmsg= support to _gfortran_caf_register

2011-07-08 Thread Janne Blomqvist
On Thu, Jul 7, 2011 at 15:48, Tobias Burnus bur...@net-b.de wrote: I have now committed the patch with only the nits fixed (Rev.175966). But given that the coarray support - especially with regards to the library - is still in a flux, we can still change everything, including the ABI of the

[PATCH] Optimize NE/EQ comparisons of narrow integer types in debug info (PR debug/49676)

2011-07-08 Thread Jakub Jelinek
Hi! E.g. on extern void d (int); void __attribute__((noinline, noclone)) self (int i) { if (i == 200) self (i + 1); else d (i + 2); } this patch saves two bytes in the location description of the call site value where we have a SImode comparison with 200, by

RFA: PATCH to add cgraph_add_to_same_comdat_group

2011-07-08 Thread Jason Merrill
As suggested in c++/49353, this patch stops copying linkage flags to thunks in function_and_variable_visibility, replacing that with just asserts to make sure that the front end is setting things up properly. To make the front end's job easier, I've added cgraph_add_to_same_comdat_group so

RFA (omp): PATCH for c++/45437 (wrong sequence point handling with compound assignment)

2011-07-08 Thread Jason Merrill
The C++ sequence point rules for compound assignment (+= and such) are slightly different from those for C: the value of the LHS is not loaded until after the RHS value (and LHS location) are evaluated. Since we don't have tree codes for compound assignment, I need to handle this in C++ by

[pdp11] Emit prologue as rtl

2011-07-08 Thread Richard Henderson
This appears to do the right thing. I didn't bother with markers for unwind info, since pdp11 is limited to a.out and thus will never use dwarf2. There are improvements that could be made. I added some comments to that effect but did not otherwise change the code generation. Note that the

Re: RFA (omp): PATCH for c++/45437 (wrong sequence point handling with compound assignment)

2011-07-08 Thread Jakub Jelinek
On Fri, Jul 08, 2011 at 05:49:36PM -0400, Jason Merrill wrote: The C++ sequence point rules for compound assignment (+= and such) are slightly different from those for C: the value of the LHS is not loaded until after the RHS value (and LHS location) are evaluated. Since we don't have tree

Re: RFA: PATCH to add cgraph_add_to_same_comdat_group

2011-07-08 Thread Jan Hubicka
As suggested in c++/49353, this patch stops copying linkage flags to thunks in function_and_variable_visibility, replacing that with just asserts to make sure that the front end is setting things up properly. To make the front end's job easier, I've added

Re: [wwwdocs] Buildstat update for 4.5

2011-07-08 Thread Gerald Pfeifer
On Wed, 6 Jul 2011, Tom G. Christensen wrote: Latest results for 4.5.x Thanks, Tom, this is on now. Gerald

[PATCH 0/2] Two minor dwarf2cfi patches.

2011-07-08 Thread Richard Henderson
Both resulting from the discussion in PR49680, neither of which (probably) fix the original reported problem. Tested via cross-compile to mips-sgi-irix6.5. Committed. r~ Richard Henderson (2): dwarf2cfi: Insert notes correctly wrt tablejumps. dwarf2cfi: Flush queued saves at the end of

[PATCH 2/2] dwarf2cfi: Flush queued saves at the end of the prologue.

2011-07-08 Thread Richard Henderson
There's little point at holding onto these saves indefinitely. PR bootstrap/49680 * dwarf2cfi.c (create_cfi_notes): Flush queued saves at the end of the prologue. --- gcc/ChangeLog |4 gcc/dwarf2cfi.c |7 +++ 2 files changed, 11 insertions(+), 0 deletions(-)

[PATCH 1/2] dwarf2cfi: Insert notes correctly wrt tablejumps.

2011-07-08 Thread Richard Henderson
PR bootstrap/49680 * dwarf2cfi.c (dwarf2out_frame_debug): Insert cfi notes after any tablejump vector. --- gcc/ChangeLog |6 ++ gcc/dwarf2cfi.c | 12 ++-- 2 files changed, 16 insertions(+), 2 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index

Re: [df-scan.c] Optimise DF_REFs ordering in collection_rec, use HARD_REG_SETs instead of bitmaps

2011-07-08 Thread Dimitrios Apostolou
On Fri, 8 Jul 2011, Paolo Bonzini wrote: On 07/08/2011 05:51 AM, Dimitrios Apostolou wrote: + /* first write DF_REF_BASE */ This is not necessary. These uses are written to use_vec, while the uses from REG_EQUIV and REG_EQUAL are written to eq_use_vec (see df_ref_create_structure).

[pph] Stream DECL_CHAIN only for VAR/FUNCTION_DECLs that are part of a RECORD_OR_UNION_TYPE (issue4672055)

2011-07-08 Thread Gabriel Charette
The fix of streaming DECL_CHAIN in pph for VAR_DECL and FUNCTION_DECL was introduced to fix member not found errors for structs (and we don't have any tests with unions (we probably should...), but I believe they work the same). The fix was too general and was actually interfering with

  1   2   >