Re: Ping: Re: [PATCH 1/2] gcc: Remove unneeded global flag.

2016-11-16 Thread Andrew Burgess
* Bernd Schmidt [2016-11-03 13:01:32 +0100]: > On 09/14/2016 03:00 PM, Andrew Burgess wrote: > > In an attempt to get this patch merged (as I still think that its > > correct) I've investigated, and documented a little more about how I > > think things currently work. I'm

Re: Fix PR78154

2016-11-16 Thread Martin Sebor
On 11/16/2016 11:49 AM, Prathamesh Kulkarni wrote: Hi Richard, Following your suggestion in PR78154, the patch checks if stmt contains call to memmove (and friends) in gimple_stmt_nonzero_warnv_p and returns true in that case. Nice. I think the list should also include mempcpy, stpcpy, and

[patch, libfortran] Add AVX-specific matmul

2016-11-16 Thread Thomas Koenig
Hello world, the attached patch adds an AVX-specific version of the matmul intrinsic to the Fortran library. This works by using the target_clones attribute. For testing, I compiled this on powerpc64-unknown-linux-gnu, without any ill effects. Also, a resulting binary reached around 15 GFlops

Re: PR61409: -Wmaybe-uninitialized false-positive with -O2

2016-11-16 Thread Jeff Law
On 11/02/2016 11:16 AM, Aldy Hernandez wrote: Hi Jeff. As discussed in the PR, here is a patch exploring your idea of ignoring unguarded uses if we can prove that the guards for such uses are invalidated by the uninitialized operand paths being executed. This is an updated patch from my

Re: [libstdc++, testsuite] Add dg-require-thread-fence

2016-11-16 Thread Christophe Lyon
On 15 November 2016 at 12:50, Jonathan Wakely wrote: > On 14/11/16 14:32 +0100, Christophe Lyon wrote: >> >> On 20 October 2016 at 19:40, Jonathan Wakely wrote: >>> >>> On 20/10/16 10:33 -0700, Mike Stump wrote: On Oct 20, 2016, at 9:34 AM,

Re: C++ PATCH for c++/78358 (decltype and decomposition)

2016-11-16 Thread Jason Merrill
On Tue, Nov 15, 2016 at 11:31 AM, Jason Merrill wrote: > OK, (hopefully) one more patch for decltype and C++17 decomposition > declarations. I hadn't been thinking that "referenced type" meant to > look through references in the tuple case, since other parts of > [dcl.decomp]

