Re: [patch] support for multiarch systems

2011-09-06 Thread Thomas Schwinge
Hi! On Sun, 21 Aug 2011 02:14:10 +0200, Matthias Klose d...@ubuntu.com wrote: Non-text part: multipart/mixed On 08/20/2011 09:51 PM, Matthias Klose wrote: Multiarch [1] is the term being used to refer to the capability of a system to install and run applications of multiple different

[Ada] Remove duplicate in Makefile.in

2011-09-06 Thread Arnaud Charlet
Tested on x86_64-pc-linux-gnu, committed on trunk. 2011-09-06 Arnaud Charlet char...@adacore.com * gcc-interface/Makefile.in (X86_TARGET_PAIRS): Remove duplicate declaration. Index: gcc-interface/Makefile.in ===

[Patch, Ada, Darwin] Remove explicit -lm from shared library builds.

2011-09-06 Thread Iain Sandoe
-lm is a symlink to libSystem.dylib on all recent Darwin and therefore not required (as libSystem is automatically provided by gcc). Using -lm (especially when in conjunction with -flat_namespace) can cause unexpected differences in behavior between Darwin 9 - Darwin10 (where the

Re: [Patch, fortran] [0/4] gfc_ss structs initialization small refactoring

2011-09-06 Thread Tobias Burnus
http://gcc.gnu.org/ml/fortran/2011-08/threads.html#00264 Mikael Morin wrote: the 4 follow-up patches try to refactor some common code initializing gfc_ss structs. Regression-tested (the 4 patches together only) on x86_64-freebsd8.2. OK for trunk? The patch set is OK. I think it is a nice

Re: [PATCH][Ada] Fix shift_unc_components_for_thin_pointers for sizetype changes

2011-09-06 Thread Richard Guenther
On Mon, 5 Sep 2011, Eric Botcazou wrote: This avoids setting the TREE_OVERFLOW bit on DECL_FIELD_OFFSET for the shifted bounds field. If DECL_FIELD_OFFSET of array-field is always a constant we could as well use DECL_FIELD_OFFSET (bounds_field) = size_int (-int_byte_position

Re: [Patch, Ada, Darwin] Restore PowerPC Darwin Ada bootstrap (after a looong time, it seems).

2011-09-06 Thread Eric Botcazou
1. rs6000.c (WORLD_SAVE_P) decides on the use of the out-of-line prologue saves on the basis of cfun-calls_setjmp flag_exceptions. of course, flag_exceptions is NOT set by Ada for SjLj - which is what's used for the compiler build. It isn't set because GNAT implements a different SJLJ

[Ada] Ada 2012 accessibility checking

2011-09-06 Thread Arnaud Charlet
This set of changes implements support for AI05-0234's rules about how the accessibility level of a function result object may be determined by the point of call. The implementation involves passing in an additional accessibility-level parameter to some functions, similar in some ways to the

Re: [Patch, Ada, Darwin] Restore PowerPC Darwin Ada bootstrap (after a looong time, it seems).

2011-09-06 Thread Iain Sandoe
Hello Eric, On 6 Sep 2011, at 08:41, Eric Botcazou wrote: - it doesn't seem reasonable to force -fexceptions - until we can build ada with ZCE. Or change the SJLJ scheme. Hm. I'm probably being a bit dumb here - but not clear about which scheme/where in the code-base you have in mind.

[Ada] Protected extension as full type for limited private rejected

2011-09-06 Thread Arnaud Charlet
The compiler complains when a limited private type has a full type that is a protected type extending an interface, thinking that the partial view is not limited. The compiler was incorrectly checking that the partial view satisfies Is_Limited_Composite rather than simply testing for limitedness.

Re: [PATCH, testsuite, ARM] change XFAIL to pass for ARM on a case testing tree-ssa-dom

2011-09-06 Thread Richard Guenther
On Tue, Sep 6, 2011 at 3:29 AM, Jiangning Liu jiangning@arm.com wrote: PING... Ok. -Original Message- From: gcc-patches-ow...@gcc.gnu.org [mailto:gcc-patches- ow...@gcc.gnu.org] On Behalf Of Jiangning Liu Sent: Friday, August 26, 2011 5:56 PM To: gcc-patches@gcc.gnu.org

[Ada] Expansion of case expressions

2011-09-06 Thread Arnaud Charlet
A case expression is rewritten as an Expression_With_Actions, whose main component is a case statement that mirrors the structure of the case expression. The actions created for the expression in a given case alterantive must be attached to the statement list of the ccrresponding case statement

Re: [Patch, Ada, Darwin] Restore PowerPC Darwin Ada bootstrap (after a looong time, it seems).

2011-09-06 Thread Eric Botcazou
That's a good question, and one that I haven't got to the bottom of - but the exclusion was there in the original code-base [still in the vendor's tree too]. (also, the rs6000 pro/epilogue code is not the easiest to navigate). Assuming that this is because the non-local goto handler needs to

[Ada] Ada 2012 accessibility checking

2011-09-06 Thread Arnaud Charlet
In addition to fixing some bugs, the major effect of this set of changes is to temporarily disable support for AI05-0234's rules about how the accessibility level of a function result object may be determined by the point of call. Tested on x86_64-pc-linux-gnu, committed on trunk 2011-09-06

Re: rtl_verify_flow_info fix

2011-09-06 Thread Tom de Vries
On 09/05/2011 02:46 PM, Jakub Jelinek wrote: On Mon, Sep 05, 2011 at 02:31:32PM +0200, Tom de Vries wrote: --- gcc/recog.c (revision 178145) +++ gcc/recog.c (working copy) @@ -118,6 +118,46 @@ init_recog (void) } +/* Return true if labels in asm operands BODY are LABEL_REFs. */ +

[PATCH] check_cfg assert fix

2011-09-06 Thread Tom de Vries
Hi, During testing the approved-for-commit middle-end patch for bug 43864 on ARM, I ran into a gcc.dg/torture/pr46068.c ICE. The following assert in haifa-sched.c:check_cfg triggered: ... else if (any_condjump_p (head)) gcc_assert (/* Usual case. */

Re: rtl_verify_flow_info fix

2011-09-06 Thread Jakub Jelinek
On Tue, Sep 06, 2011 at 11:05:16AM +0200, Tom de Vries wrote: bootstrapped and regtested on x86_64, build and regtested on arm. OK for trunk? Yes. 2011-09-06 Tom de Vries t...@codesourcery.com * recog.c (asm_labels_ok): New function. (check_asm_operands): Use

[Ada] Inlining calls that return unconstrained arrays

2011-09-06 Thread Arnaud Charlet
This patch fixes a crash in the compiler when inlining a function call that returns an unconstrained array in the context of an assignment created for an extended return statement. The patch also optimizes the case where the target of the assignment is a selected component, and avoid the use of an

[Ada] Use oscons circuitry to define pthread types on GNU/Linux

2011-09-06 Thread Arnaud Charlet
Simplify s-linux*.ads files by using s-oscons-tmplt.c to generate proper definition of pthread_mutex_t. Tested on x86_64-pc-linux-gnu, committed on trunk 2011-09-06 Pascal Obry o...@adacore.com * s-linux.ads, s-linux-alpha.ads, s-linux-hppa.ads, s-linux-mipsel.ads,

[Ada] Add support to load references of imported entities

2011-09-06 Thread Arnaud Charlet
This patch adds the support needed to load references of entities imported from other languages. This functionality is required by tools processing ALI files (for example GPS). Tested on x86_64-pc-linux-gnu, committed on trunk 2011-09-06 Javier Miranda mira...@adacore.com * ali.adb

[Ada] Implementation of Ada 2012 type invariants

2011-09-06 Thread Arnaud Charlet
The final version of the Ada 2012 RM specifies that a type invariant can be given in the private part of a package, on the completion of a private type declaration. The following must compile quietly: package Inv is type List is private; private type Length_T is new Integer; type Array_T

[rs6000] Fix PR target/50091

2011-09-06 Thread Eric Botcazou
Hi, this is a regression present on the mainline/4.6/4.5 branches. I overlooked the -mregnames business when I changed the probe_stack pattern and, while this silently works on most platforms, this breaks on Darwin because of the awkward assembler. Tested on PowerPC/Darwin by Iain and on

[v3] libstdc++/50257

2011-09-06 Thread Paolo Carlini
Hi, tested x86_64-linux, committed to mainline. See audit trail for details... Thanks, Paolo. / 2011-09-06 Paolo Carlini paolo.carl...@oracle.com PR libstdc++/50257 * include/bits/hashtable_policy.h (_Prime_rehash_policy:: _M_next_bkt): Optimize

[PATCH] SCCVN TLC

2011-09-06 Thread Richard Guenther
Some cleanups before I touch this code. Bootstrapped and tested on x86_64-unknown-linux-gnu, applied to trunk. Richard. 2011-09-06 Richard Guenther rguent...@suse.de * tree-ssa-sccvn.c (visit_use): CSE stmt pieces and simplify matching. Index: gcc/tree-ssa-sccvn.c

[Ada] Optimize out index check for dynamic arrays in indirect case

2011-09-06 Thread Arnaud Charlet
This small change brings the indirect case on par with the direct case when it comes to eliminating an index check for dynamic arrays. No index check will be generated for the following procedure in default mode: type Darray is array (1 .. Q.N) of Long_Float; procedure Add (X, Y : access

[Ada] Automatic deallocation of task upon termination

2011-09-06 Thread Arnaud Charlet
This change implements a new feature in the tasking runtime library: if Unchecked_Deallocation is called on a non-terminated task (which was previously a no-op), the task is now marked to be freed automatically when it terminates. The following test case demonstrates the feature: $ gnatmake -q

[Ada] Erroneous memory access when destroying a task's own ATCB

2011-09-06 Thread Arnaud Charlet
This change fixes a defect in the tasking runtime library whereby a task freeing its own Ada Task Control Block would reference it after it had been deallocated, because the deallocation is made with abortion deferred, and Abort_Undefer needs access to the ATCB. In particular this happens when a

Re: Rename across basic block boundaries

2011-09-06 Thread Richard Sandiford
Bernd Schmidt ber...@codesourcery.com writes: On 09/01/11 16:16, Richard Sandiford wrote: Bernd Schmidt ber...@codesourcery.com writes: On 08/26/11 14:57, Richard Sandiford wrote: Wouldn't a reverse post-order (inverted_post_order_compute) allow even more pre-opening (as well as being less

[Ada] Implement attribute Descriptor_Size

2011-09-06 Thread Arnaud Charlet
This patch provides support for attribute Descriptor_Size. Currently the attribute is applicable only to unconstrained arrays types and returns the size of the dope vector plus any additional padding due to alignment issues in bits. Tested on x86_64-pc-linux-gnu, committed on trunk 2011-09-06

[Ada] Speed up build of gnatools

2011-09-06 Thread Arnaud Charlet
Now that gnatmake supports -j0, it's possible to speed up the build of gnattools during GNAT build by using gnatmake -j0 instead of gnatmake. This is useful since gnattools is the only target which isn't parallelized in the Makefile before this change. Tested on x86_64-linux-gnu, committed on

[Ada] Improved warnings on useless formals in subprograms

2011-09-06 Thread Arnaud Charlet
This patch allows a better detection of unused formals in subprogram bodies. Previously the use of a formal as the selector in a parameter association was treated as a proper reference, thus missing otherwise unused entities. The following command : gcc -c -gnatwa k.adb must yield:

Re: [Ada] Speed up build of gnatools

2011-09-06 Thread Duncan Sands
Hi Arnaud, Now that gnatmake supports -j0, it's possible to speed up the build of gnattools during GNAT build by using gnatmake -j0 instead of gnatmake. This is useful since gnattools is the only target which isn't parallelized in the Makefile before this change. this means using as many

Re: [ARM] PR target/49030: ICE in get_arm_condition_code

2011-09-06 Thread Richard Sandiford
Chung-Lin Tang clt...@codesourcery.com writes: Hi Richard, this looks very similar to this patch, originally for LP:689887: http://gcc.gnu.org/ml/gcc-patches/2011-01/msg00794.html Apart from your additional handling in the dominance modes cases. Indeed. Sorry about that. It must look odd

Re: [patch, ARM] Change default vector size to 128 bits - take 3

2011-09-06 Thread Ira Rosen
On 17 August 2011 15:49, Richard Earnshaw rearn...@arm.com wrote: On 16/08/11 10:28, Ira Rosen wrote: Hi, This patch changes the default vector size for auto-vectorization on ARM NEON to 128 bits. This new version is a result of a discussion with Richard and Ramana. wwwdocs changes will

Re: [Ada] Speed up build of gnatools

2011-09-06 Thread Arnaud Charlet
this means using as many processes as there are CPUs, right? It seems pretty Right, but only for gnattools, which is a relatively short time, and which always occurs at the end of the build (so with nothing else running at the same time). dubious to me to use more processes than the user

[c-family] Fix PR middle-end/50266

2011-09-06 Thread Eric Botcazou
Hi, this is a regression present on the mainline and 4.6 branch caused by the constructor uniquization patch. The tree_output_constant_def routine rejects offsetof-like computations that can be written in the C family of languages. While the C compiler folds most of them early, it doesn't if

[Ada] Initialization calls with access discriminants

2011-09-06 Thread Arnaud Charlet
If a record component is constrained with a current instance, that is to say an access to the enclosing type, an initialization call for the component must use a reference to the target object. Previously this was done when generating the code for the initialization procedure for the encloing

[Ada] Freezing rules and expression functions

2011-09-06 Thread Arnaud Charlet
Ada2012 Expression functions behave like default expressions in regards to freezing rules: their declaration does not freeze, only a use of them (in a call) freezes. The following must compile quietly in Ada2012 mode: --- with Interfaces; use Interfaces; package Images is type RGBQUAD is

[Ada] Remove hack for Win95 which is not needed anymore

2011-09-06 Thread Arnaud Charlet
No change in behavior, this patch just removes code that is not used since a long time. Tested on x86_64-pc-linux-gnu, committed on trunk 2011-09-06 Pascal Obry o...@adacore.com * sysdep.c (winflush_nt): Removed as not needed anymore. (winflush_95): Likewise.

Re: [c-family] Fix PR middle-end/50266

2011-09-06 Thread Joseph S. Myers
On Tue, 6 Sep 2011, Eric Botcazou wrote: Hi, this is a regression present on the mainline and 4.6 branch caused by the constructor uniquization patch. The tree_output_constant_def routine rejects offsetof-like computations that can be written in the C family of languages. While the C

Re: [PATCH, Atom] Improve AGU stalls avoidance optimization

2011-09-06 Thread Ilya Enkovich
Hello, Thanks for review! 2011/9/3 Uros Bizjak ubiz...@gmail.com: Did you also test on x32 ? H.J.'s x32 page [1] currently says that Atom LEA optimization is disabled on x32 for some reason. No. I did not try to cover x32. It will be a separate work. +bool +ix86_avoid_lea_for_addr (rtx

[PATCH, 4.6] Revert fix for PR 49886

2011-09-06 Thread Martin Jambor
Hi, I'm going to apply this after a quick c-only bootstrap and test on the 4.6 branch to revert my previous fix for PR 49886 because it causes PR 50295 (and probably also PR 50287 though I do not know whether that is against trunk or 4.6 too). I'm not reverting this on trunk because I know there

Re: [PATCH Atom][PR middle-end/44382] Tree reassociation improvement

2011-09-06 Thread Ilya Enkovich
Hello, 2011/9/2 Uros Bizjak ubiz...@gmail.com: I assume that you need to split tune attribute to int and FP part to handle reassociation for other targets, since Atom handles both in the same way. Please also describe function return value in the comment (and perhaps in documentation, too).

RFA: MN10300: Add jump label to Lcc insn

2011-09-06 Thread Nick Clifton
Hi Jeff, Hi Alex, The MN10300 target is currently failing to build in the mainline FSF sources because of this error when creating libgcc: gcc/libgcc2.c: In function '__popcountsi2': gcc/libgcc2.c:834:1: internal compiler error: in create_trace_edges, at dwarf2cfi.c:2325 This

[Ada] Freezing and Ada2012 expression functions

2011-09-06 Thread Arnaud Charlet
The body that is a rewriting of an expression function does not freeze previous entities. The following must compile quietly in Ada2012 mode: --- package Ada12 is type T is tagged null record;function Template (Self : T) return String is (foo.thtml); type T2 is new T with null

[Ada] Implement new Ada 2012 restriction No_Implementation_Units

2011-09-06 Thread Arnaud Charlet
This patch implements the new restriction No_Implementation_Units, as defined in AI 242. This restriction is also part of the new Ada 2012 profile No_Implementation_Extensions. Here is a test of the new restriction (compiled with -gnatld7 -gnatj60) 1. pragma Ada_2005; 2. pragma

Re: [Ada] Speed up build of gnatools

2011-09-06 Thread Robert Dewar
On 9/6/2011 7:14 AM, Duncan Sands wrote: this means using as many processes as there are CPUs, right? It seems pretty dubious to me to use more processes than the user maybe asked for. We often find that the optimum number of processes is a little bit more than the number of physical

[Ada] Fixes to No_Implementation_Units restriction

2011-09-06 Thread Arnaud Charlet
This patch fixes some errors in the previous initial checkin of this new feature. 1. package noimpunit4 is end; 1. pragma Restrictions (No_Implementation_Units); 2. with noimpunit4; 3. with GNAT.IO; | violation of restriction

[PATCH] Fix PR48149

2011-09-06 Thread Richard Guenther
This makes SCCVN combine COMPLEX_EXPR arguments with its operands, allowing to optimize piecewise pass-thru of a complex value. The meat of the patch is the tuplification fix ! TREE_CODE (gimple_assign_rhs1 (def_stmt)) == SSA_NAME) --- ! TREE_CODE (TREE_OPERAND

Re: [PATCH][ARM] -m{cpu,tune,arch}=native

2011-09-06 Thread Andrew Stubbs
This update adds many more magic numbers for various ARM CPUs, and also ensures that the implementer is ARM (as opposed to Marvell, etc.). The list is far from comprehensive, but it should cover many (but by no means all) of the cores in current use and it would not be hard to add support for

[PATCH ARM] Fix PR50099

2011-09-06 Thread Ramana Radhakrishnan
Hi, PR target/50099 is a case where we are using the wrong predicate for the sign_extend from QI to DImode values. ldrsb has a lower range than the other ldrb instructions in ARM state and hence one has to be careful about generating the right addresses when splitting it. Attached is a patch to

Re: [Patch][Cilkplus branch] Adding include directory path to testsuite script

2011-09-06 Thread H.J. Lu
On Mon, Sep 5, 2011 at 9:52 PM, Iyer, Balaji V balaji.v.i...@intel.com wrote: Hello Everyone,        This patch is for the Cilk Plus branch. It will add the include directory path it the testsuite script (cilk_plus.exp) in both gcc.dg/cilk-plus and g++.dg/cilk-plus directories. Thanking

RE: [Patch][Cilkplus branch] Adding include directory path to testsuite script

2011-09-06 Thread Iyer, Balaji V
Attached, please find a patch with the modifications you have suggested (adding the info in Changelog.cilk). Sorry for the mistake. Thanks, Balaji V. Iyer. -Original Message- From: H.J. Lu [mailto:hjl.to...@gmail.com] Sent: Tuesday, September 06, 2011 10:22 AM To: Iyer, Balaji V Cc:

Re: [PATCH] Better comparison of BINFOs in IPA-CP

2011-09-06 Thread Martin Jambor
Hi, On Mon, Sep 05, 2011 at 09:24:36AM +0200, Jan Hubicka wrote: Hi, the patch below improves the comparisons of BINFOs in IPA-CP. The problem is that we can read different BINFOs for the same type (or a base type component) from the LTO summaries because BINFOs coming from

Re: [Patch][Cilkplus branch] Adding include directory path to testsuite script

2011-09-06 Thread H.J. Lu
On Tue, Sep 6, 2011 at 7:30 AM, Iyer, Balaji V balaji.v.i...@intel.com wrote: Attached, please find a patch with the modifications you have suggested (adding the info in Changelog.cilk). Please remove the extra blank line in ChangLog. ChangeLog should simply say what you did, not why. H.J.

RE: [Patch][Cilkplus branch] Adding include directory path to testsuite script

2011-09-06 Thread Iyer, Balaji V
I fixed all the changed you have requested. Here is an updated patch. Thanks, Balaji V. Iyer. -Original Message- From: H.J. Lu [mailto:hjl.to...@gmail.com] Sent: Tuesday, September 06, 2011 10:41 AM To: Iyer, Balaji V Cc: gcc-patches@gcc.gnu.org Subject: Re: [Patch][Cilkplus branch]

Re: Vector Comparison patch

2011-09-06 Thread Artem Shinkarov
Here is a new version of the patch which considers the changes from 2011-09-02 Richard Guenther ChangeLog 20011-09-06 Artjoms Sinkarovs artyom.shinkar...@gmail.com gcc/ * fold-const.c (constant_boolean_node): Adjust the meaning of boolean for vector types: true = {-1,..},

Re: Vector Comparison patch

2011-09-06 Thread Richard Guenther
On Tue, Sep 6, 2011 at 4:50 PM, Artem Shinkarov artyom.shinkar...@gmail.com wrote: Here is a new version of the patch which considers the changes from 2011-09-02  Richard Guenther ChangeLog 20011-09-06 Artjoms Sinkarovs artyom.shinkar...@gmail.com       gcc/       * fold-const.c

Re: [Patch][Cilkplus branch] Adding include directory path to testsuite script

2011-09-06 Thread H.J. Lu
You should just say * g++.dg/cilk-plus/cilk_plus.exp: Likewise since the change is the same as above. H.J. On Tue, Sep 6, 2011 at 7:45 AM, Iyer, Balaji V balaji.v.i...@intel.com wrote: I fixed all the changed you have requested. Here is an updated patch. Thanks, Balaji V. Iyer.

RE: [Patch][Cilkplus branch] Adding include directory path to testsuite script

2011-09-06 Thread Iyer, Balaji V
Sure! Here is the fixed patch. Thanks, Balaji V. Iyer. -Original Message- From: H.J. Lu [mailto:hjl.to...@gmail.com] Sent: Tuesday, September 06, 2011 10:57 AM To: Iyer, Balaji V Cc: gcc-patches@gcc.gnu.org Subject: Re: [Patch][Cilkplus branch] Adding include directory path to

Re: [PATCH] check_cfg assert fix

2011-09-06 Thread Steven Bosscher
On Tue, Sep 6, 2011 at 11:14 AM, Tom de Vries vr...@codesourcery.com wrote: Hi, During testing the approved-for-commit middle-end patch for bug 43864 on ARM, I ran into a gcc.dg/torture/pr46068.c ICE. The following assert in haifa-sched.c:check_cfg triggered: ...                  else if

Re: [Ada] Speed up build of gnatools

2011-09-06 Thread Paolo Bonzini
On 09/06/2011 01:56 PM, Arnaud Charlet wrote: this means using as many processes as there are CPUs, right? It seems pretty Right, but only for gnattools, which is a relatively short time, and which always occurs at the end of the build (so with nothing else running at the same time).

Re: RFA: MN10300: Add jump label to Lcc insn

2011-09-06 Thread Jeff Law
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 09/06/11 07:01, Nick Clifton wrote: Hi Jeff, Hi Alex, The MN10300 target is currently failing to build in the mainline FSF sources because of this error when creating libgcc: gcc/libgcc2.c: In function '__popcountsi2': gcc/libgcc2.c:834:1:

Re: Vector shuffling

2011-09-06 Thread Richard Guenther
On Sat, Sep 3, 2011 at 5:52 PM, Artem Shinkarov artyom.shinkar...@gmail.com wrote: On Fri, Sep 2, 2011 at 8:52 PM, Joseph S. Myers jos...@codesourcery.com wrote: On Fri, 2 Sep 2011, Artem Shinkarov wrote: Joseph, I don't understand this comment. I have 2 or 3 arguments in the

Re: [PATCH, Atom] Improve AGU stalls avoidance optimization

2011-09-06 Thread Uros Bizjak
On Tue, Sep 6, 2011 at 2:26 PM, Ilya Enkovich enkovich@gmail.com wrote: Is fixed version OK? Thanks, Ilya --- gcc/ 2011-09-06  Enkovich Ilya  ilya.enkov...@intel.com        * config/i386/i386-protos.h (ix86_lea_outperforms): New.        (ix86_avoid_lea_for_add): Likewise.        

Re: [PATCH Atom][PR middle-end/44382] Tree reassociation improvement

2011-09-06 Thread Uros Bizjak
On Tue, Sep 6, 2011 at 2:39 PM, Ilya Enkovich enkovich@gmail.com wrote: I assume that you need to split tune attribute to int and FP part to handle reassociation for other targets, since Atom handles both in the same way. Please also describe function return value in the comment (and

[PATCH] Fix PR47025

2011-09-06 Thread Richard Guenther
This fixes PR47025, __builtin_va_end is preventing dead store elimination and __builtin_va_start is an escape point for the valist. Bootstrapped and tested on x86_64-unknown-linux-gnu, applied to trunk. Richard. 2011-09-06 Richard Guenther rguent...@suse.de PR

Re: [PATCH Atom][PR middle-end/44382] Tree reassociation improvement

2011-09-06 Thread Ilya Enkovich
2011/9/6 Uros Bizjak ubiz...@gmail.com: OK. Thanks, Uros. Could please someone check it in for me? Thanks, Ilya

Re: [Patch, Ada, Darwin] Restore PowerPC Darwin Ada bootstrap (after a looong time, it seems).

2011-09-06 Thread Mike Stump
On Sep 6, 2011, at 1:12 AM, Eric Botcazou wrote: That's a good question, and one that I haven't got to the bottom of - but the exclusion was there in the original code-base [still in the vendor's tree too]. (also, the rs6000 pro/epilogue code is not the easiest to navigate). Assuming that

[patch][google/integration] Add lightweight checks to vector::begin et. al. (issue4973065)

2011-09-06 Thread Paul Pluzhnikov
Greetings, This patch adds a lightweight self-consistency check to many vector operations. Google issue 5246356. Ok for google/integration branch? Thanks, -- 2011-09-06 Paul Pluzhnikov ppluzhni...@google.com * include/bits/stl_vector.h (__is_valid): New function. (begin,

Re: [Patch][Cilkplus branch] Adding include directory path to testsuite script

2011-09-06 Thread H.J. Lu
On Tue, Sep 6, 2011 at 8:01 AM, Iyer, Balaji V balaji.v.i...@intel.com wrote: Sure! Here is the fixed patch. It won't apply. Please make sure that it is against cilkplus branch. H.J. Thanks, Balaji V. Iyer. -Original Message- From: H.J. Lu [mailto:hjl.to...@gmail.com] Sent:

Re: [patch][google/integration] Add lightweight checks to vector::begin et. al. (issue4973065)

2011-09-06 Thread Paul Pluzhnikov
On Tue, Sep 6, 2011 at 9:28 AM, Paul Pluzhnikov ppluzhni...@google.com wrote: This patch adds a lightweight self-consistency check to many vector operations. Google issue 5246356. Sorry, forgot to mention: tested by doing bootstrap and make check on Linux/x86_64. -- Paul Pluzhnikov

Re: [PATCH Atom][PR middle-end/44382] Tree reassociation improvement

2011-09-06 Thread H.J. Lu
On Tue, Sep 6, 2011 at 9:07 AM, Ilya Enkovich enkovich@gmail.com wrote: 2011/9/6 Uros Bizjak ubiz...@gmail.com: OK. Thanks, Uros. Could please someone check it in for me? I checked it in for you. -- H.J.

Re: [patch][google/integration] Add lightweight checks to vector::begin et. al. (issue4973065)

2011-09-06 Thread Diego Novillo
On Tue, Sep 6, 2011 at 12:28, Paul Pluzhnikov ppluzhni...@google.com wrote: Greetings, This patch adds a lightweight self-consistency check to many vector operations. Google issue 5246356. Ok for google/integration branch? Thanks, -- 2011-09-06  Paul Pluzhnikov  ppluzhni...@google.com

Re: [Patch][Cilkplus branch] Adding include directory path to testsuite script

2011-09-06 Thread H.J. Lu
diff --git a/gcc/testsuite/ChangeLog.cilk b/gcc/testsuite/ChangeLog.cilk index c9eac87..a602b88 100644 --- a/gcc/testsuite/ChangeLog.cilk +++ b/gcc/testsuite/ChangeLog.cilk @@ -1,3 +1,9 @@ +2011-09-05 Balaji V. Iyer. balaji.v.i...@intel.com ^^ Your name

[PATCH] Make SRA produce integer replacements for enumeration types

2011-09-06 Thread Martin Jambor
Hi, the patch below makes SRA produce intere type replacements when it currently produces enumeration type ones because this then may cause VRP to assume wrong bounds (PR 49911). I do not know how to create a testcase for the PR this should solve because I could not reproduce it on yesterday's

Re: [patch][google/integration] Add lightweight checks to vector::begin et. al. (issue4973065)

2011-09-06 Thread Diego Novillo
On Tue, Sep 6, 2011 at 12:54, Paul Pluzhnikov ppluzhni...@google.com wrote: On Tue, Sep 6, 2011 at 9:44 AM, Diego Novillo dnovi...@google.com wrote: OK.  Any reason not to send this (or a variant) to mainline? AFAIU, mainline is not interested -- there is already a debug mode (enabled by

Re: [PATCH, Atom] Improve AGU stalls avoidance optimization

2011-09-06 Thread Ilya Enkovich
2011/9/6 Uros Bizjak ubiz...@gmail.com: Please merge your new splitters with corresponding LEA patterns. OK with this change. Thanks, Uros. Fixed. Could please someone check it in if it's OK now? Thanks, Ilya --- gcc/ 2011-09-06 Enkovich Ilya ilya.enkov...@intel.com *

[PATCH, PR 50301] Missing checks of number of actual arguments in IPA-CP

2011-09-06 Thread Martin Jambor
Hi, somehow I lost two hunks in the patch allowing IPA-CP to process functions with variable number of arguments and one of these omissions caused PR 50301 (416.gamess LTO miscompilation). The two hunks check the number of actual arguments in two places of IPA-CP which are not executed so often

Re: [PATCH] check_cfg assert fix

2011-09-06 Thread Maxim Kuvyrkov
On 7/09/2011, at 3:13 AM, Steven Bosscher wrote: On Tue, Sep 6, 2011 at 11:14 AM, Tom de Vries vr...@codesourcery.com wrote: Hi, During testing the approved-for-commit middle-end patch for bug 43864 on ARM, I ran into a gcc.dg/torture/pr46068.c ICE. The following assert in

Re: [patch][google/integration] Add lightweight checks to vector::begin et. al. (issue4973065)

2011-09-06 Thread Paul Pluzhnikov
On Tue, Sep 6, 2011 at 10:46 AM, Diego Novillo dnovi...@google.com wrote: On Tue, Sep 6, 2011 at 12:54, Paul Pluzhnikov ppluzhni...@google.com wrote: On Tue, Sep 6, 2011 at 9:44 AM, Diego Novillo dnovi...@google.com wrote: OK.  Any reason not to send this (or a variant) to mainline? AFAIU,

Re: [Patch][Cilkplus branch] Adding include directory path to testsuite script

2011-09-06 Thread H.J. Lu
I checked it into cilkplus branch. Thanks. On Tue, Sep 6, 2011 at 10:38 AM, Iyer, Balaji V balaji.v.i...@intel.com wrote: OK..fixed. Please try it now. Thanks, Balaji V. Iyer. From: H.J. Lu [hjl.to...@gmail.com] Sent: Tuesday, September 06, 2011

Re: C++ PATCHes for core 1358, 1360, c++/50248 (constexpr, templates, default constructor)

2011-09-06 Thread Jason Merrill
A followup: non-literal argument types shouldn't change the constexpr flag either, and we shouldn't crash when a constructor initializes bases as well as members (50296). I'm not sure how my testing missed that bug... Tested x86_64-pc-linux-gnu, applying to trunk. commit

Re: [PATCH] For mem_loc_descriptor prefer avoid_constant_pool_reference (PR debug/50191)

2011-09-06 Thread Jason Merrill
OK. Jason

Re: [PATCH] PR c++/33255 - Support -Wunused-local-typedefs warning

2011-09-06 Thread Jason Merrill
On 08/08/2011 03:52 PM, Dodji Seketeli wrote: + cfun-language = NULL; Might as well ggc_free it first. + /* We want T to be either a type or a TYPE_DECL. */ Comment is out of date. Does __attribute ((used)) on the typedef prevent the warning? Jason

Re: [patch][google/integration] Add lightweight checks to vector::begin et. al. (issue4973065)

2011-09-06 Thread Jonathan Wakely
On 6 September 2011 19:01, Paul Pluzhnikov wrote: But this is something to discuss with libstdc++ (CC'd). Sure. If the parallel debug mode is more tenable now, I am all for it. I don't think anything has changed. I'm not excited by the idea of another debug mode, especially not this patch,

Re: [patch][google/integration] Add lightweight checks to vector::begin et. al. (issue4973065)

2011-09-06 Thread Jonathan Wakely
On 6 September 2011 20:23, Jonathan Wakely wrote: What's a dangling vector anyway?  One that has been moved from? Apparently not, since a moved-from vector would pass __valid() (as indeed it should) So I'm quite curious what bugs this catches. The existing debug mode catches some fairly

[Patch, Darwin, Committed] remove duplicate LIBSPEC from darwin10.h

2011-09-06 Thread Iain Sandoe
I applied the following under the 'obvious' rule. config/darwin10.h no longer modifies LIB_SPEC and thus the one in it was just a duplicate of the one in darwin.h. tidied. cheers, Iain gcc: * config/darwin10.h Remove duplicate LIB_SPEC. Index: gcc/config/darwin10.h

Re: [patch][google/integration] Add lightweight checks to vector::begin et. al. (issue4973065)

2011-09-06 Thread Paul Pluzhnikov
On Tue, Sep 6, 2011 at 12:44 PM, Jonathan Wakely jwakely@gmail.com wrote: On 6 September 2011 20:23, Jonathan Wakely wrote: What's a dangling vector anyway?  One that has been moved from? Apparently not, since a moved-from vector would pass __valid() (as indeed it should) So I'm quite

Re: [patch][google/integration] Add lightweight checks to vector::begin et. al. (issue4973065)

2011-09-06 Thread Christopher Jefferson
On 6 Sep 2011, at 21:19, Paul Pluzhnikov wrote: On Tue, Sep 6, 2011 at 12:44 PM, Jonathan Wakely jwakely@gmail.com wrote: On 6 September 2011 20:23, Jonathan Wakely wrote: What's a dangling vector anyway? One that has been moved from? Apparently not, since a moved-from vector

Re: [patch][google/integration] Add lightweight checks to vector::begin et. al. (issue4973065)

2011-09-06 Thread Paul Pluzhnikov
On Tue, Sep 6, 2011 at 1:33 PM, Jonathan Wakely jwakely@gmail.com wrote:  for (it = v-begin(); it != v-end(); ++it)  // Oops! Eurgh, the occurrence of delete in anything except a destructor is a code smell that should have led someone to find those bugs anyway! Obviously the code above

[PATCH, i386]: Fix XPASS: gcc.target/i386/builtin-apply-mmx.c execution test + some cleanups

2011-09-06 Thread Uros Bizjak
Hello! x32 follows x86_64 ABI, so no MMX regs are saved/restored in __builtin_apply_args/__builtin_return, even with -mmmx. The patch also includes some cleanups in this area. 2011-09-06 Uros Bizjak ubiz...@gmail.com * config/i386/i386.c (ix86_function_value_regno_p): Use AX_REG.

Re: [PATCH] check_cfg assert fix

2011-09-06 Thread Steven Bosscher
On Tue, Sep 6, 2011 at 8:00 PM, Maxim Kuvyrkov ma...@codesourcery.com wrote: On 7/09/2011, at 3:13 AM, Steven Bosscher wrote: On Tue, Sep 6, 2011 at 11:14 AM, Tom de Vries vr...@codesourcery.com wrote: Hi, During testing the approved-for-commit middle-end patch for bug 43864 on ARM, I

Re: C++ PATCHes for core 1358, 1360, c++/50248 (constexpr, templates, default constructor)

2011-09-06 Thread Jason Merrill
On 09/06/2011 04:21 PM, Dodji Seketeli wrote: Jason Merrillja...@redhat.com a écrit: A followup: non-literal argument types shouldn't change the constexpr flag either, and we shouldn't crash when a constructor initializes bases as well as members (50296). I'm not sure how my testing missed

Re: [patch][google/integration] Add lightweight checks to vector::begin et. al. (issue4973065)

2011-09-06 Thread Jonathan Wakely
On 6 September 2011 21:52, Paul Pluzhnikov wrote: On Tue, Sep 6, 2011 at 1:33 PM, Jonathan Wakely jwakely@gmail.com wrote:  for (it = v-begin(); it != v-end(); ++it)  // Oops! Eurgh, the occurrence of delete in anything except a destructor is a code smell that should have led someone to

Re: [PATCH, PR 50301] Missing checks of number of actual arguments in IPA-CP

2011-09-06 Thread Jan Hubicka
Hi, somehow I lost two hunks in the patch allowing IPA-CP to process functions with variable number of arguments and one of these omissions caused PR 50301 (416.gamess LTO miscompilation). The two hunks check the number of actual arguments in two places of IPA-CP which are not executed so

Re: [patch][google/integration] Add lightweight checks to vector::begin et. al. (issue4973065)

2011-09-06 Thread Paul Pluzhnikov
On Tue, Sep 6, 2011 at 2:51 PM, Jonathan Wakely jwakely@gmail.com wrote: I don't mean for vector::begin and the other functions in that patch, I mean in general for member functions of any type. There are plenty of functions that wouldn't crash when called through a null pointer. But even

[PATCH, committed] Fix C++ altivec test case

2011-09-06 Thread Michael Meissner
I committed the following patch as obvious to make the dg-error test match the current compiler's error message (the current compiler now lists the type which broke the regexp). 2011-09-06 Michael Meissner meiss...@linux.vnet.ibm.com * g++.dg/ext/altivec-17.C: Fix dg-error to match

[PATCH, committed] Fix up documentation about tm_p.h

2011-09-06 Thread Michael Meissner
I checked in the following patch to update the documentation for tm_p.h. I noticed the FIXME comment in the texi source when I was working on my previous patch for combining the standard and machine dependent builtin indexes. While that patch did not go in, I figured I could improve the

[v3] constexpr tuple

2011-09-06 Thread Benjamin Kosnik
Here's the tuple additions for constexpr now that it's ok to return this. I'm not quite sure what to do with the get, tie, tuple_cat functions given the current signatures. Is tuple_cat now considered conforming? If so, certain signatures can be constexpr. tested x86/linux benjamin2011-09-06

[google][main]Fix broken test cases in google/main branch (issue4961065)

2011-09-06 Thread Sriraman Tallam
This patches fixes bugs that caused the multi-version tests to fail. * mversn-dispatch.c (specialize_call): Rebuild cgraph edges after specialization. (clone_and_dispatch_function): Rebuild cgraph edges to compute inline parameters.

  1   2   >