PING^2: Fwd: SSA range class and removal of VR_ANTI_RANGEs

2017-07-16 Thread Aldy Hernandez
PING PING Hi folks. The following is another iteration of the SSA range class, taking into account many of the suggestions posted on this thread, especially the addition of a memory efficient class for storage, folding non-zero bits back into the range information, C++ suggestions by Martin, and

Re: [PATCH] [SPARC/RTEMS]: Add __FIX_LEON3FT_B2BST

2017-07-16 Thread Sebastian Huber
On 14/07/17 11:50, Sebastian Huber wrote: In case the LEON3FT back-to-back store workaround is active (sparc_fix_b2bst), then define the builtin define __FIX_LEON3FT_B2BST on RTEMS. The intended use case for this is operating system code in assembly language. See also: https://lists.rtems.org

Re: [PATCH] [SPARC/RTEMS]: Add multilibs for LEON3FT back-to-back store workaround

2017-07-16 Thread Sebastian Huber
On 14/07/17 13:46, Daniel Cederman wrote: Replace MULTILIB_EXCEPTIONS with MULTILIB_REQUIRED for readability. -mfix-gr712rc and -mfix-ut700 are currently equivalent. 2017-07-14 Daniel Cederman * config/sparc/t-rtems: Add mfix-gr712rc multilibs. Replace MULTILIB_EXCEPTIONS with

[PATCH] enhance -Wrestrict to handle string built-ins (PR 78918)

2017-07-16 Thread Martin Sebor
Being implemented in the front end, the -Wrestrict warning detects only trivial instances of violations. The attached patch extends the implementation to the middle-end where data flow and alias analysis can be combined to detect even complex cases of overlap. This work is independent of but fol

Re: [PATCH] allow deferred-shape pointers in OpenACC data clauses

2017-07-16 Thread Cesar Philippidis
On 07/16/2017 10:28 AM, Thomas Koenig wrote: > Am 14.07.2017 um 16:11 schrieb Cesar Philippidis: >> This patch teaches the fortran FE to allow deferred-shape pointers to be >> used in OpenACC data clauses. While the spec states that arrays must be >> contiguous, I believe that is a run-time require

Fix PR rtl-optimization/81424

2017-07-16 Thread Eric Botcazou
This is a regression present on the mainline and 7 branch: the compiler aborts on the attached testcase for x86 at -O2 -march=i686: +===GNAT BUG DETECTED==+ | 8.0.0 20170716 (experimental) [trunk revision 250237] (x86_64-suse-linux) GCC error

[PATCH] Implement std::pointer_traits::to_address as per P0653R0

2017-07-16 Thread Glen Fernandes
Implement pointer_traits::to_address as in P0653r0 * include/bits/allocated_ptr.h (allocated_ptr): Use pointer_traits::to_address. * include/bits/ptr_traits.h (pointer_traits): Implement to_address. * include/ext/pointer.h (pointer_traits): Define to_address in pointer_trai

[gomp4, nvptx, committed] Fix --enable-checking=rtl assert in nvptx_propagate_unified

2017-07-16 Thread Tom de Vries
[ was: Re: [gomp4, nvptx, committed] Fix assert in nvptx_propagate_unified ] On 07/06/2017 09:15 AM, Thomas Schwinge wrote: Hi Tom! On Fri, 30 Jun 2017 17:15:24 +0200, Tom de Vries wrote: with the openacc test-case in attached patch, I ran into an assert here: Using your test case, in my bu

Re: [PATCH][RFA/RFC] Stack clash mitigation patch 07/08

2017-07-16 Thread Trevor Saunders
On Wed, Jul 12, 2017 at 03:08:28PM -0600, Jeff Law wrote: > On 07/12/2017 06:47 AM, Trevor Saunders wrote: > > On Tue, Jul 11, 2017 at 08:02:26PM -0600, Jeff Law wrote: > >> On 07/11/2017 06:20 PM, Wilco Dijkstra wrote: > >>> Jeff Law wrote: > aarch64 is the first target that does not have any

Avoid REG_BR_PROB_BASE fixpoint

2017-07-16 Thread Jan Hubicka
Hi, the attached patches avoids use of REG_BR_PROB_BASE based fixpoint artihmetics where it is easy to do. Bootstrapped/regtested x86_64-linux, comitted. Honza * asan.c (create_cond_insert_point): Avoid use of REG_BR_PROB_BASE fixpoint arithmetics. Index: asan.c =

