[PATCH] add a gimple test for PR21458

2016-10-31 Thread tbsaunde+gcc
From: Trevor Saunders A demonstration we can do the same thing with a gimple test as -fno-tree-evrp but somewhat more precisely. I tested this passes on x86_64-linux-gnu, ok? Trev gcc/testsuite/ChangeLog: 2016-10-31 Trevor Saunders * gcc.dg/tree-ssa/pr21458-3.c: New test. --- gc

Re: [PATCH] Fix PR77407

2016-10-31 Thread Richard Biener
On Fri, 28 Oct 2016, Marc Glisse wrote: > On Wed, 28 Sep 2016, Richard Biener wrote: > > > The following patch implements patterns to catch x / abs (x) > > and x / -x, taking advantage of undefinedness at x == 0 as > > opposed to the PR having testcases with explicit != 0 checks. > > > > Bootstr

libgo: Fix GOARCH_PHYSPAGESIZE for ia64

2016-10-31 Thread Andreas Schwab
diff --git a/libgo/configure b/libgo/configure index 3c866f7f21..7a9df58c21 100755 --- a/libgo/configure +++ b/libgo/configure @@ -13677,7 +13677,7 @@ rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext GOARCH=ia64 GOARCH_FAMILY=IA64 GOARCH_CACHELINESIZE=16384 -GOARCH_P

Re: [PATCH] Fix host_size_t_cst_p predicate

2016-10-31 Thread Martin Liška
On 10/31/2016 01:12 AM, Richard Sandiford wrote: > Richard Biener writes: >> On Thu, Oct 27, 2016 at 5:06 PM, Martin Liška wrote: >>> On 10/27/2016 03:35 PM, Richard Biener wrote: On Thu, Oct 27, 2016 at 9:41 AM, Martin Liška wrote: > Running simple test-case w/o the proper header file

Re: [PATCH] Introduce -fprofile-update=maybe-atomic

2016-10-31 Thread Martin Liška
PING^1 On 10/13/2016 05:34 PM, Martin Liška wrote: > Hello. > > As it's very hard to guess from GCC driver whether a target supports atomic > updates > for GCOV counter or not, I decided to come up with a new option value > (maybe-atomic), > that would be transformed in a corresponding value (s

[PATCH] Don't use priority {cd}tors if not supported by a target (PR, gcov-profile/78086)

2016-10-31 Thread Martin Liška
Hi. Using priority {cd}tors on a target that does not support that can cause failures (see the PR). Apart from that, I decided to use priority 100 for both gcov_init and gcov_exit functions as the reserved range includes priority 100. Moreover, I enhanced test-cases we have. Patch can bootstra

Re: [PATCH] DWARF5 .debug_info headers, .debug_types -> .debug_info DW_UT_type

2016-10-31 Thread Jakub Jelinek
On Sun, Oct 30, 2016 at 08:31:47PM +0100, Jan Kratochvil wrote: > On Fri, 21 Oct 2016 21:32:42 +0200, Jakub Jelinek wrote: > > This patch changes the .debug_info headers to follow the current > > specification (I still hope the useless padding1/padding2 fields will be > > removed), and also changes

[Ping][gcc] Enable DW_CFA_val_expression support in dwarf module

2016-10-31 Thread Jiong Wang
On 21/10/16 09:30, Jiong Wang wrote: Currently, GCC only support DW_CFA_expression in dwarf module, this patch extend the support to DW_CFA_val_expression which share the same code mostly the same code with DW_CFA_expression. Meanwhile the existed dwarf expression parser only allows expressions

Re: [Patch, rtl] PR middle-end/78016, keep REG_NOTE order during insn copy

2016-10-31 Thread Jiong Wang
On 21/10/16 13:30, Bernd Schmidt wrote: On 10/21/2016 02:04 PM, Jiong Wang wrote: + /* Locate the end of existing REG_NOTES in NEW_RTX. */ + rtx *ptail = ®_NOTES (new_rtx); + while (*ptail != NULL_RTX) +ptail = &XEXP (*ptail, 1); I was thinking along the lines of something like this

Re: [PATCH] add a gimple test for PR21458

