Re: [PATCH, c++, PR77427 ] Set TYPE_STRUCTURAL_EQUALITY for sysv_abi va_list

2016-09-12 Thread Jason Merrill
On Wed, Sep 7, 2016 at 5:22 AM, Richard Biener wrote: > On Mon, Sep 5, 2016 at 6:11 PM, Tom de Vries wrote: >> On 05/09/16 09:49, Richard Biener wrote: >>> >>> On Sun, Sep 4, 2016 at 11:30 PM, Tom de Vries >>> wrote: > On 04/09/16 16:08, Richard Biener wrote: > > >> > >> On

[committed] Simplify edited_file::print_diff

2016-09-12 Thread David Malcolm
Whilst working on support for fix-it hints containing newlines (e.g. "break;\n" for -Wfallthrough), I noticed that edited_file::print_diff could be simplified by breaking it up into subroutines. Successfully bootstrapped®rtested on x86_64-pc-linux-gnu. Committed to trunk as r240103. gcc/ChangeLo

Re: [TREE-SSA-CCP] Issue warning when folding condition

2016-09-12 Thread kugan
Hi Richard, On 19/08/16 18:00, Richard Biener wrote: On Fri, 19 Aug 2016, Kugan Vivekanandarajah wrote: On 19 August 2016 at 12:09, Kugan Vivekanandarajah wrote: The testcase pr33738.C for warning fails with early-vrp patch. The reason is, with early-vrp ccp2 is folding the comparison that

Re: [TREE-SSA-CCP] Issue warning when folding condition

2016-09-12 Thread kugan
Hi Jeff, On 13/09/16 08:11, Jeff Law wrote: On 08/18/2016 08:09 PM, Kugan Vivekanandarajah wrote: The testcase pr33738.C for warning fails with early-vrp patch. The reason is, with early-vrp ccp2 is folding the comparison that used to be folded in simplify_stmt_for_jump_threading. Since early-v

Re: [PATCH] - improve sprintf buffer overflow detection (middle-end/49905)

2016-09-12 Thread Joseph Myers
On Mon, 12 Sep 2016, Martin Sebor wrote: > On 09/12/2016 04:08 PM, Joseph Myers wrote: > > On Sun, 11 Sep 2016, Martin Sebor wrote: > > > > > Attached is revision 8 of the patch (hopefully) adjusted as > > > requested above, and with a simple test with of the multiline > > > > The ChangeLog appe

Re: [PATCH] Optimise the fpclassify builtin to perform integer operations when possible

2016-09-12 Thread Joseph Myers
Are you making endianness assumptions - specifically, does the reinterpretation as an integer require that WORDS_BIG_ENDIAN and FLOAT_WORDS_BIG_ENDIAN are the same? If so, I think that's OK (in that the only target where they aren't the same seems to be pdp11 which doesn't use IEEE formats), b

Re: [PATCH] Optimise the fpclassify builtin to perform integer operations when possible

2016-09-12 Thread Joseph Myers
On Mon, 12 Sep 2016, Tamar Christina wrote: > A limitation with this new approach is that the exponent > of the floating point has to fit in 31 bits and the floating > point has to have an IEEE like format and values for NaN and INF > (e.g. for NaN and INF all bits of the exp must be set). > > To

Re: [PATCH] Optimise the fpclassify builtin to perform integer operations when possible

2016-09-12 Thread Joseph Myers
On Mon, 12 Sep 2016, Tamar Christina wrote: > Hi All, > > This patch adds an optimized route to the fpclassify builtin > for floating point numbers which are similar to IEEE-754 in format. Similar changes may be useful for __builtin_isfinite, __builtin_isnan, __builtin_isinf, __builtin_isinf_si

[PATCH 3/3] Delete TARGET_LRA_P from those targets that set it to "true"

