Re: [PATCH] Fix PR 33512 Folding of x ((~x) | y) into x y on the tree level

2012-04-24 Thread Richard Guenther
On Mon, Apr 23, 2012 at 11:21 PM, Andrew Pinski andrew.pin...@caviumnetworks.com wrote: On Mon, Apr 23, 2012 at 2:41 AM, Richard Guenther richard.guent...@gmail.com wrote: On Sat, Apr 21, 2012 at 6:06 AM, Andrew Pinski andrew.pin...@caviumnetworks.com wrote: This time with the patch and

Re: [PATCH] Fix VRP ICE on x cst1; if (x cmp cst2) (PR tree-optimization/53058)

2012-04-24 Thread Richard Guenther
On Tue, Apr 24, 2012 at 1:01 AM, Jakub Jelinek ja...@redhat.com wrote: Hi! My PR52533 patch fixed unsigned comparisons, but not signed ones where the maximum is different. Fixed thusly, bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk? 2012-04-23  Jakub Jelinek  

[PATCH] Fix VRP ICE on x cst1; if (x cmp cst2) (PR tree-optimization/53058, take 2)

2012-04-24 Thread Jakub Jelinek
On Tue, Apr 24, 2012 at 08:05:35AM +0200, Richard Guenther wrote: On Tue, Apr 24, 2012 at 1:01 AM, Jakub Jelinek ja...@redhat.com wrote: I don't like using TYPE_MAX_VALUE in VRP - at least please use vrp_val_max. For enums this can be not what you expect(?) Please consider adding a

RE: [H8300] Use braced strings in MD

2012-04-24 Thread Naveen H. S
Hi, Great. I approved it this morning and it looks like your account was created soon thereafter. Thanks for the approval. My account has been created. add yourself to the MAINTAINTERS file with write-after-approval privileges. Done. http://gcc.gnu.org/ml/gcc-cvs/2012-04/msg00705.html

[PATCH] Fix PR53098

2012-04-24 Thread Richard Guenther
This fixes PR53098. Committed as obvious. Richard. 2012-04-24 Richard Guenther rguent...@suse.de PR tree-optimization/53098 * tree-vect-loop.c (vect_analyze_loop_operations): Fixup comparison sign. Index: gcc/tree-vect-loop.c

Re: [PATCH] Fix VRP ICE on x cst1; if (x cmp cst2) (PR tree-optimization/53058, take 2)

2012-04-24 Thread Richard Guenther
On Tue, Apr 24, 2012 at 9:10 AM, Jakub Jelinek ja...@redhat.com wrote: On Tue, Apr 24, 2012 at 08:05:35AM +0200, Richard Guenther wrote: On Tue, Apr 24, 2012 at 1:01 AM, Jakub Jelinek ja...@redhat.com wrote: I don't like using TYPE_MAX_VALUE in VRP - at least please use vrp_val_max. For enums

[Committed] Fix bootstrap issue in tree-ssa-forwprop.c

2012-04-24 Thread Andrew Pinski
I tested my two patches independently and forgot to test together and one used a variable which I removed in the other. Anyways this patch changes the code to be correct and fixes the bootstrap issue. Committed as obvious after building stage1. Thanks, Andrew Pinski ChangeLog: 2012-04-24

Re: [Fixinclude]: Fix typo and default to twoprocess on VMS

2012-04-24 Thread Tristan Gingold
On Apr 18, 2012, at 8:23 PM, Bruce Korb wrote: Hi, When I approved a patch in 2008, there was a typo. I didn't notice and it was fixed by removing a formatting element. Your patch corrects the error. Please apply your changes to active branches. Thank you! Regards, Bruce Thanks,

[PATCH] Record vectorized loop epilogue loop max number of iterations

2012-04-24 Thread Richard Guenther
I have two patches who also record the maximum number of loop iterations for the epilogue loop the vectorizer creates. The first one reverts an old patch that made us re-use that epilogue loop also for the unvectorized case (when versioning for alignment or aliasing). Thus it creates one more

Re: [PATCH] Support for known unknown alignment

2012-04-24 Thread Martin Jambor
Hi, On Mon, Apr 23, 2012 at 03:30:19PM +0200, Richard Guenther wrote: On Mon, 23 Apr 2012, Martin Jambor wrote: Hi, On Mon, Apr 23, 2012 at 12:50:51PM +0200, Richard Guenther wrote: On Fri, 20 Apr 2012, Martin Jambor wrote: Hi, two days ago I talked to Richi on IRC

Re: [PATCH] genattrtab: avoid NULL-deref on error

