Re: [PATCH, testsuite] Fix for PR47440 - Use LCM for vzeroupper insertion

2011-07-20 Thread Uros Bizjak
Hello! > > ? ? ? ?* a/gcc/gcse.c (alloc_gcse_mem): Added code to run in PRE2. > > And this is necessary because...??? > > Why not just make it a separate pass in ix86-reorg that uses LCM? Look at > mode switching for an example. I was also expecting that vzeroupper would be inserted in the same

Re: [PATCH, PR 49094] Refrain from creating misaligned accesses in SRA

2011-07-20 Thread Richard Guenther
On Tue, Jul 19, 2011 at 8:20 PM, Ulrich Weigand wrote: > Martin Jambor wrote: > >> I had to add a test that the analyzed expression is not an SSA name. >> This has been approved by Rchi on IRC yesterday.  Thus, I have >> committed the following as revision 175703 after successful run of c >> and c

Patches ping

2011-07-20 Thread Revital Eres
Hello, [PATCH, SMS 3/4] Optimize stage count http://gcc.gnu.org/ml/gcc-patches/2011-05/msg01341.html [PATCH, SMS 4/4] Misc. fixes http://gcc.gnu.org/ml/gcc-patches/2011-05/msg01342.html [PATCH, SMS] Fix calculation of issue_rate http://gcc.gnu.org/ml/gcc-patches/2011-05/msg01344.html Thanks, Re

Re: PATCH [7/n] X32: Handle address output and calls patterns

2011-07-20 Thread Uros Bizjak
On Wed, Jul 20, 2011 at 4:51 AM, H.J. Lu wrote: I had it in my x32 tree. But I reverted: http://gcc.gnu.org/ml/gcc-patches/2011-02/msg00954.html since Pmode is used in non-PIC tablejump, we have to put 64bit value for labels with 0 upper 32bits in tablejump for x32.

Re: PATCH [7/n] X32: Handle address output and calls patterns

2011-07-20 Thread Uros Bizjak
On Wed, Jul 20, 2011 at 9:53 AM, Uros Bizjak wrote: > since Pmode is used in non-PIC tablejump, we have to put 64bit value for > labels with 0 upper 32bits in tablejump for x32. The mode is completely controled by CASE_VECTOR_MODE. >>> >>> Here is the updated patch.  OK for

[testcase, arm] Adjust the negative offset of fp memory access in vfp-1.c

2011-07-20 Thread Carrot Wei
Hi The patch r169271 conservatively limits the offset of fp memory access to (-256..1024), but didn't adjust the related test case, so vfp-1.c fails in thumb2 mode after the patch. This patch modifies test case vfp-1.c accordingly. Tested with make check-gcc RUNTESTFLAGS="--target_board=arm-sim/t

Re: [testcase, arm] Adjust the negative offset of fp memory access in vfp-1.c

2011-07-20 Thread Carrot Wei
Oops, the ChangeLog should be 2011-07-20 Wei Guozhi * gcc.target/arm/vfp-1.c (test_ldst): Adjust negative offset. thanks Carrot On Wed, Jul 20, 2011 at 4:30 PM, Carrot Wei wrote: > Hi > > The patch r169271 conservatively limits the offset of fp memory access to > (-256..1024), but

Re: PATCH RFA: Build stages 2 and 3 with C++

2011-07-20 Thread Jonathan Wakely
On 20 July 2011 02:14, David Edelsohn wrote: > On Tue, Jul 19, 2011 at 2:33 PM, Ian Lance Taylor wrote: > >> I got agreement from two global reviewers and no objections. >> >> I have committed this patch. >> >> Please let me know about any problems. > > This also breaks bootstrap on AIX.  I cannot

Re: safe unordered local iterators

2011-07-20 Thread Jonathan Wakely
See http://gcc.gnu.org/ml/gcc/2011-07/msg00368.html Should code inside namespace __gnu_debug be using std::size_t instead of assuming ::size_t has been declared?

Re: [PATCH] Rewrite TRUTH_NOT_EXPR as BIT_{NOT,XOR}_EXPR

