[Patch, vrp] Allow VRP type conversion folding only for widenings upto word mode

2015-11-13 Thread Senthil Kumar Selvaraj
This patch came out of a discussion held in the gcc mailing list (https://gcc.gnu.org/ml/gcc/2015-11/msg00067.html). The patch restricts folding of conditional exprs with lhs previously set by a type conversion to occur only if the source of the type conversion's mode is word mode or smaller. Bo

Re: [PATCH] PR fortran/67803 -- Check CHARACTER array constructor element types

2015-11-13 Thread Jerry DeLisle
On 11/13/2015 01:57 PM, Steve Kargl wrote: > The attached patch fixes an ICE that occurs in arith.c(gfc_arith_concat) > because op1 and op2 have incompatible typespecs. The fix is actually > implemented in array.c(gfc_match_array_constructor) where the types > of the elements in a constructor are

Re: C++ PATCH to integrate c++-delayed-folding branch

2015-11-13 Thread Jason Merrill
On 11/13/2015 11:46 PM, David Edelsohn wrote: This seems to have broken bootstrap on PowerPC. I originally saw it on AIX, but duplicated it on PPC64LE Linux. Was this a clean build? The gtfiles change doesn't propagate to the Makefile unless config.status is regenerated. Jason

Re: C++ PATCH to integrate c++-delayed-folding branch

2015-11-13 Thread David Edelsohn
This seems to have broken bootstrap on PowerPC. I originally saw it on AIX, but duplicated it on PPC64LE Linux. The failure is genoutput seems to be miscompiled by stage1 and produces error messages implying that it did not parse rs6000/vsx.md correctly. I don't know if the miscompilation is gen

Re: [0/7] Type promotion pass and elimination of zext/sext

2015-11-13 Thread Kugan
Attached is the latest version of the patch. With the patches 0001-Add-new-SEXT_EXPR-tree-code.patch, 0002-Add-type-promotion-pass.patch and 0003-Optimize-ZEXT_EXPR-with-tree-vrp.patch. I did bootstrap on ppc64-linux-gnu, aarch64-linux-gnu and x64-64-linux-gnu and regression testing on ppc64-linu

Re: [PATCH] g++.dg/init/vbase1.C and g++.dg/cpp/ucn-1.C

2015-11-13 Thread Mike Stump
On Nov 13, 2015, at 4:33 PM, David Edelsohn wrote: > No RISC architecture can store directly to MEM, so the expected RTL in > g++.dg/init/vbase1.C is wrong. I am adding XFAIL for PowerPC. So, completely non-portable test cases aren’t particularly nice. vbase1.C fails for me as well, and it is

Re: [PATCH] C++ FE: offer suggestions for misspelled field names

2015-11-13 Thread David Malcolm
On Fri, 2015-11-13 at 15:35 -0500, David Malcolm wrote: > This is analogous to: > "[PATCH 2/2] C FE: suggest corrections for misspelled field names" > https://gcc.gnu.org/ml/gcc-patches/2015-10/msg03380.html > but for the C++ frontend. > > OK for trunk if it passes bootstrap®rtest? Oops; i

Re: [PATCH] 21_strings/basic_string/capacity/wchar_t/18654.cc

2015-11-13 Thread Jonathan Wakely
On 13 November 2015 at 23:53, David Edelsohn wrote: > On Fri, Nov 13, 2015 at 1:40 PM, David Edelsohn wrote: >> http://www.cplusplus.com/reference/string/basic_string/reserve/ >> >> "Note that the resulting string capacity may be equal or greater than n." >> >> The current testcase verifies that

[PATCH] g++.dg/init/vbase1.C and g++.dg/cpp/ucn-1.C

2015-11-13 Thread David Edelsohn
No RISC architecture can store directly to MEM, so the expected RTL in g++.dg/init/vbase1.C is wrong. I am adding XFAIL for PowerPC. This probably should be disabled for ARM and other RISC architectures. Dollar sign is not a valid identifier on AIX, so g++.dg/cpp/ucn-1.C will produce an addition

Re: [PATCH] Fix SH/FDPIC bad codegen with ssp enabled

2015-11-13 Thread Kaz Kojima
Rich Felker wrote: > The "chk_guard_add" pattern used for loading the GOT slot address for > __stack_chk_guard hard-codes use of r12 as a fixed GOT register and > thus is not suitable for FDPIC, where the saved initial value of r12 > from function entry is what we need. The patch is OK. Committe

C++ PATCH to integrate c++-delayed-folding branch

2015-11-13 Thread Jason Merrill
And here's the final patch integrating the delayed folding branch. The general idea is to mostly avoid folding until the end of the function, at which point we fold everything as part of genericization. Since many warnings rely on looking at folded trees, we fold the arguments that we pass to

Re: [PATCH], PowerPC IEEE 128-bit patch #8 (libgcc bits, revised)

2015-11-13 Thread Michael Meissner
This patch should address the following IEEE problems with the libgcc emulator with exceptions, etc. Steve is working on patches to libdfp for Decimal conversions. When the PowerPC support for __builtin_cpu_is ("...") and __builtin_cpu_supports ("...") go in, we will add support using IFUNC to au

Re: [PATCH] Preserve the original program while using graphite

2015-11-13 Thread Sebastian Pop
On Fri, Nov 13, 2015 at 3:08 PM, Tom de Vries wrote: > On 11/11/15 23:54, Aditya Kumar wrote: >> >> Earlier, graphite used to translate portions of the original program after >> scop-detection in order to represent the SCoP into polyhedral model. This >> was >> required because each basic block w

Re: [PATCH] 21_strings/basic_string/capacity/wchar_t/18654.cc

2015-11-13 Thread David Edelsohn
On Fri, Nov 13, 2015 at 1:40 PM, David Edelsohn wrote: > http://www.cplusplus.com/reference/string/basic_string/reserve/ > > "Note that the resulting string capacity may be equal or greater than n." > > The current testcase verifies that the capacity is exactly equal to > the length of the string

Re: [PATCH 05/N] Fix memory leaks in graphite

2015-11-13 Thread Sebastian Pop
On Fri, Nov 13, 2015 at 6:15 AM, Richard Biener wrote: > On Fri, Nov 13, 2015 at 12:43 PM, Martin Liška wrote: >> Hello. >> >> Patch survives regbootstrap on x86_64-linux-gnu. >> Ready for trunk? Thanks Martin for the patch. Sebastian > > Ok. > > Richard. > >> Thanks, >> Martin

Re: [Patch,tree-optimization]: Add new path Splitting pass on tree ssa representation

2015-11-13 Thread Jeff Law
On 11/13/2015 01:23 PM, Jeff Law wrote: On 11/13/2015 11:09 AM, Richard Biener wrote: BTW Do we have an API for indicating that new blocks have been added to a loop? If so, then we can likely drop the LOOPS_NEED_FIXUP. Please. It's called add_to_loop or so. Haha, the block duplication cod

Re: [PATCH 2/4][AArch64] Add support for FCCMP

2015-11-13 Thread Evandro Menezes
On 11/13/2015 11:36 AM, Wilco Dijkstra wrote: Evandro Menezes wrote: Hi, Wilco. It looks good to me, but FCMP is quite different from FCCMP on Exynos M1, so it'd be helpful to have distinct types for them. Say, "fcmp{s,d}" and "fccmp{s,d}". Would it be acceptable to add this with this patch or

[PATCH][AArch64] Handle function literal pools according to function size

2015-11-13 Thread Evandro Menezes
[AArch64] Handle function literal pools according to function size gcc/ PR target/63304 * config/aarch64/aarch64-protos.h (aarch64_nopcrelative_literal_loads): Move to module scope in "aarch64.c". (aarch64_may_load_literal_pcrel) New function. * co

Re: [PATCH, x86] Fix posix_memalign declaration in mm_malloc.h

2015-11-13 Thread Marc Glisse
On Fri, 13 Nov 2015, Bernd Schmidt wrote: On 11/13/2015 06:11 PM, Szabolcs Nagy wrote: Followup to https://gcc.gnu.org/ml/gcc-patches/2015-05/msg01433.html The posix_memalign declaration is incompatible with musl libc in C++, because of the exception specification (matters with -std=c++11 -ped

Re: [PATCH, x86] Fix posix_memalign declaration in mm_malloc.h

2015-11-13 Thread Rich Felker
On Fri, Nov 13, 2015 at 09:58:30PM +0100, Bernd Schmidt wrote: > On 11/13/2015 06:11 PM, Szabolcs Nagy wrote: > >Followup to https://gcc.gnu.org/ml/gcc-patches/2015-05/msg01433.html > > > >The posix_memalign declaration is incompatible with musl libc in C++, > >because of the exception specificatio

PATCH to add hash_map::empty

2015-11-13 Thread Jason Merrill
The C++ delayed folding work wants to be able to clear out a hash_map, and it's trivial to refer to the empty() function from the hash_table. Tested x86_64-pc-linux-gnu, applying to trunk. commit 760ba6617d6b7867692aba8c7494e8f08d6109aa Author: Jason Merrill Date: Fri Nov 13 09:38:32 2015 -0

Re: [PATCH applied], Power9 patches #6-8 (IEEE 128-bit h/w, 128-bit direct move, integer mult/add)

2015-11-13 Thread Michael Meissner
Here is the combo patch for patches #6, #7, and #8 that was applied. I redid the code attributes to have a attribute for both fix and float patterns David requested. [gcc] 2015-11-13 Michael Meissner * config/rs6000/constraints.md (we constraint): New constraint for 64-bit po

Re: [PATCH] PR fortran/67803 -- Check CHARACTER array constructor element types

2015-11-13 Thread Steve Kargl
On Fri, Nov 13, 2015 at 01:57:49PM -0800, Steve Kargl wrote: > > Now with a patch attached. > > + gfc_error ("Incompatiable typespec for array element at %L", Yes, I know "Incompatiable" is spelled wrong. -- Steve

Re: [PATCH] PR fortran/67803 -- Check CHARACTER array constructor element types

2015-11-13 Thread Steve Kargl
On Fri, Nov 13, 2015 at 01:57:13PM -0800, Steve Kargl wrote: > The attached patch fixes an ICE that occurs in arith.c(gfc_arith_concat) > because op1 and op2 have incompatible typespecs. The fix is actually > implemented in array.c(gfc_match_array_constructor) where the types > of the elements in

[PATCH] PR fortran/67803 -- Check CHARACTER array constructor element types

2015-11-13 Thread Steve Kargl
The attached patch fixes an ICE that occurs in arith.c(gfc_arith_concat) because op1 and op2 have incompatible typespecs. The fix is actually implemented in array.c(gfc_match_array_constructor) where the types of the elements in a constructor are compared to the typespec that was specified in the

Re: [PATCH 2/4][AArch64] Add support for FCCMP

2015-11-13 Thread Andrew Pinski
On Sat, Nov 14, 2015 at 1:36 AM, Wilco Dijkstra wrote: >> Evandro Menezes wrote: >> Hi, Wilco. >> >> It looks good to me, but FCMP is quite different from FCCMP on Exynos M1, >> so it'd be helpful to have distinct types for them. Say, "fcmp{s,d}" >> and "fccmp{s,d}". Would it be acceptable to add

Re: Automatic openacc loop partitioning

2015-11-13 Thread Nathan Sidwell
On 11/13/15 16:40, Bernd Schmidt wrote: + this_mask = (this_mask & -this_mask); Unnecessary parens. + if (!this_mask && noisy) +warning_at (loop->loc, 0, +"insufficient partitioning available to parallelize loop"); Should this really be an unconditional warning? Is

Re: Automatic openacc loop partitioning

2015-11-13 Thread Bernd Schmidt
+ this_mask = (this_mask & -this_mask); Unnecessary parens. + if (!this_mask && noisy) + warning_at (loop->loc, 0, + "insufficient partitioning available to parallelize loop"); Should this really be an unconditional warning? Isn't sequential execution a val

Re: [PATCH] Preserve the original program while using graphite

2015-11-13 Thread Tom de Vries
On 11/11/15 23:54, Aditya Kumar wrote: Earlier, graphite used to translate portions of the original program after scop-detection in order to represent the SCoP into polyhedral model. This was required because each basic block was represented as independent basic block in the polyhedral model. So

Re: [PATCH, x86] Fix posix_memalign declaration in mm_malloc.h

2015-11-13 Thread Bernd Schmidt
On 11/13/2015 06:11 PM, Szabolcs Nagy wrote: Followup to https://gcc.gnu.org/ml/gcc-patches/2015-05/msg01433.html The posix_memalign declaration is incompatible with musl libc in C++, because of the exception specification (matters with -std=c++11 -pedantic-errors). It also pollutes the namespa

Re: [C PATCH] Use RECORD_OR_UNION_TYPE_P macro

2015-11-13 Thread Bernd Schmidt
On 11/13/2015 07:09 PM, Marek Polacek wrote: As promised & discussed in the thread here: . diffstat shows: c/c-decl.c | 38 +-- c/c-typeck.c | 81 +++---

[2/2] i386 ROP mitigation

2015-11-13 Thread Bernd Schmidt
This adds a new -mmitigate-rop option to the i386 port. The idea is to mitigate against certain forms of attack called "return oriented programming" that some of our security folks are concerned about. The basic idea is that the stack gets smashed and then, just by chaining function returns and

[1/2] i386 ROP mitigation: make more of regrename callable

2015-11-13 Thread Bernd Schmidt
This just creates a new function in regrename.c, which I need for the 2/2 patch that I'll submit in a moment. Bootstrapped and tested on x86_64-linux. Ok? Bernd * regrename.h (regrename_find_superclass): Declare. (regrename_find_superclass): New function, code moved from ... (rename_chains)

Re: [PATCH] PR fortran/68319 -- Implement checks for F2008:C1206

2015-11-13 Thread Steve Kargl
On Fri, Nov 13, 2015 at 08:22:13PM +0100, Paul Richard Thomas wrote: > > I saw the thread on clf. That's a pretty quick turn around! > > OK for trunk. > > Thanks for the patch > Thanks for the review. It was easy once I found gfc_state_stack->previous->state would hold COMP_INTERFACE. -- St

Re: [Patch,tree-optimization]: Add new path Splitting pass on tree ssa representation

2015-11-13 Thread Jeff Law
On 11/13/2015 11:09 AM, Richard Biener wrote: BTW Do we have an API for indicating that new blocks have been added to a loop? If so, then we can likely drop the LOOPS_NEED_FIXUP. Please. It's called add_to_loop or so. Haha, the block duplication code was handling this already. So in theor

Re: [ptx] partitioning optimization

2015-11-13 Thread Bernd Schmidt
On 11/13/2015 09:06 PM, Nathan Sidwell wrote: On 11/11/15 09:19, Bernd Schmidt wrote: On 11/11/2015 02:59 PM, Nathan Sidwell wrote: That's not the problem. How to conditionally enable the test is the difficulty. I suspect porting something concerning accel_compiler from the libgomp testsuite

[PATCH] C++ FE: offer suggestions for misspelled field names

2015-11-13 Thread David Malcolm
This is analogous to: "[PATCH 2/2] C FE: suggest corrections for misspelled field names" https://gcc.gnu.org/ml/gcc-patches/2015-10/msg03380.html but for the C++ frontend. OK for trunk if it passes bootstrap®rtest? gcc/c/ChangeLog: * c-typeck.c (lookup_field_fuzzy): Move determinat

Re: [ptx] partitioning optimization

2015-11-13 Thread Nathan Sidwell
On 11/11/15 09:19, Bernd Schmidt wrote: On 11/11/2015 02:59 PM, Nathan Sidwell wrote: That's not the problem. How to conditionally enable the test is the difficulty. I suspect porting something concerning accel_compiler from the libgomp testsuite is needed? Maybe a check_effective_target_off

Re: [PATCH] PR fortran/68319 -- Implement checks for F2008:C1206

2015-11-13 Thread Paul Richard Thomas
Hi Steve, I saw the thread on clf. That's a pretty quick turn around! OK for trunk. Thanks for the patch Paul On 13 November 2015 at 19:38, Steve Kargl wrote: > The attached patch implements the checks required by > constraint C1206 from Fortran 2008 standard. Built > and regression tested o

Re: [PATCH] Fix memory leaks in tree-ssa-uninit.c

2015-11-13 Thread Jeff Law
On 11/13/2015 09:58 AM, Martin Liška wrote: On 11/13/2015 05:32 PM, Jeff Law wrote: On 11/13/2015 05:50 AM, Martin Liška wrote: Hello. Patch survives regbootstrap on x86_64-linux-gnu. Ready for trunk? Thanks, Martin 0001-Fix-memory-leaks-in-tree-ssa-uninit.c.patch From 54851503251dee7a8

[hsa] Pass kernel launch attributes through a device-specific argument

2015-11-13 Thread Martin Jambor
Hi, this hsa patch is analogous to the for-trunk RFC I have sent a while ago and implements passing HSA-specific grid sizes through a device-specific argument. Committed to the branch. Thanks, Martin 2015-11-13 Martin Jambor include/ * gomp-constants.h (GOMP_TARGET_ARG_FIRST_DEVIC

Re: [PATCH] Fix PR68306

2015-11-13 Thread Uros Bizjak
On Fri, Nov 13, 2015 at 2:15 PM, Uros Bizjak wrote: >> 2015-11-13 Richard Biener >> >> PR tree-optimization/68306 >> * tree-vect-data-refs.c (verify_data_ref_alignment): Move >> loop related checks ... >> (vect_verify_datarefs_alignment): ... here. >> (vect_slp_analyze_and_verify_node_alignmen

[RFC] Device-specific OpenMP target arguments

2015-11-13 Thread Martin Jambor
Hello, the patch below is is an untested trunk-only implementation of device specific GOMP_target_ext arguments, which was proposed to me by Jakub today on IRC. I'm sending this patch to make sure I understood the details well. Nevertheless, I will be commiting a tested and working version to th

[PATCH] 21_strings/basic_string/capacity/wchar_t/18654.cc

2015-11-13 Thread David Edelsohn
http://www.cplusplus.com/reference/string/basic_string/reserve/ "Note that the resulting string capacity may be equal or greater than n." The current testcase verifies that the capacity is exactly equal to the length of the string or reserve value, but the standard allows the capacity to be large

[PATCH] PR fortran/68319 -- Implement checks for F2008:C1206

2015-11-13 Thread Steve Kargl
The attached patch implements the checks required by constraint C1206 from Fortran 2008 standard. Built and regression tested on x86_64-*-freebsd. OK to commmit? 2015-11-13 Steven G. Kargl PR fortran/68319 * decl.c (gfc_match_data, gfc_match_entry): Enforce F2008:C1206.

Re: [gomp4.5] depend nowait support for target

2015-11-13 Thread Ilya Verbin
On Fri, Nov 13, 2015 at 17:41:53 +0100, Jakub Jelinek wrote: > On Fri, Nov 13, 2015 at 07:37:17PM +0300, Ilya Verbin wrote: > > I don't know which interface to implement to maintain compatibility in the > > future. > > Anyway, currently it's impossible that a process will use the same > > libofflo

[gomp4.5] Fix up doacross with dynamic scheduling

2015-11-13 Thread Jakub Jelinek
Hi! Guided scheduling doesn't ensure that all assigned chunks have sizes of multiple of chunk_size, chunk_size for guided scheduling actually means just minimum size of the chunk. That means we can't divide the IV or number of iterations by chunk size though, because the precondition for that is

Re: [Patch,tree-optimization]: Add new path Splitting pass on tree ssa representation

2015-11-13 Thread Richard Biener
On November 13, 2015 5:26:01 PM GMT+01:00, Jeff Law wrote: >On 11/13/2015 03:13 AM, Richard Biener wrote: > >>> diff --git a/gcc/Makefile.in b/gcc/Makefile.in >>> index 34d2356..6613e83 100644 >>> --- a/gcc/Makefile.in >>> +++ b/gcc/Makefile.in >>> @@ -1474,6 +1474,7 @@ OBJS = \ >>> tree-

[C PATCH] Use RECORD_OR_UNION_TYPE_P macro

2015-11-13 Thread Marek Polacek
As promised & discussed in the thread here: . diffstat shows: c/c-decl.c | 38 +-- c/c-typeck.c | 81 +++ 2 files changed, 40 insertions(+), 79 deletions

Re: [PATCH] Fix PR56118

2015-11-13 Thread Alan Lawrence
On 10/11/15 09:34, Richard Biener wrote: The following fixes PR56118 by adjusting the cost model handling of basic-block vectorization to favor the vectorized version in case estimated cost is the same as the estimated cost of the scalar version. This makes sense because we over-estimate the ve

[gomp4.5] Fix up ordered threads simd

2015-11-13 Thread Jakub Jelinek
Hi! This fixes #pragma omp ordered threads simd expansion. In that case we want GOMP_ordered_start () / GOMP_ordered_end () calls around the block, but those calls really should be done just once, while the other stuff in between GOMP_SIMD_ORDERED_{START,END} internal calls should be expanded in a

Re: [PATCH] [ARM/Aarch64] add initial Qualcomm support

2015-11-13 Thread Jim Wilson
Revised patch with the also missing xgene1 part added. Jim 2015-11-13 Jim Wilson * gcc/config/arm/t-aprofile (MULTILIB_MATCHES): Add lines for exynos-m1 and qdf24xx and xgene1 to match -march=armv8-a. Index: gcc/config/arm/t-aprofile =

RE: [PATCH 2/4][AArch64] Add support for FCCMP

2015-11-13 Thread Wilco Dijkstra
> Evandro Menezes wrote: > Hi, Wilco. > > It looks good to me, but FCMP is quite different from FCCMP on Exynos M1, > so it'd be helpful to have distinct types for them. Say, "fcmp{s,d}" > and "fccmp{s,d}". Would it be acceptable to add this with this patch or > later? It would be easy to add f

Re: [PATCH] [ARM/Aarch64] add initial Qualcomm support

2015-11-13 Thread Jim Wilson
On Fri, Nov 13, 2015 at 9:02 AM, Kyrill Tkachov wrote: > Sorry to chime in late on this, but while you're at it could > you please add an xgene1 entry? Yes, I just realized that xgene1 is missing too, I rushed the patch a little too much. I will revise it to add xgene1 also. Jim

[PATCH, x86] Fix posix_memalign declaration in mm_malloc.h

2015-11-13 Thread Szabolcs Nagy
Followup to https://gcc.gnu.org/ml/gcc-patches/2015-05/msg01433.html The posix_memalign declaration is incompatible with musl libc in C++, because of the exception specification (matters with -std=c++11 -pedantic-errors). It also pollutes the namespace and lacks protection against a potential ma

Re: [PATCH] [ARM/Aarch64] add initial Qualcomm support

2015-11-13 Thread Kyrill Tkachov
Hi Jim, On 13/11/15 16:59, Jim Wilson wrote: On Thu, Nov 12, 2015 at 8:15 AM, Ramana Radhakrishnan wrote: This is OK to go in with a follow up to handle this cpu in t-aprofile similar to the other cpus in there - for bonus points please deal with the exynos core at the same time if not already

Re: [PATCH] [ARM/Aarch64] add initial Qualcomm support

2015-11-13 Thread Jim Wilson
On Thu, Nov 12, 2015 at 8:15 AM, Ramana Radhakrishnan wrote: > This is OK to go in with a follow up to handle this cpu in t-aprofile > similar to the other cpus in there - for bonus points please deal with > the exynos core at the same time if not already done. This was tested with a arm-eabi cro

Re: [PATCH] Fix memory leaks in tree-ssa-uninit.c

2015-11-13 Thread Martin Liška
On 11/13/2015 05:32 PM, Jeff Law wrote: > On 11/13/2015 05:50 AM, Martin Liška wrote: >> Hello. >> >> Patch survives regbootstrap on x86_64-linux-gnu. >> Ready for trunk? >> >> Thanks, >> Martin >> >> >> 0001-Fix-memory-leaks-in-tree-ssa-uninit.c.patch >> >> >> From 54851503251dee7a8bd074485db2627

[PATCH] Fix SH/FDPIC bad codegen with ssp enabled

2015-11-13 Thread Rich Felker
The "chk_guard_add" pattern used for loading the GOT slot address for __stack_chk_guard hard-codes use of r12 as a fixed GOT register and thus is not suitable for FDPIC, where the saved initial value of r12 from function entry is what we need. I would actually prefer removing this hack entirely if

Fix openacc testcase

2015-11-13 Thread Nathan Sidwell
I've committed this trunk patch. This test case's loop is not parallelizeable, as it increments a (non-reduction) variable. It thus must be marked 'seq'. nathan 2015-11-13 Nathan Sidwell * testsuite/libgomp.oacc-c-c++-common/collapse-2.c: Sequential loop is sequential. Index: libgomp/te

Re: [PATCH 2/4][AArch64] Add support for FCCMP

2015-11-13 Thread Evandro Menezes
Hi, Wilco. It looks good to me, but FCMP is quite different from FCCMP on Exynos M1, so it'd be helpful to have distinct types for them. Say, "fcmp{s,d}" and "fccmp{s,d}". Would it be acceptable to add this with this patch or later? Thank you. -- Evandro Menezes On 11/13/2015 10:02 AM, Wi

[patch] Define std::experimental::randint etc.

2015-11-13 Thread Jonathan Wakely
Another piece of the Library Fundamentals v2 TS, as specified by https://rawgit.com/cplusplus/fundamentals-ts/v2/fundamentals-ts.html#rand.util.randint Tested powerpc64le-linux, committed to trunk. commit 3a59dc1453e5d273e6943a0928fc7722488ae654 Author: Jonathan Wakely Date: Fri Nov 13 16:26:

Re: [nvptx] complex vector reductions

2015-11-13 Thread Bernd Schmidt
On 11/13/2015 04:11 PM, Nathan Sidwell wrote: I noticed that we weren't supporting reductions of complex type, particularly complex double. I've committed this patch to add support for vector reductions. We split the complex type apart and process each half before sticking it back together agai

Re: [gomp4.5] depend nowait support for target

2015-11-13 Thread Jakub Jelinek
On Fri, Nov 13, 2015 at 07:37:17PM +0300, Ilya Verbin wrote: > I don't know which interface to implement to maintain compatibility in the > future. > Anyway, currently it's impossible that a process will use the same > liboffloadmic > for 2 different offloading paths (say GCC's in exec and ICC's i

libcpp/C FE source range patch committed (r230331).

2015-11-13 Thread David Malcolm
On Mon, 2015-11-02 at 14:14 -0500, David Malcolm wrote: > On Fri, 2015-10-30 at 00:15 -0600, Jeff Law wrote: > > On 10/23/2015 02:41 PM, David Malcolm wrote: > > > As in the previous version of this patch > > > "Implement tree expression tracking in C FE (v2)" > > > the patch now captures ranges

Re: [gomp4.5] depend nowait support for target

2015-11-13 Thread Ilya Verbin
On Fri, Nov 13, 2015 at 16:11:50 +0100, Jakub Jelinek wrote: > On Fri, Nov 13, 2015 at 11:18:41AM +0100, Jakub Jelinek wrote: > > For the offloading case, I actually see a problematic spot, namely that > > GOMP_PLUGIN_target_task_completion could finish too early, and get the > > task_lock before t

Re: [PATCH] Fix memory leaks in tree-ssa-uninit.c

2015-11-13 Thread Jeff Law
On 11/13/2015 05:50 AM, Martin Liška wrote: Hello. Patch survives regbootstrap on x86_64-linux-gnu. Ready for trunk? Thanks, Martin 0001-Fix-memory-leaks-in-tree-ssa-uninit.c.patch From 54851503251dee7a8bd074485db262715e628728 Mon Sep 17 00:00:00 2001 From: marxin Date: Fri, 13 Nov 2015 12

Re: [Patch,tree-optimization]: Add new path Splitting pass on tree ssa representation

2015-11-13 Thread Jeff Law
On 11/13/2015 03:13 AM, Richard Biener wrote: diff --git a/gcc/Makefile.in b/gcc/Makefile.in index 34d2356..6613e83 100644 --- a/gcc/Makefile.in +++ b/gcc/Makefile.in @@ -1474,6 +1474,7 @@ OBJS = \ tree-ssa-loop.o \ tree-ssa-math-opts.o \ tree-ssa-operands.o \ +

Re: TR1 Special Math

2015-11-13 Thread Ed Smith-Rowland
On 11/13/2015 10:32 AM, Jonathan Wakely wrote: On 25 October 2015 at 20:48, Jonathan Wakely wrote: On 25 October 2015 at 17:46, Ed Smith-Rowland <3dw...@verizon.net> wrote: On 10/24/2015 11:38 PM, Jonathan Wakely wrote: On 8 May 2015 at 15:05, Ed Smith-Rowland <3dw...@verizon.net> wrote: On

Re: [PATCH] PR/67682, break SLP groups up if only some elements match

2015-11-13 Thread Alan Lawrence
On 10/11/15 12:51, Richard Biener wrote: >> >> Just noticing this... if we have a vectorization factor of 4 and matches >> is 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0 then this will split into 1, 1, 1, 1 >> and >> 1, 1, 0, 0, 0, ... where we know from the matches that it will again fail? >> >> Thus sho

Re: [PATCH 07/N] Fix memory leaks in haifa-sched

2015-11-13 Thread Jeff Law
On 11/13/2015 07:05 AM, Martin Liška wrote: Hello. Patch can bootstrap on x86_64-linux-pc and regression tests are running. Ready for trunk? Thanks, Martin 0001-Release-memory-in-haifa-sched.patch From 630eba9465d6502b49bac163f985d25aee982e03 Mon Sep 17 00:00:00 2001 From: marxin Date: Fri

[PATCH 4/4][AArch64] Cost CCMP instruction sequences to choose better expand order

2015-11-13 Thread Wilco Dijkstra
This patch adds CCMP selection based on rtx costs. This is based on Jiong's already approved patch https://gcc.gnu.org/ml/gcc-patches/2015-09/msg01434.html with some minor refactoring and the tests updated. OK for commit? ChangeLog: 2015-11-13 Jiong Wang gcc/ * ccmp.c (expand_ccmp_exp

[PATCH 3/4][AArch64] Add CCMP to rtx costs

2015-11-13 Thread Wilco Dijkstra
This patch adds support for rtx costing of CCMP. The cost is the same as int/FP compare, however comparisons with zero get a slightly larger cost. This means we prefer emitting compares with zero so they can be merged with ALU operations. OK for commit? ChangeLog: 2015-11-13 Wilco Dijkstra

Re: Benchmarks of v2 (was Re: [PATCH 0/5] RFC: Overhaul of diagnostics (v2))

2015-11-13 Thread David Malcolm
On Wed, 2015-10-14 at 11:00 +0200, Richard Biener wrote: > On Tue, Oct 13, 2015 at 5:32 PM, David Malcolm wrote: > > On Thu, 2015-09-24 at 10:15 +0200, Richard Biener wrote: > >> On Thu, Sep 24, 2015 at 2:25 AM, David Malcolm wrote: > >> > On Wed, 2015-09-23 at 15:36 +0200, Richard Biener wrote:

[PATCH 2/4][AArch64] Add support for FCCMP

2015-11-13 Thread Wilco Dijkstra
This patch adds support for FCCMP. This is trivial with the new CCMP representation - remove the restriction of FP in ccmp.c and add FCCMP patterns. Add a test to ensure FCCMP/FCCMPE are emitted as expected. OK for commit? ChangeLog: 2015-11-13 Wilco Dijkstra * gcc/ccmp.c (ccmp_candid

[PATCH 1/4][AArch64] Generalize CCMP support

2015-11-13 Thread Wilco Dijkstra
This patch series generalizes CCMP by adding FCCMP support and enabling more optimizations. The first patch simplifies the representation of CCMP patterns by using if-then-else which closely matches real instruction semantics. As a result the existing special CC modes and functions are no longer re

Re: [PATCH 0/2] Levenshtein-based suggestions (v3)

2015-11-13 Thread Marek Polacek
On Fri, Nov 13, 2015 at 04:56:30PM +0100, Jakub Jelinek wrote: > On Fri, Nov 13, 2015 at 04:53:05PM +0100, Marek Polacek wrote: > > On Fri, Nov 13, 2015 at 04:44:21PM +0100, Bernd Schmidt wrote: > > > I don't think so, the three codes are adjacent so we should be generating > > > "(unsigned)(code -

[PATCH v2] [ARM] PR61551 RFC: Improve costs for NEON addressing modes

2015-11-13 Thread Charles Baylis
Hi Following on from previous discussion: https://gcc.gnu.org/ml/gcc-patches/2015-10/msg03464.html and IRC. I'm going to try once more to make the case for fixing the worst problem for GCC 6, pending a rewrite of the address_cost infrastructure for GCC 7. I think the rewrite you're describing is

Re: [PATCH 0/2] Levenshtein-based suggestions (v3)

2015-11-13 Thread Marek Polacek
On Fri, Nov 13, 2015 at 04:44:21PM +0100, Bernd Schmidt wrote: > On 11/13/2015 04:11 PM, Marek Polacek wrote: > >Sorry, I changed my mind. Since QUAL_UNION_TYPE is Ada-only thing and > >we check (RECORD_TYPE || UNION_TYPE) in a lot of places in the C FE, > >introducing RECORD_OR_UNION_TYPE_P every

Re: [PATCH 1/2] simplify-rtx: Simplify trunc of and of shiftrt

2015-11-13 Thread Uros Bizjak
On Fri, Nov 13, 2015 at 3:36 PM, Segher Boessenkool wrote: > Hi! > > On Fri, Nov 13, 2015 at 11:02:55AM +0100, Uros Bizjak wrote: >> on alpha-linux-gnu. >> >> The difference starts in combine, where before the patch, we were able >> to combine insns: >> >> (insn 7 6 8 2 (set (reg:DI 82) >>

Re: [PATCH 0/2] Levenshtein-based suggestions (v3)

2015-11-13 Thread Jakub Jelinek
On Fri, Nov 13, 2015 at 04:53:05PM +0100, Marek Polacek wrote: > On Fri, Nov 13, 2015 at 04:44:21PM +0100, Bernd Schmidt wrote: > > On 11/13/2015 04:11 PM, Marek Polacek wrote: > > >Sorry, I changed my mind. Since QUAL_UNION_TYPE is Ada-only thing and > > >we check (RECORD_TYPE || UNION_TYPE) in a

Re: [PATCH 0/2] Levenshtein-based suggestions (v3)

2015-11-13 Thread Bernd Schmidt
On 11/13/2015 04:11 PM, Marek Polacek wrote: Sorry, I changed my mind. Since QUAL_UNION_TYPE is Ada-only thing and we check (RECORD_TYPE || UNION_TYPE) in a lot of places in the C FE, introducing RECORD_OR_UNION_TYPE_P everywhere would unnecessarily slow things down. I don't think so, the thre

Re: TR1 Special Math

2015-11-13 Thread Jonathan Wakely
On 25 October 2015 at 20:48, Jonathan Wakely wrote: > On 25 October 2015 at 17:46, Ed Smith-Rowland <3dw...@verizon.net> wrote: >> On 10/24/2015 11:38 PM, Jonathan Wakely wrote: >>> >>> On 8 May 2015 at 15:05, Ed Smith-Rowland <3dw...@verizon.net> wrote: On 05/07/2015 12:06 PM, Jonathan

Re: [Bulk] [OpenACC 0/7] host_data construct

2015-11-13 Thread Jakub Jelinek
On Mon, Nov 02, 2015 at 06:33:39PM +, Julian Brown wrote: > Firstly, on trunk at least, use_device_ptr variables are restricted to > pointer or array types: that restriction doesn't exist in OpenACC, nor > actually could I find it in the OpenMP 4.1 document (my guess is the > standards are supp

Re: [patch] update locale support fro FreeBSD

2015-11-13 Thread Jonathan Wakely
On 12/11/15 23:32 +0100, Andreas Tobler wrote: All, with the work from Jennifer Yao and John Marino we can now update the locale support on FreeBSD to the level of DragonFly. Results of this work can be found on the results list. Here my small addendum to make it work on FreeBSD. Is this ok

Re: [libstdc++ testsuite][patch] many locale tests only SUPPORTED on linux, start making these portable

2015-11-13 Thread Jonathan Wakely
On 11/11/15 22:12 +, Jonathan Wakely wrote: On 11/11/15 22:53 +0100, John Marino wrote: On 11/11/2015 10:51 PM, Jonathan Wakely wrote: On 16/10/15 11:21 +0200, John Marino wrote: The only significant comment was: e.g. `"de_DE" => "de_DE@ISO8859-15` should be `e.g. "de_DE" => "de_DE.ISO885

Re: [patch] Implement std::experimental::source_location (sort of)

2015-11-13 Thread Martin Sebor
On 11/13/2015 08:21 AM, Martin Sebor wrote: On 11/13/2015 05:56 AM, Jonathan Wakely wrote: This is a non-conforming implementation of https://rawgit.com/cplusplus/fundamentals-ts/v2/fundamentals-ts.html#reflection.src_loc It doesn't provide any column numbers, and fails to meet the requiremen

Re: [AArch64][TLSGD][2/2] Implement TLS GD traditional for tiny code model

2015-11-13 Thread Jiong Wang
On 05/11/15 14:57, Jiong Wang wrote: Marcus Shawcroft writes: +#ifdef HAVE_AS_TINY_TLSGD_RELOCS + return SYMBOL_TINY_TLSGD; +#else + return SYMBOL_SMALL_TLSGD; +#endif Rather than introduce blocks of conditional compilation it is better to gate different behaviours with a test on a constant

Re: [patch] Implement std::experimental::source_location (sort of)

2015-11-13 Thread Martin Sebor
On 11/13/2015 05:56 AM, Jonathan Wakely wrote: This is a non-conforming implementation of https://rawgit.com/cplusplus/fundamentals-ts/v2/fundamentals-ts.html#reflection.src_loc It doesn't provide any column numbers, and fails to meet the requirement that using current() in a NSDMI will refer t

Re: [patch] fix regrename pass to ensure renamings produce valid insns

2015-11-13 Thread Bernd Schmidt
On 11/06/2015 08:51 PM, Jeff Law wrote: I think the change is fine for the trunk, though I'm still curious about how the code as-is resulted in a comparison failure. I've been retesting and I think this was a case of something else triggering an random failure - the patch made it go away on th

Re: [gomp4.5] depend nowait support for target

2015-11-13 Thread Jakub Jelinek
On Fri, Nov 13, 2015 at 11:18:41AM +0100, Jakub Jelinek wrote: > For the offloading case, I actually see a problematic spot, namely that > GOMP_PLUGIN_target_task_completion could finish too early, and get the > task_lock before the thread that run the gomp_target_task_fn doing map_vars > + async_r

[nvptx] complex vector reductions

2015-11-13 Thread Nathan Sidwell
I noticed that we weren't supporting reductions of complex type, particularly complex double. I've committed this patch to add support for vector reductions. We split the complex type apart and process each half before sticking it back together again. As it happens only 32-bit shuffles exist

Re: [PATCH 0/2] Levenshtein-based suggestions (v3)

2015-11-13 Thread Marek Polacek
On Fri, Nov 13, 2015 at 07:16:08AM -0500, David Malcolm wrote: > > > + && (TREE_CODE (TREE_TYPE (field)) == RECORD_TYPE > > > + || TREE_CODE (TREE_TYPE (field)) == UNION_TYPE)) > > > > This is RECORD_OR_UNION_TYPE_P (TREE_TYPE (field)). > > I based this code on the code in lookup_field ri

Re: [PATCH][combine][RFC] Don't transform sign and zero extends inside mults

2015-11-13 Thread Segher Boessenkool
On Fri, Nov 13, 2015 at 11:17:38AM +0100, Uros Bizjak wrote: > IMO, this is such a small code-size regression, that it should not > block the patch submission. In that case: Kyrill, the patch is okay for trunk. Thanks! > It would be nice to know, what causes the > increase (in case, this is some

Re: [PATCH] Enable libstdc++ numeric conversions on Cygwin

2015-11-13 Thread Jonathan Wakely
On 12/11/15 13:39 +, Jonathan Wakely wrote: On 12/11/15 11:40 +, Jonathan Wakely wrote: On 18/09/15 12:01 -0400, Jennifer Yao wrote: Forgot to include the patch. On Fri, Sep 18, 2015 at 11:17 AM, Jennifer Yao wrote: A number of functions in libstdc++ are guarded by the _GLIBCXX_USE_C

Re: [PATCH] Remove first_pass_instance from pass_vrp

2015-11-13 Thread Tom de Vries
On 13/11/15 15:12, David Malcolm wrote: On Fri, 2015-11-13 at 14:57 +0100, Tom de Vries wrote: 2015-11-13 Tom de Vries * gdbhooks.py (class PassNames): Handle extra arg NEXT_PASS argument. * gen-pass-instances.awk (handle_line): Same. * pass_manager.h (class pass_mana

Re: [PATCH 1/2] simplify-rtx: Simplify trunc of and of shiftrt

2015-11-13 Thread Segher Boessenkool
Hi! On Fri, Nov 13, 2015 at 11:02:55AM +0100, Uros Bizjak wrote: > on alpha-linux-gnu. > > The difference starts in combine, where before the patch, we were able > to combine insns: > > (insn 7 6 8 2 (set (reg:DI 82) > (lshiftrt:DI (reg:DI 81 [ x ]) > (const_int 16 [0x10])))

Re: Short-cut generation of simple built-in functions

2015-11-13 Thread Richard Sandiford
Richard Biener writes: > On Tue, Nov 10, 2015 at 10:24 PM, Richard Sandiford > wrote: >> Richard Biener writes: >>> On Sat, Nov 7, 2015 at 2:31 PM, Richard Sandiford >>> wrote: This patch short-circuits the builtins.c expansion code for a particular gimple call if: - the fun

Automatic openacc loop partitioning

2015-11-13 Thread Nathan Sidwell
Jakub, this patch applies automatic loop partitioning to loops that are marked 'auto' and 'independent'. 'independent' is implicit inside a parallel region. We were unnecessarily still emitting a sorry for the auto, seq and independent clauses in omp lowering. The main event is in the target

Re: [PATCH] Remove first_pass_instance from pass_vrp

2015-11-13 Thread David Malcolm
On Fri, 2015-11-13 at 14:57 +0100, Tom de Vries wrote: > On 13/11/15 11:35, Richard Biener wrote: > > On Thu, Nov 12, 2015 at 4:33 PM, David Malcolm wrote: > >> On Thu, 2015-11-12 at 15:06 +0100, Richard Biener wrote: > >>> On Thu, Nov 12, 2015 at 3:04 PM, Richard Biener > >>> wrote: > On Th

  1   2   >