Re: [PATCH 1/2] Allow REG_EQUAL for ZERO_EXTRACT

> On Jun 30, 2015, at 6:54 AM, Kugan wrote: > > > On 29/06/15 21:56, Maxim Kuvyrkov wrote: >>> On Jun 28, 2015, at 2:28 PM, Kugan >>> wrote: >>> >>> This patch allows setting REG_EQUAL for ZERO_EXTRACT and handle that in >>> cse (where the src for the ZERO_EXTRACT needs to be calculated) >>>

Re: [AArch64] Fall back to -fPIC if no support of -fpic relocation modifer in assembler

Jiong Wang writes: > gcc/ > * configure.ac: Add check for aarch64 assembler -fpic relocation > modifier support. > * configure: Regenerate. > * config.in: Regenerate. > * config/aarch64/aarch64.c (initialize_aarch64_code_model): Fall back to > -fPIC if not support of -fpic relocation

Re: [Patch, MIPS] Enable fp-contract on MIPS and update -mfused-madd

On Mon, Jun 29, 2015 at 6:08 PM, Maciej W. Rozycki wrote: > Richard, please have a look at my question below in a reference to your > previous statement. > > On Thu, 18 Jun 2015, Steve Ellcey wrote: > >> OK, I checked in the prequel patch and here is a new copy of the >> original patch based off o

Re: [PATCH] Move X - (X / Y) * Y folding to match.pd

