Re: [PATCH] Convert manual unsigned +/- overflow checking into {ADD,SUB}_OVERFLOW (PR target/67089)

2015-11-24 Thread Marc Glisse
On Tue, 24 Nov 2015, Jakub Jelinek wrote: This is the GIMPLE side of Richard's i?86 uadd/usub overflow testing improvements. If unsigned addition or subtraction result is used both normally and in a GIMPLE_COND/COND_EXPR/tcc_comparison that tests if unsigned overflow happened, the patch replace

Re: [ARM] Fix PR middle-end/65958

2015-11-24 Thread Eric Botcazou
Richard, > Revised version attached, which addresses all your comments and in > particular removes the > > +#if PROBE_INTERVAL > 4096 > +#error Cannot use indexed addressing mode for stack probing > +#endif > > compile-time assertion. Any objection to me applying this revised version? I'd li

Re: [PATCH 01/15] Selftest framework (unittests v4)

2015-11-24 Thread Trevor Saunders
On Tue, Nov 24, 2015 at 01:44:34PM -0700, Jeff Law wrote: > On 11/19/2015 11:44 AM, Bernd Schmidt wrote: > >On 11/19/2015 07:08 PM, David Malcolm wrote: > >>gcc_assert terminates the process and no further testing is done, > >>whereas the approach the kit tries to run as much of the testsuite as >

Re: [PATCH AArch64]Handle REG+REG+CONST and REG+NON_REG+CONST in legitimize address

2015-11-24 Thread Bin.Cheng
On Tue, Nov 24, 2015 at 5:56 PM, Richard Earnshaw wrote: > On 24/11/15 02:51, Bin.Cheng wrote: The aarch64's problem is we don't define addptr3 pattern, and we don't >> have direct insn pattern describing the "x + y << z". According to >> gcc internal: >> >> ‘addptrm3’ >>

Re: update acc routines in fortran

2015-11-24 Thread Cesar Philippidis
On 11/20/2015 02:18 AM, Jakub Jelinek wrote: > On Thu, Nov 19, 2015 at 08:26:45AM -0800, Cesar Philippidis wrote: >> (gfc_oacc_routine_name): New struct; > > Full stop instead of semicolon. Fixed. >> diff --git a/gcc/tree-nested.c b/gcc/tree-nested.c >> index 1f6311c..e321072 100644 >> ---

Re: [PATCH 01/15] Selftest framework (unittests v4)

2015-11-24 Thread David Malcolm
On Tue, 2015-11-24 at 13:44 -0700, Jeff Law wrote: > On 11/19/2015 11:44 AM, Bernd Schmidt wrote: > > On 11/19/2015 07:08 PM, David Malcolm wrote: > >> gcc_assert terminates the process and no further testing is done, > >> whereas the approach the kit tries to run as much of the testsuite as > >> p

Re: [PATCH][RTL-ifcvt] PR rtl-optimization/68435 Allow (c ? x++ : x--) form

2015-11-24 Thread Jeff Law
On 11/23/2015 08:35 AM, Kyrill Tkachov wrote: Hi all, In this PR we fail to if-convert a case where in the expression x = c ? a : b; 'a' and 'b' are something like x + 1 and x - 1. So x appears in a and b. The code that checks that nothing from the else block modifies the registers used in a rej

Re: Port libvtv to Solaris

2015-11-24 Thread Jeff Law
On 11/24/2015 03:24 AM, Rainer Orth wrote: Rainer Orth writes: >Now that init priority support on Solaris is on mainline, porting libvtv >proved to be relatively easy, though it discovered a couple of quirks on >a non-gld non-x86 platform. This patch has now remained unreviewed for a week. W

Re: [PATCH] ctype functions and signedness

2015-11-24 Thread Jeff Law
On 11/16/2015 08:59 AM, Michael McConville wrote: Hi, everyone. While it often (usually?) isn't an issue, passing a signed char to ctype functions is undefined. Here's the CERT entry: https://www.securecoding.cert.org/confluence/x/fAs This means that we need to cast chars to unsigned c

Re: [PATCH] lround for PowerPC

2015-11-24 Thread Michael Meissner
On Mon, Nov 23, 2015 at 07:04:33PM -0500, David Edelsohn wrote: > Okay with those changes, after the cause of the SEGV is diagnosed and fixed. It must have a temporary failure (either in the source, or perhaps something was amiss on the machine I was building on). I checked out a new trunk, and b

Re: [PATCH 01/15] Selftest framework (unittests v4)

2015-11-24 Thread Jeff Law
On 11/19/2015 10:04 AM, David Malcolm wrote: This patch adds a selftest.h/.c to gcc, with an API loosely modelled on gtest (though without the use of CamelCase): it supports enough of the gtest API to enable the tests that I wrote to run with minimal changes. I know it's small, but avoiding Came

Re: Pinging patches

2015-11-24 Thread H.J. Lu
On Tue, Nov 24, 2015 at 1:01 PM, Jeff Law wrote: > On 11/24/2015 01:55 PM, H.J. Lu wrote: >>> >>> I believe hte interrupt patches really need to wait for the next stage1. >>> jeff >>> >> >> X86 interrupt attribute was first submitted in September and it >> is limited to x86 backend, except for >>

Re: [patch] FreeBSD x86_64/i386 apply r125920

2015-11-24 Thread Andreas Tobler
On 18.11.15 21:49, Andreas Tobler wrote: On 16.11.15 23:20, Andreas Tobler wrote: Hi all, I'm going to apply the below patch to trunk if there are no objections. There are no regressions. From our pov, we should be in sync with Linux here. Also, I'm going to push this one out to 5.x after one