2016-10-31 Thread Richard Biener
On Mon, Oct 31, 2016 at 8:26 AM, wrote: > From: Trevor Saunders > > A demonstration we can do the same thing with a gimple test as -fno-tree-evrp > but somewhat more precisely. > > I tested this passes on x86_64-linux-gnu, ok? Looks good to me with the indentation fixed (once the FE is on trun

Re: [PATCH VECT]Support operand swapping for cond_expr in vect_slp

2016-10-31 Thread Bin.Cheng
On Fri, Oct 28, 2016 at 1:17 PM, Richard Biener wrote: > On Thu, Oct 27, 2016 at 3:37 PM, Bin Cheng wrote: >> Hi, >> During analysis, vect_slp checks if statements of a group are isomorphic to >> each other, specifically, all statements have to be isomorphic to the first >> one. Apparently, op

Re: [committed] Fix bootstrap with ada x86_64-linux and -fcompare-debug failure on ppc64le-linux (PR target/78148)

2016-10-31 Thread Kyrill Tkachov
On 29/10/16 16:57, Jakub Jelinek wrote: On Sat, Oct 29, 2016 at 10:07:22AM +0200, Andreas Schwab wrote: That breaks Ada: a-teioed.adb: In function 'Ada.Text_Io.Editing.Format_Number': a-teioed.adb:127:4: error: alignment of array elements is greater than element size a-teioed.adb:127:4: error

Re: [PATCH] Fix host_size_t_cst_p predicate

2016-10-31 Thread Richard Biener
On Mon, Oct 31, 2016 at 10:10 AM, Martin Liška wrote: > On 10/31/2016 01:12 AM, Richard Sandiford wrote: >> Richard Biener writes: >>> On Thu, Oct 27, 2016 at 5:06 PM, Martin Liška wrote: On 10/27/2016 03:35 PM, Richard Biener wrote: > On Thu, Oct 27, 2016 at 9:41 AM, Martin Liška wrot

Re: [PATCH] Fix and testcases for pr72747

2016-10-31 Thread Richard Biener
On Fri, Oct 28, 2016 at 4:06 PM, Will Schmidt wrote: > On Fri, 2016-10-28 at 08:31 -0500, Will Schmidt wrote: >> On Fri, 2016-10-28 at 10:38 +0200, Richard Biener wrote: >> > On Thu, Oct 27, 2016 at 5:37 PM, Will Schmidt >> > wrote: >> > > Hi, >> > > >> > > Per PR72747, A statement such as "v =

[PATCH] libiberty: Fix memory leak in ada_demangle when symbol cannot be demangled.

2016-10-31 Thread Mark Wielaard
When a symbol cannot be demangled in ada_demangle a new demangled VEC will be allocated without deleting the demangled VEC already in use. Running testsuite/test-demangle under valgrind will show the leak for this entry in testsuite/demangle-expected: # Elaborated flag (not demangled) --f

Re: [PATCH] Fix host_size_t_cst_p predicate

2016-10-31 Thread Richard Sandiford
Richard Biener writes: > On Mon, Oct 31, 2016 at 10:10 AM, Martin Liška wrote: >> On 10/31/2016 01:12 AM, Richard Sandiford wrote: >>> Richard Biener writes: On Thu, Oct 27, 2016 at 5:06 PM, Martin Liška wrote: > On 10/27/2016 03:35 PM, Richard Biener wrote: >> On Thu, Oct 27, 2016

Re: [PATCH] Fix computation of register limit for -fsched-pressure

2016-10-31 Thread Tamar Christina
Yeah, In the test it's reasonable, just used one extra register. I'm currently running some benchmarks to make sure those are OK too. Regards, Tamar From: Bin.Cheng Sent: Friday, October 28, 2016 12:38:28 PM To: Tamar Christina Cc: Pat Haugen; Maxim Kuvy

Re: [PATCH] Don't use priority {cd}tors if not supported by a target (PR, gcov-profile/78086)

2016-10-31 Thread Rainer Orth
Hi Martin, > Using priority {cd}tors on a target that does not support that can cause > failures (see the PR). > Apart from that, I decided to use priority 100 for both gcov_init and > gcov_exit functions as > the reserved range includes priority 100. Moreover, I enhanced test-cases > we have. ju

Re: [PATCH] Fix host_size_t_cst_p predicate

2016-10-31 Thread Richard Biener
On Mon, Oct 31, 2016 at 10:58 AM, Richard Sandiford wrote: > Richard Biener writes: >> On Mon, Oct 31, 2016 at 10:10 AM, Martin Liška wrote: >>> On 10/31/2016 01:12 AM, Richard Sandiford wrote: Richard Biener writes: > On Thu, Oct 27, 2016 at 5:06 PM, Martin Liška wrote: >> On 10/

Re: [PATCH] Fix host_size_t_cst_p predicate

2016-10-31 Thread Richard Sandiford
Richard Biener writes: > On Mon, Oct 31, 2016 at 10:58 AM, Richard Sandiford > wrote: >> Richard Biener writes: >>> On Mon, Oct 31, 2016 at 10:10 AM, Martin Liška wrote: On 10/31/2016 01:12 AM, Richard Sandiford wrote: > Richard Biener writes: >> On Thu, Oct 27, 2016 at 5:06 PM, M

Re: [PATCH] Fix host_size_t_cst_p predicate

2016-10-31 Thread Richard Biener
On Mon, Oct 31, 2016 at 11:18 AM, Richard Sandiford wrote: > Richard Biener writes: >> On Mon, Oct 31, 2016 at 10:58 AM, Richard Sandiford >> wrote: >>> Richard Biener writes: On Mon, Oct 31, 2016 at 10:10 AM, Martin Liška wrote: > On 10/31/2016 01:12 AM, Richard Sandiford wrote:

Re: [PATCH 3/5] [AARCH64] Fix part num and implement dependency

2016-10-31 Thread James Greenhalgh
On Sun, Oct 23, 2016 at 03:37:22PM -0700, Andrew Pinski wrote: > On Tue, Nov 17, 2015 at 2:10 PM, Andrew Pinski wrote: > > > > The way the current code was written assumes all cores have an unique part > > num which is not true. What they have is an unique pair of implementer and > > part num. T

Re: [PATCH][AArch64] Expand DImode constant stores to two SImode stores when profitable

2016-10-31 Thread Kyrill Tkachov
On 24/10/16 17:15, Andrew Pinski wrote: On Mon, Oct 24, 2016 at 7:27 AM, Kyrill Tkachov wrote: Hi all, When storing a 64-bit immediate that has equal bottom and top halves we currently synthesize the repeating 32-bit pattern twice and perform a single X-store. With this patch we synthesize th

Re: [PATCH][AArch64] Fix PR target/77822: Use tighter predicates for zero_extract patterns

2016-10-31 Thread Kyrill Tkachov
Ping. Thanks, Kyrill On 24/10/16 14:12, Kyrill Tkachov wrote: On 24/10/16 12:29, Kyrill Tkachov wrote: Ping. https://gcc.gnu.org/ml/gcc-patches/2016-10/msg01321.html I just noticed my original ChangeLog entry was truncated. It is 2016-10-04 Kyrylo Tkachov PR target/77822 * conf

Re: [PATCH][AArch64] Add function comments to some prologue/epilogue helpers

2016-10-31 Thread Kyrill Tkachov
Ping. Thanks, Kyrill On 24/10/16 12:30, Kyrill Tkachov wrote: Ping. https://gcc.gnu.org/ml/gcc-patches/2016-10/msg00839.html Thanks, Kyrill On 12/10/16 11:23, Kyrill Tkachov wrote: Hi all, I'm looking at the aarch64 prologue and epilogue generation code and I noticed many of the helper fun

Re: [PATCH] Don't use priority {cd}tors if not supported by a target (PR, gcov-profile/78086)

2016-10-31 Thread Martin Liška
On 10/31/2016 11:07 AM, Rainer Orth wrote: > Hi Martin, > >> Using priority {cd}tors on a target that does not support that can cause >> failures (see the PR). >> Apart from that, I decided to use priority 100 for both gcov_init and >> gcov_exit functions as >> the reserved range includes priority

Re: [C++ PATCH] Fix -std=c++11 -std=gnu++11 option handling (PR c++/77948)

2016-10-31 Thread Jason Merrill
On Sat, Oct 29, 2016 at 1:09 PM, Jakub Jelinek wrote: > On Sat, Oct 29, 2016 at 12:41:43PM -0400, Jason Merrill wrote: >> On Sat, Oct 29, 2016 at 12:09 PM, Jakub Jelinek wrote: >> > Apparently the driver reorders the options, -std=* options come before >> > all -f* options, so both of the followi

Re: [PATCH] enhance buffer overflow warnings (and c/53562)

2016-10-31 Thread Tobias Burnus
Martin Sebor wrote: > Attached is an updated patch that adds checks for excessive sizes > and bounds (those in excess of SIZE_MAX / 2), and also enables > the same checking for strcat and strncat). This version also > fixes an issue with the interpretation of anti-ranges in the > first patch. The