Re: [PATCH 3/3] matching tokens: C++ parts

2017-07-16 Thread Trevor Saunders
On Wed, Jul 12, 2017 at 09:11:55AM -0600, Martin Sebor wrote: > On 07/12/2017 07:13 AM, Trevor Saunders wrote: > > On Tue, Jul 11, 2017 at 11:24:45AM -0400, David Malcolm wrote: > > > +/* Some tokens naturally come in pairs e.g.'(' and ')'. > > > + This class is for tracking such a matching pair

Re: [PATCH] allow deferred-shape pointers in OpenACC data clauses

2017-07-16 Thread Thomas Koenig
Am 14.07.2017 um 16:11 schrieb Cesar Philippidis: This patch teaches the fortran FE to allow deferred-shape pointers to be used in OpenACC data clauses. While the spec states that arrays must be contiguous, I believe that is a run-time requirement, not a compile time. The intent behind OpenACC is

Convert REG_BR_PROB_NOTE to profile_probability

2017-07-16 Thread Jan Hubicka
Hi, this patch makes RTL REG_BR_PROB_NOTE to hold profile_probability rather than REG_BR_PROB_BASE fixpoint value. Because it is not easy to add C++ class into RTL I simply encode the probability into a single integer value via new from_reg_br_prob_note/to_reg_br_prob_note functions. Main benefit

Re: [PATCH] Reorder std::scoped_lock parameters as per P0739R0 DR status

2017-07-16 Thread Ville Voutilainen
On 15 July 2017 at 18:48, Jonathan Wakely wrote: > WG21 just approved this change as a DR for C++17, so that class > template argument deduction works when using std::adopt_lock with a > std::scoped_lock. > > * include/std/mutex (scoped_lock): Reorder std::adopt_lock_t > parameter >

Add timervar for fnsummary pass

2017-07-16 Thread Jan Hubicka
Hi, bootstrapped/regtested & comitted. Honza * ipa-fnsummary.c (pass_data_ipa_fn_summary): Use TV_IPA_FNSUMMARY. * timevar.def (TV_IPA_FNSUMMARY): Define. Index: ipa-fnsummary.c === --- ipa-fnsummary.c (re

Re: [PATCH] [SPARC] Avoid b2bst errata when using -mfix-ut699

2017-07-16 Thread Eric Botcazou
> 2017-07-11 Daniel Cederman > > * config/sparc/sparc.md (divdf3_fix): Add NOP to prevent back > to back store errata sensitive sequence from being generated. > (sqrtdf2_fix): Likewise. Thanks, applied to mainline and 7 branch. -- Eric Botcazou

[PING^4] {C++ PATCH] Fix-it hints for wrong usage of 'friend' and 'auto'

2017-07-16 Thread Volker Reichelt
Hi, this is PING^4 for a C++ patch that adds fix-it hints for wrong usage of 'friend' and 'auto': https://gcc.gnu.org/ml/gcc-patches/2017-04/msg01575.html Previous pings: https://gcc.gnu.org/ml/gcc-patches/2017-05/msg01248.html https://gcc.gnu.org/ml/gcc-patches/2017-06/msg00207.html https://gc

Do not convert to reg_br_prob_base in tree-ssa-threadupdate

2017-07-16 Thread Jan Hubicka
Hi, this patch removes one unnecessary conversion to reg_br_prob_base arithmetics which triggers ICE with profiled bootstrap in my tree. profiledbootstrapped/regtested x86_64-linux, comitted. * tree-ssa-threadupdate.c (compute_path_counts, update_joiner_offpath_counts): Use profil

Re: [PING] C++ Re: [PATCH] C/C++: fix quoting of "aka" typedef information (PR 62170)

2017-07-16 Thread Volker Reichelt
On 14 Jul, Martin Sebor wrote: > On 06/21/2017 01:59 AM, Volker Reichelt wrote: >> On 20 Jun, Jason Merrill wrote: >>> On Tue, Jun 20, 2017 at 3:06 PM, David Malcolm wrote: It's not clear to me what the issue alluded to with negative obstack_blank is, but I chose to follow the above docs

Re: [ARM, VXworks] Fix build

2017-07-16 Thread Eric Botcazou
> The port is also *very* out-of-date. Not only does it not use the EABI, > but it hasn't had support for any core added since ARMv5 (and ARMv6 was > announced in 2002)! What do you mean exactly? The port works fine on ARMv7. > I therefore propose that we consider this port for deprecation. We