[PATCH 04/11] make recog () take a rtx_insn *

2016-11-14 Thread tbsaunde+gcc
From: Trevor Saunders gcc/ChangeLog: 2016-11-14 Trevor Saunders * config/v850/v850.c (expand_prologue): Adjust. (expand_epilogue): Likewise. * expr.c (init_expr_target): Likewise. * genrecog.c (print_subroutine): Always make the argument type rtx_insn

[PATCH 00/11] more rtx_insn * stuff

2016-11-14 Thread tbsaunde+gcc
From: Trevor Saunders Hi, Basically $subject which gets rid of a few more casts over all. I ment to get this out a little while back, but life got busy, and I didn't read the status announcement properly, so virtually working from hawaii for now. patches individually built and regtested on x86_

[PATCH 03/11] make find_reg_equal_equiv_note take rtx_insn *

2016-11-14 Thread tbsaunde+gcc
From: Trevor Saunders gcc/ChangeLog: 2016-11-14 Trevor Saunders * cse.c (count_reg_usage): Adjust. * rtl.h: Adjust prototypes. * rtlanal.c (find_reg_equal_equiv_note): Change argument type to rtx_insn *. --- gcc/cse.c | 63 +++-

[PATCH 02/11] split up variables to use rtx_insn * more

2016-11-14 Thread tbsaunde+gcc
From: Trevor Saunders gcc/ChangeLog: 2016-11-14 Trevor Saunders * config/aarch64/aarch64.c (aarch64_emit_unlikely_jump): split up variables to make some rtx_insn *. * config/alpha/alpha.c (emit_unlikely_jump): Likewise. * config/arc/arc.c: Likewise. *

[PATCH 01/11] use rtx_insn * more places where it is obvious