Re: [PATCH] Add -Wshadow-local and -Wshadow-compatible-local.

2016-10-31 Thread Jason Merrill
OK. On Sun, Oct 30, 2016 at 3:53 PM, Mark Wielaard wrote: > On Tue, Oct 25, 2016 at 01:57:09AM +0200, Mark Wielaard wrote: >> I think the only thing "blocking" the patch from going in is that >> nobody made a decission on how the actual warning option should be >> named. I think the suggestion fo

[PATCH] Fix PR78035

2016-10-31 Thread Richard Biener
This is an updated patch for PR78035 which is about optimizing address comparisons using points-to info vs. directly looking at two addr-exprs. I've given up trying to dissect a predicate more useful than decl_binds_to_current_def_p from symtab_node::equal_address_to and thus I'm going with the f

[PATCH] Fix PR78129

2016-10-31 Thread Richard Biener
This fixes leftovers in /tmp from -Werror=suggest-final-types. Bootstrapped and tested on x86_64-unknown-linux-gnu, applied to trunk. Richard. 2016-10-31 Richard Biener PR lto/78129 * lto.c (do_whole_program_analysis): Bail out after errors from WPA analysis. Index:

Re: [PATCH] Fix PR78035

2016-10-31 Thread Markus Trippelsdorf
On 2016.10.31 at 13:46 +0100, Richard Biener wrote: > > This is an updated patch for PR78035 which is about optimizing > address comparisons using points-to info vs. directly looking > at two addr-exprs. I've given up trying to dissect a predicate > more useful than decl_binds_to_current_def_p fr

Re: relax rule for flexible array members in 6.x (78039 - fails to compile glibc tests)

2016-10-31 Thread Jason Merrill
OK. Jason

Re: [C++ PATCH] Add tests for a const member and a reference member for launder.

2016-10-31 Thread Jason Merrill
On Sun, Oct 30, 2016 at 2:53 PM, Ville Voutilainen wrote: > So, how about adding these? They should give us regression tests > that make sure launder does the right in in case some optimizations > attempt to reuse const/reference members. Good idea. You might put the reuse in a separate function

Re: [C++ PATCH] Fix -Wimplicit-fallthrough in templates (PR c++/77886)

2016-10-31 Thread Jason Merrill
OK.

Re: [PATCH 0/3] use rtx_insn * more

2016-10-31 Thread Jeff Law
On 10/28/2016 01:13 PM, tbsaunde+...@tbsaunde.org wrote: From: Trevor Saunders HI, This series changes various variables type from rtx to rtx_insn * so that the remaining patches in this series http://gcc.gnu.org/ml/gcc-patches/2016-10/msg01353.html can be applied. patches bootstrapped and re

Re: [PATCH][AArch64] Expand DImode constant stores to two SImode stores when profitable

2016-10-31 Thread Richard Earnshaw (lists)
On 31/10/16 11:54, Kyrill Tkachov wrote: > > On 24/10/16 17:15, Andrew Pinski wrote: >> On Mon, Oct 24, 2016 at 7:27 AM, Kyrill Tkachov >> wrote: >>> Hi all, >>> >>> When storing a 64-bit immediate that has equal bottom and top halves we >>> currently >>> synthesize the repeating 32-bit pattern t

