Re: [PATCH, alpha]: Introduce handle_trap_shadows and align_insns passes

2014-07-11 Thread Uros Bizjak
On Mon, Jun 30, 2014 at 9:59 PM, Uros Bizjak ubiz...@gmail.com wrote: After fixing _.barriers and _.eh_range passes w.r.t. CALL_ARG_LOCATION notes, we can finaly move handling of trap shadows (PR 56858) and insn alignments into their own passes. Additionally, the patch skips handling of

Re: [PATCH] Generate more efficient memory barriers for LEON3

2014-07-11 Thread Daniel Cederman
Hi, Thank you for your comments. ...stdbar should never be generated since #StoreStore is implied by TSO. I missed that #StoreStore is never generated for TSO, so I'm removing that pattern. OK, thanks. Does this result in a significance performance gain? stb seems to be at least twice

[PATCH-v2] Generate more efficient memory barriers for LEON3

2014-07-11 Thread Daniel Cederman
ChangeLog: 2014-07-11 Daniel Cederman ceder...@gaisler.com gcc/config/sparc/ * sync.md: Generate more efficient memory barriers for LEON3 --- gcc/config/sparc/sync.md | 21 +++-- 1 file changed, 19 insertions(+), 2 deletions(-) diff --git a/gcc/config/sparc/sync.md

Re: [PATCH] Fix PR61762, reads from string constants

2014-07-11 Thread Richard Biener
On Thu, 10 Jul 2014, Jakub Jelinek wrote: On Thu, Jul 10, 2014 at 05:12:53PM +0200, Richard Biener wrote: The following makes sure we fold the reads from string constants created from folding memcpy (foo, string_cst[0], ...) to eventually create similar code as if that memcpy folding

Re: [PATCH][RFC] Fix PR61473, inline small memcpy/memmove during tree opts

2014-07-11 Thread Richard Biener
On Thu, 10 Jul 2014, Jakub Jelinek wrote: On Thu, Jul 10, 2014 at 04:30:13PM +0200, Richard Biener wrote: Compromise hack below. It simply avoids the transform for sources that c_strlen can compute a length of. That fixes all strlenopt testcase apart from strlenopt-8.c which does

Re: [PATCH] offline gcda profile processing tool

2014-07-11 Thread Richard Biener
On Mon, May 5, 2014 at 7:17 PM, Rong Xu x...@google.com wrote: Here is the updated patch. The difference with patch set 3 is (1) use the gcov-counter.def for scaling operation. (2) fix wrong scaling function for time-profiler. passed with bootstrap, profiledboostrap and SPEC2006. One of the

Re: update address taken: don't drop clobbers

2014-07-11 Thread Richard Biener
On Thu, Jul 10, 2014 at 8:22 PM, Jeff Law l...@redhat.com wrote: On 07/10/14 09:48, Michael Matz wrote: Hi, On Thu, 10 Jul 2014, Richard Biener wrote: Apart from the out-of-SSA patch you proposed elsewhere a possibility is to simply never mark undefined SSA names as

Re: [PATCH] Fix PR61762, reads from string constants

2014-07-11 Thread Jakub Jelinek
On Fri, Jul 11, 2014 at 10:00:01AM +0200, Richard Biener wrote: I started with adding an optional arg to native_encode_expr but then figured that all the current workers return failure if the entire expr doesn't fit within 'len'. But what I want is a native_encode_expr That is because the

Re: [PATCH] offline gcda profile processing tool

2014-07-11 Thread Christophe Lyon
On 11 July 2014 10:07, Richard Biener richard.guent...@gmail.com wrote: On Mon, May 5, 2014 at 7:17 PM, Rong Xu x...@google.com wrote: Here is the updated patch. The difference with patch set 3 is (1) use the gcov-counter.def for scaling operation. (2) fix wrong scaling function for

Re: update address taken: don't drop clobbers

2014-07-11 Thread Richard Biener
On Fri, Jul 11, 2014 at 10:10 AM, Richard Biener richard.guent...@gmail.com wrote: On Thu, Jul 10, 2014 at 8:22 PM, Jeff Law l...@redhat.com wrote: On 07/10/14 09:48, Michael Matz wrote: Hi, On Thu, 10 Jul 2014, Richard Biener wrote: Apart from the out-of-SSA patch you proposed elsewhere a

Re: [PATCH] Fix PR61762, reads from string constants

2014-07-11 Thread Richard Biener
On Fri, 11 Jul 2014, Jakub Jelinek wrote: On Fri, Jul 11, 2014 at 10:00:01AM +0200, Richard Biener wrote: I started with adding an optional arg to native_encode_expr but then figured that all the current workers return failure if the entire expr doesn't fit within 'len'. But what I want

Re: Optimize type streaming

2014-07-11 Thread Jan Hubicka
Are we sure it ever stabilizes? But yes, I had something like this in mind (just do one iteration always) in case we need to improve hashing. Hi, this is bit quick experiment with strengthening the hash by iteration. I don't seem to be able to measure WPA time difference for the patch though

[PATCH, DOC]: Fix for Options That Control Optimization section

