Re: [PATCH] Peg down -(-A) - A transformation

2014-11-12 Thread Marek Polacek
On Tue, Nov 11, 2014 at 07:45:40PM +0100, Richard Biener wrote: On November 11, 2014 6:49:34 PM CET, Jakub Jelinek ja...@redhat.com wrote: On Tue, Nov 11, 2014 at 06:40:25PM +0100, Marek Polacek wrote: --- gcc/fold-const.c +++ gcc/fold-const.c @@ -7862,9 +7862,15 @@ fold_unary_loc

RE: [PATCH, testsuite, ARM] Check lr other than r3

2014-11-12 Thread Zhenqiang Chen
-Original Message- From: Richard Earnshaw Sent: Friday, November 07, 2014 8:51 PM To: Zhenqiang Chen; gcc-patches@gcc.gnu.org Cc: Ramana Radhakrishnan Subject: Re: [PATCH, testsuite, ARM] Check lr other than r3 On 03/11/14 08:18, Zhenqiang Chen wrote: Hi, pr45701-1.c FAIL

Re: Predefine __NO_MATH_ERRNO__ for -fno-math-errno

2014-11-12 Thread Richard Biener
On Tue, Nov 11, 2014 at 9:37 PM, Joseph Myers jos...@codesourcery.com wrote: This patch adds a predefined macro __NO_MATH_ERRNO__ for when -fno-math-errno is passed or implied. This allows math.h to provide a more accurate definition of the C99 math_errhandling macro that takes this option

Re: [PATCH, MPX runtime 1/2] Integrate MPX runtime library

2014-11-12 Thread Richard Biener
On Tue, Nov 11, 2014 at 4:34 PM, Ilya Enkovich enkovich@gmail.com wrote: Hi, This patch integrates MPX runtime library into GCC source tree. MPX runtime is responsible for initialization of MPX feature in HW, signal handling, reporting etc. Library is linked to codes compiled with

Re: [PATCH, MPX runtime 1/2] Integrate MPX runtime library

2014-11-12 Thread Jakub Jelinek
On Wed, Nov 12, 2014 at 09:30:59AM +0100, Richard Biener wrote: On Tue, Nov 11, 2014 at 4:34 PM, Ilya Enkovich enkovich@gmail.com wrote: Hi, This patch integrates MPX runtime library into GCC source tree. MPX runtime is responsible for initialization of MPX feature in HW, signal

Re: [PATCH] Look through widening type conversions for possible edge assertions

2014-11-12 Thread Richard Biener
On Wed, Nov 12, 2014 at 5:17 AM, Patrick Palka patr...@parcs.ath.cx wrote: On Tue, Nov 11, 2014 at 8:48 AM, Richard Biener richard.guent...@gmail.com wrote: On Tue, Nov 11, 2014 at 1:10 PM, Patrick Palka patr...@parcs.ath.cx wrote: This patch is a replacement for the 2nd VRP refactoring patch.

[PATCH] Don't perform A - (-B) - A + B when sanitizing

2014-11-12 Thread Marek Polacek
In the following testcase generic_simplify folded A - (-B) - A + B, which means we didn't detect an overflow. So I've tweaked match.pd. But fold-const.c still can do such a transformation as well, so I had to tweak it there as well in the same way. Bootstrapped/regtested on x86_64-linux, ok for

Re: [AArch64, Docs, Patch] Add reference to ACLE in docs.

2014-11-12 Thread Tejas Belagod
On 07/11/14 13:09, Richard Earnshaw wrote: On 04/11/14 13:17, Tejas Belagod wrote: On 03/11/14 17:58, Joseph Myers wrote: On Mon, 3 Nov 2014, Tejas Belagod wrote: If I mention in a couple of sentences the level of ACLE support there is in GCC currently, this section will need to be updated

Re: [PATCH] Fix PR63761: stmt set to wrong basic block

2014-11-12 Thread Richard Biener
On Tue, Nov 11, 2014 at 5:58 PM, Thomas Preud'homme thomas.preudho...@arm.com wrote: Hi, The bswap pass iterate over the statements in a basic block and replace them by a bswap, load or load+bswap when equivalent. However, to keep the code equivalent the load need to be perform at the same

Re: Add the latest C++ SD-6 additions.

2014-11-12 Thread Markus Trippelsdorf
On 2014.11.11 at 19:15 +0100, Markus Trippelsdorf wrote: On 2014.11.10 at 10:55 -0500, Ed Smith-Rowland wrote: On 11/09/2014 11:45 PM, Jason Merrill wrote: On 11/09/2014 08:33 PM, Ed Smith-Rowland wrote: + //cpp_hashnode *node = 0; + //node = token-val.node.node; + //if

Re: [PATCH 4/4] OpenMP 4.0 offloading to Intel MIC: non-fallback testing

2014-11-12 Thread Jakub Jelinek
On Mon, Nov 10, 2014 at 05:34:30PM +0300, Ilya Verbin wrote: I don't like this, that is too fragile. If automake is changed, we'll forget to update this. If all you are about are the 3 additional variables, can't you instead put them into env vars and query them in the tcl code using

Re: [RFC PATCH] Optimize ASAN_CHECK checks

2014-11-12 Thread Yury Gribov
On 11/11/2014 08:42 PM, Jakub Jelinek wrote: On Wed, Nov 05, 2014 at 11:50:20AM +0100, Jakub Jelinek wrote: On Wed, Nov 05, 2014 at 11:29:19AM +0100, Marek Polacek wrote: On Wed, Nov 05, 2014 at 12:54:37PM +0300, Yury Gribov wrote: Are you going to work on ASan soon? I could rebase my

Re: [PATCH 10/11][RS6000] Migrate reduction optabs to reduc_..._scal