Re: [PATCH] Emit DW_AT_inline for C++17 inline variables

2016-10-31 Thread Jason Merrill
On 10/14/2016 01:33 PM, Jakub Jelinek wrote: This also uses the infrastructure of the langhook patch I've sent earlier. It emits (if not strict dwarf) DW_AT_inline on explicit or implicit inline variables, and also tweaks dwarf2out so that for inline static data members we consider in-class decla

Re: [PATCH] For -gdwarf-5 emit DWARF5 .debug_macro

2016-10-31 Thread Jason Merrill
OK.

Re: [PATCH] Emit DWARF5 DW_AT_reference and DW_AT_rvalue_reference

2016-10-31 Thread Jason Merrill
On 10/24/2016 03:09 PM, Jakub Jelinek wrote: On Mon, Oct 24, 2016 at 02:34:04PM -0400, Jason Merrill wrote: On Mon, Oct 24, 2016 at 10:29 AM, Jakub Jelinek wrote: This is another addition in DWARF5. The patch emits these attributes only for DW_TAG_subprogram for non-static ref-qualified membe

Re: [PATCH] DWARF5 DW_TAG_call_site support

2016-10-31 Thread Jason Merrill
OK. Jason

Re: [PATCH] DWARF5 DW_FORM_data16 support

2016-10-31 Thread Jason Merrill
On 10/17/2016 05:39 PM, Jakub Jelinek wrote: (dwarf_version >= 5 ? 128 : 64) Please make this a macro. OK with that change. Jason

[PATCH] Fix PR78047

2016-10-31 Thread Richard Biener
I am testing the following to fix another latent PTA bug uncovered by pointer comparsion folding. Bootstrap and regtest running on x86_64-unknown-linux-gnu. Richard. 2016-10-31 Richard Biener PR tree-optimization/78047 * tree-ssa-structalias.c (push_fields_onto_fieldstack):

Re: [PATCH] Emit DW_AT_inline for C++17 inline variables

2016-10-31 Thread Jakub Jelinek
On Mon, Oct 31, 2016 at 09:52:28AM -0400, Jason Merrill wrote: > On 10/14/2016 01:33 PM, Jakub Jelinek wrote: > >This also uses the infrastructure of the langhook patch I've sent earlier. > >It emits (if not strict dwarf) DW_AT_inline on explicit or implicit inline > >variables, and also tweaks dwa

Re: [PATCH][AArch64] Expand DImode constant stores to two SImode stores when profitable

2016-10-31 Thread Kyrill Tkachov
On 31/10/16 13:42, Richard Earnshaw (lists) wrote: On 31/10/16 11:54, Kyrill Tkachov wrote: On 24/10/16 17:15, Andrew Pinski wrote: On Mon, Oct 24, 2016 at 7:27 AM, Kyrill Tkachov wrote: Hi all, When storing a 64-bit immediate that has equal bottom and top halves we currently synthesize the

[Patch, testsuite] Skip gcc.dg/lto/pr60449_0.c for avr

2016-10-31 Thread Senthil Kumar Selvaraj
Hi, gcc.dg/lto/pr60449_0.c fails to link for the avr target because it doesn't have an implementation for gettimeofday. This patch therefore skips the test for avr. Committed to trunk as obvious. Regards Senthil gcc/testsuite/ChangeLog 2016-10-31 Senthil Kumar Selvaraj * g

Re: [PATCH] DWARF5 DW_FORM_implicit_const support