2011-07-20 Thread Richard Guenther
On Tue, 19 Jul 2011, Michael Matz wrote: > Hi, > > On Tue, 19 Jul 2011, Richard Guenther wrote: > > > *** forward_propagate_comparison (gimple stm > > *** 1164,1170 > > } > > /* We can propagate the condition into a statement that > > computes the logical ne

Re: safe unordered local iterators

2011-07-20 Thread Jonathan Wakely
On 20 July 2011 09:38, Jonathan Wakely wrote: > See http://gcc.gnu.org/ml/gcc/2011-07/msg00368.html > > Should code inside namespace __gnu_debug be using std::size_t instead > of assuming ::size_t has been declared? > Or maybe that use (which is the only unqualified size_t I see in include/debug/*

Re: safe unordered local iterators

2011-07-20 Thread Jonathan Wakely
On 20 July 2011 09:51, Jonathan Wakely wrote: > On 20 July 2011 09:38, Jonathan Wakely wrote: >> See http://gcc.gnu.org/ml/gcc/2011-07/msg00368.html >> >> Should code inside namespace __gnu_debug be using std::size_t instead >> of assuming ::size_t has been declared? >> > > Or maybe that use (which

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

2011-07-20 Thread Richard Guenther
On Tue, 19 Jul 2011, William J. Schmidt wrote: > I've been distracted by other things, but got back to this today... > > On Wed, 2011-07-06 at 16:58 +0200, Richard Guenther wrote: > > Ah, so we still have the ARRAY_REFs here. Yeah, well - then the > > issue boils down to get_inner_reference cano

Re: safe unordered local iterators

2011-07-20 Thread Paolo Carlini
On 07/20/2011 10:51 AM, Jonathan Wakely wrote: On 20 July 2011 09:38, Jonathan Wakely wrote: See http://gcc.gnu.org/ml/gcc/2011-07/msg00368.html Should code inside namespace __gnu_debug be using std::size_t instead of assuming ::size_t has been declared? Or maybe that use (which is the only u

Re: PATCH RFA: Build stages 2 and 3 with C++

2011-07-20 Thread Jonathan Wakely
On 20 July 2011 09:35, Jonathan Wakely wrote: > On 20 July 2011 02:14, David Edelsohn wrote: >> On Tue, Jul 19, 2011 at 2:33 PM, Ian Lance Taylor wrote: >> >>> I got agreement from two global reviewers and no objections. >>> >>> I have committed this patch. >>> >>> Please let me know about any pro

Re: safe unordered local iterators

2011-07-20 Thread Paolo Carlini
On 07/20/2011 11:42 AM, Paolo Carlini wrote: On 07/20/2011 10:51 AM, Jonathan Wakely wrote: On 20 July 2011 09:38, Jonathan Wakely wrote: See http://gcc.gnu.org/ml/gcc/2011-07/msg00368.html Should code inside namespace __gnu_debug be using std::size_t instead of assuming ::size_t has been decl

Re: PATCH RFA: Build stages 2 and 3 with C++

2011-07-20 Thread Richard Guenther
On Wed, Jul 20, 2011 at 3:37 AM, Ian Lance Taylor wrote: > "H.J. Lu" writes: > >> It caused: >> >> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49787 > > Here is a patch.  Tested only by running configure, though I am starting > a bootstrap. > > OK for mainline? Ok. Thanks, Richard. > Ian > > >

Named address spaces broken (Re: [2/5] Add a set_mem_attrs function)

2011-07-20 Thread Ulrich Weigand
Richard Sandiford wrote: >/* Now set the attributes we computed above. */ > - MEM_ATTRS (ref) > -= find_mem_attrs (alias, expr, offset, size, align, > - TYPE_ADDR_SPACE (type), GET_MODE (ref)); > + set_mem_attrs (ref, &attrs); This removes the bit where the MEM's addr

Re: Named address spaces broken (Re: [2/5] Add a set_mem_attrs function)

