Re: [0/8] Add optabs alternatives for insv, extv and extzv

2012-11-27 Thread Richard Sandiford
Ramana Radhakrishnan writes: >> Tested on x86_64-linux-gnu, powerpc64-linux-gnu and mipsisa64-elf. >> Also tested by making sure that there were no changes in assembly >> output for a set of gcc .ii files. On the other hand, the -march=octeon >> output for a set of mips64-linux-gnu gcc .ii files

Re: [PATCH, RFC] PR 55415 : Pessimistic misalignment from eipa_sra pass

2012-11-27 Thread Martin Jambor
Hi, On Tue, Nov 27, 2012 at 02:02:42PM +0100, Richard Biener wrote: > On Wed, Nov 21, 2012 at 5:58 PM, Martin Jambor wrote: > > Hi, > > > > On Tue, Nov 20, 2012 at 09:24:20AM -0800, Richard Henderson wrote: > >> The get_pointer_alignment function can indicate that it does not know > >> what the a

Re: [PATCH] Section anchors and thread-local storage

2012-11-27 Thread David Edelsohn
On Tue, Nov 27, 2012 at 3:17 PM, Richard Sandiford wrote: > David Edelsohn writes: >> Below is the implementation as a new target hook. > > Looks good to me. The documentation string needs filling in though, > with a hook placeholder in tm.texi.in. Yes. Thanks, David

Re: [Patch AArch64] Add support for vectorizable standard math patterns.

2012-11-27 Thread Mike Stump
On Nov 27, 2012, at 8:51 AM, James Greenhalgh wrote: > In particular, we add support for vectorizing across: > > ceil (), ceilf (), lceil (), > We add testcases ensuring that each of the expected functions are > vectorized. As the i386 and rs6000 backends both ostensibly support > these optimisa

Fix incorrect libstdc++ @headername macro invocation.

2012-11-27 Thread Ollie Wild
This patch fixes an incorrect invocation of the @headername Doxygen macro. Namely, multiple values must be separated by commas, not "or". The effect can be observed at http://gcc.gnu.org/onlinedocs/gcc-4.7.2/libstdc++/api/a01484.html: "This is an internal header file, included by other library h

Re: PATCH: lto/55474: global-buffer-overflow in lto-wrapper.c

2012-11-27 Thread H.J. Lu
On Tue, Nov 27, 2012 at 2:07 AM, Richard Biener wrote: > On Tue, Nov 27, 2012 at 9:32 AM, Markus Trippelsdorf > wrote: >> On 2012.11.26 at 13:58 -0800, H.J. Lu wrote: >>> Hi, >>> >>> OPT_SPECIAL_unknown, OPT_SPECIAL_ignore, OPT_SPECIAL_program_name and >>> OPT_SPECIAL_input_file are special optio

Re: [Patch, Fortran] PR55476 - fix bogus "Pointer might outlive the pointer target"

2012-11-27 Thread Janus Weil
2012/11/27 Tobias Burnus : > The problem is that the symbol gets the host-associated flag as soon as it > is host associated even in the host's namespace. Solution: Test additionally > whether they have been declared in the same namespace. > > (I wonder whether there is a case where the host-associ

patch to fix PR55458

2012-11-27 Thread Vladimir Makarov
The following patch fixes http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55458 The patch was successfully bootstrapped and tested on x86/x86-64. Committed as rev. 193871. 2012-11-27 Vladimir Makarov PR rtl-optimization/55458 * lra-assigns.c: Include rtl-error.h.

Re: [0/8] Add optabs alternatives for insv, extv and extzv

2012-11-27 Thread Ramana Radhakrishnan
On Tue, Nov 27, 2012 at 8:22 PM, Richard Sandiford wrote: > Ramana Radhakrishnan writes: >>> Tested on x86_64-linux-gnu, powerpc64-linux-gnu and mipsisa64-elf. >>> Also tested by making sure that there were no changes in assembly >>> output for a set of gcc .ii files. On the other hand, the -mar

