[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 * gcc-interface/Makefile.in (X86_TARGET_PAIRS): Remove duplicate declaration. Index: gcc-interface/Makefile.in === --- gcc-interface/Mak

[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 unw

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 (-in

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

[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 Extra_

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

2011-09-06 Thread Arnaud Charlet
> (no Ada regressions from this on *-darwin9 and x86-64-darwin10.) > > OK for trunk? > Iain > > ada: > > * gcc-interface/Makefile.in (gnatlib-shared-darwin): Remove > reference to "-lm". OK, thanks.

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.

Re: Propagate BB predicates in ipa-inline-analysis

2011-09-06 Thread Richard Guenther
On Mon, Sep 5, 2011 at 8:53 PM, Jan Hubicka wrote: >> Jan Hubicka wrote: >> >> > this is patch I comitted fixing ipa-inline-analysis. >> >> Thanks for fixing this! >> >> Richard Guenther wrote: >> >> > Can you open a bugreport? >> >> Sorry, I didn't see this until now.  Given that the fix is >> al

[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.

[Ada] Ada 2012 accessibility checking

2011-09-06 Thread Arnaud Charlet
This set of changes improves 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 following test is intended to test this support. The test should execute without producing output. Because this is an Ada2012 test, it

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 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 >> Subject: [PATCH

Re: Add unwind information to mips epilogues

2011-09-06 Thread Richard Sandiford
Richard Henderson writes: > On 09/05/2011 01:36 PM, Richard Sandiford wrote: >> Richard Henderson writes: >>> On 09/01/2011 12:13 AM, Richard Sandiford wrote: Also, for the frame_pointer_required case, it looks like there's a window between the restoration of the frame pointer and the d

[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 alt

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

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

2011-09-06 Thread Eric Botcazou
> Heh, well - more power to you (I agree about 2 ...). The other main > related issue I run into is signed array domains (see PR50294, similar > issues arise with current sign-extending sizetypes and unsigned > array domains). Any hints on that? I can certainly "patch up" this one > as well to s

[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 Stev

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_

[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 > > * recog.c (asm_labels_ok): New function. > (check_asm_operands): Use asm_labels_ok. Jaku

[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 * s-linux.ads, s-linux-alpha.ads, s-linux-hppa.ads, s-linux-mipsel.ads, s-linux-sparc.ads: Remove ha

[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 * ali.adb (Scan_ALI): Add missin

[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 Powe

[Ada] Implement No_Implementation_Identifiers/Extensions

2011-09-06 Thread Arnaud Charlet
This patch implements AI 246, restriction No_Implemention_Identifiers and the related profile No_Implementation_Extensions. The restriction disallows references to implementation defined identifiers (such as the ones in package Interfaces). The profile activates the full set of restrictions with na

[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 PR libstdc++/50257 * include/bits/hashtable_policy.h (_Prime_rehash_policy:: _M_next_bkt): Optimize for small argument. Index:

[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 * tree-ssa-sccvn.c (visit_use): CSE stmt pieces and simplify matching. Index: gcc/tree-ssa-sccvn.c ===

[Ada] Class-wide operations in instantations

2011-09-06 Thread Arnaud Charlet
AI05-0071 stipulates that: In an instance, if the actual for a formal type FT with unknown discriminants is a class-wide type CT, and the generic has a formal subprogram with a box for a primitive operation of FT, the corresponding actual subprogram denoted by the default is a class-wide operation

[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 D

[Ada] Refine error messages for illegal placement of [Type_]Invariant aspect

2011-09-06 Thread Arnaud Charlet
Aspect/pragma [Type_]Invariant may be placed illegally on a public type or a private type without public declaration. This patch gives a different error message for each case. Now, compiling the following code generates 4 different messages: $ gcc -c -gnat12 inv.ads inv.ads:5:11: aspect "Type_Inva

[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 -z

[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 f

Re: Rename across basic block boundaries

2011-09-06 Thread Richard Sandiford
Bernd Schmidt writes: > On 09/01/11 16:16, Richard Sandiford wrote: >> Bernd Schmidt 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 code)? >>> >>> I can't really tell

[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 Hr

[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 tru

[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: k.adb:

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 proc

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

2011-09-06 Thread Richard Sandiford
Chung-Lin Tang 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 that I've posted such a

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 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 foll

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 may

[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 an

[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 recor

[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 record

[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 * sysdep.c (winflush_nt): Removed as not needed anymore. (winflush_95): Likewise. (winflush_init): 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

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

2011-09-06 Thread Ilya Enkovich
Hello, Thanks for review! 2011/9/3 Uros Bizjak : > 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 insn, rtx operands

[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 : > 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). > > OK with

[PATCH] Fix up call_site_parameter (PR debug/50299)

2011-09-06 Thread Jakub Jelinek
Hi! CALL_INSN_FUNCTION_USAGE contains for each (use (reg:M)) or (use (mem:M)) the mode of the promoted argument, not the original mode, which is needed for RTL optimizations, but prepare_call_arguments would like to know the original non-promoted argument mode (i.e. TYPE_MODE of the argument's typ

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 turn

[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 rec

[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 Restrict

[PATCH] Make SCCVN handle vector CONSTRUCTORs

2011-09-06 Thread Richard Guenther
We currently lack support for vector CONSTRUCTORs in value-numbering (yes, and vector component selection as well, but that's a different story...). The following implements this by treating vector CONSTRUCTOR as nary ops. With quite some infrastructure adjustments to support (sort-of arbitrary

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 processe

[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 "no_implem

[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 (gimple_assi

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 f

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 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 You, > ChangeLog en

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 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. > Sorry for the mi

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] Ad

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 gcc/ * fold-const.c (constant_boolean_node): Adjust the meaning of boolean for vector types: true = {-1,..}, false = {0,..}. (fol

Re: Vector Comparison patch

2011-09-06 Thread Richard Guenther
On Tue, Sep 6, 2011 at 4:50 PM, Artem Shinkarov 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 > >       gcc/ >       * fold-const.c (constant_boolean_node): Adjust the meaning >       o

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 wrote: > I fixed all the changed you have requested. Here is an updated patch. > > Thanks, > > Balaji V. Iyer. > > > -Original Message---

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 testsuit

Re: [PATCH] check_cfg assert fix

2011-09-06 Thread Steven Bosscher
On Tue, Sep 6, 2011 at 11:14 AM, Tom de Vries 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 (any_condjump

[Ada] clean ups in Makefiles

2011-09-06 Thread Arnaud Charlet
As discussed recently, this patch reintroduces some Makefile hunks that had been removed in the past. These hunks allow (at least partially) to use gnattools/gnatlib targets to be used individually when using --disable-libada and alos reduce differences between FSF and AdaCore repositories, thus ma

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). dubious

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:8

Re: Vector shuffling

2011-09-06 Thread Richard Guenther
On Sat, Sep 3, 2011 at 5:52 PM, Artem Shinkarov wrote: > On Fri, Sep 2, 2011 at 8:52 PM, Joseph S. Myers > wrote: >> On Fri, 2 Sep 2011, Artem Shinkarov wrote: >> >>> Joseph, I don't understand this comment. I have 2 or 3 arguments in >>> the VEC_SHUFFLE_EXPR and any of them can be C_MAYBE_CONST

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 wrote: > Is fixed version OK? > > Thanks, > Ilya > --- > gcc/ > > 2011-09-06  Enkovich Ilya   > >        * config/i386/i386-protos.h (ix86_lea_outperforms): New. >        (ix86_avoid_lea_for_add): Likewise. >        (ix86_avoid_lea_for_addr): Likewis

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 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 perhaps >> in do

[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 PR tree-optimization/47025 * tree-s

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

2011-09-06 Thread Ilya Enkovich
2011/9/6 Uros Bizjak : > > 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). > > Assumi

[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 * include/bits/stl_vector.h (__is_valid): New function. (begin, end, size, capacity, swap

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 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: Tuesday, September 0

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 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 wrote: > 2011/9/6 Uros Bizjak : >> >> 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 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   > >        * include/bits/stl_vec

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:44 AM, Diego Novillo 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 _GLIBCXX_DEBUG), which catches many of the same bugs (and more), and introduction of "parallel" debug

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

2011-09-06 Thread Iyer, Balaji V
Ok..try it now.. I did git diff origin/cilkplus. Thanks, Balaji V. Iyer. -Original Message- From: H.J. Lu [mailto:hjl.to...@gmail.com] Sent: Tuesday, September 06, 2011 12:37 PM To: Iyer, Balaji V Subject: Re: [Patch][Cilkplus branch] Adding include directory path to testsuite script

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. ^^ Your name should be followed by 2 sp

[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 tr

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

2011-09-06 Thread Iyer, Balaji V
OK..fixed. Please try it now. Thanks, Balaji V. Iyer. From: H.J. Lu [hjl.to...@gmail.com] Sent: Tuesday, September 06, 2011 1:35 PM To: Iyer, Balaji V Cc: gcc-patches@gcc.gnu.org Subject: Re: [Patch][Cilkplus branch] Adding include directory path to tests

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 wrote: > On Tue, Sep 6, 2011 at 9:44 AM, Diego Novillo 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 _GLIBCXX_DEBUG), which catches many of

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

2011-09-06 Thread Ilya Enkovich
2011/9/6 Uros Bizjak : > > 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 * config/i386/i386-protos.h (ix86_lea_outp

[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 a

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 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

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 wrote: > On Tue, Sep 6, 2011 at 12:54, Paul Pluzhnikov wrote: >> On Tue, Sep 6, 2011 at 9:44 AM, Diego Novillo wrote: >> >>> OK.  Any reason not to send this (or a variant) to mainline? >> >> AFAIU, mainline is not interested -- there is already a d

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 wrote: > OK..fixed. Please try it now. > > Thanks, > > Balaji V. Iyer. > > From: H.J. Lu [hjl.to...@gmail.com] > Sent: Tuesday, September 06, 2011 1:35 PM > To: Iye

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 26e458d541a3b04512ab88

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 pa

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 subt

[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 ==

  1   2   >