2014-07-11 Thread Martin Liška
Hello, I fixed Options That Control Optimization section according to 'gcc -Q --help=optimizers' and after consultation with Jakub, I added missing -foptimize-strlen option. Ready for trunk? Martin ChangeLog: 2014-07-11 Martin Liska mli...@suse.cz * doc/invoke.texi: Added missing

Re: [GSoC] generation of Gimple loops with empty bodies

2014-07-11 Thread Roman Gareev
I would use -x to see the headers. This should tell you if it is defined or only used there. It gives the following output: roman@roman-System-Product-Name:~/isl-0.12.2/lib$ objdump -x libisl.so.10.2.2 | grep isl_ast_expr_get_val 00060380 g F .text 0053

Re: [patch 1/4] change specific int128 - generic intN

2014-07-11 Thread Eric Botcazou
PSImode is 20 bits, fits in a 20 bit register, and uses 20 bit operations. Then why do you need this change? - TYPE_SIZE (type) = bitsize_int (GET_MODE_BITSIZE (TYPE_MODE (type))); + TYPE_SIZE (type) = bitsize_int (GET_MODE_PRECISION (TYPE_MODE (type))); TYPE_SIZE_UNIT (type) =

Fwd: Re: [PING][PATCH] Fix for PR 61561

2014-07-11 Thread Marat Zakirov
Thank to you all. Committed revision 212450. --Marat Original Message Subject:Re: [PING][PATCH] Fix for PR 61561 Date: Thu, 10 Jul 2014 14:01:24 +0100 From: Ramana Radhakrishnan ramana.radhakrish...@arm.com To: Marat Zakirov m.zaki...@samsung.com,

Re: Optimize type streaming

2014-07-11 Thread Richard Biener
On Fri, 11 Jul 2014, Jan Hubicka wrote: Are we sure it ever stabilizes? But yes, I had something like this in mind (just do one iteration always) in case we need to improve hashing. Hi, this is bit quick experiment with strengthening the hash by iteration. I don't seem to be able to

Re: [patch,gomp-4_0-branch] misc reduction clause bug fixes

2014-07-11 Thread Thomas Schwinge
Hi Cesar! On Thu, 10 Jul 2014 11:43:11 -0700, Cesar Philippidis ce...@codesourcery.com wrote: This patch addresses two bugs openacc reduction clause bugs. Thanks! OK; one question/suggestion, though: --- a/gcc/omp-low.c +++ b/gcc/omp-low.c @@ -9679,11 +9679,23 @@ process_reduction_data

Re: [PATCH] Fix PR61762, reads from string constants

2014-07-11 Thread Richard Biener
On Fri, 11 Jul 2014, Richard Biener wrote: On Fri, 11 Jul 2014, Jakub Jelinek wrote: On Fri, Jul 11, 2014 at 10:00:01AM +0200, Richard Biener wrote: I started with adding an optional arg to native_encode_expr but then figured that all the current workers return failure if the entire

Re: [PATCH] Generate more efficient memory barriers for LEON3

2014-07-11 Thread Eric Botcazou
The full barrier pattern membar_leon3 also gets generated so I think that one should be kept also. Do you have a testcase? membar is generated by sparc_emit_membar_for_model and, for the TSO model of LEON3, implied = StoreStore | LoadLoad | LoadStore so mm can only be StoreLoad, which means

Use separate sections to stream non-trivial constructors

2014-07-11 Thread Jan Hubicka
Hi, since we both agreed offlining constructors from global decl stream is a good idea, I went ahead and implemented it. I would like to followup by an cleanups; for example the sections are still tagged as function sections, but I would like to do it incrementally. There is quite some uglyness

Re: [GSoC] generation of Gimple loops with empty bodies

