Re: cxx-mem-model merge [3 of 9] doc

2011-11-04 Thread Andrew MacLeod
On 11/03/2011 08:04 PM, Joseph S. Myers wrote: On Thu, 3 Nov 2011, Andrew MacLeod wrote: Index: doc/extend.texi Generally watch the line lengths in this patch - you should rewrap the paragraphs to a width of about 70 characters (no more than 80) before putting them on trunk. @item, @deftypefn

Re: [Patch]: Fix PR rtl-optimization/50448

2011-11-04 Thread Paolo Bonzini
On 11/03/2011 10:21 PM, Eric Botcazou wrote: PR rtl-optimization/50448 >* cprop.c (try_replace_reg): Try to simplify SET_SRC given the >substitution. The whole patch is about SET_DEST though, so I'm a little confused. Yes, the changelog is wrong indeed. Registers in a SET_DEST

Re: cxx-mem-model merge [4 of 9] c-family

2011-11-04 Thread Andrew MacLeod
On 11/03/2011 08:20 PM, Joseph S. Myers wrote: On Thu, 3 Nov 2011, Andrew MacLeod wrote: + if (VEC_length (tree, params) != n_param) + { + error ("Incorrect number of arguments to function %qE", function); Diagnostics start with lowercase letters. The functions such as "error" tha

Re: [patch] Rewrite SLP analysis towards support of operations with any number of operands

2011-11-04 Thread Jakub Jelinek
On Thu, Nov 03, 2011 at 10:47:32AM +0200, Ira Rosen wrote: > On 1 November 2011 11:35, Ira Rosen wrote: > > At the moment SLP allows only unary and binary operations building SLP > > instance as a binary tree. This patch rewrites the analysis and SLP > > tree creation to support any number of oper

[Patch] ARM multilib changes for RTEMS

2011-11-04 Thread Sebastian Huber
Hello, please have a look at the attached patch. It is intended for inclusion in the GCC 4.7 branch. The embedded brains GmbH has a copyright assignment with the FSF. Kind regards, Sebastian -- Sebastian Huber, embedded brains GmbH Address : Obere Lagerstr. 30, D-82178 Puchheim, Ge

Re: [Patch]: Fix PR rtl-optimization/50448

2011-11-04 Thread Eric Botcazou
> Yes, the changelog is wrong indeed. Registers in a SET_DEST memory are > uses, so they are like SET_SRC in this context which is why I think the > patch does belong in try_replace_reg. Georg, what do you think of a > changelog like this: > >Also try to replace uses of FROM that appear in SE

Re: [alpha-vms] simplify the generation of VMS linkages

2011-11-04 Thread Tristan Gingold
On Nov 3, 2011, at 4:42 PM, Richard Henderson wrote: > On 11/03/2011 08:35 AM, Tristan Gingold wrote: >> Do you have any objections ? > > Nope. Thanks, committed. Tristan.

Re: cxx-mem-model merge [0 of 9]

2011-11-04 Thread Richard Guenther
On Fri, Nov 4, 2011 at 1:02 AM, Andrew Pinski wrote: > On Thu, Nov 3, 2011 at 4:59 PM, Andrew MacLeod wrote: >> wow, that could be a lot of work.  Is that really what every branch merge >> does? > > Yes, I did just that for the pointer plus merge and Daniel did it for > the DF merge (which was mu

Re: [Patch, fortran] [00/66] PR fortran/43829 Inline sum and product (AKA scalarization of reductions)

2011-11-04 Thread Richard Guenther
On Fri, Nov 4, 2011 at 2:02 AM, Mikael Morin wrote: > On Tuesday 01 November 2011 22:07:48 Paul Richard Thomas wrote: >> The only, slight worry that I have is that it is going to make Richi's >> middle end scalarization nearly impossible to use for gfortran. >> However, the enhanced capability tha

[committed] Fix vms-ia64 bootstrap issue

2011-11-04 Thread Tristan Gingold
Hi, fde-vms.c is not the right place to include the unwinder fallback. Fixed by this patch. Tristan. libgcc/ 2011-11-04 Tristan Gingold * config/ia64/fde-vms.c: Do not include md-unwind-support.h Index: config/ia64/fde-vms.c ===

Re: RFA: Add Epiphany port

2011-11-04 Thread Rainer Orth
Joern Rennecke writes: > Index: libgcc/config.host > === > --- libgcc/config.host(revision 180924) > +++ libgcc/config.host(working copy) > @@ -433,6 +433,10 @@ > cris-*-linux* | crisv32-*-linux*) > tmake_file=

[Patch] ARM EABI support for RTEMS

2011-11-04 Thread Sebastian Huber
Hello, please have a look at the attached patch. It is intended for inclusion in the GCC 4.7 branch. The embedded brains GmbH has a copyright assignment with the FSF. I was not able to test this patch with the latest snapshot due to this: /home/sh/archive/gcc-4.7-20111029/libgcc/unwind-dw2.

Re: [Patch]: Fix PR rtl-optimization/50448

2011-11-04 Thread Paolo Bonzini
On 11/04/2011 09:50 AM, Eric Botcazou wrote: + /* If above failed and this is a single set, try to simplify the source of + the set given our substitution. We could perhaps try this for multiple + SETs, but it probably won't buy us anything. */ +rtx addr = simplify_replace_rtx (

[ping] Fix PR c++/50608

2011-11-04 Thread Eric Botcazou
This is a regression present on mainline and 4.6 branch: http://gcc.gnu.org/ml/gcc-patches/2011-10/msg01124.html Thanks in advance. -- Eric Botcazou

Re: [Patch]: Fix PR rtl-optimization/50448

2011-11-04 Thread Eric Botcazou
> What about > > /* Registers can also appear as uses in SET_DEST if it is a MEM. We >could perhaps try this for multiple SETs, but it probably won't >buy us anything. */ > > ? Fine with me, thanks. -- Eric Botcazou

Re: Patch ping

2011-11-04 Thread Richard Guenther
On Wed, 2 Nov 2011, Jakub Jelinek wrote: > Hi! > > - Gather vectorization patch + incremental patches > http://gcc.gnu.org/ml/gcc-patches/2011-10/msg02411.html I'm not sure I like using new builtins for gather representation on the tree level too much, given that we are now moving towards usin

[Ada] Add new Assign and Copy operations to unbounded containers

2011-11-04 Thread Arnaud Charlet
The new operations Assign and Copy have been added to the (already-existing) unbounded containers, to achieve parity with the same operations in the newer bounded forms, described in AI05-0001. This facilitates changing one container form to the other during program maintenance. The text of AI05-0

Re: RFA: Fix dse / postreload not to bypass add expanders

2011-11-04 Thread Paolo Bonzini
On 11/03/2011 08:01 PM, Eric Botcazou wrote: + info.insert_before = insn; + info.first = new_insn; + info.fixed_regs_live = insn_info->fixed_regs_live; + info.failure = false; + for (cur = new_insn; cur; cur = NEXT_INSN (cur)) +{ + info.current = cur; + note_stores (PATTERN (cu

Re: RFA: Fix dse / postreload not to bypass add expanders

2011-11-04 Thread Eric Botcazou
> Unless I'm missing something, this is going all the way down to the end > of the function, bypassing the CFG, so it is neither efficient nor correct. No, gen_ functions doesn't emit the instructions. > For DSE you should set up backwards liveness simulation, and use that > instead of note_store

Re: Patch ping

2011-11-04 Thread Jakub Jelinek
On Fri, Nov 04, 2011 at 10:52:44AM +0100, Richard Guenther wrote: > > - Gather vectorization patch + incremental patches > > http://gcc.gnu.org/ml/gcc-patches/2011-10/msg02411.html > > I'm not sure I like using new builtins for gather representation > on the tree level too much, given that we ar

[Ada] Internal error on private type with -gnatct

2011-11-04 Thread Eric Botcazou
This is an internal error on the type of an argument that isn't elaborated early enough in -gnatct mode, because it is the private derivation of a private type. In this mode, the compiler doesn't generate code and gigi is invoked only to lay out types and back-annotate type information. Fixed

Re: RFA: Fix dse / postreload not to bypass add expanders

2011-11-04 Thread amylaar
Quoting Paolo Bonzini : Unless I'm missing something, this is going all the way down to the end of the function, bypassing the CFG, so it is neither efficient nor correct. new_insn hasn't been emitted yet, hence it is a single insn or a short chain of insn to implement a no-op move (for a post

Re: [PATCH] [Annotalysis] Fix ICE caused by ipa-sra optimization.

2011-11-04 Thread Martin Jambor
Hi, On Thu, Nov 03, 2011 at 09:09:24AM -0700, Delesley Hutchins wrote: > Let's try this again; perhaps I should learn to use e-mail. :-) > > This patch fixes an ICE caused when the ipa-sra optimization deletes > function arguments that are referenced from within a thread safety > attribute.  It

Re: [PATCH] Fix up floatunsv{4,8}siv{4,8}sf2

2011-11-04 Thread Jakub Jelinek
On Thu, Nov 03, 2011 at 08:01:21PM +0100, Uros Bizjak wrote: > On Thu, Nov 3, 2011 at 6:54 PM, Jakub Jelinek wrote: > > So, what do you prefer and do you want the expander to be moved into > > i386.c or kept like this?  Do we perhaps want for -ffast-math > > keep the slightly faster, but imprecise

Re: [patch] Rewrite SLP analysis towards support of operations with any number of operands

2011-11-04 Thread Ira Rosen
On 4 November 2011 09:50, Jakub Jelinek wrote: > The Changelog entry doesn't mention tree-vect-data-refs.c at all, yet > the patch modifies it and the commit too. > To me it looks like you've reverted the tree-vect-data-refs.c part > of your PR50730 > http://gcc.gnu.org/viewcvs?root=gcc&view=rev&r

[Ada] Detect more cases of Long_Float inconsistencies at compile time

2011-11-04 Thread Arnaud Charlet
This patch causes more cases of inconsistent use of pragma Long_Float to be caught at compile time. This gives better messages earlier, and also avoids some blowups due to inconsistent usage. The following is pkg1.adb compiled with -gnatdm -gnatld7 -gnatj60 Compiling: pkg1.adb 1. package bo

[Ada] Add case-insensitive string operations

2011-11-04 Thread Arnaud Charlet
Ada 2012 added case-insensitive string operations for hashing (Hash_Case_Insensitive), tests for equality (Equal_Case_Insensitive), and tests for lexicographical order (Less_Case_Insensitive), per AI05-0001. The text of AI05-0001 can be found here: http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai05s

[PATCH] Optimize v*gather* with masks with all high bits set

2011-11-04 Thread Jakub Jelinek
Hi! This patch on top of the vgather* vectorization patch optimizes what has been discussed in: http://gcc.gnu.org/ml/gcc/2011-11/msg00078.html 2011-11-04 Jakub Jelinek * config/i386/i386.c (ix86_expand_builtin): If gather mask argument is known to have all high bits set, pass

Re: [patch] 3/n: trans-mem: runtime

2011-11-04 Thread Torvald Riegel
On Thu, 2011-11-03 at 23:24 +, Joseph S. Myers wrote: > On Thu, 3 Nov 2011, Torvald Riegel wrote: > > > On Thu, 2011-11-03 at 16:18 -0500, Aldy Hernandez wrote: > > > On 11/03/11 15:42, Joseph S. Myers wrote: > > > > Also, you should actually remove the gpl.texi and funding.texi includes > >

[Ada] Atomic_Synchronization applies to types as well as variables

2011-11-04 Thread Arnaud Charlet
This patch corrects an oversight in the previous checkin for handling Atomic_Synchronization. This applies to types as well as to variables. 1. pragma Disable_Atomic_Synchronization; 2. procedure AtSyncT is 3.type Int is new Integer; 4.pragma Atomic (Int); 5.X

Re: [patch] 19/n: trans-mem: middle end/misc patches (LAST PATCH)

2011-11-04 Thread Richard Guenther
On Thu, Nov 3, 2011 at 8:32 PM, Aldy Hernandez wrote: > This is everything else that doesn't fit neatly into any other category. >  Here are the middle end changes, as well as pass ordering code, along with > varasm and a potpourri of other small changes. > > This is the last patch.  Please let me

Re: [Patch,AVR]: Tweak division

2011-11-04 Thread Denis Chertykov
2011/11/3 Georg-Johann Lay : > This is a tweak for signed 16- and 32-bit division routines. > The old code called subroutine __divmod{si|hi}4_neg1 and returned if T-flag is > not set.  This is costly.  By shuffling the instructions the test can be moved > up without increasing the code size but sav

Re: [Patch,AVR]: Implement PR50931 (24-bit integers) (divmod) [2/n]

2011-11-04 Thread Denis Chertykov
2011/11/2 Georg-Johann Lay : > Georg-Johann Lay wrote: >> To support the upcoming named address space support in avr, a 24-bit pointer >> type is needed. This patch adds respective support of a 24-bit integer mode >> called PSI. >> >> The patch supports more than is actually needed for a pointer-on

Re: Patch ping

2011-11-04 Thread Richard Guenther
On Fri, 4 Nov 2011, Jakub Jelinek wrote: > On Fri, Nov 04, 2011 at 10:52:44AM +0100, Richard Guenther wrote: > > > - Gather vectorization patch + incremental patches > > > http://gcc.gnu.org/ml/gcc-patches/2011-10/msg02411.html > > > > I'm not sure I like using new builtins for gather represent

Re: Massive breakage with your libgcc patches

2011-11-04 Thread Bernd Schmidt
On 11/03/11 20:20, Rainer Orth wrote: > Here's the patch I've come up with. Should I commit it now or would you > like to do a full testsuite run first? Please commit, thanks. Bernd

Re: Mark objects death at end of scope

2011-11-04 Thread Jakub Jelinek
On Thu, Nov 03, 2011 at 02:07:31PM +0100, Michael Matz wrote: > In this specific case we could notice that resx1 actually is the outermost > resume, hence only will leave the function and therefore the clobber is > useless (as in, moving them down actually removes them from the function > body).

Re: [Patch] ARM EABI support for RTEMS

2011-11-04 Thread Ramana Radhakrishnan
> /home/sh/archive/gcc-4.7-20111029/libgcc/unwind-dw2.c: In function > 'init_dwarf_reg_size_table': > /home/sh/archive/gcc-4.7-20111029/libgcc/unwind-dw2.c:1482:39: internal > compiler error: in arm_dbx_register_number, at config/arm/arm.c:23536 Your original post in this thread suggested that you

Re: Mark objects death at end of scope

2011-11-04 Thread Jakub Jelinek
On Fri, Nov 04, 2011 at 12:39:47PM +0100, Jakub Jelinek wrote: > Well, for just the clobber stmts followed by resx that isn't caught in the > function at least we definitely shouldn't catch it, do nothing and rethrow. Forgot to mention, I'm not opposing the inclusion of your patch at this point un

Re: RFA: Add Epiphany port

2011-11-04 Thread Joseph S. Myers
On Fri, 4 Nov 2011, Joern Rennecke wrote: > :@item > :Normally, one or more maintainers of that target listed in > :@file{MAINTAINERS}. Some existing architectures may be unmaintained, > :but it would be unusual to add support for a target that does not have > :a maintainer when support is added.

Re: [trans-mem][build] Hack around top-level Makefile libstdc++ breakage

2011-11-04 Thread Joseph S. Myers
On Thu, 3 Nov 2011, Richard Henderson wrote: > I've worked for 2 days to try to work out what our Makefile does. It > seems completely and totally broken to me. I can't imagine there's a > quick fix, but I'd be delighted to be proven wrong. It would be fixed by staged install (install into a te

Re: [trans-mem][build] Hack around top-level Makefile libstdc++ breakage

2011-11-04 Thread Alexandre Oliva
On Nov 4, 2011, Richard Henderson wrote: > I can't imagine there's a quick fix, but I'd be delighted to be proven > wrong. I don't have a patch yet, but IMHO the correct and quick-ish fix would be in config-ml.in: get it to apply the same transformation to CC et al that it applies at configure

Re: cxx-mem-model merge [4 of 9] c-family

2011-11-04 Thread Joseph S. Myers
On Fri, 4 Nov 2011, Andrew MacLeod wrote: > > Given that C and C++ allow variable arguments to the standard type-generic > > macros/functions, it is also presumably OK - only undefined at runtime - > > for a constant memory model argument of the correct type to have a value > > representable in th

Re: [Patch] ARM EABI support for RTEMS

2011-11-04 Thread Sebastian Huber
Hello Ramana, thanks for the quick review. On 11/04/2011 12:43 PM, Ramana Radhakrishnan wrote: /home/sh/archive/gcc-4.7-20111029/libgcc/unwind-dw2.c: In function 'init_dwarf_reg_size_table': /home/sh/archive/gcc-4.7-20111029/libgcc/unwind-dw2.c:1482:39: internal compiler error: in arm_dbx_regis

[rs6000] Fix PR 50906, eh_frame and other woes

2011-11-04 Thread Alan Modra
Lots of bugs here. Most of them in TARGET_SPE_ABI code, but some also for other ABIs. 1) Marking an instruction setting up r11 for use by _save64gpr_* as frame-related results in r11 being set as the cfa for the rest of the function. That's bad when r11 gets used for other things later. Even wor

[PATCH] Gather vectorization (PR tree-optimization/50789, take 2)

2011-11-04 Thread Jakub Jelinek
Hi! On Fri, Nov 04, 2011 at 12:21:49PM +0100, Richard Guenther wrote: > Ok. I guess it's ok to use builtins for now - I didn't think of > the memory reference issue ;) Based on IRC discussion I'm posting an updated patch (both former patches (base and incremental) in one). I'm now using expr_in

Re: Re: [Ping] RE: CR16 Port addition

2011-11-04 Thread Jayant R. Sonar
Ping 5: For review Can someone please review the modified patch: http://gcc.gnu.org/ml/gcc-patches/2011-10/msg01985.html Most of the suggestions made by Richard have been accommodated in the modified patch. Richard's suggestions can be referred at: http://gcc.gnu.org/ml/gcc-patches/2011-10/msg00

Re: CFT: [build] Move crtstuff support to toplevel libgcc

2011-11-04 Thread Andreas Krebbel
On 11/02/2011 01:37 PM, Rainer Orth wrote: > 2011-07-15 Rainer Orth > > gcc: > * config.gcc (extra_parts): Remove. > (*-*-freebsd*): Remove extra_parts. > (*-*-linux*, frv-*-*linux*, *-*-kfreebsd*-gnu, *-*-knetbsd*-gnu, > *-*-gnu*, *-*-kopensolaris*-gnu): Likewise

Re: Reload related segfaults

2011-11-04 Thread Alan Modra
Ping http://gcc.gnu.org/ml/gcc-patches/2011-10/msg02429.html Eric fixed the bootstrap breakage by another patch, but there is a fairly obvious bug in gen_reload fixed by my patch. I gave enough contect in the diff that you don't even need to look at the file. :) -- Alan Modra Australia Developm

[Ada] Extend atomic synchronization handling to selections

2011-11-04 Thread Arnaud Charlet
This patch extends atomic synchronization to selected components and explicit dereferences when the result is a type for which atomic sync is enabled. Also it handles the case of an indexed selection from an array with atomic components. Tested on x86_64-pc-linux-gnu, committed on trunk 2011-11-0

[committed]: alpha-vms: fix ASM_OUTPUT_DEF

2011-11-04 Thread Tristan Gingold
Hi, silently switching section without calling switch_to_section is evil, and even more when this is not necessary. Fixed by this patch. Tristan. 2011-11-04 Tristan Gingold * config/alpha/vms.h (ASM_OUTPUT_DEF): Do not switch section. Index: config/alpha/vms.h

[rs6000] fix PR 30282, load from stack moved past stack update

2011-11-04 Thread Alan Modra
This patch fixes PR30282, caused by instructions being scheduled over the stack reset. Note that only for ABI_V4 do we currently have frame_reg_rtx != sp_reg_rtx in rs6000_emit_stack_reset, so the patch doesn't emit *less* blockages. I did benchmark this change and saw nothing but the usual bench

[Ada] Semantically analyze source aspect in ASIS mode

2011-11-04 Thread Arnaud Charlet
In ASIS mode, the source aspect for Pre/Post/Test_Case should be semantically analyzed, as this is the node that is read by ASIS tools. This does not occur in normal compilation mode, as the source aspect is first rewritten in a pragma, and the pragma is analyzed instead. Now, the source aspect is

[Ada] Create the Find_Name_In_Path helper

2011-11-04 Thread Arnaud Charlet
This is a preliminary work. Add a subprogram in the Prj.Env package so that it is possible to search in a project path. No functional change. Tested on x86_64-pc-linux-gnu, committed on trunk 2011-11-04 Tristan Gingold * prj-env.adb, prj-env.ads (Find_Name_In_Path): New function, from

[Ada] Add Generic_Sort operation to standard library

2011-11-04 Thread Arnaud Charlet
Ada 2012 added a generic operation for sorting an anonymous array (or array-like container), named Ada.Containers.Generic_Sort, per AI05-0001. The text of AI05-0001 can be found here: http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai05s/ai05-0001-1.txt Tested on x86_64-pc-linux-gnu, committed on tru

ping*2: [RFA:] testsuite infrastructure for options implied by dg-final methods

2011-11-04 Thread Hans-Peter Nilsson
Ping again, CC:ing testsuite maintainers. Honza thought this was a good idea, if that helps. > From: Hans-Peter Nilsson > Date: Fri, 28 Oct 2011 16:34:07 +0200 > Subject changed from '[RFA:] fix breakage with "Update testsuite > to run with slim LTO"' except it doesn't fix *all* breakage > intr

[Ada] Further refinement to Atomic_Synchronization handling

2011-11-04 Thread Arnaud Charlet
This patch cleans up and reorganizes the handling of atomic sync, and fixes some inconsistencies, e.g. an attribute reference was properly excluded for an identifier, but not for a selected component. Also the flag Atomic_Sync_Required is now on the selected component node itself not the selector n

Re: [PATCH] Straight-line strength reduction, stage 1

2011-11-04 Thread Richard Guenther
On Sun, Oct 30, 2011 at 5:10 PM, William J. Schmidt wrote: > Greetings, > > IVOPTS handles strength reduction of induction variables, but GCC does > not currently perform strength reduction in straight-line code.  This > has been noted before in PR22586 and PR35308.  PR46556 is also a case > that

[Ada] Further work on atomic synchronization

2011-11-04 Thread Arnaud Charlet
This makes the compiler detect one more case needing atomic synchronization, namely a pragma Atomic on a component with a predefined type. And this also excludes a few more cases not needing it. The compiler should issue the warning with -gnatw.n -gnatld7 -gnatj60 on: procedure Synccomp is typ

Re: [build] Restore arm-eabi bootstrap (PR target/50978)

2011-11-04 Thread Matthias Klose
On 11/03/2011 12:50 PM, Rainer Orth wrote: > This patch restores arm-none-eabi bootstrap, which had been broken by my > libgcc patches. They accidentally removed arm/t-bpabi in gcc/config.gcc > while the file is still needed for its addition to EXTRA_HEADERS. > > Matt confirmed in the PR that it

Re: cxx-mem-model merge [4 of 9] c-family

2011-11-04 Thread Andrew MacLeod
On 11/04/2011 08:51 AM, Joseph S. Myers wrote: DR#109 applies: "A conforming implementation must not fail to translate a strictly conforming program simply because some possible execution of that program would result in undefined behavior.". The value of a function parameter (that has the right

[Ada] Change semantics of Merge

2011-11-04 Thread Arnaud Charlet
The semantics of Merge changed slightly per AI05-0021. It was originally the case that if Target and Source denoted the same container object, then the GNAT implementation of Merge did nothing. However, it was argued that RM05 did not precisely specify the semantics for this corner case. The decisi

Re: Patch ping

2011-11-04 Thread Michael Matz
Hi, On Fri, 4 Nov 2011, Richard Guenther wrote: > > With the approach the incremental patch does I just walk what > > split_constant_offset during DR walks and peel off loop invariants > > until I have something that should be used as the vectorized index. > > It looks like split_constant_offs

[Ada] Message on rewriting loops is now an info message

2011-11-04 Thread Arnaud Charlet
This patch changes the message for rewriting loops into an info message (really no reason to give a warning!). The following test was compiled with -gnatld7 -gnatj60 1. procedure SCOGoto is 2.X : Integer; 3. begin 4.X := 1; 5.<> | >>> info: c

[Ada] Cleanup -gnatG output for machine code

2011-11-04 Thread Arnaud Charlet
This patch cleans up a minor glitch of outputting an extra semicolon after the code statement appearing as the expression of an Asm construct when using machine code. The following is compiled on an x86 with -gnatG 1. with system.machine_code; use system.machine_code; 2. procedure repro

[Ada] Inhibit exception push/pop when not needed

2011-11-04 Thread Arnaud Charlet
This patch inhibits the generation of exception push/pop nodes if restriction No_Exception_Handlers is active (when they are always useless), or in CodePeer mode (where they are never needed and can intefere with the analysis). The following program 1. pragma Restrictions (No_Exception_Propa

Re: CFT: [build] Move crtstuff support to toplevel libgcc

2011-11-04 Thread Rainer Orth
Andreas Krebbel writes: > This appears to break bootstrap on s390x: > > /home/andreas/regtest/gcc-bisect-build/./gcc/crtbeginS.o: In function > `__do_global_dtors_aux': > crtstuff.c:(.text+0x28): relocation truncated to fit: R_390_GOT12 against > symbol > `__cxa_finalize@@GLIBC_2.2' defined in

Re: CFT: [build] Move crtstuff support to toplevel libgcc

2011-11-04 Thread Andreas Krebbel
On 11/04/2011 02:17 PM, Andreas Krebbel wrote: > This appears to break bootstrap on s390x: > > /home/andreas/regtest/gcc-bisect-build/./gcc/crtbeginS.o: In function > `__do_global_dtors_aux': > crtstuff.c:(.text+0x28): relocation truncated to fit: R_390_GOT12 against > symbol > `__cxa_finalize@@

Re: [Patch] ARM EABI support for RTEMS

2011-11-04 Thread Sebastian Huber
On 11/04/2011 01:57 PM, Sebastian Huber wrote: It builds well and the test suite runs currently. http://gcc.gnu.org/ml/gcc-testresults/2011-11/msg00407.html -- Sebastian Huber, embedded brains GmbH Address : Obere Lagerstr. 30, D-82178 Puchheim, Germany Phone : +49 89 18 90 80 79-6 Fax

Re: [patch] 9/n: trans-mem: compiler ChangeLog entries

2011-11-04 Thread Michael Matz
Hi, On Thu, 3 Nov 2011, Aldy Hernandez wrote: > +2010-05-28 Aldy Hernandez > + > + * target-def.h (TARGET_VECTORIZE_BUILTIN_TM_LOAD): Define. > + (TARGET_VECTORIZE_BUILTIN_TM_STORE): Same. > + (TARGET_VECTORIZE): Add TM callbacks. This actually meanwhile is in target.def, you don'

Re: [patch] 15/n: trans-mem: compiler C++ changes

2011-11-04 Thread Michael Matz
Hi, On Thu, 3 Nov 2011, Aldy Hernandez wrote: > +++ gcc/cp/parser.c (.../branches/transactional-memory) (revision > 180773) > @@ -172,6 +172,10 @@ typedef enum required_token { >RT_JUMP, /* jump-statement */ >RT_CLASS_KEY, /* class-key */ >RT_CLASS_TYPENAME_TEMPLATE /* class, ty

Re: [C/C++] Fix PR c++/50608

2011-11-04 Thread Jason Merrill
OK. Jason

Re: CFT: [build] Move crtstuff support to toplevel libgcc

2011-11-04 Thread Rainer Orth
Andreas Krebbel writes: > This is caused by changing t-crtstuff-pic from: > CRTSTUFF_T_CFLAGS_S = $(CRTSTUFF_T_CFLAGS) -fPIC > to: > CRTSTUFF_T_CFLAGS_S = $(CRTSTUFF_T_CFLAGS) $(PICFLAG) > > With that change the crtbeginS file is built with -fpic instead of -fPIC and > therefore the > relocation

Re: [build] Restore arm-eabi bootstrap (PR target/50978)

2011-11-04 Thread Rainer Orth
Matthias Klose writes: > still fails to build on arm-linux-gnueabi, configured with > --with-arch=armv7-a > --with-float=hard > --with-fpu=vfpv3-d16 > --with-mode=thumb > > /usr/bin/ld: emutls_s.o: relocation R_ARM_THM_MOVW_ABS_NC against > `pthread_cancel' can

[Patch] alpha: add support for -fsection-anchors

2011-11-04 Thread Tristan Gingold
Hi, the alpha/vms ABI uses a per-function TOC/GOT, not unlike AIX. As a consequence, -fsection-anchors really reduce the size of the TOC and even of the code. This patch adds support of -fsection-anchors on alpha, and enable by default on Alpha/VMA (although it is still off at -O0). This is

Re: [patch] 15/n: trans-mem: compiler C++ changes

2011-11-04 Thread Aldy Hernandez
comma placement. Ciao, Michael. Committed. Thanks cp/parser.c (enum required_token): Fix comma. Index: parser.c === --- parser.c(revision 180772) +++ parser.c(working copy) @@ -171,9 +171,8 @@ typedef enum req

Re: [Patch] ARM multilib changes for RTEMS

2011-11-04 Thread Ralf Corsepius
On 11/04/2011 09:34 AM, Sebastian Huber wrote: Hello, please have a look at the attached patch. It is intended for inclusion in the GCC 4.7 branch. The embedded brains GmbH has a copyright assignment with the FSF. This patch is OK with me. Ralf

Re: [build] Restore arm-eabi bootstrap (PR target/50978)

2011-11-04 Thread Rainer Orth
Matthias Klose writes: > emutls_s.o indeed isn't built with -fPIC (it is on the 4.6 branch); PICFLAG in > libgcc/Makefile is set but apparently not used. I think I see what's going on: config/arm/t-elf (and config/arm/t-strongarm-elf) override HOST_LIBGCC2_CFLAGS instead of appending to it. Thi

Re: [patch] 14/n: trans-mem: compiler documentation

2011-11-04 Thread Michael Matz
Hi, On Thu, 3 Nov 2011, Aldy Hernandez wrote: > Index: gcc/doc/tm.texi > === > --- gcc/doc/tm.texi (.../trunk) (revision 180744) > +++ gcc/doc/tm.texi (.../branches/transactional-memory) (revision > 180773) > @@ -5758,6 +

Re: [PATCH] [Annotalysis] Fix ICE caused by ipa-sra optimization.

2011-11-04 Thread Delesley Hutchins
Thanks for the suggestion. Unfortunately, knowing the original declaration doesn't help me; I also need to know the original arguments that were passed at the call site, before those arguments were removed by ipa-sra. > (Of course, ipa-sra removes scalar parameters only when they are not > used i

Re: [Ada] Inhibit exception push/pop when not needed

2011-11-04 Thread Iain Sandoe
On 4 Nov 2011, at 14:09, Arnaud Charlet wrote: This patch inhibits the generation of exception push/pop nodes if restriction No_Exception_Handlers is active (when they are always useless), or in CodePeer mode (where they are never needed and can intefere with the analysis). this latest series

Re: [Patch] alpha: add support for -fsection-anchors

2011-11-04 Thread Richard Henderson
On 11/04/2011 07:52 AM, Tristan Gingold wrote: > Richard, as it impacts all alpha targets, do you have any objection ? I suspect not. We might even see what we can do about enabling it by default for all alpha targets... r~

Re: [patch] 19/n: trans-mem: compiler tree/gimple stuff

2011-11-04 Thread Michael Matz
Hi, On Thu, 3 Nov 2011, Aldy Hernandez wrote: > +/* GIMPLE_EH_ELSE must be the sole contents of > + a GIMPLE_TRY_FINALLY node. For all normal exits from the try block, > + we N_BODY is run; for all exception exits from the try block, s/we // > +++ gcc/calls.c (.../branches/transacti

Re: [Ada] Inhibit exception push/pop when not needed

2011-11-04 Thread Arnaud Charlet
>> This patch inhibits the generation of exception push/pop nodes if >> restriction No_Exception_Handlers is active (when they are always >> useless), or in CodePeer mode (where they are never needed and can >> intefere with the analysis). > > this latest series breaks bootstrap on at least i686-d

[Ada] Update dependencies

2011-11-04 Thread Arnaud Charlet
Fixes the build failure reported by Iain Sandoe on parallel builds. * gcc-interface/Make-lang.in: Update dependencies. Index: gcc-interface/Make-lang.in === --- gcc-interface/Make-lang.in (revision 180935) +++ gcc-interface/

Re: cxx-mem-model merge [1 of 9] gcc-1

2011-11-04 Thread Jeff Law
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 11/03/11 17:49, Andrew MacLeod wrote: > This is the first of 2 parts for the patches to the GCC directory, > it includes the changelog for parts 1 and 2 > > Primarily it is all the stuff required to create builtins. new > defs, support routines, co

Re: cxx-mem-model merge [7 of 9] testsuite - functional verification

2011-11-04 Thread Jeff Law
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 11/03/11 17:50, Andrew MacLeod wrote: > The testsuite changes are split into 3 parts. > > This part is all the new testsuite entries for testing the atomics > for functionality. ie, make sure they work as expected, and > generate errors when expect

Re: [PATCH] Optimize v*gather* with masks with all high bits set

2011-11-04 Thread Richard Henderson
On 11/04/2011 03:57 AM, Jakub Jelinek wrote: > + /* Optimize. If mask is known to have all high bits set, > + replace op0 with pc_rtx to signal that the instruction > + overwrites the whole destination and doesn't use its > + previous contents. */ Why pass in PC, rather than

Re: cxx-mem-model merge [5 of 9] fortran

2011-11-04 Thread Jeff Law
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 11/03/11 17:50, Andrew MacLeod wrote: > This patch simply mimics the builtin-types.def changes so that > fortran can build. Looks OK. I'd think the ChangeLog could be simplified to just note which new things were added -- I don't think we need the

Re: [patch] 15/n: trans-mem: compiler C++ changes

2011-11-04 Thread Jason Merrill
On 11/03/2011 02:53 PM, Aldy Hernandez wrote: + if (cp_lexer_next_token_is_not (parser->lexer, CPP_OPEN_SQUARE)) +return NULL_TREE; + cp_lexer_consume_token (parser->lexer); + if (!cp_parser_require (parser, CPP_OPEN_SQUARE, RT_OPEN_SQUARE)) +goto error1; Are you sure that [[attribut

Re: [trans-mem][build] Hack around top-level Makefile libstdc++ breakage

2011-11-04 Thread DJ Delorie
If libstdc++ has multilib-specific headers, which one gets installed? How will anything be able to use those headers from an installed tree?

Re: [PATCH] Optimize v*gather* with masks with all high bits set

2011-11-04 Thread Jakub Jelinek
On Fri, Nov 04, 2011 at 08:48:30AM -0700, Richard Henderson wrote: > On 11/04/2011 03:57 AM, Jakub Jelinek wrote: > > + /* Optimize. If mask is known to have all high bits set, > > +replace op0 with pc_rtx to signal that the instruction > > +overwrites the whole destination and doesn'

cxx-mem-model merge - Unified changelogs

2011-11-04 Thread Andrew MacLeod
OK, finally finished creating proper changelogs. I'll just throw all 8 of them in this one file if anyone wants to see then... c-family 2011-11-06 Richard Henderson * c-cppbuiltin.c (c_cpp_builtins): Test both atomic and sync patterns. 2011-11-06 Andrew MacLeod

Re: cxx-mem-model merge [7 of 9] testsuite - functional verification

2011-11-04 Thread Andrew MacLeod
On 11/04/2011 11:48 AM, Jeff Law wrote: -BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 11/03/11 17:50, Andrew MacLeod wrote: The testsuite changes are split into 3 parts. This part is all the new testsuite entries for testing the atomics for functionality. ie, make sure they work as expected

Re: [build] Restore arm-eabi bootstrap (PR target/50978)

2011-11-04 Thread Matthias Klose
On 11/04/2011 10:58 AM, Rainer Orth wrote: > Matthias Klose writes: > >> emutls_s.o indeed isn't built with -fPIC (it is on the 4.6 branch); PICFLAG >> in >> libgcc/Makefile is set but apparently not used. > > I think I see what's going on: config/arm/t-elf (and > config/arm/t-strongarm-elf) ov

Re: [trans-mem][build] Hack around top-level Makefile libstdc++ breakage

2011-11-04 Thread Richard Henderson
On 11/04/2011 05:32 AM, Joseph S. Myers wrote: > It would be fixed by staged install ... Yeah, I thought of that too. Maybe for 4.8... r~

Re: cxx-mem-model merge [1 of 9] gcc-1

2011-11-04 Thread Andrew MacLeod
On 11/04/2011 11:39 AM, Jeff Law wrote: On 11/03/11 17:49, Andrew MacLeod wrote: This is the first of 2 parts for the patches to the GCC directory, it includes the changelog for parts 1 and 2 Primarily it is all the stuff required to create builtins. new defs, support routines, config changes,

Re: cxx-mem-model merge [5 of 9] fortran

2011-11-04 Thread Andrew MacLeod
On 11/04/2011 11:50 AM, Jeff Law wrote: -BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 11/03/11 17:50, Andrew MacLeod wrote: This patch simply mimics the builtin-types.def changes so that fortran can build. Looks OK. I'd think the ChangeLog could be simplified to just note which new things

Re: [PATCH] Optimize v*gather* with masks with all high bits set

2011-11-04 Thread Richard Henderson
On 11/04/2011 08:53 AM, Jakub Jelinek wrote: > On Fri, Nov 04, 2011 at 08:48:30AM -0700, Richard Henderson wrote: >> On 11/04/2011 03:57 AM, Jakub Jelinek wrote: >>> + /* Optimize. If mask is known to have all high bits set, >>> +replace op0 with pc_rtx to signal that the instruction >>>

Re: [trans-mem][build] Hack around top-level Makefile libstdc++ breakage

2011-11-04 Thread H.J. Lu
On Thu, Nov 3, 2011 at 10:57 PM, Richard Henderson wrote: > We currently have a problem building libitm because it uses the libstdc++ > header , and the toplevel Makefile passes a single set of > include paths for all multilibs.  In the recent merges from mainline, we > brought in changes to that

Re: [trans-mem][build] Hack around top-level Makefile libstdc++ breakage

2011-11-04 Thread DJ Delorie
> I believe that C++ tests pick the correct bits/c++config for > -m32. Can't libitm do something similar? The problem is that the -I for the build is chosen at the toplevel, *before* iterating over the multilibs, whereas the -I for testing is chosen in dejagnu, *after* iterating over the multilib

  1   2   >