[PATCH] Fix PR55270

2013-01-29 Thread Richard Biener
This fixes PR55270 - we need to fixup loops after phicprop as that removes edges without doing so. The following patch makes us rely on cfgcleanup scheduled after the pass for this. Bootstrapped and tested on x86_64-unknown-linux-gnu, applied. Richard. 2013-01-29 Richard Biener PR

[PATCH][RFC] Add -fno-aggressive-loop-optimizations

2013-01-29 Thread Richard Biener
The following patch adds -faggressive-loop-optimizations, enabled by default, guarding the use of language constraints for number of iteration analysis. Starting with GCC 4.8 we more aggressively make use of iteration bounds derived from those constraints which for example breaks SPEC CPU 2006 46

Re: [Patch] PR56064: Fold VIEW_CONVERT_EXPR with FIXED_CST

2013-01-29 Thread Richard Biener
On Mon, Jan 21, 2013 at 2:28 PM, Georg-Johann Lay wrote: > This is tentative patch as discussed in > > http://gcc.gnu.org/ml/gcc/2013-01/msg00187.html > > fold-const.c gets 2 new function native_encode_fixed and > native_interpret_fixed. Code common with the integer case is factored out and > mov

Re: SLP for vectors

2013-01-29 Thread Richard Biener
On Sun, Jan 27, 2013 at 4:28 PM, Marc Glisse wrote: > Hello, > > this message is to check that I am not doing something absurd and ask for a > bit of advice. > > In the attached patch, I let SLP recognize vector loads/stores just like it > recognizes those in an array. It has a few issues: the cos

Re: libgo patch committed: Support sparc64 in lfstack.c

2013-01-29 Thread Rainer Orth
Ian Lance Taylor writes: > Looks like sparc64 broke for libgo when parallel garbage collection was > introduced. This patch is an attempt to get it working again. > Bootstrapped and ran Go testsuite on x86_64-unknown-linux-gnu, not that > that proves much. Committed to mainline. I needed the f

[build] Properly set progbits/nobits for Solaris/SPARC as