2014-07-11 Thread Tobias Grosser
I tried to incorporate all your comments in the attached patch. Nice. It looks now very good to me. One final and last detail: +/* TREE_FROM_ISL_ID maps ISL's scattering and parameter identifiers + to corresponding trees. */ + +typedef struct ivs_params { + std::mapisl_id *, tree

Re: [patch,gomp-4_0-branch] openacc collapse clause

2014-07-11 Thread Thomas Schwinge
Hi Cesar! On Thu, 10 Jul 2014 11:47:42 -0700, Cesar Philippidis ce...@codesourcery.com wrote: These patch enables the collapse clause with a value greater than one. Thanks! Is this patch OK for gomp-4_0-branch? OK with the following addressed: --- a/gcc/c/c-parser.c +++

Re: Optimize type streaming

2014-07-11 Thread Jan Hubicka
Well - as we re-use the streamer cache to store the hash value it isn't really possible to do better ... (at least I don't have a clever idea) OK, no cleverness on my side either. Yeah (though you wouldn't need the extra hashing - we only need to know the hash of the SCC). The current

Re: [PATCH] Fix PR61762, reads from string constants

2014-07-11 Thread Jakub Jelinek
On Fri, Jul 11, 2014 at 11:13:12AM +0200, Richard Biener wrote: + if (offset = off) + ptr[offset - off] = value; For original off != 0, you aren't checking whether offset - off len though (various places), you don't want to write beyond end of buffer. - return total_bytes; +

Re: Optimize type streaming

2014-07-11 Thread Richard Biener
On Fri, 11 Jul 2014, Jan Hubicka wrote: Well - as we re-use the streamer cache to store the hash value it isn't really possible to do better ... (at least I don't have a clever idea) OK, no cleverness on my side either. Yeah (though you wouldn't need the extra hashing - we only

Re: [RFC, PATCH 1/n] IPA C++ refactoring

2014-07-11 Thread Jan Hubicka
Hi, this first patch continues with rafactoring of IPA infrastructure so that we will have C++ API. In the patch, I transformed many global functions to members of symtab_node and cgraph_node. Example: cgraph_remove_node (struct cgraph_node *node) - cgraph_node::remove (void)

Re: Optimize type streaming

2014-07-11 Thread Jan Hubicka
We hash only on outgoing SCC edges. You can easily have main variant type T and variants T1,T2 that are same all used by type T again. Ok, but then the two variants shouldn't be in the same SCC or at least not in the same SCC as the main variant. They will because T refers them

Re: [PATCH] Fix PR61762, reads from string constants

2014-07-11 Thread Richard Biener
On Fri, 11 Jul 2014, Jakub Jelinek wrote: On Fri, Jul 11, 2014 at 11:13:12AM +0200, Richard Biener wrote: + if (offset = off) + ptr[offset - off] = value; For original off != 0, you aren't checking whether offset - off len though (various places), you don't want to write

Re: FWD: Re: OpenACC subarray specifications in the GCC Fortran front end

2014-07-11 Thread Thomas Schwinge
Hi! On Thu, 22 May 2014 11:31:25 +0400, Ilmir Usmanov i.usma...@samsung.com wrote: On 16.05.2014 19:44, Ilmir Usmanov wrote: On 16.05.2014 19:12, Thomas Schwinge wrote: You recently indicated that you have already begun implementing OpenACC subarray specifications in the GCC Fortran front

Re: Optimize type streaming

2014-07-11 Thread Richard Biener
On Fri, 11 Jul 2014, Jan Hubicka wrote: We hash only on outgoing SCC edges. You can easily have main variant type T and variants T1,T2 that are same all used by type T again. Ok, but then the two variants shouldn't be in the same SCC or at least not in the same SCC as the

[C++ Patch] PR 53159 (Take 2)

2014-07-11 Thread Paolo Carlini
Hi, only today it occurred to me that we can as well delay all the diagnostic at issue to the check_narrowing at the end of convert_like_real and avoid at once possible issues with duplicate warnings. Tested x86_64-linux. Thanks, Paolo. // /cp 2014-07-11 Paolo Carlini

Re: [PATCH] Generate more efficient memory barriers for LEON3

2014-07-11 Thread Daniel Cederman
That was an error on my side. The wrong memory model had gotten cached in a generated make script. Lets drop membar_leon3 also then :) On 2014-07-11 11:15, Eric Botcazou wrote: The full barrier pattern membar_leon3 also gets generated so I think that one should be kept also. Do you have a

[PATCH-v3] Generate more efficient memory barriers for LEON3

2014-07-11 Thread Daniel Cederman
ChangeLog: 2014-07-11 Daniel Cederman ceder...@gaisler.com gcc/config/sparc/ * sync.md: Generate more efficient memory barriers for LEON3 --- gcc/config/sparc/sync.md | 10 +- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/gcc/config/sparc/sync.md

Re: [Patch 1/2][ARM]Split insn type alu_reg into alu_sreg and alu_dsp_reg

2014-07-11 Thread Richard Earnshaw
On 10/07/14 08:46, Terry Guo wrote: Hi there, Currently the insn type of DSP-kind instructions like QSUB8 is alu_reg which is same as other normal instructions like SUB. In order to distinguish those DSP-kind instructions, this patch intends to replace current alu_reg with two sub

Re: [Patch 2/2][AArch64]Split insn type alu_reg into alu_sreg and alu_dsp_reg

2014-07-11 Thread Richard Earnshaw
On 10/07/14 09:06, Terry Guo wrote: Hi there, As the second and final patch in this series, it intends to update alu_reg and alus_reg types for AArch64 port. With this change, the gcc can be successfully built for AArch64. Is it OK to trunk? BR, Terry 2014-07-10 Terry Guo

Re: FWD: Re: OpenACC subarray specifications in the GCC Fortran front end

2014-07-11 Thread Jakub Jelinek
On Fri, Jul 11, 2014 at 12:11:10PM +0200, Thomas Schwinge wrote: To avoid duplication of work: with Jakub's Fortran OpenMP 4 target changes recently committed to trunk, and now merged into gomp-4_0-branch, I have trimmed down Ilmir's patch to just the OpenACC bits, OpenMP 4 target changes

Re: [Patch ARM-AArch64/testsuite v2 01/21] Neon intrinsics execution tests initial framework.