2016-09-12 Thread Segher Boessenkool
A few targets aready always want LRA; those then do not need to override the default anymore. Segher 2016-09-12 Segher Boessenkool * config/aarch64/aarch64.c (TARGET_LRA_P): Delete macro. * config/arm/arm.c (TARGET_LRA_P): Delete macro. * config/i386/i386.c (TARGET_L

[PATCH 2/3] Change the default of TARGET_LRA_P to true

2016-09-12 Thread Segher Boessenkool
Since all targets now define TARGET_LRA_P, this does not change behaviour for any existing target. Newly added ports will by default use LRA now. Segher 2016-09-12 Segher Boessenkool * targhooks.c (default_lra_p): Return true instead of false. --- gcc/targhooks.c | 2 +- 1 file c

[PATCH 1/3] Put a TARGET_LRA_P into every target

2016-09-12 Thread Segher Boessenkool
This patch adds a TARGET_LRA_P (defined to hook_bool_void_false) to every target that didn't yet override the hook. No functional change. Segher 2016-09-12 Segher Boessenkool * config/alpha/alpha.c (TARGET_LRA_P): New macro, defined to hook_bool_void_false. * config

[PATCH 0/3] Default LRA to "on"

2016-09-12 Thread Segher Boessenkool
All primary platforms default to LRA now, not the old reload. It is too early to remove reload (and all ports still using reload ;-) ), this will take time, but as a first step this series makes LRA used by default. It should not change behaviour for any existing port, only for new ports. After t

Re: [PATCH] - improve sprintf buffer overflow detection (middle-end/49905)