2013-01-29 Thread Rainer Orth
As originally reported as binutils PR ld/15057, several gfortran tests are failing on Solaris/SPARC with Sun as and GNU ld like this: FAIL: gfortran.dg/coarray/alloc_comp_1.f90 -fcoarray=lib -O2 -lcaf_single (test for excess errors) Excess errors: /vol/gcc/bin/gld-2.23.1: warning: section `.bss

Re: [PATCH] Add faster HTM fastpath for libitm TSX

2013-01-29 Thread Torvald Riegel
On Thu, 2013-01-24 at 17:45 +0100, Andi Kleen wrote: > > > > > + uint32_t *__gtm_global_lock; > > > > Same, and rearrange the serial lock's fields (see below). > > My understanding is that C++ makes no guarantees of class layout. > That is why i ended up not relying on the layout. gtm_rwlock i

[PATCH] Fix PR56113

2013-01-29 Thread Richard Biener
This reduces the amount of memory needed by PTA pointer unification which has quadratic memory requirements. It's very easy to improve the situation where a lot of pointer equivalences are present by not keeping duplicate bitmaps we unify using a hashtable already. This reduces the overhead of th

Re: Update my entry into the contributions

2013-01-29 Thread Aldy Hernandez
Andrew Pinski writes: > +gimple interal representation of pointer addition, and for various s/interal/internal/

Re: [PATCH] Add faster HTM fastpath for libitm TSX v2

2013-01-29 Thread Torvald Riegel
On Thu, 2013-01-24 at 19:30 -0800, Andi Kleen wrote: > From: Andi Kleen > > The libitm TSX hardware transaction fast path currently does quite a bit of > unnecessary work (saving registers etc.) before even trying to start > a hardware transaction. This patch moves the initial attempt at a > tran

[PATCH] Add -pthread option for RTEMS

2013-01-29 Thread Sebastian Huber
A lot of things use the -pthread GCC option if they want to use the Pthreads. Examples are various configure scripts and some GCC test cases. RTEMS supports Pthreads. It is convenient to simply add a -pthread option and ignore it for RTEMS. 2013-01-29 Sebastian Huber * config/rtems.

[AArch64] Implement Bitwise AND and Set Flags

2013-01-29 Thread Hurugalawadi, Naveen
Hi, Please find attached the patch that implements Bitwise AND and Set Flags instruction for aarch64 target. The patch adds a testcase ands.c which is similar to the adds.c. Please review the patch and let me know if there should be any modifications? Build and tested on aarch64-thunder-elf (usi

[Patch, AArch64, AArch64-4.7] Implement Bitwise AND and Set Flags

2013-01-29 Thread Hurugalawadi, Naveen
Hi, Please find attached the patch that implements Bitwise AND and Set Flags instruction for aarch64 target. The patch adds a testcase ands.c which is similar to the adds.c. Please review the patch and let me know if there should be any modifications? Regressed for aarch64-elf on aarch64-4.7-bra

Re: libgo patch committed: Support sparc64 in lfstack.c

2013-01-29 Thread Ian Lance Taylor
On Tue, Jan 29, 2013 at 4:34 AM, Rainer Orth wrote: > Ian Lance Taylor writes: > >> Looks like sparc64 broke for libgo when parallel garbage collection was >> introduced. This patch is an attempt to get it working again. >> Bootstrapped and ran Go testsuite on x86_64-unknown-linux-gnu, not that

[Ada] Obsolescence considerations for pragma Interface/Interface_Name

2013-01-29 Thread Arnaud Charlet
Interface is now flagged as violating restriction No_Obsolescent_Features even in Ada 95 mode. Both Interface and Interface_Name cause warnings to be issued with -gnatwj (but we don't consider that Interface_Name violates the restriction, since Interface_Name is a GNAT defined pragma that is not i

[Ada] Avoid duplexing of fields in entity nodes (internal change)

2013-01-29 Thread Arnaud Charlet
This patch uses the newly available fields in an extended entity node to avoid some nasty cases of field duplexing, which we try to avoid. Internal change only, no functional effect, no test. Tested on x86_64-pc-linux-gnu, committed on trunk 2013-01-29 Robert Dewar * atree.ads, atree.

[Ada] Allow Ada 2012 aspects on renaming declarations

2013-01-29 Thread Arnaud Charlet
This patch completes the implementation of Ada 2012 aspects on all renaming declarations. This is only relevant for implementation-defined aspects such as Warnings, as shown by the following example program which is compiled with -gnatwa -gnatld7 1. pragma Ada_2012; 2. procedure renameas

[Ada] gnatmake find old ALI files in wrong object directory

2013-01-29 Thread Arnaud Charlet
When gnatmake is invoked with project files and a source has been moved from one project A to another project B in the project tree, but the ALI and object files has not be removed from the object directory of A, gnatmake may always recompile the source moved to project B, even when it is up to dat

[Ada] Fixes to -gnatyn mode (casing of standard identifiers)

2013-01-29 Thread Arnaud Charlet
Identifiers for other than control characters and LC_? in ASCII are not all upper case, they are mixed case. This patch corrects that error in the handling of -gnatyn. It also removes a couple of references to ASCII.BACK_SLASH from the run-time, since they are now flagged, and removing the referenc

[Ada] gnat stub -P crashes when Ada is not a language of the project

2013-01-29 Thread Arnaud Charlet
This patch prevents the GNAT driver from crashing when it is called as "gnat stub -P ..." and Ada is not one of the languages of the project, for example if the project is an aggregate project. Tested on x86_64-pc-linux-gnu, committed on trunk 2013-01-29 Vincent Celier * gnatcmd.adb:

[Ada] Ada 2012: Rule on function writable actuals (AI05-0144-2)

2013-01-29 Thread Arnaud Charlet
If the construct N has two or more direct constituents that are names or expressions whose evaluation may occur in an arbitrary order, at least one of which contains a function call with an in out or out parameter, then the construct is legal only if: for each name that is passed as a parameter of

[Ada] Expression functions and protected definitions

2013-01-29 Thread Arnaud Charlet
An expression_function_declaration is a different syntactic category from a subprogram_declaration. As a consequence, an expression function cannot appear in a protected definition, i.e. cannot declare a protected operation. Compiling essai.adb must yield: essai.adb:4:07: an expression functio

[Ada] Insertion of generated constructs in N_Expression_With_Actions nodes

2013-01-29 Thread Arnaud Charlet
This patch corrects the mechanism that inserts various generated constructs in the tree, in particular the interaction with expression_with_actions nodes. No test case applicable as this latent bug was found during code reading. Tested on x86_64-pc-linux-gnu, committed on trunk 2013-01-29 Hristi

Re: [build] Properly set progbits/nobits for Solaris/SPARC as

2013-01-29 Thread Paolo Bonzini
Il 29/01/2013 13:42, Rainer Orth ha scritto: > As originally reported as binutils PR ld/15057, several gfortran tests > are failing on Solaris/SPARC with Sun as and GNU ld like this: > > FAIL: gfortran.dg/coarray/alloc_comp_1.f90 -fcoarray=lib -O2 -lcaf_single > (test for excess errors) > Exces

[PATCH 1/2] PowerPC testsuite clean up

2013-01-29 Thread Sebastian Huber
2013-01-18 Sebastian Huber * lib/target-supports.exp (check_effective_target_powerpc_eabi_ok): New. * gcc.target/powerpc/ppc-eabi.c: Use require effective target powerpc_eabi_ok. * gcc.target/powerpc/ppc-sdata-1.c: Likewise. * gcc.target/powerpc/s

[PATCH 2/2] Test case for PR55033

2013-01-29 Thread Sebastian Huber
2013-01-29 Sebastian Huber PR target/55033 * gcc.target/powerpc/pr55033.c: New. --- gcc/testsuite/gcc.target/powerpc/pr55033.c | 21 + 1 files changed, 21 insertions(+), 0 deletions(-) create mode 100644 gcc/testsuite/gcc.target/powerpc/pr55033.c diff --

Re: [Patch] Potential fix for PR55033

2013-01-29 Thread Sebastian Huber
Hello, is it possible to integrate this patch into the GCC 4.8 release? On 10/24/2012 04:50 PM, Alan Modra wrote: On Tue, Oct 23, 2012 at 06:25:43PM +0200, Sebastian Huber wrote: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55033 This patch fixes my problem, but I am absolutely not sure if thi

Re: [PATCH 2/2] Test case for PR55033

2013-01-29 Thread Sebastian Huber
Test results with these patches are here: http://gcc.gnu.org/ml/gcc-testresults/2013-01/msg03064.html -- Sebastian Huber, embedded brains GmbH Address : Dornierstr. 4, D-82178 Puchheim, Germany Phone : +49 89 189 47 41-16 Fax : +49 89 189 47 41-09 E-Mail : sebastian.hu...@embedded-brains

Ping: [RFA/dwarf] Add DW_AT_use_GNAT_descriptive_type flag for Ada units.

2013-01-29 Thread Joel Brobecker
Hello, I was hoping someone would kindly review this patch? It is an important part for debugging Ada code, helping with performance. Thank you! On Tue, Jan 08, 2013 at 07:24:14AM -0500, Joel Brobecker wrote: > Hello, > > I just noticed that part of the proposal we made for... > http://gcc.gnu.

Re: [PATCH 2/2] [asan] Avoid instrumenting duplicated memory access in the same basic block

2013-01-29 Thread Jakub Jelinek
On Mon, Jan 28, 2013 at 10:32:43PM +0100, Dodji Seketeli wrote: Thanks for working on this. > @@ -212,6 +213,159 @@ alias_set_type asan_shadow_set = -1; > alias set is used for all shadow memory accesses. */ > static GTY(()) tree shadow_ptr_types[2]; > > +/* Hashtable support for memory r

Re: [PATCH 2/2] [asan] Avoid instrumenting duplicated memory access in the same basic block

2013-01-29 Thread Jakub Jelinek
On Tue, Jan 29, 2013 at 04:00:22PM +0100, Jakub Jelinek wrote: > @@ -1464,23 +1726,39 @@ transform_statements (void) > >FOR_EACH_BB (bb) > { > + get_mem_ref_hash_table ().dispose (); > + >if (bb->index >= saved_last_basic_block) continue; > for (i = gsi_start_bb (bb);

[PATCH] Fix PTA compile-time for PR56113

2013-01-29 Thread Richard Biener
This brings down compile-time in PTA from tree PTA: 25.37 (24%) usr to tree PTA: 5.06 ( 6%) usr by doing something that was on my TODO list for ... ages. We are currently re-translating internal points-to sets to final points-to sets all the time even if w

[PATCH] Small cleanup in cleanup_cfg

2013-01-29 Thread Marek Polacek
I don't see any reason why we'd want to mark BBs in this case, changed_bbs are thrown away right after fix_loop_structure marks them. Regtested/bootstrapped on x86_64-linux, ok for trunk? 2013-01-29 Marek Polacek * cfgcleanup.c (cleanup_cfg): Don't mark affected BBs. --- gcc/cfgclean

Re: [Patch] Potential fix for PR55033

2013-01-29 Thread Sebastian Huber
On 01/29/2013 03:40 PM, Sebastian Huber wrote: Hello, is it possible to integrate this patch into the GCC 4.8 release? With this patch we have: LAST_UPDATED: Mon Jan 28 07:50:05 UTC 2013 (revision 5c2b636:7d84cac:9fc8b0bfcfe944067fc4c75d8b3f97eab67cecf3) Native configuration is x86_64-unkn

Re: [PATCH,ARM][1/5] Add ffmas and ffmad type attribute

2013-01-29 Thread Ramana Radhakrishnan
gcc/ 2013-01-03 Greta Yorsh * config/arm/arm.md (type): Add ffmas and ffmad to "type" attribute. * config/arm/vfp.md (fma,fmsub,fnmsub,fnmadd): Change type from fmac to ffma. * config/arm/vfp11.md (vfp_farith): Use ffmas. (vfp_fmul): Use ffmad.

Re: [PATCH,ARM][2/5] Update cortex-a7 vfp/neon pipeline description

2013-01-29 Thread Ramana Radhakrishnan
On 01/25/13 18:22, Greta Yorsh wrote: This patch updates the description of vmul, vdiv, vsqrt, vmla,vmls, vfma, vfms operations for vfp and neon. It uses ffmas and ffmad type attribute introduced by the previous patch. gcc/ 2013-01-03 Greta Yorsh * config/arm/cortex-a7.md (cortex_a

Re: [PATCH,ARM][3/5] New bypass between mac operations in cortex-a7 pipeline description

2013-01-29 Thread Ramana Radhakrishnan
On 01/25/13 18:23, Greta Yorsh wrote: Add bypasses to forward the result of one MAC operation to the accumulator of another MAC operation. Towards this end, we add a new function arm_mac_accumulator_is_result to be used as a guard for bypasses. Existing guard arm_mac_accumulator_is_mul_result re

Re: [PATCH,ARM][4/5] Fix calls in cortex-a7 pipeline description

2013-01-29 Thread Ramana Radhakrishnan
On 01/25/13 18:24, Greta Yorsh wrote: Improve handling of call insns in cortex-a7 pipeline description, as follows. A call can dual-issue as a younger instruction but not as an older instruction (from compiler's point of view). This patch adjusts the function cortexa7_younger (used by the implem

Re: [PATCH,ARM][5/5] Cleanup in cortex-a7 pipeline description

2013-01-29 Thread Ramana Radhakrishnan
On 01/25/13 18:25, Greta Yorsh wrote: In cortex_a7_idiv, the use of cortex_a7_all reservation can be replaced by cortex_a7_both, because all other reservations require at least one of cortex_a7_ex1 or cortex_a7_ex2. Then, remove unused reservation units cortex_a7_neon and cortex_a7_all. gcc/ 20

[PATCH] __cxa_atexit support for AIX

2013-01-29 Thread David Edelsohn
Inspired by Perry's patch to add __cxa_atexit support, I have implemented a similar patch. This version adds __cxa_atexit and __cxa_finalize support to libgcc on AIX and makes no changes to collect2 processing. Because AIX does not use crtstuff.c for init/fini processing, I used an extremely low-

Re: [PATCH] Add faster HTM fastpath for libitm TSX v2

2013-01-29 Thread Andi Kleen
> next time please reply to the points raised in a review if you disagree > with them, and don't just ignore them. That speeds up the review. It was all in the previous email on the topic. > > // See gtm_thread::begin_transaction. > > -uint32_t GTM::htm_fastpath = 0; > > +uint32_t GTM::htm_fast

Re: [Patch] PR56064: Fold VIEW_CONVERT_EXPR with FIXED_CST, Take #2

2013-01-29 Thread Georg-Johann Lay
Richard Biener wrote: > Georg-Johann Lay wrote: >> This is tentative patch as discussed in >> >> http://gcc.gnu.org/ml/gcc/2013-01/msg00187.html >> >> fold-const.c gets 2 new function native_encode_fixed and >> native_interpret_fixed. Code common with the integer case is factored out >> and >> mo

libgo patch committed: Update to current sources

2013-01-29 Thread Ian Lance Taylor
I've updated libgo to the current sources, in an attempt to get GCC 4.8 closer to the upcoming Go 1.1 release. I've attached the patches to the directories that are mainly different for gccgo. Bootstrapped and ran Go testsuite on x86_64-unknown-linux-gnu. Committed to mainline. Ian diff -r 03c

Re: [Patch, Fortran] PR 54107: [4.8 Regression] Memory hog with abstract interface

2013-01-29 Thread Janus Weil
Hi Thomas, >>> Or maybe wait for the fix for comment #4? >> >> Rather not (technically it's a separate issue, I guess). > > > While the patch is rather large, I think it is OK. > > One request: Could you add a comment to gfc_sym_get_dummy_args > explaining what the function does and under which c

[Patch, Fortran] PR56138 - fix deferred-length character funcs w/o result variable

2013-01-29 Thread Tobias Burnus
For allocatable string lengths (deferred length strings), the current code generates a local integer variable to which the the length is assigned. For some reason, that doesn't work for some functions which do not use a result variable - leading to failures as the pass-by-reference variable is

Merge from trunk to gccgo branch

2013-01-29 Thread Ian Lance Taylor
I've merged trunk revision 195560 to the gccgo branch. Ian

[PATCH] Fix RTL fwprop compile-time for PR56113

2013-01-29 Thread Steven Bosscher
Hello, This brings down compile time for fwprop by avoiding CFG changes in loop_optimizer_init(). The CFG changes it could make would invalidate the fast dominance queries, so that walk_dominator_tree had to work with the slow queries -- rather painful on a CFG with an almost flat dominator tree.

Re: [PATCH] Fix RTL fwprop compile-time for PR56113

2013-01-29 Thread Steven Bosscher
On Wed, Jan 30, 2013 at 12:01 AM, Steven Bosscher wrote: > To prevent that mistake in the future, I've add an assert in dominance.c. Hmm, that worked with my release-checking compiler of course, but fails in at least tree-ssa-dom.c (same as for fwprop.c, loop_optimizer_init destroys fast queries)

libgo patch committed: Update libgo again

2013-01-29 Thread Ian Lance Taylor
Unfortunately I updated the last libgo version from sources that a bug in the JSON package. This patch updates libgo again to the new current sources, fixing the bug. Bootstrapped and ran Go testsuite on x86_64-unknown-linux-gnu. Committed to mainline. Ian diff -r 6141bbace093 libgo/MERGE ---

[Patch, AArch64] Implement SIMD Absolute Difference Instructions

2013-01-29 Thread Hurugalawadi, Naveen
Hi, Please find attached the patch that implements absolute difference instructions for aarch64 target. The patch modifies the testcase vect.c and vect-fp.c to check the generated instructions and also their functionality. Please review the patch and let me know if there should be any modificatio

[Patch, AArch64, AArch64-4.7] Implement SIMD Absolute Difference Instructions

2013-01-29 Thread Hurugalawadi, Naveen
Hi, Please find attached the patch that implements absolute difference instructions for aarch64 target. The patch modifies the testcase vect.c and vect-fp.c to check the generated instructions and also their functionality. Please review the patch and let me know if there should be any modificatio

Re: [Patch, Fortran] PR56138 - fix deferred-length character funcs w/o result variable

2013-01-29 Thread Paul Richard Thomas
Dear Tobias, For a variety of reasons, I did not open my mailbox this morning but got down to developing an almost identical fix and taking the PR! Anyway, it would be best that you commit your fix, so it's OK for trunk. Thanks Paul On 29 January 2013 23:36, Tobias Burnus wrote: > For allocat

[PING^1] Allow widening multiplication in tree-ssa/slsr-*.c

2013-01-29 Thread Hurugalawadi, Naveen
Hi, Please consider this as a reminder to review the patch posted at following link:- http://gcc.gnu.org/ml/gcc-patches/2013-01/msg00823.html Please review the patch and let me know if its okay? Thanks & Regards, Naveen.H.S