2016-11-14 Thread tbsaunde+gcc
From: Trevor Saunders gcc/ChangeLog: 2016-11-14 Trevor Saunders * config/arm/arm.c (legitimize_pic_address): Change to use rtx_insn * as the type of variables. (arm_pic_static_addr): Likewise. (arm_emit_movpair): Likewise. * config/c6x/c6x.c (reorg_spl

[PATCH 10/11] make dead_or_set_{,regno_}p take rtx_insn *

2016-11-14 Thread tbsaunde+gcc
From: Trevor Saunders gcc/ChangeLog: 2016-11-14 Trevor Saunders * rtl.h: Adjust prototype. * rtlanal.c (dead_or_set_p): Change argument type to rtx_insn *. (dead_or_set_regno_p): Likewise. --- gcc/rtl.h | 4 ++-- gcc/rtlanal.c | 4 ++-- 2 files changed, 4 inserti

[PATCH 06/11] make delete_insn () take a rtx_insn *

2016-11-14 Thread tbsaunde+gcc
From: Trevor Saunders gcc/ChangeLog: 2016-11-14 Trevor Saunders * cfgrtl.c (delete_insn): Change argument type to rtx_insn *. (fixup_reorder_chain): Adjust. * cfgrtl.h: Adjust prototype. --- gcc/cfgrtl.c | 5 ++--- gcc/cfgrtl.h | 2 +- 2 files changed, 3 insertions(+

[PATCH 05/11] make replace_label_in_insn take labels as rtx_insn *

2016-11-14 Thread tbsaunde+gcc
From: Trevor Saunders gcc/ChangeLog: 2016-11-14 Trevor Saunders * rtl.h: Adjust prototype. * rtlanal.c (replace_label_in_insn): Change argument type to rtx_insn *. --- gcc/rtl.h | 2 +- gcc/rtlanal.c | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) dif

[PATCH 11/11] make find_reg{,no}_fusage take rtx_insn *

2016-11-14 Thread tbsaunde+gcc
From: Trevor Saunders gcc/ChangeLog: 2016-11-14 Trevor Saunders * config/arm/arm-protos.h: Adjust prototype. * config/arm/arm.c (use_return_insn): Change argument type to rtx_insn *. * rtl.h (is_a_helper ::test): New specialization. * rtlanal.c (reg_se

[PATCH 08/11] make prologue_epilogue_contains take a rtx_insn *

2016-11-14 Thread tbsaunde+gcc
From: Trevor Saunders gcc/ChangeLog: 2016-11-14 Trevor Saunders * function.c (contains): Change argument type to rtx_insn *. (prologue_contains): Likewise. (epilogue_contains): Likewise. (prologue_epilogue_contains): Likewise. * function.h: Adjust prot

[PATCH 07/11] remove cast from emit_libcall_block

2016-11-14 Thread tbsaunde+gcc
From: Trevor Saunders gcc/ChangeLog: 2016-11-14 Trevor Saunders * optabs.c (emit_libcall_block): Change argument type to rtx_insn *. * optabs.h: Adjust prototype. --- gcc/optabs.c | 5 ++--- gcc/optabs.h | 2 +- 2 files changed, 3 insertions(+), 4 deletions(-) diff

[PATCH 09/11] make add_int_reg_note take rtx_insn *

2016-11-14 Thread tbsaunde+gcc
From: Trevor Saunders gcc/ChangeLog: 2016-11-14 Trevor Saunders * rtl.h: Adjust prototype. * rtlanal.c (add_int_reg_note): Change argument type to rtx_insn *. --- gcc/rtl.h | 2 +- gcc/rtlanal.c | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/gcc/r

[PATCH v2] Support ASan ODR indicators at compiler side.

2016-11-14 Thread Maxim Ostapenko
Hi, this is the second attempt to support ASan odr indicators in GCC. I've fixed issues with several flags (e.g.TREE_ADDRESSABLE) and introduced new "asan odr indicator" attribute to distinguish indicators from other symbols. Looks better now? Tested and ASan bootstrapped on x86_64-unknown-l

Re: [PATCH] PR fortran/78300 -- class procedure as actual arg

2016-11-14 Thread Janus Weil
Hi Steve, > The attach patch allows a procedure with a class result to > be an actual argument to subprogram where the dummy argument > expected to be a class. OK to commit? that patch actually does not look quite right to me. Does it survive a regtest? I think one should rather check why the c

[PATCH] libiberty: Fix some demangler crashes caused by reading past end of input.

2016-11-14 Thread Mark Wielaard
In various situations the cplus_demangle () function could read past the end of input causing crashes. Add checks in various places to not advance the demangle string location and fail early when end of string is reached. Add various examples of input strings to the testsuite that would crash test-

Re: [PATCH, RFC] Improve ivopts group costs

2016-11-14 Thread Bin.Cheng
On Sat, Nov 12, 2016 at 8:36 AM, Evgeny Kudryashov wrote: > On 2016-11-10 13:30, Bin.Cheng wrote: >> >> Hi, >> I see the cost problem with your test now. When computing an address >> type iv_use with a candidate, the computation consists of two parts, >> for computation can be represented by addr

Some backward threader refactoring

2016-11-14 Thread Jeff Law
I was looking at the possibility of dropping threading from VRP1/VRP2 or DOM1/DOM2 in favor of the backwards threader -- the obvious idea being to recover some compile-time for gcc-7. Of the old-style threader passes (VRP1, VRP2, DOM1, DOM2), VRP2 is by far the least useful. But I can't se

Re: [Patch 5/17] Add -fpermitted-flt-eval-methods=[c11|ts-18661-3]

2016-11-14 Thread James Greenhalgh
On Fri, Nov 11, 2016 at 09:42:32PM -0700, Sandra Loosemore wrote: > On 11/11/2016 08:37 AM, James Greenhalgh wrote: > > >diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi > >index f133b3a..75ff8ec 100644 > >--- a/gcc/doc/invoke.texi > >+++ b/gcc/doc/invoke.texi > >@@ -378,7 +378,8 @@ Objectiv

[RFC PATCH] Support -fsanitize=integer-arith-overflow even for vectors

2016-11-14 Thread Jakub Jelinek
Hi! 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 subscripts, this patch adds expansion for vector UBSAN_CHECK_* and generates those in ubsan. Haven't finished up the many vect

Re: [PATCH] loop distribution bug fix

2016-11-14 Thread Richard Biener
On Fri, Nov 11, 2016 at 7:55 PM, Jim Wilson wrote: > On Thu, Nov 10, 2016 at 2:53 AM, Richard Biener > wrote: >> The biggest "lack" of loop distribution is the ability to undo CSE so for > > I hadn't noticed this problem yet. I will have to take a look. > >> Then of course the cost model is pure

Re: [PATCH] df: Change defs in entry and uses in exit block during separate shrink-wrapping

2016-11-14 Thread Richard Biener
On Sat, Nov 12, 2016 at 9:31 AM, Segher Boessenkool wrote: > So far all target implementations of the separate shrink-wrapping hooks > use the DF LIVE info to figure out around which basic blocks the non- > volatile registers need to be saved. This is done by looking at the > IN+GEN+KILL sets of

Re: [patch] Disable LTO note about strict aliasing

2016-11-14 Thread Richard Biener
On Sun, Nov 13, 2016 at 11:31 PM, Eric Botcazou wrote: > It's the note issued by the -Wlto-type-mismatch warning: > > q.ads:7:13: warning: type of 'q__proc' does not match original declaration [- > Wlto-type-mismatch] >procedure Proc (A : Arr); > ^ > q.adb:7:3: note: 'q__proc' was

RE: [MIPS] Enable descriptors for nested functions in Ada

2016-11-14 Thread Matthew Fortune
Eric Botcazou writes: > Similarly to x86, PowerPC and SPARC, this enables the use of custom run- > time descriptors in Ada, thus eliminating the need for trampolines and > executable stack in presence of pointers to nested functions. > > Unfortunately I don't have access to MIPS hardware any more

[PATCH] Fix PR78312

2016-11-14 Thread Richard Biener
backprop changes values of SSA names - while it properly handles debug info it fails to reset range/align info. Bootstrapped and tested on x86_64-unknown-linux-gnu, applied. Richard. 2016-11-14 Richard Biener PR tree-optimization/78312 * gimple-ssa-backprop.c (backprop::prep

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

2016-11-14 Thread Andrew Burgess
* Claudiu Zissulescu [2016-11-10 12:02:34 +0100]: > Hi, > > Please find the revised patch which includes the refurbishing of > mmpy-option option, and a new comment on DEFAULT_arc_fpu_build > define. As for the last suggestion, my proposal is to have a latter > patch on the topic of .cpu, synce

RE: [PATCH 0/3] MIPS/GCC: Changes for `.insn' assembly annotation

2016-11-14 Thread Matthew Fortune
Maciej Rozycki writes: > This small patch series addresses an issue uncovered by a recent > binutils master branch update, scheduled for the upcoming 2.28 release, > where we fail to annotate stray code labels -- generally produced for > code marked as unreachable -- that have no instruction foll

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

2016-11-14 Thread Claudiu Zissulescu
> HEAD binutils supports '.cpu NPS400' and HEAD GCC also correctly emits > '.cpu NPS400' (when -mcpu=nps400 is passed). After your change we no > longer correctly emit '.cpu NPS400'. > Sorry for this miss-understanding. Updating the patch to emit .cpu NSPS400. Thanks, Claudiu

RE: [PATCH 1/3] MIPS/GCC/test: Implement `-mmicromips' option test

2016-11-14 Thread Matthew Fortune
Maciej Rozycki writes: > gcc/testsuite/ > * gcc.target/mips/mips.exp (mips_option_tests): Add > `-mmicromips' array element. OK, thanks. Matthew

RE: [PATCH 2/3] MIPS/GCC/test: Implement `-mcode-readable=yes' option test

2016-11-14 Thread Matthew Fortune
Maciej Rozycki writes: > gcc/testsuite/ > * gcc.target/mips/mips.exp (mips_option_tests): Add > `-mcode-readable=yes' array element. > --- > OK to apply? OK, thanks. Matthew

Re: [PATCH] DWARF: make signedness explicit for enumerator const values

2016-11-14 Thread Pierre-Marie de Rodat
Mark, Thank you for your answer! On 11/10/2016 01:38 PM, Mark Wielaard wrote: IMHO having an explicit DW_AT_type pointing at the base type with size and encoding for the DW_TAG_enumerator_type is better for consumers than having to try and interpret the DW_FORM used to encode the values. I’m

[PATCH] vimrc: fix TAB settings

2016-11-14 Thread Martin Liška
Hello. Following patch adds TAB settings to contrib/vimrc file. Hope it looks reasonable? Thanks, Martin >From 84eb32c4e84b87d690033f7505b8570427ab8468 Mon Sep 17 00:00:00 2001 From: marxin Date: Sun, 13 Nov 2016 12:05:48 +0100 Subject: [PATCH] vimrc: fix TAB settings --- contrib/vimrc | 3 +++

Re: [PATCH] PR fortran/78300 -- class procedure as actual arg

2016-11-14 Thread Janus Weil
2016-11-14 9:56 GMT+01:00 Janus Weil : > Hi Steve, > >> The attach patch allows a procedure with a class result to >> be an actual argument to subprogram where the dummy argument >> expected to be a class. OK to commit? > > that patch actually does not look quite right to me. Does it survive a >

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

2016-11-14 Thread Matthew Fortune
Maciej Rozycki writes: > 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 wonder if it would have been possible to add the ISA mode to data symbols and hide it in readelf/ob

Re: [PATCH] PR fortran/78300 -- class procedure as actual arg

2016-11-14 Thread Janus Weil
> After looking into this a little bit more, I found that the culprit > seems to be 'resolve_procedure_interface', which does not properly > copy the 'class_ok' attribute. I propose the attached patch to fix > this (regtesting right now) ... The regtest finished successfully. Is that patch ok for

[PATCH] remove conditional compilation of HAVE_AS_LEB128 code

2016-11-14 Thread tbsaunde+gcc
From: tbsaunde Last patch I'm squeezing in for stage 1. Jeff approved this back in september, but I never committed it for some reason. So I updated it to trunk, rebootstrapped and regtested and committed it. Thanks! Trev gcc/ChangeLog: 2016-08-20 Trevor Saunders * acinclude.m4

RE: [PATCH 0/3] MIPS/GCC: Changes for `.insn' assembly annotation

2016-11-14 Thread Maciej W. Rozycki
On Mon, 14 Nov 2016, Matthew Fortune wrote: > At some point in the future we may therefore have to consider backports > of this work to pre-existing GCC releases or a configure time check in > binutils to relax the new checks if GCC does not have the .insn fix. I > don't know how reliable the latt

Re: [PATCH] DWARF: make signedness explicit for enumerator const values

2016-11-14 Thread Mark Wielaard
On Mon, 2016-11-14 at 12:08 +0100, Pierre-Marie de Rodat wrote: > Thank you for your answer! > > On 11/10/2016 01:38 PM, Mark Wielaard wrote: > > IMHO having an explicit DW_AT_type pointing at the base type with size > > and encoding for the DW_TAG_enumerator_type is better for consumers than > >

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

2016-11-14 Thread Martin Liška
PING^1 On 10/31/2016 01:13 PM, Martin Liška wrote: > 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 >>> gco

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

2016-11-14 Thread Richard Biener
On Fri, 11 Nov 2016, Yuri Rumyantsev wrote: > Richard, > > I prepare updated 3 patch with passing additional argument to > vect_analyze_loop as you proposed (untested). > > You wrote: > tw, I wonder if you can produce a single patch containing just > epilogue vectorization, that is combine patch

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

2016-11-14 Thread Richard Biener
On Fri, 11 Nov 2016, Yuri Rumyantsev wrote: > Richard, > > Here is fixed version of updated patch 3. > > Any comments will be appreciated. Looks good apart from + if (epilogue) +{ + epilogue->force_vectorize = loop->force_vectorize; + epilogue->safelen = loop->safelen; + ep

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

2016-11-14 Thread Wilco Dijkstra
ping From: Wilco Dijkstra Sent: 02 November 2016 16:49 To: Ramana Radhakrishnan; GCC Patches Cc: nd Subject: Re: [PATCH][AArch64 - v3] Simplify eh_return implementation       ping From: Wilco Dijkstra Sent: 02 September 2016 12:31 To: Ramana Radhakrishnan; GCC Patches Cc: nd Subject: Re: [

Re: [PATCH][AArch64] Improve SHA1 scheduling

2016-11-14 Thread Wilco Dijkstra
ping From: Wilco Dijkstra Sent: 25 October 2016 18:08 To: GCC Patches Cc: nd Subject: [PATCH][AArch64] Improve SHA1 scheduling     SHA1H instructions may be scheduled after a SHA1C instruction that uses the same input register.  However SHA1C updates its input, so if SHA1H is scheduled after it

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

2016-11-14 Thread Wilco Dijkstra
    ping From: Wilco Dijkstra Sent: 12 September 2016 15:50 To: Richard Earnshaw; GCC Patches Cc: nd Subject: Re: [PATCH v2][AArch64] Fix symbol offset limit     Wilco wrote:    > The original example is from GCC itself, the fixed_regs array is small but > due to > optimization we can end up

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

2016-11-14 Thread Wilco Dijkstra
ping From: Wilco Dijkstra Sent: 31 October 2016 18:29 To: GCC Patches Cc: nd Subject: [RFC][PATCH][AArch64] Cleanup frame pointer usage   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 mak

Re: [PR target/78213] Do not ICE on non-empty -fself-test

2016-11-14 Thread Bernd Schmidt
On 11/11/2016 06:10 PM, Aldy Hernandez wrote: The problem in this PR is that -fself-test is being run on a non empty source file. This causes init_emit() to run, which sets: REG_POINTER (virtual_incoming_args_rtx) = 1; Setting REG_POINTER on the virtual incoming args, causes /f to be print

Fwd: failure notice

2016-11-14 Thread Jack Howarth
-- Forwarded message -- From: Date: Mon, Nov 14, 2016 at 8:15 AM Subject: failure notice To: howarth.at@gmail.com Hi. This is the qmail-send program at sourceware.org. I'm afraid I wasn't able to deliver your message to the following addresses. This is a permanent error; I've

Re: [PR target/78213] Do not ICE on non-empty -fself-test

2016-11-14 Thread Jakub Jelinek
On Mon, Nov 14, 2016 at 02:18:02PM +0100, Bernd Schmidt wrote: > On 11/11/2016 06:10 PM, Aldy Hernandez wrote: > >The problem in this PR is that -fself-test is being run on a non empty > >source file. This causes init_emit() to run, which sets: > > > >REG_POINTER (virtual_incoming_args_rtx) =

Re: [PR target/78213] Do not ICE on non-empty -fself-test

2016-11-14 Thread Bernd Schmidt
On 11/14/2016 02:20 PM, Jakub Jelinek wrote: On Mon, Nov 14, 2016 at 02:18:02PM +0100, Bernd Schmidt wrote: On 11/11/2016 06:10 PM, Aldy Hernandez wrote: The problem in this PR is that -fself-test is being run on a non empty source file. This causes init_emit() to run, which sets: REG_POIN

Re: [PATCH v2] aarch64: Add split-stack initial support

2016-11-14 Thread Adhemerval Zanella
Ping. On 07/11/2016 16:59, Adhemerval Zanella wrote: > > > On 14/10/2016 15:59, Wilco Dijkstra wrote: >> Hi, >> > > Thanks for the thoughtful review and sorry for late response. > >>> Split-stack prologue on function entry is as follow (this goes before the >>> usual function prologue): >> >>

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

2016-11-14 Thread Yuri Rumyantsev
Richard, In my previous patch I forgot to remove couple lines related to aux field. Here is the correct updated patch. Thanks. Yuri. 2016-11-14 15:51 GMT+03:00 Richard Biener : > On Fri, 11 Nov 2016, Yuri Rumyantsev wrote: > >> Richard, >> >> I prepare updated 3 patch with passing additional arg

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

2016-11-14 Thread Christophe Lyon
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, Jonathan Wakely wrote: >>> >>> >>> On 20/10/16 09:26 -0700, Mike Stump wrote: On Oct 20, 2016, at 5:20 AM, Jonathan Wakely wrote: > > > I am c

Re: [patch, avr] Add flash size to device info and make wrap around default

2016-11-14 Thread Pitchumani Sivanupandi
Ping! On Thursday 10 November 2016 01:53 PM, Pitchumani Sivanupandi wrote: On Wednesday 09 November 2016 08:05 PM, Georg-Johann Lay wrote: On 09.11.2016 10:14, Pitchumani Sivanupandi wrote: On Tuesday 08 November 2016 02:57 PM, Georg-Johann Lay wrote: On 08.11.2016 08:08, Pitchumani Sivanupan

[Patch, fortran, RFC] Add warning for missing location information

2016-11-14 Thread Thomas Koenig
Hello world, the attached patch runs through gfortran's AST to check for missing location information. If something is found, a warning is issued. I chose not to issue an error because missing location information does not make a program invalid. The patch would cause testsuite regressions for

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

2016-11-14 Thread Richard Biener
On Mon, 14 Nov 2016, Yuri Rumyantsev wrote: > Richard, > > In my previous patch I forgot to remove couple lines related to aux field. > Here is the correct updated patch. Yeah, I noticed. This patch would be ok for trunk (together with necessary parts from 1 and 2) if all not required parts are

Re: [PATCH 00/11] more rtx_insn * stuff

2016-11-14 Thread Bernd Schmidt
On 11/14/2016 09:09 AM, tbsaunde+...@tbsaunde.org wrote: From: Trevor Saunders Hi, Basically $subject which gets rid of a few more casts over all. I ment to get this out a little while back, but life got busy, and I didn't read the status announcement properly, so virtually working from hawai

Re: [Patch, fortran, RFC] Add warning for missing location information

2016-11-14 Thread Thomas Koenig
the attached patch runs through gfortran's AST to check for missing location information. ... this time with attachment. 2016-11-14 Thomas Koenig PR fortran/78226 * error.c (gfc_warning_internal): New function. * frontend-passes.c (CHECK_LOCUS): New macro.

Re: [PATCH] Support no newline in print_gimple_stmt

2016-11-14 Thread Richard Biener
On Fri, Nov 11, 2016 at 4:07 PM, Martin Liška wrote: > On 11/11/2016 01:10 PM, Richard Biener wrote: >> On Thu, Nov 10, 2016 at 4:36 PM, Martin Liška wrote: >>> I've just noticed that tree-ssa-dse wrongly prints a new line to dump file. >>> For the next stage1, I'll go through usages of print_gim

Re: [7/9][AArch64, libgcc] Let AArch64 use customized unwinder file

2016-11-14 Thread Jiong Wang
On 11/11/16 22:12, Joseph Myers wrote: On Fri, 11 Nov 2016, Jiong Wang wrote: There are two ways of introducing these AArch64 support: * Introducing a few target macros so we can customize functions like uw_init_context, uw_install_context etc. * Use target private unwind-dw2 impleme

[PATCH, GCC/ARM] Make arm_feature_set agree with type of FL_* macros

2016-11-14 Thread Thomas Preudhomme
Hi, Currently arm_feature_set is defined in gcc/config/arm/arm-flags as an array of 2 unsigned long. However, the flags stored in these two entries are (signed) int, being combinations of bits set via expression of the form 1 << bitno. This creates 3 issues: 1) undefined behavior when settin

Re: [PATCH, GCC/ARM] Make arm_feature_set agree with type of FL_* macros

2016-11-14 Thread Thomas Preudhomme
I forgot to mention that this patch is needed for the optional -mthumb patch [1] to bootstrap. [1] https://gcc.gnu.org/ml/gcc-patches/2016-11/msg00735.html Best regards, Thomas On 14/11/16 14:07, Thomas Preudhomme wrote: Hi, Currently arm_feature_set is defined in gcc/config/arm/arm-flags a

Re: [fixincludes] Fix macOS 10.12 and (PR sanitizer/78267)

2016-11-14 Thread Rainer Orth
Hi Jack, > > On darwin15, the proposed patch is insufficient to restore the bootstrap > > (after running genfixes in the fixincludes directory) unless I also apply > > the previously proposed change... > > no wonder: it's only been tested on darwin16. Care to explain what > error you're seein

Re: [PATCH][ARM] Improve max_insns_skipped logic

2016-11-14 Thread Wilco Dijkstra
Wilco Dijkstra wrote: > Richard Earnshaw wrote: > On 10/11/16 17:19, Wilco Dijkstra wrote: > Long conditional sequences are slow on modern cores - the value 6 for > max_insns_skipped is a few decades out of date as it was meant for ARM2! > Even with -Os the performance loss for larger values is no

Re: [PATCH 3/9] Introduce emit_status::ensure_regno_capacity

2016-11-14 Thread Bernd Schmidt
On 11/11/2016 10:15 PM, David Malcolm wrote: Link to earlier version of the patch: https://gcc.gnu.org/ml/gcc-patches/2016-10/msg00278.html Isn't this the same one? Bernd

Re: [fixincludes] Fix macOS 10.12 and (PR sanitizer/78267)

2016-11-14 Thread Rainer Orth
Hi Jack, > In case it helps, attached is a diff of the os/trace.h header from OS X 11.11 > vs that > from MacOS X 11.12. It looks like the context of the changes that you are > trying to > apply into are different between the two OS releases and are the cause of the > build > failures on darwin

Re: [PATCH][AArch64] Separate shrink wrapping hooks implementation

2016-11-14 Thread Kyrill Tkachov
On 11/11/16 15:31, Kyrill Tkachov wrote: On 11/11/16 10:17, Kyrill Tkachov wrote: On 10/11/16 23:39, Segher Boessenkool wrote: On Thu, Nov 10, 2016 at 02:42:24PM -0800, Andrew Pinski wrote: On Thu, Nov 10, 2016 at 6:25 AM, Kyrill Tkachov I ran SPEC2006 on a Cortex-A72. Overall scores were

Re: [WIP C++ PATCH] P0217R3 - C++17 structured bindings

2016-11-14 Thread Richard Biener
On Mon, Nov 14, 2016 at 6:04 AM, Jason Merrill wrote: > On Wed, Nov 9, 2016 at 7:24 AM, Jakub Jelinek wrote: >> The match.pd hunk is needed, otherwise the generic folding happily folds >> int arr[2]; >> ... >> auto [ x, y ] = arr; >> &x == &arr[0] >> into 0, because it thinks x and arr are distin

Re: [PATCH 3/9] Introduce emit_status::ensure_regno_capacity

2016-11-14 Thread David Malcolm
On Mon, 2016-11-14 at 15:17 +0100, Bernd Schmidt wrote: > On 11/11/2016 10:15 PM, David Malcolm wrote: > > Link to earlier version of the patch: > > https://gcc.gnu.org/ml/gcc-patches/2016-10/msg00278.html > > Isn't this the same one? > It is; sorry. The rest of the patch kit has changed great

Re: [WIP C++ PATCH] P0217R3 - C++17 structured bindings

2016-11-14 Thread Jakub Jelinek
On Mon, Nov 14, 2016 at 12:04:24AM -0500, Jason Merrill wrote: > On Wed, Nov 9, 2016 at 7:24 AM, Jakub Jelinek wrote: > > The match.pd hunk is needed, otherwise the generic folding happily folds > > int arr[2]; > > ... > > auto [ x, y ] = arr; > > &x == &arr[0] > > into 0, because it thinks x and

Re: [PATCH, GCC/ARM] Make arm_feature_set agree with type of FL_* macros

2016-11-14 Thread Kyrill Tkachov
On 14/11/16 14:07, Thomas Preudhomme wrote: Hi, Currently arm_feature_set is defined in gcc/config/arm/arm-flags as an array of 2 unsigned long. However, the flags stored in these two entries are (signed) int, being combinations of bits set via expression of the form 1 << bitno. This creates 3

Re: [PATCH, GCC] Recognize partial load of source expression on big endian targets

2016-11-14 Thread Richard Biener
On Fri, 11 Nov 2016, Thomas Preudhomme wrote: > Hi, > > To fix PR69714, code was added to disable bswap when the resulting symbolic > expression (a load or load + byte swap) is smaller than the source expression > (eg. some of the bytes accessed in the source code gets bitwise ANDed with 0). > As

Re: [WIP C++ PATCH] P0217R3 - C++17 structured bindings

2016-11-14 Thread Jakub Jelinek
On Sun, Nov 13, 2016 at 11:53:10PM -0500, Jason Merrill wrote: > On Wed, Nov 9, 2016 at 8:05 AM, Jakub Jelinek wrote: > > On Wed, Nov 09, 2016 at 01:24:22PM +0100, Jakub Jelinek wrote: > >> The following patch is a WIP on P0217R3 - decomposition declarations. > >> It contains various FIXMEs, Jason

Re: [PATCH] PR fortran/78300 -- class procedure as actual arg

2016-11-14 Thread Steve Kargl
On Mon, Nov 14, 2016 at 12:29:31PM +0100, Janus Weil wrote: > > After looking into this a little bit more, I found that the culprit > > seems to be 'resolve_procedure_interface', which does not properly > > copy the 'class_ok' attribute. I propose the attached patch to fix > > this (regtesting righ

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

2016-11-14 Thread Richard Biener
On Fri, Nov 11, 2016 at 10:15 PM, David Malcolm wrote: > Changed in this version: > > * Rather than running just one pass, run *all* passes, but start at > the given pass; support for "dg-do run" tests that execute the > resulting code. > * Updated test cases to new "compact" dump format; more

Re: [WIP C++ PATCH] P0217R3 - C++17 structured bindings

2016-11-14 Thread Jason Merrill
On Mon, Nov 14, 2016 at 9:51 AM, Jakub Jelinek wrote: > On Sun, Nov 13, 2016 at 11:53:10PM -0500, Jason Merrill wrote: >> On Wed, Nov 9, 2016 at 8:05 AM, Jakub Jelinek wrote: >> > On Wed, Nov 09, 2016 at 01:24:22PM +0100, Jakub Jelinek wrote: >> >> The following patch is a WIP on P0217R3 - decomp

Re: [PATCH 00/11] more rtx_insn * stuff

2016-11-14 Thread Trevor Saunders
On Mon, Nov 14, 2016 at 02:45:40PM +0100, Bernd Schmidt wrote: > On 11/14/2016 09:09 AM, tbsaunde+...@tbsaunde.org wrote: > > From: Trevor Saunders > > > > Hi, > > > > Basically $subject which gets rid of a few more casts over all. > > > > I ment to get this out a little while back, but life go

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

2016-11-14 Thread Yuri Rumyantsev
Richard, I checked one of the tests designed for epilogue vectorization using patches 1 - 3 and found out that build compiler performs vectorization of epilogues with --param vect-epilogues-nomask=1 passed: $ gcc -Ofast -mavx2 t1.c -S --param vect-epilogues-nomask=1 -o t1.new-nomask.s -fdump-tree

[PATCH] Add map clauses to libgomp test device-3.f90

2016-11-14 Thread Martin Jambor
Hi, yesterday I forgot to send out the following patch. The test libgomp/testsuite/libgomp.fortran/examples-4/device-3.f90 was failing for me when I was testing the HSA branch merge but I believe the test itself is wrong and the failure is due to us now adhering to OpenMP 4.5 default mapping of s

[PATCH, i386]: Merge some operand constraints

2016-11-14 Thread Uros Bizjak
No functional changes. 2016-11-14 Uros Bizjak * config/i386/i386.md (*andndi3_doubleword): Merge operand constraints. (*ashl3_doubleword): Ditto. Bootstrapped and regression tested on x86_64-linux-gnu, committed to mainline SVN. Uros. diff --git a/gcc/config/i386/i386.md b/gcc/config

[PATCH] fix PR sanitizer/78267

2016-11-14 Thread Jack Howarth
The attached patch fixes PR sanitizer/78267 by conditionalizing the include of on the compiler defining __BLOCKS__ as a supported extension. Passes bootstrap on x86_64-apple-darwin15. Okay for gcc trunk? 2016-11-14 Jack Howarth libsanitizer/ PR sanitizer/78267 * sanitizer_comm

Re: [PATCH] fix PR sanitizer/78267

2016-11-14 Thread Iain Sandoe
> On 14 Nov 2016, at 16:57, Jack Howarth wrote: > > The attached patch fixes PR sanitizer/78267 by conditionalizing the > include of on the compiler defining __BLOCKS__ as a > supported extension. Passes bootstrap on x86_64-apple-darwin15. Okay > for gcc trunk? > Rainer has that PR assigned a

Re: [PATCH, GCC/ARM] Make arm_feature_set agree with type of FL_* macros

2016-11-14 Thread Christophe Lyon
Hi, On 14 November 2016 at 15:07, Thomas Preudhomme wrote: > Hi, > > Currently arm_feature_set is defined in gcc/config/arm/arm-flags as an array > of 2 unsigned long. However, the flags stored in these two entries are > (signed) int, being combinations of bits set via expression of the form 1 <

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

2016-11-14 Thread Andrew Stubbs
The testcase powerpc/fusion3.c causes an ICE when compiled with -msoft-float. The key line in the testcase looks fairly harmless: void fusion_float_write (float *p, float f){ p[LARGE] = f; } The error message look like this: .../gcc.target/powerpc/fusion3.c: In function 'fusion_float_write

Re: [PATCH] Add map clauses to libgomp test device-3.f90

2016-11-14 Thread Alexander Monakov
On Mon, 14 Nov 2016, Martin Jambor wrote: > Hi, > > yesterday I forgot to send out the following patch. The test > libgomp/testsuite/libgomp.fortran/examples-4/device-3.f90 was failing > for me when I was testing the HSA branch merge but I believe the test > itself is wrong and the failure is

Re: [PATCH] PR fortran/78300 -- class procedure as actual arg

2016-11-14 Thread Janus Weil
2016-11-14 16:10 GMT+01:00 Steve Kargl : > On Mon, Nov 14, 2016 at 12:29:31PM +0100, Janus Weil wrote: >> > After looking into this a little bit more, I found that the culprit >> > seems to be 'resolve_procedure_interface', which does not properly >> > copy the 'class_ok' attribute. I propose the a

Re: [PATCH] PR fortran/78300 -- class procedure as actual arg

2016-11-14 Thread Steve Kargl
On Mon, Nov 14, 2016 at 06:21:06PM +0100, Janus Weil wrote: > 2016-11-14 16:10 GMT+01:00 Steve Kargl : > > On Mon, Nov 14, 2016 at 12:29:31PM +0100, Janus Weil wrote: > >> > After looking into this a little bit more, I found that the culprit > >> > seems to be 'resolve_procedure_interface', which d

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

2016-11-14 Thread Mike Stump
On Oct 21, 2016, at 1:00 AM, Christophe Lyon wrote: > > So if we say that the current behaviour has to keep being the default, > so that users think about what they are really doing, Having a toolchain not work by default to force users to think, isn't a winning strategy. Everything should al

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

2016-11-14 Thread Richard Biener
On November 14, 2016 4:39:40 PM GMT+01:00, Yuri Rumyantsev wrote: >Richard, > >I checked one of the tests designed for epilogue vectorization using >patches 1 - 3 and found out that build compiler performs vectorization >of epilogues with --param vect-epilogues-nomask=1 passed: > >$ gcc -Ofast -m

Re: [PATCH] fix PR sanitizer/78267

2016-11-14 Thread Mike Stump
On Nov 14, 2016, at 8:59 AM, Iain Sandoe wrote: > >> On 14 Nov 2016, at 16:57, Jack Howarth wrote: >> >> The attached patch fixes PR sanitizer/78267 by conditionalizing the >> include of on the compiler defining __BLOCKS__ as a >> supported extension. Passes bootstrap on x86_64-apple-darwin15.

Re: [PATCH] fix PR sanitizer/78267

2016-11-14 Thread Rainer Orth
Hi Mike, > On Nov 14, 2016, at 8:59 AM, Iain Sandoe wrote: >> >>> On 14 Nov 2016, at 16:57, Jack Howarth wrote: >>> >>> The attached patch fixes PR sanitizer/78267 by conditionalizing the >>> include of on the compiler defining __BLOCKS__ as a >>> supported extension. Passes bootstrap on x86_

[patch, fortran, committed] Allow dumping of code in Fortran syntax tree

2016-11-14 Thread Thomas Koenig
Hello world, I have just committed the attached patch as obvious. No test case, the function is only supposed to be called when debugging the compiler itself. Regards Thomas 2016-11-14 Thomas Koenig * dump-parse-tree.c (show_code): Add prototype. (gfc_debug_code):

Re: [PATCH] Fix -Wshadow warning in libiberty/cp-demangle.c

2016-11-14 Thread Ian Lance Taylor
On Sun, Nov 6, 2016 at 10:03 AM, Mark Wielaard wrote: > > We now have -Wshadow=local. So the attached patch uses that for > libiberty. Is the attached patch OK to commit? This is OK. Thanks. Ian

Re: [PATCH] Enable Intel AVX512_4FMAPS and AVX512_4VNNIW instructions

2016-11-14 Thread Andrew Senkevich
2016-11-11 14:16 GMT+03:00 Uros Bizjak : > The x86 part of the patch is OK with the above changes and additional > target attribute test for flags2 ISA features.. Fixed according your comments, I will followup with additional tests soon. -- WBR, Andrew new_avx512_instructions_14.11.patch Descr

Re: [PATCH] Enable Intel AVX512_4FMAPS and AVX512_4VNNIW instructions

2016-11-14 Thread Andrew Senkevich
2016-11-11 14:29 GMT+03:00 Jakub Jelinek : > Hi! > > I've noticed preexisting: > > On Thu, Nov 10, 2016 at 07:27:00PM +0300, Andrew Senkevich wrote: > >> --- a/gcc/config/i386/i386-modes.def >> +++ b/gcc/config/i386/i386-modes.def >> @@ -84,6 +84,7 @@ VECTOR_MODES (FLOAT, 16); /* V8HF V

Re: [PATCH, GCC/ARM] Make arm_feature_set agree with type of FL_* macros

2016-11-14 Thread Thomas Preudhomme
Hi Christophe, No, they were seen when bootstrapping on arm-linux-gnueabihf with the patch to to make -mthumb optional. The patch store flags in an arm_feature_set array and GCC -Wnarrowing complained about the difference of type. Best regards, Thomas On 14/11/16 17:00, Christophe Lyon wrot

Re: [fixincludes] Fix macOS 10.12 and (PR sanitizer/78267)

2016-11-14 Thread Jack Howarth
-7-20161114/libsanitizer/sanitizer_common -I.. -I ../../../../gcc-7-20161114/libsanitizer/include -isystem ../../../../gcc-7-20161114/libsanitizer/include/system -Wall -W -Wno-unused-parameter -Wwrite-strings -pedantic -Wno-long-long -fPIC -fno-builtin -fno-exceptions -fno-rtti -fomit-frame-pointer

Re: [PATCH, GCC/ARM] Make arm_feature_set agree with type of FL_* macros

2016-11-14 Thread Thomas Preudhomme
My apologize, I realized when trying to apply the patch that I wrote it on top of the optional -mthumb patch instead of the reverse. I'll rebase it to not screw up bisect. Best regards, Thomas On 14/11/16 14:47, Kyrill Tkachov wrote: On 14/11/16 14:07, Thomas Preudhomme wrote: Hi, Current

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

2016-11-14 Thread Christophe Lyon
On 14 November 2016 at 18:54, Mike Stump wrote: > On Oct 21, 2016, at 1:00 AM, Christophe Lyon > wrote: >> >> So if we say that the current behaviour has to keep being the default, >> so that users think about what they are really doing, > > Having a toolchain not work by default to force users

Re: [PATCH 04/11] make recog () take a rtx_insn *

2016-11-14 Thread Richard Sandiford
Thanks for doing this. tbsaunde+...@tbsaunde.org writes: > diff --git a/gcc/genrecog.c b/gcc/genrecog.c > index a8e8c22..aa7f629 100644 > --- a/gcc/genrecog.c > +++ b/gcc/genrecog.c > @@ -5102,8 +5102,7 @@ print_subroutine (output_state *os, state *s, int > proc_id) >/* For now, the top-level

Re: [PATCH] warn on overflow in calls to allocation functions (bugs 77531 and 78284)

2016-11-14 Thread Eric Gallager
On 11/13/16, Martin Sebor wrote: > Bug 77531 requests a new warning for calls to allocation functions > (those declared with attribute alloc_size(X, Y)) that overflow the > computation X * Z of the size of the allocated object. > > Bug 78284 suggests that detecting and diagnosing other common erro

Re: Default associative containers constructors/destructor/assignment

2016-11-14 Thread François Dumont
Any feedback regarding this patch ? François On 02/11/2016 22:37, François Dumont wrote: Hi Here is an updated proposal, I realized that the newly introduced _M_move_data can be also used in the swap implementation. Let me know if you prefer without it or not. François On 28/10/2

  1   2   >