Re: [PATCH 02/15] Add selftests to bitmap.c

2015-11-24 Thread Jeff Law
On 11/19/2015 10:04 AM, David Malcolm wrote: Jeff pre-approved the plugin version of this (as a new file unittests/test-bitmap.c): https://gcc.gnu.org/ml/gcc-patches/2015-10/msg03284.html with: OK if/when prereqs are approved. Minor twiddling if we end up moving it elsewhere or standardizing

Re: Pinging patches

2015-11-24 Thread Jeff Law
On 11/24/2015 01:55 PM, H.J. Lu wrote: I believe hte interrupt patches really need to wait for the next stage1. jeff X86 interrupt attribute was first submitted in September and it is limited to x86 backend, except for TARGET_FUNCTION_INCOMING_ARG_RTL which is no-op for other backends. We r

[C++ PATCH] Fix ubsan downcast -fsanitize=vptr sanitization (PR c++/68508)

2015-11-24 Thread Jakub Jelinek
Hi! Since the introduction of -fsanitize=vptr we ICE on the attached testcase, because for -std=c++14 the FE has strict assumptions on what the trees from force_paren_expr should look like, but with -fsanitize=vptr there is extra sanitization (COMPOUND_EXPR with UBSAN_VPTR call and the ADDR_EXPR i

Re: Pinging patches

2015-11-24 Thread H.J. Lu
On Tue, Nov 24, 2015 at 12:45 PM, Jeff Law wrote: > On 11/24/2015 01:29 PM, H.J. Lu wrote: >> >> On Tue, Nov 24, 2015 at 11:59 AM, Jeff Law wrote: >>> >>> >>> Just a note to folks, we're well into stage3 in our development cycle >>> right >>> now. Richi, Bernd, Jason, myself and others are worki

[PATCH] Convert manual unsigned +/- overflow checking into {ADD,SUB}_OVERFLOW (PR target/67089)

2015-11-24 Thread Jakub Jelinek
Hi! This is the GIMPLE side of Richard's i?86 uadd/usub overflow testing improvements. If unsigned addition or subtraction result is used both normally and in a GIMPLE_COND/COND_EXPR/tcc_comparison that tests if unsigned overflow happened, the patch replaces it shortly before expansion with {ADD,

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

2015-11-24 Thread Paul Richard Thomas
Committed to 5 branch as R230839. Will deal with 4.9 branch next. 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): Pr

Re: Pinging patches

2015-11-24 Thread Jeff Law
On 11/24/2015 01:29 PM, H.J. Lu wrote: On Tue, Nov 24, 2015 at 11:59 AM, Jeff Law wrote: Just a note to folks, we're well into stage3 in our development cycle right now. Richi, Bernd, Jason, myself and others are working through our queues of patches that were submitted before the deadline.

Re: [PATCH 01/15] Selftest framework (unittests v4)

2015-11-24 Thread Jeff Law
On 11/19/2015 11:44 AM, Bernd Schmidt wrote: On 11/19/2015 07:08 PM, David Malcolm wrote: gcc_assert terminates the process and no further testing is done, whereas the approach the kit tries to run as much of the testsuite as possible, and then fail if any errors occurred. Yeah, but let's say

Re: Pinging patches

2015-11-24 Thread H.J. Lu
On Tue, Nov 24, 2015 at 11:59 AM, Jeff Law wrote: > > Just a note to folks, we're well into stage3 in our development cycle right > now. Richi, Bernd, Jason, myself and others are working through our queues > of patches that were submitted before the deadline. > > If you are not currently iterati

Re: [PATCH 01/15] Selftest framework (unittests v4)

2015-11-24 Thread Jeff Law
On 11/19/2015 10:35 AM, Bernd Schmidt wrote: In general I'm much happier with this approach, and I think this series is close to ready, but I want to bring up some questions that could use wider discussion. This patch adds a selftest.h/.c to gcc, with an API loosely modelled on gtest (though wi

[PTX] Adjust mode splitting

2015-11-24 Thread Nathan Sidwell
The PTX backend has a lot of helper functions that are almost but not quite the same. I've committed this patch to adjust maybe_split_mode, and thereby remove nvptx_split_reg_p. maybe_split_mode always returned 1 or 2, and (some) users checked the return value to learn whether splitting shou

Re: [PATCH] Get rid of insn-codes.h in optabs-tree.c

2015-11-24 Thread Jeff Law
On 11/19/2015 09:06 AM, Ilya Enkovich wrote: On 19 Nov 16:46, Bernd Schmidt wrote: On 11/19/2015 03:28 PM, Ilya Enkovich wrote: This is a refactoring patch discussed in another thread [1]. It gets rid of CODE_FOR_nothing usage in optabs-tree.c by introducing boolean predicated in optabs-query.

Re: [PATCH 01/02] PR/62314: add ability to add fixit-hints

2015-11-24 Thread Jeff Law
On 11/18/2015 03:25 PM, David Malcolm wrote: What is the purpose of the #if 0 code in the various tests? Did you mean to leave those in? Presumably you're referring to the bodies of the functions test_fixit_insert test_fixit_remove test_fixit_replace within: gcc/testsuite/gcc.dg

Re: Add a way to free tree node

2015-11-24 Thread Bernhard Reutner-Fischer
On November 24, 2015 10:59:01 AM GMT+01:00, Richard Biener wrote: >On Tue, Nov 24, 2015 at 9:45 AM, Jan Hubicka wrote: >> Hi, >> while looking into the earlier bug I noticed that type_hash_canon is >used to >> avoid producing type duplicates. The type is however created, then >looked up >> in t

Pinging patches

