[PATCH GCC]Improving register pressure directed hoist

2012-10-29 Thread Bin Cheng
Hi, This patch improves register pressure directed hoist by accurately monitoring the change of register pressure during code hoisting and use this information to feedback further code hoisting. To know how register pressure is affected when hoisting an expression(x+y) through a basic block, the

Re: [RFC PATCH, i386]: Remove peephole2s for (subreg (operator (...)(...))) RTXes

2012-10-29 Thread Uros Bizjak
On Sun, Oct 28, 2012 at 2:37 AM, H.J. Lu hjl.to...@gmail.com wrote: As suggested by Richard S. [1], after the patch that converts subreg:M (op:N (...)(...)) to op:M (subreg:M (...) subreg:M (...)), we can remove several peephole2 patterns that handle subregs of PLUS, MINUS and MULT operators.

[PATCH/AARCH64] Fix build after __builtin_thread_pointer changes

2012-10-29 Thread Andrew Pinski
Hi, Right now aarch64-*-* is broken because the C front-end also defines a __builtin_thread_pointer which causes an internal error. We don't need to do the __builtin_thread_pointer support in the back-end. This patch moves aarch64 to using the common code instead. OK? Built for

Re: Ping: [PATCH] Install error handler for out-of-memory when using STL containers

2012-10-29 Thread Paul Richard Thomas
Hi Tobi, It looks straightforward to me but I am not convinced that a fortran maintainer should be giving the green light on this :-) Cheers Paul On 28 October 2012 16:28, Tobias Schlüter tobias.schlue...@physik.uni-muenchen.de wrote: Ping. This issue stands in the way of a very simple

Re: [RFC PATCH, i386]: Remove peephole2s for (subreg (operator (...)(...))) RTXes

2012-10-29 Thread Uros Bizjak
On Mon, Oct 29, 2012 at 9:07 AM, Uros Bizjak ubiz...@gmail.com wrote: As suggested by Richard S. [1], after the patch that converts subreg:M (op:N (...)(...)) to op:M (subreg:M (...) subreg:M (...)), we can remove several peephole2 patterns that handle subregs of PLUS, MINUS and MULT

Re: [PATCH/AARCH64] Fix build after __builtin_thread_pointer changes

2012-10-29 Thread Richard Earnshaw (home)
On 29 Oct 2012, at 09:26, Andrew Pinski andrew.pin...@caviumnetworks.com wrote: Hi, Right now aarch64-*-* is broken because the C front-end also defines a __builtin_thread_pointer which causes an internal error. We don't need to do the __builtin_thread_pointer support in the back-end.

[Ada] Special case for case expression alternative moved in caller

2012-10-29 Thread Arnaud Charlet
Is_Signed_Integer_Arithmetic_Op is called to recognize an arithmetic operation on signed integers, or on if expressions and case expressions whose dependent expressions are arithmetic operation on signed integers. A special case was included for N_Case_Expression_Alternative which should have been

[Ada] Warn for failure to parenthesize unary minus

2012-10-29 Thread Arnaud Charlet
This patch gives a warning when unary minus is used in a context that requires parentheses, and no parentheses are present, as shown by the following test: 1. function Test_Mod_B (N: in Integer) return Integer is 2. begin 3.return N mod -10; |

[Ada] Keep checks in Alfa mode for formal verification

2012-10-29 Thread Arnaud Charlet
Checks were suppressed to avoid undesired expansion in Alfa mode. It turns out these checks are needed during semantic analysis for the frontend to properly mark nodes as needing or not a run-time check, and the special expansion done in Alfa mode prevents the undesired expansion of checks. So

[Ada] Warn for suspicious same range nested loops