2011-07-20 Thread Richard Guenther
On Wed, 20 Jul 2011, Ulrich Weigand wrote: > Richard Sandiford wrote: > > >/* Now set the attributes we computed above. */ > > - MEM_ATTRS (ref) > > -= find_mem_attrs (alias, expr, offset, size, align, > > - TYPE_ADDR_SPACE (type), GET_MODE (ref)); > > + set_mem_attrs (

Re: [RFA 1/8] New port: TI C6x: Remove "gdb" from noconfigdirs in configure.ac

2011-07-20 Thread Bernd Schmidt
On 07/20/11 04:06, Yao Qi wrote: > This patch is one of patch set to add a new port (TI C6x) in gdb. In > this patch, "gdb" is removed from noconfigdirs in top-level configure.ac. > > OK for gcc and binutils? I think this qualifies as obvious once a gdb port has been approved. Bernd

Re: [Patch,AVR]: Fix PR36467, PR49687 (better widening mul)

2011-07-20 Thread Georg-Johann Lay
http://gcc.gnu.org/ml/gcc-patches/2011-07/msg01411.html Richard Henderson wrote: > On 07/18/2011 08:41 AM, Georg-Johann Lay wrote: >> +(define_insn_and_split "*muluqihi3.uconst" >> + [(set (match_operand:HI 0 "register_operand" "=r") >> +(mult:HI (zero_extend:HI (m

Re: PATCH: fix think-o in genrecog.c

2011-07-20 Thread Richard Sandiford
Sandra Loosemore writes: > I've been experimenting with a patch that adds a new define_peephole2 > for MIPS. It was blowing up with a segfault in insn-recog.c while > building libstdc++, and looking at the generated code for my new pattern > there was clearly a bad offset being passed to peep2

Re: RFA: patch to fix broken FRV target

2011-07-20 Thread Nick Clifton
Hi Vladimir, 2011-07-19 Vladimir Makarov * config/frv/frv.c (frv_register_move_cost): Define explicitly costs for subclasses of GR_REGS. Approved - please apply. Cheers Nick

Re: plugin event for C/C++ declarations

2011-07-20 Thread Diego Novillo
On Mon, Jul 18, 2011 at 03:06, Romain Geissler wrote: > 2011/7/11 Romain Geissler : >> 2011/7/7 Diego Novillo : >>> OK.  This one fell through the cracks in my inbox.  Apologies. >>> >>> >>> Diego. >> >> Hi, >> >> I don't have write access, can you please add the patch to the trunk ? >> >> Romain

Re: PATCH: fix think-o in genrecog.c

2011-07-20 Thread Bernd Schmidt
On 07/20/11 13:24, Richard Sandiford wrote: > Sandra Loosemore writes: >> I've been experimenting with a patch that adds a new define_peephole2 >> for MIPS. It was blowing up with a segfault in insn-recog.c while >> building libstdc++, and looking at the generated code for my new pattern >> th

Re: [PATCH, testsuite] Fix for PR47440 - Use LCM for vzeroupper insertion

2011-07-20 Thread Vladimir Yakovlev
Hi Steven, I need a separate pass because the transformation on vzeroupper redandancy elemination must be performed when reload is completed. I think it is possible to make it as a separate pass in ix86-reorg if the phase works after reload. Thaks, Vladimir 2011/7/19 Steven Bosscher : >>        

Re: [PATCH, testsuite] Fix for PR47440 - Use LCM for vzeroupper insertion

2011-07-20 Thread Vladimir Yakovlev
Hi Uros, Thank you for such a detailed explanation. I'll study it. Regards, Vladimir 2011/7/20 Uros Bizjak : > Hello! > >> > ? ? ? ?* a/gcc/gcse.c (alloc_gcse_mem): Added code to run in PRE2. >> >> And this is necessary because...??? >> >> Why not just make it a separate pass in ix86-reorg that

[PATCH] Allocate old pt solution in PTA lazily

2011-07-20 Thread Richard Guenther
Avoids some memory allocations. Bootstrapped and tested on x86_64-unknown-linux-gnu, applied to trunk. Richard. 2011-07-20 Richard Guenther * tree-ssa-structalias.c (new_var_info): Allocate oldsolution lazily. (unify_nodes): Deal with that. (solve_graph): Lik

[PATCH] Fix condition propagation in forwprop, fixup locations in phiopt

2011-07-20 Thread Richard Guenther
This fixes one of the fallouts when boolifying comparisons. Namely that we do not manage to propagate multiple times into a condition statement. That's because we fail to remove unused defs and thus do not maintain a single-use chain for the second propagation. Fixed by removing dead defs after

Re: PATCH RFA: Build stages 2 and 3 with C++

2011-07-20 Thread David Edelsohn
On Wed, Jul 20, 2011 at 5:43 AM, Jonathan Wakely wrote: > Paolo has committed a change to that code, does it help the AIX bootstrap > issue? Paolo's patch gets me past the debug.cc issue. Using C++ on AIX will greatly increase the bootstrap time on AIX because configure is much slower, even us

Re: PATCH RFA: Build stages 2 and 3 with C++

2011-07-20 Thread Richard Guenther
On Wed, Jul 20, 2011 at 2:36 PM, David Edelsohn wrote: > On Wed, Jul 20, 2011 at 5:43 AM, Jonathan Wakely > wrote: > >> Paolo has committed a change to that code, does it help the AIX bootstrap >> issue? > > Paolo's patch gets me past the debug.cc issue. > > Using C++ on AIX will greatly increa

Re: PATCH RFA: Build stages 2 and 3 with C++

2011-07-20 Thread Diego Novillo
On Wed, Jul 20, 2011 at 08:41, Richard Guenther wrote: > Which is good as it increases testing coverage.  We probably would have > missed this bug completely if you wouldn't have notice it. Agreed. The pain we feel due to this is similar to the pain one feels after exercising vigorously. Dieg

Re: PATCH [6/n] X32: Supprot 32bit address

2011-07-20 Thread H.J. Lu
On Tue, Jul 19, 2011 at 12:08 PM, Uros Bizjak wrote: > On Tue, Jul 19, 2011 at 6:30 PM, Jakub Jelinek wrote: > >>> Sometimes, the compiler is really creative in inventing instructions: >>> >>> (insn 47 46 49 7 (set (reg:SI 68 [ D.1686 ]) >>>         (subreg:SI (plus:SF (reg:SF 159 [ D.1685 ]) >>>

[PATCH] Fix PR18908 folding bits, fixup integer_all_onesp

2011-07-20 Thread Richard Guenther
This fixes the folding bits for PR18908 where we fail to canonicalize X ^ ~0 as ~X. Fixed by making integer_all_onesp use TYPE_PRECISION and by making forwprop also perform this canonicalization. Bootstrapped on x86_64-unknown-linux-gnu, testing in progress. Richard. 2011-07-20 Richard Guenth

Re: PATCH [6/n] X32: Supprot 32bit address

2011-07-20 Thread Uros Bizjak
On Wed, Jul 20, 2011 at 2:54 PM, H.J. Lu wrote: Sometimes, the compiler is really creative in inventing instructions: (insn 47 46 49 7 (set (reg:SI 68 [ D.1686 ])         (subreg:SI (plus:SF (reg:SF 159 [ D.1685 ])                 (reg:SF 159 [ D.1685 ])) 0)) omp_atomic1.

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

2011-07-20 Thread Kai Tietz
Hello, this is the revised version of the partial pre-approved patch for preserving type-casts from/to boolean-types. It fixes additionally the regression in tree-ssa/builtin-expect-5.c testcase, which was caused by fold_builtin_expect. Additionally there was a regression in gcc.dg/pr28685-1.c, w

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

2011-07-20 Thread William J. Schmidt
On Wed, 2011-07-20 at 11:03 +0200, Richard Guenther wrote: > I wonder if the code below triggered at all as since we expand from > SSA we no longer see the larger trees in-place but you have to > look them up via SSA defs using get_gimple_for_ssa_name (or the > helper get_def_for_expr). So I expe

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

2011-07-20 Thread Richard Guenther
On Wed, Jul 20, 2011 at 3:05 PM, Kai Tietz wrote: > Hello, > > this is the revised version of the partial pre-approved patch for preserving > type-casts from/to boolean-types.  It fixes additionally the regression in > tree-ssa/builtin-expect-5.c testcase, which was caused by fold_builtin_expect.

Re: PATCH [7/n] X32: Handle address output and calls patterns

2011-07-20 Thread H.J. Lu
On Wed, Jul 20, 2011 at 1:19 AM, Uros Bizjak wrote: > On Wed, Jul 20, 2011 at 9:53 AM, Uros Bizjak wrote: > >> since Pmode is used in non-PIC tablejump, we have to put 64bit value for >> labels with 0 upper 32bits in tablejump for x32. > > The mode is completely controled by CASE_

Ping #1: [testsuite]: Some test case skips.

2011-07-20 Thread Georg-Johann Lay
http://gcc.gnu.org/ml/gcc-patches/2011-07/msg01166.html Georg-Johann Lay wrote: > This patchlet fixes two test cases: > > * gcc.dg/pr32912-2.c: TImode is overkill for AVR. > * gcc.dg/pr44674.c: Test if -fprofile-generate is available. > > Ok to commit? > > Johann > > testsuite/ > * gcc.d

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

2011-07-20 Thread Kai Tietz
2011/7/20 Richard Guenther : > On Wed, Jul 20, 2011 at 3:05 PM, Kai Tietz wrote: >> Hello, >> >> this is the revised version of the partial pre-approved patch for preserving >> type-casts from/to boolean-types.  It fixes additionally the regression in >> tree-ssa/builtin-expect-5.c testcase, which

[Committed] S/390: Fix return type of s390_class_max_nregs

2011-07-20 Thread Andreas Krebbel
Hi, this fixes a bug which has been revealed by compiling the back-end with g++ now. Committed to mainline and 4.6. Bye, -Andreas- 2011-07-20 Andreas Krebbel * config/s390/s390.c (s390_class_max_nregs): Fix return type. * config/s390/s390-protos.h (s390_class_max_nregs): L

Re: PATCH [7/n] X32: Handle address output and calls patterns

2011-07-20 Thread Uros Bizjak
On Wed, Jul 20, 2011 at 3:18 PM, H.J. Lu wrote: > On Wed, Jul 20, 2011 at 1:19 AM, Uros Bizjak wrote: >> On Wed, Jul 20, 2011 at 9:53 AM, Uros Bizjak wrote: >> >>> since Pmode is used in non-PIC tablejump, we have to put 64bit value for >>> labels with 0 upper 32bits in tablejump for x32

Make regcprop check HARD_REGNO_MODE_OK

2011-07-20 Thread Richard Sandiford
This patch makes regcprop check HARD_REGNO_MODE_OK before creating a hard register in a different mode. It fixes a segfault in a build of bionic on ARM. The missing check usually doesn't cause problems. The define_insn constraints are likely to reject invalid registers for "real" insns, while de

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

2011-07-20 Thread Richard Guenther
On Wed, Jul 20, 2011 at 3:31 PM, Kai Tietz wrote: > 2011/7/20 Richard Guenther : >> On Wed, Jul 20, 2011 at 3:05 PM, Kai Tietz wrote: >>> Hello, >>> >>> this is the revised version of the partial pre-approved patch for preserving >>> type-casts from/to boolean-types.  It fixes additionally the re

Re: PATCH RFA: Build stages 2 and 3 with C++

2011-07-20 Thread Ian Lance Taylor
Diego Novillo writes: > On Wed, Jul 20, 2011 at 08:41, Richard Guenther > wrote: > >> Which is good as it increases testing coverage.  We probably would have >> missed this bug completely if you wouldn't have notice it. > > Agreed. The pain we feel due to this is similar to the pain one feels >

Re: Make regcprop check HARD_REGNO_MODE_OK

2011-07-20 Thread Jeff Law
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 07/20/11 07:47, Richard Sandiford wrote: > This patch makes regcprop check HARD_REGNO_MODE_OK before creating a > hard register in a different mode. It fixes a segfault in a build of > bionic on ARM. > > The missing check usually doesn't cause pro

Re: PATCH [7/n] X32: Handle address output and calls patterns

2011-07-20 Thread H.J. Lu
On Wed, Jul 20, 2011 at 6:41 AM, Uros Bizjak wrote: > On Wed, Jul 20, 2011 at 3:18 PM, H.J. Lu wrote: >> On Wed, Jul 20, 2011 at 1:19 AM, Uros Bizjak wrote: >>> On Wed, Jul 20, 2011 at 9:53 AM, Uros Bizjak wrote: >>> since Pmode is used in non-PIC tablejump, we have to put 64bit value

[Patch,AVR]: Fix rtx_costs of SYMBOL_REF

2011-07-20 Thread Georg-Johann Lay
This is a mini-patch to fix rtx_costs for SYMBOL_REF. The cost of a SYMBOL_REF is the same as a CONST_INT because it can be used the same way. I observed small performance regression in my code and found that the reason is too high cost for SYMBOL_REF. char x[10]; char getx2 (unsigned char i, u

C++ PATCH for c++/42603 and c++/6709 (DR 743/950, allow decltype as base-specifier and nested-name-specifier)

2011-07-20 Thread Jason Merrill
DRs 743 and 950 allow decltype to be used as the scope in a nested-name-specifier and as a base-specifier. This patch implements that functionality. In order to deal with the ambiguity when we first encounter "decltype" as to whether it will be a nested-name-specifier or its own simple-type-s

Re: [patch] Reduce over-promotion of vector operations

2011-07-20 Thread Richard Guenther
On Tue, Jul 19, 2011 at 10:57 AM, Richard Guenther wrote: > On Tue, Jul 19, 2011 at 8:44 AM, Ira Rosen wrote: >> Hi, >> >> This patch tries to reduce over-promotion of vector operations that >> could be done with narrower elements, e.g., for >> >> char a; >> int b, c; >> short d; >> >> b = (int)

Re: PATCH RFA: Build stages 2 and 3 with C++

2011-07-20 Thread Toon Moene
On 07/19/2011 08:33 PM, Ian Lance Taylor wrote: 2011-07-15 Ian Lance Taylor * configure.ac: Add --enable-build-poststage1-with-cxx. If set, make C++ a boot_language. Set and substitute POSTSTAGE1_CONFIGURE_FLAGS. * Makefile.tpl (POSTSTAGE1_CONFIGURE_FLAGS): Ne

RE: [Patch,AVR]: Fix rtx_costs of SYMBOL_REF

2011-07-20 Thread Weddington, Eric
> -Original Message- > From: Georg-Johann Lay [mailto:a...@gjlay.de] > Sent: Wednesday, July 20, 2011 8:16 AM > To: gcc-patches@gcc.gnu.org > Cc: Anatoly Sokolov; Denis Chertykov; Weddington, Eric; Richard Henderson > Subject: [Patch,AVR]: Fix rtx_costs of SYMBOL_REF > > This is a mini-p

Re: [patch] Reduce over-promotion of vector operations

2011-07-20 Thread Ira Rosen
On 20 July 2011 17:28, Richard Guenther wrote: > On Tue, Jul 19, 2011 at 10:57 AM, Richard Guenther > wrote: >> On Tue, Jul 19, 2011 at 8:44 AM, Ira Rosen wrote: >>> Hi, >>> >>> This patch tries to reduce over-promotion of vector operations that >>> could be done with narrower elements, e.g., fo

Re: PATCH RFA: Build stages 2 and 3 with C++

2011-07-20 Thread Ian Lance Taylor
Toon Moene writes: > On 07/19/2011 08:33 PM, Ian Lance Taylor wrote: > >>> 2011-07-15 Ian Lance Taylor >>> >>> * configure.ac: Add --enable-build-poststage1-with-cxx. If set, >>> make C++ a boot_language. Set and substitute >>> POSTSTAGE1_CONFIGURE_FLAGS. >>> * Makefile.tpl (PO

Re: PATCH RFA: Build stages 2 and 3 with C++

2011-07-20 Thread Jonathan Wakely
Feel the burn^Wchurn! On 20/07/2011, Ian Lance Taylor wrote: > Diego Novillo writes: > >> On Wed, Jul 20, 2011 at 08:41, Richard Guenther >> wrote: >> >>> Which is good as it increases testing coverage.  We probably would have >>> missed this bug completely if you wouldn't have notice it. >>

Re: [v3] add

2011-07-20 Thread Ed Smith-Rowland
On 07/18/2011 12:18 PM, Jonathan Wakely wrote: On 9 July 2011 14:46, Jonathan Wakely wrote: This adds the new header. Currently only std::vector has the necessary support for C++0x allocators to be usable with std::scoped_allocator_adaptor. * include/Makefile.am: Add new header.

Re: PATCH RFA: Build stages 2 and 3 with C++

2011-07-20 Thread David Edelsohn
AIX needs libsupc++ for libstdc++ static linking. * Makefile.tpl (POSTSTAGE1_CONFIGURE_FLAGS): Add libsupc++ to link directories. * Makefile.in: Rebuild. Index: Makefile.tpl === --- Makefile.tpl(revision 17648

Re: PATCH [7/n] X32: Handle address output and calls patterns

2011-07-20 Thread Uros Bizjak
On Wed, Jul 20, 2011 at 4:09 PM, H.J. Lu wrote: Hello! >> +(define_insn "*tablejump_1_x32" >> +  [(set (pc) (match_operand:SI 0 "register_operand" "r")) >> +   (use (label_ref (match_operand 1 "" "")))] >> +  "TARGET_X32" >> +  "jmp\t%A0" >> +  [(set_attr "type" "ibr") >> +   (set_attr "length_im

Re: [v3] add

2011-07-20 Thread Paolo Carlini
On 07/20/2011 05:34 PM, Ed Smith-Rowland wrote: Here is a trivial addition to include scoped_allocator in the precompiled headers. It bootstrapped and regtested on x86_64 linux. Applied, thanks. Paolo.

Re: PATCH RFA: Build stages 2 and 3 with C++

2011-07-20 Thread Thomas Schwinge
Hi! On Wed, 20 Jul 2011 11:41:37 -0400, David Edelsohn wrote: > AIX needs libsupc++ for libstdc++ static linking. > > * Makefile.tpl (POSTSTAGE1_CONFIGURE_FLAGS): Add libsupc++ to > link directories. > * Makefile.in: Rebuild. > > Index: Makefile.tpl > ===

Allow IRIX Ada bootstrap with C++

2011-07-20 Thread Rainer Orth
A bootstrap on IRIX 6.5 only saw a single issue with C++ so far: ada/init.c failed to compile: /vol/gcc/src/hg/trunk/local/gcc/ada/init.c: In function 'void __gnat_install_handler()': /vol/gcc/src/hg/trunk/local/gcc/ada/init.c:862:20: error: invalid conversion from 'void (*)(int, int, sigcontext

Re: PATCH RFA: Build stages 2 and 3 with C++

2011-07-20 Thread Ian Lance Taylor
David Edelsohn writes: > AIX needs libsupc++ for libstdc++ static linking. > > * Makefile.tpl (POSTSTAGE1_CONFIGURE_FLAGS): Add libsupc++ to > link directories. > * Makefile.in: Rebuild. > > Index: Makefile.tpl > ===

Re: Allow IRIX Ada bootstrap with C++

2011-07-20 Thread Arnaud Charlet
> With this patch, bootstrap continued. Ok for mainline if it passes? OK, thanks. Arno

Re: PATCH [7/n] X32: Handle address output and calls patterns

2011-07-20 Thread H.J. Lu
On Wed, Jul 20, 2011 at 8:43 AM, Uros Bizjak wrote: > On Wed, Jul 20, 2011 at 4:09 PM, H.J. Lu wrote: > Hello! > >>> +(define_insn "*tablejump_1_x32" >>> +  [(set (pc) (match_operand:SI 0 "register_operand" "r")) >>> +   (use (label_ref (match_operand 1 "" "")))] >>> +  "TARGET_X32" >>> +  "jmp\t

Re: [Patch,AVR]: Fix rtx_costs of SYMBOL_REF

2011-07-20 Thread Richard Henderson
On 07/20/2011 07:16 AM, Georg-Johann Lay wrote: > case CONST_INT: > case CONST_DOUBLE: > +case SYMBOL_REF: >/* Immediate constants are as cheap as registers. */ >*total = 0; >return true; > @@ -5348,7 +5349,6 @@ avr_rtx_costs (rtx x, int codearg, int o >

[build, ada] Allow Solaris bootstrap with C++ (PR bootstrap/49794)

2011-07-20 Thread Rainer Orth
As partially described in the PR, Solaris 10 bootstrap is broken with C++: * In both libcpp and gcc, ICONV_CONST is misdetected since the configure test is run with gcc, but the actual compilation performed with g++. Unlike the former, the latter defines _XOPEN_SOURCE=600 (for the benefit of

[RFC PATCH, i386]: Allow SUBREG_PROMOTED_UNSIGNED_P subregs in address

2011-07-20 Thread Uros Bizjak
Hello! Attached RFC patch buids on recent x86 improvements in ix86_legitimate_address_p/ix86_decompose_address functions. With this patch, we allow SUBREGs with register_no_elim_operand registers in base, index and PLUS chains. As the consequence, we can relax the condition that rejects SUBREGs, w

Re: PATCH [7/n] X32: Handle address output and calls patterns

2011-07-20 Thread Richard Henderson
> - ix86_print_operand (file, x, 0); > + /* Always use 64bit register for indirect branch. */ > + if (REG_P (x) && TARGET_64BIT) > + print_reg (x, 'q', file); > + else > + ix86_print_operand (file, x, 0); > return; This bit is because of ... > +(de

Re: [RFC PATCH, i386]: Allow SUBREG_PROMOTED_UNSIGNED_P subregs in address

2011-07-20 Thread Richard Henderson
On 07/20/2011 09:41 AM, Uros Bizjak wrote: > * config/i386/i386.c (ix86_decompose_address): Also allow promoted > paradoxical subregs in base and PLUS chains. Allow only paradoxical > subregs and subregs of DImode hard registers in subregs of index. > (ix86_legitimate_addre

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

2011-07-20 Thread Kai Tietz
2011/7/20 Richard Guenther : > On Wed, Jul 20, 2011 at 3:31 PM, Kai Tietz wrote: >> 2011/7/20 Richard Guenther : >>> On Wed, Jul 20, 2011 at 3:05 PM, Kai Tietz wrote: Hello, this is the revised version of the partial pre-approved patch for preserving type-casts from/to b

Re: [Patch,AVR]: Fix PR36467, PR49687 (better widening mul)

2011-07-20 Thread Richard Henderson
On 07/20/2011 04:12 AM, Georg-Johann Lay wrote: > Johann > > PR target/36467 > PR target/49687 > * config/avr/avr.md (mulhi3): Use register_or_s9_operand for > operand2 and expand appropriately if there is a CONST_INT in > operand2. > (usmulqihi3): New insn. >

Re: [Dwarf-Discuss] Vendor extensions in .debug_macinfo

2011-07-20 Thread Michael Eager
On 07/13/2011 11:20 AM, Jakub Jelinek wrote: Hi! The current .debug_macinfo format isn't very much extensible and is not really designed to allow reducing of duplicate debug info, so when compilers want to produce maco information, size of .debug_macinfo is prohibitive. We are discussing some e

Re: PATCH [7/n] X32: Handle address output and calls patterns

2011-07-20 Thread H.J. Lu
On Wed, Jul 20, 2011 at 9:42 AM, Richard Henderson wrote: >> -       ix86_print_operand (file, x, 0); >> +       /* Always use 64bit register for indirect branch.  */ >> +       if (REG_P (x) && TARGET_64BIT) >> +         print_reg (x, 'q', file); >> +       else >> +         ix86_print_operand (f

Re: PATCH [7/n] X32: Handle address output and calls patterns

2011-07-20 Thread Richard Henderson
On 07/20/2011 10:25 AM, H.J. Lu wrote: > I am testing this patch. OK for trunk if it works? Yep. r~

Re: [build, ada] Allow Solaris bootstrap with C++ (PR bootstrap/49794)

2011-07-20 Thread Ian Lance Taylor
Rainer Orth writes: > diff --git a/gcc/config/sol2-c.c b/gcc/config/sol2-c.c > --- a/gcc/config/sol2-c.c > +++ b/gcc/config/sol2-c.c > @@ -68,7 +68,7 @@ static const format_char_info cmn_err_ch >{ NULL, 0, STD_C89, NOLENGTHS, NULL, NULL, NULL } > }; > > -const format_kind_info solaris_for

Re: [testsuite]: Some test case skips.

2011-07-20 Thread Mike Stump
On Jul 14, 2011, at 8:28 AM, Georg-Johann Lay wrote: > This patchlet fixes two test cases: > > * gcc.dg/pr32912-2.c: TImode is overkill for AVR. > * gcc.dg/pr44674.c: Test if -fprofile-generate is available. > > Ok to commit? Ok. [ Sorry, I missed this one. ]

Re: [Dwarf-Discuss] Vendor extensions in .debug_macinfo

2011-07-20 Thread Jakub Jelinek
On Wed, Jul 20, 2011 at 10:16:10AM -0700, Michael Eager wrote: > It took me a few days to review the current DWARF macinfo specification > and review this proposal. > > The existing macro data format is clearly in need of revision. I don't > think that there is any way to modify this format whic

[PATCH] Make rs6000 port bootstrap using G++ as 2nd/3rd stage compilers

2011-07-20 Thread Michael Meissner
I tried building the powerpc64-linux compiler today, and it would not bootstrap, since evidently stages 2 and 3 are built with G++ instead of C, and G++ is more strict about const pointers. This patch allows the compiler to bootstrap. Is it ok to install? 2011-07-20 Michael Meissner

Re: [RFC PATCH, i386]: Allow SUBREG_PROMOTED_UNSIGNED_P subregs in address

2011-07-20 Thread Eric Botcazou
> Another improvement is introduction of SUBREG_PROMOTED_UNSIGNED_P > predicate in the same area to handle paradoxical SUBREGs. When SUBREG > satisfies this predicate, the compiler guarantees, that excess bits > are zero (see the documentation). This is exaclty what we want in > registers that form

Re: Named address spaces broken (Re: [2/5] Add a set_mem_attrs function)

2011-07-20 Thread Ulrich Weigand
Richard Guenther wrote: > Ok. Checked in, thanks. > Do we have any chance of adding generic testcases for named-address-space > support that would show these issues? Not really; named address space are fundamentally target-specific. It certainly would help if a more common target provided some

Re: [build, ada] Allow Solaris bootstrap with C++ (PR bootstrap/49794)

2011-07-20 Thread Ian Lance Taylor
Rainer Orth writes: > diff --git a/gcc/configure.ac b/gcc/configure.ac > --- a/gcc/configure.ac > +++ b/gcc/configure.ac > @@ -1041,7 +1041,16 @@ case "${host}" in > esac > AC_FUNC_FORK > > +# FIXME: g++ on Solaris 10+ defines _XOPEN_SOURCE=600, which exposes a > +# different iconv() prototyp

Re: [Dwarf-Discuss] Vendor extensions in .debug_macinfo

2011-07-20 Thread Michael Eager
On 07/20/2011 11:00 AM, Jakub Jelinek wrote: On Wed, Jul 20, 2011 at 10:16:10AM -0700, Michael Eager wrote: It took me a few days to review the current DWARF macinfo specification and review this proposal. The existing macro data format is clearly in need of revision. I don't think that there

Re: [build, ada] Allow Solaris bootstrap with C++ (PR bootstrap/49794)

2011-07-20 Thread Ian Lance Taylor
Rainer Orth writes: > diff --git a/libcpp/system.h b/libcpp/system.h > --- a/libcpp/system.h > +++ b/libcpp/system.h > @@ -1,6 +1,6 @@ > /* Get common system includes and various definitions and declarations based > on autoconf macros. > - Copyright (C) 1998, 1999, 2000, 2001, 2002, 2003,

Re: [PATCH, PR 49094] Refrain from creating misaligned accesses in SRA

2011-07-20 Thread Ulrich Weigand
Richard Guenther wrote: > On Tue, Jul 19, 2011 at 8:20 PM, Ulrich Weigand wrote: > > The problem is that in this expression > > disappear = VIEW_CONVERT_EXPR(x_8); > > the rhs is considered unaligned and blocks the SRA transformation. > > > > The check you added for SSA_NAMEs doesn't hit, becaus

Re: [build, ada] Allow Solaris bootstrap with C++ (PR bootstrap/49794)

2011-07-20 Thread Ian Lance Taylor
Rainer Orth writes: > diff --git a/gcc/ada/init.c b/gcc/ada/init.c > --- a/gcc/ada/init.c > +++ b/gcc/ada/init.c > @@ -1031,7 +1031,7 @@ __gnat_install_handler (void) > exceptions. Make sure that the handler isn't interrupted by another > signal that might cause a scheduling event!

RFA: PATCHes to accept C99 designated initializer syntax in C++

2011-07-20 Thread Jason Merrill
The first patch adjusts the C++ front end's current support for the old GNU designated initializer syntax to support the C99 syntax as well. The second patch adjusts recog.h/genoutput.c to use a new macro HAVE_DESIGNATED_UNION_INITIALIZERS instead of HAVE_DESIGNATED_INITIALIZERS because with t

[v3] Use noexcept in

2011-07-20 Thread Paolo Carlini
Hi, tested x86_64-linux multilib, committed. Thanks, Paolo. 2011-07-20 Paolo Carlini * include/std/system_error: Use noexcept. * src/system_error.cc: Likewise. * testsuite/19_diagnostics/error_condition/modifiers/39881.cc: Adjust. * tests

Re: bb-reorder maintenance [3/n]

2011-07-20 Thread Ulrich Weigand
Richard Henderson wrote: > The create_basic_block function will do the right thing > with ordering the block label and the block note. No > need for us to work hard at that within bb-reorder. This causes: FAIL: gcc.dg/tree-prof/bb-reorg.c compilation, -fprofile-use -D_PROFILE_USE (internal co

Re: [patch] Fix PR tree-optimization/49771

2011-07-20 Thread Ulrich Weigand
Ira Rosen wrote: >PR tree-optimization/49771 >* gcc.dg/vect/pr49771.c: New test. This test fails (with wrong code) on spu-elf ... > +int > +foo (void) > +{ > + int j; > + int i; > + for (i = 0; i < 1000; i++) > +for (j = 0; j < 1000; j++) > + a[j] = a[i] + 1; > + return a[0]

Re: bb-reorder maintenance [3/n]

2011-07-20 Thread Richard Henderson
On 07/20/2011 11:24 AM, Ulrich Weigand wrote: >> > BB_HEAD (new_bb) = new_label; > new_bb is now always NULL at this point, and the assignment crashes. > > I guess that assignment should now be just deleted as well, since > this is done by create_basic_block later? Doh. Yes, that's

Re: bb-reorder maintenance [3/n]

2011-07-20 Thread Ulrich Weigand
Richard Henderson wrote: > On 07/20/2011 11:24 AM, Ulrich Weigand wrote: > >> >BB_HEAD (new_bb) = new_label; > > new_bb is now always NULL at this point, and the assignment crashes. > > > > I guess that assignment should now be just deleted as well, since > > this is done by cr

Re: RFA: PATCHes to accept C99 designated initializer syntax in C++

2011-07-20 Thread Jakub Jelinek
On Wed, Jul 20, 2011 at 02:13:55PM -0400, Jason Merrill wrote: > The first patch adjusts the C++ front end's current support for the > old GNU designated initializer syntax to support the C99 syntax as > well. Thanks. > The second patch adjusts recog.h/genoutput.c to use a new macro > HAVE_DESIGN

Re: PATCH RFA: Build stages 2 and 3 with C++

2011-07-20 Thread David Edelsohn
I now can get through the build of the compiler, but stage2 and stage3 libstdc++ and libsupc++ files have many comparison failures due to tree.c:get_file_function_name() introducing explicit randomness to produce different symbols for anonymous namespaces: /* Otherwise, the name must be uniq

Re: [RFC PATCH, i386]: Allow SUBREG_PROMOTED_UNSIGNED_P subregs in address

2011-07-20 Thread Uros Bizjak
On Wed, Jul 20, 2011 at 8:04 PM, Eric Botcazou wrote: >> Another improvement is introduction of SUBREG_PROMOTED_UNSIGNED_P >> predicate in the same area to handle paradoxical SUBREGs. When SUBREG >> satisfies this predicate, the compiler guarantees, that excess bits >> are zero (see the documentat

Re: introduce --param max-vartrack-expr-depth

2011-07-20 Thread Michael Eager
On 05/31/2011 09:13 AM, Alexandre Oliva wrote: On May 30, 2011, Bernd Schmidt wrote: On 05/30/2011 12:35 PM, Alexandre Oliva wrote: One of my patches for PR 48866 regressed guality/asm-1.c on x86_64-linux-gnu because what used to be a single complex debug value expression became a chain of de

Re: PATCH [7/n] X32: Handle address output and calls patterns

2011-07-20 Thread H.J. Lu
On Wed, Jul 20, 2011 at 10:31 AM, Richard Henderson wrote: > On 07/20/2011 10:25 AM, H.J. Lu wrote: >> I am testing this patch.  OK for trunk if it works? > > Yep. > It doesn't work. Looking into it. -- H.J.

Re: introduce --param max-vartrack-expr-depth

2011-07-20 Thread Jakub Jelinek
On Wed, Jul 20, 2011 at 01:07:40PM -0700, Michael Eager wrote: > I've run into a problem with this change when building microblaze-xilinx-elf. > > When compiling _divdi3.o, cselib_expand_value_rtx_1 returns a huge rtx > tree for variable _r1 when max_depth is greater than 17. If -g is > specified

Re: PATCH RFA: Build stages 2 and 3 with C++

2011-07-20 Thread Ian Lance Taylor
David Edelsohn writes: > I now can get through the build of the compiler, but stage2 and stage3 > libstdc++ and libsupc++ files have many comparison failures due to > tree.c:get_file_function_name() introducing explicit randomness to > produce different symbols for anonymous namespaces: Interest

Re: introduce --param max-vartrack-expr-depth

2011-07-20 Thread Michael Eager
On 07/20/2011 01:23 PM, Jakub Jelinek wrote: On Wed, Jul 20, 2011 at 01:07:40PM -0700, Michael Eager wrote: I've run into a problem with this change when building microblaze-xilinx-elf. When compiling _divdi3.o, cselib_expand_value_rtx_1 returns a huge rtx tree for variable _r1 when max_depth i

  1   2   >