2014-11-12 Thread Segher Boessenkool
On Tue, Nov 11, 2014 at 08:27:22PM -0500, Michael Meissner wrote: Before the patch, the final reduction used *vsx_reduc_splus_v2df; after the patch, it is *vsx_reduc_plus_v2df_scalar. The former does a vector add, the latter a float add. And it uses the same pseudoregister for the

Re: [PATCH 3/n] OpenMP 4.0 offloading infrastructure: offload tables

2014-11-12 Thread Richard Biener
On Wed, 5 Nov 2014, Ilya Verbin wrote: On 08 Oct 11:23, Jakub Jelinek wrote: LGTM, with the requested var/section renames. Would like if Honza and/or Richard had a look at the cgraph/LTO stuff in the patch though. Since patch 2 was updated, this patch also should be updated. Now the

Re: [PATCH 2/n] OpenMP 4.0 offloading infrastructure: LTO streaming

2014-11-12 Thread Richard Biener
On Wed, 5 Nov 2014, Ilya Verbin wrote: On 03 Nov 10:24, Jakub Jelinek wrote: On Tue, Oct 28, 2014 at 10:30:47PM +0300, Ilya Verbin wrote: @@ -474,6 +475,13 @@ cgraph_node::create (tree decl) gcc_assert (TREE_CODE (decl) == FUNCTION_DECL); node-decl = decl; + + if

Re: [PATCH 4/n] OpenMP 4.0 offloading infrastructure: lto-wrapper

2014-11-12 Thread Richard Biener
On Thu, 6 Nov 2014, Ilya Verbin wrote: On 16 Oct 13:22, Jakub Jelinek wrote: Can you please extract the configure{,.ac}, langhooks.c and varasm.c bits into a separate patch? That is preapproved for trunk right now, that isn't dependent on anything else. Done. The rest LGTM, but

Re: [PATCH] Optimize UBSAN_NULL checks, add sanopt.c

2014-11-12 Thread Maxim Ostapenko
If in the future we e.g. IPA-prop propagate the nonfreeing_call_p property through the callgraph (as in, if the function you call is non-overridable and you know the flag for it, use it), FYI we tried this on SPEC and some other apps but saw no performance improvements. Yes, we have a

[Patch, ARM]Add pipeline description for ARM Cortex-M7

2014-11-12 Thread Terry Guo
Hi there, Attached patch intends to add pipeline description for ARM MCU Cortex-M7. Is it ok to trunk? BR, Terry 2014-11-12 Terry Guo terry@arm.com * config/arm/arm.c (arm_issue_rate): Return 2 for cortex-m7. * config/arm/arm.md (generic_sched): Exclude cortex-m7.

Re: [PATCH] Don't perform A - (-B) - A + B when sanitizing

2014-11-12 Thread Richard Biener
On Wed, 12 Nov 2014, Marek Polacek wrote: In the following testcase generic_simplify folded A - (-B) - A + B, which means we didn't detect an overflow. So I've tweaked match.pd. But fold-const.c still can do such a transformation as well, so I had to tweak it there as well in the same way.

Re: [RFC PATCH, AARCH64] Add support for -mlong-calls option

2014-11-12 Thread Yangfei (Felix)
Hi Felix, Sorry for the delay responding, I've been out of the office recently and I'm only just catching up on a backlog of GCC related emails. I'm in two minds about this; I can potentially see the need for attributes to enable long calls for specific calls, and maybe also for pragmas

Fix gcc_assert in expand_omp_for_static_chunk

