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

On Sun, Nov 8, 2015 at 9:58 PM, Segher Boessenkool wrote: > On Fri, Nov 06, 2015 at 04:00:08PM -0600, Segher Boessenkool wrote: >> This patch stops combine from generating widening muls of anything else >> but registers (immediates, memory, ...). This probably is a reasonable >> tradeoff for all

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

If we have (truncate:M1 (and:M2 (lshiftrt:M2 (x:M2) C) C2)) we can write it instead as (and:M1 (lshiftrt:M1 (truncate:M1 (x:M2)) C) C2) (if that is valid, of course), which has smaller modes for the binary ops, and the truncate can often simplify further (if "x" is a register, f

[PATCH 2/2] rs6000: Extend 20050603-3.c testcase to 64-bit

The testcase used to fail on 64-bit, but it was disabled there. This patch makes it run there, and beefs up the checking of the generated code a bit. Tested on powerpc64-linux *-m32,-m32/-mpowerpc64,-m64). Is this okay for trunk? Segher 2015-11-09 Segher Boessenkool gcc/testsuite/

Re: [PATCH 1/2] s/390: Implement "target" attribute.

On 10/31/2015 06:58 PM, Dominik Vogt wrote: > But what the heck is this "exact power of 2" limitation good for > in the first place? Why is a stack size of 1, 2 or > 36028797018963968 valid, but not 800? Shouldn't the stack size > (and the size of the stack guard) just be multiples of the stack >

Re: [Aarch64] Use vector wide add for mixed-mode adds

This is a followup patch to my earlier patch here: https://gcc.gnu.org/ml/gcc-patches/2015-09/msg00408.html and comments here: https://gcc.gnu.org/ml/gcc-patches/2015-09/msg01300.html This patches fixes the failure in slp-reduc-3.c by adding aarch64 support in check_effective_target_vect_widen

Re: [PATCH] PR fortran/68053 -- Reduce initialization expression to constant value

Dear Steve, Thanks for beavering away on these front-end issues. OK for trunk Paul On 8 November 2015 at 23:37, Steve Kargl wrote: > On Sun, Nov 08, 2015 at 02:35:58PM -0800, Steve Kargl wrote: >> The attached patch has been built and regression tested >> on i386-*-freebsd and x86_64-*-freebsd

[PATCH] Preserve the original program while using graphite.

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 all the cross-basic-block dependencies we

[PATCH] RFC: Enable graphite at -O3 -fprofile_use

Since graphite will not modify the CFG when it does not do any optimization, we would like to propose that graphite's polyhedral optimizer be enabled at -O3 -fprofile-use where, compile time is of lesser concern. gcc/ChangeLog: 2015-11-08 Aditya Kumar Sebastian Pop * gra

Re: OpenACC declare directive updates

Cesar, I only noticed these because I thought I fixed them in the patch you asked me to revert from gomp-4_0-branch. At the very least, please try to be consistent on iterating OMP_LIST_*. Thank you for noticing! Jakub, The attached patch and ChangeLog reflect the updates from your review: ht

Re: Add a combined_fn enum

On 11/07/2015 05:22 AM, Richard Sandiford wrote: I'm working on a patch series that needs to be able to treat built-in functions and internal functions in a similar way. This patch adds a new enum, combined_fn, that combines the two together. It also adds utility functions for seeing which comb

Re: [PATCH] Fix bb-reorder problem with degenerate cond_jump (PR68182)

On Sun, Nov 08, 2015 at 08:21:47PM -0700, Jeff Law wrote: > On 11/08/2015 08:09 PM, Segher Boessenkool wrote: > >The code mistakenly thinks any cond_jump has two successors. This is > >not true if both destinations are the same, as can happen with weird > >patterns as in the PR. > > > >Bootstrappe

Re: [PATCH] Partially fix PR c++/12277 (Warn on dynamic cast with known NULL results)