2012-04-24 Thread Jim Meyering
Richard Guenther wrote: On Sat, Apr 21, 2012 at 5:53 PM, Jim Meyering j...@meyering.net wrote: I see that no one responded when I posted this in February. Ok to commit, now? Ok. Thanks. Pushed.

[Patch,avr,trunk,4.7]: Fix PR53065

2012-04-24 Thread Georg-Johann Lay
This implements HARD_REGNO_CALL_PART_CLOBBERED. Ok to apply? Johann PR target/53065 * config/avr/avr.h (HARD_REGNO_CALL_PART_CLOBBERED): New hook define. Index: config/avr/avr.h === --- config/avr/avr.h (revision

[PATCH, 4.7, Android, i386] Port of Android target support in i386 for 4.7 branch

2012-04-24 Thread Ilya Enkovich
Hello, here is a port of Android support patch (http://gcc.gnu.org/ml/gcc-patches/2012-04/msg00944.html) for 4.7 branch. Is it OK? Bootstrap and check passed on linux-x86_64. Thanks, Ilya --- 2012-04-24 Enkovich Ilya ilya.enkov...@intel.com * config/i386/linux-common.h: New.

[PATCH] Make sizetypes no longer sign-extending

2012-04-24 Thread Richard Guenther
I've been carrying this patch for quite some while now and really want to go forward with it - the problem is that while all default languages work fine after this patch Ada shows some testsuite regressions. I've had various hacks/workarounds throughout the Ada frontend for them, but lost track

Re: [fortran, patch] Allow displaying backtraces from user code

2012-04-24 Thread Janus Weil
Hi guys, (coming back to an old patch proposed by FX some time ago ...) 2012/3/3 FX fxcoud...@gmail.com: I think that this approach is a mistake.  The patch starts us down a slippery slope.  Why not export all the nonstandard intrinsics?  In additions, the _gfortran_ prefix was used to

Re: [google/integration] Extend C++11 UDLs to be compatible with inttypes.h macros (issue6104051)

2012-04-24 Thread Diego Novillo
On Mon, Apr 23, 2012 at 18:16, Ollie Wild a...@google.com wrote: If the trunk change isn't approved today, I'll probably go ahead and check in *that* patch to google/integration.  The main difference relative to this is that the option name has been changed to -Wliteral-suffix.  *That* part

Re: [Patch,avr,trunk,4.7]: Fix PR53065

2012-04-24 Thread Denis Chertykov
2012/4/24 Georg-Johann Lay a...@gjlay.de: This implements HARD_REGNO_CALL_PART_CLOBBERED. Ok to apply? Johann        PR target/53065        * config/avr/avr.h (HARD_REGNO_CALL_PART_CLOBBERED): New hook define. Please commit. Denis.

Re: [PATCH, 4.7, Android, i386] Port of Android target support in i386 for 4.7 branch

2012-04-24 Thread Richard Guenther
On Tue, Apr 24, 2012 at 2:54 PM, Ilya Enkovich enkovich@gmail.com wrote: Hello, here is a port of Android support patch (http://gcc.gnu.org/ml/gcc-patches/2012-04/msg00944.html) for 4.7 branch. Is it OK? This kind of re-org is not appropriate for the branch. Thanks, Richard. Bootstrap

Re: [PATCH] Make sizetypes no longer sign-extending

2012-04-24 Thread Richard Earnshaw
On 24/04/12 14:03, Richard Guenther wrote: /* Size types *are* sign extended. */ ! sign_extended_type = !TYPE_UNSIGNED (type); looks like you failed to update the comment. R.

Re: [PATCH] Make sizetypes no longer sign-extending

2012-04-24 Thread Richard Guenther
On Tue, 24 Apr 2012, Richard Earnshaw wrote: On 24/04/12 14:03, Richard Guenther wrote: /* Size types *are* sign extended. */ ! sign_extended_type = !TYPE_UNSIGNED (type); looks like you failed to update the comment. Indeed. Fixed. Thanks, Richard.

Re: [PATCH v2] ARM: Use different linker path for hardfloat ABI

2012-04-24 Thread Richard Earnshaw
On 23/04/12 22:36, Michael Hope wrote: On 24 April 2012 03:35, Richard Earnshaw rearn...@arm.com wrote: On 22/04/12 23:20, Michael Hope wrote: Change the dynamic linker path for ARM hard float executables. Matches the path discussed and agreed on last week[1]. Carlos will follow up with the

Re: [PATCH, 4.7, Android, i386] Port of Android target support in i386 for 4.7 branch

2012-04-24 Thread Ilya Enkovich
On Tue, Apr 24, 2012 at 2:54 PM, Ilya Enkovich enkovich@gmail.com wrote: Hello, here is a port of Android support patch (http://gcc.gnu.org/ml/gcc-patches/2012-04/msg00944.html) for 4.7 branch. Is it OK? This kind of re-org is not appropriate for the branch. Could you please specify

Re: [PATCH, 4.7, Android, i386] Port of Android target support in i386 for 4.7 branch

2012-04-24 Thread Richard Guenther
On Tue, Apr 24, 2012 at 3:44 PM, Ilya Enkovich enkovich@gmail.com wrote: On Tue, Apr 24, 2012 at 2:54 PM, Ilya Enkovich enkovich@gmail.com wrote: Hello, here is a port of Android support patch (http://gcc.gnu.org/ml/gcc-patches/2012-04/msg00944.html) for 4.7 branch. Is it OK?

Re: [PATCH, 4.7, Android, i386] Port of Android target support in i386 for 4.7 branch

2012-04-24 Thread Ilya Enkovich
On Tue, Apr 24, 2012 at 3:44 PM, Ilya Enkovich enkovich@gmail.com wrote: On Tue, Apr 24, 2012 at 2:54 PM, Ilya Enkovich enkovich@gmail.com wrote: Hello, here is a port of Android support patch (http://gcc.gnu.org/ml/gcc-patches/2012-04/msg00944.html) for 4.7 branch. Is it OK?

[PATCH] Fix release checking

2012-04-24 Thread Richard Guenther
Committed as obvious. Richard. 2012-04-12 Richard Guenther rguent...@suse.de * tree-if-conv.c (main_tree_if_conversion): Move bb under ENABLE_CHECKING. Index: gcc/tree-if-conv.c === --- gcc/tree-if-conv.c

Re: [PATCH] Make sizetypes no longer sign-extending

2012-04-24 Thread Richard Guenther
On Tue, 24 Apr 2012, Richard Guenther wrote: I've been carrying this patch for quite some while now and really want to go forward with it - the problem is that while all default languages work fine after this patch Ada shows some testsuite regressions. I've had various hacks/workarounds

[PATCH] Fix PR53085

2012-04-24 Thread Richard Guenther
This fixes redundant store elimination in FRE/PRE to preserve volatile stores. Bootstrapped and tested on x86_64-unknown-linux-gnu, applied to the trunk and the branch. Richard. 2012-04-24 Richard Guenther rguent...@suse.de PR tree-optimization/53085 * tree-ssa-pre.c

Go patch committed: Reject invalid composite literals

2012-04-24 Thread Ian Lance Taylor
This patch to the Go frontend adds a check to reject composite literals that the language syntax forbids. The parser was able to parse some cases unambiguously because it already knew that some name was a type, but since that can not always be known that parse is not permitted. Bootstrapped and

Re: [C/C++] Do not pretty-print expressions with caret diagnostics for wrong function call

2012-04-24 Thread Jason Merrill
On 04/22/2012 03:49 PM, Manuel López-Ibáñez wrote: On 22 April 2012 21:20, Jason Merrillja...@redhat.com wrote: When we aren't printing the expression, please print the type instead; in a template it might not be clear what the type of the expression we're complaining about works out to be.

Re: PowerPC prologue and epilogue 4

2012-04-24 Thread David Edelsohn
On Tue, Apr 17, 2012 at 11:13 AM, Alan Modra amo...@gmail.com wrote: This provides some protection against misuse of r0, r11 and r12.  I found it useful when enabling out-of-line saves for large frames.  ;-)        * config/rs6000/rs6000.c (START_USE, END_USE, NOT_INUSE): Define.        

Re: PowerPC prologue and epilogue 5

2012-04-24 Thread David Edelsohn
On Thu, Apr 19, 2012 at 11:36 AM, Alan Modra amo...@gmail.com wrote: On Thu, Apr 19, 2012 at 08:00:15PM +0930, Alan Modra wrote: On Wed, Apr 18, 2012 at 12:45:16AM +0930, Alan Modra wrote: This enables out-of-line save and restore for large frames, and for ABI_AIX when using the static

Re: [C++ Patch] PR 52363

2012-04-24 Thread Jason Merrill
OK, thanks! Jason

Re: [PATCH, powerpc] Fix PR47197

2012-04-24 Thread David Edelsohn
2012-04-24 Bill Schmidt wschm...@linux.vnet.ibm.com PR target/47197 * config/rs6000/rs6000-c.c (fully_fold_convert): New function. (altivec_build_resolved_builtin): Call fully_fold_convert. 2012-04-24 Bill Schmidt wschm...@linux.vnet.ibm.com

[PATCH, powerpc] Fix PR47197

2012-04-24 Thread William J. Schmidt
This fixes an error wherein a nontrivial expression oassed to an Altivec built-in results in an ICE, following Joseph Myers's suggested approach in the bugzilla. Bootstrapped and tested with no new regressions on powerpc64-unknown-linux-gnu. Ok for trunk? Thanks, Bill gcc: 2012-04-24 Bill

Re: default to strict dwarf-2 on powerpc-vxworks

2012-04-24 Thread Jakub Jelinek
On Fri, Apr 20, 2012 at 09:57:24AM +0200, Jakub Jelinek wrote: Looks good to me, but IMHO we should go further at this point, and default to dwarf_version 4 unless overridden (and override also on Darwin to too due to its tools not capable of handling it), probably together with making

Re: PR c/44774 -Werror=edantic

2012-04-24 Thread Jason Merrill
On 04/22/2012 03:38 PM, Manuel López-Ibáñez wrote: Then, let's say we have one of such options. For example, let's call it -Wx for this example. If the behaviour is consistent with other group options like -Wall, then: -Wx is enabled by default (like now) -Wno-pedantic does not disable -Wx

Re: PR c/44774 -Werror=edantic

2012-04-24 Thread Manuel López-Ibáñez
On 24 April 2012 17:53, Jason Merrill ja...@redhat.com wrote: On 04/22/2012 03:38 PM, Manuel López-Ibáñez wrote: Then, let's say we have one of such options. For example, let's call it -Wx for this example. If the behaviour is consistent with other group options like -Wall, then: -Wx is

[Patch, ARM][0/2] Prepartion for Epilogue in RTL

2012-04-24 Thread Greta Yorsh
The following patches perform code reorganization in preparation for epilogue generation in RTL. [1/2] move the code of the special predicates load_multiple_operation and store_multiple_operation into a separate function ldm_stm_operation_p [2/2] generalize ldm_stm_operation_p No regression on

Go patch committed: Fix order of evaluation

2012-04-24 Thread Ian Lance Taylor
This patch to the Go frontend fixes the order of evaluation for a statement like m[0] = len(m) when m is a map. I added a test case for this to the master testsuite. Bootstrapped and ran Go testsuite on x86_64-unknown-linux-gnu. Committed to mainline and 4.7 branch. Ian diff -r 5b5853844f00

[Patch, ARM][1/2] add ldm_stm_operation_p

2012-04-24 Thread Greta Yorsh
Move the code of the special predicates load_multiple_operation and store_multiple_operation into a separate function. No change in functionality. gcc/ChangeLog 2012-04-24 Ian Bolton ian.bolton at arm.com Sameera Deshpande sameera.deshpande at arm.com Greta Yorsh

[Patch, ARM][2/2] generalize ldm_stm_operation_p

2012-04-24 Thread Greta Yorsh
Generalize ldm_stm_operation_p with additional parameters that will be used by epilogue patterns: * machine mode to support both SImode and DFmode registers * flag to request consecutive registers in the register list * flag to indicate whether PC in the register list gcc/ChangeLog

move default_tree_printer out of toplev.c

2012-04-24 Thread Manuel López-Ibáñez
It seems an obvious cleanup to me. OK? 2012-04-24 Manuel López-Ibáñez m...@gcc.gnu.org gcc/ * tree-pretty-print.h (default_tree_printer): Do not declare. * tree-diagnostic.c: Include tree-pretty-print.h, tree-pass.h and intl.h.

[Patch, ARM] rename thumb_unexpanded_epilogue to thumb1_unexpanded_epilogue

2012-04-24 Thread Greta Yorsh
Rename thumb_unexpanded_epilogue to thumb1_unexpanded_epilogue. In preparation for epilogue generation in RTL and anyway it's the right name for this function. Ok for trunk? Thanks, Greta gcc/ChangeLog 2012-04-24 Ian Bolton ian.bolton at arm.com Sameera Deshpande

[rfc] PR tree-optimization/52633 - ICE due to vectorizer pattern detection collision

2012-04-24 Thread Ulrich Weigand
Hello, PR 52633 is caused by bad interaction between two different vectorizer pattern recognition passed. A minimal test case is: void test (unsigned short *x, signed char *y) { int i; for (i = 0; i 32; i++) x[i] = (short) (y[i] 5); } built with cc1 -O3 -march=armv7-a -mfpu=neon

[PATCH, rtl-optimization]: Enhance post-reload compare elimination pass to handle arithmetic operations with implicit extensions

2012-04-24 Thread Uros Bizjak
Hello! Back to converting x86 to post-reload compare elimination pass. Arithmetic operations in x86_64 can implicitly zero extend the result, and set flags according to the non-extended result. Following testcase should exercise both features: --cut here-- void foo (long int, int); void test

[testsuite,4.7,committed]: fix gcc.c-torture/compile/pr52891-2.c

2012-04-24 Thread Georg-Johann Lay
Committed as obvious. http://gcc.gnu.org/viewcvs?view=revisionrevision=186775 Johann PR testsuite/52641 PR tree-optimizations/52891 * gcc.c-torture/compile/pr52891-2.c: Fix test for 16-bit int.

Re: [PR tree-optimization/52558]: RFC: questions on store data race

2012-04-24 Thread Aldy Hernandez
On 04/13/12 03:46, Richard Guenther wrote: On Fri, Apr 13, 2012 at 12:11 AM, Aldy Hernandezal...@redhat.com wrote: Richard. Thanks so much for reviewing and providing an alternative approach, which AFAICT provides superior results. A similar effect could be obtained by keeping a flag

Re: move default_tree_printer out of toplev.c

2012-04-24 Thread Jason Merrill
OK. Jason

Re: [PATCH, rtl-optimization]: Enhance post-reload compare elimination pass to handle arithmetic operations with implicit extensions

2012-04-24 Thread Uros Bizjak
On Tue, Apr 24, 2012 at 6:56 PM, Uros Bizjak ubiz...@gmail.com wrote: Back to converting x86 to post-reload compare elimination pass. Arithmetic operations in x86_64 can implicitly zero extend the result, and set flags according to the non-extended result. Following testcase should exercise

Re: thoughts on libatomic

2012-04-24 Thread Torvald Riegel
On Mon, 2012-04-23 at 12:29 -0700, Richard Henderson wrote: On 04/16/12 11:15, Torvald Riegel wrote: - for acq/rel memorders, we don't need seq_cst fences whenever the atomicity is implemented with a lock (hostconfig.c:pre_barrier/post_barrier) Err.. where? This also seems to

Re: [PATCH, rtl-optimization]: Enhance post-reload compare elimination pass to handle arithmetic operations with implicit extensions

2012-04-24 Thread Richard Henderson
On 04/24/12 09:56, Uros Bizjak wrote: 2012-04-24 Uros Bizjak ubiz...@gmail.com * compare-elim.c (try_eliminate_compare): Also handle operands with implicit extensions. Ok. r~

Re: RFC reminder: an alternative -fsched-pressure implementation

2012-04-24 Thread Richard Sandiford
Vladimir Makarov vmaka...@redhat.com writes: On 04/23/2012 11:42 AM, Ulrich Weigand wrote: Vladimir Makarov wrote: I have a mixed feeling with the patch. I've tried it on SPEC2000 on x86/x86-64 and ARM. Model algorithm generates bigger code up to 3.5% (SPECFP on x86), 2% (SPECFP on 86-64),

libgo patch committed: Only define PathMax if PATH_MAX is defined

2012-04-24 Thread Ian Lance Taylor
This patch to libgo only defines syscall.PathMax if PATH_MAX is defined in the system header files. Bootstrapped on x86_64-unknown-linux-gnu. Committed to mainline and 4.7 branch. Ian diff -r 4692bc350a0a libgo/mksysinfo.sh --- a/libgo/mksysinfo.sh Tue Apr 24 09:23:40 2012 -0700 +++

Re: [Patch, Fortran] PR 52196 add -Wrealloc-lhs(-all)

2012-04-24 Thread Mikael Morin
On 19/04/2012 14:02, Tobias Burnus wrote: Updated patch enclosed. On 02/14/2012 12:42 PM, Tobias Burnus wrote: in order to gain an overview for our code whether the recent RESHAPE (and friends) bug affects us and to determine for which assignment a reallocation happens, useful to mitigate

Re: [Patch, Fortran] PR52864 - fix actual/formal checks

2012-04-24 Thread Mikael Morin
On 12/04/2012 17:23, Tobias Burnus wrote: This patch is a kind of follow up to the other one for the same PR - though this one is for a separate test case, it is not a regression and it's about actual/formal checks. When trying to fix the rejects-valid bug, I realized that one function was

libgo patch committed: Remove race in use of ../testdata

2012-04-24 Thread Ian Lance Taylor
This patch to the libgo testsuite driver removes a race in the use of the ../testdata directory. This is PR go/52462. Ran Go testsuite on x86_64-unknown-linux-gnu. Committed to mainline and 4.7 branch. Ian diff -r 0b5618e33848 libgo/testsuite/gotest --- a/libgo/testsuite/gotest Tue Apr 24

[C++ Patch] PR 39970

2012-04-24 Thread Paolo Carlini
Hi, I'm trying to resolve this rather old PR, where we don't reject uses of the dot operator in default template arguments, eg: class blah { int member; }; blah global; templateint param = global.member class template_blah; I'm enforcing the check by adding to cp_parser a new

Re: Propose to add a new argument MULTILIB_REQUIRED in multilib framework

2012-04-24 Thread Joseph S. Myers
On Tue, 17 Apr 2012, Terry Guo wrote: 2012-04-17 Terry Guo terry@arm.com * Makefile.in (s-mlib): Add new argument MULTILIB_REQUIRED. * genmultilib (MULTILIB_REQUIRED): New. You need to add documentation in fragments.texi for MULTILIB_REQUIRED. -- Joseph S. Myers

Re: default to strict dwarf-2 on powerpc-vxworks

2012-04-24 Thread Olivier Hainque
On Apr 24, 2012, at 17:49 , Jakub Jelinek wrote: Talked to Jason about this on IRC last night, he is ok with that, so your patch is ok for trunk. Just committed - Thanks :-)

Re: [PATCH] Fix for PR51879 - Missed tail merging with non-const/pure calls

2012-04-24 Thread Tom de Vries
On 17/04/12 14:24, Richard Guenther wrote: On Sat, Apr 14, 2012 at 9:26 AM, Tom de Vries tom_devr...@mentor.com wrote: On 27/01/12 21:37, Tom de Vries wrote: On 24/01/12 11:40, Richard Guenther wrote: On Mon, Jan 23, 2012 at 10:27 PM, Tom de Vries tom_devr...@mentor.com wrote: Richard,

Re: [C++ Patch] PR 39970

2012-04-24 Thread Paolo Carlini
Hi, We should already reject that because it isn't a constant expression; I don't think we want to bother checking specifically for this case in the parser as well. Sure we reject this kind of code at instantiation time. I suspect submitter bothered filing a PR because other front-end also

[PATCH] Take branch misprediction effects into account when RTL loop unrolling (issue6099055)

2012-04-24 Thread Teresa Johnson
This patch adds heuristics to limit unrolling in loops with branches that may increase branch mispredictions. It affects loops that are not frequently iterated, and that are nested within a hot region of code that already contains many branch instructions. Performance tested with both internal

Re: [PATCH] Take branch misprediction effects into account when RTL loop unrolling (issue6099055)

2012-04-24 Thread Andrew Pinski
On Tue, Apr 24, 2012 at 2:26 PM, Teresa Johnson tejohn...@google.com wrote: This patch adds heuristics to limit unrolling in loops with branches that may increase branch mispredictions. It affects loops that are not frequently iterated, and that are nested within a hot region of code that

Re: [C PATCH] Fix -Woverride-init (PR c/52880)

2012-04-24 Thread Joseph S. Myers
On Fri, 20 Apr 2012, Jakub Jelinek wrote: 2012-04-19 Jakub Jelinek ja...@redhat.com PR c/52880 * c-typeck.c (set_nonincremental_init, set_nonincremental_init_from_string): Pass true instead of false as IMPLICIT to add_pending_init. * gcc.dg/pr52880.c: New

Re: Go patch committed: Add explicit checks for division zero and overflow

2012-04-24 Thread Joseph S. Myers
On Fri, 20 Apr 2012, Ian Lance Taylor wrote: In Go, a division overflow is supposed to wrap. On x86 processors it would raise a SIGFPE signal leading to a panic. This patch fixes that problem as well. It's a pity that this change is Go-specific. For -fwrapv, INT_MIN / -1 and INT_MIN % -1

Re: [PATCH] Take branch misprediction effects into account when RTL loop unrolling (issue6099055)

2012-04-24 Thread Teresa Johnson
Resending my response in plain text so it will go through to gcc-patches... On Tue, Apr 24, 2012 at 2:36 PM, Teresa Johnson tejohn...@google.com wrote: On Tue, Apr 24, 2012 at 2:30 PM, Andrew Pinski pins...@gmail.com wrote: On Tue, Apr 24, 2012 at 2:26 PM, Teresa Johnson

Re: [C] improve missing initializers diagnostics

2012-04-24 Thread Joseph S. Myers
On Sat, 21 Apr 2012, Manuel L?pez-Ib??ez wrote: 2012-04-19 Manuel L?pez-Ib??ez m...@gcc.gnu.org * c-typeck.c (pop_init_level): Improve diagnostics. testsuite/ * gcc.dg/m-un-2.c: Update. * gcc.dg/20011021-1.c: Update. OK. The strange near initialization formulation

Re: Symbol table 14/many: remove rest of reachability code

2012-04-24 Thread H.J. Lu
On Mon, Apr 23, 2012 at 2:07 AM, Jan Hubicka hubi...@ucw.cz wrote: Hi, this patch removes remaining traces of the code handling needed and reachability flags and replaces last use of it in cgraph_mark_reachable_node by pointer set.  It is nice to have 60k of patch that essentially just

set the correct block info for the call stmt in fnsplit (issue6111050)

2012-04-24 Thread Rong Xu
Hi, In split_function() (ipa-split.c), for the newly created call stmt, its block is set to the outermost scope, i.e. DECL_INITIAL(current_function_decl). When we inline this partially outlined function, we create the new block based on the block for the call stmt (in expand_call_inline()). So

Re: PR c/53066 Wshadow should not warn for shadowing an extern function

2012-04-24 Thread Joseph S. Myers
On Sun, 22 Apr 2012, Manuel L?pez-Ib??ez wrote: Wshadow warns whenever any declaration shadows a global function declaration. This is almost always noise, since most (always?) of the time one cannot mistakenly replace a function by another variable. The false positives are too common (Linus

Re: set the correct block info for the call stmt in fnsplit (issue6111050)

2012-04-24 Thread Andrew Pinski
On Tue, Apr 24, 2012 at 2:57 PM, Rong Xu x...@google.com wrote: Hi, In split_function() (ipa-split.c), for the newly created call stmt, its block is set to the outermost scope, i.e. DECL_INITIAL(current_function_decl). When we inline this partially outlined function, we create the new block

Re: set the correct block info for the call stmt in fnsplit (issue6111050)

2012-04-24 Thread Rong Xu
please the find test case in the attachment. It shows the issue in google-4_6 branch -c -O2 -fno-strict-aliasing ss.C -fdump-rtl-expand-all in the rtl-expand dump, trianglevertices and one the gtest_ar are in the same partition. the problem is found in arm compiler, but we manager to reproduce

Re: strengthen protection against REG_EQUIV/EQUAL on !REG set

2012-04-24 Thread Richard Sandiford
Olivier Hainque hain...@adacore.com writes: *** /tmp/rkQ7Ep_emit-rtl.c2012-04-12 11:19:51.830104512 +0200 --- gcc/emit-rtl.c2012-04-11 22:39:11.323103686 +0200 *** set_unique_reg_note (rtx insn, enum reg_ *** 4955,4960 --- 4955,4975 if (GET_CODE (datum)

Re: Added better handling of outdated profile data. (issue 5989046)

2012-04-24 Thread asharif
Ping? Here is the formatted ChangeLog in case you want a summary of what I did: * gcc/ipa-inline.c (edge_badness): Make sure profile is valid before using it to compute badness. * gcc/predict.c (maybe_hot_frequency_p): Ditto. (cgraph_maybe_hot_edge_p): Ditto. (maybe_hot_edge_p): Ditto.

Re: PowerPC prologue and epilogue 6

2012-04-24 Thread David Edelsohn
On Sat, Apr 21, 2012 at 2:48 AM, Alan Modra amo...@gmail.com wrote: This patch adds out-of-line vector saves and restores.  To do this I made some infrastructure changes to various functions like rs6000_emit_savres_rtx that currently take boolean parameters (savep, gpr, and lr).  Rather than

Re: [PATCH] Take branch misprediction effects into account when RTL loop unrolling (issue6099055)

2012-04-24 Thread Steven Bosscher
On Tue, Apr 24, 2012 at 11:26 PM, Teresa Johnson tejohn...@google.com wrote:        * params.def (PARAM_MIN_ITER_UNROLL_WITH_BRANCHES): New param.        (PARAM_UNROLL_OUTER_LOOP_BRANCH_BUDGET): Ditto. You should add documentation for these new PARAMs to doc/invoke.texi. I don't really like

Re: [C++ Patch] PR 39970

2012-04-24 Thread Jason Merrill
On 04/24/2012 05:24 PM, Paolo Carlini wrote: Perhaps we aren't checking default arguments unless they're actually used; a could change that if they aren't dependent. Your reply reached the mailing list a bit mangled, could you please clarify? If the default argument isn't dependent on other

Re: Support for Runtime CPU type detection via builtins (issue5754058)

2012-04-24 Thread Sriraman Tallam
Hi, Thanks for all the comments. I have made all the changes as mentioned and submiited the patch. Summary of changes made: * Add support for AVX * Fix documentation in extend.texi * Make it thread-safe according to H.J.'s comments. I have attached the patch. Boot-strapped and checked for

Re: Support for Runtime CPU type detection via builtins (issue5754058)

2012-04-24 Thread H.J. Lu
On Tue, Apr 24, 2012 at 5:10 PM, Sriraman Tallam tmsri...@google.com wrote: Hi,   Thanks for all the comments. I have made all the changes as mentioned and submiited the patch. Summary of changes made: * Add support for AVX * Fix documentation in extend.texi * Make it thread-safe according

Re: [PATCH] Take branch misprediction effects into account when RTL loop unrolling (issue6099055)

2012-04-24 Thread Andi Kleen
tejohn...@google.com (Teresa Johnson) writes: This patch adds heuristics to limit unrolling in loops with branches that may increase branch mispredictions. It affects loops that are not frequently iterated, and that are nested within a hot region of code that already contains many branch

[v3] libstdc++/52689 testcase

2012-04-24 Thread Benjamin De Kosnik
Noticed that this testcase wasn't put in as part of the patch. Fixed as follows. tested x86/linux -benjamin2012-04-24 Benjamin Kosnik b...@redhat.com PR libstdc++/52689 * testsuite/17_intro/static.cc: New. diff --git a/libstdc++-v3/testsuite/17_intro/static.cc

Re: [C++ Patch] PR 39970

2012-04-24 Thread Paolo Carlini
On 04/25/2012 01:41 AM, Jason Merrill wrote: On 04/24/2012 05:24 PM, Paolo Carlini wrote: Perhaps we aren't checking default arguments unless they're actually used; a could change that if they aren't dependent. Your reply reached the mailing list a bit mangled, could you please clarify? If

Re: Support for Runtime CPU type detection via builtins (issue5754058)

2012-04-24 Thread Sriraman Tallam
On Tue, Apr 24, 2012 at 5:24 PM, H.J. Lu hjl.to...@gmail.com wrote: On Tue, Apr 24, 2012 at 5:10 PM, Sriraman Tallam tmsri...@google.com wrote: Hi,   Thanks for all the comments. I have made all the changes as mentioned and submiited the patch. Summary of changes made: * Add support for AVX

Re: Support for Runtime CPU type detection via builtins (issue5754058)

2012-04-24 Thread H.J. Lu
On Tue, Apr 24, 2012 at 7:06 PM, Sriraman Tallam tmsri...@google.com wrote: On Tue, Apr 24, 2012 at 5:24 PM, H.J. Lu hjl.to...@gmail.com wrote: On Tue, Apr 24, 2012 at 5:10 PM, Sriraman Tallam tmsri...@google.com wrote: Hi,   Thanks for all the comments. I have made all the changes as

libgo patch committed: Fix net package for Solaris

2012-04-24 Thread Ian Lance Taylor
This patch to libgo fixes the net package to work correctly on Solaris. The main fix is to the select code, to fix the case where one goroutine closes a file descriptor while another goroutine is waiting for I/O on the descriptor. Bootstrapped and ran Go testsuite on sparc-sun-solaris2.11.

libgo patch committed: Fix crypto/rand test to read all data

2012-04-24 Thread Ian Lance Taylor
This patch to libgo fixes the crypto/rand test to read all the data that it needs. This should fix PR 52341. Bootstrapped and ran crypto/rand test on x86_64-unknown-linux-gnu. Committed to mainline and 4.7 branch. Ian diff -r c4931780d05a libgo/go/crypto/rand/rand_test.go ---

Re: [PATCH] Take branch misprediction effects into account when RTL loop unrolling (issue6099055)

2012-04-24 Thread Xinliang David Li
On Tue, Apr 24, 2012 at 6:13 PM, Andi Kleen a...@firstfloor.org wrote: tejohn...@google.com (Teresa Johnson) writes: This patch adds heuristics to limit unrolling in loops with branches that may increase branch mispredictions. It affects loops that are not frequently iterated, and that are

Re: PowerPC prologue and epilogue 6

2012-04-24 Thread Alan Modra
On Tue, Apr 24, 2012 at 07:19:42PM -0400, David Edelsohn wrote: This patch is okay with the macro usage fix. Thanks, series 2 to 6 committed as 186796, 186797, 186798, 186799, 186800. I noticed after I committed the lot that 186797 has some duplicated lines (harmless), corrected in 186798, and

Re: [PATCH] Take branch misprediction effects into account when RTL loop unrolling (issue 6099055)

2012-04-24 Thread davidxl
http://codereview.appspot.com/6099055/diff/1/loop-unroll.c File loop-unroll.c (right): http://codereview.appspot.com/6099055/diff/1/loop-unroll.c#newcode156 loop-unroll.c:156: static bool An empty line here. http://codereview.appspot.com/6099055/diff/1/loop-unroll.c#newcode182