RE: [PATCH 1/4] MIPS16/GCC: Fix DImode `casesi_internal_mips16_' assembly instructions

2016-11-16 Thread Maciej W. Rozycki
On Wed, 16 Nov 2016, Matthew Fortune wrote: > OK. I have no idea what system supports 64-bit MIPS16 but given it costs > little to improve consistency here then it is at least doing no harm. No recent real hardware I believe. Among older implementations there were the NEC Vr4111 and Vr4121

Re: [PATCH] Fix up ICEs with TREE_CONSTANT references (PR c++/78373)

2016-11-16 Thread Jakub Jelinek
On Wed, Nov 16, 2016 at 04:26:36PM -0500, Jason Merrill wrote: > On Wed, Nov 16, 2016 at 4:00 PM, Jakub Jelinek wrote: > > Jason's recent patch to turn reference vars initialized with invariant > > addresses broke the first testcase below, because >singleton > > is considered

PR78319

2016-11-16 Thread Prathamesh Kulkarni
Hi, As discussed in PR, this patch marks the test-case to xfail on arm-none-eabi. OK to commit ? Thanks, Prathamesh 2016-11-17 Prathamesh Kulkarni PR tree-optimization/78319 testsuite/ * gcc.dg/uninit-pred-8_a.c (foo): Mark dg-bogus test to

Re: PR78319

2016-11-16 Thread Jeff Law
On 11/16/2016 01:23 PM, Prathamesh Kulkarni wrote: Hi, As discussed in PR, this patch marks the test-case to xfail on arm-none-eabi. OK to commit ? You might check if Aldy's change to the uninit code helps your case (approved earlier today, so hopefully in the tree very soon). I quickly

c-family PATCH to tidy switch diagnostics (PR c/78285)

2016-11-16 Thread Marek Polacek
As pointed out in Bug 78285, some error calls should actually be inform calls. I'm not adding any new test; existing switch-5.c covers all the cases so I didn't see much value in duplicating that part of the test. Bootstrapped/regtested on x86_64-linux, ok for trunk? 2016-11-16 Marek Polacek

[PATCH v2 0/2] strncmp builtin expansion improvement

2016-11-16 Thread Aaron Sawdey
Builtin expansion of strncmp currently only happens when at least one of the string arguments is a constant string. Two pieces are needed to enable this: 1) Fix i386.md cmpstrnsi pattern. It uses repzcmpsb which does not actually test for the zero byte ending the string. So this is only a valid

Re: [PATCH] Fix NetBSD bootstrap

2016-11-16 Thread Mike Stump
> On Nov 16, 2016, at 11:23 AM, Krister Walfridsson > wrote: > > On Wed, 16 Nov 2016, Mike Stump wrote: > >> Looks reasonable. The biggest issue would be if any of those values changed >> through time, and the current version works for older netbsd releases,

Re: [patch, libfortran] Add AVX-specific matmul

2016-11-16 Thread Jakub Jelinek
On Wed, Nov 16, 2016 at 10:30:03PM +0100, Thomas Koenig wrote: > the attached patch adds an AVX-specific version of the matmul > intrinsic to the Fortran library. This works by using the target_clones > attribute. Don't you need to test in configure if the assembler supports AVX? Otherwise if

[PING^2][PATCH][aarch64] Improve Logical And Immediate Expressions

2016-11-16 Thread Michael Collison
Ping^2. Link to original post: https://gcc.gnu.org/ml/gcc-patches/2016-10/msg02305.html

[PATCH] PR fortran/58001 -- Handle tab in FORMAT

2016-11-16 Thread Steve Kargl
An earlier version of the attached patch lingered in bugzilla for over 3 years. I've updated the patch to include Manuel's comment #12. Regression tested on x86_64-*-freebsd. OK to commit? 2016-11-16 Steven G. Kargl PR fortran/58001 * io.c

Re: [PATCH] Fix up ICEs with TREE_CONSTANT references (PR c++/78373)

2016-11-16 Thread Jason Merrill
On Wed, Nov 16, 2016 at 4:00 PM, Jakub Jelinek wrote: > Jason's recent patch to turn reference vars initialized with invariant > addresses broke the first testcase below, because >singleton > is considered TREE_CONSTANT (because self is TREE_CONSTANT VAR_DECL and > singleton

Re: [patch,libgfortran] PR51119 - MATMUL slow for large matrices

2016-11-16 Thread Jerry DeLisle
Committed after approval on bugzilla to eliminate warnings. 2016-11-16 Jerry DeLisle PR libgfortran/51119 * Makefile.am: Remove -fno-protect-parens -fstack-arrays. * Makefile.in: Regenerate. r242517 = 026291bdda18395d7c746856dd7e4ed384856a1b

[PATCH v2 1/2, i386] cmpstrnsi needs string length

2016-11-16 Thread Aaron Sawdey
This patch adds a test to the cmpstrnsi pattern in i386.md so that it will bail out (FAIL) if neither of the strings is a constant string. It can only work as a proper strncmp if the length is not longer than both of the strings. This change is required if expand_builtin_strncmp is going to try

[PATCH v2 2/2, expand] make expand_builtin_strncmp more general

2016-11-16 Thread Aaron Sawdey
This patch makes expand_builtin_strncmp attempt to expand via cmpstrnsi even if neither of the string arguments are string constants. 2016-11-16  Aaron Sawdey   * builtins.c (expand_builtin_strncmp): Attempt expansion of strncmp via cmpstrnsi even if

Re: [2/9] Encoding support for AArch64 DWARF operations

2016-11-16 Thread Jason Merrill
On Wed, Nov 16, 2016 at 12:50 PM, Jason Merrill wrote: > On Fri, Nov 11, 2016 at 1:33 PM, Jiong Wang wrote: >> The encoding for new added AARCH64 DWARF operations. > > This patch seems rather incomplete; I only see a change to > dwarf2out.c, which won't

Re: [PATCH] Follow-up patch on enabling new AVX512 instructions

2016-11-16 Thread Uros Bizjak
On Tue, Nov 15, 2016 at 10:50 PM, Andrew Senkevich wrote: > Hi, > > this is follow-up with tests for new __target__ attributes and > __builtin_cpu_supports update. > > gcc/ > * config/i386/i386.c (processor_features): Add > F_AVX5124VNNIW,

[PATCH] Fix up ICEs with TREE_CONSTANT references (PR c++/78373)

2016-11-16 Thread Jakub Jelinek
Hi! Jason's recent patch to turn reference vars initialized with invariant addresses broke the first testcase below, because >singleton is considered TREE_CONSTANT (because self is TREE_CONSTANT VAR_DECL and singleton field has constant offset), but after going into SSA form it is not supposed to

[PATCH] Fix combine's make_extraction (PR rtl-optimization/78378)

2016-11-16 Thread Jakub Jelinek
Hi! If inner is a MEM, make_extraction requires that pos is a multiple of bytes and deals with offsetting it. Or otherwise requires that pos is a multiple of BITS_PER_WORD and for REG inner it handles that too. But if inner is something different, it calls just force_to_mode to the target mode,

Re: [PATCH] Fix NetBSD bootstrap

2016-11-16 Thread Krister Walfridsson
On Wed, 16 Nov 2016, Mike Stump wrote: Looks reasonable. The biggest issue would be if any of those values changed through time, and the current version works for older netbsd releases, the patch could break them. Of course, I don't have any visibility into how any of those values might

Re: [PATCH] Handle --enable-checking={yes,assert,release} in libcpp (PR bootstrap/72823)

2016-11-16 Thread Richard Biener
On November 16, 2016 7:22:51 PM GMT+01:00, Jakub Jelinek wrote: >Hi! > >As mentioned in the PR, libcpp uses gcc_assert in a couple of places, >but guards it with ENABLE_ASSERT_CHECKING macro that is never defined >in libcpp. > >This patch arranges for it to be defined if

Re: Ping: Re: [PATCH 1/2] gcc: Remove unneeded global flag.

2016-11-16 Thread Mike Stump
On Nov 16, 2016, at 12:09 PM, Andrew Burgess wrote: > My only remaining concern is the new tests, I've tried to restrict > them to targets that I suspect they'll pass on with: > >/* { dg-final-use { scan-assembler "\.section\[\t >

RE: [PATCH] microMIPS/GCC: Fix PIC call relaxation

2016-11-16 Thread Maciej W. Rozycki
On Wed, 16 Nov 2016, Matthew Fortune wrote: > > Fix `-mrelax-pic-calls' support for microMIPS code where the relocation > > produced is supposed to be R_MICROMIPS_JALR rather than R_MIPS_JALR. > > The lack of short delay support comes from a missed update to this code > > for microMIPS support