2014-11-12 Thread Tom de Vries
Jakub, this patch fixes a gcc_assert in expand_omp_for_static_chunk. The assert follows a loop with composite loop condition: ... vecedge_var_map *head = redirect_edge_var_map_vector (re); ene = single_succ_edge (entry_bb); psi = gsi_start_phis (fin_bb); for (i = 0;

[PING][PATCH, AArch64] Add doloop_end pattern for -fmodulo-sched

2014-11-12 Thread Yangfei (Felix)
Hello, Any comments on this patch? Thanks. Hi, This patch adds doloop_end standard pattern for AArch64 port so that -fmodulo-sched can do its job. Reg-tested for aarch64-linux-gnu with QEMU. OK for the trunk? Index: gcc/ChangeLog

[Android] Enable ifuncs on Android

2014-11-12 Thread Alexander Ivchenko
Hi, Bionic - Android libc - supports indirect functions right now, but they are disabled in gcc; We cannot do the configure-time check for that, because there is only one version of each compiler shipped in ndk for all Android platforms. On the other hand, having different runtime targets like

Re: [patch] LWG 2408. SFINAE-friendly common_type/iterator_traits is missing in C++14

2014-11-12 Thread Jonathan Wakely
On 12/11/14 07:13 +0100, Marc Glisse wrote: On Tue, 11 Nov 2014, Jonathan Wakely wrote: + templatetypename _Iterator, typename = __void_t Is there a particular reason not to write void directly? I like this form as a hint that the specialization is expected to use void_t for that

Re: PATCH: PR testsuite/63830: c-c++-common/asan/strlen-overflow-1.c fails on x32

2014-11-12 Thread Yury Gribov
On 11/12/2014 04:52 AM, H.J. Lu wrote: Hi, This patch updates c-c++-common/asan/strlen-overflow-1.c to avoid tail call on x32. Tested on Linux/x86-64/ia32/x32. OK to install? Thanks. H.J. --- 2014-11-11 H.J. Lu hongjiu...@intel.com PR testsuite/63830 *

Re: [PATCH 1/5] OpenACC 2.0 support for libgomp - OpenACC runtime, NVidia PTX/CUDA plugin (repost)

2014-11-12 Thread Jakub Jelinek
On Tue, Nov 11, 2014 at 01:53:23PM +, Julian Brown wrote: A few OpenMP tests fail with the new host_nonshm plugin (with failures of the form libgomp: Trying to update [0x605820..0x605824) object that is not mapped), probably because of middle-end bugs. I haven't investigated those in

[PATCH] Fix PR63819

2014-11-12 Thread Richard Biener
This fixes --enable-gather-detailed-mem-stats build. Bootstrapped through stage2 with and without that option, applied. Richard. 2014-11-12 Richard Biener rguent...@suse.de PR bootstrap/63819 * hash-table.h: Include ggc.h also for generator programs. * genmatch.c

Re: [PATCH] Optimize UBSAN_NULL checks, add sanopt.c

2014-11-12 Thread Jakub Jelinek
On Wed, Nov 12, 2014 at 12:46:48PM +0400, Maxim Ostapenko wrote: If in the future we e.g. IPA-prop propagate the nonfreeing_call_p property through the callgraph (as in, if the function you call is non-overridable and you know the flag for it, use it), FYI we tried this on SPEC and some

[PATCH] Fix PR63821

2014-11-12 Thread Richard Biener
This fixes a missing convert (oops) in the -(T)-X pattern. Applied as obvious. Richard. 2014-11-12 Richard Biener rguent...@suse.de PR middle-end/63821 * match.pd: Add missing conversion to the -(T)-X pattern. * gfortran.dg/pr63821.f90: New testcase. Index:

[patch c++]: Cleanup locally only/unused functions in typeck.c

2014-11-12 Thread Kai Tietz
Hello, I noticed that in typeck.c's API some functions are used just locally, and one has no users at all. So this patch cleans that up. ChangeLog 2014-11-12 Kai Tietz kti...@redhat.com * cp-tree.h (cp_build_function_call): Remove prototype. (cp_build_addr_expr_strict): Likewise.

[PING][PATCH, PR63742][ARM] Fix arm *movhi_insn_arch4 pattern for big-endian

2014-11-12 Thread Yangfei (Felix)
Hello, Any comments on this patch? Thanks. The idea is simple: Use movw for certain const source operand instead of ldrh. And exclude the const values which cannot be handled by mov/mvn/movw. I am doing regression test for this patch. Assuming no issue pops

Re: [Build, patch] Remove CLooG from the main configure.ac

2014-11-12 Thread Tobias Burnus
On Tue, Nov 11, 2014 at 02:01:47PM +0100, Tobias Burnus wrote: Now that CLooG is no longer used by GCC, it makes sense to also remove it from the main configure file. Especially as the in-tree build currently only works if also CLooG is available. I saw that there were still some traces of

Re: [Build, patch] Remove CLooG from the main configure.ac

2014-11-12 Thread Richard Biener
On Wed, Nov 12, 2014 at 11:27 AM, Tobias Burnus tobias.bur...@physik.fu-berlin.de wrote: On Tue, Nov 11, 2014 at 02:01:47PM +0100, Tobias Burnus wrote: Now that CLooG is no longer used by GCC, it makes sense to also remove it from the main configure file. Especially as the in-tree build

[patch] c++/33911 add -Wno-deprecated to libstdc++ tests

2014-11-12 Thread Jonathan Wakely
Once the front end patch goes in these tests will need -Wno-deprecated. Tested x86_64-linux, committed to trunk. commit 11b6e8991a772a5795e52e01b4598bcd947cac41 Author: Jonathan Wakely jwak...@redhat.com Date: Wed Nov 12 03:12:22 2014 + Add -Wno-deprecated to dg-options. PR

Re: [RFC PATCH] Optimize ASAN_CHECK checks

2014-11-12 Thread Jakub Jelinek
On Wed, Nov 12, 2014 at 12:18:31PM +0300, Yury Gribov wrote: --- gcc/sanopt.c.jj 2014-11-11 09:13:36.698280115 +0100 +++ gcc/sanopt.c 2014-11-11 18:07:17.913539517 +0100 @@ -49,6 +49,7 @@ along with GCC; see the file COPYING3. #include langhooks.h #include ubsan.h #include

Re: [patch] Warn on undefined loop exit

2014-11-12 Thread Andrew Stubbs
Ping. On 05/11/14 21:45, Andrew Stubbs wrote: This patch adds the following warning message: undefined.c:9:20: warning: statement may be undefined in the final loop iteration. [-Waggressive-loop-optimizations] for (i = 0; array[i] i 5; i++) ^ (Where the code ought

Re: PATCH: PR testsuite/63830: c-c++-common/asan/strlen-overflow-1.c fails on x32

2014-11-12 Thread Jakub Jelinek
On Wed, Nov 12, 2014 at 01:05:15PM +0300, Yury Gribov wrote: On 11/12/2014 04:52 AM, H.J. Lu wrote: Hi, This patch updates c-c++-common/asan/strlen-overflow-1.c to avoid tail call on x32. Tested on Linux/x86-64/ia32/x32. OK to install? Thanks. H.J. --- 2014-11-11 H.J. Lu

Re: [PATCH 2/4] Add liboffloadmic

2014-11-12 Thread Jakub Jelinek
On Thu, Nov 06, 2014 at 07:21:31PM +0100, Jakub Jelinek wrote: On Wed, Oct 22, 2014 at 11:21:28PM +0400, Ilya Verbin wrote: Also, do we really want the messy DOS/Windows '\r' in the messages on Unix-ish targets? Shouldn't that be dependent on what target is the library configured

[wwwdocs] gcc-5/changes.html: Graphite - CLooG removal; Fortran - update

2014-11-12 Thread Tobias Burnus
Hi all, hi Gerald, hi Tobias and Roman, the patch updates gcc-5/changes.html; the Fortran bits are obvious. For CLooG: * That CLooG is no longer needed is the main reason for writing this Caveat item. * Regarding ISL 0.12.2: The recommended version already changed 2014-02-13 and thus for

Re: [PING][PATCH, AArch64] Add doloop_end pattern for -fmodulo-sched

2014-11-12 Thread Jiong Wang
On 12/11/14 10:01, Yangfei (Felix) wrote: + if (GET_MODE (operands[0]) != DImode) + FAIL; shouldn't SImode be considered for -mabi=ilp32 ?

Re: [PATCH 1/5] OpenACC 2.0 support for libgomp - OpenACC runtime, NVidia PTX/CUDA plugin (repost)

2014-11-12 Thread Thomas Schwinge
Hi! On Wed, 12 Nov 2014 11:06:26 +0100, Jakub Jelinek ja...@redhat.com wrote: On Tue, Nov 11, 2014 at 01:53:23PM +, Julian Brown wrote: +# TODO. See testsuite/lib/libgomp.exp:libgomp_init. +INTERNAL { + global: + initialize_env; +}; This should not have been part of the

Re: [PATCH] Peg down -(-A) - A transformation

2014-11-12 Thread Richard Biener
On Wed, 12 Nov 2014, Marek Polacek wrote: On Tue, Nov 11, 2014 at 07:45:40PM +0100, Richard Biener wrote: On November 11, 2014 6:49:34 PM CET, Jakub Jelinek ja...@redhat.com wrote: On Tue, Nov 11, 2014 at 06:40:25PM +0100, Marek Polacek wrote: --- gcc/fold-const.c +++ gcc/fold-const.c

Re: [PATCH 1/5] OpenACC 2.0 support for libgomp - OpenACC runtime, NVidia PTX/CUDA plugin (repost)

2014-11-12 Thread Julian Brown
On Wed, 12 Nov 2014 11:06:26 +0100 Jakub Jelinek ja...@redhat.com wrote: On Tue, Nov 11, 2014 at 01:53:23PM +, Julian Brown wrote: A few OpenMP tests fail with the new host_nonshm plugin (with failures of the form libgomp: Trying to update [0x605820..0x605824) object that is not

Re: [PATCH] __builtin_*_overflow builtins (PR c/59708)

2014-11-12 Thread Jakub Jelinek
On Tue, Nov 11, 2014 at 03:12:46PM +0100, Richard Biener wrote: This is mostly fine but the immediate use walking in gimple-fold. Statements do not have their SSA operands updated during (re-)folding so the DCE transform needs to be done elsewhere - in DCE for example, or in SRA. Here is an

Re: [RFC PATCH] Optimize ASAN_CHECK checks

2014-11-12 Thread Yury Gribov
On 11/12/2014 01:34 PM, Jakub Jelinek wrote: On Wed, Nov 12, 2014 at 12:18:31PM +0300, Yury Gribov wrote: --- gcc/sanopt.c.jj 2014-11-11 09:13:36.698280115 +0100 +++ gcc/sanopt.c2014-11-11 18:07:17.913539517 +0100 @@ -49,6 +49,7 @@ along with GCC; see the file COPYING3. #include

Re: [PATCH 1/5] OpenACC 2.0 support for libgomp - OpenACC runtime, NVidia PTX/CUDA plugin (repost)

2014-11-12 Thread Jakub Jelinek
On Wed, Nov 12, 2014 at 11:03:26AM +, Julian Brown wrote: Thanks for the review! I'll work on addressing your comments. Your characterization of the host_nonshm plugin sounds accurate, but OOI, what does the Intel MIC plugin do differently that means it is not subject to the same problem

Re: [PATCH] Extend shift permutations on power of 2 cases

2014-11-12 Thread Evgeny Stupachenko
Committed r217359. However, it appeared that AVX2 uses vperm2i128 for the shift here (instead of palignr for SSSE3/AVX). To handle AVX2 case we need to modify test case: diff --git a/gcc/testsuite/gcc.target/i386/pr52252-atom-1.c b/gcc/testsuite/gcc.target/i386/pr52252-atom-1.c index

Re: [patch] Warn on undefined loop exit

2014-11-12 Thread Richard Biener
On Wed, Nov 5, 2014 at 10:45 PM, Andrew Stubbs a...@codesourcery.com wrote: This patch adds the following warning message: undefined.c:9:20: warning: statement may be undefined in the final loop iteration. [-Waggressive-loop-optimizations] for (i = 0; array[i] i 5; i++)

libgomp: GNU OpenMP Runtime Library (was: [PATCH 1/5] OpenACC 2.0 support for libgomp - OpenACC runtime, NVidia PTX/CUDA plugin (repost))

2014-11-12 Thread Thomas Schwinge
Hi! On Wed, 12 Nov 2014 11:06:26 +0100, Jakub Jelinek ja...@redhat.com wrote: On Tue, Nov 11, 2014 at 01:53:23PM +, Julian Brown wrote: --- a/libgomp/configure.ac +++ b/libgomp/configure.ac @@ -2,6 +2,8 @@ # aclocal -I ../config autoconf autoheader automake AC_PREREQ(2.64)

Re: libgomp: GNU OpenMP Runtime Library (was: [PATCH 1/5] OpenACC 2.0 support for libgomp - OpenACC runtime, NVidia PTX/CUDA plugin (repost))

2014-11-12 Thread Jakub Jelinek
On Wed, Nov 12, 2014 at 12:18:13PM +0100, Thomas Schwinge wrote: On Wed, 12 Nov 2014 11:06:26 +0100, Jakub Jelinek ja...@redhat.com wrote: On Tue, Nov 11, 2014 at 01:53:23PM +, Julian Brown wrote: --- a/libgomp/configure.ac +++ b/libgomp/configure.ac @@ -2,6 +2,8 @@ # aclocal

Re: [PATCH] Optimize UBSAN_NULL checks, add sanopt.c

2014-11-12 Thread Maxim Ostapenko
On 11/12/2014 02:10 PM, Jakub Jelinek wrote: On Wed, Nov 12, 2014 at 12:46:48PM +0400, Maxim Ostapenko wrote: If in the future we e.g. IPA-prop propagate the nonfreeing_call_p property through the callgraph (as in, if the function you call is non-overridable and you know the flag for it, use

[patch] LWG DR 2315. weak_ptr should be movable

2014-11-12 Thread Jonathan Wakely
http://cplusplus.github.io/LWG/lwg-defects.html#2315 Tested x86_64-linux and ppc64-linux, committed to trunk. commit d362afb7d30cbf9b138c162050376f1491a5c6f5 Author: Jonathan Wakely jwak...@redhat.com Date: Mon Feb 10 18:15:08 2014 -0800 LWG DR 2315. weak_ptr should be movable

[PATCH] Fix COND_EXPR handling in genmatch

2014-11-12 Thread Richard Biener
Noticed when implementing some more patterns. Bootstrapped and tested on x86_64-unknown-linux-gnu, applied. Richard. 2014-11-12 Richard Biener rguent...@suse.de * genmatch.c (capture_info::capture_info): Add missing COND_EXPR handling. (capture_info::walk_match): Fix

[PATCH] Make weird half-GENERIC GIMPLE [VEC_]COND_EXPRs work for patterns

2014-11-12 Thread Richard Biener
This hopefully makes [VEC_]COND_EXPR patterns work as expected on GIMPLE. Tested by inspecting generated code for a few toy examples. Bootstrapped on x86_64-unknown-linux-gnu, testing in progress. Richard. 2014-11-12 Richard Biener rguent...@suse.de * genmatch.c (::gen_transform):

Re: [PATCH 10/11][RS6000] Migrate reduction optabs to reduc_..._scal

2014-11-12 Thread Alan Lawrence
So I'm no expert on RS6000 here, but following on from Segher's observation about the change in pattern...so the difference in 'expand' is exactly that, a vsx_reduc_splus_v2df followed by a vec_extract to DF, becomes a vsx_reduc_splus_v2df_scalar - as I expected the combiner to produce by

Re: [patch, v2] Fix libtool.m4 for Darwin = 10.10

2014-11-12 Thread FX
Thanks everyone for the comments and review. Committed as r217366 I cannot push the change to binutils-gdb as I don’t have write access there. Also, Joseph Myers said I needed to commit to newlib/libgloss, but their webpage only mentions read-only CVS. Could someone do it for me? Thanks, FX

Re: [AARCH64, NEON] Any regression testcase for AARCH64 NEON intrinsics in GCC testsuite?

2014-11-12 Thread Christophe Lyon
On 11 November 2014 09:37, Yangfei (Felix) felix.y...@huawei.com wrote: Hello, I have written a testsuite for AArch32 Neon intrinsics, available at https://gitorious.org/arm-neon-tests I am in the process of converting in into DejaGnu form for integration into GCC. My most

Re: The nvptx port [0/11+]

2014-11-12 Thread Richard Biener
On Mon, Oct 20, 2014 at 4:17 PM, Bernd Schmidt ber...@codesourcery.com wrote: This is a patch kit that adds the nvptx port to gcc. It contains preliminary patches to add needed functionality, the target files, and one somewhat optional patch with additional target tools. There'll be more patch

Re: [ARM] Fix CLZ_DEFINED_VALUE_AT_ZERO for vector modes

2014-11-12 Thread Christophe Lyon
On 12 November 2014 04:50, Yangfei (Felix) felix.y...@huawei.com wrote: On Wed, Oct 22, 2014 at 10:49 PM, Michael Collison michael.colli...@linaro.org wrote: Patch that removes extraneous comment attached. The CLZ_DEFINED_VALUE_AT_ZERO macro is hard coded to return 32. For the vector

RE: [PING**3] [PATCH] Fix PR ipa/61190, 2nd edition‏

2014-11-12 Thread Bernd Edlinger
Ping... From: bernd.edlin...@hotmail.de To: gcc-patches@gcc.gnu.org CC: richard.guent...@gmail.com; hubi...@ucw.cz Subject: RE: [PING**2] [PATCH] Fix PR ipa/61190, 2nd edition‏ Date: Mon, 27 Oct 2014 09:23:41 +0100 Ping again... Thanks.

Re: [patch] LWG 2408. SFINAE-friendly common_type/iterator_traits is missing in C++14

2014-11-12 Thread Marc Glisse
On Wed, 12 Nov 2014, Jonathan Wakely wrote: On 12/11/14 07:13 +0100, Marc Glisse wrote: On Tue, 11 Nov 2014, Jonathan Wakely wrote: + templatetypename _Iterator, typename = __void_t Is there a particular reason not to write void directly? I like this form as a hint that the

PATCH GCC5.0: conditionally skip gcc_version in gcc-plugin.h

2014-11-12 Thread Basile Starynkevitch
Hello All, Some plugins (including MELT, see http://gcc-melt.org/ for more) are made of several C++ source files which all include plugin-version.h because they have some C++ code which depends upon the particular version of GCC. So they typically code #if GCCPLUGIN_VERSION = 4009 /*

Re: [ARM] Fix CLZ_DEFINED_VALUE_AT_ZERO for vector modes

2014-11-12 Thread Christophe Lyon
On 12 November 2014 04:50, Yangfei (Felix) felix.y...@huawei.com wrote: On Wed, Oct 22, 2014 at 10:49 PM, Michael Collison michael.colli...@linaro.org wrote: Patch that removes extraneous comment attached. The CLZ_DEFINED_VALUE_AT_ZERO macro is hard coded to return 32. For the vector

[Patch ARM-AArch64/testsuite] More Neon intrinsics executable tests

2014-11-12 Thread Christophe Lyon
Hi, The attached patch adds a few more tests to the recently added advsimd-intrinsics series. OK for trunk? Christophe. 2014-11-12 Christophe Lyon christophe.l...@linaro.org * gcc.target/aarch64/advsimd-intrinsics/vcls.c: New test. * gcc.target/aarch64/advsimd-intrinsics/vcnt.c: New

Re: PATCH GCC5.0: conditionally skip gcc_version in gcc-plugin.h

2014-11-12 Thread Jakub Jelinek
On Wed, Nov 12, 2014 at 01:55:12PM +0100, Basile Starynkevitch wrote: Hello All, Some plugins (including MELT, see http://gcc-melt.org/ for more) are made of several C++ source files which all include plugin-version.h because they have some C++ code which depends upon the particular version

Document __builtin_*_overflow

2014-11-12 Thread Jakub Jelinek
Hi! This patch mentions __builtin_*_overflow in gcc-5/changes.html. Ok for CVS? --- gcc-5/changes.html 27 Oct 2014 18:05:26 - 1.20 +++ gcc-5/changes.html 12 Nov 2014 13:09:01 - @@ -84,7 +84,36 @@ of the standard directive code#include/code and the extension

Re: [PATCH] Extend shift permutations on power of 2 cases

2014-11-12 Thread Evgeny Stupachenko
To avoid misunderstanding. I haven't yet committed this obvious fix. Is it ok? On Wed, Nov 12, 2014 at 2:15 PM, Evgeny Stupachenko evstu...@gmail.com wrote: Committed r217359. However, it appeared that AVX2 uses vperm2i128 for the shift here (instead of palignr for SSSE3/AVX). To handle AVX2

Run pass_expand_omp_ssa after pass_paralellize_loops

2014-11-12 Thread Tom de Vries
[ moved from gcc@ to gcc-patches@ ] [ subject was: Re: [gomp4] openacc kernels directive support ] On 30-09-14 15:37, Tom de Vries wrote: I would be happily accepting splitting the current autopar pass that way, that is, do NEXT_PASS (pass_parallelize_loops) PUSH_INSERT_PASSES_WITHIN

Re: [PATCH] Extend shift permutations on power of 2 cases

2014-11-12 Thread Uros Bizjak
On Wed, Nov 12, 2014 at 2:15 PM, Evgeny Stupachenko evstu...@gmail.com wrote: To avoid misunderstanding. I haven't yet committed this obvious fix. Is it ok? If it is obvious, then it doesn't need an approval. So, OK. Thanks, Uros.

[match-and-simplify] Merge from trunk

2014-11-12 Thread Richard Biener
2014-11-12 Richard Biener rguent...@suse.de Merge from trunk r217261 through r217416. Brings back next merge piece. * match-plusminus.pd: Remove.

Re: PATCH GCC5.0: conditionally skip gcc_version in plugin-version.h

2014-11-12 Thread Basile Starynkevitch
On Wed, Nov 12, 2014 at 02:12:07PM +0100, Jakub Jelinek wrote: On Wed, Nov 12, 2014 at 01:55:12PM +0100, Basile Starynkevitch wrote: Hello All, Some plugins (including MELT, see http://gcc-melt.org/ for more) are made of several C++ source files which all include plugin-version.h

Re: [PATCH 2/4] Add liboffloadmic

2014-11-12 Thread Ilya Verbin
On 06 Nov 19:21, Jakub Jelinek wrote: I'm still seeing various unhandled malloc failures, e.g.: ... would crash if malloc returns NULL. Similarly for realloc: Fixed in the branch: https://gcc.gnu.org/git/?p=gcc.git;a=commit;h=534b201fadf0af05ca509dc3f8e13ef26ee719a2 Also, I see you heavily

Re: PATCH GCC5.0: conditionally skip gcc_version in plugin-version.h

2014-11-12 Thread Jakub Jelinek
On Wed, Nov 12, 2014 at 02:20:22PM +0100, Basile Starynkevitch wrote: Most plugin don't need any configure, because they are installed in a version specific directory (like /usr/lib/gcc/x86_64-linux-gnu/4.9/plugin for example). I don't think it is wise to require plugin to be

[PATCH 1/3] Extended if-conversion

2014-11-12 Thread Yuri Rumyantsev
Hi ALL, I decided to resend all patches related to extended if-conversion. Here is the first patch which contains minimal changes to current if-conversion pass. Note that FLAG_FORCE_VECTORIZE is temporarily set-up to false to not break algorithm. ChangeLog: 2014-11-12 Yuri Rumyantsev

OpenACC GIMPLE_OACC_* -- or not? (was: [gomp4 9/9] OpenACC: Basic support for #pragma acc parallel.)

2014-11-12 Thread Thomas Schwinge
Hi! On Wed, 6 Nov 2013 20:53:00 +0100, I wrote: --- gcc/gimple.def +++ gcc/gimple.def @@ -205,10 +205,16 @@ DEFGSCODE(GIMPLE_NOP, gimple_nop, GSS_BASE) /* IMPORTANT. - Do not rearrange any of the GIMPLE_OMP_* codes. This ordering is - exposed by the range check in

[PATCH 2/3] Extended if-conversion

2014-11-12 Thread Yuri Rumyantsev
Hi All, Here is the second patch related to extended predication. Few comments which explain a main goal of design. 1. I don't want to insert any critical edge splitting since it may lead to less efficient binaries. 2. One special case of extended PHI node predication was introduced when

Re: PATCH GCC5.0: conditionally skip gcc_version in plugin-version.h

2014-11-12 Thread Basile Starynkevitch
On Wed, Nov 12, 2014 at 02:29:13PM +0100, Jakub Jelinek wrote: On Wed, Nov 12, 2014 at 02:20:22PM +0100, Basile Starynkevitch wrote: Most plugin don't need any configure, because they are installed in a version specific directory (like /usr/lib/gcc/x86_64-linux-gnu/4.9/plugin for

Re: libgomp: GNU OpenMP Runtime Library (was: [PATCH 1/5] OpenACC 2.0 support for libgomp - OpenACC runtime, NVidia PTX/CUDA plugin (repost))

2014-11-12 Thread David Malcolm
On Wed, 2014-11-12 at 12:33 +0100, Jakub Jelinek wrote: On Wed, Nov 12, 2014 at 12:18:13PM +0100, Thomas Schwinge wrote: On Wed, 12 Nov 2014 11:06:26 +0100, Jakub Jelinek ja...@redhat.com wrote: On Tue, Nov 11, 2014 at 01:53:23PM +, Julian Brown wrote: --- a/libgomp/configure.ac

[PATCH][18/n] Merge from match-and-simplify, complex stuff

2014-11-12 Thread Richard Biener
This merges simple REALPART_EXPR/IMAGPART_EXPR/COMPLEX_EXPR cancellations. I've adjusted the FRE testcase to disable forwprop (which now does the transform as well) to test that FRE still would do it. Bootstrapped and tested on x86_64-unknown-linux-gnu, applied. Richard. 2014-11-12 Richard

Re: OpenACC GIMPLE_OACC_* -- or not? (was: [gomp4 9/9] OpenACC: Basic support for #pragma acc parallel.)

2014-11-12 Thread Jakub Jelinek
On Wed, Nov 12, 2014 at 02:33:43PM +0100, Thomas Schwinge wrote: Months later, with months' worth of GCC internals experience, I now came to realize that maybe this has not actually been a useful thing to do (and likewise for the GIMPLE_OACC_KERNELS also added later on,

Re: [ARM] Fix CLZ_DEFINED_VALUE_AT_ZERO for vector modes

2014-11-12 Thread Ramana Radhakrishnan
On 12/11/14 13:06, Christophe Lyon wrote: On 12 November 2014 04:50, Yangfei (Felix) felix.y...@huawei.com wrote: On Wed, Oct 22, 2014 at 10:49 PM, Michael Collison michael.colli...@linaro.org wrote: Patch that removes extraneous comment attached. The CLZ_DEFINED_VALUE_AT_ZERO macro is

Re: libgomp: GNU OpenMP Runtime Library (was: [PATCH 1/5] OpenACC 2.0 support for libgomp - OpenACC runtime, NVidia PTX/CUDA plugin (repost))

2014-11-12 Thread Jakub Jelinek
On Wed, Nov 12, 2014 at 08:33:34AM -0500, David Malcolm wrote: Apologies for bikeshedding, and I normally dislike cute names, but renaming it to GNU Offloading and Multi Processing library would allow a backronym of libgomp, thus preserving the existing filenames/SONAME etc. I think

[PATCH] Merge genmatch improvements from branch

2014-11-12 Thread Richard Biener
The following patch merges diagnostic enhancements from the branch (diagnosing stuff in match.pd) and the define_operator_list support. There are no changes in the generated files thus I am only bootstrapping this right now (for -Werror). Thanks, Richard. 2014-11-12 Richard Biener

Re: Small multiplier support in Cortex-M0/1/+

2014-11-12 Thread Christophe Lyon
On 21 October 2014 12:01, Hale Wang hale.w...@arm.com wrote: Hi, Some configurations of the Cortex-M0 and Cortex-M1 come with a high latency multiplier. This patch adds support for such configurations. Small multiplier means using add/sub/shift instructions to replace the mul instruction

[PATCH 3/3] extended if-conversion

2014-11-12 Thread Yuri Rumyantsev
Hi All, Here is the last part of patch which is related to vectorization improvements, namely 1. New sub-phase is added which delete dead predicate computations (such code can prevent loop vectorization since dead computation are not part of bool pattern tree). It is invoked only under

Re: [PATCH x86] Increase PARAM_MAX_COMPLETELY_PEELED_INSNS when branch is costly

2014-11-12 Thread Evgeny Stupachenko
Code size for spec2000 is almost unchanged (many benchmarks have the same binaries). For those that are changed we have the following numbers (200 vs 100, both dynamic build -Ofast -funroll-loops -flto): 183.equake +10% 164.gzip, 173.applu +3,5% 187.facerec, 191.fma3d +2,5% 200.sixstrack +2%

Patch ping: [PATCH] -fsanitize=vptr instrumentation (take 2)

2014-11-12 Thread Jakub Jelinek
Hi! On Tue, Oct 28, 2014 at 01:44:50PM +0100, Jakub Jelinek wrote: On Mon, Oct 27, 2014 at 05:16:05PM +0100, Jakub Jelinek wrote: Here is an updated patch, ok if bootstrap/testing passes (so far just checked with make -j16 -k check RUNTESTFLAGS='--target_board=unix\{-m32,-m64\} asan.exp

Re: [PATCH][dejagnu] truncate absolute file path into relative for dg-output

2014-11-12 Thread Marek Polacek
On Tue, Nov 11, 2014 at 04:51:38PM +, Jiong Wang wrote: currently, only sanitizer tess (asan/tsan/ubsan) and a couple of fortran test will invoke dg-output. pass x86-64 c/c++ regression. pass aarch64-none-linux-gnu c/c++ regression. This patch broke a few tests in ubsan.exp. The

Re: [PATCH 2/n] OpenMP 4.0 offloading infrastructure: LTO streaming

2014-11-12 Thread Kirill Yukhin
Hello Richard, On 12 Nov 10:23, Richard Biener wrote: On Wed, 5 Nov 2014, Ilya Verbin wrote: Yes please. Please make sure that regular LTO bootstrap still works - LTO is only tested lightly in the testsuite. Current main trunk fails to bootstrap w/ `bootstrap-lto': git/gcc/configure

Re: Run pass_expand_omp_ssa after pass_paralellize_loops

2014-11-12 Thread David Malcolm
On Wed, 2014-11-12 at 14:16 +0100, Tom de Vries wrote: I can't speak to the rest of the patch, but one readability nitpick: diff --git a/gcc/passes.def b/gcc/passes.def index 2305d67..dd91718 100644 --- a/gcc/passes.def +++ b/gcc/passes.def @@ -241,6 +241,9 @@ along with GCC; see the file

Re: [PATCH 2/n] OpenMP 4.0 offloading infrastructure: LTO streaming

2014-11-12 Thread Richard Biener
On Wed, 12 Nov 2014, Kirill Yukhin wrote: Hello Richard, On 12 Nov 10:23, Richard Biener wrote: On Wed, 5 Nov 2014, Ilya Verbin wrote: Yes please. Please make sure that regular LTO bootstrap still works - LTO is only tested lightly in the testsuite. Current main trunk fails to

Re: Run pass_expand_omp_ssa after pass_paralellize_loops

2014-11-12 Thread Richard Biener
On Wed, 12 Nov 2014, Tom de Vries wrote: [ moved from gcc@ to gcc-patches@ ] [ subject was: Re: [gomp4] openacc kernels directive support ] On 30-09-14 15:37, Tom de Vries wrote: I would be happily accepting splitting the current autopar pass that way, that is, do NEXT_PASS

Re: [PR c/52952] More precise locations within format strings

2014-11-12 Thread Andreas Schwab
Manuel López-Ibáñez lopeziba...@gmail.com writes: Index: libcpp/line-map.c === --- libcpp/line-map.c (revision 217191) +++ libcpp/line-map.c (working copy) @@ -631,10 +631,54 @@ linemap_position_for_line_and_column (co

Re: [PATCH] Don't perform A - (-B) - A + B when sanitizing

2014-11-12 Thread Marek Polacek
On Wed, Nov 12, 2014 at 10:49:38AM +0100, Richard Biener wrote: TYPE_OVERFLOW_WRAPS returns nonsense for !integral types and thus this check likely restricts the transform to non-floats for example. The macro documentation states given an integral type ... thus it should be sth like

Re: [PATCH] Don't perform A - (-B) - A + B when sanitizing

2014-11-12 Thread Richard Biener
On Wed, 12 Nov 2014, Marek Polacek wrote: On Wed, Nov 12, 2014 at 10:49:38AM +0100, Richard Biener wrote: TYPE_OVERFLOW_WRAPS returns nonsense for !integral types and thus this check likely restricts the transform to non-floats for example. The macro documentation states given an integral

Re: Document __builtin_*_overflow

2014-11-12 Thread Richard Biener
On Wed, Nov 12, 2014 at 2:13 PM, Jakub Jelinek ja...@redhat.com wrote: Hi! This patch mentions __builtin_*_overflow in gcc-5/changes.html. Ok for CVS? Ok. Thanks, Richard. --- gcc-5/changes.html 27 Oct 2014 18:05:26 - 1.20 +++ gcc-5/changes.html 12 Nov 2014 13:09:01 - @@

Re: [PR c/52952] More precise locations within format strings

2014-11-12 Thread Manuel López-Ibáñez
On 12 November 2014 15:24, Andreas Schwab sch...@suse.de wrote: Manuel López-Ibáñez lopeziba...@gmail.com writes: Index: libcpp/line-map.c === --- libcpp/line-map.c (revision 217191) +++ libcpp/line-map.c (working copy) @@

Re: PATCH GCC5.0: conditionally skip gcc_version in gcc-plugin.h

2014-11-12 Thread Richard Biener
On Wed, Nov 12, 2014 at 2:12 PM, Jakub Jelinek ja...@redhat.com wrote: On Wed, Nov 12, 2014 at 01:55:12PM +0100, Basile Starynkevitch wrote: Hello All, Some plugins (including MELT, see http://gcc-melt.org/ for more) are made of several C++ source files which all include plugin-version.h

Re: [PATCH 2/n] OpenMP 4.0 offloading infrastructure: LTO streaming

2014-11-12 Thread Kirill Yukhin
On 12 Nov 15:09, Richard Biener wrote: On Wed, 12 Nov 2014, Kirill Yukhin wrote: Hello Richard, On 12 Nov 10:23, Richard Biener wrote: On Wed, 5 Nov 2014, Ilya Verbin wrote: Yes please. Please make sure that regular LTO bootstrap still works - LTO is only tested lightly in

Re: [PATCH][dejagnu] truncate absolute file path into relative for dg-output

2014-11-12 Thread Jiong Wang
On 12/11/14 14:09, Marek Polacek wrote: ... prune_gcc_output prunes more than just absolute file paths, it prunes even the note: messages. And several ubsan tests have /* { dg-output \[^\n\r]*note: pointer points here\[^\n\r]*(\n|\r\n|\r) } */ but since the note's are already gone, the test

  1   2   3   >