On Sun, Nov 8, 2015 at 10:30 PM, Patrick Palka wrote: > When either the static type or the target type of a dynamic cast is > marked 'final', and the type marked final is not derived from the other, > then there is no way to declare a class that is derived from both types > (since one of the types

[PATCH] Partially fix PR c++/12277 (Warn on dynamic cast with known NULL results)

When either the static type or the target type of a dynamic cast is marked 'final', and the type marked final is not derived from the other, then there is no way to declare a class that is derived from both types (since one of the types is marked final) so there is no way for such a dynamic cast to

Re: [PATCH] Fix bb-reorder problem with degenerate cond_jump (PR68182)

On 11/08/2015 08:09 PM, Segher Boessenkool wrote: The code mistakenly thinks any cond_jump has two successors. This is not true if both destinations are the same, as can happen with weird patterns as in the PR. Bootstrapped and tested on powerpc64-linux; also tested the simplified test in the P

[PATCH] Remove backedge handling support in tree-ssa-threadupdate.c

With the FSM threader handling all edges with EDGE_DFS_BACK set, we can simplify a variety of bits in tree-ssa-threadupdate.c which is precisely what this patch does. The patch also introduces some checking bits to ensure that backedges do not appear in old-fashioned jump threading paths. Bo

[PATCH] Fix bb-reorder problem with degenerate cond_jump (PR68182)

The code mistakenly thinks any cond_jump has two successors. This is not true if both destinations are the same, as can happen with weird patterns as in the PR. Bootstrapped and tested on powerpc64-linux; also tested the simplified test in the PR on an x86_64-linux cross. Sorry for the breakage.

Re: Re: OpenACC declare directive updates

On 11/08/2015 07:29 AM, James Norris wrote: > The attached patch and ChangeLog reflect the updates from your > review: https://gcc.gnu.org/ml/gcc-patches/2015-11/msg00714.html. > All of the issues pointed out, have been address. > > With the changes made in this patch I think I'm handling the > s

Re: [PATCH], Add power9 support to GCC, patch #7 (direct move enhancements)

This patch adds support for the new direct move instructions (MFVSRLD and MTVSRDD) that simplify moving 128-bit data between GPRs and vector registers. I have built previous versions of this patch with no regressions. At the moment, I have built a non-bootstrap build and ran the PowerPC tests, wi

Re: [PATCH], Add power9 support to GCC, patch #6 (IEEE 128-bit hardware support)

This patch adds support for the IEEE 128-bit hardware instructions that are being added to the PowerPC ISA 3.0 (power9). With this patch, users on power7 and power8 will use the software emulation functions that are committed, but still need some enhancment. On ISA 3.0/power9, they would be able

Re: [PATCH], Add power9 support to GCC, patch #5 (ISA 3.0 fusion)

This patch adds support for new fusion forms in ISA 3.0 (power9). In particular, ISA 3.0 can fuse GPR loads of R0, FPR loads, GPR stores, FPR stores, and some constant generation that ISA 2.07 (power8) could not generate. I have built this patch with a bootstrap build on a power8 little endian sy

Re: [PATCH], Add power9 support to GCC, patch #4

This patch adds support for the EXTSWSLI instruction that is being added to PowerPC ISA 3.0 (power9). I have built this patch (along with patches #2 and #3) with a bootstrap build on a power8 little endian system. There were no regressions in the test suite. Is this patch ok to install in the tr

Re: [PATCH], Add power9 support to GCC, patch #3 (scalar count trailing zeros)

This patch adds support for scalar count trailing zeros instruction that is being added to ISA 3.0 (power9). I have built this patch (along with patches #2 and #4) with a bootstrap build on a power8 little endian system. There were no regressions in the test suite. Is this patch ok to install in

Re: [PATCH], Add power9 support to GCC, patch #2 (add modulus instructions)

This is patch #2. It adds support for the new modulus instructions that are being added in ISA 3.0 (power9): I have built this patch (along with patches #3 and #4) with a bootstrap build on a power8 little endian system. There were no regressions in the test suite. Is this patch ok to install i

Re: [PATCH], Add power9 support to GCC, patch #1 (revised)

This is patch #1 that I revised. I changed -mfusion-toc to -mtoc-fusion. I changed the references to ISA 2.08 to 3.0. I added two new debug switches for code in future patches that in undergoing development and is not ready to be on by default. I have done a bootstrap build on a little endian p

[PATCH] libitm: Support __cxa_free_exception and fix exception handling.

See the added overview comments in eh_cpp.cc. This is still lacking updated docs in the ABI spec, which I can add later. We don't need to change __cxa_tm_cleanup in libsupc++, but don't use the first two arguments of it anymore, which we may want to document too. Thoughts? commit 0a67dc5a13fd17a2

[PATCH v2] libitm: Support sized delete.

This patch supports the sized variants of operator delete. Some change compare to v1. Tested on x86_64-linux. commit df00a283f2e37bd3c69f37783fa81dde7ccf1f94 Author: Torvald Riegel Date: Thu Oct 29 18:52:20 2015 +0100 Support sized delete. This adds transactional clones of the size

State of support for the ISO C++ Transactional Memory TS and remanining work

Hi, I'd like to summarize the current state of support for the TM TS, and outline the current plan for the work that remains to complete the support. I'm aware we're at the end of stage 1, but I'm confident we can still finish this work and hope to include it in GCC 6 because: (1) most of the sup

Re: [PATCH 7/7] Configury changes for obstack optimization

On 11/07/2015 01:11 AM, Alan Modra wrote: Provides defines used to determine whether glibc obstacks are compatible. Generally speaking, 32-bit targets won't need to use obstack.o from libiberty if glibc is used, while 64-bit targets will, until glibc gets the new obstack code. * configu

Re: [PATCH 6/7] Silence obstack.c -Wc++compat warning

On 11/07/2015 01:11 AM, Alan Modra wrote: Fixes warning: request for implicit conversion from ‘void *’ to ‘struct _obstack_chunk *’ not permitted in C++ [-Wc++-compat] I moved the assignment to h->chunk to fix an overlong line, then decided it would be better after the alloc failure check just

Re: [PATCH 5/7] Modify obstack.[hc] to avoid having to include other gnulib files

On 11/07/2015 01:10 AM, Alan Modra wrote: Using the standard gnulib obstack source requires importing quite a lot of other files from gnulib, and requires build changes. If one did want to use gnulib obstack directly, then it would need to go in a sub-directory and after ".../gnulib-tool --impor

Re: [PATCH 4/7] Copy gnulib obstack files

On 11/07/2015 01:09 AM, Alan Modra wrote: This copies obstack.[ch] from gnulib, and updates the docs. The next patch should be applied if someone repeats the import at a later date. include/ PR gdb/17133 * obstack.h: Import current gnulib file. libiberty/ PR gdb/17133

Re: [PATCH 3/7] Update libsanitizer obstack interceptors

On 11/07/2015 01:08 AM, Alan Modra wrote: New obstack uses sensible types, size_t instead of int for length params. Since libsanitizer does not use prototypes from obstack.h to call the real functions, it's necessary to update the libsanitizer function declarations emitted by the INTERCEPTOR mac

Re: [PATCH 2/7] Correct libvtv obstack use

On 11/07/2015 01:08 AM, Alan Modra wrote: Fixes a compile error with both old and new obstacks due to obstack_chunk_free having the wrong signature. Also, setting chunk size and alignment before obstack_init is pointless since they are overwritten. * vtv_malloc.cc (obstack_chunk_free):

Re: [PATCH 1/7] New obstack_next_free is not an lvalue

On 11/07/2015 01:07 AM, Alan Modra wrote: New obstack.h casts obstack_next_free to (void *), resulting in it being a non-lvalue, and warnings on pointer arithmetic. gcc/ * gensupport.c (add_mnemonic_string): Make len param a size_t. (gen_mnemonic_setattr): Make "size" var a size_

Re: Add null identifiers to genmatch

On 11/07/2015 07:31 AM, Pedro Alves wrote: Hi Richard, Passerby comment below. On 11/07/2015 01:21 PM, Richard Sandiford wrote: -/* Lookup the identifier ID. */ +/* Lookup the identifier ID. Allow "null" if ALLOW_NULL. */ id_base * -get_operator (const char *id) +get_operator (const char

Re: [PATCH] PR fortran/68053 -- Reduce initialization expression to constant value

On Sun, Nov 08, 2015 at 02:35:58PM -0800, Steve Kargl wrote: > The attached patch has been built and regression tested > on i386-*-freebsd and x86_64-*-freebsd. If an array > index in an initialization expression is an array element > from an array named constant, the array index needs to be > red

[PATCH] PR fortran/68053 -- Reduce initialization expression to constant value

The attached patch has been built and regression tested on i386-*-freebsd and x86_64-*-freebsd. If an array index in an initialization expression is an array element from an array named constant, the array index needs to be reduced. This patch causes the reduction to occur. OK to commit? 2015-11

[gomp4, committed] Remove superfluous pass_expand_omp_ssa

Hi, This patch removes a superfluous pass_expand_omp_ssa. It used to trigger if the kernels pass group didn't run. But now that the kernels region is split off at the first omp-expand, that isn't necessary anymore. Committed to gomp-4_0-branch. Thanks, - Tom Remove superfluous pass_expand_om

[gomp4, committed] Remove omp-low.h include

Hi, this patch removes a superfluous include in tree-ssa-dom.c. Committed to gomp-4_0-branch. Thanks, - Tom Remove omp-low.h include 2015-11-08 Tom de Vries * tree-ssa-dom.c: Remove omp-low.h include. --- gcc/tree-ssa-dom.c | 1 - 1 file changed, 1 deletion(-) diff --git a/gcc/tree-ssa-

[gomp4, committed] Add dominator_base::may_peel_loop_headers_p

Hi, This patch eliminates the first_pass_instance test in dominator_base::execute, and introduces a virtual function dominator_base::may_peel_loop_headers_p that is tested instead. This allows us to choose may_peel_loop_headers_p == false for pass_dominator_oacc_kernels. Thanks, - Tom Add

[gomp4,committed] Revert "Add pass_dominator::jump_threading_p ()"

Hi, this patch reverts the patch that added pass_dominator::jump_threading_p. We no longer require this functionality for the oacc kernels pass group. Committed to gomp-4_0-branch. Thanks, - Tom Revert "Add pass_dominator::jump_threading_p ()" 2015-11-08 Tom de Vries revert: 2015-10-1

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

On Fri, Nov 06, 2015 at 04:00:08PM -0600, Segher Boessenkool wrote: > This patch stops combine from generating widening muls of anything else > but registers (immediates, memory, ...). This probably is a reasonable > tradeoff for all targets, even those (if any) that have such insns. > > > >I'll

Enable pointer TBAA for LTO

Hi, this patch adds basic TBAA for pointers to LTO. The basic scheme is simple; because TYPE_CANONICAL is not really needed by get_alias_set, we completely drop the caluclation of these (which also saves about 50% canonical type hash searches) and update get_alias_set to not punt on pointers with

RE: [PATCH] PR67518 and PR53852 -- add testcase.

r229967 2015-11-08 Joost VandeVondele * gfortran.dg/PR67518.f90: move from here... * gfortran.dg/graphite/PR67518.f90: to here. * gfortran.dg/PR53852.f90: move from here... * gfortran.dg/graphite/PR53852.f90: to here.

RE: [PATCH] PR67518 and PR53852 -- add testcase.

I see, graphite is optional. Trying to find the dejagnu-ery, I think the obvious thing is to move the tests from gfortran.dg/ to gfortran.dg/graphite/ I'll do that under the obvious rule, unless this get's preapproved before that ...

Re: [patch 0/6] scalar-storage-order merge (2)

> See https://gcc.gnu.org/ml/gcc/2015-06/msg00126.html for the proposal. The branch has been merged into mainline but without C++ support. This means that the scalar_storage_order attribute is supported in C, Objective-C and Ada only for the time being; the branch will remain open to host the C

Re: [PING 2] [PATCH] c++/67942 - diagnose placement new buffer overflow

On 11/06/2015 05:50 AM, Andreas Schwab wrote: I see this failure on m68k: FAIL: g++.dg/warn/Wplacement-new-size.C -std=gnu++11 (test for excess errors) Excess errors: /daten/aranym/gcc/gcc-20151106/gcc/testsuite/g++.dg/warn/Wplacement-new-size.C:189:19: warning: placement new constructing an o

Re: libgo patch committed: Update to Go 1.5 release

Ian Lance Taylor writes: > On Fri, Nov 6, 2015 at 5:01 AM, Rainer Orth > wrote: >> Ian Lance Taylor writes: >> >>> I have committed a patch to libgo to update it to the Go 1.5 release. >>> >>> As usual for libgo updates, the actual patch is too large to attach to >>> this e-mail message. I've

Re: [PATCH] PR67518 and PR53852 -- add testcase.

Hi Paul, I fell for the same issue. You need a more recent isl library then 0.14.2. I installed 0.12.something when I started gfortran hacking and didn't upgrade since. You can get the ISL lib from: ftp://gcc.gnu.org/pub/gcc/infrastructure/ or from your distribution (Fedora 21 is shipping 0.14

Re: [PATCH] PR67518 and PR53852 -- add testcase.

Dear Joost, These cause regressions on my tree: f951: sorry, unimplemented: Graphite loop optimizations cannot be used (ISL is not available)(-fgraphite, -fgraphite-identity, -floop-block, -floop-interchange, -floop-strip-mine, -floop-parallelize-all, -floop-unroll-and-jam, and -ftree-loop-linear)

Re: [Patch, fortran] PR68196 [4.9/5/6 Regression] ICE on function result with procedure pointer component

Committed as revision 229954. Thanks for checking it out. Paul On 7 November 2015 at 16:57, Steve Kargl wrote: > On Wed, Nov 04, 2015 at 04:03:10PM +0100, Paul Richard Thomas wrote: >> >> 2015-11-04 Paul Thomas >> >> PR fortran/68196 >> * class.c (has_finalizer_component): Prevent in

[gomp4, committed] Add pass_dce in oacc kernels pass group

Hi, now that I've moved insertion of the IFN_GOACC_DIM_POS call to parloops ( https://gcc.gnu.org/ml/gcc-patches/2015-11/msg00847.html ) , there's no need anymore for the dead_load_p hack in parloops. This patch adds a pass_dce invocation in the kernels pass group. Committed to gomp-4_0-bran

Re: Combined constructs' clause splitting

On 07/11/15 12:45, Thomas Schwinge wrote: Hi! On Fri, 6 Nov 2015 15:31:23 -0800, Cesar Philippidis wrote: I've applied this patch to gomp-4_0-branch which backports most of my front end changes from trunk. Note that I found a regression while testing, which is also present in trunk. It looks

Re: [OpenACC] internal fn folding

On 08/11/15 15:04, Thomas Schwinge wrote: Hi! On Thu, 5 Nov 2015 10:48:02 -0500, Nathan Sidwell wrote: >On 11/04/15 05:02, Bernd Schmidt wrote: > >On 11/02/2015 02:56 PM, Nathan Sidwell wrote: > >>On 10/28/15 14:40, Nathan Sidwell wrote: > >>>Richard, > >>>this patch adds folding for the ne

[gomp4, committed] Insert IFN_GOACC_DIM_POS for oacc kernels call in parloops

Hi, this patch postpones insertion of the IFN_GOACC_DIM_POS call until we actually need it, in parloops. Committed to gomp-4_0-branch. Thanks, - Tom Insert IFN_GOACC_DIM_POS for oacc kernels call in parloops 2015-11-08 Tom de Vries * omp-low.c (lower_omp_target): Remove insertion of IFN

[gomp4, committed] Simplify get_omp_data_i_param

Hi, this patch simplifies get_omp_data_i_param by using ssa_default_def. Committed to gomp-4_0-branch. Thanks, - Tom Simplify get_omp_data_i_param 2015-11-08 Tom de Vries * tree-parloops.c: Include tree-dfa.h. (get_omp_data_i_param): Simplify using ssa_default_def. --- gcc/tree-parloops

Re: [PATCH 10/9] ENABLE_CHECKING refactoring: remove remaining occurrences

On 11/01/2015 11:34 PM, Bernhard Reutner-Fischer wrote: > Mikhail, > > On November 1, 2015 9:19:19 PM GMT+01:00, Mikhail Maltsev > wrote: >> This patch cleans up remaining bits related to ENABLE_CHECKING. After >> applying >> this patch (on top of part 9) we will no longer have any references to

Re: [OpenACC] declare directive

Jakub, The attached patch and ChangeLog reflect the updates from your review: https://gcc.gnu.org/ml/gcc-patches/2015-11/msg00703.html. The most significant change was the one that you suggestion: On 11/06/2015 02:28 PM, Jakub Jelinek wrote: > Perhaps what would work is stick the exit clauses y

Re: OpenACC declare directive updates

Jakub, The attached patch and ChangeLog reflect the updates from your review: https://gcc.gnu.org/ml/gcc-patches/2015-11/msg00714.html. All of the issues pointed out, have been address. With the changes made in this patch I think I'm handling the situation that you pointed out here correctly: O

Re: RFC: Experimental use of Sphinx for GCC documentation

We've switched the Ada doc to sphinx indeed, so can only be in favor of this change for the rest of GCC. We do have also a texi2rst script which handles 90% of the work, the rest requiring manual adaptations. I can send the script we've used if this can help. Arno

Re: [OpenACC] internal fn folding

Hi! On Thu, 5 Nov 2015 10:48:02 -0500, Nathan Sidwell wrote: > On 11/04/15 05:02, Bernd Schmidt wrote: > > On 11/02/2015 02:56 PM, Nathan Sidwell wrote: > >> On 10/28/15 14:40, Nathan Sidwell wrote: > >>> Richard, > >>> this patch adds folding for the new GOACC_DIM_POS and GOACC_DIM_SIZE > >>> in

RFC: Experimental use of Sphinx for GCC documentation

I've been experimenting with using Sphinx [1] for GCC's documentation. You can see an HTML sample of GCC docs built with Sphinx here: https://dmalcolm.fedorapeople.org/gcc/2015-08-31/rst-experiment/gcc.html (it's a work-in-progress; i.e. there are bugs). Compare with: https://gcc.gnu.org/onlined

Re: [Patch AArch64] Switch constant pools to separate rodata sections.

This is causing a bootstrap comparison failure in gcc/go/gogo.o. Andreas. -- Andreas Schwab, sch...@linux-m68k.org GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5 "And now for something completely different."

Re: [PATCH] Merge from gomp-4_5-branch to trunk

Hi! On Thu, 5 Nov 2015 16:29:36 +0100, Jakub Jelinek wrote: > I've merged the current state of gomp-4_5-branch into trunk, after > bootstrapping/regtesting it on x86_64-linux and i686-linux. Merged trunk r229814 into gomp-4_0-branch in r229947: commit 7a6eb6b7cf9b72cf68a72b29d3bdc33e89dae58b Me

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

Thanks Richard for the comments. Please find the attached patches which now passes bootstrap with x86_64-none-linux-gnu, aarch64-linux-gnu and ppc64-linux-gnu. Regression testing is ongoing. Please find the comments for your questions/suggestions below. > > I notice > > diff --git a/gcc/tree-

Re: [PATCH] Add -fchecking

On November 8, 2015 1:40:57 AM GMT+01:00, Jeff Law wrote: >On 11/07/2015 01:47 PM, Gerald Pfeifer wrote: >> On Tue, 27 Oct 2015, Richard Biener wrote: >>> This adds -fchecking as a way to enable internal consistency checks >>> even in release builds (or disable checking with -fno-checking - up >to

Re: [PATCH PR52272]Be smart when adding iv candidates

On November 8, 2015 3:58:57 AM GMT+01:00, "Bin.Cheng" wrote: >On Fri, Nov 6, 2015 at 9:24 PM, Richard Biener > wrote: >> On Wed, Nov 4, 2015 at 11:18 AM, Bin Cheng wrote: >>> Hi, >>> PR52272 reported a performance regression in spec2006/410.bwaves >once GCC is >>> prevented from representing add

Re: [PATCH] PR fortran/68244 -- Check for NULL() in an array spec.

Hi Steve, That's OK for trunk. Thanks for the patch. Paul On 7 November 2015 at 21:20, Steve Kargl wrote: > NULL() can only appear in a few situations. It cannot > be part of an array spec. See testcase for example. > OK to commit? > > 2015-11-07 Steven G. Kargl > > PR fortran/682