2012-10-29 Thread Arnaud Charlet
If nested loops appear where the iteration ranges are over the same range of a multi-dimensional range (where the range number has been defaulted to 1), then a warning is issued as shown in the following example: 1. procedure Warn2D is 2.type E is array (Integer range , Integer

[Ada] Source location of generated nodes for To_Any calls

2012-10-29 Thread Arnaud Charlet
This change modifies the source location assigned to expander generated nodes produced in the context of the distributed systems annex. Previously, we always assigned code generated for the conversion of an expression to the intermediate Any representation the location of the expression. However

[Ada] Only one of Priority or Interrupt_Priority can be specified

2012-10-29 Thread Arnaud Charlet
ARM D.1.7 states that only one pragma priority or interrupt_priority can be given for a given entity. This patch recognizes some illegal instances of these two pragmas or aspects, that were previously undiagnosed. Compiling tasking.ads in Ada 2012 mode must yield: tasking.ads:17:07:

[Ada] Warn on redefinition of standard entities

2012-10-29 Thread Arnaud Charlet
A new warning flag -gnatw.k causes the compiler to emit a warning if a declaration redefines an entity of package Standard. Such redefinitions are usually not a good idea, since these entities are directly visible, and this can lead to confusion. This warning is off by default. The following,

[Ada] Internal bindgen.adb cleanup

2012-10-29 Thread Arnaud Charlet
This patch remove a duplicated logic to check wether a package is in the closure. No functional change. Tested on x86_64-pc-linux-gnu, committed on trunk 2012-10-29 Tristan Gingold ging...@adacore.com * bindgen.adb (Check_File_In_Partition, Check_System_Restrictions_Used):

[Ada] Add support for returning binary message digest

2012-10-29 Thread Arnaud Charlet
If a binary digest is needed it is a waste of time to recompute it from the string encoded digest. Tested on x86_64-pc-linux-gnu, committed on trunk 2012-10-29 Pascal Obry o...@adacore.com * g-sechas.adb, g-sechas.ads: (Binary_Message_Digest): New subtype. (Digest): New

Re: [patch][rfc] Clean up CFG dumping

2012-10-29 Thread H.J. Lu
On Mon, Jul 16, 2012 at 8:57 AM, Steven Bosscher stevenb@gmail.com wrote: Hello, There are comments in basic-block.h that advise to update certain parts of the compiler if a new edge flag or basic block flag is added: -/* Always update the table in cfg.c dump_edge_info. */ and -

[Ada] Add a new pragma Assert_And_Cut for formal verification tools

2012-10-29 Thread Arnaud Charlet
The new pragma Assert_And_Cut behaves exactly like pragma Assert for compilation, but it informs formal verification tools of program points where the tool may simpllify it treatment by using the given assertion. Tested on x86_64-pc-linux-gnu, committed on trunk 2012-10-29 Yannick Moy

[Ada] Clean up of gnatbind output (for non-standard run times)

2012-10-29 Thread Arnaud Charlet
A declaration for Is_Elaborated was emitted but never referenced. No functional change. Tested on x86_64-pc-linux-gnu, committed on trunk 2012-10-29 Tristan Gingold ging...@adacore.com * bindgen.adb (Gen_Output_File_Ada): Do not emit declaration for Is_Elaborated if not

[Ada] Duplicate entries for parameters in gnatxref output

2012-10-29 Thread Arnaud Charlet
When a call to a subprogram in another package uses named parameters, gnatxref will sometimes output duplicate entries for the parameter, depending on the order in which the ALI files are read. Tested on x86_64-pc-linux-gnu, committed on trunk 2012-10-29 Emmanuel Briot br...@adacore.com

[Ada] Implement Pragma Partition_Elaboration_Policy

2012-10-29 Thread Arnaud Charlet
Initial work to implement pragma Partition_Elaboration_Policy. Currently, only consistency is checked, the runtime only implements one policy. A following patch will add a pragma Partition_Elaboration_Policy in the runtime to enforce the policy (when tasking is used). Tested on

Re: [RFC PATCH, i386]: Remove peephole2s for (subreg (operator (...)(...))) RTXes

2012-10-29 Thread Uros Bizjak
On Mon, Oct 29, 2012 at 10:06 AM, Uros Bizjak ubiz...@gmail.com wrote: As suggested by Richard S. [1], after the patch that converts subreg:M (op:N (...)(...)) to op:M (subreg:M (...) subreg:M (...)), we can remove several peephole2 patterns that handle subregs of PLUS, MINUS and MULT

[Ada] Static entry [family] names for VMS Debug

2012-10-29 Thread Arnaud Charlet
This patch reimplements the mechanism which creates string names for entries and families. The names are now created statically during object initialization and associated with the concurrent object's Protection_Entries or ATCB. This approach eliminates the need for runtime support (allocation,

[Ada] New implementation-defined pragma: Attribute_Definition

2012-10-29 Thread Arnaud Charlet
This change introduces a new implementation defined pragma Attribute_Definition, which allows an attribute definition clause to be expressed in a backward-compatible manner: compilers not supporting the pragma, or the specified attribute, will just ignore it. Tested on x86_64-pc-linux-gnu,

[Ada] Fix thinko in bignum allocation routine

2012-10-29 Thread Arnaud Charlet
This makes the new support for extended overflow checking work on big-endian platforms as well by fixing a thinko in the allocation routine of bignums. No functional changes. Tested on x86_64-pc-linux-gnu, committed on trunk 2012-10-29 Eric Botcazou ebotca...@adacore.com *

[Ada] Incorrect sign extensions on IOCTL system constants

2012-10-29 Thread Arnaud Charlet
This change fixes incorrect values in s-oscons.ads on x86_64-freebsd, which were caused by those values being processed as signed, instead of unsigned, integers. Tested on x86_64-pc-linux-gnu, committed on trunk 2012-10-29 Thomas Quinot qui...@adacore.com * s-oscons-tmplt.c: Fix

[Ada] Ignore Optimize_Alignment (Space) for packed variable length record

2012-10-29 Thread Arnaud Charlet
Normally pragma Optimize_Alignment (Space) forces an alignment of 1 for any packed record, but we can't do that for a variable length record, since we can't implement that case, so ignore the pragma in this case with a warning. The following test program shows the patch in action: 1. pragma

[Patch] Add myself to MAINTAINERS as Write After Approval

2012-10-29 Thread James Greenhalgh
Hi, This patch adds me to the Write After Approval section of MAINTAINERS. Regards, James Greenhalgh -- 2012-10-26 James Greenhalgh james.greenha...@arm.com * MAINTAINERS (Write After Approval): Add myself. wap.patch Description: wap.patch

PATCH: Correct alloca length in dump_gimple_bb_header

2012-10-29 Thread H.J. Lu
Hi, When indent == 0, we call alloca with -1 bytes. This patch changes it to indent + 1. This is a trunk only regression. OK to install? Thanks. H.J. --- 2012-10-29 H.J. Lu hongjiu...@intel.com * gimple-pretty-print.c (dump_gimple_bb_header): Correct alloca length. diff

Re: PATCH: Correct alloca length in dump_gimple_bb_header

2012-10-29 Thread Jakub Jelinek
On Mon, Oct 29, 2012 at 05:06:01AM -0700, H.J. Lu wrote: When indent == 0, we call alloca with -1 bytes. This patch changes it to indent + 1. This is a trunk only regression. OK to install? 2012-10-29 H.J. Lu hongjiu...@intel.com * gimple-pretty-print.c (dump_gimple_bb_header):

Re: User directed Function Multiversioning via Function Overloading (issue5752064)

2012-10-29 Thread Jan Hubicka
Index: gcc/cgraph.c === --- gcc/cgraph.c (revision 192623) +++ gcc/cgraph.c (working copy) @@ -132,6 +132,74 @@ static GTY(()) struct cgraph_edge *free_edges; /* Did procss_same_body_aliases run? */ bool

Re: PATCH: Correct alloca length in dump_gimple_bb_header

2012-10-29 Thread H.J. Lu
On Mon, Oct 29, 2012 at 5:18 AM, Jakub Jelinek ja...@redhat.com wrote: On Mon, Oct 29, 2012 at 05:06:01AM -0700, H.J. Lu wrote: When indent == 0, we call alloca with -1 bytes. This patch changes it to indent + 1. This is a trunk only regression. OK to install? 2012-10-29 H.J. Lu

Re: [Patch] Remove _GLIBCXX_HAVE_BROKEN_VSWPRINTF from mingw32-w64/os_defines.h

2012-10-29 Thread JonY
Fix the mail subject line. On 10/29/2012 06:56, JonY wrote: Hi, Workaround now exists for trunk mingw-w64 headers. Kai approved over IRC, so anybody with commit rights please push. ChangeLog 2012-10-29 Jonathan Yong jo...@users.sourceforge.net *

Re: [patch] Unify bitmap interface.

2012-10-29 Thread Diego Novillo
On Thu, Oct 25, 2012 at 6:39 PM, Lawrence Crowl cr...@googlers.com wrote: The sbitmap non-bool returning bitwise operations have been merged with the bool versions. Sometimes this merge involved modifying the non-bool version to compute the bool value, and sometimes modifying bool version to

PATCH: PR rtl-optimization/55093: [4.8 Regression] [x32] -maddress-mode=long failed

2012-10-29 Thread H.J. Lu
Hi, This patch changes get_elimination to check register number instead of RTX. Tested on Linux/x32 with -maddress-mode=long. OK to install? Thanks. H.J. --- gcc/ 2012-10-29 H.J. Lu hongjiu...@intel.com PR rtl-optimization/55093 * lra-eliminations.c (get_elimination):

Re: [PATCH] Fix debug info for expr and jump stmt

2012-10-29 Thread Michael Matz
Hi, On Fri, 26 Oct 2012, Dehao Chen wrote: 1. abandon the changes in cfgexpand.c Well, you merely moved the bogus code to gimple-low.c. It is bogus because you unconditionally overwrite TREE_BLOCK of all operands (and all operands operands) with the statements block. I assume the unit-test

Re: Make inliner to predict this-field to be optimized out

2012-10-29 Thread Richard Biener
On Mon, Oct 29, 2012 at 1:03 AM, Jan Hubicka hubi...@ucw.cz wrote: Hi, this patch makes optimizer to predict this-field to be optimized out. The main motivation for this is to make destructors that only calls destructor of inner type to be inlined, even in the cold regions.

Re: [patch] Unify bitmap interface.

2012-10-29 Thread Richard Biener
On Mon, Oct 29, 2012 at 2:06 PM, Diego Novillo dnovi...@google.com wrote: On Thu, Oct 25, 2012 at 6:39 PM, Lawrence Crowl cr...@googlers.com wrote: The sbitmap non-bool returning bitwise operations have been merged with the bool versions. Sometimes this merge involved modifying the non-bool

Re: real_zerop for vectors

2012-10-29 Thread Richard Biener
On Sun, Oct 28, 2012 at 4:14 PM, Marc Glisse marc.gli...@inria.fr wrote: Hello, this patch lets some predicates on floating point constants answer true for vectors, so optimizations are applied. Tested bootstrap + testsuite (default languages). Ok. Bonus points if you quickly eyed users of

Re: [PATCH] Fix CDDCE miscompilation (PR tree-optimization/55018)

2012-10-29 Thread Richard Biener
On Sun, Oct 28, 2012 at 7:33 PM, Steven Bosscher stevenb@gmail.com wrote: On Mon, Oct 22, 2012 at 11:09 PM, Jakub Jelinek wrote: On Mon, Oct 22, 2012 at 10:51:43PM +0200, Steven Bosscher wrote: Wouldn't it be way cheaper to just export dfs_find_deadend from cfganal.c and call it in

Re: [PATCH] Fix debug info for expr and jump stmt

2012-10-29 Thread Richard Biener
On Mon, Oct 29, 2012 at 2:51 PM, Michael Matz m...@suse.de wrote: Hi, On Fri, 26 Oct 2012, Dehao Chen wrote: 1. abandon the changes in cfgexpand.c Well, you merely moved the bogus code to gimple-low.c. It is bogus because you unconditionally overwrite TREE_BLOCK of all operands (and all

Re: [PATCH] Fix debug info for expr and jump stmt

2012-10-29 Thread Michael Matz
Hi, On Mon, 29 Oct 2012, Richard Biener wrote: Well, you merely moved the bogus code to gimple-low.c. It is bogus because you unconditionally overwrite TREE_BLOCK of all operands (and all operands operands) with the statements block. I assume the unit-test you added shows the problem

Re: [Ada] Ignore Optimize_Alignment (Space) for packed variable length record

2012-10-29 Thread Diego Novillo
Arnaud, After updating my tree to rev 192942 this morning, I'm getting a bootstrap failure with ada enabled: raised CONSTRAINT_ERROR : a-comlin.adb:65 explicit raise make[6]: *** [rts/s-oscons.ads] Error 1 make[6]: Leaving directory `bld-gcc/gcc/ada' make[5]: *** [gnatlib-shared-default] Error 2

Re: [Ada] Ignore Optimize_Alignment (Space) for packed variable length record

2012-10-29 Thread Arnaud Charlet
After updating my tree to rev 192942 this morning, I'm getting a bootstrap failure with ada enabled: Looks like make did not rebuild (or too late?) xoscons. I'd suggest doing a rm -rf gcc/ada/bldtools from your obj directory and see if this fixes the error. If not, you might need to do a make

Re: real_zerop for vectors

2012-10-29 Thread Marc Glisse
On Mon, 29 Oct 2012, Richard Biener wrote: On Sun, Oct 28, 2012 at 4:14 PM, Marc Glisse marc.gli...@inria.fr wrote: Hello, this patch lets some predicates on floating point constants answer true for vectors, so optimizations are applied. Tested bootstrap + testsuite (default languages).

Re: [Ada] Ignore Optimize_Alignment (Space) for packed variable length record

2012-10-29 Thread Diego Novillo
On Mon, Oct 29, 2012 at 10:36 AM, Arnaud Charlet char...@adacore.com wrote: After updating my tree to rev 192942 this morning, I'm getting a bootstrap failure with ada enabled: Looks like make did not rebuild (or too late?) xoscons. I'd suggest doing a rm -rf gcc/ada/bldtools from your obj

Re: [Ada] Ignore Optimize_Alignment (Space) for packed variable length record

2012-10-29 Thread Arnaud Charlet
Well, this was a build from scratch. Maybe there is a parallel make bug in the new ada changes? Some undeclared dependency? There is not in the recent changes. Maybe there's a latent bug, although I have never experienced it. At which revision are you? Arno

Re: [Ada] Ignore Optimize_Alignment (Space) for packed variable length record

2012-10-29 Thread Diego Novillo
On Mon, Oct 29, 2012 at 10:39 AM, Arnaud Charlet char...@adacore.com wrote: Well, this was a build from scratch. Maybe there is a parallel make bug in the new ada changes? Some undeclared dependency? There is not in the recent changes. Maybe there's a latent bug, although I have never

Re: [Ada] Ignore Optimize_Alignment (Space) for packed variable length record

2012-10-29 Thread Arnaud Charlet
Well, this was a build from scratch. Maybe there is a parallel make bug in the new ada changes? Some undeclared dependency? There is not in the recent changes. Maybe there's a latent bug, although I have never experienced it. At which revision are you? rev 192942. Can you

Re: patch to fix PR55106

2012-10-29 Thread Vladimir Makarov
On 12-10-28 8:49 PM, H.J. Lu wrote: On Sun, Oct 28, 2012 at 5:43 PM, Vladimir Makarov vmaka...@redhat.com wrote: The following patch fixes PR55106. A value in GENERAL_REGS is inherited into a move with destination pseudo of SSE_REGS. It results into secondary move for which inheritance is

Re: PATCH: PR rtl-optimization/55093: [4.8 Regression] [x32] -maddress-mode=long failed

2012-10-29 Thread Vladimir Makarov
On 12-10-29 9:06 AM, H.J. Lu wrote: Hi, This patch changes get_elimination to check register number instead of RTX. Tested on Linux/x32 with -maddress-mode=long. OK to install? Yes. Thanks, H.J.

Re: Trailing white spaces in LRA codes

2012-10-29 Thread Vladimir Makarov
On 12-10-28 11:03 PM, H.J. Lu wrote: Hi Vladimir, There are many trialling white spaces in LRA codes. This patch removes them. Thank you for pointing this out. I should be more careful with emacs macros using TAB. It would be nice if you install the patch.

Re: [Ada] Ignore Optimize_Alignment (Space) for packed variable length record

2012-10-29 Thread Diego Novillo
On Mon, Oct 29, 2012 at 10:44 AM, Arnaud Charlet char...@adacore.com wrote: Well, this was a build from scratch. Maybe there is a parallel make bug in the new ada changes? Some undeclared dependency? There is not in the recent changes. Maybe there's a latent bug, although I have never

Re: [Ada] Ignore Optimize_Alignment (Space) for packed variable length record

2012-10-29 Thread Diego Novillo
On Mon, Oct 29, 2012 at 10:48 AM, Diego Novillo dnovi...@google.com wrote: On Mon, Oct 29, 2012 at 10:44 AM, Arnaud Charlet char...@adacore.com wrote: Well, this was a build from scratch. Maybe there is a parallel make bug in the new ada changes? Some undeclared dependency? There is not

Re: [Ada] Ignore Optimize_Alignment (Space) for packed variable length record

2012-10-29 Thread Arnaud Charlet
Yup, it does: OK then can you check the timestamp of ./gcc/ada/bldtools/oscons/xoscons vs e.g. ./gcc/ada/bldtools/oscons/xoscons/xoscons.adb and $(srcdir)/gcc/ada/xoscons.adb? Arno

Re: [PATCH 3/3] [asan] Instrument built-in memory access function calls

2012-10-29 Thread Hans-Peter Nilsson
On Wed, 24 Oct 2012, Dodji Seketeli wrote: Jakub Jelinek ja...@redhat.com writes: On Tue, Oct 23, 2012 at 03:11:29PM +0200, Dodji Seketeli wrote: * asan.c (insert_if_then_before_iter) (instrument_mem_region_access) (maybe_instrument_builtin_call, maybe_instrument_call): New

Re: Make inliner to predict this-field to be optimized out

2012-10-29 Thread Jan Hubicka
{ tree rhs = gimple_assign_rhs1 (stmt); @@ -1584,6 +1585,20 @@ eliminated_by_inlining_prob (gimple stmt /* Reads of parameter are expected to be free. */ if (unmodified_parm (stmt, inner_rhs)) rhs_free = true; +

Re: PATCH: PR rtl-optimization/55093: [4.8 Regression] [x32] -maddress-mode=long failed

2012-10-29 Thread Richard Sandiford
H.J. Lu hjl.to...@gmail.com writes: Hi, This patch changes get_elimination to check register number instead of RTX. Tested on Linux/x32 with -maddress-mode=long. OK to install? FWIW, this doesn't sound right to me, at least not without more justification. The idea is that things like

Re: [RFC PATCH, i386]: Remove peephole2s for (subreg (operator (...)(...))) RTXes

2012-10-29 Thread Richard Sandiford
Uros Bizjak ubiz...@gmail.com writes: On Sun, Oct 28, 2012 at 2:37 AM, H.J. Lu hjl.to...@gmail.com wrote: As suggested by Richard S. [1], after the patch that converts subreg:M (op:N (...)(...)) to op:M (subreg:M (...) subreg:M (...)), we can remove several peephole2 patterns that handle

Re: [Ada] Ignore Optimize_Alignment (Space) for packed variable length record

2012-10-29 Thread Diego Novillo
On Mon, Oct 29, 2012 at 10:51 AM, Arnaud Charlet char...@adacore.com wrote: Yup, it does: OK then can you check the timestamp of ./gcc/ada/bldtools/oscons/xoscons vs e.g. ./gcc/ada/bldtools/oscons/xoscons/xoscons.adb and $(srcdir)/gcc/ada/xoscons.adb? I have no directory called

Re: [PATCH] Fix debug info for expr and jump stmt

2012-10-29 Thread Dehao Chen
On Mon, Oct 29, 2012 at 7:17 AM, Michael Matz m...@suse.de wrote: Hi, On Mon, 29 Oct 2012, Richard Biener wrote: Well, you merely moved the bogus code to gimple-low.c. It is bogus because you unconditionally overwrite TREE_BLOCK of all operands (and all Emm, then in gimple-low.c, we

Re: [Ada] Ignore Optimize_Alignment (Space) for packed variable length record

2012-10-29 Thread Arnaud Charlet
I have no directory called gcc/ada/bldtools/oscons/xoscons. That's an executable. Yes, that's as expected, I asked you to check the timestamp of this file. Still happens with -j1 (after starting from scratch), so it's probably not a parallel make issue. Right, no surprise here. We

Re: [PR54693] loss of debug info in jump threading and loop ivopts

2012-10-29 Thread Alexandre Oliva
On Oct 26, 2012, Jakub Jelinek ja...@redhat.com wrote: On Fri, Oct 26, 2012 at 04:30:41AM -0200, Alexandre Oliva wrote: From: Alexandre Oliva lxol...@fsfla.org Fixed .git/config and the patches to use my @redhat.com address for these patches. +++ b/gcc/testsuite/gcc.dg/guality/pr54693.c

Re: [PATCH] Fix libbacktrace on 32-bit sparc

2012-10-29 Thread Ian Lance Taylor
On Sat, Oct 27, 2012 at 10:12 PM, David Miller da...@davemloft.net wrote: From: David Miller da...@davemloft.net Date: Sun, 28 Oct 2012 00:31:27 -0400 (EDT) The size is 24, and my patch definitely makes the crashes go away. It seems like a vector is being used for a mixed set of objects.

Minor update for inlining for code size

2012-10-29 Thread Jan Hubicka
Hi, this patch updates inlining functions called once into inlining functions called multiple times when the overall unit size for inlining everywhere shriks. This is now quite possible in the cases where inline predicates catch some DCE as seen in the silly testcase attached. We already caught

Re: [PATCH] gcc-{ar,nm,ranlib}: Find binutils binaries relative to self

2012-10-29 Thread Meador Inge
Ping ^ 3. On 10/18/2012 10:30 AM, Meador Inge wrote: Ping ^ 2. On 10/09/2012 09:44 PM, Meador Inge wrote: Ping. On 10/04/2012 03:45 PM, Meador Inge wrote: Hi All, Currently the gcc-{ar,nm,ranlib} utilities assume that binutils is in path when invoking the wrapped binutils program.

RFA: patch to fix PR55116

2012-10-29 Thread Vladimir Makarov
H.J. in http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55116 reported an interesting address (and:DI (subreg:DI (plus:SI (ashift:SI (reg:SI 96 [ glob_vol_int.22 ]) (const_int 2 [0x2])) (symbol_ref:SI (glob_vol_int_arr) var_decl 0x703c2720 glob_vol_int_arr)) 0)

Re: [PATCH] Fix debug info for expr and jump stmt

2012-10-29 Thread Richard Biener
On Mon, Oct 29, 2012 at 4:25 PM, Dehao Chen de...@google.com wrote: On Mon, Oct 29, 2012 at 7:17 AM, Michael Matz m...@suse.de wrote: Hi, On Mon, 29 Oct 2012, Richard Biener wrote: Well, you merely moved the bogus code to gimple-low.c. It is bogus because you unconditionally overwrite

Re: [Ada] Ignore Optimize_Alignment (Space) for packed variable length record

2012-10-29 Thread Arnaud Charlet
We chatted about this on IRC, and Richi is seeing the same problem on his builds. Very strange. I'm looking at it. OK, this comes from code duplicated between gcc-interface/Makefile.in and Make-generated.in, pretty messy. Testing the patch below, will commit if success. 2012-10-29

Re: RFA: patch to fix PR55116

2012-10-29 Thread Richard Sandiford
Vladimir Makarov vmaka...@redhat.com writes: H.J. in http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55116 reported an interesting address (and:DI (subreg:DI (plus:SI (ashift:SI (reg:SI 96 [ glob_vol_int.22 ]) (const_int 2 [0x2])) (symbol_ref:SI

Re: [Ada] Ignore Optimize_Alignment (Space) for packed variable length record

2012-10-29 Thread Arnaud Charlet
Testing the patch below, will commit if success. 2012-10-29 Arnaud Charlet char...@adacore.com * gcc-interface/Makefile.in (s-oscons.ads): Adjust call to xoscons. Committed on trunk now. Sorry for the breakage, my build was incremental and missed this missing part. Arno

Re: RFA: patch to fix PR55116

2012-10-29 Thread Richard Sandiford
Sorry, forgot a line: Richard Sandiford rdsandif...@googlemail.com writes: Vladimir Makarov vmaka...@redhat.com writes: Index: rtlanal.c === --- rtlanal.c (revision 192942) +++ rtlanal.c (working copy) @@ -5459,6 +5459,11

Re: Fix estimation of array accesses

2012-10-29 Thread Jan Hubicka
ICK ... Why not sth as simple as return num_ssa_operands (stmt, SSA_OP_USE); ? a[1][2] and b[2] really have the same cost, variable length objects have extra SSA operands in ARRAY_REF/COMPONENT_REF for the size. Thus, stmt cost somehow should reflect the number of dependent

Re: [PATCH] Fix debug info for expr and jump stmt

2012-10-29 Thread Michael Matz
Hi, On Mon, 29 Oct 2012, Dehao Chen wrote: On Mon, Oct 29, 2012 at 7:17 AM, Michael Matz m...@suse.de wrote: Hi, On Mon, 29 Oct 2012, Richard Biener wrote: Well, you merely moved the bogus code to gimple-low.c. It is bogus because you unconditionally overwrite TREE_BLOCK of all

Re: RFA: patch to fix PR55116

2012-10-29 Thread Vladimir Makarov
On 12-10-29 12:21 PM, Richard Sandiford wrote: Vladimir Makarov vmaka...@redhat.com writes: H.J. in http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55116 reported an interesting address (and:DI (subreg:DI (plus:SI (ashift:SI (reg:SI 96 [ glob_vol_int.22 ]) (const_int 2

Re: RFA: patch to fix PR55116

2012-10-29 Thread Vladimir Makarov
On 12-10-29 12:30 PM, Richard Sandiford wrote: Sorry, forgot a line: i.e. please use SUBREG_REG rather than XEXP. I've just fixed it.

[PATCH, i386]: Simplify AND-extended address decomposition

2012-10-29 Thread Uros Bizjak
Hello! Since we use simplify_gen_subreg on address part, we can use it for DImode subreg of SImode address as well. simplify_gen_subreg knows how to strip subreg. 2012-10-29 Uros Bizjak ubiz...@gmail.com * config/i386/i386.c (ix86_decompose_address): Use simplify_gen_subreg

Re: [PATCH] Fix debug info for expr and jump stmt

2012-10-29 Thread Dehao Chen
On Mon, Oct 29, 2012 at 9:10 AM, Richard Biener richard.guent...@gmail.com wrote: On Mon, Oct 29, 2012 at 4:25 PM, Dehao Chen de...@google.com wrote: On Mon, Oct 29, 2012 at 7:17 AM, Michael Matz m...@suse.de wrote: Hi, On Mon, 29 Oct 2012, Richard Biener wrote: Well, you merely moved the

Parts 3 and 4 to the vxworks/fixincludes patches

2012-10-29 Thread Bruce Korb
The first two patches I've applied. The remaining two are needed to fully enable building the VxWorks flavor of GCC, but those bits affect parts outside of fixincludes and there is some breakage somewhere. All evidence seems to me to show fixincludes still doing its thing correctly, but somewhere

Re: [Ada] Ignore Optimize_Alignment (Space) for packed variable length record

2012-10-29 Thread Diego Novillo
On Mon, Oct 29, 2012 at 12:29 PM, Arnaud Charlet char...@adacore.com wrote: Committed on trunk now. Sorry for the breakage, my build was incremental and missed this missing part. Great. Thanks for the quick fix! Diego.

Re: [PATCH] Fix debug info for expr and jump stmt

2012-10-29 Thread Dehao Chen
Hi, Micheal, Thanks for explaining the design principle of debug info with gimple, now I can understand your concerns. And thanks for providing the patch. However, in some places after gimplification (e.g. tree-inline.c), we still updates the block/location info. And EXPR_LOCATION is still used

Re: Ping: [PATCH] Install error handler for out-of-memory when using STL containers

2012-10-29 Thread Mike Stump
On Oct 29, 2012, at 2:02 AM, Paul Richard Thomas paul.richard.tho...@gmail.com wrote: It looks straightforward to me but I am not convinced that a fortran maintainer should be giving the green light on this :-) Well, seems reasonable to me as well… I'd let Diego or Jason approve it. :-)

Re: RFA: patch to fix PR55116

2012-10-29 Thread Uros Bizjak
On 12-10-29 12:21 PM, Richard Sandiford wrote: Vladimir Makarov vmaka...@redhat.com writes: H.J. in http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55116 reported an interesting address (and:DI (subreg:DI (plus:SI (ashift:SI (reg:SI 96 [ glob_vol_int.22 ]) (const_int 2

Re: User directed Function Multiversioning via Function Overloading (issue5752064)

2012-10-29 Thread Sriraman Tallam
On Mon, Oct 29, 2012 at 5:55 AM, Jan Hubicka hubi...@ucw.cz wrote: Index: gcc/cgraph.c === --- gcc/cgraph.c (revision 192623) +++ gcc/cgraph.c (working copy) @@ -132,6 +132,74 @@ static GTY(()) struct cgraph_edge

Re: Fix estimation of array accesses

2012-10-29 Thread Jan Hubicka
ICK ... Why not sth as simple as return num_ssa_operands (stmt, SSA_OP_USE); ? a[1][2] and b[2] really have the same cost, variable length objects have extra SSA operands in ARRAY_REF/COMPONENT_REF for the size. Thus, stmt cost somehow should reflect the number of

GCC 4.8.0 Status Report (2012-10-29), Stage 1 to end soon

2012-10-29 Thread Jakub Jelinek
Status == I'd like to close the stage 1 phase of GCC 4.8 development on Monday, November 5th. If you have still patches for new features you'd like to see in GCC 4.8, please post them for review soon. Patches posted before the freeze, but reviewed shortly after the freeze, may still go in,

Re: [PATCH] Fix libbacktrace on 32-bit sparc

2012-10-29 Thread David Miller
From: Ian Lance Taylor i...@google.com Date: Mon, 29 Oct 2012 08:43:42 -0700 This patch should fix it. Bootstrapped and ran libbacktrace testsuite on x86_64-unknown-linux-gnu. Committed to mainline. I can tell just by looking at your patch that it doesn't fix the problem. It's vec-base +

Re: GCC 4.8.0 Status Report (2012-10-29), Stage 1 to end soon

2012-10-29 Thread David Miller
From: Jakub Jelinek ja...@redhat.com Date: Mon, 29 Oct 2012 18:56:42 +0100 I'd like to close the stage 1 phase of GCC 4.8 development on Monday, November 5th. If you have still patches for new features you'd like to see in GCC 4.8, please post them for review soon. Patches posted before the

Re: Minor update for inlining for code size

2012-10-29 Thread Eric Botcazou
Bootstrapped/regtested x86_64-linux, will commit it shortly. Honza * gcc.dg/ipa/inline-6.c: New testcase. * ipa-inline.c (want_inline_function_called_once_p): Rename to ... (want_inline_function_to_all_callers_p): check also functions with multiple callers.

Re: [PATCH] Fix debug info for expr and jump stmt

2012-10-29 Thread Richard Biener
On Mon, Oct 29, 2012 at 6:07 PM, Dehao Chen de...@google.com wrote: Hi, Micheal, Thanks for explaining the design principle of debug info with gimple, now I can understand your concerns. And thanks for providing the patch. However, in some places after gimplification (e.g. tree-inline.c),

Re: [PATCH] Fix libbacktrace on 32-bit sparc

2012-10-29 Thread Ian Lance Taylor
On Mon, Oct 29, 2012 at 11:03 AM, David Miller da...@davemloft.net wrote: From: Ian Lance Taylor i...@google.com Date: Mon, 29 Oct 2012 08:43:42 -0700 This patch should fix it. Bootstrapped and ran libbacktrace testsuite on x86_64-unknown-linux-gnu. Committed to mainline. I can tell just

Re: [PATCH] Fix libbacktrace on 32-bit sparc

2012-10-29 Thread David Miller
From: Ian Lance Taylor i...@google.com Date: Mon, 29 Oct 2012 11:13:19 -0700 Sure, if you can confirm that this patch fails, I will take another look. It fails. Same problem, SIGBUS.

Re: [PATCH] Fix libbacktrace on 32-bit sparc

2012-10-29 Thread David Miller
From: Ian Lance Taylor i...@google.com Date: Mon, 29 Oct 2012 11:13:19 -0700 I changed it from vec-base + vec-size. Now it is vec-base + size, where size is the aligned version of vec-size. It is not. You don't modify 'size' at all.

Re: [PATCH GCC]Fix test case failure reported in PR54989

2012-10-29 Thread Jeff Law
On 10/26/2012 10:14 PM, Bin Cheng wrote: Actually I am going to submit a patch monitoring the change of register pressure accurately as we discussed before. With that patch, expressions will be hoisted anyway if it can decrease register pressure thus this test case won't fail anymore. So I am

Re: GCC 4.8.0 Status Report (2012-10-29), Stage 1 to end soon

2012-10-29 Thread Eric Botcazou
I'd like to get the Sparc cbcond stuff in (3 revisions posted) which is waiting for Eric B. to do some Solaris specific work. I'd also like to enable LRA for at least 32-bit sparc, even if I can't find the time to work on auditing 64-bit completely. End of stage #1 isn't a hard limit for

Re: [PATCH] Fix libbacktrace on 32-bit sparc

2012-10-29 Thread Ian Lance Taylor
On Mon, Oct 29, 2012 at 11:15 AM, David Miller da...@davemloft.net wrote: From: Ian Lance Taylor i...@google.com Date: Mon, 29 Oct 2012 11:13:19 -0700 I changed it from vec-base + vec-size. Now it is vec-base + size, where size is the aligned version of vec-size. It is not. You don't

[patch] move GIMPLE_TRANSACTION expansion to tmmark pass

2012-10-29 Thread Aldy Hernandez
What was supposed to be a simple fix, turned out to be a nightmare... I am working on adding an uninstrumented code path for TM, in expectation of hardware TM. This means that we eventually want to generate something like this: prop = _ITM_beginTransaction(PR_multiwayCode);

Re: [PATCH] Fix libbacktrace on 32-bit sparc

2012-10-29 Thread David Miller
From: Ian Lance Taylor i...@google.com Date: Mon, 29 Oct 2012 11:31:33 -0700 On Mon, Oct 29, 2012 at 11:15 AM, David Miller da...@davemloft.net wrote: From: Ian Lance Taylor i...@google.com Date: Mon, 29 Oct 2012 11:13:19 -0700 I changed it from vec-base + vec-size. Now it is vec-base +

Re: GCC 4.8.0 Status Report (2012-10-29), Stage 1 to end soon

2012-10-29 Thread David Miller
From: Eric Botcazou ebotca...@adacore.com Date: Mon, 29 Oct 2012 20:25:15 +0100 I'd like to get the Sparc cbcond stuff in (3 revisions posted) which is waiting for Eric B. to do some Solaris specific work. I'd also like to enable LRA for at least 32-bit sparc, even if I can't find the time

Re: [PATCH] Fix libbacktrace on 32-bit sparc

2012-10-29 Thread David Miller
From: David Miller da...@davemloft.net Date: Mon, 29 Oct 2012 14:33:33 -0400 (EDT) From: Ian Lance Taylor i...@google.com Date: Mon, 29 Oct 2012 11:31:33 -0700 On Mon, Oct 29, 2012 at 11:15 AM, David Miller da...@davemloft.net wrote: From: Ian Lance Taylor i...@google.com Date: Mon, 29 Oct

Re: [PATCH] Fix libbacktrace on 32-bit sparc

2012-10-29 Thread Ian Lance Taylor
On Mon, Oct 29, 2012 at 11:40 AM, David Miller da...@davemloft.net wrote: From: David Miller da...@davemloft.net Date: Mon, 29 Oct 2012 14:33:33 -0400 (EDT) From: Ian Lance Taylor i...@google.com Date: Mon, 29 Oct 2012 11:31:33 -0700 On Mon, Oct 29, 2012 at 11:15 AM, David Miller

  1   2   >