Re: Fix PR78154

2016-11-16 Thread Marc Glisse
On Wed, 16 Nov 2016, Martin Sebor wrote: On 11/16/2016 11:49 AM, Prathamesh Kulkarni wrote: Hi Richard, Following your suggestion in PR78154, the patch checks if stmt contains call to memmove (and friends) in gimple_stmt_nonzero_warnv_p and returns true in that case. Nice. I think the list

Re: [patch, libfortran] Add AVX-specific matmul

2016-11-16 Thread Jerry DeLisle
On 11/16/2016 01:30 PM, Thomas Koenig wrote: Hello world, the attached patch adds an AVX-specific version of the matmul intrinsic to the Fortran library. This works by using the target_clones attribute. For testing, I compiled this on powerpc64-unknown-linux-gnu, without any ill effects.

Re: Fix PR78154

2016-11-16 Thread Martin Sebor
On 11/16/2016 02:21 PM, Marc Glisse wrote: On Wed, 16 Nov 2016, Martin Sebor wrote: On 11/16/2016 11:49 AM, Prathamesh Kulkarni wrote: Hi Richard, Following your suggestion in PR78154, the patch checks if stmt contains call to memmove (and friends) in gimple_stmt_nonzero_warnv_p and returns

Re: Ping: Re: [PATCH 1/2] gcc: Remove unneeded global flag.