2014-07-11 Thread Richard Earnshaw
On 10/07/14 11:12, Marcus Shawcroft wrote: On 1 July 2014 11:05, Christophe Lyon christophe.l...@linaro.org wrote: * documentation (README) * dejanu driver (neon-intrinsics.exp) * support macros (arm-neon-ref.h, compute-ref-data.h) * Tests for 3 intrinsics: vaba, vld1, vshl Hi, The

Re: [GSoC] generation of Gimple loops with empty bodies

2014-07-11 Thread Roman Gareev
The struct now contains only a single element such that there seems to be no need for it anymore. Should we remove it? (We could still use a typedef if you believe the datatype is too long). I don't mind removing it. However I think that we should choose the way of transferring of sese region,

Re: [GSoC] generation of Gimple loops with empty bodies

2014-07-11 Thread Tobias Grosser
On 11/07/2014 13:11, Roman Gareev wrote: The struct now contains only a single element such that there seems to be no need for it anymore. Should we remove it? (We could still use a typedef if you believe the datatype is too long). I don't mind removing it. However I think that we should

Re: Use separate sections to stream non-trivial constructors

2014-07-11 Thread Richard Biener
On Fri, 11 Jul 2014, Jan Hubicka wrote: Hi, since we both agreed offlining constructors from global decl stream is a good idea, I went ahead and implemented it. I would like to followup by an cleanups; for example the sections are still tagged as function sections, but I would like to do

Re: [PATCH 2/2] Enable elimination of zext/sext

2014-07-11 Thread Kugan
Thanks foe the review and suggestions. On 10/07/14 22:15, Richard Biener wrote: On Mon, Jul 7, 2014 at 8:55 AM, Kugan kugan.vivekanandara...@linaro.org wrote: [...] For -fwrapv, it is due to how PROMOTE_MODE is defined in arm back-end. In the test-case, a function (which has signed char

Re: Use separate sections to stream non-trivial constructors

2014-07-11 Thread Jan Hubicka
On Fri, 11 Jul 2014, Jan Hubicka wrote: Hi, since we both agreed offlining constructors from global decl stream is a good idea, I went ahead and implemented it. I would like to followup by an cleanups; for example the sections are still tagged as function sections, but I would

Re: Optimize type streaming

2014-07-11 Thread Jan Hubicka
Hmm, walking everything first and then starting streaming sounds bad idea for locality. Can't I just re-do the walk since I know what the SCC is? I will read the code more after lunch. Might be possible with a 2nd SCC stack set up, yes. I set up hash_map to store the hash values anyway.

Re: Use separate sections to stream non-trivial constructors

2014-07-11 Thread Richard Biener
On Fri, 11 Jul 2014, Jan Hubicka wrote: On Fri, 11 Jul 2014, Jan Hubicka wrote: Hi, since we both agreed offlining constructors from global decl stream is a good idea, I went ahead and implemented it. I would like to followup by an cleanups; for example the sections are

Re: Optimize type streaming

2014-07-11 Thread Richard Biener
On Fri, 11 Jul 2014, Jan Hubicka wrote: Hmm, walking everything first and then starting streaming sounds bad idea for locality. Can't I just re-do the walk since I know what the SCC is? I will read the code more after lunch. Might be possible with a 2nd SCC stack set up, yes. I

Re: Optimize type streaming

2014-07-11 Thread Jan Hubicka
On Fri, 11 Jul 2014, Jan Hubicka wrote: Hmm, walking everything first and then starting streaming sounds bad idea for locality. Can't I just re-do the walk since I know what the SCC is? I will read the code more after lunch. Might be possible with a 2nd SCC stack set

Re: update address taken: don't drop clobbers

2014-07-11 Thread Michael Matz
Hi, On Thu, 10 Jul 2014, Jeff Law wrote: The insight to note is, that undefined SSA names should really be coalesced with something (otherwise you lost an optimization opportunity), but it doesn't matter with _what_ each use of the undefined name is coalesced, you can even identify

Re: Optimize type streaming

2014-07-11 Thread Richard Biener
On Fri, 11 Jul 2014, Jan Hubicka wrote: On Fri, 11 Jul 2014, Jan Hubicka wrote: Hmm, walking everything first and then starting streaming sounds bad idea for locality. Can't I just re-do the walk since I know what the SCC is? I will read the code more after lunch.

Re: Use separate sections to stream non-trivial constructors

2014-07-11 Thread Jan Hubicka
Well, just make them regular (anonymous) VAR_DECLs then ... (the fact that a CONST_DECL is anonymous is probably the only real difference - and that they are mergeable by content). Something like that, perhaps. Plan to do that incrementally - having them in symbol tabel first is an

Re: Optimize type streaming

2014-07-11 Thread Jan Hubicka
Ah, ok. Well, let's hope walk_tree walks all edges the DFS walk walks ;) A quick look tells me it doesn't walk DECL_VINDEX or DECL_FUNCTION_PERSONALITY for example. I guess it should - will try patch adding that :) Both seems like just ommisions - these fileds were added quite recently

Fix PR61772: ifcvt removing asm volatile gotos