Re: PR 55438: Incorrect use of BIGGEST_ALIGNMENT

2012-11-27 Thread Eric Botcazou
> I suppose I was putting too much store by the expmed.c code. How does > this version look? Tested on x86_64-linux-gnu, powerpc64-linux-gnu > and cris-elf. > > Richard > > > gcc/ > PR middle-end/55438 > * expmed.c (simple_mem_bitfield_p): New function, extracted from > store

Re: [Patch AArch64] Add support for vectorizable standard math patterns.

2012-11-27 Thread Ramana Radhakrishnan
On Tue, Nov 27, 2012 at 8:47 PM, Mike Stump wrote: > On Nov 27, 2012, at 8:51 AM, James Greenhalgh > wrote: >> In particular, we add support for vectorizing across: >> >> ceil (), ceilf (), lceil (), > >> We add testcases ensuring that each of the expected functions are >> vectorized. As the i38

Re: Fix twolf -funroll-loops -O3 miscompilation (a semi-latent web.c bug)

2012-11-27 Thread Steven Bosscher
On Tue, Nov 27, 2012 at 5:57 PM, Eric Botcazou wrote: >> This note seems very very weird. For one thing, it becomes invalid on >> the very instruction where it is created. I would say that it should >> not be there. > > Agreed. Count me in, too. So let's avoid it: * gcse.c (struct reg_

Re: Fix twolf -funroll-loops -O3 miscompilation (a semi-latent web.c bug)

2012-11-27 Thread Eric Botcazou
> Count me in, too. So let's avoid it: > > * gcse.c (struct reg_use): Remove unused struct. > (gcse_emit_move_after): Do not create REG_EQUAL notes that reference > the SET_DEST of the instruction the note would be attached to. OK (with PR rtl-optimization/55006) if it passes boo

Re: Fix twolf -funroll-loops -O3 miscompilation (a semi-latent web.c bug)

2012-11-27 Thread Steven Bosscher
On Wed, Nov 28, 2012 at 12:47 AM, Eric Botcazou wrote: >> Count me in, too. So let's avoid it: >> >> * gcse.c (struct reg_use): Remove unused struct. >> (gcse_emit_move_after): Do not create REG_EQUAL notes that reference >> the SET_DEST of the instruction the note would be attache

Re: Fix twolf -funroll-loops -O3 miscompilation (a semi-latent web.c bug)

2012-11-27 Thread Steven Bosscher
On Wed, Nov 28, 2012 at 12:53 AM, Steven Bosscher wrote: > On Wed, Nov 28, 2012 at 12:47 AM, Eric Botcazou wrote: >>> Count me in, too. So let's avoid it: >>> >>> * gcse.c (struct reg_use): Remove unused struct. >>> (gcse_emit_move_after): Do not create REG_EQUAL notes that referen

Go patch committed: Implement //go:nointerface

2012-11-27 Thread Ian Lance Taylor
As part of a code analysis experiment, the gc compiler implements a feature based on comments: if a //go:nointerface comment appears before a method for a type, that method is not included in any interfaces. This works in conjunction with a field tracking feature, not yet implemented in gccgo, that

Re: Fix twolf -funroll-loops -O3 miscompilation (a semi-latent web.c bug)

2012-11-27 Thread Steven Bosscher
On Wed, Nov 28, 2012 at 12:58 AM, Steven Bosscher wrote: > On Wed, Nov 28, 2012 at 12:53 AM, Steven Bosscher wrote: >> On Wed, Nov 28, 2012 at 12:47 AM, Eric Botcazou wrote: Count me in, too. So let's avoid it: * gcse.c (struct reg_use): Remove unused struct. (

Re: [patch] fix libstdc++/55463 calling mem_fn with rvalues

2012-11-27 Thread Jonathan Wakely
On 26 November 2012 23:51, Jonathan Wakely wrote: > PR libstdc++/55463 > * include/std/functional (_Mem_fn): Handle rvalue objects. Add > noexcept-specifications. > * testsuite/20_util/function_objects/mem_fn/55463.cc: New. > * testsuite/20_util/bind/ref_neg.

RE: [PATCH ARM] Disable "-fira-hoist-pressure" on Thumb2

2012-11-27 Thread Bin Cheng
> -Original Message- > From: Richard Earnshaw > Sent: Wednesday, November 28, 2012 2:02 AM > To: Bin Cheng > Cc: gcc-patches@gcc.gnu.org > Subject: Re: [PATCH ARM] Disable "-fira-hoist-pressure" on Thumb2 > > On 27/11/12 10:10, Bin Cheng wrote: > > Hi, > > I committed the patch implementin

Re: RFA: Simplifying truncation and integer lowpart subregs

2012-11-27 Thread Ramana Radhakrishnan
On Sun, Oct 7, 2012 at 8:56 AM, Richard Sandiford wrote: > Eric Botcazou writes: >>> I think modelling it as a TRUNCATE operation is correct for >>> !TRULY_NOOP_TRUNCATION (it's the bug that Andrew pointed out). >>> And we shouldn't generate an actual TRUNCATE rtx for >>> TRULY_NOOP_TRUNCATION (t

[PATCH, PR52654, C++11] Warn on overflow in user-defined literals

2012-11-27 Thread Ed Smith-Rowland
Here is a final patch for PR52654 hopefully. Ultimately we should probably revisit this and 54413 by parsing the literal numbers in the C++ front end. That won't happen for 4.8. This builds and passes on x86_64-linux. Ed Index: gcc/c-family/c-lex.c

[Patch] [aarch64] Fix asm-subreg-1.c ICE

2012-11-27 Thread Hurugalawadi, Naveen
Hi, Please find attached the patch “asm-subreg.patch” for aarch64 which fixes ICE for /gcc.dg/torture/asm-subreg-1.c testcase. The error was the result of reload problems in “aarch64_load_symref_appropriately” function. The higher part of symbol_ref moved to temporary RTX “tmp_reg” does not c

Re: [Patch] [aarch64] Fix asm-subreg-1.c ICE

2012-11-27 Thread Andrew Pinski
On Tue, Nov 27, 2012 at 8:47 PM, Hurugalawadi, Naveen wrote: > Hi, > > Please find attached the patch “asm-subreg.patch” for aarch64 which > fixes ICE for /gcc.dg/torture/asm-subreg-1.c testcase. > > The error was the result of reload problems in > “aarch64_load_symref_appropriately” function. > >

[Patch] [aarch64] Fix asm-subreg-1.c ICE

2012-11-27 Thread Hurugalawadi, Naveen
Hi, Please find attached the patch “asm-subreg.patch” for aarch64 which fixes ICE for /gcc.dg/torture/asm-subreg-1.c testcase. The error was the result of reload problems in “aarch64_load_symref_appropriately” function. The higher part of symbol_ref moved to temporary RTX “tmp_reg” does not cont

[GCC ARM-Embedded-4_7]Back port r193841(hardreg cprop on Thumb1) from TRUNK

2012-11-27 Thread Bin Cheng
Hi, I back ported r193841 from TRUNK to ARM Embedded-4_7-branch as r193881. Thanks.

[Patch, ARM] Fix the check on arg reg number in function thumb_find_work_register

2012-11-27 Thread Terry Guo
Hello, Attached patch intends to fix a bug on how to check argument register number which should consider the PCS. A test case is also included. Without this fix, one of the function argument will be overridden in the case. Tested on QEMU for cortex-m3, no regression found. Is it OK to trunk? BR,

Re: Fix twolf -funroll-loops -O3 miscompilation (a semi-latent web.c bug)

2012-11-27 Thread Eric Botcazou
> Again: Is this really the direction we should be going in? (I haven't > any better ideas...) Do you mean for self-referencing notes? If so, definitely, these notes are either wrong or almost always redundant so we should eliminate them. As for the more general problem of REG_EQ* notes, perhap

<    1   2