2015-11-24 Thread Jeff Law
Just a note to folks, we're well into stage3 in our development cycle right now. Richi, Bernd, Jason, myself and others are working through our queues of patches that were submitted before the deadline. If you are not currently iterating with a maintainer on a patch that was submitted befor

Re: Port libvtv to Solaris

2015-11-24 Thread Caroline Tice
(Trying this again; the mailer daemon rejected my first message) All of the patch looks good to me, but I can only approve the libvtv portion (which I do). Someone else will need to approve the rest. -- Caroline Tice cmt...@google.com On Tue, Nov 24, 2015 at 2:24 AM, Rainer Orth wrote: > Rain

Re: Use TBAA for lto-symtab decl merging warnings

2015-11-24 Thread Bernhard Reutner-Fischer
On November 24, 2015 8:29:10 PM GMT+01:00, Bernhard Reutner-Fischer wrote: >On November 24, 2015 7:23:40 AM GMT+01:00, Jan Hubicka >wrote: >>Hi, > >Doc talks about COMMON, parm is COMMON_OR_EXTERN. > >> static int >>-warn_type_compatibility_p (tree prevailing_type, tree type) >>+warn_type_compat

Re: Fix verify_type ICE during Ada bootstrap

2015-11-24 Thread Jan Hubicka
> > > > We do already wrap all bases into MEM_REFs at streaming time, it would > > be easy to adjust it to make it effectively alias-set zero. But of > > course the overhead and the downstream effects of having more MEM_REFs > > (we strip the unneeded ones at stream-in) are unknown (compared to >

Re: Use TBAA for lto-symtab decl merging warnings

2015-11-24 Thread Bernhard Reutner-Fischer
On November 24, 2015 7:23:40 AM GMT+01:00, Jan Hubicka wrote: >Hi, Doc talks about COMMON, parm is COMMON_OR_EXTERN. > static int >-warn_type_compatibility_p (tree prevailing_type, tree type) >+warn_type_compatibility_p (tree prevailing_type, tree type, >+ bool common_or_

Re: [PATCH] lround for PowerPC

2015-11-24 Thread David Edelsohn
On Tue, Nov 24, 2015 at 1:55 PM, Michael Meissner wrote: > Whoops, I forgot to update the ChangeLog after reversing Fv and Fv2. > > 2015-11-24 David Edelsohn > Michael Meissner > > * config/rs6000/rs6000.md (UNSPEC_XSRDPI): New unspec. > (Fv2): New mode attribute t

Re: Enable pointer TBAA for LTO

2015-11-24 Thread Jan Hubicka
> > Now alias set of the initialization is alias set of "struct a". The alias > > set > > of of the pointer store is "float *". We ask alias oracle if "struct a" can > > conflict with "float *" and answer is no, because "int *" (component of > > struct > > b) and "float *" are not conflicting.

Re: [PATCH] lround for PowerPC

2015-11-24 Thread Michael Meissner
Whoops, I forgot to update the ChangeLog after reversing Fv and Fv2. 2015-11-24 David Edelsohn Michael Meissner * config/rs6000/rs6000.md (UNSPEC_XSRDPI): New unspec. (Fv2): New mode attribute to be used when ISA 2.07 instructions are used on SF values, an

Re: Fix verify_type ICE during Ada bootstrap

2015-11-24 Thread Jan Hubicka
> On Tue, 24 Nov 2015, Jan Hubicka wrote: > > > Hi, > > this patch fixes verify_type ICE while building Ada. The problem is that > > we end up with INTEGER_TYPE that has TYPE_ALIAS_SET buts its main variant > > is integer_type_node that is built in LTO and has non-zero alias set. > > > > This is

Re: [PATCH] lround for PowerPC

2015-11-24 Thread Michael Meissner
On Mon, Nov 23, 2015 at 07:04:33PM -0500, David Edelsohn wrote: > I would prefer that you reverse the meaning of "Fv" and "Fv2". "Fv" > corresponds to VSX2 and "Fv2" corresponds to VSX, which is confusing > for anyone trying to make sense of this in the future. > > Also, the lrounddi2 pattern sho

RE: [Patch, MIPS] Frame header optimization for MIPS (part 2)

2015-11-24 Thread Moore, Catherine
> -Original Message- > From: Steve Ellcey [mailto:sell...@imgtec.com] > Sent: Friday, October 23, 2015 2:08 PM > To: Myers, Joseph > Cc: Bernd Schmidt; Mike Stump; gcc-patches@gcc.gnu.org; > matthew.fort...@imgtec.com; Moore, Catherine > Subject: Re: [Patch, MIPS] Frame header optimizatio

Re: [PATCH] shrink-wrap: Fix thinko (PR68520)

2015-11-24 Thread Bernd Schmidt
On 11/24/2015 07:13 PM, Segher Boessenkool wrote: PR rtl-optimization/68520 * shrink-wrap.c (try_shrink_wrapping): Don't push a block to VEC if its bit was already set in BB_WITH. Ok. Bernd

[PATCH] shrink-wrap: Fix thinko (PR68520)

2015-11-24 Thread Segher Boessenkool
Part of the shrink-wrapping algorithm has this comment: /* Now see if we can put the prologue at the start of PRO. Putting it there might require duplicating a block that cannot be duplicated, or in some cases we cannot insert the prologue there at all. If PRO wont't do, try aga

Re: [PATCH 12/12] always define ENABLE_OFFLOADING

2015-11-24 Thread Thomas Schwinge
Hi! On Mon, 23 Nov 2015 19:52:08 +0300, Ilya Verbin wrote: > There are 2 new uses of "#ifdef ENABLE_OFFLOADING" in c_parser_oacc_declare > and > cp_parser_oacc_declare. > I don't know how to properly test OpenACC, so here is untested patch. "make check"? ;-) (Offloading currently will happen f

Re: [PATCH], Add power9 support to GCC, patch #10 (SFmode/DFmode d-form addressing)

2015-11-24 Thread David Edelsohn
On Tue, Nov 10, 2015 at 4:56 PM, Michael Meissner wrote: > This patch d-form addressing to float/double scalars for the PowerPC that was > added in ISA 3.0 (power9). This patch does not yet turn on D-form addressing > as default. It is likely that patch #11, which will add limited d-form > addre

[PATCH 1/2] [graphite] move all declarations to a same .h file

2015-11-24 Thread Sebastian Pop
--- gcc/graphite-dependences.c | 2 +- gcc/graphite-isl-ast-to-gimple.c | 3 +- gcc/graphite-isl-ast-to-gimple.h | 26 --- gcc/graphite-optimize-isl.c | 2 +- gcc/graphite-poly.c | 2 +- gcc/graphite-poly.h | 466 --

[PATCH 2/2] [graphite] fix PR67984: check for constants in rename map

2015-11-24 Thread Sebastian Pop
--- gcc/graphite-isl-ast-to-gimple.c| 98 - gcc/testsuite/gcc.dg/graphite/pr67984.c | 17 ++ 2 files changed, 77 insertions(+), 38 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/graphite/pr67984.c diff --git a/gcc/graphite-isl-ast-to-gimple.c b/g

[hsa] Back-end enhancement

2015-11-24 Thread Martin Liška
Hi. Following small series enhances HSA back-end in following manner: 1) HSA: support alloca builtin 2) HSA: dump alignment of mem and alloca instructions 3) HSA: write back OMP arguments after a kernel dispatch All patches have been committed to the branch. Martin >From 860520b994f96e3a12d85f4

Re: [PATCH, PING*4] Track indirect calls for call site information in debug info.

2015-11-24 Thread Jakub Jelinek
On Tue, Nov 24, 2015 at 05:31:11PM +0100, Pierre-Marie de Rodat wrote: > On 11/23/2015 10:11 PM, Jason Merrill wrote: > >Jakub, since DW_TAG_GNU_call_site is your feature, could you review this? > > As Jeff Law suggested in the “GCC 6 Status Report” thread, I’ve added > Alexandre Oliva to the disc

Re: [PATCH, PING*3] DWARF: materialize subprogram renamings in Ada as imported declarations

2015-11-24 Thread Pierre-Marie de Rodat
On 11/23/2015 10:00 PM, Jason Merrill wrote: DWARF changes are OK. The other changes are in the Ada front-end. Eric approved them offline already, so I’ve pushed them. By the way, a lot of changes were already merged by Arnaud Charlet a couple of days ago. Thank you both for the review! --

Re: [PATCH] Add LANG_HOOKS_EMPTY_RECORD_P for C++ empty class

2015-11-24 Thread H.J. Lu
On Tue, Nov 24, 2015 at 8:28 AM, Patrick Palka wrote: > On Tue, Nov 24, 2015 at 12:53 AM, H.J. Lu wrote: >> On Mon, Nov 23, 2015 at 7:22 PM, Patrick Palka wrote: >>> On Mon, Nov 23, 2015 at 3:53 PM, H.J. Lu wrote: On Mon, Nov 23, 2015 at 1:57 AM, Richard Biener wrote: > On Sat, N

Re: [PATCH, PING*4] PR debug/53927: fix value for DW_AT_static_link

2015-11-24 Thread Pierre-Marie de Rodat
On 08/31/2015 09:28 AM, Pierre-Marie de Rodat wrote: Ping for the patch submitted in . As Jason noticed in another thread, I forgot to attach the patch here (although it’s filed in the bug tracker). Here it is! Rebased against trunk, b

Re: [PATCH, PING*4] Track indirect calls for call site information in debug info.

2015-11-24 Thread Pierre-Marie de Rodat
On 11/23/2015 10:11 PM, Jason Merrill wrote: Jakub, since DW_TAG_GNU_call_site is your feature, could you review this? As Jeff Law suggested in the “GCC 6 Status Report” thread, I’ve added Alexandre Oliva to the discussion to review the var-tracking part. Also, I’ve rebased+bootstrapped+regt

Re: [PATCH] Add LANG_HOOKS_EMPTY_RECORD_P for C++ empty class

2015-11-24 Thread Patrick Palka
On Tue, Nov 24, 2015 at 12:53 AM, H.J. Lu wrote: > On Mon, Nov 23, 2015 at 7:22 PM, Patrick Palka wrote: >> On Mon, Nov 23, 2015 at 3:53 PM, H.J. Lu wrote: >>> On Mon, Nov 23, 2015 at 1:57 AM, Richard Biener >>> wrote: On Sat, Nov 21, 2015 at 12:46 AM, H.J. Lu wrote: > On Fri, Nov 20,

Re: [PATCH] PR 68192 Export AIX TLS symbols

2015-11-24 Thread Paolo Bonzini
Eric, can you help committing this patch to libtool? http://article.gmane.org/gmane.comp.gcc.patches/356566 Thanks, Paolo On 03/11/2015 15:23, David Edelsohn wrote: > TLS symbols in AIX display a new, different symbol type in nm output. > Libtool explicitly creates a list of exported symbols fo

Re: GCC 5.3 Status Report (2015-11-20)

2015-11-24 Thread David Edelsohn
On Sun, Nov 22, 2015 at 8:38 AM, Paolo Bonzini wrote: > > > On 20/11/2015 14:14, David Edelsohn wrote: >> On Fri, Nov 20, 2015 at 7:53 AM, Richard Biener wrote: >>> >>> Status >>> == >>> >>> We plan to do a GCC 5.3 release candidate at the end of next week >>> followed by the actual release a

Re: [PATCH] rs6000: Fix for and_operand oversight (PR68332, PR67677)

2015-11-24 Thread David Edelsohn
On Tue, Nov 24, 2015 at 2:13 AM, Segher Boessenkool wrote: > Calling rs6000_is_valid_and_mask on a reg instead of on a const_int is > not a good idea, as PR68332 and PR67677 as well as testing with > --enable-checking=yes,rtl show. Fix this. > > Bootstrapped and tested on powerpc64-linux. Is thi

Re: [RFC] [Patch] PR67326 - relax trap assumption by looking at similar DRS

2015-11-24 Thread Richard Biener
On Fri, Nov 20, 2015 at 1:02 PM, Kumar, Venkataramanan wrote: > Hi Richard, > > As per Jakub suggestion in > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67326, the below patch fixes the > regression in tree if conversion. > Basically allowing if conversion to happen for a candidate DR, if we fi

RE: [PATCH 1/4 v2][AArch64] Generalize CCMP support

2015-11-24 Thread Wilco Dijkstra
James Greenhalgh wrote: > Could you please repost this with the word-wrapping issues fixed. > I can't apply it to my tree for review or to commit it on your behalf in the current form. Here it is again, hopefully no wrapping: This patch series generalizes CCMP by adding FCCMP support and enabling

[PATCH][calls.c] PR rtl-optimization/67226: Take into account pretend_args_size when checking stack offsets for sibcall optimisation

2015-11-24 Thread Kyrill Tkachov
Hi all, This is a wrong-code PR similar to PR 65358. It occurs on targets/ABIs that can pass struct parameter partially in registers and partially on the stack. In this instance the target is arm. In this bug we hit a problem during sibcall optimisation at call expansion time where we have a p

Re: [PATCH] [ARM] neon-testgen.ml typo

2015-11-24 Thread Christophe Lyon
On 13 November 2015 at 14:36, Christophe Lyon wrote: > On 13 November 2015 at 12:24, Kyrill Tkachov wrote: >> >> On 13/11/15 11:18, Ramana Radhakrishnan wrote: Hmm. I hadn't noticed that the crypto intrinsics tests where generated by neon-testgen.ml, I thought they were hand-writte

Re: [AArch64] Rework ARMv8.1 command line options.

2015-11-24 Thread James Greenhalgh
On Mon, Nov 16, 2015 at 04:31:32PM +, Matthew Wahab wrote: > Hello, > > The command line options for target selection allow ARMv8.1 extensions > to be individually enabled/disabled. They also allow the extensions to > be enabled with -march=armv8-a. This doesn't reflect the ARMv8.1 > architect

Re: [PATCH 1/4 v2][AArch64] Generalize CCMP support

2015-11-24 Thread James Greenhalgh
On Tue, Nov 17, 2015 at 06:35:36PM +, Wilco Dijkstra wrote: > Bernd Schmidt wrote: > > Sent: 17 November 2015 22:16 > > To: Wilco Dijkstra; gcc-patches@gcc.gnu.org > > Subject: Re: [PATCH 1/4][AArch64] Generalize CCMP support > > > > On 11/13/2015 05:02 PM, Wilco Dijkstra wrote: > > > * gcc/

[PATCH] Improve verification of loop->latch in verify_loop_structure

2015-11-24 Thread Tom de Vries
[ was: Re: [PATCH] Check NULL loop->latch in verify_loop_structure ] On 23/11/15 11:28, Richard Biener wrote: On Mon, 23 Nov 2015, Tom de Vries wrote: Hi, In verify_loop_structure, we stop checking the latch once we find that it's NULL. This patch tries a bit harder: - if !LOOPS_MAY_HAVE_MUL

Re: [PATCH][ARM] PR 49526: Add support for smmul,smmla,smmls instructions

2015-11-24 Thread Yvan Roux
Hi Kyrill, On 24 November 2015 at 14:31, Kyrill Tkachov wrote: > Ping. > > Thanks, > Kyrill > > > > On 13/11/15 11:50, Kyrill Tkachov wrote: >> >> Ping. >> https://gcc.gnu.org/ml/gcc-patches/2015-11/msg00686.html >> >> Thanks, >> Kyrill >> >> On 06/11/15 17:05, Kyrill Tkachov wrote: >>> >>> Hi al

Re: [PATCH, 10/16] Add pass_oacc_kernels pass group in passes.def

2015-11-24 Thread Tom de Vries
On 24/11/15 15:33, Richard Biener wrote: On Tue, 24 Nov 2015, Tom de Vries wrote: On 24/11/15 14:13, Richard Biener wrote: On Tue, 24 Nov 2015, Tom de Vries wrote: On 23/11/15 11:02, Richard Biener wrote: On Fri, 20 Nov 2015, Tom de Vries wrote: On 20/11/15 14:29, Richard Biener wrote: I

[hsa] Redesign busy loop waiting so that a kernel dispatch signal can be reused

2015-11-24 Thread Martin Liška
Hello. Following patch is a workaround for Carrizo devices that tend to have problems with propagation of signal values due to an issue with L2. Commited to the branch. Martin >From ca4475aedb47e49b4bdc0a8980f200ec93b31d61 Mon Sep 17 00:00:00 2001 From: marxin Date: Tue, 24 Nov 2015 10:41:54 +0

[PING^2][PATCH] Improve C++ loop's backward-jump location

2015-11-24 Thread Andreas Arnez
Ping? https://gcc.gnu.org/ml/gcc-patches/2015-11/msg01192.html I guess we want C and C++ behave the same here? > gcc/cp/ChangeLog: > > * cp-gimplify.c (genericize_cp_loop): Change LOOP_EXPR's location > to start of loop body instead of start of loop. > > gcc/testsuite/ChangeLog:

Re: [PATCH AArch64]Handle REG+REG+CONST and REG+NON_REG+CONST in legitimize address

2015-11-24 Thread Richard Earnshaw
On 24/11/15 14:36, Jiong Wang wrote: > > > On 24/11/15 13:23, Richard Earnshaw wrote: >> On 24/11/15 13:06, Jiong Wang wrote: >>> >>> On 24/11/15 10:18, Richard Earnshaw wrote: I presume you are aware of the canonicalization rules for add? That is, for a shift-and-add operation, t

Re: [PATCH][AArch64] Improve add immediate expansion

2015-11-24 Thread James Greenhalgh
On Fri, Sep 25, 2015 at 12:44:40PM +0100, Wilco Dijkstra wrote: > This patch improves add immediate expansion by always expanding complex adds > into a move immediate > and an add. This enables CSE of all complex immediates. A separate split > pattern enables combine to > emit a 2-instruction add

Re: update zlib to 1.2.8

2015-11-24 Thread Joel Brobecker
> No, just a packaging issue with somebody mentioning a static binutils build. > That's when I saw the outdated version. > > Now updated in the GCC VCS. OK, if you have updated the GCC sources, would you mind updating the binutils-gdb.git as well? We should really keep the two as much in sync as

Re: [PATCH AArch64]Handle REG+REG+CONST and REG+NON_REG+CONST in legitimize address

2015-11-24 Thread Jiong Wang
On 24/11/15 13:23, Richard Earnshaw wrote: On 24/11/15 13:06, Jiong Wang wrote: On 24/11/15 10:18, Richard Earnshaw wrote: I presume you are aware of the canonicalization rules for add? That is, for a shift-and-add operation, the shift operand must appear first. Ie. (plus (shift (op, op))

Re: [PATCH, 10/16] Add pass_oacc_kernels pass group in passes.def

2015-11-24 Thread Richard Biener
On Tue, 24 Nov 2015, Tom de Vries wrote: > On 24/11/15 14:13, Richard Biener wrote: > > On Tue, 24 Nov 2015, Tom de Vries wrote: > > > > > >On 23/11/15 11:02, Richard Biener wrote: > > > > > >On Fri, 20 Nov 2015, Tom de Vries wrote: > > > > > > > > > > > > > >On 20/11/15 14:29, Richard Biener wro

Re: [PATCH, 10/16] Add pass_oacc_kernels pass group in passes.def

2015-11-24 Thread Tom de Vries
On 24/11/15 14:13, Richard Biener wrote: On Tue, 24 Nov 2015, Tom de Vries wrote: >On 23/11/15 11:02, Richard Biener wrote: > >On Fri, 20 Nov 2015, Tom de Vries wrote: > > > > >On 20/11/15 14:29, Richard Biener wrote: > > > >I agree it's somewhat of an odd behavior but all passes should > >

Re: [ptx] Fix sso tests

2015-11-24 Thread Nathan Sidwell
On 11/24/15 00:01, Jeff Law wrote: On 11/23/2015 01:54 PM, Nathan Sidwell wrote: On 11/23/15 15:41, Jeff Law wrote: In the 'put' function, why not just make all targets go through putchar? It's not like this is performance critical code and I don't think it compromises any of the tests, does

Re: [PATCH][RTL-ree] PR rtl-optimization/68194: Restrict copy instruction in presence of conditional moves

2015-11-24 Thread Bernd Schmidt
On 11/24/2015 02:15 PM, Kyrill Tkachov wrote: This bug also affects GCC 5 and 4.9. I've confirmed that this patch fixes the miscompilations on those branches. Bootstrap and test on x86_64 on the GCC 5 branch is successful. Same on 4.9 is ongoing. The patch applies cleanly to all branches. So ok t

Re: [PR68001, CilkPlus] Fix for PR68001

2015-11-24 Thread Andreas Schwab
FAIL: obj-c++.dg/property/dotsyntax-11.mm -fgnu-runtime (test for errors, line 51) FAIL: obj-c++.dg/property/dotsyntax-11.mm -fgnu-runtime (test for errors, line 56) FAIL: obj-c++.dg/property/dotsyntax-11.mm -fgnu-runtime (test for errors, line 59) Andreas. -- Andreas Schwab, SUSE Labs, sc

Re: [PATCH][RTL-ree] PR rtl-optimization/68194: Restrict copy instruction in presence of conditional moves

2015-11-24 Thread Kyrill Tkachov
On 23/11/15 15:12, Kyrill Tkachov wrote: Hi Bernd, On 20/11/15 01:41, Bernd Schmidt wrote: I1 is def_insn, I3 is cand->insn. tmp_reg is 'ax'. What we want to do is reject this transformation because the destination of def_insn (aka I1), that is 'ax', is not the operand of the extend operation

Re: [PATCH][ARM] PR 49526: Add support for smmul,smmla,smmls instructions

2015-11-24 Thread Kyrill Tkachov
Ping. Thanks, Kyrill On 13/11/15 11:50, Kyrill Tkachov wrote: Ping. https://gcc.gnu.org/ml/gcc-patches/2015-11/msg00686.html Thanks, Kyrill On 06/11/15 17:05, Kyrill Tkachov wrote: Hi all, This patch introduces support for the smmul, smmla and smmls instructions that appear in armv6 archi

Re: [PATCH] combine: Handle aborts in is_parallel_of_n_reg_sets (PR68381)

2015-11-24 Thread Kyrill Tkachov
On 24/11/15 06:37, Segher Boessenkool wrote: Some users of is_parallel_of_n_reg_sets disregard the clobbers in a parallel after it has returned "yes, this is a parallel of N sets and maybe some clobbers". But combine uses a clobber of const0_rtx to indicate substitution failure, so this leads t

Re: [v3] Handle C++11 overloads on Solaris 12

2015-11-24 Thread Rainer Orth
Jonathan Wakely writes: > On 24/11/15 13:32 +0100, Rainer Orth wrote: >>Jonathan Wakely writes: >> >>> On 17/11/15 13:33 +0100, Rainer Orth wrote: Solaris 12 recently introduced the C++11 overloads, which caused bootstrap to be broken on both mainline and the gcc-5 branch: In f

Re: [PATCH AArch64]Handle REG+REG+CONST and REG+NON_REG+CONST in legitimize address

2015-11-24 Thread Richard Earnshaw
On 24/11/15 13:06, Jiong Wang wrote: > > > On 24/11/15 10:18, Richard Earnshaw wrote: >> I presume you are aware of the canonicalization rules for add? That is, >> for a shift-and-add operation, the shift operand must appear first. Ie. >> >> (plus (shift (op, op)), op) >> >> not >> >> (plus (op

[PATCH] Fix PR68502

2015-11-24 Thread Richard Biener
This restores a check I removed when adding strided group accesses together with a better explanation and a FIXME comment how to recover the missed optimizations (not appropriate at this stage). I've added a realistic testcase from 179.art as well as an artificial one that also fails on x86_64.

Re: [PATCH, 10/16] Add pass_oacc_kernels pass group in passes.def

2015-11-24 Thread Richard Biener
On Tue, 24 Nov 2015, Tom de Vries wrote: > On 23/11/15 11:02, Richard Biener wrote: > > On Fri, 20 Nov 2015, Tom de Vries wrote: > > > > > On 20/11/15 14:29, Richard Biener wrote: > > > > I agree it's somewhat of an odd behavior but all passes should > > > > either be placed in a sub-pipeline wit

Re: [PATCH AArch64]Handle REG+REG+CONST and REG+NON_REG+CONST in legitimize address

2015-11-24 Thread Jiong Wang
On 24/11/15 10:18, Richard Earnshaw wrote: I presume you are aware of the canonicalization rules for add? That is, for a shift-and-add operation, the shift operand must appear first. Ie. (plus (shift (op, op)), op) not (plus (op, (shift (op, op)) R. Looks to me it's not optimal to gener

Re: [PATCH 1/2] Libsanitizer merge from upstream r253555.

2015-11-24 Thread Maxim Ostapenko
On 24/11/15 15:17, Christophe Lyon wrote: On 24 November 2015 at 12:57, Jakub Jelinek wrote: On Tue, Nov 24, 2015 at 02:55:26PM +0300, Maxim Ostapenko wrote: diff --git a/libsanitizer/ChangeLog b/libsanitizer/ChangeLog index c392c57..895d3bd 100644 --- a/libsanitizer/ChangeLog +++ b/libsanitiz

Re: [PATCH] Add LANG_HOOKS_EMPTY_RECORD_P for C++ empty class

2015-11-24 Thread H.J. Lu
On Mon, Nov 23, 2015 at 10:00 PM, Andrew Pinski wrote: > On Mon, Nov 23, 2015 at 9:53 PM, H.J. Lu wrote: >> On Mon, Nov 23, 2015 at 7:22 PM, Patrick Palka wrote: >>> On Mon, Nov 23, 2015 at 3:53 PM, H.J. Lu wrote: On Mon, Nov 23, 2015 at 1:57 AM, Richard Biener wrote: > On Sat, N

Re: [PATCH 12/12] always define ENABLE_OFFLOADING

2015-11-24 Thread Bernd Schmidt
On 11/23/2015 05:52 PM, Ilya Verbin wrote: There are 2 new uses of "#ifdef ENABLE_OFFLOADING" in c_parser_oacc_declare and cp_parser_oacc_declare. I don't know how to properly test OpenACC, so here is untested patch. It's documented on the Offloading wiki page, but this patch is good enough i

Re: [v3] Handle C++11 overloads on Solaris 12

2015-11-24 Thread Jonathan Wakely
On 24/11/15 12:35 +, Jonathan Wakely wrote: Ah yes, because there's a using std::acosh, which puts Solaris' new Oops, I meant "using ::acosh" not "using std::acosh" (the latter wouldn't work in C++03 mode).

Re: [PATCH] PR c/68473: sanitize source range-printing within certain macro expansions

2015-11-24 Thread Bernd Schmidt
On 11/23/2015 07:26 PM, David Malcolm wrote: In theory we could attempt to try to handle this kind of thing by looking at the macro expansions, and to print something like: 13 TEST_EQ (fmin); ^~~~ 6 if ((long)FUNC##l(xl,xl) != (long)xl) \

Re: [v3] Handle C++11 overloads on Solaris 12

2015-11-24 Thread Jonathan Wakely
On 24/11/15 13:32 +0100, Rainer Orth wrote: Jonathan Wakely writes: On 17/11/15 13:33 +0100, Rainer Orth wrote: Solaris 12 recently introduced the C++11 overloads, which caused bootstrap to be broken on both mainline and the gcc-5 branch: In file included from /vol/gcc/src/hg/trunk/local/l

Re: [PATCH] New version of libmpx with new memmove wrapper

2015-11-24 Thread Ilya Enkovich
2015-11-23 22:44 GMT+03:00 Aleksandra Tsvetkova : > gcc/testsuite/ChangeLog > +2015-10-27 Tsvetkova Alexandra > + > + * gcc.target/i386/mpx/memmove.c: New test for __mpx_wrapper_memmove. > > libmpx/ChangeLog > +2015-10-28 Tsvetkova Alexandra > + > + * mpxrt/Makefile.am (libmpx_la_LDFLAGS): Ad

Re: [v3] Handle C++11 overloads on Solaris 12

2015-11-24 Thread Rainer Orth
Jonathan Wakely writes: > On 17/11/15 13:33 +0100, Rainer Orth wrote: >>Solaris 12 recently introduced the C++11 overloads, which >>caused bootstrap to be broken on both mainline and the gcc-5 branch: >> >>In file included from >>/vol/gcc/src/hg/trunk/local/libstdc++-v3/include/precompiled/stdc

[C++ PATCH] Fix same canonical type node ICE for constrained functions (PR c++/68434)

2015-11-24 Thread Ryan Burn
This patch rearranges the step in tsubst where a type's PLACEHOLDER_TYPE_CONSTRAINTS are set so that it happens before calling the function canonical_type_parameter. canonical_type_parameter makes comparisons between types stored in the canonical_template_parms global variable. One of the steps in

[PING][PATCH, 12/16] Handle acc loop directive

2015-11-24 Thread Tom de Vries
On 09/11/15 21:06, Tom de Vries wrote: On 09/11/15 16:35, Tom de Vries wrote: Hi, this patch series for stage1 trunk adds support to: - parallelize oacc kernels regions using parloops, and - map the loops onto the oacc gang dimension. The patch series contains these patches: 1Insert

Re: [PATCH, 9/16] Add pass_parallelize_loops_oacc_kernels

2015-11-24 Thread Tom de Vries
On 16/11/15 12:59, Tom de Vries wrote: On 09/11/15 20:52, Tom de Vries wrote: On 09/11/15 16:35, Tom de Vries wrote: Hi, this patch series for stage1 trunk adds support to: - parallelize oacc kernels regions using parloops, and - map the loops onto the oacc gang dimension. The patch series co

[PING][PATCH, 3/16] Ignore reduction clause on kernels directive

2015-11-24 Thread Tom de Vries
On 09/11/15 16:50, Tom de Vries wrote: On 09/11/15 16:35, Tom de Vries wrote: Hi, this patch series for stage1 trunk adds support to: - parallelize oacc kernels regions using parloops, and - map the loops onto the oacc gang dimension. The patch series contains these patches: 1Insert

Re: [PATCH, 10/16] Add pass_oacc_kernels pass group in passes.def

2015-11-24 Thread Tom de Vries
On 23/11/15 11:02, Richard Biener wrote: On Fri, 20 Nov 2015, Tom de Vries wrote: On 20/11/15 14:29, Richard Biener wrote: I agree it's somewhat of an odd behavior but all passes should either be placed in a sub-pipeline with an outer loop_optimizer_init()/finalize () call or call both themsel

Re: [PATCH, i386] PR68497. Fix ICE with -fno-checking

2015-11-24 Thread Mikhail Maltsev
On 11/24/2015 02:43 AM, Bernd Schmidt wrote: > On 11/24/2015 12:09 AM, Mikhail Maltsev wrote: >> The attached patch fixes a problem introduced in r229567: the assertion >> >> gcc_assert (is_sse); >> >> is checked if flag_checking is false, and this causes an ICE when >> compiling with >> -fno-check

Re: [PATCH 1/2] Libsanitizer merge from upstream r253555.

2015-11-24 Thread Christophe Lyon
On 24 November 2015 at 12:57, Jakub Jelinek wrote: > On Tue, Nov 24, 2015 at 02:55:26PM +0300, Maxim Ostapenko wrote: >> diff --git a/libsanitizer/ChangeLog b/libsanitizer/ChangeLog >> index c392c57..895d3bd 100644 >> --- a/libsanitizer/ChangeLog >> +++ b/libsanitizer/ChangeLog >> @@ -1,5 +1,10 @@

Re: [PATCH, 6/16] Add pass_oacc_kernels

2015-11-24 Thread Tom de Vries
On 19/11/15 14:50, Tom de Vries wrote: On 11/11/15 11:58, Richard Biener wrote: On Mon, 9 Nov 2015, Tom de Vries wrote: On 09/11/15 16:35, Tom de Vries wrote: Hi, this patch series for stage1 trunk adds support to: - parallelize oacc kernels regions using parloops, and - map the loops onto t

Re: [PATCH/RFC] C++ FE: expression ranges (v2)

2015-11-24 Thread Marek Polacek
On Tue, Nov 24, 2015 at 05:58:30AM -0500, David Malcolm wrote: > +/* Language-dependent macro for stripping away location wrapper nodes. */ > + > +#define STRIP_LOCATION_EXPRS(EXP) \ > + while (TREE_CODE (EXP) == LOCATION_EXPR) \ > +(EXP) = TREE_OPERAND ((EXP), 0) This BTW implies that we mi

Re: [PATCH 1/2] Libsanitizer merge from upstream r253555.

2015-11-24 Thread Yury Gribov
On 11/24/2015 02:55 PM, Maxim Ostapenko wrote: On 24/11/15 14:27, Jakub Jelinek wrote: On Tue, Nov 24, 2015 at 12:23:05PM +0100, Christophe Lyon wrote: On 24 November 2015 at 12:12, Jakub Jelinek wrote: On Tue, Nov 24, 2015 at 12:08:13PM +0100, Christophe Lyon wrote: Sure. I had a build in p

  1   2   >