2014-07-11 Thread Michael Matz
Hi, our kernel guys saw this problem when they used an asm goto to implement a conditional where the then-block was empty. RTL ifcvt happily goes on and removes the whole block and the jump instruction, even though it has side-effects (as marked with the volatility). Patch below fixes it by

Re: [PATCH][sched-deps] Generalise usage of macro fusion to work on any two insns

2014-07-11 Thread Kyrill Tkachov
On 10/07/14 22:53, Maxim Kuvyrkov wrote: On Jul 10, 2014, at 8:00 PM, Kyrill Tkachov kyrylo.tkac...@arm.com wrote: On 30/06/14 21:39, Jeff Law wrote: On 06/27/14 02:29, Kyrill Tkachov wrote: Hi all, This patch generalises the TARGET_MACRO_FUSION_PAIR_P hook usage to work on more than just

Re: [PATCH 2/2] Enable elimination of zext/sext

2014-07-11 Thread Richard Biener
On Fri, Jul 11, 2014 at 1:52 PM, Kugan kugan.vivekanandara...@linaro.org wrote: Thanks foe the review and suggestions. On 10/07/14 22:15, Richard Biener wrote: On Mon, Jul 7, 2014 at 8:55 AM, Kugan kugan.vivekanandara...@linaro.org wrote: [...] For -fwrapv, it is due to how PROMOTE_MODE

Change an assignment to an assert in varpool

2014-07-11 Thread Bernd Schmidt
I noticed that we set node-definition = true in varpool_assemble_decl. The surrounding code suggests that we should only ever get there if definition is already true, so I changed it to an assert. The question is interesting for some modifications I'm making for ptx (which requires

[BUILDROBOT] gcov patch (was: r212448 - in /trunk: gcc/ChangeLog gcc/Makefile...)

2014-07-11 Thread Jan-Benedict Glaw
On Fri, 2014-07-11 05:48:08 -, x...@gcc.gnu.org x...@gcc.gnu.org wrote: Author: xur Date: Fri Jul 11 05:48:07 2014 New Revision: 212448 URL: https://gcc.gnu.org/viewcvs?rev=212448root=gccview=rev Log: 2014-07-10 Rong Xu x...@google.com Add gcov-tool: an offline gcda profile

Re: [BUILDROBOT] gcov patch

2014-07-11 Thread Jan-Benedict Glaw
On Fri, 2014-07-11 15:03:06 +0200, Jan-Benedict Glaw jbg...@lug-owl.de wrote: See eg. http://toolchain.lug-owl.de/buildbot/show_build_details.php?id=289639, it breaks like this: [...] g++ -c -g -O2 -DIN_GCC -DCROSS_DIRECTORY_STRUCTURE -fno-exceptions -fno-rtti

Re: [PATCH, AArch64, Testsuite] Specify -fno-use-caller-save for func-ret* tests

2014-07-11 Thread Yufeng Zhang
Hi Tom, On 8 July 2014 20:45, Tom de Vries tom_devr...@mentor.com wrote: On 01-07-14 19:26, Jeff Law wrote: On 07/01/14 09:51, Yufeng Zhang wrote: Hi, This patch resolves a conflict between the aapcs64 test framework for func-ret tests and the optimization option -fuse-caller-save, which

Re: [PATCH][sched-deps] Generalise usage of macro fusion to work on any two insns

2014-07-11 Thread Alexander Monakov
On Fri, 11 Jul 2014, Kyrill Tkachov wrote: On 10/07/14 22:53, Maxim Kuvyrkov wrote: The patch looks good to me, but some cleanup suggestions below. Thanks, here's an updated patch. How's this? You need to remove 'if (targetm. ...) SCHED_GROUP_P (insn) = 1;' from the first if branch,

Re: Change an assignment to an assert in varpool

2014-07-11 Thread Jan Hubicka
I noticed that we set node-definition = true in varpool_assemble_decl. The surrounding code suggests that we should only ever get there if definition is already true, so I changed it to an assert. The question is interesting for some modifications I'm making for ptx (which requires

Re: [PATCH][sched-deps] Generalise usage of macro fusion to work on any two insns

2014-07-11 Thread Kyrill Tkachov
On 11/07/14 14:20, Alexander Monakov wrote: On Fri, 11 Jul 2014, Kyrill Tkachov wrote: On 10/07/14 22:53, Maxim Kuvyrkov wrote: The patch looks good to me, but some cleanup suggestions below. Thanks, here's an updated patch. How's this? You need to remove 'if (targetm. ...) SCHED_GROUP_P

Re: [PATCH][RFC] Fix PR61473, inline small memcpy/memmove during tree opts

2014-07-11 Thread Richard Biener
On Fri, 11 Jul 2014, Richard Biener wrote: On Thu, 10 Jul 2014, Jakub Jelinek wrote: On Thu, Jul 10, 2014 at 04:30:13PM +0200, Richard Biener wrote: Compromise hack below. It simply avoids the transform for sources that c_strlen can compute a length of. That fixes all strlenopt

Re: [GSoC] generation of Gimple loops with empty bodies