2016-09-12 Thread Martin Sebor
On 09/12/2016 04:08 PM, Joseph Myers wrote: On Sun, 11 Sep 2016, Martin Sebor wrote: Attached is revision 8 of the patch (hopefully) adjusted as requested above, and with a simple test with of the multiline The ChangeLog appears not to have been updated (at least, it doesn't mention the chang

Re: [TREE-SSA-CCP] Issue warning when folding condition

2016-09-12 Thread Jeff Law
On 08/18/2016 08:09 PM, Kugan Vivekanandarajah wrote: The testcase pr33738.C for warning fails with early-vrp patch. The reason is, with early-vrp ccp2 is folding the comparison that used to be folded in simplify_stmt_for_jump_threading. Since early-vrp does not perform jump-threading is not opti

Re: [PATCH] - improve sprintf buffer overflow detection (middle-end/49905)

2016-09-12 Thread Joseph Myers
On Sun, 11 Sep 2016, Martin Sebor wrote: > Attached is revision 8 of the patch (hopefully) adjusted as > requested above, and with a simple test with of the multiline The ChangeLog appears not to have been updated (at least, it doesn't mention the changes to target.def). -- Joseph S. Myers jos

Re: Verify package integrity of downloaded prerequisites (partially fixes 61439)

2016-09-12 Thread Joseph Myers
On Sun, 11 Sep 2016, Moritz Klammler wrote: > gmp='gmp-4.3.2.tar.bz2' > mpfr='mpfr-2.4.2.tar.bz2' > mpc='mpc-0.8.1.tar.gz' > isl='isl-0.15.tar.bz2' These are not the versions used in the current script (given which, presumably you need to check for any other changes to the script since you star

Re: [PATCH] Fix aarch64 fallout of [PATCH, LRA] Fix PR rtl-optimization 77289, LRA matching constraint problem

2016-09-12 Thread Bernd Edlinger
On 09/12/16 23:45, Jeff Law wrote: > On 09/12/2016 07:43 AM, Bernd Edlinger wrote: >> Hi, >> >> the attached patch boot-straps and reg-tests cleanly >> on x86_64-pc-linux-gnu, powerpc and aarch64 targets. >> >> Is it OK for trunk? > Unfortunately, there's no explanation for why the original code wa

[v3 PATCH] Implement P0040R3, Extending memory management tools.

2016-09-12 Thread Ville Voutilainen
Tested on Linux-x64. I didn't even try to be clever about uninitialized_move and uninitialized_move_n, so these don't (yet) try to optimize for trivially_move_constructible types. Similarly, destroy and destroy_n don't (yet) have no-op specializations for trivially destructible types. 2016-09-13

Re: [C PATCH] Tidy build_unary_op

2016-09-12 Thread Joseph Myers
On Sat, 10 Sep 2016, Marek Polacek wrote: > A minor cleanup. First, FLAG is a really bad name for a parameter, and > second, > using two vars for the same thing is redundant (we never modify any of them). > Also some bad formatting. > > Bootstrap/regtest on x86_64-linux running. Ok for trunk?

Re: [PATCH] Fix aarch64 fallout of [PATCH, LRA] Fix PR rtl-optimization 77289, LRA matching constraint problem

2016-09-12 Thread Jeff Law
On 09/12/2016 07:43 AM, Bernd Edlinger wrote: Hi, the attached patch boot-straps and reg-tests cleanly on x86_64-pc-linux-gnu, powerpc and aarch64 targets. Is it OK for trunk? Unfortunately, there's no explanation for why the original code was wrong. Yes, I can clearly see you're trying to fi

Re: [Bug target/77570] New: [msp430-elf] Wrong assembly in delay_cycles_32x insn declaration

2016-09-12 Thread DJ Delorie
Patch applied as per bug report... 2016-09-12 Orlando Arias PR target/77570 * config/msp430/msp430.md (delay_cycles_32x): Fix pushm/popm. Index: config/msp430/msp430.md === --- config/msp430/msp430.md (revisi

Re: [PATCH/AARCH64] Improve ThunderX code generation slightly with load/store pair

2016-09-12 Thread Andrew Pinski
On Tue, Aug 9, 2016 at 10:43 AM, Richard Earnshaw (lists) wrote: > On 08/08/16 18:48, Andrew Pinski wrote: >> On Fri, Aug 5, 2016 at 12:18 AM, Andrew Pinski wrote: >>> Hi, >>> On ThunderX, load (and store) pair that does a pair of two word >>> (32bits) load/stores is slower in some cases than d

Re: [PATCH] Add a warning for suspicious use of conditional expressions in boolean context

2016-09-12 Thread Bernd Edlinger
On 09/12/16 22:08, Jeff Law wrote: > On 09/12/2016 02:00 PM, Bernd Edlinger wrote: > >> Yes, I will update the patch accordingly. >> >> I agree, a statement like "if (x ? 0 : 2)" can be called suspicious as >> well, even if the result of x is not ignored as in "if (x ? 1 : 2)". >> >> After I posted

Re: RFA (libstdc++): PATCH to implement C++17 over-aligned new

2016-09-12 Thread Jason Merrill
I'm checking in this patch, which should fix the remaining issues: On Sat, Sep 10, 2016 at 2:14 PM, Andreas Schwab wrote: > FAIL: g++.dg/cpp1z/aligned-new1.C (test for excess errors) > Excess errors: > /daten/aranym/gcc/gcc-20160910/gcc/testsuite/g++.dg/cpp1z/aligned-new1.C:10:20: > warning: r

Re: [PATCH, testsuite]: Test compat _Complex varargs passing

2016-09-12 Thread Jeff Law
On 09/08/2016 02:53 AM, Uros Bizjak wrote: On Mon, Sep 5, 2016 at 1:45 PM, Joseph Myers wrote: On Sun, 4 Sep 2016, Uros Bizjak wrote: It looks that different handling of _Complex char, _Complex short and _Complex float is there on purpose. Is (was?) there a limitation in a c language standard

Re: [PATCH, testsuite]: Test compat _Complex varargs passing

2016-09-12 Thread Mike Stump
On Sep 8, 2016, at 1:53 AM, Uros Bizjak wrote: > > On Mon, Sep 5, 2016 at 1:45 PM, Joseph Myers wrote: >> On Sun, 4 Sep 2016, Uros Bizjak wrote: >> >>> It looks that different handling of _Complex char, _Complex short and >>> _Complex float is there on purpose. Is (was?) there a limitation in a

Re: [PATCH] Detect whether target can use -fprofile-update=atomic

2016-09-12 Thread Jeff Law
On 09/07/2016 03:34 AM, Martin Liška wrote: On 09/07/2016 09:45 AM, Christophe Lyon wrote: > On 6 September 2016 at 15:45, Martin Liška wrote: >> On 09/06/2016 03:31 PM, Jakub Jelinek wrote: >>> sizeof (gcov_type) talks about the host gcov type, you want instead the >>> target gcov type. So

Re: [PATCH][RFC] Early LTO debug

2016-09-12 Thread Jeff Law
On 09/06/2016 05:17 AM, Richard Biener wrote: On Fri, 26 Aug 2016, Richard Biener wrote: The patch below is my current development state of Early LTO debug lumped into one big patch (no changelog, sorry). It contains previously posted https://gcc.gnu.org/ml/gcc-patches/2015-08/msg01089.htm

Re: [PATCH] Add a warning for suspicious use of conditional expressions in boolean context

2016-09-12 Thread Jeff Law
On 09/12/2016 02:00 PM, Bernd Edlinger wrote: Yes, I will update the patch accordingly. I agree, a statement like "if (x ? 0 : 2)" can be called suspicious as well, even if the result of x is not ignored as in "if (x ? 1 : 2)". After I posted this patch, I extended the patch to cover also susp

Re: [PATCH] Optimise the fpclassify builtin to perform integer operations when possible

2016-09-12 Thread Andrew Pinski
On Mon, Sep 12, 2016 at 6:21 PM, Moritz Klammler wrote: > > Tamar Christina writes: > >> Hi All, >> >> This patch adds an optimized route to the fpclassify builtin >> for floating point numbers which are similar to IEEE-754 in format. >> >> [...] > > I might be the least competent person on this

Re: [PATCH] Add a warning for suspicious use of conditional expressions in boolean context

2016-09-12 Thread Bernd Edlinger
On 09/12/16 21:30, Jeff Law wrote: > On 09/02/2016 12:53 PM, Bernd Edlinger wrote: >> Hi! >> >> As reported in PR77434 and PR77421 there should be a warning for >> suspicious uses of conditional expressions with non-boolean arguments. >> >> This warning triggers on conditional expressions in boolea

Re: [PATCH GCC 9/9]Prove no-overflow in computation of LOOP_VINFO_NITERS and improve code generation

2016-09-12 Thread Jeff Law
On 09/06/2016 12:54 PM, Bin Cheng wrote: Hi, LOOP_VINFO_NITERS is computed as LOOP_VINFO_NITERSM1 + 1, which could overflow in loop niters' type. Vectorizer needs to generate more code computing vectorized niters if overflow does happen. However, For common loops, there is no overflow actual

Re: [PATCHv2] Fix a few simple cases where -Wparentheses does not warn for omitted middle value

2016-09-12 Thread Jeff Law
On 09/06/2016 04:07 PM, Bernd Edlinger wrote: On 09/05/16 23:50, Bernd Edlinger wrote: > Hi, > > I've noticed that there is already a -Wparentheses warning for code like > > int y = x == 2 ?: 1 > > => warning: the omitted middle operand in ?: will always be 'true', > suggest explicit middle op

Re: [patch v2] Get rid of stack trampolines for nested functions (3/4)

2016-09-12 Thread Jeff Law
On 09/04/2016 02:14 PM, Eric Botcazou wrote: These are the individual back-end changes. Only the architectures for which native platforms are available are changed for now. The changes were tested at AdaCore over the years for every architecture and I'll retest them if they are accepted, except

Re: [patch v2] Get rid of stack trampolines for nested functions (1/4)

2016-09-12 Thread Jeff Law
On 09/04/2016 02:10 PM, Eric Botcazou wrote: This is the common infrastructure part. As explained in the initial message, nothing is activated unless both the language and the target opt in. 2016-07-04 Eric Botcazou PR ada/37139 PR ada/67205 * common.opt (-ftrampoli

Re: [patch v2] Get rid of stack trampolines for nested functions (1/4)

2016-09-12 Thread Jeff Law
On 09/04/2016 02:10 PM, Eric Botcazou wrote: This is the common infrastructure part. As explained in the initial message, nothing is activated unless both the language and the target opt in. 2016-07-04 Eric Botcazou PR ada/37139 PR ada/67205 * common.opt (-ftrampoli

Re: [PATCH] Add a warning for suspicious use of conditional expressions in boolean context

2016-09-12 Thread Jeff Law
On 09/02/2016 12:53 PM, Bernd Edlinger wrote: Hi! As reported in PR77434 and PR77421 there should be a warning for suspicious uses of conditional expressions with non-boolean arguments. This warning triggers on conditional expressions in boolean context, when both possible results are non-zero

Re: [RFC] COMDAT Safe Module Level Multi versioning

2016-09-12 Thread Sriraman Tallam
On Mon, Oct 5, 2015 at 2:58 PM, Sriraman Tallam wrote: > On Wed, Sep 9, 2015 at 4:01 PM, Sriraman Tallam wrote: >> On Wed, Sep 2, 2015 at 4:32 PM, Sriraman Tallam wrote: >>> >>> On Tue, Aug 18, 2015 at 9:46 PM, Cary Coutant wrote: >>> >> Thanks, will make those changes. Do you recommend a diff

RFC: PATCH to consider MAX_OFILE_ALIGNMENT for targetm.absolute_biggest_alignment

2016-09-12 Thread Jason Merrill
TARGET_ABSOLUTE_BIGGEST_ALIGNMENT is documented to be the largest alignment possible for any type or variable, and defaults to BIGGEST_ALIGNMENT. But MAX_OFILE_ALIGNMENT is typically much larger than BIGGEST_ALIGNMENT, and is documented as the limit for __attribute ((aligned)). Shouldn't it be co

Re: [PATCH 0/9] RFC: selftests based on RTL dumps

2016-09-12 Thread David Malcolm
On Mon, 2016-09-12 at 16:10 +0200, Bernd Schmidt wrote: > In general, it's functionality that I would very much like to have > (although maybe it's less useful these days now that the rtl side is > fairly static). I think there's not much sense looking too deeply at > the > individual patches ye

Re: RFA (libstdc++): PATCH to implement C++17 over-aligned new

2016-09-12 Thread Jason Merrill
On Mon, Sep 12, 2016 at 12:10 PM, Jonathan Wakely wrote: > On 12/09/16 16:13 +0200, Rainer Orth wrote: >> >> Jason Merrill writes: >> >>> On Thu, Sep 8, 2016 at 7:06 AM, Jonathan Wakely >>> wrote: On 08/09/16 09:10 +0200, Marc Glisse wrote: > > > Do we want a generic fallba

Re: [PATCH 8/9] shrink-wrap: shrink-wrapping for separate components

2016-09-12 Thread Jeff Law
On 09/09/2016 03:57 PM, Segher Boessenkool wrote: On Thu, Sep 08, 2016 at 12:34:07PM -0600, Jeff Law wrote: On 07/31/2016 07:42 PM, Segher Boessenkool wrote: Deciding what blocks should run with a certain component active so that the total cost of executing the prologues (and epilogues) is opt

Make max_align_t respect _Float128 [version 3]

2016-09-12 Thread Joseph Myers
[Patch version 3 is updated for Jason's changes to cxx_fundamental_alignment_p.] The _FloatN, _FloatNx, _DecimalN and _DecimalNx types are specified in such a way that they are basic types, meaning that max_align_t must be at least as aligned as those types. On 32-bit x86, max_align_t is currentl

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

2016-09-12 Thread Jim Meyering
On Mon, Sep 12, 2016 at 7:05 AM, Eric Gallager wrote: > On 9/11/16, Manuel López-Ibáñez wrote: >> On 11/09/16 14:02, Mark Wielaard wrote: >>> -Wshadow-local which warns if a local variable shadows another local >>> variable or parameter, >>> >>> -Wshadow-compatible-local which warns if a lo

Re: [PATCH 6/9] sel-sched: Don't mess with register restores

2016-09-12 Thread Jeff Law
On 09/09/2016 03:13 PM, Segher Boessenkool wrote: On Thu, Sep 08, 2016 at 11:54:33AM -0600, Jeff Law wrote: On 07/31/2016 07:42 PM, Segher Boessenkool wrote: If selective scheduling copies register restores it confuses dwarf2cfi. 2016-06-07 Segher Boessenkool * sel-sched-ir.c (init

Re: [PATCH] Optimise the fpclassify builtin to perform integer operations when possible

2016-09-12 Thread Moritz Klammler
Tamar Christina writes: > Hi All, > > This patch adds an optimized route to the fpclassify builtin > for floating point numbers which are similar to IEEE-754 in format. > > [...] I might be the least competent person on this list to review this patch but nevertheless read it out of interest and

Re: [PATCH] Allow FP to be used as a call-saved registe

2016-09-12 Thread Jeff Law
On 09/05/2016 08:59 AM, Tamar Christina wrote: Hi All, This patch allows the FP register to be used as a call-saved register when -fomit-frame-pointer is used. The change is done in such a way that the defaults do not change. To use the FP register both -fomit-frame-pointer and -fcall-saved- ne

[PATCH] unbreak libsanitizer build on sparc-linux (PR 67899)

2016-09-12 Thread Mikael Pettersson
PR sanitizer/67899 is a bootstrap failure on sparc-linux, caused by a compilation error in libsanitizer. The root cause is that `struct sigaction' has changed layout in glibc twice recently, first an unintended ABI change in glibc-2.20, and then the correction in glibc-2.22 (backported to the .20

Re: [PATCH 5/9] regrename: Don't run if function was separately shrink-wrapped

2016-09-12 Thread Jeff Law
On 09/12/2016 10:54 AM, David Edelsohn wrote: On Sep 12, 2016 17:33, "Jeff Law" mailto:l...@redhat.com>> wrote: On 09/10/2016 12:40 AM, Segher Boessenkool wrote: On Fri, Sep 09, 2016 at 05:01:19PM -0600, Jeff Law wrote: On 09/09/2016 02:41 PM, Segher Boessenkool wrote: On Fri, Sep 09, 201

Re: [PATCH 4/9] regrename: Don't rename restores

2016-09-12 Thread Jeff Law
On 09/09/2016 02:59 PM, Segher Boessenkool wrote: On Thu, Sep 08, 2016 at 11:51:53AM -0600, Jeff Law wrote: On 07/31/2016 07:42 PM, Segher Boessenkool wrote: A restore is supposed to restore some certain register. Restoring it into some other register will not work. Don't. 2016-06-07 Segher

Re: [PATCH v2 0/9] Separate shrink-wrapping

2016-09-12 Thread Jeff Law
On 09/09/2016 02:56 PM, Segher Boessenkool wrote: On Fri, Sep 09, 2016 at 12:57:32PM -0600, Jeff Law wrote: I think the lack of test coverage is something we'll want to address. Building and running the compiler, the various target libraries, and the testsuite is more than enough coverage for

Re: [PATCH 1/9] separate shrink-wrap: New command-line flag, status flag, hooks, and doc

2016-09-12 Thread Jeff Law
On 09/09/2016 02:33 PM, Segher Boessenkool wrote: On Fri, Sep 09, 2016 at 12:28:12PM -0600, Jeff Law wrote: The generic code only does + /* We don't handle "strange" functions. */ + if (cfun->calls_alloca + || cfun->calls_setjmp + || cfun->can_throw_non_call_exceptions + || cr

Re: [PATCH 5/9] regrename: Don't run if function was separately shrink-wrapped

2016-09-12 Thread Jeff Law
On 09/10/2016 12:40 AM, Segher Boessenkool wrote: On Fri, Sep 09, 2016 at 05:01:19PM -0600, Jeff Law wrote: On 09/09/2016 02:41 PM, Segher Boessenkool wrote: On Fri, Sep 09, 2016 at 12:31:31PM -0600, Jeff Law wrote: On 06/08/2016 03:18 AM, Bernd Schmidt wrote: On 06/08/2016 03:47 AM, Segher B

Re: [PATCH] df: Keep return address register undefined until epilogue_completed

2016-09-12 Thread Jeff Law
On 09/10/2016 01:17 AM, Segher Boessenkool wrote: On Fri, Sep 09, 2016 at 04:40:12PM -0600, Jeff Law wrote: Right now the dataflow is conservatively correct WRT the return register. And conservatively incorrect wrt all other callee-saved regs! But prior to prologue/epilogue insertion it should

Re: [v3 PATCH] Implement C++17 string searchers.

2016-09-12 Thread Jonathan Wakely
On 12/09/16 18:55 +0300, Ville Voutilainen wrote: On 12 September 2016 at 18:49, Jonathan Wakely wrote: Is there a reason I didn't use an alias template or variable template here? template using __is_std_equal_to = is_same, _Pred>; That avoids defining a new class template. I don't kno

[PATCH] Optimise the fpclassify builtin to perform integer operations when possible

2016-09-12 Thread Tamar Christina
Hi All, This patch adds an optimized route to the fpclassify builtin for floating point numbers which are similar to IEEE-754 in format. The goal is to make it faster by: 1. Trying to determine the most common case first (e.g. the float is a Normal number) and then the rest. The amount of c

Re: RFA (libstdc++): PATCH to implement C++17 over-aligned new

2016-09-12 Thread Jonathan Wakely
On 12/09/16 16:13 +0200, Rainer Orth wrote: Jason Merrill writes: On Thu, Sep 8, 2016 at 7:06 AM, Jonathan Wakely wrote: On 08/09/16 09:10 +0200, Marc Glisse wrote: Do we want a generic fallback implementation (similar to gcc/config/i386/gmm_malloc.h)? A windows version with _aligned_mallo

Re: [v3 PATCH] Implement C++17 string searchers.

2016-09-12 Thread Ville Voutilainen
On 12 September 2016 at 18:49, Jonathan Wakely wrote: >>> Is there a reason I didn't use an alias template or variable template >>> here? >>> >>> template >>>using __is_std_equal_to = is_same, _Pred>; >>> >>> That avoids defining a new class template. >> >> >> I don't know whether that's a pr

Re: [PATCH] optabs.c: Update inline documentation

2016-09-12 Thread Jeff Law
On 09/12/2016 08:37 AM, Maciej W. Rozycki wrote: Hi, I've noticed commit 147425 ("cond-optab merge target-independent bits"), , changed the semantics of `prepare_cmp_insn' function arguments, however did not fully accordingly update its

Re: [v3 PATCH] Implement C++17 string searchers.

2016-09-12 Thread Ville Voutilainen
On 12 September 2016 at 18:30, Jonathan Wakely wrote: > On 12 September 2016 at 12:00, Ville Voutilainen wrote: >> I didn't change any of those parts in the patch, I intentionally >> avoided such changes. > > OK. I wrote a more detailed reply that will have to wait until I have > better network co

Re: [v3 PATCH] Implement C++17 string searchers.

2016-09-12 Thread Jonathan Wakely
On 12/09/16 14:00 +0300, Ville Voutilainen wrote: On 12 September 2016 at 13:41, Jonathan Wakely wrote: + template +struct __is_std_equal_to : std::false_type { }; + + template<> +struct __is_std_equal_to> : std::true_type { }; Is there a reason I didn't use an alias template or va

Re: [v3 PATCH] Implement C++17 string searchers.

2016-09-12 Thread Jonathan Wakely
On 12 September 2016 at 12:00, Ville Voutilainen wrote: > I didn't change any of those parts in the patch, I intentionally > avoided such changes. OK. I wrote a more detailed reply that will have to wait until I have better network connectivity, but the short version is patch approved for trunk wi

Re: [PATCH v2][AArch64] Fix symbol offset limit

2016-09-12 Thread Wilco Dijkstra
Wilco wrote:  > The original example is from GCC itself, the fixed_regs array is small but > due to > optimization we can end up with &fixed_regs + 0x. We could also check the bounds of each symbol if they exist, like the patch below. In aarch64_classify_symbol symbols are allowed f

Re: [PATCH][AArch64 - v3] Simplify eh_return implementation

2016-09-12 Thread Wilco Dijkstra
ping   Ramana Radhakrishnan wrote: > Can you please file a PR for this and add some testcases ?  This sounds like > a serious enough problem that needs to be looked at probably going back since > the dawn of time. I've created PR77455. Updated patch below: This patch simplifies the handling

[PATCH] optabs.c: Update inline documentation

2016-09-12 Thread Maciej W. Rozycki
Hi, I've noticed commit 147425 ("cond-optab merge target-independent bits"), , changed the semantics of `prepare_cmp_insn' function arguments, however did not fully accordingly update its documentation comment. Here's the missing updat

Re: RFA (libstdc++): PATCH to implement C++17 over-aligned new

2016-09-12 Thread Rainer Orth
Jason Merrill writes: > On Thu, Sep 8, 2016 at 7:06 AM, Jonathan Wakely wrote: >> On 08/09/16 09:10 +0200, Marc Glisse wrote: >>> >>> Do we want a generic fallback implementation (similar to >>> gcc/config/i386/gmm_malloc.h)? A windows version with _aligned_malloc / >>> _aligned_free would also

Re: [PATCH] Indicate minimum in-tree MPFR version handled

2016-09-12 Thread Maciej W. Rozycki
On Fri, 12 Aug 2016, Bernd Edlinger wrote: > > + # MPFR v3.1.0 moved the sources into a src sub-directory. > > + if ! test -d ${srcdir}/mpfr/src; then > > +as_fn_error "Building GCC with MPFR in the source tree is only handled > > for MPFR 3.1.0+." "$LINENO" 5 > > + fi > > I think it is a

Re: [PATCH] Indicate minimum in-tree MPFR version handled

2016-09-12 Thread Maciej W. Rozycki
On Tue, 16 Aug 2016, Jeff Law wrote: > > 2016-08-12 Maciej W. Rozycki > > > > * configure.ac: Check for the minimum in-tree MPFR version > > handled. > > * configure: Regenerate. > > > > OK to apply? > OK. Applied now, thanks for your review and apologies for the delay. Maci

Re: [PATCH 0/9] RFC: selftests based on RTL dumps

2016-09-12 Thread Bernd Schmidt
In general, it's functionality that I would very much like to have (although maybe it's less useful these days now that the rtl side is fairly static). I think there's not much sense looking too deeply at the individual patches yet; we need to first figure out what we would really like this to

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

2016-09-12 Thread Eric Gallager
On 9/11/16, Manuel López-Ibáñez wrote: > On 11/09/16 14:02, Mark Wielaard wrote: >> -Wshadow-local which warns if a local variable shadows another local >> variable or parameter, >> >> -Wshadow-compatible-local which warns if a local variable shadows >> another local variable or parameter

[PATCH] Fix aarch64 fallout of [PATCH, LRA] Fix PR rtl-optimization 77289, LRA matching constraint problem

2016-09-12 Thread Bernd Edlinger
Hi, the attached patch boot-straps and reg-tests cleanly on x86_64-pc-linux-gnu, powerpc and aarch64 targets. Is it OK for trunk? Thanks Bernd. 2016-09-12 Bernd Edlinger PR rtl-optimization/77289 * lra-constraints.c (get_final_hard_regno): Removed. (get_hard_regno): Add new parameter fin

Re: [PATCH 0/4] (v2) Generating patches from fix-it hints

2016-09-12 Thread David Malcolm
On Fri, 2016-09-09 at 16:56 -0600, Jeff Law wrote: > On 08/24/2016 07:13 PM, David Malcolm wrote: > > Here's a much less ambitious version of the patch kit, which > > eliminates any attempt to write to the user's source > > code (getting rid of edit_context::apply_changes and > > -fdiagnostics-app

Re: [PATCH, LRA] Fix PR rtl-optimization 77289, LRA matching constraint problem

2016-09-12 Thread Kyrill Tkachov
On 11/09/16 21:53, Peter Bergner wrote: On 9/11/16 3:35 PM, Bernd Edlinger wrote: FYI: I have a patch for the aarch64 regression here: https://gcc.gnu.org/bugzilla/attachment.cgi?id=39600 It passes bootstrap and reg-testing on x86_64-linux-gnu. Thanks for debugging and fixing this! Also t

Re: [PATCH, i386] Spellcheck hints for the i386 backend option handling (PR middle-end/77475, take 2, generic part)

2016-09-12 Thread Bernd Schmidt
On 09/06/2016 10:36 PM, Jakub Jelinek wrote: +/* Helper function for listing valid choices and hint for misspelled + value. CANDIDATES is a vector containing all valid strings, + STR is set to a heap allocated string that contains all those + strings concatenated, separated by spaces, and

Re: [v3 PATCH] Implement C++17 string searchers.

2016-09-12 Thread Ville Voutilainen
On 12 September 2016 at 13:41, Jonathan Wakely wrote: >> + template >> +struct __is_std_equal_to : std::false_type { }; >> + >> + template<> >> +struct __is_std_equal_to> : std::true_type { }; > > > Is there a reason I didn't use an alias template or variable template here? > > template

Re: [DOC] Boolean -> boolean changes

2016-09-12 Thread Bernd Schmidt
On 09/10/2016 12:56 PM, Marek Polacek wrote: 2016-09-10 Marek Polacek * doc/extend.texi: Use lowercase "boolean". * doc/invoke.texi: Likewise. * doc/md.texi: Likewise. * target.def: Likewise. * doc/tm.texi: Regenerated. Ok. Bernd

Re: [PATCH v2 0/9] Separate shrink-wrapping

2016-09-12 Thread Bernd Schmidt
On 09/09/2016 10:56 PM, Segher Boessenkool wrote: On Fri, Sep 09, 2016 at 12:57:32PM -0600, Jeff Law wrote: I think the lack of test coverage is something we'll want to address. Building and running the compiler, the various target libraries, and the testsuite is more than enough coverage for

Re: [v3 PATCH] Implement C++17 string searchers.

2016-09-12 Thread Jonathan Wakely
On 12/09/16 02:48 +0300, Ville Voutilainen wrote: The first patch just transforms the TS version into an std one, the second patch makes it conform by implementing P0253R1. I haven't added any tests for the pair-seconds of the new api, and I noticed that we might want to go through our make_pairs

Re: [PATCH] Allow FP to be used as a call-saved registe

2016-09-12 Thread James Greenhalgh
On Mon, Sep 05, 2016 at 03:59:18PM +0100, Tamar Christina wrote: > Hi All, > > This patch allows the FP register to be used as a call-saved > register when -fomit-frame-pointer is used. > > The change is done in such a way that the defaults do not change. > To use the FP register both -fomit-fram

Fix libgo syscall test on Solaris

2016-09-12 Thread Rainer Orth
The libgo syscall test has been failing on Solaris for quite some time: exec_unix_test.go:174:19: error: reference to undefined identifier 'syscall.Ioctl' errno := syscall.Ioctl(tty.Fd(), syscall.TIOCGPGRP, uintptr(unsafe.Pointer(&fpgrp))) ^ exec_unix_test.go:209:18: error: