Re: [PATCH] Trust TREE_ADDRESSABLE

2014-06-11 Thread Richard Biener
On Wed, 11 Jun 2014, Jan Hubicka wrote: > > Note that I'm happy to revert the change. > > > > I am hesitant to any approach that overloads TREE_ADDRESSABLE even more. > > It already is used for two (slightly) different things - first the > > "old" meaning that the address of the symbol is needed,

[PATCH, Pointer Bounds Checker 27/x] Strlen

2014-06-11 Thread Ilya Enkovich
Hi, This patch adds instrumented code support for strlen optimization. Bootstrapped and tested on linux-x86_64. Does it look OK? Thanks, Ilya -- gcc/ 2014-06-09 Ilya Enkovich * tree-ssa-strlen.c: include tree-chkp.h. (get_string_length): Handle calls with bounds. (a

[PATCH][match-and-simplify] Whitespace fixes

2014-06-11 Thread Richard Biener
To make generated code a bit more readable. Committed. Richard. 2014-06-11 Richard Biener * genmatch.c (capture::gen_gimple_match): Whitespace fixes. (write_nary_simplifiers): Likewise. (outline_c_exprs): Likewise. (write_gimple): Write preamble. Index: gcc/

Re: ipa-visibility TLC 2/n

2014-06-11 Thread Jan Hubicka
Deavid, this is patch to disable the vtable rewriting on AIX. I did not make much progress on figuring out why it fails today - just observed that if I produce .o file for the test and link it against libstdc++ built by older GCC it works. Also objects compiled w/o optimization works, so I am b

Re: [PATCH, Pointer Bounds Checker 27/x] Strlen

2014-06-11 Thread Jakub Jelinek
On Wed, Jun 11, 2014 at 12:14:14PM +0400, Ilya Enkovich wrote: > This patch adds instrumented code support for strlen optimization. > > Bootstrapped and tested on linux-x86_64. > > Does it look OK? Ugh, this looks terribly ugly. So you are changing the meaning of arguments of every single built

[PATCH, Pointer Bounds Checker 28/x] IPA CP

2014-06-11 Thread Ilya Enkovich
Hi, This patch fixes IPA CP pass to handle instrumented code correctly. Bootstrapped and tested on linux-x86_64. Thanks, Ilya -- gcc/ 2014-06-11 Ilya Enkovich * ipa-cp.c (initialize_node_lattices): Check original version locality for instrumentation clones. (propagat

Re: [PATCH] Fix PR61306: improve handling of sign and cast in bswap

2014-06-11 Thread Richard Biener
On Tue, Jun 10, 2014 at 10:49 AM, Thomas Preud'homme wrote: >> From: Richard Biener [mailto:richard.guent...@gmail.com] >> Sent: Wednesday, June 04, 2014 5:39 PM >> To: Thomas Preud'homme >> > >> >> I'm failing to get why you possibly need two casts ... you should >> only need one, from the bswap/

[patch i386]: Combine memory and indirect jump

2014-06-11 Thread Kai Tietz
Hello, this patch adds simple combining of indirect-jumps on memory-address. This patch is pretty similar to sibcall-combing. ChangeLog 2014-06-11 Kai Tietz * config/i386/i386.md (peehole2): To combine indirect jump with memory. 2014-06-11 Kai Tietz * gcc.target/i386/indjmp-1

Re: [PATCH, Pointer Bounds Checker 27/x] Strlen

2014-06-11 Thread Ilya Enkovich
2014-06-11 12:22 GMT+04:00 Jakub Jelinek : > On Wed, Jun 11, 2014 at 12:14:14PM +0400, Ilya Enkovich wrote: >> This patch adds instrumented code support for strlen optimization. >> >> Bootstrapped and tested on linux-x86_64. >> >> Does it look OK? > > Ugh, this looks terribly ugly. So you are chan

[PATCH, Pointer Bounds Checker 29/x] Debug info

2014-06-11 Thread Ilya Enkovich
Hi, This patch skips all bounds during debug info generation. Bootstrapped and tested on linux-x86_64. Thanks, Ilya -- gcc/ 2014-06-11 Ilya Enkovich * dbxout.c (dbxout_type): Ignore POINTER_BOUNDS_TYPE. * dwarf2out.c (gen_subprogram_die): Ignore bound args. (gen_type

Re: [PATCH] Trust TREE_ADDRESSABLE

2014-06-11 Thread Eric Botcazou
> In non-LTO compilation I think it would allows us to optimize bettter in the > case address of the global symbol can not be taken by the other unit or it > can not escape back to current unit. For C/C++ this would be for runtime > generates symbols, like for gcov runtime (well if our initializat

Re: [PATCH, Pointer Bounds Checker 27/x] Strlen

2014-06-11 Thread Jakub Jelinek
On Wed, Jun 11, 2014 at 12:44:29PM +0400, Ilya Enkovich wrote: > 2014-06-11 12:22 GMT+04:00 Jakub Jelinek : > > On Wed, Jun 11, 2014 at 12:14:14PM +0400, Ilya Enkovich wrote: > >> This patch adds instrumented code support for strlen optimization. > >> > >> Bootstrapped and tested on linux-x86_64. >

[PATCH, i386, Pointer Bounds Checker 30/x] Size relocation

2014-06-11 Thread Ilya Enkovich
Hi, This patch adds size relocation support for i386 target. Relocation is used to compute bounds for static objects with incomplete type. Thanks, Ilya -- gcc/ 2014-06-11 Ilya Enkovich * config/i386/i386.md (UNSPEC_SIZEOF): New. (move_size_reloc_si): New. (move_size

Re: [PATCH][AArch64][1/2] Implement CRC32 ACLE intrinsics

2014-06-11 Thread Marcus Shawcroft
On 10 June 2014 11:01, Kyrill Tkachov wrote: > Hi all, > > This is an implementation of the ACLE intrinsics that can be used to access > the CRC32 instructions. We have them already implemented in aarch32. > > You can find their definition and documentation at > http://infocenter.arm.com/help/topi

Re: [PATCH][AArch64][2/2] Add CRC32 ACLE intrinsics testsuite

2014-06-11 Thread Marcus Shawcroft
On 10 June 2014 11:02, Kyrill Tkachov wrote: > Hi all, > > This is the testsuite for the CRC32 ACLE intrinsics. They are done in much > the same way as the aarch32 tests in gcc.target/arm/acle/acle.exp except > that these are modified to run at -O2 optimisation level. > > These pass now on aarch64

Re: [PATCH] Trust TREE_ADDRESSABLE

2014-06-11 Thread Eric Botcazou
> Then why not just make the LTO front-end follow the existing semantics of > TREE_ADDRESSABLE and clear it when it figures out that the address is not > taken? That would seem the natural thing to do here. I meant "clear the TREE_PUBLIC/DECL_EXTERNAL flags" of course... -- Eric Botcazou

Re: [PATCH, Pointer Bounds Checker 27/x] Strlen

2014-06-11 Thread Marek Polacek
On Wed, Jun 11, 2014 at 12:14:14PM +0400, Ilya Enkovich wrote: > This patch adds instrumented code support for strlen optimization. > > Bootstrapped and tested on linux-x86_64. > > Does it look OK? I haven't followed the Pointer Bounds Checker development, only looked at some of the patches, but

[patch,avr] Fix ICE PR61443

2014-06-11 Thread Georg-Johann Lay
This is a fix for unrecognizable insn ICE where the push expander generated (subreg(mem)) for non-generic address-space locations. Instead of loading byte-wise and legitimizing such expressions, it's easier and results in better code when we load such MEMs in one chunk. Ok to apply? Johann

Re: [PATCH] Trust TREE_ADDRESSABLE

2014-06-11 Thread Eric Botcazou
> Note that I'm happy to revert the change. Thanks. > I am hesitant to any approach that overloads TREE_ADDRESSABLE even more. > It already is used for two (slightly) different things - first the > "old" meaning that the address of the symbol is needed, second, that > the symbol is aliased by poi

Re: [PATCH] Trust TREE_ADDRESSABLE

2014-06-11 Thread Richard Biener
On Wed, Jun 11, 2014 at 10:57 AM, Eric Botcazou wrote: >> Then why not just make the LTO front-end follow the existing semantics of >> TREE_ADDRESSABLE and clear it when it figures out that the address is not >> taken? That would seem the natural thing to do here. > > I meant "clear the TREE_PUBL

Re: [PATCH] Trust TREE_ADDRESSABLE

2014-06-11 Thread Richard Biener
On Wed, Jun 11, 2014 at 11:08 AM, Eric Botcazou wrote: >> Note that I'm happy to revert the change. > > Thanks. > >> I am hesitant to any approach that overloads TREE_ADDRESSABLE even more. >> It already is used for two (slightly) different things - first the >> "old" meaning that the address of t

Re: [PATCH] Fix PR61456

2014-06-11 Thread Eric Botcazou
> The following fixes an issue with nonoverlapping_component_refs_of_decl_p > (and the latent same issue in nonoverlapping_component_refs_p). We > can't rely on all variant types having the same TYPE_FIELDS, so the > following simply uses DECL_FIELD_CONTEXT directly (which is either > the same for

Re: [PATCH, ARM, v2] Improve 64 bit division performance

2014-06-11 Thread Charles Baylis
ping? On 22 May 2014 11:08, Charles Baylis wrote: > On 1 May 2014 16:41, Richard Earnshaw wrote: >> I think really, you've got three independent changes here: > > Version 2 of this patch series is now a 9 patch series which addresses > most of the following. Exceptions discussed below. > >> 1) O

Re: [PATCH] Support asan-instrumentation-with-call-threshold in GCC (second try)

2014-06-11 Thread Jakub Jelinek
On Mon, Jun 09, 2014 at 07:48:46PM +0400, Yury Gribov wrote: > >>Build_check_stmt is now unified for const/variable lengths > >>but I'd still prefer to treat the use_calls case specially > >>because calling single __asan_loadN is more space-efficient > >>than emitting two separate calls with a leng

Re: [PATCH, ARM, v2] Improve 64 bit division performance

2014-06-11 Thread Richard Earnshaw
On 11/06/14 10:30, Charles Baylis wrote: > ping? > Sorry, can you resend this as a series of mails, with one patch per mail. R. > On 22 May 2014 11:08, Charles Baylis wrote: >> On 1 May 2014 16:41, Richard Earnshaw wrote: >>> I think really, you've got three independent changes here: >> >> Ve

Re: [PATCH, loop2_invariant] Pre-check invariants

2014-06-11 Thread Zhenqiang Chen
On 10 June 2014 19:01, Steven Bosscher wrote: > On Tue, Jun 10, 2014 at 11:55 AM, Zhenqiang Chen wrote: >> >> * loop-invariant.c (find_invariant_insn): Skip invariants, which >> can not make a valid insn during replacement in move_invariant_reg. >> >> --- a/gcc/loop-invariant.c >>

Re: [PATCH, Pointer Bounds Checker 27/x] Strlen

2014-06-11 Thread Ilya Enkovich
2014-06-11 12:55 GMT+04:00 Jakub Jelinek : > On Wed, Jun 11, 2014 at 12:44:29PM +0400, Ilya Enkovich wrote: >> 2014-06-11 12:22 GMT+04:00 Jakub Jelinek : >> > On Wed, Jun 11, 2014 at 12:14:14PM +0400, Ilya Enkovich wrote: >> >> This patch adds instrumented code support for strlen optimization. >> >

Re: [PATCH, Pointer Bounds Checker 27/x] Strlen

2014-06-11 Thread Ilya Enkovich
2014-06-11 13:00 GMT+04:00 Marek Polacek : > On Wed, Jun 11, 2014 at 12:14:14PM +0400, Ilya Enkovich wrote: >> This patch adds instrumented code support for strlen optimization. >> >> Bootstrapped and tested on linux-x86_64. >> >> Does it look OK? > > I haven't followed the Pointer Bounds Checker d

Re: [patch] libstdc++/29988 Rb_Tree reuse allocated nodes

2014-06-11 Thread Jonathan Wakely
On 11/06/14 09:17 +0200, François Dumont wrote: Hi Here is the patch to reuse allocated nodes in the _Rb_tree implementation like it is done in the _Hashtable. I have associated it to bugzilla 29988 even if my patch also cover the new C++11 move assign operator and assignment from initiali

Re: [PATCH, Pointer Bounds Checker 28/x] IPA CP

2014-06-11 Thread Martin Jambor
Hi, On Wed, Jun 11, 2014 at 12:24:57PM +0400, Ilya Enkovich wrote: > Hi, > > This patch fixes IPA CP pass to handle instrumented code correctly. > > Bootstrapped and tested on linux-x86_64. > > Thanks, > Ilya > -- > gcc/ > > 2014-06-11 Ilya Enkovich > > * ipa-cp.c (initialize_node_la

Re: [PATCH] Fix PR61452

2014-06-11 Thread Richard Biener
On Tue, 10 Jun 2014, Richard Biener wrote: > > The following fixes PR61452 - when keeping a lattice value at > VARYING we shouldn't adjust the lattice ->expr or ->has_constants. Needs adjustments in the simplifiers, otherwise we regress ssa-fre-39.c. Bootstrapped on x86_64-unknown-linux-gnu, te

Re: [patch i386]: Combine memory and indirect jump

2014-06-11 Thread Steven Bosscher
On Wed, Jun 11, 2014 at 10:32 AM, Kai Tietz wrote: > this patch adds simple combining of indirect-jumps on memory-address. > This patch is pretty similar to sibcall-combing. > ChangeLog > > 2014-06-11 Kai Tietz > > * config/i386/i386.md (peehole2): To combine > indirect jump with memory.

Re: [patch] libstdc++/29988 Rb_Tree reuse allocated nodes

2014-06-11 Thread Jonathan Wakely
- template + template > Also, there's no need to uglify the name "Alloc" in our testsuite code, it doesn't have to use the implementation namespace. class uneq_allocator -: private uneq_allocator_base +: private uneq_allocator_base, + public _Alloc { public: - type

Re: [PATCH, loop2_invariant, 1/2] Check only one register class

2014-06-11 Thread Zhenqiang Chen
On 10 June 2014 19:06, Steven Bosscher wrote: > On Tue, Jun 10, 2014 at 11:22 AM, Zhenqiang Chen wrote: >> Hi, >> >> For loop2-invariant pass, when flag_ira_loop_pressure is enabled, >> function gain_for_invariant checks the pressures of all register >> classes. This does not make sense since one

Re: [PATCH] Trust TREE_ADDRESSABLE

2014-06-11 Thread Eric Botcazou
> Because that's not the point and because it feels like a hack ;) Well, if we keep the current semantics of TREE_ADDRESSABLE and decide that the predicate for aliasing is may_be_aliased, the implementation for the latter becomes a detail. And it would seem better/simpler to have the knowledge

[PATCH 1/9] Whitespace

2014-06-11 Thread Charles Baylis
2014-05-22 Charles Baylis * config/arm/bpabi.S (__aeabi_uldivmod): Fix whitespace. (__aeabi_ldivmod): Fix whitespace. --- libgcc/config/arm/bpabi.S | 36 ++-- 1 file changed, 18 insertions(+), 18 deletions(-) diff --git a/libgcc/config/arm/bpabi

[PATCH 3/9] Optimise __aeabi_uldivmod (stack manipulation)

2014-06-11 Thread Charles Baylis
2014-05-22 Charles Baylis * config/arm/bpabi.S (__aeabi_uldivmod): Optimise stack pointer manipulation. --- libgcc/config/arm/bpabi.S | 54 +-- 1 file changed, 43 insertions(+), 11 deletions(-) diff --git a/libgcc/config/arm/bpabi.S

[PATCH 2/9] Add comments

2014-06-11 Thread Charles Baylis
2014-05-22 Charles Baylis * config/arm/bpabi.S (__aeabi_uldivmod, __aeabi_ldivmod): Add comment describing register usage on function entry and exit. --- libgcc/config/arm/bpabi.S | 16 1 file changed, 16 insertions(+) diff --git a/libgcc/config/arm/bpabi.S b/

[PATCH 4/9] Optimise __aeabi_uldivmod

2014-06-11 Thread Charles Baylis
2014-05-22 Charles Baylis * config/arm/bpabi.S (__aeabi_uldivmod): Perform division using call to __udivmoddi4. --- libgcc/config/arm/bpabi.S | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libgcc/config/arm/bpabi.S b/libgcc/config/arm/bpabi.S index 67246b0.

[PATCH 5/9] Optimise __aeabi_ldivmod (stack manipulation)

2014-06-11 Thread Charles Baylis
2014-05-22 Charles Baylis * config/arm/bpabi.S (__aeabi_ldivmod): Optimise stack manipulation. --- libgcc/config/arm/bpabi.S | 14 +++--- 1 file changed, 3 insertions(+), 11 deletions(-) diff --git a/libgcc/config/arm/bpabi.S b/libgcc/config/arm/bpabi.S index 927e37f..3f9ece5

[PATCH 6/9] Optimise __aeabi_ldivmod

2014-06-11 Thread Charles Baylis
2014-05-22 Charles Baylis * config/arm/bpabi.S (__aeabi_ldivmod): Perform division using __udivmoddi4, and fixups for negative operands. --- libgcc/config/arm/bpabi.S | 41 - 1 file changed, 40 insertions(+), 1 deletion(-) diff --git a/l

[PATCH 8/9] Use __udivmoddi4 for v6M aeabi_uldivmod

2014-06-11 Thread Charles Baylis
2014-05-22 Charles Baylis * config/arm/bpabi-v6m.S (__aeabi_uldivmod): Perform division using __udivmoddi4. --- libgcc/config/arm/bpabi-v6m.S | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libgcc/config/arm/bpabi-v6m.S b/libgcc/config/arm/bpabi-v6m.S index

[PATCH 9/9] Remove __gnu_uldivmod_helper

2014-06-11 Thread Charles Baylis
2014-05-22 Charles Baylis * config/arm/bpabi.c (__gnu_uldivmod_helper): Remove. --- libgcc/config/arm/bpabi.c | 14 -- 1 file changed, 14 deletions(-) diff --git a/libgcc/config/arm/bpabi.c b/libgcc/config/arm/bpabi.c index 7b155cc..e90d044 100644 --- a/libgcc/config/arm/b

[PATCH 7/9] Fix cfi annotations

2014-06-11 Thread Charles Baylis
2014-05-22 Charles Baylis * config/arm/bpabi.S (__aeabi_ldivmod, __aeabi_uldivmod, push_for_divide, pop_for_divide): Use .cfi_* directives for DWARF annotations. Fix DWARF information. --- libgcc/config/arm/bpabi.S | 21 - 1 file changed, 16 insertio

Re: [PATCH] Trust TREE_ADDRESSABLE

2014-06-11 Thread Richard Biener
On Wed, 11 Jun 2014, Eric Botcazou wrote: > > Because that's not the point and because it feels like a hack ;) > > Well, if we keep the current semantics of TREE_ADDRESSABLE and decide that > the > predicate for aliasing is may_be_aliased, the implementation for the latter > becomes a detail.

Re: libsanitizer merge from upstream r208536

2014-06-11 Thread Paolo Carlini
Hi, On 05/22/2014 09:02 PM, Jakub Jelinek wrote: In file included from ../../../../trunk/libsanitizer/asan/asan_interceptors.cc:147:0: ../../../../trunk/libsanitizer/sanitizer_common/sanitizer_common_interceptors.inc: In function ‘int __interceptor_accept4(int, void*, unsigned int*, int)’: ../..

[ARM] Fix build failure due to movsi_compare0

2014-06-11 Thread James Greenhalgh
Hi, A recent change somewhere exposed a latent bug between LRA and the definition of the movsi_compare0 pattern. This pattern ties the source and destination register of a set together a (match_dup) and register constraints: [(set (reg:CC CC_REGNUM) (compare:CC (match_operand:SI 1 "s

Re: [patch i386]: Combine memory and indirect jump

2014-06-11 Thread Kai Tietz
2014-06-11 11:57 GMT+02:00 Steven Bosscher : > On Wed, Jun 11, 2014 at 10:32 AM, Kai Tietz wrote: >> this patch adds simple combining of indirect-jumps on memory-address. >> This patch is pretty similar to sibcall-combing. >> ChangeLog >> >> 2014-06-11 Kai Tietz >> >> * config/i386/i386.md (

[Ada] Cleanup handling of info and warning messages

2014-06-11 Thread Arnaud Charlet
This is a fairly major internal reorganization of how info and warning messages are handled. Info messages for elaboration are now tagged as [-gnatel] if warning tagging is activated (-gnatw.d), and info messages coming from instantiations are consistently labeled as such as shown by this example,

Re: [PATCH] Delete temporary string within demangler even in failure cases.

2014-06-11 Thread Pedro Alves
On 06/10/2014 07:08 PM, Andrew Burgess wrote: > I don't have gcc write permissions, would you (or any other interested > maintainer) mind committing this for me please. Done, and merged to binutils-gdb git repo. Thanks, -- Pedro Alves

Re: [PATCH, Pointer Bounds Checker 28/x] IPA CP

2014-06-11 Thread Ilya Enkovich
2014-06-11 13:45 GMT+04:00 Martin Jambor : > Hi, > > On Wed, Jun 11, 2014 at 12:24:57PM +0400, Ilya Enkovich wrote: >> Hi, >> >> This patch fixes IPA CP pass to handle instrumented code correctly. >> >> Bootstrapped and tested on linux-x86_64. >> >> Thanks, >> Ilya >> -- >> gcc/ >> >> 2014-06-11 I

[match-and-simplify] Merge from trunk r211444

2014-06-11 Thread Richard Biener
Bootstrapped on x86_64-unknown-linux-gnu. Richard. 2014-06-11 Richard Biener Merge from trunk r208477 through r211444.

Re: [PATCH] [ARM] [RFC] Fix longstanding push_minipool_fix ICE (PR49423, lp1296601)

2014-06-11 Thread Charles Baylis
Ping? On 6 May 2014 17:05, Charles Baylis wrote: > Ping? > > At this stage looking for general feedback on whether the define_split > approach in this patch is appropriate. If it is, I'll do a clean patch > for full review. > > Archive link: http://gcc.gnu.org/ml/gcc-patches/2014-04/msg00078.html

RE: RFA: Make LRA temporarily eliminate addresses before testing constraints

2014-06-11 Thread Robert Suchanek
Hi Richard, >> Robert: you also had an LRA change, but is it still needed after this one? >> If so, could you repost it and explain the case it handles? For just turning the LRA for the MIPS backend is not needed but we have issues with the code size for MIPS16. LRA inserted a lot of reloads and

Re: [PATCH] Trust TREE_ADDRESSABLE

2014-06-11 Thread Eric Botcazou
> Sure. Still currently TREE_ADDRESSABLE on TREE_PUBLIC/DECL_EXTERNAL > VAR_DECLs carries no useful information, so I consider the bit unused. I guess that's true for the middle-end in non-LTO mode at this point. But then the new approach shouldn't be make correctness depend on its setting in th

[PATCH][libsanitizer] Cherry-pick r210012

2014-06-11 Thread Richard Biener
Committed. Richard. Index: libsanitizer/ChangeLog === --- libsanitizer/ChangeLog (revision 211449) +++ libsanitizer/ChangeLog (working copy) @@ -1,3 +1,7 @@ +2014-06-11 Richard Biener + + * asan/asan_linux.cc: Che

Re: [PATCH][libsanitizer] Cherry-pick r210012

2014-06-11 Thread Paolo Carlini
On 06/11/2014 01:33 PM, Richard Biener wrote: Committed. Thanks! Paolo,

[PATCH] PR 61642

2014-06-11 Thread Martin Liška
Hello, I send patch for PR61642. Changelog: 2014-06-11 Martin Liska * ipa-prop.c (ipa_make_edge_direct_to_target): Check that gimple call statement is reachable. Bootstrapped and regtested on x86_64-unknown-linux-gnu. Ready for trunk? Martin diff --git a/gcc/ipa-prop.c b/gcc/ipa

Re: [PING*2][PATCH] Extend mode-switching to support toggle (1/2)

2014-06-11 Thread Christian Bruel
On 06/11/2014 06:17 AM, Joern Rennecke wrote: > >>> Joern, is this new target macro interface OK with you ? > Yes, this interface should allow me to do switches between rounding > and truncating > floating-point modes with an add/subtract immediate. > > However, the implentation, as posted, doesn'

Re: libgo patch committed: Merge from revision 18783 of master

2014-06-11 Thread Rainer Orth
Ian Lance Taylor writes: > On Fri, Jun 6, 2014 at 2:12 AM, Rainer Orth > wrote: >> Ian Lance Taylor writes: >> >>> I have committed a patch to libgo to merge from revision >>> 18783:00cce3a34d7e of the master library. This revision was committed >>> January 7. I picked this revision to merge

Re: [PATCH] PR 61642

2014-06-11 Thread Richard Biener
On Wed, Jun 11, 2014 at 1:58 PM, Martin Liška wrote: > Hello, >I send patch for PR61642. 61462? > Changelog: > 2014-06-11 Martin Liska > PR ipa/61462 > * ipa-prop.c (ipa_make_edge_direct_to_target): Check that gimple call > statement is reachable. > > Bootstrapped and regteste

Re: [patch] libstdc++/29988 Rb_Tree reuse allocated nodes

2014-06-11 Thread Jonathan Wakely
Index: include/bits/stl_tree.h === --- include/bits/stl_tree.h (revision 211388) +++ include/bits/stl_tree.h (working copy) @@ -330,6 +330,111 @@ const _Rb_tree_const_iterator<_Val>& __y) _GLIBCXX_NOEXCEPT {

Ping x 6: [PATCH] [libgomp] make it possible to use OMP on both sides of a fork

2014-06-11 Thread Nathaniel Smith
Hi all, Ping. Again, this patch fixes a limitation in GOMP which makes it impossible for programmers who care about gcc compatibility to safely use OpenMP in libraries; GOMP is the last OpenMP implementation with this limitation. -n On Wed, May 14, 2014 at 3:47 PM, Nathaniel Smith wrote: > Hi a

[Ada] gnat link and shared libraries

2014-06-11 Thread Arnaud Charlet
When "gnat link" is invoked and there are shared libraries, the link may be incorrect on some platforms, such as Windows. This is fixed by this patch. Tested on x86_64-pc-linux-gnu, committed on trunk 2014-06-11 Vincent Celier * gnatcmd.adb (Process_Link): Do not invoke gnatlink with

[Ada] Analyze contracts of subprogram body stubs

2014-06-11 Thread Arnaud Charlet
This patch ensures that contract of subprogram body stubs are analyzed in timely fashion. -- Source -- -- pack.ads package Pack with SPARK_Mode, Abstract_State => State, Initializes=> (Var_1, State) is Var_1 : Integer := 0; procedure Double

[Ada] Error not detected in illegal selected component

2014-06-11 Thread Arnaud Charlet
This patch corrects an error in the resolution of selected components when the prefix is overloaded and none of the interpretations matches the context. Compiling resolve_func_deref_comp.adb must yield: resolve_func_deref_comp.adb:14:18: no interpretation matches type access to "T" defined

[Ada] Better handling of variant records with No_Implicit_Conditionals

2014-06-11 Thread Arnaud Charlet
Previously, an attempt to declare a variant record type was rejected if restriction No_Implicit_Conditionals was active, since the resulting generated equality and initialization routines contained implicit tests. Now such declarations are allowed, but these routines are not generated if the restri

[Ada] Consistent processing of preelaborated units across language versions

2014-06-11 Thread Arnaud Charlet
The processing of pragma Preelaborate_05 might cause inconsistent compiler behaviour when a given unit having the pragma appears in the dependencies of both an Ada 95 and and Ada 2005 unit in the same closure. This is addressed by making runtime units Preelaborate in all cases. Tested on x86_64-pc

[Ada] Fix handling of pragma/aspect Independent[_Components]

2014-06-11 Thread Arnaud Charlet
This fixes several errors in the handling of the pragmas Independent and Independent_Components. The implementation now matches the RM definition 100%. The following compiles without errors: 1. package Independ is 2.type A1 is array (1 .. 10) of Integer; 3.pragma Independent

Re: [PING*2][PATCH] Extend mode-switching to support toggle (1/2)

2014-06-11 Thread Christian Bruel
On 06/10/2014 04:03 PM, Joern Rennecke wrote: > On 13 May 2014 22:41, Oleg Endo wrote: > >> Right. I was thinking to add FPSCR.SZ mode switching to SH, in order to >> do float vector moves. For that SZ and PR need to be switched both at >> the same time (only SH4A has both, fpchg and fschg). S

[PATCH][RX] Patch to correct the functionality of compiler option -falign-labels=n

2014-06-11 Thread Sandeep Kumar Singh
Hi, The RX compiler align wrong labels with option falign-labels=n, where n is number of bytes. The relationship between -falign-labels and expected .balign output supposed to be: -falign-labels=4 --> .balign 4 -falign-labels=8 --> .balign 8 -falign-labels=16 --> .balign 16 However, listed pse

Re: [PATCH] Support asan-instrumentation-with-call-threshold in GCC (second try)

2014-06-11 Thread Yury Gribov
On 06/11/2014 01:31 PM, Jakub Jelinek wrote: The plan (we had already for 4.9, but didn't get to that yet) is in the end not to lower the checks in asan pass that much, and lower it in sanopt pass later on after performing some inter-bb optimizations. ... The reason for the plan is that it will b

Re: [PATCH 1/9] Whitespace

2014-06-11 Thread Richard Earnshaw
On 11/06/14 11:19, Charles Baylis wrote: > 2014-05-22 Charles Baylis > > * config/arm/bpabi.S (__aeabi_uldivmod): Fix whitespace. > (__aeabi_ldivmod): Fix whitespace. This is OK, but please wait until the others are ready to go in. R. > --- > libgcc/config/arm/bpabi.S | 36 +

Re: [PATCH 2/9] Add comments

2014-06-11 Thread Richard Earnshaw
On 11/06/14 11:19, Charles Baylis wrote: > 2014-05-22 Charles Baylis > > * config/arm/bpabi.S (__aeabi_uldivmod, __aeabi_ldivmod): Add comment > describing register usage on function entry and exit. OK. R. > --- > libgcc/config/arm/bpabi.S | 16 > 1 file changed

Re: [PATCH, PR61446] Fix mode for register copy in REE pass

2014-06-11 Thread Uros Bizjak
On Tue, Jun 10, 2014 at 3:45 PM, Dominique Dhumieres wrote: >> This patch fixes PR61446. ... > > Confirmed, it also allows to bootstrap Core* targets. > Could it be reviewed and committed ASAP? > 2014-06-09 Ilya Enkovich > > PR 61446 > * ree.c (find_and_remove_re): Narrow mode for register cop

Re: [PATCH, PR61446] Fix mode for register copy in REE pass

2014-06-11 Thread Dominique Dhumieres
> (I am not RTL reviewer, so I can't approve the patch). Is https://gcc.gnu.org/ml/gcc-regression/2014-06/ accepatble? Dominique

Re: [PATCH, PR61446] Fix mode for register copy in REE pass

2014-06-11 Thread Uros Bizjak
On Wed, Jun 11, 2014 at 3:19 PM, Dominique Dhumieres wrote: >> (I am not RTL reviewer, so I can't approve the patch). > > Is https://gcc.gnu.org/ml/gcc-regression/2014-06/ accepatble? Yes, these are bootstraps with non-default configurations. Uros.

Re: libgo patch committed: Merge from revision 18783 of master

2014-06-11 Thread Ian Lance Taylor
On Wed, Jun 11, 2014 at 5:01 AM, Rainer Orth wrote: > Ian Lance Taylor writes: > >> On Fri, Jun 6, 2014 at 2:12 AM, Rainer Orth >> wrote: >>> Ian Lance Taylor writes: >>> I have committed a patch to libgo to merge from revision 18783:00cce3a34d7e of the master library. This revision

Re: [Patch ARM/testsuite 00/22] Neon intrinsics executable tests

2014-06-11 Thread Christophe Lyon
On 6 June 2014 22:15, Christophe Lyon wrote: > On 6 June 2014 17:57, Ramana Radhakrishnan > wrote: >> On 06/06/14 15:40, Christophe Lyon wrote: >>> >>> On 6 June 2014 01:32, Joseph S. Myers wrote: Have these been tested for both big and little endian (especially for tests where m

Re: [Patch ARM/testsuite 00/22] Neon intrinsics executable tests

2014-06-11 Thread Christophe Lyon
On 11 June 2014 00:03, Ramana Radhakrishnan wrote: > On Thu, Jun 5, 2014 at 11:04 PM, Christophe Lyon > wrote: >> This is patch series is a more complete version of the patch I sent >> some time ago: >> https://gcc.gnu.org/ml/gcc-patches/2013-10/msg00624.html >> >> I have created a series of patc

Re: [PATCH, PR61446] Fix mode for register copy in REE pass

2014-06-11 Thread Dominique Dhumieres
> Yes, these are bootstraps with non-default configurations. Core2 is the default for darwin and bootstrap is also broken for it without the patch. Dominique

Re: [PATCH, Pointer Bounds Checker 28/x] IPA CP

2014-06-11 Thread Ilya Enkovich
On 11 Jun 15:07, Ilya Enkovich wrote: > 2014-06-11 13:45 GMT+04:00 Martin Jambor : > > Hi, > > > > On Wed, Jun 11, 2014 at 12:24:57PM +0400, Ilya Enkovich wrote: > >> Hi, > >> > >> This patch fixes IPA CP pass to handle instrumented code correctly. > >> > >> Bootstrapped and tested on linux-x86_64.

[PATCH, i386, Pointer Bounds Checker 32/x] Pointer Bounds Checker hooks for i386 target

2014-06-11 Thread Ilya Enkovich
Hi, This patch adds i386 target hooks for Pointer Bounds Checker. Bootstrapped and tested on linux-x86_64. Thanks, Ilya -- gcc/ 2014-06-11 Ilya Enkovich * config/i386/i386.c: Include tree-iterator.h. (ix86_function_value_bounds): New. (ix86_builtin_mpx_function): New

[PATCH, i386, Pointer Bounds Checker 33/x] MPX ABI

2014-06-11 Thread Ilya Enkovich
Hi, This patch adds MPX ABI support for i386 target. Bootstrapped and tested on linux-x86_64. Thanks, Ilya -- gcc/ 2014-06-11 Ilya Enkovich * config/i386/i386.c (ix86_option_override_internal): Do not support x32 with MPX. is not available. (init_cumulative_a

[PATCH, i386, Pointer Bounds Checker 31/x] Pointer Bounds Checker builtins for i386 target

2014-06-11 Thread Ilya Enkovich
Hi, This patch adds i386 target builtins for Pointer Bounds Checker. Bootstrapped and tested on linux-x86_64. Thanks, Ilya -- gcc/ 2014-06-11 Ilya Enkovich * config/i386/i386-builtin-types.def (BND): New. (ULONG): New. (BND_FTYPE_PCVOID_ULONG): New. (VOID_FTY

Re: libgo patch committed: Merge from revision 18783 of master

2014-06-11 Thread Rainer Orth
Ian Lance Taylor writes: > On Wed, Jun 11, 2014 at 5:01 AM, Rainer Orth > wrote: >> Ian Lance Taylor writes: >> >>> On Fri, Jun 6, 2014 at 2:12 AM, Rainer Orth >>> wrote: Ian Lance Taylor writes: > I have committed a patch to libgo to merge from revision > 18783:00cce3a34d7e

[PATCH, i386, Pointer Bounds Checker 34/x] Vararg functions support

2014-06-11 Thread Ilya Enkovich
Hi, This patch introduces initialization of incoming bounds for vararg function on i386 target. Bootstrapped and tested on linux-x86_64. Thanks, Ilya -- gcc/ 2014-06-11 Ilya Enkovich * config/i386/i386.c (ix86_setup_incoming_varargs): New. (ix86_va_start): Initialize bounds

[PATCH][Ping] Add patch for debugging compiler ICEs

2014-06-11 Thread Maxim Ostapenko
Ping. Original Message Subject:[PATCH] Add patch for debugging compiler ICEs Date: Mon, 02 Jun 2014 19:21:14 +0400 From: Maxim Ostapenko To: GCC Patches CC: Yury Gribov , Slava Garbuzov , Jakub Jelinek , tsaund...@mozilla.com, chefm...@gmail.com Hi, A

Re: ipa-visibility TLC 2/n

2014-06-11 Thread Rainer Orth
Jan Hubicka writes: >> Honza, >> >> I am not sure that the problem is caused only by aliases and thunks. >> The large increase in AIX linker warnings about branches not followed >> by nop also worry me. >> >> Your patch was about visibility. How does the more aggressive > > ipa-visibility is a

Re: libgo patch committed: Merge from revision 18783 of master

2014-06-11 Thread Ian Lance Taylor
On Wed, Jun 11, 2014 at 6:57 AM, Rainer Orth wrote: > > Ok, I'll have a look unless some other solution can be found. There are other, less efficient, ways that this could be compiled, but a common symbol seems like the right solution. Basically, every type descriptor now points to a zero value

Re: [C++ Patch] PR 19200

2014-06-11 Thread Jason Merrill
OK. Jason

[patch] improve sloc assignment on bind_expr entry/exit code

2014-06-11 Thread Olivier Hainque
Hello, For blocks requiring it, the gimplifier generates stack pointer save/restore operations on entry/exit, per: gimplify_bind_expr (...) if (gimplify_ctxp->save_stack) { gimple stack_restore; /* Save stack on entry and restore it on exit. Add a try_finally block

Re: libgo patch committed: Merge from revision 18783 of master

2014-06-11 Thread Rainer Orth
Ian Lance Taylor writes: > On Wed, Jun 11, 2014 at 6:57 AM, Rainer Orth > wrote: >> >> Ok, I'll have a look unless some other solution can be found. > > There are other, less efficient, ways that this could be compiled, but > a common symbol seems like the right solution. > > Basically, every ty

[patch] don't link shared RTPs with libc_internal.a on VxWorks

2014-06-11 Thread Olivier Hainque
Hello, For VxWorks RTPs, the config/vxworks.h has: /* For VxWorks, the system provides libc_internal.a. This is a superset of libgcc.a; we want to use it. Make sure not to dynamically export any of its symbols, though. Always look for libgcc.a first so that we get the latest versi

[PATCH, Pointer Bounds Checker 35/x] Fix object size emitted for structures with flexible arrays

2014-06-11 Thread Ilya Enkovich
Hi, This patch fixes problem with size emitted for static structures with flexible array. I found a couple of trackers in guzilla for this problem but all of them are marked as fixed and problem still exists. For a simple testcase struct S { int a; int b[0]; } s = { 1, { 0, 0} }; current tru

Re: [PATCH, PR61446] Fix mode for register copy in REE pass

2014-06-11 Thread Ilya Enkovich
On 11 Jun 14:59, Uros Bizjak wrote: > On Tue, Jun 10, 2014 at 3:45 PM, Dominique Dhumieres > wrote: > >> This patch fixes PR61446. ... > > > > Confirmed, it also allows to bootstrap Core* targets. > > Could it be reviewed and committed ASAP? > > > 2014-06-09 Ilya Enkovich > > > > PR 61446 > >

Re: [patch] don't link shared RTPs with libc_internal.a on VxWorks

2014-06-11 Thread Olivier Hainque
On Jun 11, 2014, at 17:49 , Olivier Hainque wrote: > * config/vxworks.h (VXWORKS_LIBGCC_SPEC): Don't link shared RTPs with > libc_internal. Oops. I think I sent a bogus version of the patch, as the system libc.so embeds libgcc as well. Let me revisit. Olivier

Re: [patch,avr] Fix ICE PR61443

2014-06-11 Thread Denis Chertykov
2014-06-11 13:05 GMT+04:00 Georg-Johann Lay : > This is a fix for unrecognizable insn ICE where the push expander generated > (subreg(mem)) for non-generic address-space locations. > > Instead of loading byte-wise and legitimizing such expressions, it's easier > and results in better code when we l

[C++ Path/RFC] PR 60265

2014-06-11 Thread Paolo Carlini
Hi, this issue is probably easy to resolve, one way or another, but I find it rather curious: as the submitted testcase explains, we reject the trivial: enum E { V }; using E::V; because "'E' is not a namespace", but I don't see anything in C++11 explicitly outlawing enums. In fact, curren

Re: [C++ Path/RFC] PR 60265

2014-06-11 Thread Paolo Carlini
.. Core/1742 seems relevant to the difference scoped/unscoped. It's still open, though. Thanks, Paolo.

  1   2   >