Re: [PATCH, SMS 2/3] Skip DEBUG_INSNs while recognizing doloop

2011-05-12 Thread Revital Eres
Hello, +    if (reg_mentioned_p (reg, insn) !DEBUG_INSN_P (insn)) It probably makes sense to test for !DEBUG_INSN_P first, since it's much cheaper. Thanks, will commit the following to fix that: * modulo-sched.c (doloop_register_get): Check !DEBUG_INSN_P first. Index:

Re: [patch gimplifier]: Boolify more strict conditional expressions and transform simple form to binary

2011-05-12 Thread Richard Guenther
On Wed, May 11, 2011 at 5:46 PM, Kai Tietz ktiet...@googlemail.com wrote: 2011/5/11 Richard Guenther richard.guent...@gmail.com: The most important thing is to get predicate types sane - that affects tcc_comparison codes and the TRUTH_* codes.  After that, the TRUTH_* codes are redundant with

Re: [PATCH] fix PR middle-end/48965, CASE_CHAIN fallout

2011-05-12 Thread Richard Guenther
On Wed, May 11, 2011 at 9:22 PM, Nathan Froyd froy...@codesourcery.com wrote: The comment for pointer_map_traverse says: /* Pass each pointer in PMAP to the function in FN, together with the pointer    to the value and the fixed parameter DATA.  If FN returns false, the    iteration stops.  

Re: [PATCH] comment precising need to use free_dominance_info

2011-05-12 Thread Richard Guenther
On Thu, May 12, 2011 at 12:14 AM, pier...@pvittet.com wrote: After using function flow_loops_find in cfgloop.c, it is needed to use free_dominance_info to clear structure which have beend added by the use of calculate_dominance_info. I have added a comment precising this. My contributor

Re: [Patch, IRA] Fix a function accessing beyond end-of-array

2011-05-12 Thread Jakub Jelinek
On Thu, May 12, 2011 at 10:09:42AM +0100, Hari Sandanagobalane wrote: The REGNO_REG_CLASS is generally an array of size FIRST_PSEUDO_REGISTER. So, the indexes go from 0 to FIRST_PSEUDO_REGISTER-1. That is true. I think the = condition is fine in that case. Do you agree? That is wrong. It

[PATCH] use AS_HELP_STRING throughout gcc/configure.ac

2011-05-12 Thread Andreas Schwab
This changes all uses of AC_ARG_(WITH|ENABLE) to use AS_HELP_STRING, fixing a few quoting bugs on the way. OK for trunk? Andreas. 2011-05-12 Andreas Schwab sch...@redhat.com * configure.ac: Use AS_HELP_STRING throughout. * configure: Regenerate. diff --git a/gcc/configure.ac

New Chinese (simplified) PO file for 'cpplib' (version 4.6.0)

2011-05-12 Thread Translation Project Robot
Hello, gentle maintainer. This is a message from the Translation Project robot. A revised PO file for textual domain 'cpplib' has been submitted by the Chinese (simplified) team of translators. The file is available at: http://translationproject.org/latest/cpplib/zh_CN.po (This file,

Contents of PO file 'cpplib-4.6.0.zh_CN.po'

2011-05-12 Thread Translation Project Robot
cpplib-4.6.0.zh_CN.po.gz Description: Binary data The Translation Project robot, in the name of your translation coordinator. coordina...@translationproject.org

RX: 4.6 branch: Obvious fixes

2011-05-12 Thread Nick Clifton
Hi Guys, I am applying the patch below to the RX backend on the 4.6 branch. It fixes several small, obvious bugs, as described in the changelog. Cheers Nick gcc/ChangeLog 2011-05-12 Nick Clifton ni...@redhat.com * config/rx/rx.h (HAVE_PRE_DECREMENT): Fix typo. *

RX: mainline: Fix obvious bugs

2011-05-12 Thread Nick Clifton
Hi Guys, I am applying the patch below to fix some small, obvious problems with the RX backend in the mainline sources. Cheers Nick gcc/ChangeLog 2011-05-12 DJ Delorie d...@redhat.com Nick Clifton ni...@redhat.com * config/rx/rx.h (HAVE_PRE_DECREMENT): Fix typo.

RX: Add TARGET_BUILTIN_DECL

2011-05-12 Thread Nick Clifton
Hi Guys, I am checking in this patch, created by DJ Delorie, to add TARGET_BUILTIN_DECL to the RX backend. Cheers Nick gcc/ChangeLog 2011-05-12 DJ Delorie d...@redhat.com (rx_builtins): New arrays - holds builtin functions. (ADD_RX_BUILTIN1, ADD_RX_BUILTIN2,

Re: [Patch, IRA] Fix a function accessing beyond end-of-array

2011-05-12 Thread Hari Sandanagobalane
On 12/05/11 10:18, Jakub Jelinek wrote: On Thu, May 12, 2011 at 10:09:42AM +0100, Hari Sandanagobalane wrote: The REGNO_REG_CLASS is generally an array of size FIRST_PSEUDO_REGISTER. So, the indexes go from 0 to FIRST_PSEUDO_REGISTER-1. That is true. I think the = condition is fine in

Fix inline_merge_summary ICE during kernel build

2011-05-12 Thread Jan Hubicka
Hi, the problem is that Andi's test build is with -O0 and we should not allocate ipa-prop datastructures then. We do so via duplication hook by accident since do_whole_program_analysis for some illogical reason calls ipa_register_cgraph_hooks. Comitted as obvoius. Honza PR lto/48952

Re: [PATCH][4/n] Cleanup LTO type merging

2011-05-12 Thread Jan Hubicka
This removes the mode param from the generic type merging machinery and simplifies code accordingly. Bootstrapped and tested on x86_64-unknown-linux-gnu, applied to trunk. Hi, looks the cleanup series makes a progress, now I get 459s for Mozilla WPA (it was 540 last time I tried).

[PATCH] Fix PR48172

2011-05-12 Thread Richard Guenther
This fixes PR48172 by properly doing the runtime alias check for vectorization. Bootstrapped and tested on x86_64-unknown-linux-gnu, applied to trunk sofar. Richard. 2011-05-12 Richard Guenther rguent...@suse.de PR tree-optimization/48172 * tree-vect-loop-manip.c

[PR testsuite/47013] Fix SMS testsuite faliures

2011-05-12 Thread Revital Eres
Hello, The attached patch fixes SMS testsuite failures seen on PowerPC and SPU. Tested ppc64-redhat-linux on both with -m32,-m64 and SPU. OK for mainline? Thanks, Revital testsuite/Changelog PR rtl-optimization/47013 * gcc.dg/sms-2.c: Change scan-tree-dump-times and the code

Re: [patch gimplifier]: Boolify more strict conditional expressions and transform simple form to binary

2011-05-12 Thread Kai Tietz
While testing some other issues with C++'s __java_boolean type occurred. So I adjusted check in test-cfg.c as you suggested. Additionally due the fact that we are now boolifying conditions for even BOOLEAN_TYPE'ed cases (for making sure inner arms are boolified, too), we possibly would alter here

Re: [PATCH, SMS 1/3] Support closing_branch_deps (second try)

2011-05-12 Thread Revital Eres
Hello Ramana, Following our conversation; here is the patch again without the arm specific flags. Tested on ARM machine configured with [--with-arch=armv7-a] --with-mode=thumb. OK for mainline? Thanks, Revital testsuite/Changlog:        * gcc.target/arm/sms-9.c: New file.        *

[PATCH][7/n] LTO type merging cleanup

2011-05-12 Thread Richard Guenther
This improves hashing and comparing both regular and canonical type merging. Bootstrapped and tested on x86_64-unknonw-linux-gnu and SPEC2k6 tested, applied to trunk. Richard. 2011-05-12 Richard Guenther rguent...@suse.de * gimple.c (gtc_visit): Compare TREE_ADDRESSABLE, handle

Re: [patch gimplifier]: Boolify more strict conditional expressions and transform simple form to binary

2011-05-12 Thread Richard Guenther
On Thu, May 12, 2011 at 3:29 PM, Kai Tietz ktiet...@googlemail.com wrote: While testing some other issues with C++'s __java_boolean type occurred. So I adjusted check in test-cfg.c as you suggested. Additionally due the fact that we are now boolifying conditions for even BOOLEAN_TYPE'ed cases

[Patch,Fortran] Resolve intrinsic module-procs only once

2011-05-12 Thread Tobias Burnus
If an intrinsic module proc [such as ISO_Fortran_env's compiler_options()] is resolved multiple times, with -Wall a warning is printed, claiming that one has manually typed an intrinsic. The fix is to avoid resolving the proc multiple times. Note: Typing of use-associated symbols will always

[PATCH] Fix expansion of comparisons into signed type with 1-bit precision (PR middle-end/48973)

2011-05-12 Thread Jakub Jelinek
Hi! The read from a 1-bit signed bitfield initialized by a comparison is optimized into the comparison, which has that 1-bit signed bitfield comparison. Unfortunately that is still expanded as setting the result to 0 resp. 1 instead of this case 0 resp. -1 QImode pseudo, which is then sign

[PATCH] Fix combine_blocks (PR tree-optimization/48975)

2011-05-12 Thread Jakub Jelinek
Hi! combine_blocks at the end removes most of the bbs, keeps around just loop header, maybe latch and maybe exit_bb. We need to free bb-aux through free_bb_predicate, but that is done in the caller, using array of (former) loop bbs, with the new loop-num_nodes count (at most 3). While that

Re: [PATCH] Fix combine_blocks (PR tree-optimization/48975)

2011-05-12 Thread Richard Guenther
On Thu, May 12, 2011 at 4:42 PM, Jakub Jelinek ja...@redhat.com wrote: Hi! combine_blocks at the end removes most of the bbs, keeps around just loop header, maybe latch and maybe exit_bb.  We need to free bb-aux through free_bb_predicate, but that is done in the caller, using array of

Patch ping

2011-05-12 Thread Jakub Jelinek
Hi! - http://gcc.gnu.org/ml/gcc-patches/2011-05/msg00403.html debug info improvement for unused parameters passed in memory - http://gcc.gnu.org/ml/gcc-patches/2011-04/msg01669.html PR48688 optimization, I know Richard asked for trying it during combine, but that attempt failed due to

[Ada] Fix problem with sliding view conversion on OUT parameter

2011-05-12 Thread Eric Botcazou
You can invoke a procedure on a cast (type conversion) in Ada, even if the formal parameter is Out or In Out; if this case, the conversion is deemed a view conversion and is applied in both directions. Geert just found out that we don't properly handle these view conversions for unconstrained

Re: [PATCH] Fix up typed DWARF stack support for POINTERS_EXTEND_UNSIGNED targets (PR debug/48853)

2011-05-12 Thread Jakub Jelinek
On Wed, May 11, 2011 at 12:28:18PM -0700, H.J. Lu wrote: This patch restores the old behavior for Pmode. OK for trunk if there are no regressions? That is IMHO wrong, ignoring subregs is a very bad idea. While you can workaround generation of the DW_OP_GNU_convert that way (why do you want

Re: [PATCH] Fix up typed DWARF stack support for POINTERS_EXTEND_UNSIGNED targets (PR debug/48853)

2011-05-12 Thread H.J. Lu
On Thu, May 12, 2011 at 7:56 AM, Jakub Jelinek ja...@redhat.com wrote: On Wed, May 11, 2011 at 12:28:18PM -0700, H.J. Lu wrote: This patch restores the old behavior for Pmode. OK for trunk if there are no regressions? That is IMHO wrong, ignoring subregs is a very bad idea. While you can

[PATCH] Tweaks to the interface between ipa-inline-analysis and ipa-cp/ipa-prop

2011-05-12 Thread Martin Jambor
Hi, the original intention of this patch was not only to make the interface a bit nicer and internals of the lattice isolated but also so that we do not use struct ipcp_lattice in ipa-inline-analysis.c and thus my large modifications of theat structure do not have to be reflected in the file.

Re: C6X port 8/11: A new FUNCTION_ARG macro

2011-05-12 Thread Bernd Schmidt
On 05/10/2011 06:57 PM, Joseph S. Myers wrote: On Tue, 10 May 2011, Bernd Schmidt wrote: On C6X, we have PARM_BOUNDARY == 8 (one byte), but some function argument slots still must be rounded to a larger value. As far as I could tell there's currently no way of telling gcc about this, hence a

Re: C6X port 5/11: Track predication conditions more accurately

2011-05-12 Thread Bernd Schmidt
On 05/11/2011 12:45 PM, Alexander Monakov wrote: Could the above be conditional on whether the target CPU is exposed-pipeline? Can do. New patch below. I'm concerned this may degrade scheduling for other targets in some cases. On the other hand, it may also improve scheduling. Hard to say

Re: [PATCH] Tweaks to the interface between ipa-inline-analysis and ipa-cp/ipa-prop

2011-05-12 Thread Jan Hubicka
By the way, in the future we may want ipa-cp to merge clones that are equivalent (let's say one of the predicate says that a parameter is greater than 10 and we have a bunch of callers supplying values 1, 2 and 8, we will want to create just one clone for all three values because the effect

[Patch, fortran] PR48955 [4.6/4.7 Regression] Wrong result for array assignment due to missing temporary

2011-05-12 Thread Paul Richard Thomas
This patch fixes the problem in two steps: (i) It reverts r162289; and (ii) It adds the correct initialization for loop.reverse[] in gfc_trans_assignment_1.  This was implemented incorrectly in the fix for PR24524 (in spite of the correct comment in dependency.c!) and removed at sometime, I do not

Re: [PATCH] Fix up typed DWARF stack support for POINTERS_EXTEND_UNSIGNED targets (PR debug/48853)

2011-05-12 Thread Tom Tromey
H.J. == H J Lu hjl.to...@gmail.com writes: H.J. On Thu, May 12, 2011 at 7:56 AM, Jakub Jelinek ja...@redhat.com wrote: On Wed, May 11, 2011 at 12:28:18PM -0700, H.J. Lu wrote: This patch restores the old behavior for Pmode. OK for trunk if there are no regressions? That is IMHO wrong,

[PATCH] Marking SCCs in ipa_reduced_postorder

2011-05-12 Thread Martin Jambor
Hi, in my current efforts to enhance IPA-CP I propagate values in a single pass over the call graph nodes in the topological order and only resort to propagation until no change in SCCs. In order to do that I need to quickly figure out whether two nodes on both sides of a call graph edge are in

Re: C6X port 7/11: Cope with odd section names

2011-05-12 Thread Bernd Schmidt
On 05/10/2011 06:55 PM, Joseph S. Myers wrote: Unless the documentation is based on pre-existing GFDL-only documentation in tm.texi.in, it's preferable for the documentation of a new hook to go in the doc string in target.def and get to tm.texi that way, rather than putting it directly in

Re: [Patch, fortran] PR48955 [4.6/4.7 Regression] Wrong result for array assignment due to missing temporary

2011-05-12 Thread Tobias Burnus
On 05/12/2011 05:46 PM, Paul Richard Thomas wrote: This patch fixes the problem in two steps: (i) It reverts r162289; and (ii) It adds the correct initialization for loop.reverse[] in gfc_trans_assignment_1. This was implemented incorrectly in the fix for PR24524 (in spite of the correct

Re: C++ PATCH for c++/48948 (rejecting constexpr friend that takes the current class)

2011-05-12 Thread Jason Merrill
While thinking about this issue some more it occurred to me that this deferral can be problematic for constructors, since we use whether or not a constructor is really constexpr to decide whether or not a class is literal. The rule that seems to me to make the most sense is to say that if we

Re: [RFC PATCH] Typed DWARF stack

2011-05-12 Thread Tom Tromey
Just for the record... Tom What my patch does now is that it generally uses a signed integer type Tom of the appropriate width for legacy DWARF values. Then, for mod, if Tom the value's type is this special type, it converts it to an Tom identically-sized unsigned type, and converts back after

Re: [patch gimplifier]: Boolify more strict conditional expressions and transform simple form to binary

2011-05-12 Thread Kai Tietz
2011/5/12 Richard Guenther richard.guent...@gmail.com: On Thu, May 12, 2011 at 3:29 PM, Kai Tietz ktiet...@googlemail.com wrote: While testing some other issues with C++'s __java_boolean type occurred. So I adjusted check in test-cfg.c as you suggested. Additionally due the fact that we are

Re: [RFC PATCH] Typed DWARF stack

2011-05-12 Thread Tom Tromey
Tom I have since changed this. For explicitly-typed values, I tried Tom DW_OP_shr and DW_OP_shra identically. The type encodes the desired Tom operation. Jakub pinged me on irc to say that this is not what GCC actually emits. So, I am going to change GDB to follow. That is, GDB will pick a

Go patch committed: Fix bug taking address of variable

2011-05-12 Thread Ian Lance Taylor
This patch to the Go frontend fixes a bug when taking the address of a variable when the address of the variable does not escape the function. When the address does escape the variable is moved onto the heap, to avoid danling pointers. When the address does not escape this is not necessary.

Re: [PATCH] use AS_HELP_STRING throughout gcc/configure.ac

2011-05-12 Thread Ralf Wildenhues
* Andreas Schwab wrote on Thu, May 12, 2011 at 11:22:12AM CEST: This changes all uses of AC_ARG_(WITH|ENABLE) to use AS_HELP_STRING, fixing a few quoting bugs on the way. OK for trunk? Yes, if you visually compared the diff of configure and of './configure --help' before and after the

PATCH: Change maybe_eh_return to bool

2011-05-12 Thread H.J. Lu
Hi, This patch changes maybe_eh_return to bool. OK for trunk? Thanks. H.J. --- 2011-05-12 H.J. Lu hongjiu...@intel.com * config/i386/i386.c (ix86_save_reg): Change maybe_eh_return to bool. (ix86_emit_restore_regs_using_mov): Likewise.

Re: [patch gimplifier]: Boolify more strict conditional expressions and transform simple form to binary

2011-05-12 Thread H.J. Lu
On Thu, May 12, 2011 at 11:19 AM, Kai Tietz ktiet...@googlemail.com wrote: 2011/5/12 Richard Guenther richard.guent...@gmail.com: On Thu, May 12, 2011 at 3:29 PM, Kai Tietz ktiet...@googlemail.com wrote: While testing some other issues with C++'s __java_boolean type occurred. So I adjusted

A five character qualifier saves the C++ build ...

2011-05-12 Thread Toon Moene
[ Strong Typing Is For People With Weak Memories ] The attached patch fixes the C++ (--disable-werror) bootstrap: 2011-05-12 Toon Moene t...@moene.org * objc-next-runtime-abi-02.c (objc_build_internal_classname): Add const qualifier to constant variable pointer declaration.

Re: A five character qualifier saves the C++ build ...

2011-05-12 Thread Mike Stump
On May 12, 2011, at 1:33 PM, Toon Moene wrote: [ Strong Typing Is For People With Weak Memories ] :-) 2011-05-12 Toon Moene t...@moene.org * objc-next-runtime-abi-02.c (objc_build_internal_classname): Add const qualifier to constant variable pointer declaration. Apply as

Re: PATCH: Change maybe_eh_return to bool

2011-05-12 Thread Uros Bizjak
On Thu, May 12, 2011 at 9:55 PM, H.J. Lu hongjiu...@intel.com wrote: Hi, This patch changes maybe_eh_return to bool.  OK for trunk? Thanks. H.J. --- 2011-05-12  H.J. Lu  hongjiu...@intel.com        * config/i386/i386.c (ix86_save_reg): Change maybe_eh_return        to bool.        

Re[2]: [SPARC] Hookize PRINT_OPERAND, PRINT_OPERAND_ADDRESS and PRINT_OPERAND_PUNCT_VALID_P

2011-05-12 Thread Anatoly Sokolov
Hello, Rainer. this is the patch I've checked in after it passed sparc-sun-solaris2.11 andi i386-pc-solaris2.11 bootstrap. Rainer 2011-05-05 Rainer Orth r...@cebitec.uni-bielefeld.de * config/sparc/sol2.h (ASM_OUTPUT_CALL): Use targetm.asm_out.print_operand.

x86 option handling cleanup, use more .opt features

2011-05-12 Thread Joseph S. Myers
This patch cleans up x86 option handling to use .opt features where possible for options with string arguments, instead of decoding those strings in ix86_option_override_internal. (The only options with string arguments that may be generated through target attributes are -march=, -mtune= and

Re: PATCH: Change maybe_eh_return to bool

2011-05-12 Thread H.J. Lu
On Thu, May 12, 2011 at 2:09 PM, Uros Bizjak ubiz...@gmail.com wrote: On Thu, May 12, 2011 at 9:55 PM, H.J. Lu hongjiu...@intel.com wrote: Hi, This patch changes maybe_eh_return to bool.  OK for trunk? Thanks. H.J. --- 2011-05-12  H.J. Lu  hongjiu...@intel.com        *

[Patch, Fortran] Reject non-default-kind characters as flags to I/O statements

2011-05-12 Thread Tobias Burnus
The patch is a correctness issue as the Fortran standard has those as constraints - and the results of passing kind=4 strings is also odd ... I used also the chance to resolve INQUIRE's decimal ... Build and partially regtested on x86-64-linux. OK for the trunk? Tobias PS: I will regtest

Re: PATCH: Change maybe_eh_return to bool

2011-05-12 Thread H.J. Lu
On Thu, May 12, 2011 at 2:09 PM, Uros Bizjak ubiz...@gmail.com wrote: FWIW, the return type of ix86_save_reg (and ix86_hard_regno_mode_ok and perhaps many others...) can also be changed to bool. This patch changes the return type of ix86_save_reg to bool and return value of

Re: [patch][gimplefe] Preliminary variable declaration support

2011-05-12 Thread Sandeep Soni
On Wed, May 11, 2011 at 1:19 AM, Diego Novillo dnovi...@google.com wrote: Please add a ChangeLog entry.  OK with that change. Committed after adding the ChangeLog entry. -- Cheers Sandy

Re: PR 47793 - Support relative paths using -fprofile-generate

2011-05-12 Thread Jan Hubicka
Is this patch ok for trunk? Hi, the patch is OK. Sorry for delayed reply, I was very busy by the inliner/thunk bits and this code is not really in my area of expertise, so it needed some consideration to make sense of it. Honza Allowing relative path in -fprofile-generate= is very useful

[google] support for building Linux kernel with FDO (issue4523061)

2011-05-12 Thread Rong Xu
This patch add support to build Linux kernel with FDO. Building Linux kernel with FDO needs both compiler change and kernel changes. This part only contains the gcc changes. I'll attach kernel changes to the reveiew thread for reference. Source files gcov-io.c gcov-io.h and libgcov.c will be