2016-11-16 Thread Andrew Burgess
* Mike Stump [2016-11-16 12:59:53 -0800]: > On Nov 16, 2016, at 12:09 PM, Andrew Burgess > wrote: > > My only remaining concern is the new tests, I've tried to restrict > > them to targets that I suspect they'll pass on with: > > > >/* {

Re: ubsan PATCH to fix compile-time hog with operator overloading (PR sanitizer/78208)

2016-11-16 Thread Marek Polacek
On Fri, Nov 04, 2016 at 05:16:00PM +0100, Jakub Jelinek wrote: > On Fri, Nov 04, 2016 at 05:05:51PM +0100, Marek Polacek wrote: > > This is a similar case to PR sanitizer/70342. Here, we were generating > > expression > > in a quadratic fashion because of the initializer--we create SAVE_EXPR <>,

Re: [PATCH] Fix NetBSD bootstrap

2016-11-16 Thread Joseph Myers
I'll presume you know best about the choices of stdint.h types. You may wish to consider what the correct value of use_gcc_stdint is - the default "none" (rely on the system's header), or "wrap" (use GCC's header in freestanding mode) or "provide" (always use GCC's header). Note that GCC's

Re: RFA: PATCH to gengtype to avoid putting tree_node support in front end objects

2016-11-16 Thread Jason Merrill
On Wed, Nov 16, 2016 at 1:45 PM, Moore, Catherine wrote: > /scratch/cmoore/mips-sde-elf-upstream/src/gcc-trunk-6/gcc/hash-map.h:62:12: > error: no matching function for call to 'gt_ggc_mx(rtx_def*&)' > > I configured with --target=mips-sde-elf, but I do have some

Re: [PATCH] Fix combine's make_extraction (PR rtl-optimization/78378)

2016-11-16 Thread Segher Boessenkool
On Wed, Nov 16, 2016 at 10:07:23PM +0100, Jakub Jelinek wrote: > If inner is a MEM, make_extraction requires that pos is a multiple of bytes > and deals with offsetting it. Or otherwise requires that pos is a multiple > of BITS_PER_WORD and for REG inner it handles that too. But if inner > is

Re: [patch, libfortran] Add AVX-specific matmul

2016-11-16 Thread Jakub Jelinek
On Thu, Nov 17, 2016 at 12:03:18AM +0100, Thomas Koenig wrote: > >Don't you need to test in configure if the assembler supports AVX? > >Otherwise if somebody is bootstrapping gcc with older assembler, it will > >just fail to bootstrap. > > That's a good point. The AVX instructions were added in

Re: Fix PR78154

2016-11-16 Thread Martin Sebor
On 11/16/2016 05:17 PM, Martin Sebor wrote: On 11/16/2016 02:21 PM, Marc Glisse wrote: On Wed, 16 Nov 2016, Martin Sebor wrote: On 11/16/2016 11:49 AM, Prathamesh Kulkarni wrote: Hi Richard, Following your suggestion in PR78154, the patch checks if stmt contains call to memmove (and friends)

Re: [patch, libfortran] Add AVX-specific matmul

2016-11-16 Thread Thomas Koenig
Am 16.11.2016 um 23:01 schrieb Jakub Jelinek: On Wed, Nov 16, 2016 at 10:30:03PM +0100, Thomas Koenig wrote: the attached patch adds an AVX-specific version of the matmul intrinsic to the Fortran library. This works by using the target_clones attribute. Don't you need to test in configure if

Re: c-family PATCH to tidy switch diagnostics (PR c/78285)

2016-11-16 Thread Joseph Myers
On Wed, 16 Nov 2016, Marek Polacek wrote: > As pointed out in Bug 78285, some error calls should actually be inform calls. > I'm not adding any new test; existing switch-5.c covers all the cases so I > didn't > see much value in duplicating that part of the test. > > Bootstrapped/regtested on

Re: [PATCH] libiberty: Add Rust symbol demangling.

2016-11-16 Thread David Tolnay
FSF just confirmed that my assignment/disclaimer process has been completed. Ian can you take a look at your list again? David On Fri, Nov 11, 2016 at 1:48 PM, David Tolnay wrote: > On Fri, Nov 11, 2016 at 10:46 AM, Ian Lance Taylor wrote: >> The patch is OK

Re: [PATCH] libiberty: Add Rust symbol demangling.

2016-11-16 Thread Ian Lance Taylor
On Wed, Nov 16, 2016 at 2:18 PM, David Tolnay wrote: > FSF just confirmed that my assignment/disclaimer process has been > completed. Ian can you take a look at your list again? Yes, you are good. Thanks. Ian

Re: [PATCH] libiberty: Add Rust symbol demangling.

2016-11-16 Thread Mark Wielaard
On Wed, Nov 16, 2016 at 02:56:03PM -0800, Ian Lance Taylor wrote: > On Wed, Nov 16, 2016 at 2:18 PM, David Tolnay wrote: > > FSF just confirmed that my assignment/disclaimer process has been > > completed. Ian can you take a look at your list again? > > Yes, you are good.

Re: [PATCH] Fix NetBSD bootstrap

2016-11-16 Thread Mike Stump
> On Nov 16, 2016, at 9:12 AM, Krister Walfridsson > wrote: > > NetBSD fails bootstrap with > stdatomic.h:55:17: error: unknown type name '__INT_LEAST8_TYPE__' > This is fixed by the following patch (only i386 and x86_64 for now. I'll > do the other ports after

Re: [PATCH] Fix PR77848

2016-11-16 Thread Bill Schmidt
On 11/16/16 9:08 AM, Richard Biener wrote: > On Tue, Nov 15, 2016 at 9:03 PM, Bill Schmidt > wrote: >> - if ((any_pred_load_store || any_complicated_phi) >> - && !version_loop_for_if_conversion (loop)) >> + /* Since we have no cost model, always version loops

Re: [patch, libfortran] Add AVX-specific matmul

2016-11-16 Thread Thomas Koenig
Am 17.11.2016 um 00:20 schrieb Jakub Jelinek: On Thu, Nov 17, 2016 at 12:03:18AM +0100, Thomas Koenig wrote: Don't you need to test in configure if the assembler supports AVX? Otherwise if somebody is bootstrapping gcc with older assembler, it will just fail to bootstrap. That's a good point.

Re: [patch, libfortran] Add AVX-specific matmul

2016-11-16 Thread Janne Blomqvist
On Thu, Nov 17, 2016 at 9:41 AM, Thomas Koenig wrote: > Am 17.11.2016 um 00:20 schrieb Jakub Jelinek: >> >> On Thu, Nov 17, 2016 at 12:03:18AM +0100, Thomas Koenig wrote: Don't you need to test in configure if the assembler supports AVX? Otherwise if somebody

Re: PR78319

2016-11-16 Thread Prathamesh Kulkarni
On 17 November 2016 at 03:20, Jeff Law wrote: > On 11/16/2016 01:23 PM, Prathamesh Kulkarni wrote: >> >> Hi, >> As discussed in PR, this patch marks the test-case to xfail on >> arm-none-eabi. >> OK to commit ? > > You might check if Aldy's change to the uninit code helps your

Re: Fix PR78154

2016-11-16 Thread Jeff Law
On 11/16/2016 05:17 PM, Martin Sebor wrote: (I've heard some noise in C++-land about making memcpy(0,0,0) valid, but that may have just been noise) We may have read the same discussion. It would make some things a little easier in C++ (and remove what most people view as yet another

Re: [PATCH,gcc/MIPS] Make loongson3a use fused madd.d

2016-11-16 Thread Paul Hua
ping... On Thu, Nov 3, 2016 at 7:58 PM, Paul Hua wrote: > Hi Matthew, > > Thanks for your comments, update the patch. > > *** gcc/ChangeLog *** > > 2016-11-03 Chenghua Xu > > * config/mips/mips.h (ISA_HAS_FUSED_MADD4): Enable for >

RE: RFA: PATCH to gengtype to avoid putting tree_node support in front end objects

2016-11-16 Thread Moore, Catherine
> -Original Message- > From: gcc-patches-ow...@gcc.gnu.org [mailto:gcc-patches- > ow...@gcc.gnu.org] On Behalf Of Jakub Jelinek > Sent: Thursday, November 10, 2016 7:53 AM > To: Jason Merrill > Cc: gcc-patches List > Subject: Re: RFA: PATCH to

Re: [PATCH][2/2] GIMPLE Frontend, middle-end changes

2016-11-16 Thread Jeff Law
On 10/28/2016 05:51 AM, Richard Biener wrote: These are the middle-end changes and additions to the testsuite. They are pretty self-contained, I've organized the changelog entries below in areas of changes: 1) dump changes - we add a -gimple dump modifier that allows most function dumps to

Fix PR78154

2016-11-16 Thread Prathamesh Kulkarni
Hi Richard, Following your suggestion in PR78154, the patch checks if stmt contains call to memmove (and friends) in gimple_stmt_nonzero_warnv_p and returns true in that case. Bootstrapped+tested on x86_64-unknown-linux-gnu. Cross-testing on arm*-*-*, aarch64*-*-* in progress. Would it be OK to

Re: [PATCH v2] bb-reorder: Improve compgotos pass (PR71785)

2016-11-16 Thread Jeff Law
On 11/01/2016 10:27 AM, Segher Boessenkool wrote: For code like the testcase in PR71785 GCC factors all the indirect branches to a single dispatcher that then everything jumps to. This is because having many indirect branches with each many jump targets does not scale in large parts of the

Re: [RFC PATCH] avoid printing type suffix with %E

2016-11-16 Thread Martin Sebor
On 11/16/2016 11:34 AM, Jeff Law wrote: On 10/26/2016 10:37 AM, Martin Sebor wrote: When formatting an integer constant using the %E directive GCC includes a suffix that indicates its type. This can perhaps be useful in some situations but in my experience it's distracting and gets in the way

Re: Fix PR78154

2016-11-16 Thread Jakub Jelinek
On Thu, Nov 17, 2016 at 12:19:37AM +0530, Prathamesh Kulkarni wrote: > --- a/gcc/tree-vrp.c > +++ b/gcc/tree-vrp.c > @@ -1069,6 +1069,34 @@ gimple_assign_nonzero_warnv_p (gimple *stmt, bool > *strict_overflow_p) > } > } > > +/* Return true if STMT is known to contain call to a

Re: [PATCH][GCC/TESTSUITE] Make test for traditional-cpp depend on

2016-11-16 Thread Mike Stump
On Nov 16, 2016, at 7:57 AM, Tamar Christina wrote: > > Forgot to include the committed patch. >>> This is causing all test names to depend on $srcdir. A test name >>> should never include the value of $srcdir. >> >> Sorry about that, committed a fix as r242500 under

Re: [PATCH][GCC/TESTSUITE] Make test for traditional-cpp depend on

2016-11-16 Thread Mike Stump
On Nov 16, 2016, at 10:58 AM, Mike Stump wrote: > > Yeah, I easily could have approved it as well, so no worries. Oh. I see I did approve the original patch, sorry for not catching it. Thanks for all your work.

Re: [PATCH] Support -fsanitize=integer-arith-overflow even for vectors (PR sanitizer/77823)

2016-11-16 Thread Richard Biener
On Tue, 15 Nov 2016, Jakub Jelinek wrote: > Hi! > > On Mon, Nov 14, 2016 at 10:58:51AM +0100, Jakub Jelinek wrote: > > Working virtually out of Samoa. > > > > The following patch is an attempt to handle -fsanitize=undefined > > for vectors. We already diagnose out of bounds accesses for vector

Re: [PATCH, vec-tails] Support loop epilogue vectorization

2016-11-16 Thread Richard Biener
On Tue, 15 Nov 2016, Yuri Rumyantsev wrote: > Hi All, > > Here is patch for non-masked epilogue vectoriziation. > > Bootstrap and regression testing did not show any new failures. > > Is it OK for trunk? Ok for trunk. I believe we ultimatively want to remove the new --param and enable this

Re: [RFC][PATCH] Speed-up use-after-scope (re-writing to SSA)

2016-11-16 Thread Jakub Jelinek
On Wed, Nov 16, 2016 at 01:25:04PM +0100, Martin Liška wrote: > > + > +/* Expand the ASAN_{LOAD,STORE} builtins. */ Stale comment. > + > +bool > +asan_expand_poison_ifn (gimple_stmt_iterator *iter, > + bool *need_commit_edge_insert) > +{ ... > + use_operand_p use_p; > +

Re: [1/9][RFC][DWARF] Reserve three DW_OP numbers in vendor extension space

2016-11-16 Thread Mark Wielaard
On Wed, 2016-11-16 at 10:00 +, Jiong Wang wrote: > The two operations DW_OP_AARCH64_paciasp and DW_OP_AARCH64_paciasp_deref > were > designed as shortcut operations when LR is signed with A key and using > function's CFA as salt. This is the default behaviour of return address > signing so

Re: [1/9][RFC][DWARF] Reserve three DW_OP numbers in vendor extension space

2016-11-16 Thread Jakub Jelinek
On Wed, Nov 16, 2016 at 02:54:56PM +0100, Mark Wielaard wrote: > On Wed, 2016-11-16 at 10:00 +, Jiong Wang wrote: > > The two operations DW_OP_AARCH64_paciasp and DW_OP_AARCH64_paciasp_deref > > were > > designed as shortcut operations when LR is signed with A key and using > > function's

[PATCH, ARM] Add vfpv2 and neon-vfpv3

2016-11-16 Thread Richard Earnshaw (lists)
The options -mfpu=neon and -mfpu=vfp have always meant a specific version of neon and vfp, but common usage seems to misunderstand this. To help clarify things I've added a couple of new option values to the -mfpu= option and have now documented the existing names as aliases. As discussed at the

Re: [PATCH] Fix PR78305

2016-11-16 Thread Marc Glisse
On Wed, 16 Nov 2016, Richard Biener wrote: On Wed, 16 Nov 2016, Marc Glisse wrote: On Wed, 16 Nov 2016, Richard Biener wrote: I am testing the following to avoid undefined behavior when negating a multiplication (basically extending a previous fix to properly handle negative power of two).

Re: [PATCH 9/9] Add "__RTL" to cc1 (v4)

2016-11-16 Thread Richard Biener
On Tue, Nov 15, 2016 at 10:07 PM, David Malcolm wrote: > On Mon, 2016-11-14 at 16:14 +0100, Richard Biener wrote: >> On Fri, Nov 11, 2016 at 10:15 PM, David Malcolm >> wrote: >> > Changed in this version: >> > >> > * Rather than running just one pass,

Re: Fix nb_iterations calculation in tree-vect-loop-manip.c

2016-11-16 Thread Richard Biener
On Tue, Nov 15, 2016 at 4:54 PM, Richard Sandiford wrote: > Richard Biener writes: >> On Tue, Nov 15, 2016 at 1:44 PM, Richard Sandiford >> wrote: >>> We previously stored the number of loop iterations rather >>>

RE: [PATCH 3/3] MIPS/GCC: Mark trailing labels with `.insn'

2016-11-16 Thread Matthew Fortune
Maciej Rozycki writes: > On Mon, 14 Nov 2016, Matthew Fortune wrote: > > > > This however requires the correct annotation of branch targets as > > > code, because the ISA mode is not relevant for data symbols and is > > > therefore not recorded for them. > > > > I

Re: [RFC][PATCH] Speed-up use-after-scope (re-writing to SSA)

2016-11-16 Thread Martin Liška
On 11/16/2016 01:25 PM, Martin Liška wrote: > Hello > > Following patch is a candidate that re-writes VAR_DECLs that are > is_gimple_reg_type with: > my_char_25 = ASAN_POISON (); > > that is eventually transformed to: > __builtin___asan_report_use_after_scope_noabort ("my_char", 1); > > at

Re: [PATCH] Add sem_item::m_hash_set (PR ipa/78309) (v2)

2016-11-16 Thread Martin Liška
On 11/15/2016 05:46 PM, Jan Hubicka wrote: > Yep, zero is definitly valid hash value:0 > > Patch is OK. We may consider backporting it to release branches. > Honza Thanks, sending v2 as I found an error in the previous version. Changes from last version: - comments for ctors are just in header

Re: [PATCH][PPC] Fix ICE using power9 with soft-float

2016-11-16 Thread Michael Meissner
On Tue, Nov 15, 2016 at 09:11:56PM +, Andrew Stubbs wrote: > On 15/11/16 21:06, Michael Meissner wrote: > >Now, that I have a little time, I can look into this, to at least make > >predicate and peepholes match. There is some other stuff (support for the > >new > >load/store that were added

Re: [PATCH, Fortran, pr78356, v1] [7 Regression] [OOP] segfault allocating polymorphic variable with polymorphic component with allocatable component

2016-11-16 Thread Andre Vehreschild
Hi Janus, thanks for the quick review. Committed as r242490. Regards, Andre On Tue, 15 Nov 2016 22:24:43 +0100 Janus Weil wrote: > Hi Andre, > > > attached patch fixes the issue raised. The issue here was, that a copy of > > the base class was generated and its

[Patch, testsuite] Fix bogus Wlogical-op-1.c test failure for avr

2016-11-16 Thread Senthil Kumar Selvaraj
Hi, The below patch fixes c-c++-common/Wlogical-op-1.c for avr by explicitly typedef'ing __INT32_TYPE for int and __INT16_TYPE__ for short if the target's int size is less than 4 bytes. The test assumes short is always smaller than int, and therefore does not expect a warning when the

[PATCH] Fix PR78333

2016-11-16 Thread Richard Biener
Since GCC 4.6 we aggressively prune bodies of GNU extern inline functions which means that instrumenting them via -finstrument-functions doesn't work because that takes the address of the function. Fixed by not instrumenting those functions (we still instrument regular always-inline functions

Re: [PATCH, GCC/ARM] Fix ICE when compiling empty FIQ interrupt handler in ARM mode

2016-11-16 Thread Kyrill Tkachov
On 09/11/16 16:19, Thomas Preudhomme wrote: Hi, This patch fixes the following ICE when building when compiling an empty FIQ interrupt handler in ARM mode: empty_fiq_handler.c:5:1: error: insn does not satisfy its constraints: } ^ (insn/f 13 12 14 (set (reg/f:SI 13 sp) (plus:SI

Re: [PATCH] Fix PR78306

2016-11-16 Thread Richard Biener
On Tue, 15 Nov 2016, Richard Biener wrote: > > Appearantly for some unknown reason we refuse to inline anything into > functions calling cilk_spawn. That breaks fortified headers and > all other always-inline function calls (intrinsics come to my mind as > well). > > Bootstrapped and tested

Re: Add more subreg offset helpers

2016-11-16 Thread Richard Sandiford
Eric Botcazou writes: >> Provide versions of subreg_lowpart_offset and subreg_highpart_offset >> that work on mode sizes rather than modes. Also provide a routine >> that converts an lsb position to a subreg offset. > > The position is in bits but all the other parameters

Re: [1/9][RFC][DWARF] Reserve three DW_OP numbers in vendor extension space

2016-11-16 Thread Jiong Wang
On 15/11/16 19:25, Richard Earnshaw (lists) wrote: On 15/11/16 16:48, Jiong Wang wrote: On 15/11/16 16:18, Jakub Jelinek wrote: I know nothing about the aarch64 return address signing, would all 3 or say 2 usually appear together without any separate pc advance, or are they all going to appear

Re: An alternative fix for PR70944

2016-11-16 Thread Richard Sandiford
Segher Boessenkool writes: > On Tue, Nov 15, 2016 at 12:33:06PM +, Richard Sandiford wrote: >> The transformations made by make_compound_operation apply >> only to scalar integer modes. The fix for PR70944 had enforced >> that by returning early for vector modes

Re: Add more subreg offset helpers

2016-11-16 Thread Eric Botcazou
> Provide versions of subreg_lowpart_offset and subreg_highpart_offset > that work on mode sizes rather than modes. Also provide a routine > that converts an lsb position to a subreg offset. The position is in bits but all the other parameters and the return value are in bytes so IMO this is a

[PATCH] Fix PR78348

2016-11-16 Thread Richard Biener
This should fix a performance regression caused by recent loop distribution improvements. It trivially uses dependence analysis (in addition to the existing alias oracle query) to determine if we can use memcpy instead of memmove (no attempt is made yet to cover the case where the dependence

[PATCH][ARM] PR target/78364: Add proper restrictions to zero and sign_extract patterns operands

2016-11-16 Thread Kyrill Tkachov
Hi all, This patch fixes the arm build failure due to out of range ubfx operands. Combine now more aggressively generates zero_extracts and it's up to the backend to reject invalid bit offsets and widths. And arm seems to suffer from the same problems as aarch64 and s390 did in PR 77822. My

[committed] Fix pdp11 build

2016-11-16 Thread Richard Sandiford
Needed this to test the effect of the SVE patches on other targets. Tested on pdp11 and committed as obvious. Thanks, Richard gcc/ * config/pdp11/pdp11.c: Include dbxout.h. diff --git a/gcc/config/pdp11/pdp11.c b/gcc/config/pdp11/pdp11.c index 1dc3eef..8e2de14 100644 ---

[PATCH] Fix PR78305

2016-11-16 Thread Richard Biener
I am testing the following to avoid undefined behavior when negating a multiplication (basically extending a previous fix to properly handle negative power of two). Bootstrap / regtest running on x86_64-unknown-linux-gnu. Richard. 2016-11-16 Richard Biener PR

[patch, nios2] Fix PR78357, adjust sync builtin initialization

2016-11-16 Thread Chung-Lin Tang
This patch adjusts the initialization of __sync built-in functions: instead of conditionalizing on TARGET_LINUX_ABI, directly place the target-hook #define in config/nios2/linux.h. This appears to be in line with other similar ports, e.g. m68k. Sebastian, this should solve your issue of not

[ARC] Fix missing brackets in arc.c

2016-11-16 Thread Richard Sandiford
The old code still built thanks to the brackets in the definition of XVECEXP. Tested on arc-elf and committed as obvious. Thanks, Richard gcc/ * config/arc/arc.c (arc_loop_hazard): Add missing brackets. diff --git a/gcc/config/arc/arc.c b/gcc/config/arc/arc.c index 3bce7ef..98c7298

[PATCH] [ARC] Add support for QuarkSE processor.

2016-11-16 Thread Claudiu Zissulescu
Updated QuarkSE patch. Ok to apply? Claudiu gcc/ 2016-05-25 Claudiu Zissulescu * config/arc/arc-arches.def: Add FPX quarkse instruction as valid for arcem. * config/arc/arc-c.def (__ARC_FPX_QUARK__): Define. * config/arc/arc-cpus.def

RE: [PATCH 1/4] MIPS16/GCC: Fix DImode `casesi_internal_mips16_' assembly instructions

2016-11-16 Thread Matthew Fortune
Maciej Rozycki writes: > gcc/ > config/mips/mips.md (casesi_internal_mips16_): Add missing >instruction prefixes throughout. Correct formatting. > > gcc/testsuite/ > * gcc.target/mips/code-readable-4.c (dg-final): Expect `dla' >

RE: [PATCHv2 0/7] ARC: Add support for nps400 variant

2016-11-16 Thread Claudiu Zissulescu
Approved and committed: Committed r24248 //Claudiu > -Original Message- > From: Andrew Burgess [mailto:andrew.burg...@embecosm.com] > Sent: Saturday, April 30, 2016 12:17 AM > To: Claudiu Zissulescu ; Joern Wolfgang > Rennecke > Cc:

Re: Rework subreg_get_info

2016-11-16 Thread Eric Botcazou
> This isn't intended to change the behaviour, just rewrite the > existing logic in a different (and hopefully clearer) way. Yes, I agree that it's an improvement. A few remarks below. > diff --git a/gcc/rtlanal.c b/gcc/rtlanal.c > index ca6cced..7c0acf5 100644 > --- a/gcc/rtlanal.c > +++

[PATCH 1/4] [ARC] Various fixes.

2016-11-16 Thread Claudiu Zissulescu
The ifconversion was failing because a move involving the lp_count was not match by movsi_ne. This patch updates the constraints such that movsi_ne will match. The failing test is dg-torture.exp=pr68955.c for archs and without small data. gcc/ 2016-07-11 Claudiu Zissulescu

[RFC][PATCH] Speed-up use-after-scope (re-writing to SSA)

2016-11-16 Thread Martin Liška
Hello Following patch is a candidate that re-writes VAR_DECLs that are is_gimple_reg_type with: my_char_25 = ASAN_POISON (); that is eventually transformed to: __builtin___asan_report_use_after_scope_noabort ("my_char", 1); at places where my_char_25 is used. That introduces a new entry point

Re: An alternative fix for PR70944

2016-11-16 Thread Segher Boessenkool
On Wed, Nov 16, 2016 at 10:16:16AM +, Richard Sandiford wrote: > Segher Boessenkool writes: > > On Tue, Nov 15, 2016 at 12:33:06PM +, Richard Sandiford wrote: > >> The transformations made by make_compound_operation apply > >> only to scalar integer modes. The

RE: [PATCH] microMIPS/GCC: Fix PIC call relaxation

2016-11-16 Thread Matthew Fortune
Maciej Rozycki writes: > Fix `-mrelax-pic-calls' support for microMIPS code where the relocation > produced is supposed to be R_MICROMIPS_JALR rather than R_MIPS_JALR. > The lack of short delay support comes from a missed update to this code > for microMIPS support and

RE: [PATCH 3/4] MIPS16/GCC: Improve `casesi_internal_mips16_'s instruction count estimate

2016-11-16 Thread Matthew Fortune
Maciej Rozycki writes: > gcc/ > * config/mips/mips.md (casesi_internal_mips16_): Set > `insn_count' to 11 rather than 16. > --- > OK to apply? Good catch again. OK. Thanks, Matthew

RE: [PATCH 2/4] MIPS16/GCC: Correct `casesi_internal_mips16_'s RTL pattern

2016-11-16 Thread Matthew Fortune
Maciej Rozycki writes: > gcc/ > * config/mips/mips.md (casesi_internal_mips16_): Use the > `ltu' rather than `leu' operation in the RTL pattern > --- > OK to apply? Good spot. OK to commit. Thanks, Matthew

Re: [PATCH][PR sanitizer/78307] Fix missing symbols in libubsan after recent merge.

2016-11-16 Thread Jakub Jelinek
On Fri, Nov 11, 2016 at 06:32:43PM +0300, Maxim Ostapenko wrote: > Tested on x86_64-unknown-linux-gnu. OK for mainline? Ok (though the LOCAL_PATCHES file is missing in the patch). > libsanitizer/ChangeLog: > > 2016-11-11 Maxim Ostapenko > > PR sanitizer/78307

Re: [PATCH] Fix PR78305

2016-11-16 Thread Richard Biener
On Wed, 16 Nov 2016, Marc Glisse wrote: > On Wed, 16 Nov 2016, Richard Biener wrote: > > > I am testing the following to avoid undefined behavior when negating > > a multiplication (basically extending a previous fix to properly handle > > negative power of two). > > > > Bootstrap / regtest

Re: [PATCH] Fix PR sanitizer/78270 (part 2)

2016-11-16 Thread Martin Liška
I'm pinging this as it breaks ASAN bootstrap. On 11/11/2016 02:44 PM, Martin Liška wrote: > Hello. > > Due to a stupid mistake I did, following patch is needed for the test-case > to properly save previous gimplify_ctxp->live_switch_vars. > > Patch can bootstrap on ppc64le-redhat-linux and

Re: [PATCH] Fix PR sanitizer/78270 (part 2)

2016-11-16 Thread Jakub Jelinek
On Fri, Nov 11, 2016 at 02:44:40PM +0100, Martin Liška wrote: > Hello. > > Due to a stupid mistake I did, following patch is needed for the test-case > to properly save previous gimplify_ctxp->live_switch_vars. > > Patch can bootstrap on ppc64le-redhat-linux and survives regression tests. > I

  1   2   >