On Tue, 30 Jun 2015, Marc Glisse wrote: > On Mon, 29 Jun 2015, Marek Polacek wrote: > > > On Mon, Jun 29, 2015 at 09:36:59AM +0200, Richard Biener wrote: > > > > Anything wrong with this? > > > > > > > > +/* X - (X / Y) * Y is the same as X % Y. */ > > > > +(simplify > > > > + (minus (convert?

Re: [RFA] Factor conversion out of COND_EXPR using match.pd pattern

On Mon, Jun 29, 2015 at 7:51 PM, Jeff Law wrote: > On 06/01/2015 04:55 AM, Richard Biener wrote: >> >> On Sat, May 30, 2015 at 11:11 AM, Marc Glisse >> wrote: >>> >>> (only commenting on the technique, not on the transformation itself) >>> +(simplify + (cond @0 (convert @1) INTEGER_CST

Re: [PATCH GCC][refacor]Manage allocation of struct iv in obstack.

On Tue, Jun 30, 2015 at 4:31 AM, Bin.Cheng wrote: > On Sat, Jun 27, 2015 at 5:13 AM, Jeff Law wrote: >> On 06/26/2015 03:02 AM, Bin Cheng wrote: >>> >>> Hi, >>> GCC avoids multi-pointers/dangling-pointers of struct iv by allocating >>> multiple copies of the structure. This patch is an obvious f

Re: [PATCH] Discard Scops for which entry==exit

On Tue, Jun 30, 2015 at 8:11 AM, Tobias Grosser wrote: > On 06/30/2015 02:09 AM, Sebastian Pop wrote: >> >> On Mon, Jun 29, 2015 at 3:04 PM, Aditya Kumar wrote: >>> >>> In this patch we discard the scops where entry and exit are the same BB. >>> This is an effort to remove graphite-scop-detection

Re: [PATCH] Graphite cannot handle return stmt

On Tue, Jun 30, 2015 at 8:12 AM, Tobias Grosser wrote: > On 06/30/2015 02:12 AM, Sebastian Pop wrote: >> >> On Mon, Jun 29, 2015 at 3:58 PM, Aditya Kumar wrote: >>> >>> No regressions. >>> >>> 2015-06-29 Aditya Kumar >>> Sebastian Pop >>> >>> * graphite-scop-detection.c

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

All: The below patch added a new path Splitting optimization pass on SSA representation. The Path Splitting optimization Pass moves the join block of if-then-else same as loop latch to its predecessors and get merged with the predecessors Preserving the SSA representation. The patch is tested f

[PATCH] Improve VRP for sign-changed/widened compares

This improves VRP for cases of x = (T) y; if (y !=/== CST) { ... use of X to insert asserts for X similar to how we handle x = y +- CST. Bootstrapped and tested on x86_64-unknown-linux-gnu, applied. Richard. 2015-06-30 Richard Biener * tree-vrp.c (register_edge_asser

Re: [AArch64] Fall back to -fPIC if no support of -fpic relocation modifer in assembler

Andreas Schwab writes: > Jiong Wang writes: > >> gcc/ >> * configure.ac: Add check for aarch64 assembler -fpic relocation >> modifier support. >> * configure: Regenerate. >> * config.in: Regenerate. >> * config/aarch64/aarch64.c (initialize_aarch64_code_model): Fall back to >> -fPIC

[PATCH] Move ~X | X -> -1 folding

This moves a simple optimization. Here it's plain to see how :c removes the need to duplicate code to handle commutativity. I put some more converts into the pattern, but then it's turned out that I also need the tree_nop_conversion_p (otherwise we'd regress binop-notor2.c that uses booleans). I

Re: [PATCH] Move ~X | X -> -1 folding

On Tue, 30 Jun 2015, Marek Polacek wrote: > This moves a simple optimization. Here it's plain to see how :c > removes the need to duplicate code to handle commutativity. > > I put some more converts into the pattern, but then it's turned > out that I also need the tree_nop_conversion_p (otherwis

Re: [PATCH, PR66652] Use max_loop_iterations in transform_to_exit_first_loop_alt

On 29/06/15 19:58, Jeff Law wrote: On 06/29/2015 08:24 AM, Tom de Vries wrote: Hi, this patch fixes PR66652. It uses max_loop_iterations in transform_to_exit_first_loop_alt to ensure that the new loop bound nit + 1 doesn't overflow. Bootstrapped and reg-tested on x86_64. OK for trunk? Thank

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

> I notice the way gcc_assert() is defined in system.h now, the test won't > disappear even when runtime checks are disabled, though you might still > adjust it to avoid any programmer confusion. It will disappear at run time, see the definition: /* Include EXPR, so that unused variable warnings

Re: [PATCH] Move ~X | X -> -1 folding

On Tue, 30 Jun 2015, Marek Polacek wrote: This moves a simple optimization. Here it's plain to see how :c removes the need to duplicate code to handle commutativity. Note that the same transformation would work for plus and xor. I put some more converts into the pattern, but then it's turne

Re: [AArch64][TLSLE][3/N] Add UNSPEC_TLSLE

Hi Jiong, It seems to me that you committed patches 1/N, 2/N and 3/N as only 1 commit (rev 225121). Am I right? On 26 June 2015 at 16:39, Marcus Shawcroft wrote: > On 20 May 2015 at 12:21, Jiong Wang wrote: >> >> Add new unspec name UNSPEC_TLSLE, use it for all tlsle pattern. >> >> ok for tru

Re: [AArch64][TLSLE][3/N] Add UNSPEC_TLSLE

Christophe Lyon writes: > Hi Jiong, > > It seems to me that you committed patches 1/N, 2/N and 3/N as only 1 > commit (rev 225121). > > Am I right? Yes, 1/2/3 are quite tiny, and seperated for easy review. While I committed them as one patch. > > > On 26 June 2015 at 16:39, Marcus Shawcroft wro

Re: [PATCH] Move ~X | X -> -1 folding

On Tue, 30 Jun 2015, Marc Glisse wrote: > On Tue, 30 Jun 2015, Marek Polacek wrote: > > > This moves a simple optimization. Here it's plain to see how :c > > removes the need to duplicate code to handle commutativity. > > Note that the same transformation would work for plus and xor. > > > I pu

Re: [AArch64][TLSLE][3/N] Add UNSPEC_TLSLE

On 30 June 2015 at 11:12, Jiong Wang wrote: > > Christophe Lyon writes: > >> Hi Jiong, >> >> It seems to me that you committed patches 1/N, 2/N and 3/N as only 1 >> commit (rev 225121). >> >> Am I right? > > Yes, 1/2/3 are quite tiny, and seperated for easy review. While I > committed them as one

Re: [PATCH 2/2] Add leon3r0 and leon3r0v7 CPU targets

> The UT699 is a leon3r0 system which does not support CASA. However, to > enable the errata fixes for UT699 with -mfix-ut699 requires the CPU > target to be leon3. -mfix-ut699 itself is independent of the processor and doesn't require leon3. > The instruction timing also differs between leon and

Re: [AArch64][TLSLE][3/N] Add UNSPEC_TLSLE

Christophe Lyon writes: > On 30 June 2015 at 11:12, Jiong Wang wrote: >> >> Christophe Lyon writes: >> >>> Hi Jiong, >>> >>> It seems to me that you committed patches 1/N, 2/N and 3/N as only 1 >>> commit (rev 225121). >>> >>> Am I right? >> >> Yes, 1/2/3 are quite tiny, and seperated for easy r

Re: fix PR46029: reimplement if conversion of loads and stores

Abe Skolnik wrote: In tree-if-conv.c:[…]> if it doesn't trap, but has_non_addressable_refs, can't we use ifcvt_can_use_mask_load_store there too? if an access could trap, but is addressable,> can't we use the scratchpad technique to get round the trapping problem? That`s how we deal with loa

Re: [PATCH] Make muser-mode the default for LEON3

> For all LEON3 (with CASA support) the CASA instruction works in > supervisor-mode regardless of ASI used. In user-mode CASA only works > with the user-mode ASI. So CASA with user-mode ASI works for both > user-mode and supervisor-mode. By having user-mode ASI as default, one > would not need to c

[PATCH][8/n] Remove GENERIC stmt combining from SCCVN

The following moves some bitwise patterns from the match-and-simplify branch, extending them with proper conditional converts and removing the corresponding patterns from fold-const.c Bootstrap & regtest in progress on x86_64-unknown-linux-gnu. Richard. 2015-06-30 Richard Biener * f

Re: [PATCH, 2/2][PR66642] Add empty loop exit block in transform_to_exit_first_loop_alt

On 25/06/15 09:43, Tom de Vries wrote: Hi, I ran into a failure with parloops for reduction loop testcase libgomp/testsuite/libgomp.c/parloops-exit-first-loop-alt-3.c. When we exercise the low iteration count loop, the test-case fails. To understand the problem, let's first look at what happen

[patch] Fix ICE during SCC hashing in LTO mode

Hi, the attached Ada testcase triggers an internal error in LTO mode: eric@polaris:~/build/gcc/native> gcc/gnat1 -quiet lto17.adb -flto +===GNAT BUG DETECTED==+ | 6.0.0 20150629 (experimental) [trunk revision 225111] (x86_64-suse-linux) GCC err

[gomp4, committed] Insert new exit block only when needed in transform_to_exit_first_loop_alt

Hi, while testing the (now committed) fix for PR66642 (Add empty loop exit block in transform_to_exit_first_loop_alt) on the gomp-4_0-branch I ran into an ICE for the kernels-reduction.c testcase. For oacc kernels, we don't generate a low iteration count loop, so the exit block of the loop a

Re: [PATCH] Move ~X | X -> -1 folding

On June 30, 2015 10:46:21 AM GMT+02:00, Marek Polacek wrote: >--- gcc/testsuite/gcc.dg/fold-ior-2.c >+++ gcc/testsuite/gcc.dg/fold-ior-2.c >@@ -0,0 +1,47 @@ >+/* { dg-do compile } */ >+/* { dg-options "-O -fdump-tree-cddce1" } */ >+ >+int >+fn1 (int x) >+{ >+ return ~x | x; >+} >+ >+int >+fn2 (

Re: [PATCH] Move ~X | X -> -1 folding

On Tue, Jun 30, 2015 at 11:08:35AM +0200, Marc Glisse wrote: > On Tue, 30 Jun 2015, Marek Polacek wrote: > > >This moves a simple optimization. Here it's plain to see how :c > >removes the need to duplicate code to handle commutativity. > > Note that the same transformation would work for plus a

Re: [PATCH][AArch64][PR 66136] rewrite geniterators.sh in awk

On 02/06/15 18:01, Szabolcs Nagy wrote: > On 01/06/15 13:55, Marcus Shawcroft wrote: >> On 18 May 2015 at 15:57, Szabolcs Nagy wrote: >>> Rewrote the generator script in awk, to avoid dealing with >>> sed portability issues. >>> >>> gcc/Changelog: >>> >>> 2015-05-18 Szabolcs Nagy >>> >>>

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

On June 30, 2015 10:16:01 AM GMT+02:00, Ajit Kumar Agarwal wrote: >All: > >The below patch added a new path Splitting optimization pass on SSA >representation. The Path Splitting optimization >Pass moves the join block of if-then-else same as loop latch to its >predecessors and get merged with th

Re: [PATCH] Move ~X | X -> -1 folding

On Tue, 30 Jun 2015, Marek Polacek wrote: > On Tue, Jun 30, 2015 at 11:08:35AM +0200, Marc Glisse wrote: > > On Tue, 30 Jun 2015, Marek Polacek wrote: > > > > >This moves a simple optimization. Here it's plain to see how :c > > >removes the need to duplicate code to handle commutativity. > > >

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

-Original Message- From: Bernhard Reutner-Fischer [mailto:rep.dot@gmail.com] Sent: Tuesday, June 30, 2015 3:57 PM To: Ajit Kumar Agarwal; l...@redhat.com; GCC Patches Cc: Vinod Kathail; Shail Aditya Gupta; Vidhumouli Hunsigida; Nagaraju Mekala Subject: Re: [Patch,tree-optimization]:

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

On June 30, 2015 12:38:13 PM GMT+02:00, Ajit Kumar Agarwal wrote: >>6. Added 2 tests. >>a) compilation check tests. >> b) execution tests. > >>>The 2 tests seem to be identical, so why do you have both? >>>Also, please remove cleanup-tree-dump, this is now done >automatically. > >The test

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

On 2015/6/30 05:06 PM, Eric Botcazou wrote: >> I notice the way gcc_assert() is defined in system.h now, the test won't >> disappear even when runtime checks are disabled, though you might still >> adjust it to avoid any programmer confusion. > > It will disappear at run time, see the definition:

[committed] Add parloops-exit-first-loop-alt-{5,6,7}.c

Hi, This patch adds variants of parloops-exit-first-loop-alt.c, to cover all combinations of loop bound signed/unsigned and loop counter signed/unsigned. Committed to trunk. Thanks, - Tom Add parloops-exit-first-loop-alt-{5,6,7}.c 2015-06-29 Tom de Vries * gcc.dg/parloops-exit-first-loo

Re: [PATCH] Move ~X | X -> -1 folding

On Tue, Jun 30, 2015 at 12:22:57PM +0200, Bernhard Reutner-Fischer wrote: > >+unsigned int > >+fn3 (unsigned int x) > >+{ > >+ return ~x | x; > >+} > >+ > >+unsigned int > >+fn4 (unsigned int x) > >+{ > >+ return ~x | x; > >+} > > What's the difference between fn3 and fn4? Oops, fixed. 2015-06

Re: [PATCH 2/2] Add leon3r0 and leon3r0v7 CPU targets

> Yes, there is only one optimization trick for the scheduler that requires > leon3, but it doesn't affect correctness. We could easily change that, i.e. > enable the trick for leon too if -mfix-ut699 is passed. Like this, applied on all branches. 2015-06-30 Eric Botcazou * config/s

Re: [patch] Fix ICE during SCC hashing in LTO mode

On Tue, Jun 30, 2015 at 12:10 PM, Eric Botcazou wrote: > Hi, > > the attached Ada testcase triggers an internal error in LTO mode: > > eric@polaris:~/build/gcc/native> gcc/gnat1 -quiet lto17.adb -flto > +===GNAT BUG DETECTED==+ > | 6.0.0 20150629

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

On Tue, Jun 30, 2015 at 10:16 AM, Ajit Kumar Agarwal wrote: > All: > > The below patch added a new path Splitting optimization pass on SSA > representation. The Path Splitting optimization > Pass moves the join block of if-then-else same as loop latch to its > predecessors and get merged with th

Re: [PATCH] Move ~X | X -> -1 folding

On Tue, 30 Jun 2015, Marek Polacek wrote: I put some more converts into the pattern, but then it's turned out that I also need the tree_nop_conversion_p (otherwise we'd regress binop-notor2.c that uses booleans). I don't really see why removing tree_nop_conversion_p would regress anything (tho

[PING][patch] Run testsuite/libgomp.c++/c++.exp at -O2 by default

On 15/06/15 18:36, Tom de Vries wrote: Hi, this patch: - sets DEFAULT_CFLAGS to -O2, if not set otherwise (similar to what is done in c.exp) - removes superfluous dg-options "-O2" settings. - removes superfluous dg-options "-fopenmp" settings. - uses dg-additional-options for -std= settings

[PATCH] Cut down match-and-simplify TDF_DETAILS noise

This short-cuts re-simplifying (convert ...)s which often are no-ops because a conditional convert didn't match. So instead of throwing the whole match-and-simplify machinery on such converts and yell out that match.pd:961 triggered (that really happens often...) the following simply does nothing

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

-Original Message- From: Richard Biener [mailto:richard.guent...@gmail.com] Sent: Tuesday, June 30, 2015 4:42 PM To: Ajit Kumar Agarwal Cc: l...@redhat.com; GCC Patches; Vinod Kathail; Shail Aditya Gupta; Vidhumouli Hunsigida; Nagaraju Mekala Subject: Re: [Patch,tree-optimization]: Add

Re: [patch] Run testsuite/libgomp.c++/c++.exp at -O2 by default

On Mon, Jun 15, 2015 at 06:36:17PM +0200, Tom de Vries wrote: > Hi, > > this patch: > - sets DEFAULT_CFLAGS to -O2, if not set otherwise > (similar to what is done in c.exp) > - removes superfluous dg-options "-O2" settings. > - removes superfluous dg-options "-fopenmp" settings. > - uses dg-add

[gomp4.1] Support #pragma omp target {enter,exit} data

Hi! This patch implements GOMP_target_enter_exit_data in libgomp, also it fixes a bug in gomp_map_vars_existing. make check-target-libgomp passed. However, I am afraid that there may be some hard-to-find issues (like memory leaks) in cases of mixed (structured+unstructured) data mappings... OK for

[PATCH] Fix simdclone pass for addressable linear/uniform parameters (PR middle-end/66702)

Hi! As the first testcase shows, we were mishandling addressable uniform/linear parameters, in that case keeping them to use the (D) ssa name for uniform or doing the iteration for linear doesn't work, so we need to handle it slightly differently. Bootstrapped/regtested on x86_64-linux and i686-l

Re: [Patch, fortran] PR52846 - [F2008] Support submodules

Dear All, Please find attached the latest version of the submodule patch. You might note that the number of the patch has been incremented by two. The intermediate version went to Reinhold Bader and co for testing. The main improvements in this version are: (i) As reported by Reinhold, the interfa

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

I forgot to attach the Link of the RFC comments from Jeff for reference. https://gcc.gnu.org/ml/gcc/2015-05/msg00302.html Thanks & Regards Ajit -Original Message- From: gcc-patches-ow...@gcc.gnu.org [mailto:gcc-patches-ow...@gcc.gnu.org] On Behalf Of Ajit Kumar Agarwal Sent: Tuesday, J

Re: [PATCH 2/2] Add leon3r0 and leon3r0v7 CPU targets

On 2015-06-30 11:24, Eric Botcazou wrote: The UT699 is a leon3r0 system which does not support CASA. However, to enable the errata fixes for UT699 with -mfix-ut699 requires the CPU target to be leon3. -mfix-ut699 itself is independent of the processor and doesn't require leon3. The instructio

Re: [PATCH] Move ~X | X -> -1 folding

On Tue, Jun 30, 2015 at 01:39:29PM +0200, Marc Glisse wrote: > Does my suggestion to "build the all_ones constant in TREE_TYPE (@0) and > convert that to type" help for that? It appears to work, but it seems weird to me to create a integer constant in one type and then immediately cast it to anoth

Re: [PATCH] Move ~X | X -> -1 folding

On Tue, 30 Jun 2015, Marek Polacek wrote: > On Tue, Jun 30, 2015 at 01:39:29PM +0200, Marc Glisse wrote: > > Does my suggestion to "build the all_ones constant in TREE_TYPE (@0) and > > convert that to type" help for that? > > It appears to work, but it seems weird to me to create a integer const

[PATCH] Fix PR66704

Committed as obvious. Richard. 2015-06-30 Richard Biener PR tree-optimization/66704 * tree-vect-data-refs.c (vect_setup_realignment): Use make_ssa_name for non-SSA name source. Index: gcc/tree-vect-data-refs.c =

Re: [PATCH] top-level for libvtv: use normal (not raw_cxx) target exports

On 29/06/15 18:57 +0200, Michael Haubenwallner wrote: Actually, an unexpected libstdc++-v3/configure change is introduced by some inconsistency in https://gcc.gnu.org/viewcvs/gcc?view=revision&revision=223196 where acinclude.m4 contains different code than the recreated configure: acinclude.m4-3

Re: [gomp4.1] Support #pragma omp target {enter,exit} data

On Tue, Jun 30, 2015 at 03:19:30PM +0300, Ilya Verbin wrote: > --- a/libgomp/target.c > +++ b/libgomp/target.c > @@ -580,10 +581,16 @@ gomp_unmap_vars (struct target_mem_desc *tgt, bool > do_copyfrom) >bool do_unmap = false; >if (k->refcount > 1) > k->refcount--; > - els

Re: [PATCH] Move ~X | X -> -1 folding

On Tue, Jun 30, 2015 at 02:47:49PM +0200, Richard Biener wrote: > On Tue, 30 Jun 2015, Marek Polacek wrote: > > > On Tue, Jun 30, 2015 at 01:39:29PM +0200, Marc Glisse wrote: > > > Does my suggestion to "build the all_ones constant in TREE_TYPE (@0) and > > > convert that to type" help for that? >

Re: Four jit backports to gcc 5 branch

On Tue, 2015-06-30 at 08:43 +0200, Basile Starynkevitch wrote: > On Mon, Jun 29, 2015 at 11:44:31AM -0400, David Malcolm wrote: > > I've gone over the changes to the gcc/jit and gcc/testsuite/jit.dg > > directories in trunk since gcc 5 and backported the following 4 changes > > from trunk to the gc

Re: [PATCH] Move ~X | X -> -1 folding

On Tue, 30 Jun 2015, Marek Polacek wrote: > On Tue, Jun 30, 2015 at 02:47:49PM +0200, Richard Biener wrote: > > On Tue, 30 Jun 2015, Marek Polacek wrote: > > > > > On Tue, Jun 30, 2015 at 01:39:29PM +0200, Marc Glisse wrote: > > > > Does my suggestion to "build the all_ones constant in TREE_TYPE

[PATCH] Allow embedded timestamps by C/C++ macros to be set externally

Hi! We are working in Debian —and I know other free software projects care— in providing our users with a way to reproduce bit-for-bit identical binary packages from the source and build environment. See for some rationale and further explanations

[hsa] HSA: add support for function declaration emission and, fix RA.

Hello. Following patch implements emission of function declarations and removes hsa_call_block_insn. The insn is replaced with a new hsa_arg_block_insn, which will make insn iteration flat and much easier for register allocator. Thanks, Martin >From abb5eb3cf4f8569d2e003aabc5f078fcd17348a6 Mon

[PATCH][9/n] Remove GENERIC stmt combining from SCCVN

This moves the rest of the patterns in match-bitwise.pd from the match-and-simplify branch (those that make sense - I'll merge the rest to the tail of match.pd on the branch). Bootstrap & regtest running on x86_64-unknown-linux-gnu. Richard. 2015-06-30 Richard Biener * fold-const.c

[hsa] Remove assumption that each translation unit must have a, kernel.

Hello. Attached patch is very simple and does $subject. Thanks, Martin >From ad7053eb82a354dce6a5460a3b3c5f1dba939094 Mon Sep 17 00:00:00 2001 From: mliska Date: Thu, 25 Jun 2015 13:58:51 +0200 Subject: [PATCH 2/2] Remove assumption that each translation unit must have a kernel. gcc/ChangeLog:

Re: [v3 PATCH] Implement N4387 and LWG 2367

On 13/06/15 21:05 +0300, Ville Voutilainen wrote: Another round! The new patch - makes sure not to change non-deduced parameters to deduced ones, and adds tests for that. - removes the name of the bool non-type template parameter for the 'concepts'. - introduces shortcuts for making the use of th

Re: [hsa] HSA: add support for function declaration emission and, fix RA.

Hi, On Tue, 30 Jun 2015, Martin Liška wrote: > Following patch implements emission of function declarations and removes > hsa_call_block_insn. The insn is replaced with a new hsa_arg_block_insn, > which will make insn iteration flat and much easier for register > allocator. Given that BRIG fo

Re: [Patch SRA] Fix PR66119 by calling get_move_ratio in SRA

On Fri, Jun 26, 2015 at 06:10:00PM +0100, Jakub Jelinek wrote: > On Fri, Jun 26, 2015 at 06:03:34PM +0100, James Greenhalgh wrote: > > --- /dev/null > > +++ b/gcc/testsuite/g++.dg/pr66119.C > > I think generally testcases shouldn't be added into g++.dg/ directly, > but subdirectories. So g++.dg/o

Re: [hsa] HSA: add support for function declaration emission and, fix RA.

On 06/30/2015 03:28 PM, Michael Matz wrote: > Hi, > > On Tue, 30 Jun 2015, Martin Liška wrote: > >> Following patch implements emission of function declarations and removes >> hsa_call_block_insn. The insn is replaced with a new hsa_arg_block_insn, >> which will make insn iteration flat and muc

[patch] Use template not template in std::pair

An unimportant change to meet our usual convention. Tested powerpc64le-linux, committed to trunk. commit a4461920b9169f8d07c8827fa77f6500573ed5a2 Author: Jonathan Wakely Date: Tue Jun 30 14:27:43 2015 +0100 * include/bits/stl_pair.h: Replace class keyword with typename. diff --git a/lib

Re: [PATCH] top-level for libvtv: use normal (not raw_cxx) target exports

On 06/30/2015 02:54 PM, Jonathan Wakely wrote: > On 29/06/15 18:57 +0200, Michael Haubenwallner wrote: >> Actually, an unexpected libstdc++-v3/configure change is introduced by some >> inconsistency in >> https://gcc.gnu.org/viewcvs/gcc?view=revision&revision=223196 >> where acinclude.m4 contains

Re: [PATCH] Move ~X | X -> -1 folding

On Tue, Jun 30, 2015 at 03:13:14PM +0200, Richard Biener wrote: > On Tue, 30 Jun 2015, Marek Polacek wrote: > > > On Tue, Jun 30, 2015 at 02:47:49PM +0200, Richard Biener wrote: > > > On Tue, 30 Jun 2015, Marek Polacek wrote: > > > > > > > On Tue, Jun 30, 2015 at 01:39:29PM +0200, Marc Glisse wro

Re: [Patch, fortran] PR52846 - [F2008] Support submodules

Hi Paul, I don’t feel confident enough in many parts of the code (including the module part) to formally review it, but from what I’ve read it seemed rather logical and well-commented. If it regtests fine, I think your plan (especially at the current GCC stage) of committing this week is sound.

Re: [PATCH] Move ~X | X -> -1 folding

On Tue, 30 Jun 2015, Marek Polacek wrote: > On Tue, Jun 30, 2015 at 03:13:14PM +0200, Richard Biener wrote: > > On Tue, 30 Jun 2015, Marek Polacek wrote: > > > > > On Tue, Jun 30, 2015 at 02:47:49PM +0200, Richard Biener wrote: > > > > On Tue, 30 Jun 2015, Marek Polacek wrote: > > > > > > > > >

Re: [PATCH] Move ~X | X -> -1 folding

On Tue, Jun 30, 2015 at 03:59:23PM +0200, Richard Biener wrote: > On Tue, 30 Jun 2015, Marek Polacek wrote: > > > On Tue, Jun 30, 2015 at 03:13:14PM +0200, Richard Biener wrote: > > > On Tue, 30 Jun 2015, Marek Polacek wrote: > > > > > > > On Tue, Jun 30, 2015 at 02:47:49PM +0200, Richard Biener

Re: [PATCH] Move ~X | X -> -1 folding

On Tue, 30 Jun 2015, Marek Polacek wrote: > On Tue, Jun 30, 2015 at 03:59:23PM +0200, Richard Biener wrote: > > On Tue, 30 Jun 2015, Marek Polacek wrote: > > > > > On Tue, Jun 30, 2015 at 03:13:14PM +0200, Richard Biener wrote: > > > > On Tue, 30 Jun 2015, Marek Polacek wrote: > > > > > > > > >

[patch] Show errors when generating libstdc++ API PDF

This makes it a bit easier to determine why 'make doc-pdf-doxygen' failed, for the common case where it's a missing TeX package. Tested x86_64-linux, committed to trunk. commit 432831cb555b79d686f3c8bdd115d5386d9d6301 Author: Jonathan Wakely Date: Tue Jun 30 13:48:19 2015 +0100 * doc/Mak

[AArch64/testsuite] Restrict pic-small.c by a new directive "check_effective_target_aarch64_small_fpic"

As discussed here https://gcc.gnu.org/ml/gcc-patches/2015-06/msg02151.html, Since have enabled binutils feature detection when configuring gcc, -fpic will not be enabled if there is no binutils support on those new relocation modifiers, thus we should update the testcase pic-small.c, only run

Re: [patch] PR debug/66653: avoid late_global_decl on decl_type_context()s

On 06/29/2015 06:32 PM, Jason Merrill wrote: On 06/29/2015 05:07 AM, Richard Biener wrote: On Fri, Jun 26, 2015 at 11:59 PM, Jason Merrill wrote: On 06/26/2015 05:37 AM, Richard Biener wrote: Can we defer TLS model setting to template instantiation? We need to represent somehow that __thre

Re: [PATCH] Allow embedded timestamps by C/C++ macros to be set externally

On 30/06/15 15:18, Dhole wrote: A solution for toolchain packages that embed timestamps during the build process has been proposed for anyone interested and it consists of the following: Perhaps this has been discussed and discarded before (if so I would appreciate if you could point me to the

[patch] Constrain allocator_arg_t to only work with valid Allocators

This is what I have been experimenting with as an alternative to making allocator_arg_t non-DefaultConstructible. By replacing allocator_arg_t parameters with __alloc_arg_t<_Alloc> we can constrain constructors to only participate in overload resolution when _Alloc quacks sufficiently like an all

Re: [PATCH] Allow embedded timestamps by C/C++ macros to be set externally

On 30/06/15 16:43, Manuel López-Ibáñez wrote: On 30/06/15 15:18, Dhole wrote: A solution for toolchain packages that embed timestamps during the build process has been proposed for anyone interested and it consists of the following: Perhaps this has been discussed and discarded before (if so I

Re: [patch] Constrain allocator_arg_t to only work with valid Allocators

On 30/06/15 15:49 +0100, Jonathan Wakely wrote: I'm also playing with another change to make allocator_traits SFINAE-friendly, by only defining the nested allocator_type member when __is_allocator is true. If it works I think that might be worth standardising. Something like this, although with

Re: [PATCH] Allow embedded timestamps by C/C++ macros to be set externally

On 06/30/2015 04:48 PM, Manuel López-Ibáñez wrote: > On 30/06/15 16:43, Manuel López-Ibáñez wrote: >> Perhaps this has been discussed and discarded before (if so I would >> appreciate >> if you could point me to the relevant discussion), why not simply >> redefine >> __DATE__ and __TIME__ to an app

Re: [gomp4.1] Support #pragma omp target {enter,exit} data

On Tue, Jun 30, 2015 at 14:57:02 +0200, Jakub Jelinek wrote: > On Tue, Jun 30, 2015 at 03:19:30PM +0300, Ilya Verbin wrote: > > --- a/libgomp/target.c > > +++ b/libgomp/target.c > > @@ -580,10 +581,16 @@ gomp_unmap_vars (struct target_mem_desc *tgt, bool > > do_copyfrom) > >bool do_unmap =

RE: [PATCH] Discard Scops for which entry==exit

Hi Tobias, A test case (gcc/testsuite/gcc.dg/graphite/pr18792.c) came up when we removed `graphite-scop-detection.c:limit_scops'. The test case is a scop where entry==exit, BB5 (*#) -> BB6 (#); BB6 -> BB5; In this case BB2 is out of the scop. This is basically an empty (infinite) loop with no e

[committed] Run testsuite/libgomp.oacc-c++/c++.exp at -O2 by default

[ was: Re: [patch] Run testsuite/libgomp.c++/c++.exp at -O2 by default ] On 30/06/15 14:07, Jakub Jelinek wrote: On Mon, Jun 15, 2015 at 06:36:17PM +0200, Tom de Vries wrote: Hi, this patch: - sets DEFAULT_CFLAGS to -O2, if not set otherwise (similar to what is done in c.exp) - removes supe

Re: [PATCH/RFC] Make loop-header-copying more aggressive, rerun before tree-if-conversion

Jeff Law wrote: Thanks. Does running the phi-only propagator after the loop header copying help? At first glance it would seem that it ought to propagate the values of those degenerate PHIs then eliminate those PHIs. It was written to cleanup after jump threading which has a tendency to cre

Re: [gomp4.1] Support #pragma omp target {enter,exit} data

On Tue, Jun 30, 2015 at 06:42:01PM +0300, Ilya Verbin wrote: > On Tue, Jun 30, 2015 at 14:57:02 +0200, Jakub Jelinek wrote: > > On Tue, Jun 30, 2015 at 03:19:30PM +0300, Ilya Verbin wrote: > > > --- a/libgomp/target.c > > > +++ b/libgomp/target.c > > > @@ -580,10 +581,16 @@ gomp_unmap_vars (struct

Re: [PATCH] Allow embedded timestamps by C/C++ macros to be set externally

On 30 June 2015 at 17:18, Dhole wrote: > In the debian reproducible builds project we have considered several > options to address this issue. We considered redefining the __DATE__ and > __TIME__ defines by command line flags passed to gcc, but as you say, > that triggers warnings, which could bec

[match.pd, committed] Improve X - (X / Y) * Y

This patch improves the X - (X / Y) * Y simplification a bit; with using convert[12]? we're also able to fold INTEGER_CSTs with different types. Except using convert[12]? I also had to convert both operands of the resulting expression to keep the gimple verifier happy. Bootstrapped/regtested on x

[match.pd, committed] Tweak ~x | x

As discussed here: . Bootstrapped/regtested on x86_64-linux, applying to trunk. 2015-06-30 Marek Polacek * match.pd (~x | x): Don't use tree_nop_conversion_p. Build the final expression with the operand's type and then

Re: [PATCH] Allow embedded timestamps by C/C++ macros to be set externally

In the debian reproducible builds project we have considered several options to address this issue. We considered redefining the __DATE__ and __TIME__ defines by command line flags passed to gcc, but as you say, that triggers warnings, which could become errors when building with -Werror and thus

patch to fix PR66691

The following patch fixes https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66691 The patch was tested and bootstrapped on x86/x86-64. Committed as rev. 225200. Index: ChangeLog === --- ChangeLog (revision 225194) +++ ChangeLog (workin

[gomp] openacc reduction cleanup

This patch removes a lot of the crufty code which was necessary for an arbitrary sized vector reductions. The new plan going forward it to fix vector_length to a size such that vector loops don't require any synchronization after the loop have terminated. In the case of nvptx targets, vector_length

Re: [PATCH] Allow embedded timestamps by C/C++ macros to be set externally

On Jun 30, 2015, at 10:38 AM, Martin Sebor wrote: >> In the debian reproducible builds project we have considered several >> options to address this issue. We considered redefining the __DATE__ and >> __TIME__ defines by command line flags passed to gcc, but as you say, >> that triggers warnings,

[C++ Patch] PR 60365

Hi, this issue is an accepts invalid about multiple noreturn in an attribute-list. The same issue exists for deprecated in C++14 (and will exist for carries_dependency when we'll implement it...). Of course it would be easy to imagine more efficient algorithms doing the check only once after

Re: [C++ Patch] PR 60365

OK. Jason

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

On 06/30/2015 03:06 AM, Eric Botcazou wrote: I notice the way gcc_assert() is defined in system.h now, the test won't disappear even when runtime checks are disabled, though you might still adjust it to avoid any programmer confusion. It will disappear at run time, see the definition: /* Inclu

[PATCH, committed] jit: fix some .rst issues in docs

gcc/jit/ChangeLog: * docs/cp/topics/expressions.rst: Remove stray semicolon. * docs/cp/topics/functions.rst: Remove stray backslash. * docs/_build/texinfo/libgccjit.texi: Regenerate. Committed to trunk as r225203. --- gcc/jit/docs/cp/topics/expressions.rst | 2 +- gcc/jit

[PATCH, committed] fixes to gcc_jit_context_dump_reproducer_to_file

Tested with "make check-jit" and visual inspection; jit.sum continues to have 8014 passes. Committed to trunk as r225204. gcc/jit/ChangeLog: * jit-recording.c (gcc::jit::recording::context::dump_reproducer_to_file): Add pragma to generated reproducers to disable -Wunused-v

[PATCH, committed] PR jit/66628: add gcc_jit_context_add_command_line_option

This patch adds a new entrypoint to libgccjit: gcc_jit_context_add_command_line_option allowing client code to add arbitrary command-line options without needing to recompile libgccjit.so This is the first new entrypoint since the initial release of libgccjit, so the patch also adds symbol-versi

  1   2   >