2016-10-31 Thread Jason Merrill
On 10/17/2016 05:45 PM, Jakub Jelinek wrote: +/* First abbrev_id that can be optimized based on usage. */ +static unsigned int abbrev_opt_start; + +/* Vector of usage counts during build_abbrev_table. Indexed by + abbrev_id - abbrev_opt_start. */ +static vec abbrev_usage_count; + +/* Vector

Re: [PATCH] Emit DW_AT_inline for C++17 inline variables

2016-10-31 Thread Jason Merrill
On Mon, Oct 31, 2016 at 10:25 AM, Jakub Jelinek wrote: > On Mon, Oct 31, 2016 at 09:52:28AM -0400, Jason Merrill wrote: >> On 10/14/2016 01:33 PM, Jakub Jelinek wrote: >> >This also uses the infrastructure of the langhook patch I've sent earlier. >> >It emits (if not strict dwarf) DW_AT_inline on

[PATCH 1/2, libgcc]: Implement _divmoddi4

2016-10-31 Thread Uros Bizjak
This function will be used in a follow-up patch to implement TARGET_EXPAND_DIVMOD_LIBFUNC for x86 targets. Other targets can call this function, so IMO it should be part of a generic library. 2016-10-31 Uros Bizjak * Makefile.in (LIB2_DIVMOD_FUNCS): Add _divmoddi4. * libgcc2.c (__divmo

[PATCH 2/2, i386]: Implement TARGET_EXPAND_DIVMOD_LIBFUNC

2016-10-31 Thread Uros Bizjak
Attached patch builds on previous libgcc patch and implements TARGET_EXPAND_DIVMOD_LIBFUNC target hook. The same approach can also be used on other targets without hardware divmod insn. Patch also fixes several gcc.dg/divmod-?.c testsuite failures for x86_64 multilibs. 2016-10-31 Uros Bizjak

Re: [PATCH] Fix host_size_t_cst_p predicate

2016-10-31 Thread Martin Liška
On 10/31/2016 12:11 PM, Richard Biener wrote: > On Mon, Oct 31, 2016 at 11:18 AM, Richard Sandiford > wrote: >> Richard Biener writes: >>> On Mon, Oct 31, 2016 at 10:58 AM, Richard Sandiford >>> wrote: Richard Biener writes: > On Mon, Oct 31, 2016 at 10:10 AM, Martin Liška wrote:

Re: [PATCH] fix linker name for uClibc

2016-10-31 Thread Jeff Law
On 10/28/2016 03:30 PM, Michael Eager wrote: On 10/28/2016 11:14 AM, Waldemar Brodkorb wrote: Hi, uClibc-ng can be used for Microblaze architecture. It is regulary tested with qemu-system-microblaze in little and big endian mode. 2016-10-28 Waldemar Brodkorb gcc/ * config

Re: MAINTAINERS update

2016-10-31 Thread Carl E. Love
On Sat, 2016-10-29 at 12:10 -0500, Segher Boessenkool wrote: Hi Carl, > > On Fri, Oct 28, 2016 at 08:11:11AM -0700, Carl E. Love wrote: > > Manuel López-Ibáñez > > Martin v. Löwis > > H.J. Lu > > +Carl Love > > Christophe Lyon >

Re: [PATCH] fix linker name for uClibc

2016-10-31 Thread Michael Eager
On 10/31/2016 08:04 AM, Jeff Law wrote: On 10/28/2016 03:30 PM, Michael Eager wrote: On 10/28/2016 11:14 AM, Waldemar Brodkorb wrote: Hi, uClibc-ng can be used for Microblaze architecture. It is regulary tested with qemu-system-microblaze in little and big endian mode. 2016-10-28 Waldemar Br

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

2016-10-31 Thread Steven Bosscher
On Sun, Oct 30, 2016 at 8:10 PM, Segher Boessenkool wrote: > This patch solves this problem by simply running the duplicate_computed_gotos > pass again, as long as it does any work. The patch looks much bigger than > it is, because I factored out two routines to simplify the control flow. It's ma

Re: [PATCH] DWARF5 .debug_line{,_str} support

2016-10-31 Thread Jason Merrill
On 10/19/2016 07:30 PM, Jakub Jelinek wrote: This patch adds support for DWARF5 .debug_line{,_str} section format, though only if !DWARF2_ASM_LINE_DEBUG_INFO, because otherwise .debug_line is emitted by the assembler. For that we'll need some coordination with gas, dunno if we want a new as dire

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

2016-10-31 Thread Segher Boessenkool
On Mon, Oct 31, 2016 at 04:09:48PM +0100, Steven Bosscher wrote: > On Sun, Oct 30, 2016 at 8:10 PM, Segher Boessenkool wrote: > > This patch solves this problem by simply running the > > duplicate_computed_gotos > > pass again, as long as it does any work. The patch looks much bigger than > > it

RFA (tree-inline): PATCH for C++ inheriting constructors overhaul

2016-10-31 Thread Jason Merrill
wg21.link/p0136 significantly changes the specification of C++11 inheriting constructors so that they become an implementation detail rather than a language-level construct; instead, overload resolution and such are done on the constructor from the base, and the artificial constructor in the derive

[C++ PATCH] Fix postfix-expression parsing (PR c++/78089, take 2)

2016-10-31 Thread Jakub Jelinek
Hi! On Mon, Oct 24, 2016 at 04:20:25PM +0200, Jakub Jelinek wrote: > While writing a testcase for __builtin_launder, I've noticed we don't parse > __builtin_shuffle or __builtin_addressof properly (as well as do error > recovery e.g. for typeid in constant expression etc.). > > The problem is tha

[PATCH] [ARC] New option handling, refurbish multilib support.

2016-10-31 Thread Claudiu Zissulescu
Hi Andrew, Please find the updated patch. What is new: - The .def files are having a comment block on how to add new lines. - The arc_seen_option is not used. - The arc_cpu* variables are not used. Please let me know if I miss something, Claudiu gcc/ 2016-05-09 Claudiu Zissulescu *

[PATCH] Fix reassoc NEGATE_EXPR handling (PR tree-optimization/77860)

2016-10-31 Thread Jakub Jelinek
Hi! As the testcase shows, while reassociation of vector multiplication has been enabled, the eliminate_using_constants optimization isn't enabled for integral vectors (only for floating point vectors), so e.g. if we have more than one { ~0, ~0, ... } vectors in there coming from NEGATE_EXPRs, we

Re: [C++ PATCH] Add tests for a const member and a reference member for launder.

2016-10-31 Thread Ville Voutilainen
On 31 October 2016 at 15:31, Jason Merrill wrote: > Good idea. You might put the reuse in a separate function in order to > hide it from the optimizer. Ok, new patch, tested on Linux-x64, ok for trunk? 2016-10-31 Ville Voutilainen Add tests for a const member and a reference member for

Re: [PATCH] Fix reassoc NEGATE_EXPR handling (PR tree-optimization/77860)

2016-10-31 Thread Richard Biener
On October 31, 2016 4:50:08 PM GMT+01:00, Jakub Jelinek wrote: >Hi! > >As the testcase shows, while reassociation of vector multiplication >has been enabled, the eliminate_using_constants optimization >isn't enabled for integral vectors (only for floating point vectors), >so e.g. if we have more

[PATCH] [ARC] define SIZE_TYPE and PTRDIFF_TYPE correctly

2016-10-31 Thread Vineet Gupta
This silences tons of -Wformat= warnings when building ARC Linux kernel with gcc 6.x (and restores the ARC gcc 4.8.x behaviour) which had similar fix. gcc/ 2016-10-28 Vineet Gupta * config/arc/arc.h (SIZE_TYPE): define as unsigned int. * (PTRDIFF_TYPE): define as int. Signed-of

Re: [PATCH] DWARF5 DW_FORM_data16 support

2016-10-31 Thread Jakub Jelinek
On Mon, Oct 31, 2016 at 10:15:11AM -0400, Jason Merrill wrote: > On 10/17/2016 05:39 PM, Jakub Jelinek wrote: > >(dwarf_version >= 5 ? 128 : 64) > > Please make this a macro. OK with that change. DWARF_LARGEST_DATA_FORM_BITS ? Or do you have better name? Jakub

Re: [PATCH] enhance buffer overflow warnings (and c/53562)

2016-10-31 Thread Martin Sebor
On 10/31/2016 06:39 AM, Tobias Burnus wrote: Martin Sebor wrote: Attached is an updated patch that adds checks for excessive sizes and bounds (those in excess of SIZE_MAX / 2), and also enables the same checking for strcat and strncat). This version also fixes an issue with the interpretation o

Re: [PATCH] DWARF5 DW_TAG_call_site support

2016-10-31 Thread Jakub Jelinek
On Mon, Oct 31, 2016 at 10:13:16AM -0400, Jason Merrill wrote: > OK. This patch is on top of the - DWARF5 http://gcc.gnu.org/ml/gcc-patches/2016-10/msg01202.html - DW_OP_{implicit_pointer,entry_value,{const,regva

Re: [PATCH] [ARC] define SIZE_TYPE and PTRDIFF_TYPE correctly

2016-10-31 Thread Andreas Schwab
On Okt 31 2016, Vineet Gupta wrote: > This silences tons of -Wformat= warnings when building ARC Linux kernel > with gcc 6.x (and restores the ARC gcc 4.8.x behaviour) which had > similar fix. > > gcc/ > 2016-10-28 Vineet Gupta > > * config/arc/arc.h (SIZE_TYPE): define as unsigned int.

Re: [PATCH] DWARF5 DW_FORM_data16 support

2016-10-31 Thread Jason Merrill
On Mon, Oct 31, 2016 at 12:44 PM, Jakub Jelinek wrote: > On Mon, Oct 31, 2016 at 10:15:11AM -0400, Jason Merrill wrote: >> On 10/17/2016 05:39 PM, Jakub Jelinek wrote: >> >(dwarf_version >= 5 ? 128 : 64) >> >> Please make this a macro. OK with that change. > > DWARF_LARGEST_DATA_FORM_BITS ? Or d

Re: [C++ PATCH] Add tests for a const member and a reference member for launder.

2016-10-31 Thread Jason Merrill
OK, thanks. On Mon, Oct 31, 2016 at 12:13 PM, Ville Voutilainen wrote: > On 31 October 2016 at 15:31, Jason Merrill wrote: >> Good idea. You might put the reuse in a separate function in order to >> hide it from the optimizer. > > > Ok, new patch, tested on Linux-x64, ok for trunk? > > 2016-10-

[PATCH-Resend] [ARC] define SIZE_TYPE and PTRDIFF_TYPE correctly

2016-10-31 Thread Vineet Gupta
This silences tons of -Wformat= warnings when building ARC Linux kernel with gcc 6.x (and restores the ARC gcc 4.8.x behaviour) which had similar fix. gcc/ 2016-10-28 Vineet Gupta * config/arc/arc.h (SIZE_TYPE): define as unsigned int. * (PTRDIFF_TYPE): define as int. Signed-of

Re: [PATCH] [ARC] define SIZE_TYPE and PTRDIFF_TYPE correctly

2016-10-31 Thread Vineet Gupta
On 10/31/2016 09:45 AM, Andreas Schwab wrote: > On Okt 31 2016, Vineet Gupta wrote: > >> This silences tons of -Wformat= warnings when building ARC Linux kernel >> with gcc 6.x (and restores the ARC gcc 4.8.x behaviour) which had >> similar fix. >> >> gcc/ >> 2016-10-28 Vineet Gupta >> >>

Re: [PATCH] DWARF5 .debug_loclists support

2016-10-31 Thread Jason Merrill
All the different cases in output_loc_list could use brief comments. Let's keep loc_list_idx, output_loclists_offsets, and assign_location_list_indexes together in the file. OK with those changes. Jason

Re: [PATCH] For -gdwarf-5 emit DW_OP_{implicit_pointer,entry_value,*_type,convert,reinterpret}

2016-10-31 Thread Jason Merrill
On 10/14/2016 03:41 PM, Jakub Jelinek wrote: Another set of GNU extensions that were accepted into DWARF5, so we should emit them even for -gstrict-dwarf -gdwarf-5, and for -gdwarf-5 should use the accepted standard opcodes instead of the corresponding GNU ones. Hmm, I wonder if we also want to

Re: [C++ PATCH] Fix postfix-expression parsing (PR c++/78089, take 2)

2016-10-31 Thread Jason Merrill
OK.

Re: [PATCH] For -gdwarf-5 emit DW_OP_{implicit_pointer,entry_value,*_type,convert,reinterpret}

2016-10-31 Thread Jakub Jelinek
On Mon, Oct 31, 2016 at 12:58:23PM -0400, Jason Merrill wrote: > On 10/14/2016 03:41 PM, Jakub Jelinek wrote: > >Another set of GNU extensions that were accepted into DWARF5, so we should > >emit them even for -gstrict-dwarf -gdwarf-5, and for -gdwarf-5 should use > >the accepted standard opcodes i

Re: [PATCH] For -gdwarf-5 emit DW_OP_{implicit_pointer,entry_value,*_type,convert,reinterpret}

2016-10-31 Thread Jason Merrill
On 10/31/2016 01:04 PM, Jakub Jelinek wrote: On Mon, Oct 31, 2016 at 12:58:23PM -0400, Jason Merrill wrote: On 10/14/2016 03:41 PM, Jakub Jelinek wrote: Another set of GNU extensions that were accepted into DWARF5, so we should emit them even for -gstrict-dwarf -gdwarf-5, and for -gdwarf-5 shou

[PATCH] dwarf2cfi: Dump row differences before asserting

2016-10-31 Thread Segher Boessenkool
If maybe_record_trace_start fails because the CFI is inconsistent on two paths into a block it currently just ICEs. This changes it to also dump the CFI on those two paths in the dump file; debugging it without that information is hopeless. Tested on powerpc64-linux {-m32,-m64}. Is this okay for

[PATCH] Fall-through warnings in combine.c

2016-10-31 Thread Fritz Reese
I think this is obvious, the following code in combine.c which intends to fallthrough some switch cases is not marked with 'gcc_fallthrough' as it should be, thus producing warnings during compilation. --- Fritz Reese 2016-10-31 Fritz Reese gcc/combine.c (simplify_compare_const): Mar

Re: [PATCH] dwarf2cfi: Dump row differences before asserting

2016-10-31 Thread Kyrill Tkachov
On 31/10/16 17:15, Segher Boessenkool wrote: If maybe_record_trace_start fails because the CFI is inconsistent on two paths into a block it currently just ICEs. This changes it to also dump the CFI on those two paths in the dump file; debugging it without that information is hopeless. Tested o

A new branch 'ira-select' created

2016-10-31 Thread Vladimir N Makarov
I've created a new branch ira-select for work on experimental algorithm of calculations of pseudo register classes. The current algorithm in IRA (file ira-costs.c) was adopted from old regclass.c. It has a big disadvantage which is in ignoring a fact that operands should be in the same alternati

[RFC][PATCH][AArch64] Cleanup frame pointer usage

2016-10-31 Thread Wilco Dijkstra
This patch cleans up all code related to the frame pointer. On AArch64 we emit a frame chain even in cases where the frame pointer is not required. So make this explicit by introducing a boolean emit_frame_chain in aarch64_frame record. When the frame pointer is enabled but not strictly required

Re: [PATCH] DWARF5 .debug_line{,_str} support

2016-10-31 Thread Jakub Jelinek
On Mon, Oct 31, 2016 at 11:25:26AM -0400, Jason Merrill wrote: > On 10/19/2016 07:30 PM, Jakub Jelinek wrote: > >This patch adds support for DWARF5 .debug_line{,_str} section format, > >though only if !DWARF2_ASM_LINE_DEBUG_INFO, because otherwise > >.debug_line is emitted by the assembler. For th

Re: [PATCH] DWARF5 .debug_rnglists support

2016-10-31 Thread Jason Merrill
On 10/20/2016 02:52 PM, Jakub Jelinek wrote: @@ -8476,7 +8498,16 @@ size_of_die (dw_die_ref die) size += DWARF_OFFSET_SIZE; break; case dw_val_class_range_list: - size += DWARF_OFFSET_SIZE; + if (dwarf_split_debug_info + && dwarf_version

Re: [PATCH] DWARF5 .debug_line{,_str} support

2016-10-31 Thread Jason Merrill
On 10/31/2016 02:38 PM, Jakub Jelinek wrote: On Mon, Oct 31, 2016 at 11:25:26AM -0400, Jason Merrill wrote: On 10/19/2016 07:30 PM, Jakub Jelinek wrote: This patch adds support for DWARF5 .debug_line{,_str} section format, though only if !DWARF2_ASM_LINE_DEBUG_INFO, because otherwise .debug_lin

Re: [PATCH] DWARF5 - Emit DW_AT_rank and DW_TAG_generic_subrange for assumed-rank arrays

2016-10-31 Thread Jason Merrill
OK.

Re: [PATCH] DWARF5 .debug_rnglists support

2016-10-31 Thread Jakub Jelinek
On Mon, Oct 31, 2016 at 02:42:15PM -0400, Jason Merrill wrote: > On 10/20/2016 02:52 PM, Jakub Jelinek wrote: > >@@ -8476,7 +8498,16 @@ size_of_die (dw_die_ref die) > > size += DWARF_OFFSET_SIZE; > > break; > > case dw_val_class_range_list: > >- size += DWARF_OFFSET_S

Re: [PATCH] DWARF5 .debug_info headers, .debug_types -> .debug_info DW_UT_type

2016-10-31 Thread Jason Merrill
OK.

Re: [PATCH] DWARF5 .debug_info headers, .debug_types -> .debug_info DW_UT_type

2016-10-31 Thread Jakub Jelinek
On Mon, Oct 31, 2016 at 03:33:22PM -0400, Jason Merrill wrote: > OK. This patch needs the incremental http://gcc.gnu.org/ml/gcc-patches/2016-10/msg02440.html patch (now successfully bootstrapped/regtested on x86_64-linux and i686-linux). Is that one ok too? I think it would be better to commit th

Re: [PATCH] DWARF5 .debug_info headers, .debug_types -> .debug_info DW_UT_type

2016-10-31 Thread Jason Merrill
On Mon, Oct 31, 2016 at 3:38 PM, Jakub Jelinek wrote: > On Mon, Oct 31, 2016 at 03:33:22PM -0400, Jason Merrill wrote: >> OK. > > This patch needs the incremental > http://gcc.gnu.org/ml/gcc-patches/2016-10/msg02440.html > patch (now successfully bootstrapped/regtested on x86_64-linux and > i686-l

Re: [gcc] Enable DW_OP_VAL_EXPRESSION support in dwarf module

2016-10-31 Thread Jason Merrill
On 10/21/2016 04:30 AM, Jiong Wang wrote: All DW_OP_* of the expression are grouped together inside the PARALLEL, and those operations which don't have RTL mapping are wrapped by UNSPEC. The parsing algorithm is simply something like: foreach elem inside PARALLEL if (UNSPEC) {

[PATCH] Do not simplify "(and (reg) (const bit))" to if_then_else.

2016-10-31 Thread Dominik Vogt
The attached patch does a little change in combine.c:combine_simplify_rtx() to prevent a "simplification" where the rtl code gets more complex in reality. The complete description of the change can be found in the commit comment in the attached patch. The patch reduces the number of patterns in t

Re: [PATCH] DWARF5 .debug_rnglists support

2016-10-31 Thread Jason Merrill
On Mon, Oct 31, 2016 at 3:33 PM, Jakub Jelinek wrote: > On Mon, Oct 31, 2016 at 02:42:15PM -0400, Jason Merrill wrote: >> On 10/20/2016 02:52 PM, Jakub Jelinek wrote: >> >@@ -8476,7 +8498,16 @@ size_of_die (dw_die_ref die) >> > size += DWARF_OFFSET_SIZE; >> > break; >> > case

[PATCH], Optimize (double)vec_extract(n) on PowerPC

2016-10-31 Thread Michael Meissner
This patch adds an optimization that I noticed towards the end of working on my previous patch to allow SImode into vector registers. This patch adds optimization when you are extracting an element using a 32-bit integer with constant element number, and then converting the value to double. While

[PATCH] Fix nonoverlapping_memrefs_p ICE (PR target/77834)

2016-10-31 Thread Jakub Jelinek
Hi! Some automatic VAR_DECLs don't get DECL_RTL set - e.g. if its SSA_NAMEs expand to multiple rtls, then there is not a single one that can be used. Using DECL_RTL on such VAR_DECLs ICEs. I've tried to just return 0 in nonoverlapping_memrefs_p if either DECL_RTL_SET_P (expr{x,y}) wasn't true, bu

[PATCH, RFC, rs6000] Add overloaded built-in function support to altivec.h, and re-implement vec_add

2016-10-31 Thread Bill Schmidt
Hi, The PowerPC back end loses performance on vector intrinsics, because currently all of them are treated as calls throughout the middle-end phases and only expanded when they reach RTL. Our version of altivec.h currently defines the public names of overloaded functions (like vec_add) to be #def

Re: [PATCH], Optimize (double)vec_extract(n) on PowerPC

2016-10-31 Thread Segher Boessenkool
On Mon, Oct 31, 2016 at 05:25:56PM -0400, Michael Meissner wrote: > +(define_insn "vsx_xvcvsxwdp_df" > + [(set (match_operand:DF 0 "vsx_register_operand" "=ws") > + (unspec:DF [(match_operand:V4SI 1 "vsx_register_operand" "wa")] > +UNSPEC_VSX_CVSXWDP))] > + "VECTOR_UNIT_VSX_P

Re: [PATCH], Optimize (double)vec_extract(n) on PowerPC

2016-10-31 Thread Michael Meissner
On Mon, Oct 31, 2016 at 06:04:47PM -0500, Segher Boessenkool wrote: > On Mon, Oct 31, 2016 at 05:25:56PM -0400, Michael Meissner wrote: > > +(define_insn "vsx_xvcvsxwdp_df" > > + [(set (match_operand:DF 0 "vsx_register_operand" "=ws") > > + (unspec:DF [(match_operand:V4SI 1 "vsx_register_operand

Re: [PATCH, RFC, rs6000] Add overloaded built-in function support to altivec.h, and re-implement vec_add

2016-10-31 Thread Bill Schmidt
> > On Oct 31, 2016, at 5:28 PM, Bill Schmidt wrote: > > The other way would be to require a specific option on the command line > to use the new dispatch mechanism. When the option is present, we would > predefine a macro such as __PPC_FAST_VECTOR__, which would then gate the > usage i

Re: [PATCH, RFC, rs6000] Add overloaded built-in function support to altivec.h, and re-implement vec_add

2016-10-31 Thread Jakub Jelinek
On Mon, Oct 31, 2016 at 05:28:42PM -0500, Bill Schmidt wrote: > The PowerPC back end loses performance on vector intrinsics, because currently > all of them are treated as calls throughout the middle-end phases and only > expanded when they reach RTL. Our version of altivec.h currently defines the

  1   2   >