Re: [PATCH, libcpp]: Use asm flag outputs in search_line_sse42 main loop

On 06/30/2015 07:46 AM, Uros Bizjak wrote: According to [1], " ... the instructions for building libgccjit recommend --disable-bootstrap, ...". IMO, we could leave this part for now, it is not that much of a maintenance burden. [1]https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66593#c0 Fair enou

Re: [PATCH, libcpp]: Use asm flag outputs in search_line_sse42 main loop

On Tue, Jun 30, 2015 at 8:11 AM, Richard Henderson wrote: > On 06/29/2015 08:07 PM, Uros Bizjak wrote: >> >> Index: lex.c >> === >> --- lex.c (revision 225138) >> +++ lex.c (working copy) >> @@ -450,15 +450,30 @@ search_li

Re: Four jit backports to gcc 5 branch

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 gcc-5-branch: > I'll be delighted if switch statements ability would b

Re: [PATCH] Graphite cannot handle return stmt

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 (stmt_simple_for_scop_p): Bail out in case of a return statement. Looks good to me.

Re: [PATCH, libcpp]: Use asm flag outputs in search_line_sse42 main loop

On 06/29/2015 08:07 PM, Uros Bizjak wrote: Index: lex.c === --- lex.c (revision 225138) +++ lex.c (working copy) @@ -450,15 +450,30 @@ search_line_sse42 (const uchar *s, const uchar *en s = (const uchar *)((si + 1

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

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.c:limit_scops. Removing the limit_scops function introduces correctness

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

On 2015/6/30 下午 01:13, Chung-Lin Tang wrote: > On 2015/6/30 12:22 PM, Sandra Loosemore wrote: >> On 06/29/2015 09:07 PM, Kito Cheng wrote: >>> Hi all: >>> >>> This patch seem will broken when disable assert checking for c6x >>> >>> Index: gcc/config/c6x/c6x.c >>> ===

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

On 2015/6/30 12:22 PM, Sandra Loosemore wrote: > On 06/29/2015 09:07 PM, Kito Cheng wrote: >> Hi all: >> >> This patch seem will broken when disable assert checking for c6x >> >> Index: gcc/config/c6x/c6x.c >> === >> --- gcc/config

Re: [s390] Revert TPF C++ library changes

On 06/29/2015 07:00 PM, DJ Delorie wrote: But don't we need to support the older system (with 2 libstdc++s) and the newer system (just one libstdc++)? Which implies these changes need to be conditional, right? The CPP2 configuration was never shipped to TPF customers, so there's no need to ret

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

On 06/29/2015 09:07 PM, Kito Cheng wrote: Hi all: This patch seem will broken when disable assert checking for c6x Index: gcc/config/c6x/c6x.c === --- gcc/config/c6x/c6x.c (revision 225104) +++ gcc/config/c6x/c6x.c (working cop

Re: [C++/66443]

On 06/29/2015 06:57 PM, Nathan Sidwell wrote: * method.c (synthesized_method_walk): Skip virtual bases of abstract classes in C++14 mode. Let's not limit this to C++14 mode; most DRs apply to earlier standards as well. Jason

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

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) >> >> Thanks, >> Kugan > >> From 75e746e559ffd21b25542b3db627e3b3

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

Hi all: This patch seem will broken when disable assert checking for c6x Index: gcc/config/c6x/c6x.c === --- gcc/config/c6x/c6x.c (revision 225104) +++ gcc/config/c6x/c6x.c (working copy) @@ -3516,7 +3516,7 @@ try_rename_operands

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

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 fix to the >> issue >> by managing iv structures in obstack

Re: [PATCH, rs6000] Add more overloaded built-ins for vec_cmpge and vec_cmple

On Mon, Jun 29, 2015 at 10:05 PM, Bill Schmidt wrote: > Hi, > > This patch adds built-in functions for vec_cmpge and vec_cmple required > by the ELFv2 ABI but not yet present in gcc. These make use of the > existing patterns for gt:VEC_I and gtu:VEC_I, applying the "not" > operator and reversing

[PATCH, rs6000] Add more overloaded built-ins for vec_cmpge and vec_cmple

Hi, This patch adds built-in functions for vec_cmpge and vec_cmple required by the ELFv2 ABI but not yet present in gcc. These make use of the existing patterns for gt:VEC_I and gtu:VEC_I, applying the "not" operator and reversing the order of operands as needed. The result is generation of a vm

Re: Thinking about libgccjit SONAME bump for gcc 5.2 (was Re: Four jit backports to gcc 5 branch)

On Mon, 2015-06-29 at 18:34 -0400, Ulrich Drepper wrote: > On Mon, Jun 29, 2015 at 5:26 PM, David Malcolm wrote: > > I'm looking at ways to manage libgccjit API/ABI as per this thread: > > https://gcc.gnu.org/ml/gcc-patches/2015-06/msg01982.html > > by transitioning to using symbol versioning, so

[PATCH, ARM] stop changing signedness in PROMOTE_MODE

This is my suggested fix for PR 65932, which is a linux kernel miscompile with gcc-5.1. The problem here is caused by a chain of events. The first is that the relatively new eipa_sra pass creates fake parameters that behave slightly differently than normal parameters. The second is that the opti

Re: [s390] Revert TPF C++ library changes

> But don't we need to support the older system (with 2 libstdc++s) and > the newer system (just one libstdc++)? Which implies these changes need > to be conditional, right? The CPP2 configuration was never shipped to TPF customers, so there's no need to retain both ways.

Re: [gomp4, fortran] Patch to fix continuation checks of OpenACC and OpenMP directives

Hi Cesar! Thanks for your review! 08.06.2015, 17:59, "Cesar Philippidis" : On 06/07/2015 02:05 PM, Ilmir Usmanov wrote: Fixed fortran mail-list address. Sorry for inconvenience. 08.06.2015, 00:01, "Ilmir Usmanov" : Hi Cesar! This patch fixes checks of OpenMP and OpenACC continuations in

Re: [PATCH] Graphite cannot handle return stmt

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 (stmt_simple_for_scop_p): Bail out in > case of a return statement. Looks good to me. Tobi, do you see a good reason not to c

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

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.c:limit_scops. > Removing the limit_scops function introduces correctness regressions. > We are making relevant chan

[C++/66443]

This patch fixes 66443, a defect introduced by a C++14 change concerning virtual bases of abstract classes. https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66443 points at DR1611 & 1658, which describe the issue. Essentially, an abstract class type can only exist as a base of some other (non-abs

Re: Thinking about libgccjit SONAME bump for gcc 5.2 (was Re: Four jit backports to gcc 5 branch)

On Mon, Jun 29, 2015 at 5:26 PM, David Malcolm wrote: > I'm looking at ways to manage libgccjit API/ABI as per this thread: > https://gcc.gnu.org/ml/gcc-patches/2015-06/msg01982.html > by transitioning to using symbol versioning, so that the linker can tag > subsets of libgccjit symbols in both li

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

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 __thread (or thread_local) was used in the declarati

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

On Mon, Jun 29, 2015 at 3:12 PM, Marc Glisse wrote: > On Mon, 29 Jun 2015, Jeff Law wrote: > >>> That said - for this kind of patterns testcases that exercise the >>> patterns >>> on GIMPLE would be very appreciated. >> >> It may be the case that these patterns don't make a lot of sense on gimple

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

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? @0) (convert? (mult (trunc_div @0 @1) @1))) + (if (INTEGRAL_TYPE_P (type) || VECTOR_IN

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

On Mon, 29 Jun 2015, Jeff Law wrote: That said - for this kind of patterns testcases that exercise the patterns on GIMPLE would be very appreciated. It may be the case that these patterns don't make a lot of sense on gimple and should be restricted to generic, at least with our current infrast

Re: [C++ Patch] PR 65977

OK. Jason

Re: Thinking about libgccjit SONAME bump for gcc 5.2 (was Re: Four jit backports to gcc 5 branch)

On 29 June 2015 at 22:26, David Malcolm wrote: > > I'm working on that, I know that it's important to Ravi (the deadline > for gcc-5.2 is Friday; 2015-07-03). Thanks! > > There's no good way to track enums in binary metadata, so I'm currently > thinking of this approach for the new options: > >

Thinking about libgccjit SONAME bump for gcc 5.2 (was Re: Four jit backports to gcc 5 branch)

On Mon, 2015-06-29 at 21:57 +0100, Dibyendu Majumdar wrote: > On 29 June 2015 at 16:44, 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 gcc-5-branch: > > >

[PATCH] Graphite cannot handle return stmt

No regressions. 2015-06-29 Aditya Kumar Sebastian Pop * graphite-scop-detection.c (stmt_simple_for_scop_p): Bail out in case of a return statement. --- gcc/graphite-scop-detection.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/gcc/graphite-scop-detection.c b/gc

Re: Four jit backports to gcc 5 branch

On 29 June 2015 at 16:44, 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 gcc-5-branch: > > gcc-5-branch's r225123: > * trunk's r222863 (8120405bda9bf28b004

Re: [PATCH] Use PIE_SPEC/NO_PIE_SPEC for crtend.o/crtendS.o

On Sun, 28 Jun 2015, H.J. Lu wrote: > > Here is a patch. OK for trunk? > > > > Thanks. > > I'd like to check in this patch. Any comments, objections? > > Thanks. > > H.J. > > From 50bebf531193c18efb0982ac119694aa9f650e44 Mon Sep 17 00:00:00 2001 > > From: "H.J. Lu" > > Date: Thu, 25 Jun 201

[C++ Patch] PR 65977

Hi, given in particular Richard Smith' analysis here: http://stackoverflow.com/questions/29871138/constexpr-is-not-allowed-in-declaration-of-friend-template-specialization/29957648#29957648 I think it's pretty straightforward that we don't have a good reason to reject constexpr friend declarat

[PATCH] Discard Scops for which entry==exit

In this patch we discard the scops where entry and exit are the same BB. This is an effort to remove graphite-scop-detection.c:limit_scops. Removing the limit_scops function introduces correctness regressions. We are making relevant changes in incremental steps to fix those bugs, and finally we int

Re: [PATCH] config/bfin/bfin.c (hwloop_optimize): Use return false instead of gcc_assert for checking jump_insn.

On 06/28/2015 04:15 PM, Chen Gang wrote: For bfin looping optimization, after lsetup optimization, it can have the correct lsetup related insns which causes gcc_assert for jump_insn. I've been debugging this for a bit, and at least the explanation of the patch is wrong - it's finding an LSETUP

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

> -Original Message- > From: Matthew Fortune [mailto:matthew.fort...@imgtec.com] > Sent: Monday, June 29, 2015 3:07 PM > To: Maciej W. Rozycki; Steve Ellcey; Moore, Catherine; Richard Biener > Cc: Richard Sandiford; Richard Sandiford; Myers, Joseph; gcc- > patc...@gcc.gnu.org > Subject: R

[PATCH, libcpp]: Use asm flag outputs in search_line_sse42 main loop

Hello! Attached patch introduces asm flag outputs in seach_line_sse42 main loop to handle carry flag value from pcmpestri insn. Slightly improved old code that uses asm loop compiles to: 96:66 0f 6f 05 00 00 00 movdqa 0x0(%rip),%xmm0 9d:00 9e:48 83 ef 10

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

Maciej W. Rozycki writes: > 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 of that (and with no HONOR_NA

RE: [PATCH] [aarch64] Implemented reciprocal square root (rsqrt) estimation in -ffast-math

Hi, > -Original Message- > From: pins...@gmail.com [mailto:pins...@gmail.com] > Sent: Monday, June 29, 2015 10:23 PM > To: Dr. Philipp Tomsich > Cc: James Greenhalgh; Kumar, Venkataramanan; Benedikt Huber; gcc- > patc...@gcc.gnu.org; Marcus Shawcroft; Ramana Radhakrishnan; Richard > Earnsh

Re: C++ PATCH for c++/66255 (ICE with non-type template parameter of typedef type)

On 06/27/2015 04:28 AM, Andreas Schwab wrote: * pt.c (check_unstripped_args): Mark parameter as unused. Thanks. Jason

Re: [PATCH, PR66652] Use max_loop_iterations in transform_to_exit_first_loop_alt

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? Thanks, - Tom 0001-Use-max_loop_iteratio

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

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@2) + (if (INTEGRAL_TYPE_P (TREE_TYPE (@1)) + && COMPARISON_CLASS_P (@0

Fix PR ada/63310

This fixes the -fcompare-debug bootstrap failure reported by Jakub. Tested on x86_64-suse-linux, applied on the mainline. 2015-06-29 Eric Botcazou PR ada/63310 * gcc-interface/utils.c (gnat_write_global_declarations): Always build the dummy global variable if code was

Re: [PATCH 1/2] Add gcc/typed-splay-tree.h

On Thu, 2015-06-25 at 13:18 -0600, Jeff Law wrote: > On 06/25/2015 01:13 PM, David Malcolm wrote: > > I found when implementing switch statements for the jit that it > > was much easier to work with libiberty's splay-tree.h by first > > wrapping it in a C++ wrapper to add typesafety. > > > > This p

RE: [PATCH] [aarch64] Implemented reciprocal square root (rsqrt) estimation in -ffast-math

Hi, > -Original Message- > From: gcc-patches-ow...@gcc.gnu.org [mailto:gcc-patches- > ow...@gcc.gnu.org] On Behalf Of Benedikt Huber > Sent: Monday, June 29, 2015 11:04 PM > To: Kumar, Venkataramanan > Cc: pins...@gmail.com; Dr. Philipp Tomsich; gcc-patches@gcc.gnu.org > Subject: Re: [PATC

Re: [Patch] Add support for IEEE-conformant versions of scalar fmin* and fmax*

On Mon, 29 Jun 2015, David Sherwood wrote: > Hi, > > I have added new STRICT_MAX_EXPR and STRICT_MIN_EXPR expressions to support > the > IEEE versions of fmin and fmax. This is done by recognising the math library > "fmax" and "fmin" builtin functions in a similar way to how this is done for > -

Re: [PATCH] [aarch64] Implemented reciprocal square root (rsqrt) estimation in -ffast-math

> > Benedikt , I have ICE for 444.namd with your patch, not sure if something > wrong in my local tree. Venkat, now I could reproduce it. Strangely it does not happen with -flto. I will try to find out the reason for that. Thank you for the catch, Benedikt signature.asc Description: Message

[PATCH, i386] Remove MPX jump insn patterns

Hello! Attached patch removes special MPX jump insn patterns and extends generic jump insn patterns to handle bnd prefix using existing MPX infrastructure. 2015-06-29 Uros Bizjak * config/i386/i386.md (*jcc_1): Use %! in asm template. Set attribute "length_nobnd" instead of "length".

[nios2, committed] fix bad assertion

When I was preparing to regression-test something else in a nios2-linux-gnu build, I discovered it was ICE'ing while building shared libraries with -fpic (glibc, libgomp). I tracked this down to having started with r224048, but on further investigation I decided that commit merely exposed a la

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

On 06/25/2015 09:15 PM, Jeff Law wrote: > On 06/09/2015 08:22 AM, Michael Haubenwallner wrote: >> Hi build machinery maintainers, >> >> since we always build the C++ compiler now, I fail to see the need to still >> use RAW_CXX_TARGET_EXPORTS for libvtv. > But why is vtv special here? > Wouldn't t

Re: [PATCH] [aarch64] Implemented reciprocal square root (rsqrt) estimation in -ffast-math

> On Jun 29, 2015, at 4:44 AM, Dr. Philipp Tomsich > wrote: > > James, > >> On 29 Jun 2015, at 13:36, James Greenhalgh wrote: >> >>> On Mon, Jun 29, 2015 at 10:18:23AM +0100, Kumar, Venkataramanan wrote: >>> -Original Message- From: Dr. Philipp Tomsich [mailto:philipp.t

Re: [PATCH] Yet another simple fix to enhance outer-loop vectorization.

Hi All, Here is updated patch containing missed change in slpeel_tree_peel_loop_to_edge which prevents renaming of exit PHI uses in inner loop. ChangeLog: 2015-06-29 Yuri Rumyantsev * tree-vect-loop-manip.c (rename_variables_in_bb): Add argument to allow renaming of PHI arguments on edges inc

[gomp4] Remove unnecessary conversions

Hi, This patch removes the conversion of the arguments. As the arguments are already of the proper type, via the front ends, there's no need to the conversion. Furthermore, if the node is a 'const int', then the conversion function will create a node that can't be used as an argument to a gimple

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

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 of that (and with no HONOR_NAN checks in the > fma/madd instructions)

Re: [PATCH C/C++/middle-end] move Wunused-parameter to the FEs

OK. Jason

Four jit backports to gcc 5 branch

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 gcc-5-branch: gcc-5-branch's r225123: * trunk's r222863 (8120405bda9bf28b004e09b23e74eda57ae1, addition of test-benchmark.c): https:/

[PATCH C/C++/middle-end] move Wunused-parameter to the FEs

Wunused-parameter warnings are given from cgraph::finalize_function, which is the middle-end. This is an oddity compared to other -Wunused-* warnings. Moreover, Fortran has its own definition of -Wunused-parameter that conflicts with the middle-end definition. This patch moves the middle-end part

Re: [Patch Vax] zero/sign extend patterns need to be SUBREG aware

> On Jun 29, 2015, at 8:19 AM, James Greenhalgh > wrote: > > Now that this has had a few days sitting on trunk without seeing any > complaints, would you mind if I backported it to the GCC 5 branch? I don’t have a problem with that.

Re: [Patch Vax] zero/sign extend patterns need to be SUBREG aware

On Fri, Jun 19, 2015 at 05:30:21PM +0100, Matt Thomas wrote: > > > On Jun 19, 2015, at 8:51 AM, Jan-Benedict Glaw wrote: > > > > Hi James, > > > > On Tue, 2015-06-16 10:58:48 +0100, James Greenhalgh > > wrote: > >> The testcase in this patch, from libgcc, causes an ICE in the Vax > >> build.

[committed] Flags outputs for asms

Sorry for the delay, but here's the third and final version. This includes the requested cpp symbol and updated documentation. r~ * config/i386/constraints.md (Bf): New constraint. * config/i386/i386-c.c (ix86_target_macros): Define __GCC_ASM_FLAG_OUTPUTS__. * co

Re: [gomp4][PATCH] Handle casts in bound in try_transform_to_exit_first_loop_alt

On 22/06/15 16:36, Richard Biener wrote: On Thu, 18 Jun 2015, Tom de Vries wrote: On 13/06/15 16:24, Tom de Vries wrote: Hi, this patch allows try_transform_to_exit_first_loop_alt to succeed when handling cases where the expression representing the number of iterations contains a cast. Curre

[PATCH] Insert new bound in try_transform_to_exit_first_loop_alt

Hi, this patch allows try_transform_to_exit_first_loop_alt to handle the case that the new loop bound nit + 1 is not available as ssa-name n in the assignment nit = n - 1, by inserting the new loop bound. Bootstrapped and reg-tested on x86_64. OK for trunk? Thanks, - Tom Insert new bound in

[PATCH, PR66652] Use max_loop_iterations in transform_to_exit_first_loop_alt

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? Thanks, - Tom Use max_loop_iterations in transform_to_exit_first_loop_alt 2015-06-2

Re: conditional lim

On Mon, Jun 29, 2015 at 5:10 PM, Richard Biener wrote: > On Tue, Jun 9, 2015 at 10:11 PM, Evgeniya Maenkova > wrote: >> On Tue, Jun 9, 2015 at 3:46 PM, Richard Biener >> wrote: >>> On Fri, May 29, 2015 at 3:14 PM, Evgeniya Maenkova >>> wrote: Hi Richard, Here is some explanation.

Re: Debug mode enhancements

On 12/06/15 19:11 +0200, François Dumont wrote: Hi This is a patch to: - Enhance __get_distance to get a better feedback about distance between iterators so that we can take sharper decision about what is right or not. This function is now aware about safe iterators and leverage on those a l

Re: [PATCH] [aarch64] Implemented reciprocal square root (rsqrt) estimation in -ffast-math

> Hmm, Reducing the iterations to "1 step for float" and "2 steps for double" > > I got VE (miscompares) on following benchmarks > 416.gamess > 453.povray > 454.calculix > 459.GemsFDTD > > Benedikt , I have ICE for 444.namd with your patch, not sure if something > wrong in my local tree. I co

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

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? @0) (convert? (mult (trunc_div @0 @1) @1))) > > > + (if (

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

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? @0) (convert? (mult (trunc_div @0 @1) @1))) > > + (if (INTEGRAL_TYPE_P (type) || VECTOR_INTEGER_TYPE_P (type)) >

[committed] Simplify structure try_transform_to_exit_first_loop_alt

Hi, this patch simplifies the structure of function try_transform_to_exit_first_loop_alt, no functional changes. Bootstrapped on x86_64, retested parloops-exit-first-loop-alt*.* testcases. Committed as trivial. Thanks, - Tom Simplify structure try_transform_to_exit_first_loop_alt 2015-06-29

[RFC, PATCH] Split pool_allocator and create a new object_allocator

Hello. This mail thread is follow-up from the previous thread, where Ulrich Weigand spotted a miscompilation: https://gcc.gnu.org/ml/gcc-patches/2015-06/msg00868.html Following patch changes behavior of the pool_allocator: 1) pool_allocator is typeless and does not call any ctor 2) pool_alloca

[PATCH] Add canonicalize_funcptr_for_compare target-insn

Bootstrapped on x86_64-unknown-linux-gnu, testing in progress. Richard. 2015-06-29 Richard Biener * target-insns.def (canonicalize_funcptr_for_compare): Add. * fold-const.c (build_range_check): Replace uses of HAVE_canonicalize_funcptr_for_compare. (fold_widen

Re: [PATCH, C++-1z] Implement N4197 - Adding u8 character literals

On 06/27/2015 08:14 PM, Ed Smith-Rowland wrote: In c-ada-specs.c/print_ada_macros() I just write these as a char constant rather than spelling the token. We could do the latter. You'd see the "u8" then I think. I couldn't find in the Ada test suite where this was exercised. If Ada folks don't

Re: Fix PR43404, PR48470, PR64744 ICE on naked functions

I've updated patch with attributes lookup. is it OK? -- Alexander 2015-06-26 9:33 GMT+03:00 Alexander Basov : > 2015-06-25 21:47 GMT+03:00 Jeff Law : >> On 06/03/2015 02:15 PM, Alexander Basov wrote: >>> >>> Hello Jeff, >>> please find updated patch attached >>> > diff --git a/gcc/cfgexpand.

Re: C/C++ PATCH to smarten up -Wswitch-bool (PR c/66322)

On Thu, Jun 25, 2015 at 12:40:09PM -0600, Jeff Law wrote: > >If this patch is approved, I'd like to backport it even to 5 branch after > >some time so it's fixed in 5.2. I've committed the patch to trunk. > If it's OK with Jakub, it's fine with me. So Jakub, is it ok to backport this to 5.2 afte

Re: conditional lim

On Tue, Jun 9, 2015 at 10:11 PM, Evgeniya Maenkova wrote: > On Tue, Jun 9, 2015 at 3:46 PM, Richard Biener > wrote: >> On Fri, May 29, 2015 at 3:14 PM, Evgeniya Maenkova >> wrote: >>> Hi Richard, >>> >>> Here is some explanation. I hope you let me know if I need to clarify >>> something. >>> >>

Re: [PATCH 3/3][ARM][PR target/65697] Add tests for __sync builtins.

On Mon, Jun 22, 2015 at 10:52 AM, Matthew Wahab wrote: > This is the ARM version of the patches to strengthen memory barriers for the > __sync builtins on ARMv8 targets > (https://gcc.gnu.org/ml/gcc-patches/2015-05/msg01989.html). > > This patch adds tests for the code generated by the ARM backend

Re: [PATCH 2/3][ARM][PR target/65697] Strengthen barriers for compare-and-swap builtin.

On Mon, Jun 22, 2015 at 10:50 AM, Matthew Wahab wrote: > This is the ARM version of the patches to strengthen memory barriers for the > __sync builtins on ARMv8 targets > (https://gcc.gnu.org/ml/gcc-patches/2015-05/msg01989.html). > > This patch changes the code generated for __sync_type_compare_a

Re: [PATCH 1/3][ARM][PR target/65697] Strengthen memory barriers for __sync builtins

On Mon, Jun 22, 2015 at 10:48 AM, Matthew Wahab wrote: > This is the ARM version of the patches to strengthen memory barriers for the > __sync builtins on ARMv8 targets > (https://gcc.gnu.org/ml/gcc-patches/2015-05/msg01989.html). > > The problem is that the barriers generated for the __sync built

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

This patch fix the breakage caused by https://gcc.gnu.org/ml/gcc-patches/2015-06/msg01913.html We fall back to -fPIC if there is no assembler support on those new relocation modifiers for -fpic. OK for trunk? gcc/ * configure.ac: Add check for aarch64 assembler -fpic relocation modifier

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

This moves a few more patterns from fold-const.c to match.pd, also covering two cases where fold basically recurses (calling fold_unary or using negate_expr_p/negate_expr). For these cases we have to implement a subset of all possible cases (all fold cases basically searching for some stuff arbit

Re: [PATCH 2/2] Set REG_EQUAL

> On Jun 28, 2015, at 2:30 PM, Kugan wrote: > > This patch sets REG_EQUAL when emitting arm_emit_movpair. > > Thanks, > Kugan > > gcc/testsuite/ChangeLog: > > 2015-06-26 Kugan Vivekanandarajah > > * gcc.target/arm/reg_equal_test.c: New test. > > gcc. > > 2015-06-26 Kugan Vivekanan

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

> 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) > > Thanks, > Kugan > From 75e746e559ffd21b25542b3db627e3b318118569 Mon Sep 17 00:00:00 2001 > From: Kugan Vi

Re: [PATCH] [aarch64] Implemented reciprocal square root (rsqrt) estimation in -ffast-math

James, On 29 Jun 2015, at 13:36, James Greenhalgh wrote: > > On Mon, Jun 29, 2015 at 10:18:23AM +0100, Kumar, Venkataramanan wrote: >> >>> -Original Message- >>> From: Dr. Philipp Tomsich [mailto:philipp.toms...@theobroma-systems.com] >>> Sent: Monday, June 29, 2015 2:17 PM >>> To: Kuma

Re: [PATCH] [aarch64] Implemented reciprocal square root (rsqrt) estimation in -ffast-math

On Mon, Jun 29, 2015 at 10:18:23AM +0100, Kumar, Venkataramanan wrote: > > > -Original Message- > > From: Dr. Philipp Tomsich [mailto:philipp.toms...@theobroma-systems.com] > > Sent: Monday, June 29, 2015 2:17 PM > > To: Kumar, Venkataramanan > > Cc: pins...@gmail.com; Benedikt Huber; gcc-

Re: [wwwdocs] Knuth's pages have moved, adjust URLs

Oh, and the patch also removed a link to his home page. Enough links in place already. Gerald

[wwwdocs] Knuth's pages have moved, adjust URLs

Applied. Gerald Index: readings.html === RCS file: /cvs/gcc/wwwdocs/htdocs/readings.html,v retrieving revision 1.239 diff -u -r1.239 readings.html --- readings.html 27 Jun 2015 19:26:46 - 1.239 +++ readings.html

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

This moves &X ==/!= ptr comparison folding which triggers surprisingly often. Bootstrapped and tested on x86_64-unknown-linux-gnu, applied to trunk. Richard. 2015-06-29 Richard Biener * genmatch.c (add_operator): Treat ADDR_EXPR as atom. * fold-const.c (fold_binary_loc): Mov

Re: [PATCH, stage1] Make parloops gate more strict

On Fri, Jun 19, 2015 at 9:47 AM, Tom de Vries wrote: > On 16/06/15 13:18, Richard Biener wrote: >> >> On Mon, Jun 15, 2015 at 12:38 AM, Tom de Vries >> wrote: >>> >>> On 14/06/15 23:49, Bernhard Reutner-Fischer wrote: On June 14, 2015 10:55:59 AM GMT+02:00, Tom de Vries wrote

Re: Move ABS detection from fold-const.c to match.pd

On Sun, Jun 28, 2015 at 8:34 PM, Marc Glisse wrote: > (this message looks like it was lost in my draft folder...) > > On Tue, 26 May 2015, Richard Biener wrote: > >> +(match zerop integer_zerop) >> +(match zerop real_zerop) >> >> Would it also include fixed_zerop? > > > Probably, yes. The main iss

Re: [PATCH][4/n] Remove GENERIC stmt combining from SCCVN

On Mon, 29 Jun 2015, Richard Biener wrote: > On Fri, 26 Jun 2015, Jeff Law wrote: > > > On 06/26/2015 03:24 AM, Richard Biener wrote: > > > On Thu, 25 Jun 2015, Richard Biener wrote: > > > > > > > > > > > This moves fold_sign_changed_comparison. Shows up in gcc.dg/pr55833.c > > > > > > > > I'

Re: [patch] Fix PR middle-end/66633

> Don't you need to handle convert_nonlocal_omp_clauses similarly (need_chain > in that case)? > At least looking at your r211308 commit, for !optimize you force not just > the frame, but also chain. You're very likely right, although I didn't manage to write a Fortran testcase with my limited kn

Re: [AArch64][2/2] Implement -fpic for -mcmodel=small

Christophe Lyon writes: > On 27 June 2015 at 14:49, Jiong Wang wrote: >> >> Andreas Schwab writes: >> >>> Jiong Wang writes: >>> Andreas Schwab writes: > spawn -ignore SIGHUP /opt/gcc/gcc-20150627/Build/gcc/xgcc > -B/opt/gcc/gcc-20150627/Build/gcc/ -fno-diagnostics-show-caret

RE: [PATCH] [aarch64] Implemented reciprocal square root (rsqrt) estimation in -ffast-math

> -Original Message- > From: Dr. Philipp Tomsich [mailto:philipp.toms...@theobroma-systems.com] > Sent: Monday, June 29, 2015 2:17 PM > To: Kumar, Venkataramanan > Cc: pins...@gmail.com; Benedikt Huber; gcc-patches@gcc.gnu.org > Subject: Re: [PATCH] [aarch64] Implemented reciprocal square

Re: [AArch64][2/2] Implement -fpic for -mcmodel=small

On 27 June 2015 at 14:49, Jiong Wang wrote: > > Andreas Schwab writes: > >> Jiong Wang writes: >> >>> Andreas Schwab writes: >>> spawn -ignore SIGHUP /opt/gcc/gcc-20150627/Build/gcc/xgcc -B/opt/gcc/gcc-20150627/Build/gcc/ -fno-diagnostics-show-caret -fdiagnostics-color=never -O0

Re: Remove redundant AND from count reduction loop

On Sun, Jun 28, 2015 at 1:45 PM, Marc Glisse wrote: > On Fri, 26 Jun 2015, Richard Biener wrote: > > OK. The reason I was being paranoid was that I couldn't see anywhere > where we enforced that the vector condition in a VEC_COND had to have > the same element width as the values bein

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

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 __thread (or thread_local) was used in the > declaration, but DECL_THREAD_LOCAL_P was chang

Re: [PATCH] [aarch64] Implemented reciprocal square root (rsqrt) estimation in -ffast-math

Kumar, This does not come unexpected, as the initial estimation and each iteration will add an architecturally-defined number of bits of precision (ARMv8 guarantuees only a minimum number of bits provided per operation… the exact number is specific to each micro-arch, though). Depending on your

[PATCH] Bump LTO_major_version on trunk

Was still the same as on the GCC 5 branch. Committed as obvious. Richard. 2015-06-29 Richard Biener * lto-streamer.h (LTO_major_version): Bump to 5. Index: gcc/lto-streamer.h === --- gcc/lto-streamer.h (revision 22511

  1   2   >