2014-07-11 Thread Roman Gareev
I've attached an improved version of the patch and the ChangeLog entry. Are they fine for trunk? -- Cheers, Roman Gareev. 2014-07-11 Roman Gareev gareevro...@gmail.com gcc/ * graphite-isl-ast-to-gimple.c (gmp_cst_to_tree): New

Re: [PATCH][RFC] Fix PR61473, inline small memcpy/memmove during tree opts

2014-07-11 Thread Jakub Jelinek
On Fri, Jul 11, 2014 at 03:36:15PM +0200, Richard Biener wrote: *** c_strlen (tree src, int only_value) *** 606,612 /* If the offset is known to be out of bounds, warn, and call strlen at runtime. */ ! if (offset 0 || offset max) { /*

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

2014-07-11 Thread Maxim Ostapenko
Ping. Added small changes due to previous discussion in community. Original Message Subject:[PATCH][Ping v3] Add patch for debugging compiler ICEs Date: Fri, 04 Jul 2014 18:32:44 +0400 From: Maxim Ostapenko m.ostape...@partner.samsung.com To: GCC Patches

Re: [GSoC] generation of Gimple loops with empty bodies

2014-07-11 Thread Tobias Grosser
On 11/07/2014 15:41, Roman Gareev wrote: I've attached an improved version of the patch and the ChangeLog entry. Are they fine for trunk? LGTM. Thank you! Tobias

Re: [PATCH v3 3/3] Port libstdc++ pretty-printers to Python 2 + Python 3

2014-07-11 Thread Jonathan Wakely
On 10/07/14 22:48 -0400, Samuel Bronson wrote: PR libstdc++/58962 * python/libstdcxx/v6/printers.py: Port to Python 2+3 (imap): New compat function. (izip): Likewise. (Iterator): New mixin to allow writing iterators in Python 3 style

Re: [PATCH preprocessor/61389] - libcpp diagnostics shouldn't talk about ISO C99 for C++ input files

2014-07-11 Thread Dominique Dhumieres
Here is a preprocessor patch to make error messages show C++11 and other relevant C++ language instead of C99. Built and tested on x86_64-linux. This caused FAIL: gcc.dg/cpp/macsyntx.c (test for excess errors) FAIL: gcc.dg/cpp/macsyntx.c (test for excess errors) FAIL: gcc.dg/cpp/macsyntx.c

Re: [BUILDROBOT] gcov patch

2014-07-11 Thread Rong Xu
Sorry. This code meant to work with the different mkdir api in windows. I used wrong ifdef. Here is the patch. OK for checkin? Thanks, -Rong 2014-07-11 Rong Xu x...@google.com * gcov-tool.c (gcov_output_files): Fix build error. Index: gcov-tool.c

Re: Fix PR61772: ifcvt removing asm volatile gotos

2014-07-11 Thread Steven Bosscher
On Fri, Jul 11, 2014 at 2:34 PM, Michael Matz wrote: PR rtl-optimization/61772 * ifcvt.c (dead_or_predicable): Check jump to be free of side effects. This is OK. Ciao! Steven

Re: [PATCH preprocessor/61389] - libcpp diagnostics shouldn't talk about ISO C99 for C++ input files

2014-07-11 Thread Andreas Schwab
Tested on x86_64-suse-linux and installed as obvious. Andreas. PR preprocessor/61389 * gcc.dg/cpp/macsyntx.c: Update expected warnings. * gcc.dg/cpp/sysmac1.c: Likewise. diff --git a/gcc/testsuite/gcc.dg/cpp/macsyntx.c b/gcc/testsuite/gcc.dg/cpp/macsyntx.c index

Re: [PATCH] Fix for PR 61561

2014-07-11 Thread Richard Earnshaw
On 19/06/14 21:19, Yuri Gribov wrote: Thirdly, we also need to fix movhi_bytes (for pre-v4) thumb2_movhi_insn (for thumb2) and, quite possibly, thumb1_movhi_insn (for thumb1). There may well be additional changes for movqi variants as well. A general question: how should one test ARM

[PATCH] AIX COMDAT

2014-07-11 Thread David Edelsohn
This patch enables COMDAT functionality on AIX. It defines MAKE_DECL_ONE_ONLY and removes the historical legacy link-line option of -bnodelcsect. -bnodelcsect instructs the AIX (garbage collecting) linker to preserve un-referenced CSECTs (like ELF sections). In the distant past, GCC emitted code

Re: [BUILDROBOT] gcov patch

2014-07-11 Thread Jan Hubicka
Sorry. This code meant to work with the different mkdir api in windows. I used wrong ifdef. Here is the patch. OK for checkin? OK. I also see the following with LTO bootstrap: ../../gcc/../libgcc/libgcov-util.c:41:24: error: type of �gcov_max_filename� does not match original declaration

[c++-concepts] fixes

2014-07-11 Thread Andrew Sutton
Fix a couple of issues causing a test regression and boostrap build errors. 2014-07-11 Andrew Sutton andrew.n.sut...@gmail.com * gcc/cp/typeck.c (cp_build_function_call_vec): Emit diagnostic at the input location. * gcc/cp/error.c (dump_template_decl): Constraints are

Re: [PATCH v2 1/3] Make libstdc++ testsuite work with pre-color GCC versions again

2014-07-11 Thread Jonathan Wakely
On 10/07/14 22:48 -0400, Samuel Bronson wrote: When I try to build test just libstdc++, or to run the testsuite from trunk against my installed libstdc++, the testsuite tries to pass -fdiagnostics-color=never to the system GCC, which is too old to know what that is. Since I really just want

Re: [PATCH v2 2/3] libstdc++ testsuite: Turn off GDB's auto-load, list loaded libs

2014-07-11 Thread Jonathan Wakely
On 10/07/14 22:48 -0400, Samuel Bronson wrote: We load our pretty-printers explicitly, and we shouldn't need any other random -gdb.gdb or -gdb.py files from anywhere, so in this patch we turn that off by running set auto-load no. Also, run info share so that the list of loaded libraries ends

Re: [PATCH, libstdc++] Add the logistic distribution as an extension

2014-07-11 Thread Ed Smith-Rowland
On 07/10/2014 06:16 AM, Paolo Carlini wrote: .. I have another comment: are we sure the usual strategy: templatetypename _UniformRandomNumberGenerator result_type operator()(_UniformRandomNumberGenerator __urng) { return this-operator()(__urng, this-_M_param); } doesn't make

Re: [PATCH] offline gcda profile processing tool

2014-07-11 Thread Xinliang David Li
I wonder why. The struct definition for gcov_fn_info has not changed in this patch. David On Fri, Jul 11, 2014 at 1:07 AM, Richard Biener richard.guent...@gmail.com wrote: On Mon, May 5, 2014 at 7:17 PM, Rong Xu x...@google.com wrote: Here is the updated patch. The difference with patch set 3

Re: [PATCH, libstdc++] Add the logistic distribution as an extension

2014-07-11 Thread Paolo Carlini
Hi, On 07/11/2014 05:38 PM, Ed Smith-Rowland wrote: OK? Ok, thanks, but please adjust the dates you have on the testcases to the date of the actual commit (I suppose today or tomorrow) Thanks again! Paolo.

Re: [PATCH] offline gcda profile processing tool

2014-07-11 Thread Xinliang David Li
What is the macro to test POSIX IO on host? The guard uses TARGET_POSIX_IO which is not right. David On Fri, Jul 11, 2014 at 1:12 AM, Christophe Lyon christophe.l...@linaro.org wrote: On 11 July 2014 10:07, Richard Biener richard.guent...@gmail.com wrote: On Mon, May 5, 2014 at 7:17 PM, Rong

Re: [PATCH] offline gcda profile processing tool

2014-07-11 Thread Jakub Jelinek
On Fri, Jul 11, 2014 at 08:42:27AM -0700, Xinliang David Li wrote: I wonder why. The struct definition for gcov_fn_info has not changed in this patch. Perhaps it has been used only in C until now? Jakub

Re: [PATCH] offline gcda profile processing tool

2014-07-11 Thread Xinliang David Li
right. Rong, the fix would be just change ctr array size to 1. For each function, there should be at least one kind of counters -- see the assertion in build_fn_info_type. There are some code that do 'sizeof(gcov_fn_info)' when computing heap size -- they can be adjusted or leave it as it is (if

Re: [Patch, avr] Add atmel ata5782 and ata5831 devices

2014-07-11 Thread Denis Chertykov
2014-07-11 12:50 GMT+04:00 S, Pitchumani pitchuman...@atmel.com: This patch adds supports for Atmel's ata5782 and ata5831 devices. These devices ISA matches with AVR5 architecture except that text section start for these two devices is 0x8000. By default 0x0 is used as the text start address.

Re: [patch 1/4] change specific int128 - generic intN

2014-07-11 Thread DJ Delorie
PSImode is 20 bits, fits in a 20 bit register, and uses 20 bit operations. Then why do you need this change? Because parts of the gcc code use the byte size instead of the bit size, or round up, or assume powers-of-two sizes. - TYPE_SIZE (type) = bitsize_int (GET_MODE_BITSIZE

Re: [BUILDROBOT] gcov patch

2014-07-11 Thread Rong Xu
On Fri, Jul 11, 2014 at 8:06 AM, Jan Hubicka hubi...@ucw.cz wrote: Sorry. This code meant to work with the different mkdir api in windows. I used wrong ifdef. Here is the patch. OK for checkin? OK. I also see the following with LTO bootstrap: ../../gcc/../libgcc/libgcov-util.c:41:24: error:

Re: [PATCH] offline gcda profile processing tool

2014-07-11 Thread Rong Xu
I should use _WIN32 macro. This code is for windows mkdir api. I'll commit a patch for this shortly (approved by honza). -Rong On Fri, Jul 11, 2014 at 8:49 AM, Xinliang David Li davi...@google.com wrote: What is the macro to test POSIX IO on host? The guard uses TARGET_POSIX_IO which is not

Re: [PATCH] offline gcda profile processing tool

2014-07-11 Thread Rong Xu
I did see the warning in the bootstrap, but it did not exit the build. I thought it was ok. I'll have a patch for this and send for review. -Rong On Fri, Jul 11, 2014 at 9:13 AM, Xinliang David Li davi...@google.com wrote: right. Rong, the fix would be just change ctr array size to 1. For

possible negative patch for gcc/tree-ssa-loop-im.c (or removal of an assert)

2014-07-11 Thread Gaius Mulley
Hello, I've been looking through tree-ssa-loop-im.c (while hunting down a bug in the modula-2 front end) and found a curiosity in gcc/tree-ssa-loop-im.c. It seems that there is dead code in function determine_max_movement as mem_ref_in_stmt can never return NULL. static mem_ref_p

Re: update address taken: don't drop clobbers

2014-07-11 Thread Jeff Law
On 07/11/14 06:05, Michael Matz wrote: Hi, On Thu, 10 Jul 2014, Jeff Law wrote: The insight to note is, that undefined SSA names should really be coalesced with something (otherwise you lost an optimization opportunity), but it doesn't matter with _what_ each use of the undefined name is

Patch to fix a bug in LRA inheritance

2014-07-11 Thread Vladimir Makarov
The following patch fixes a bug in LRA inheritance found on compiling a big file on s390x. Unfortunately, the bug is very hard to reproduce and the test is too big and can not be included. But even if it were included, checking a correct code generation would be a problem too. The bug was

Re: possible negative patch for gcc/tree-ssa-loop-im.c (or removal of an assert)

2014-07-11 Thread Gaius Mulley
Gaius Mulley gaius.mul...@southwales.ac.uk writes: Hello, I've been looking through tree-ssa-loop-im.c (while hunting down a bug in the modula-2 front end) and found a curiosity in gcc/tree-ssa-loop-im.c. It seems that there is dead code in function determine_max_movement as

Fix ICE in ipa-devirt while building firefox

2014-07-11 Thread Jan Hubicka
Hi, Firefox build ICEs in ipa-devirt (types_same_for_odr) not being able to establish ODR equivalency for non-polymorphic types. This is because ipa-prop and ipa-cp does call get_binfo_at_offset where it really wants to propagate on types and offsets. Before this is fixed this patch avoids the

Re: [PATCH x86_64] Optimize access to globals in -fpie -pie builds with copy relocations

2014-07-11 Thread Sriraman Tallam
Ping. On Thu, Jun 26, 2014 at 10:54 AM, Sriraman Tallam tmsri...@google.com wrote: Hi Uros, Could you please review this patch? Thanks Sri On Fri, Jun 20, 2014 at 5:17 PM, Sriraman Tallam tmsri...@google.com wrote: Patch Updated. Sri On Mon, Jun 9, 2014 at 3:55 PM, Sriraman Tallam

Re: Use separate sections to stream non-trivial constructors

2014-07-11 Thread Jan Hubicka
Hi, this is the variant of patch I comitted. I noticed that partitioning actually calls ctor_for_folding just to figure out if the constant value may be used that drags in every readonly variable ctor into memory at WPA. So now we have separate predicate varpool_ctor_useable_for_folding_p to check

Re: [C++ Patch/RFC] Back to PR 53159

2014-07-11 Thread Jason Merrill
On 07/10/2014 06:38 PM, Paolo Carlini wrote: if (SCALAR_TYPE_P (type)) + if (!CLASS_TYPE_P (TREE_TYPE (init))) Why this change? check_narrowing only deals with scalar types. Jason

Re: [C++ Patch] PR 53159 (Take 2)

2014-07-11 Thread Jason Merrill
Oops, this patch didn't thread with the earlier one... On 07/11/2014 06:15 AM, Paolo Carlini wrote: if (SCALAR_TYPE_P (type)) Is the condition still necessary? - check_narrowing (type, init); + flags |= LOOKUP_NO_NARROWING; Jason

Re: [C++ Patch] PR 53159 (Take 2)

2014-07-11 Thread Paolo Carlini
Hi, On 07/11/2014 07:58 PM, Jason Merrill wrote: Oops, this patch didn't thread with the earlier one... Yeah, sorry, I considered my drafts of yesterday evening a distraction and wanted to start a fresh thread with a complete (more meaningful) new proposal. Probably not a good idea, after

Re: [PATCH] offline gcda profile processing tool

2014-07-11 Thread Rong Xu
Richard, I looked at my patch again. I already add -Wno-error to libgcov-util.o compilation: In line 200 of gcc/Makefile.in libgcov-util.o-warn = -Wno-error In my test, I used gcc-4.6 as the host compiler. I got warning like this: In file included from

Re: Use separate sections to stream non-trivial constructors

2014-07-11 Thread Jan Hubicka
Hi this is patch i am going to commit after testing. It removes DECL_INIT_IO timevar that guards only one variable set (so hardly measure anything) and moves GIMPLE_IN to proper place. It also adds CTORS_IN and CTORS_OUT. I get: ipa lto gimple out : 0.37 ( 0%) usr 0.21 ( 3%) sys 0.64

  1   2   >