Re: HELP!! How to inhibit optimizations applied to .DEFERRED_INIT argument?

2021-06-30 Thread Richard Biener
On Wed, 30 Jun 2021, Qing Zhao wrote: > Hi, > > I am testing the 4th patch of -ftrivial-auto-var-init with CPU2017 today, and > found the following issues: > > In the dump file of “*t.i.031t.objsz1”, we have: > > : > __s1_len_217 = .DEFERRED_INIT (__s1_len_176, 2); > __s2_len_218 = .

Re: GCC documentation: porting to Sphinx

2021-06-30 Thread Martin Liška
On 6/29/21 5:54 PM, Arnaud Charlet wrote: In particular can you explain the motivation behind all the changes in the gcc/ada/doc directory? Sure: 1) All Sphinx manuals live in a directory where index page is called index.rst. That's why I moved e.g. this: gcc/ada/doc/{gnat_rm.rst => gnat_rm/in

RE: [ARM] PR66791: Replace calls to builtin in vmul_n (a, b) intrinsics with __a * __b

2021-06-30 Thread Kyrylo Tkachov via Gcc-patches
Hi Prathamesh, > -Original Message- > From: Prathamesh Kulkarni > Sent: 29 June 2021 08:22 > To: gcc Patches > Cc: Kyrylo Tkachov > Subject: Re: [ARM] PR66791: Replace calls to builtin in vmul_n (a, b) > intrinsics > with __a * __b > > On Mon, 21 Jun 2021 at 14:04, Prathamesh Kulkarni

Re: [PATCH 0/4] openacc: Async fixes

2021-06-30 Thread Thomas Schwinge
Hi Julian! On 2021-06-29T16:42:00-0700, Julian Brown wrote: > This patch series contains fixes for various problems with async support > for OpenACC at present: Thanks, I shall be looking into these in detail, "soonish". Some quick comments. > - Asynchonous host-to-device copies invoked from

RE: [ARM] PR66791: Gate comparison in vca intrinsics on __FAST_MATH__

2021-06-30 Thread Kyrylo Tkachov via Gcc-patches
> -Original Message- > From: Prathamesh Kulkarni > Sent: 29 June 2021 08:21 > To: gcc Patches ; Kyrylo Tkachov > > Subject: Re: [ARM] PR66791: Gate comparison in vca intrinsics on > __FAST_MATH__ > > On Tue, 22 Jun 2021 at 15:04, Prathamesh Kulkarni > wrote: > > > > Hi, > > The attach

Re: [PATCH] define auto_vec copy ctor and assignment (PR 90904)

2021-06-30 Thread Richard Biener via Gcc-patches
On Tue, Jun 29, 2021 at 7:18 PM Martin Sebor wrote: > > On 6/29/21 8:43 AM, Jason Merrill wrote: > > On 6/28/21 2:07 PM, Martin Sebor wrote: > >> On 6/28/21 2:07 AM, Richard Biener wrote: > >>> On Sat, Jun 26, 2021 at 12:36 AM Martin Sebor wrote: > > On 6/25/21 4:11 PM, Jason Merrill wr

[RFC PATCH] Change the type of predicates to bool.

2021-06-30 Thread Uros Bizjak via Gcc-patches
This RFC patch changes the type of predicates to bool. However, some of the targets (e.g. x86) use indirect functions to call the predicates, so without the local change, the build fails. Putting the patch through CI bots should weed out the problems, but I have no infrastructure to do it myself.

Re: [RFC/PATCH v3] ira: Support more matching constraint forms with param [PR100328]

2021-06-30 Thread Hongtao Liu via Gcc-patches
On Mon, Jun 28, 2021 at 3:27 PM Kewen.Lin wrote: > > on 2021/6/28 下午3:20, Hongtao Liu wrote: > > On Mon, Jun 28, 2021 at 3:12 PM Hongtao Liu wrote: > >> > >> On Mon, Jun 28, 2021 at 2:50 PM Kewen.Lin wrote: > >>> > >>> Hi! > >>> > >>> on 2021/6/9 下午1:18, Kewen.Lin via Gcc-patches wrote: > H

Re: [PATCH] define auto_vec copy ctor and assignment (PR 90904)

2021-06-30 Thread Richard Biener via Gcc-patches
On Wed, Jun 30, 2021 at 3:46 AM Martin Sebor wrote: > > On 6/29/21 4:58 AM, Richard Biener wrote: > > On Mon, Jun 28, 2021 at 8:07 PM Martin Sebor wrote: > >> > >> On 6/28/21 2:07 AM, Richard Biener wrote: > >>> On Sat, Jun 26, 2021 at 12:36 AM Martin Sebor wrote: > > On 6/25/21 4:11 P

[PATCH] c-family: Add more predefined macros for math flags

2021-06-30 Thread Matthias Kretz
Library code, especially in headers, sometimes needs to know how the compiler interprets / optimizes floating-point types and operations. This information can be used for additional optimizations or for ensuring correctness. This change makes -freciprocal-math, -fno-signed-zeros, -fno-trapping-mat

Re: [PATCH] define auto_vec copy ctor and assignment (PR 90904)

2021-06-30 Thread Richard Sandiford via Gcc-patches
Richard Biener via Gcc-patches writes: > Note there's also array_slice<> which could be used to pass non-const > vec<>s that are never resized but modified - the only "valid" case of > passing a non-const vec<> by value. Yeah. We'd need a new constructor for that (the current one only takes cons

Re: [PATCH 2/4] allow poisoning input_location in ranges it should not be used

2021-06-30 Thread Richard Biener via Gcc-patches
On Wed, Jun 30, 2021 at 7:37 AM Trevor Saunders wrote: > > This makes it possible to assert if input_location is used during the lifetime > of a scope. This will allow us to find places that currently use it within a > function and its callees, or prevent adding uses within the lifetime of a > fu

Re: [PATCH 4/4] poison input_location and cfun in one spot

2021-06-30 Thread Richard Biener via Gcc-patches
On Wed, Jun 30, 2021 at 7:37 AM Trevor Saunders wrote: > > This simply confirms we can poison them in a small region. > > boostrapped and regtested on x86_64-linux-gnu, ok? So this shows the approach doesn't really scale since it's necessarily at most function-scope granularity rather than file-s

Re: [ARM] PR66791: Gate comparison in vca intrinsics on __FAST_MATH__

2021-06-30 Thread Prathamesh Kulkarni via Gcc-patches
On Wed, 30 Jun 2021 at 14:00, Kyrylo Tkachov wrote: > > > > > -Original Message- > > From: Prathamesh Kulkarni > > Sent: 29 June 2021 08:21 > > To: gcc Patches ; Kyrylo Tkachov > > > > Subject: Re: [ARM] PR66791: Gate comparison in vca intrinsics on > > __FAST_MATH__ > > > > On Tue, 22 J

RE: [ARM] PR66791: Gate comparison in vca intrinsics on __FAST_MATH__

2021-06-30 Thread Kyrylo Tkachov via Gcc-patches
> -Original Message- > From: Prathamesh Kulkarni > Sent: 30 June 2021 10:05 > To: Kyrylo Tkachov > Cc: gcc Patches > Subject: Re: [ARM] PR66791: Gate comparison in vca intrinsics on > __FAST_MATH__ > > On Wed, 30 Jun 2021 at 14:00, Kyrylo Tkachov > wrote: > > > > > > > > > -Origi

[PATCH] tree-optimization/101264 - rework SLP "any" permute forward prop

2021-06-30 Thread Richard Biener
This integrates the forward propagation of SLP "any" permutes into the main propagation stage as a separate single-pass propagation didn't work out. It does make the propagation iterate more - propagation in both directions doesn't tend to behave nicely. I've checked on CPU 2017 fprate and it isn

Re: [PATCH] define auto_vec copy ctor and assignment (PR 90904)

2021-06-30 Thread Martin Jambor
Hi, On Wed, Jun 30 2021, Richard Biener wrote: > On Wed, Jun 30, 2021 at 3:46 AM Martin Sebor wrote: >> On 6/29/21 4:58 AM, Richard Biener wrote: [...] >> > >> > But I wonder if since you now identified them they could be massaged >> > prior to doing the change. >> > >> > I do hope we end up no

[Ada] Rewrite Validated_View in recursive style

2021-06-30 Thread Pierre-Marie de Rodat
Iteration with an artificial Continue flag in routine Validated_View was confusing. Also, most of the routines that traverse type hierarchies are written in recursive style. Cleanup only; semantics is unaffected. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * sem_util.ads

[Ada] Consistently use Validated_View for Valid_Scalars on records

2021-06-30 Thread Pierre-Marie de Rodat
Expansion of attribute Valid_Scalars was meant to use Get_Fullest_View for arrays and Validated_View for records. However, this was not done consistently and for records we were mixing Get_Fullest_View with Validated_View. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * exp_

[Ada] Ignore again errors when running gen_il-main

2021-06-30 Thread Pierre-Marie de Rodat
This is needed to allow bootstrap with old compilers, due to finalization issues. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * Make-generated.in (ada/stamp-gen_il): Ignore errors from running gen_il-main.diff --git a/gcc/ada/Make-generated.in b/gcc/ada/Make-genera

[Ada] Fix bug in node/entity kind numbers in sinfo/einfo.h

2021-06-30 Thread Pierre-Marie de Rodat
This patch fixes a bug in the node/entity kinds that are generated by Gen_IL in sinfo/einfo.h. These numbers should be the same as the 'Pos of the corresponding enumeration literals in Node_Kind and Entity_Kind. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * gen_il-gen.adb

[Ada] Factor out many fields in entities

2021-06-30 Thread Pierre-Marie de Rodat
Also minor reformatting nearby. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * gen_il-gen-gen_entities.adb (Record_Field_Kind, Allocatable_Kind): Add new abstract kinds. (Constant_Or_Variable_Kind): Likewise. (E_Constant, E_Variable, E_Loop_Parameter

[Ada] Add some OS constants to control keepalive on TCP connections

2021-06-30 Thread Pierre-Marie de Rodat
This adds some OS constants that are needed to control the keepalive status of TCP connections. The new constants are TCP_KEEPCNT, TCP_KEEPIDLE and TCP_KEEPINTVL. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * s-oscons-tmplt.c: Add some OS constants.diff --git a/gcc/ada/s-o

[Ada] Accept arrays and scalars as type views that can be validated

2021-06-30 Thread Pierre-Marie de Rodat
Originally the expansion of attribute Validate_Scalars was only using Validated_View, but it was generating unnecessary unchecked conversions between array types that prevented validity checks from being optimized at compilation time. To prevent those conversions some of the calls to Validated_Vie

[Ada] More robust guard against cascaded errors with overlapping actuals

2021-06-30 Thread Pierre-Marie de Rodat
Code cleanup, both to improve efficiency (when no error has been posted for a subprogram call) and to avoid potential crashes (when an error has been posted and the subprogram call parameters are likely to be ill-formed as well). Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/

[Ada] Further adjustment and optimization of System.Value_N

2021-06-30 Thread Pierre-Marie de Rodat
This moves the declaration of Value_Enumeration_Pos to the body, renames Valid_Enumeration_Value into Valid_Value_Enumeration and eliminates the need for a range check on the return path of Value_Enumeration. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * rtsfind.ads (RE_Id

[Ada] Simplify detection of local types

2021-06-30 Thread Pierre-Marie de Rodat
Code cleanup related to fixing Valid_Scalars for private records. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * sem_ch3.adb (Is_Local_Type): Simplify by reusing Scope_Within.diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb --- a/gcc/ada/sem_ch3.adb +++ b/gcc/ada/sem_

[Ada] Reuse Is_Subprogram_Or_Entry where possible

2021-06-30 Thread Pierre-Marie de Rodat
Code cleanup; semantics is unaffected. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * freeze.adb (Freeze_All): Simplify by reusing Is_Subprogram_Or_Entry. * sem_ch11.adb (Analyze_Handled_Statement): Likewise.diff --git a/gcc/ada/freeze.adb b/gcc/ada/freeze.a

[Ada] Remove redundant check for empty list

2021-06-30 Thread Pierre-Marie de Rodat
Cleanup only; semantics is unaffected. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * sem_ch3.adb (Analyze_Declarations): Remove explicit check for missing, because a subsequent call to Is_Empty_List will detect them anyway.diff --git a/gcc/ada/sem_ch3.adb b

[Ada] Fix style in Get_Fullest_View

2021-06-30 Thread Pierre-Marie de Rodat
Code cleanup related to fixing Valid_Scalars for private records, which used to involve Get_Fullest_View. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * sem_util.ads (Get_Fullest_View): Refill comment; remove extra extra after period. * sem_util.adb (Get_Ful

[Ada] tech debt: Parent (Empty) is not allowed

2021-06-30 Thread Pierre-Marie de Rodat
The documentation says that the Parent field is not defined for the Empty node, but many places were setting and getting the field. This patch changes the code to obey the documentation. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * atree.adb, atree.ads (Parent, Set_Parent

[Ada] Overriding errors on renamings and instances overriding predefined operators

2021-06-30 Thread Pierre-Marie de Rodat
The compiler improperly flags a renaming-as-body or a function instantiation declaring an operator that overrides a predefined operator, when the renaming or instantiation is declared with an overriding_indicator. In the renaming case, the Overridden_Operation field of the subprogram's entity is n

[Ada] vx7-shared-libs - x86_64-vx7r2 (gnat runtime)

2021-06-30 Thread Pierre-Marie de Rodat
A standalong ifeq is added for selecting vxworks7r2 targets which have shared gnatlib enabled. The powerpc64 ifeq is moved here and x86_64 is added to the filter list. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * Makefile.rtl: Add a new ifeq for vx7r2 shared gnatlib.diff

[Ada] Disable Pre/Post in formal containers

2021-06-30 Thread Pierre-Marie de Rodat
Pre and postconditions in the formal containers library are designed for formal verification. In general, we do not want to execute them. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * libgnat/a-cfdlli.ads: Use pragma Assertion_Policy to disable pre and postconditio

[Ada] vx7-shared-libs: Unused variable __gnat_user_int_connect

2021-06-30 Thread Pierre-Marie de Rodat
Makefile.rtl (x86_64-vx7r2) adds a package i-vxinco.adb, which imports a variable that is not exported on rtp. This problem only shows up with a shared library runtime because it's never actually used, and gets optimized away in a static link. Tested on x86_64-pc-linux-gnu, committed on trunk gcc

[Ada] Remove a special case for forking-for-expect from ordinary spawn

2021-06-30 Thread Pierre-Marie de Rodat
The __gnat_in_child_after_fork flag was introduced for tracking memory within a child process created by __gnat_expect_fork. It is not needed for __gnat_portable_spawn, where fork is immediately followed by execv (and _exit should execv fail), because there can be no memory allocations between fork

[Ada] Ensure System.Tasking.Debug.Known_Tasks component access is atomic

2021-06-30 Thread Pierre-Marie de Rodat
Multiple threads can access the elements of System.Tasking.Debug.Known_Tasks concurrently. While the compiler will generally produce code that reads and writes Task_Ids atomically since Task_Id is word size, it is best to be explicit to prevent data race issues that may arise from non-atomic compon

[Ada] Small tweak in a couple of comments

2021-06-30 Thread Pierre-Marie de Rodat
This makes the comments use the same syntax as -gnatD/G for freeze nodes. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * sem_ch12.adb (Freeze_Subprogram_Body): Add missing "freeze". (Install_Body): Likewise.diff --git a/gcc/ada/sem_ch12.adb b/gcc/ada/sem_ch12.adb --

[Ada] Remove an obsolete variant of Adjust_Name_Case used only by SPARK

2021-06-30 Thread Pierre-Marie de Rodat
GNATprove no longer calls an obsolete variant of Adjust_Name_Case that uses a global buffer. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * errout.ads (Adjust_Name_Case): Remove obsolete and now unused variant. * errout.adb (Adjust_Name_Case): Likewise; fix

[Ada] Do not catch 'N mod -1' in CodePeer_Mode

2021-06-30 Thread Pierre-Marie de Rodat
The special case used for catching the 'mod -1' operation is not useful to CodePeer, and in fact may be detrimental to its precision. Remove it in CodePeer_Mode. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * exp_ch4.adb (Expand_N_Op_Mod): Remove special case for mod -1

[Ada] Crash on limited array object with address clause

2021-06-30 Thread Pierre-Marie de Rodat
Compiler aborts on an object declaration for a limited array type, when declaration includes an aggregate that must be built in place, and declaration carries an aspect specification for Address of object. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * exp_aggr.adb (Convert

[Ada] Fix the -gnatyr switch so it works in record rep clauses

2021-06-30 Thread Pierre-Marie de Rodat
The -gnatyr switch is supposed to generate a style warning if the case of a usage name does not match that of the defining_identifier it denotes. The warning was missing for component names appearing in record representation clauses; this patch fixes that bug. Tested on x86_64-pc-linux-gnu, commit

[Ada] Make copies of entities being declared when copying block

2021-06-30 Thread Pierre-Marie de Rodat
When we make a copy of a tree containing a block, we need to make new entities for variables declared in the block. If not, the entity points to the wrong declaration, which is an invalid tree and can cause issues when we need static links and that variable is an uplevel reference. There may also

[Ada] Expose symmetry between Known_ and Unknown_ query routines

2021-06-30 Thread Pierre-Marie de Rodat
We have two families of routines to query entity properties: Known_XXX and Unknown_XXX. They now simply negate each other instead of negating their complex conditions. Code cleanup only related to handling of Alignment in GNATprove; semantics is unaffected. Tested on x86_64-pc-linux-gnu, committe

Re: [RFC/PATCH v3] ira: Support more matching constraint forms with param [PR100328]

2021-06-30 Thread Kewen.Lin via Gcc-patches
on 2021/6/30 下午4:53, Hongtao Liu wrote: > On Mon, Jun 28, 2021 at 3:27 PM Kewen.Lin wrote: >> >> on 2021/6/28 下午3:20, Hongtao Liu wrote: >>> On Mon, Jun 28, 2021 at 3:12 PM Hongtao Liu wrote: On Mon, Jun 28, 2021 at 2:50 PM Kewen.Lin wrote: > > Hi! > > on 2021/6/9 下午1:1

Re: [PATCH] Port GCC documentation to Sphinx

2021-06-30 Thread Martin Liška
On 6/29/21 6:57 PM, Eli Zaretskii wrote: From: Martin Liška Date: Tue, 29 Jun 2021 12:09:23 +0200 Cc: GCC Development , gcc-patches@gcc.gnu.org On 6/28/21 5:33 PM, Joseph Myers wrote: Are formatted manuals (HTML, PDF, man, info) corresponding to this patch version also available for review?

Re: [RFC/PATCH v3] ira: Support more matching constraint forms with param [PR100328]

2021-06-30 Thread Hongtao Liu via Gcc-patches
On Wed, Jun 30, 2021 at 5:42 PM Kewen.Lin wrote: > > on 2021/6/30 下午4:53, Hongtao Liu wrote: > > On Mon, Jun 28, 2021 at 3:27 PM Kewen.Lin wrote: > >> > >> on 2021/6/28 下午3:20, Hongtao Liu wrote: > >>> On Mon, Jun 28, 2021 at 3:12 PM Hongtao Liu wrote: > > On Mon, Jun 28, 2021 at 2:50

Re: [PATCH] Port GCC documentation to Sphinx

2021-06-30 Thread Richard Earnshaw via Gcc-patches
On 30/06/2021 05:47, Martin Liška wrote: On 6/29/21 12:50 PM, Richard Earnshaw wrote: On 29/06/2021 11:09, Martin Liška wrote: On 6/28/21 5:33 PM, Joseph Myers wrote: Are formatted manuals (HTML, PDF, man, info) corresponding to this patch version also available for review? I've just u

[Patch] gcc.c's check_offload_target_name: Fixes to inform hints

2021-06-30 Thread Tobias Burnus
As discussed at IRC: * Replace alloca by XALLOCAVEC - and while being there, do it in the whole file. * Fix splitting OFFLOAD_TARGETS at the ',' for the candidate list * More helpful inform if no targets have been configured. * For -foffload-options=, the 'target' argument may be 'nvptx,amdgcn' w

Re: [Patch] gcc.c's check_offload_target_name: Fixes to inform hints

2021-06-30 Thread Jakub Jelinek via Gcc-patches
On Wed, Jun 30, 2021 at 12:19:17PM +0200, Tobias Burnus wrote: > gcc.c's check_offload_target_name: Fixes to inform hints > > gcc/ChangeLog: > > * gcc.c (close_at_file, execute): Replace alloca by XALLOCAVEC. > (check_offload_target_name): Fix splitting OFFLOAD_TARGETS into > a

Re: [PATCH 0/4] openacc: Async fixes

2021-06-30 Thread Julian Brown
On Wed, 30 Jun 2021 10:28:00 +0200 Thomas Schwinge wrote: > > - The OpenACC profiling-interface implementation did not measure > >asynchronous operations properly. > > We'll need to be careful: (possibly, an older version of) that one we > internally had identified to be causing some issu

Re: [PATCH] Port GCC documentation to Sphinx

2021-06-30 Thread Martin Liška
On 6/30/21 12:11 PM, Martin Liška wrote: Seems correct to be, but it's likely not. Let me investigate that. It's a real issue in Sphinx. I've just addressed that with: https://github.com/sphinx-doc/sphinx/pull/9390 Cheers, Martin

Re: [RFC PATCH] Change the type of predicates to bool.

2021-06-30 Thread Richard Biener via Gcc-patches
On Wed, Jun 30, 2021 at 10:47 AM Uros Bizjak via Gcc-patches wrote: > > This RFC patch changes the type of predicates to bool. However, some > of the targets (e.g. x86) use indirect functions to call the > predicates, so without the local change, the build fails. Putting the > patch through CI bot

[PATCH] tree-optimization/101267 - fix SLP vect with masked operations

2021-06-30 Thread Richard Biener
This fixes the missed handling of external/constant mask SLP operations, for the testcase in particular masked loads. The patch adjusts the vect_check_scalar_mask API to reflect the required vect_is_simple_use SLP compatible API plus adjusts for the special handling of masked loads in SLP discover

Re: [PATCH] Port GCC documentation to Sphinx

2021-06-30 Thread Andrey Belevantsev via Gcc-patches
Hi Martin, On 29.06.2021 13:09, Martin Liška wrote: > On 6/28/21 5:33 PM, Joseph Myers wrote: >> Are formatted manuals (HTML, PDF, man, info) corresponding to this patch >> version also available for review? > > I've just uploaded them here: > https://splichal.eu/gccsphinx-final/ > > Martin I've

Re: [COMMITTED V10 4/7] CTF/BTF testsuites

2021-06-30 Thread Christophe Lyon via Gcc-patches
Hi, I have just committed the following small patch as obvious: Author: Christophe Lyon Date: Wed Jun 30 11:44:00 2021 + [testsuite]: Add missing dg-add-options float16 to gcc.dg/debug/ctf/ctf-skip-types-2.c The test already checks dg-require-effective-target float16, but this

Re: [PATCH] Port GCC documentation to Sphinx

2021-06-30 Thread Martin Liška
On 6/30/21 12:14 PM, Richard Earnshaw wrote: On 30/06/2021 05:47, Martin Liška wrote: On 6/29/21 12:50 PM, Richard Earnshaw wrote: On 29/06/2021 11:09, Martin Liška wrote: On 6/28/21 5:33 PM, Joseph Myers wrote: Are formatted manuals (HTML, PDF, man, info) corresponding to this patch vers

Re: [PATCH] define auto_vec copy ctor and assignment (PR 90904)

2021-06-30 Thread Richard Biener via Gcc-patches
On Wed, Jun 30, 2021 at 11:00 AM Richard Sandiford wrote: > > Richard Biener via Gcc-patches writes: > > Note there's also array_slice<> which could be used to pass non-const > > vec<>s that are never resized but modified - the only "valid" case of > > passing a non-const vec<> by value. > > Yeah

[Patch] gcc.c: Add -foffload= to display_help

2021-06-30 Thread Tobias Burnus
This is a side effect of removing 'foffload=' from Common as Driver only does not show up with --help=... but only as hard-coded list via display_help. OK? Tobias PS: additional remarks in the next email. - Mentor Graphics (Deutschland) GmbH, Arnulfstrasse 201, 80634 München R

Re: [PATCH] Port GCC documentation to Sphinx

2021-06-30 Thread Martin Liška
On 6/29/21 6:57 PM, Eli Zaretskii wrote: 5. There's some strange bug with symbols inside parentheses. For example: In GNU C and C++, you can use function attributes to specify certain function properties that may help the compiler optimize calls or check code more carefully for cor

Re: [Patch] gcc.c: Add -foffload= to display_help

2021-06-30 Thread Jakub Jelinek via Gcc-patches
On Wed, Jun 30, 2021 at 02:24:51PM +0200, Tobias Burnus wrote: > This is a side effect of removing 'foffload=' from Common > as Driver only does not show up with --help=... but only > as hard-coded list via display_help. > > OK? > > Tobias > > PS: additional remarks in the next email. > > -

Re: [PATCH 2/4] allow poisoning input_location in ranges it should not be used

2021-06-30 Thread Trevor Saunders
On Wed, Jun 30, 2021 at 11:00:37AM +0200, Richard Biener wrote: > On Wed, Jun 30, 2021 at 7:37 AM Trevor Saunders wrote: > > > > This makes it possible to assert if input_location is used during the > > lifetime > > of a scope. This will allow us to find places that currently use it within > >

Re: [PATCH] Port GCC documentation to Sphinx

2021-06-30 Thread Martin Liška
On 6/30/21 12:55 PM, Andrey Belevantsev wrote: Hi Martin, On 29.06.2021 13:09, Martin Liška wrote: On 6/28/21 5:33 PM, Joseph Myers wrote: Are formatted manuals (HTML, PDF, man, info) corresponding to this patch version also available for review? I've just uploaded them here: https://splicha

RFC: --help for Driver options (was: [Patch] gcc.c: Add -foffload= to display_help)

2021-06-30 Thread Tobias Burnus
RFC for this topic. Comments are welcome as is someone volunteering to cleanup this mess :-) On 30.06.21 14:24, Tobias Burnus wrote: This is a side effect of removing 'foffload=' from Common as Driver only does not show up with --help=... but only as hard-coded list via display_help. While loo

Re: [PATCH] Port GCC documentation to Sphinx

2021-06-30 Thread Eli Zaretskii via Gcc-patches
> Cc: jos...@codesourcery.com, g...@gcc.gnu.org, gcc-patches@gcc.gnu.org > From: Martin Liška > Date: Wed, 30 Jun 2021 12:11:03 +0200 > > > (Admittedly, Emacs by default hides some of the text of a > > cross-reference, but not hiding them in this case produces an even > > less legible text.) > >

PING: [PATCH] mips: check MSA support for vector modes [PR100760,PR100761,PR100762]

2021-06-30 Thread Xi Ruoyao via Gcc-patches
Ping patch: https://gcc.gnu.org/pipermail/gcc-patches/2021-June/573213.html Status update: bootstrapped with BOOT_CFLAGS="-O3 -mmsa -mloongson-mmi" (it failed without the patch), and regtested on mips64el-linux-gnu with no new regression. On Sat, 2021-06-19 at 15:34 +0800, Xi Ruoyao wrote: > Chec

Re: [PATCH] Add stmt context in simplify_using_ranges.

2021-06-30 Thread Andrew MacLeod via Gcc-patches
On 6/30/21 2:20 AM, Aldy Hernandez wrote: On 6/29/21 9:09 PM, Andrew MacLeod wrote: We added context to a lot of simplify_using_ranges, but we didn't catch all the places. This provides the originating stmt to the missing cases which resolve a few EVRP testcases when running in ranger-only m

Re: [PATCH] Port GCC documentation to Sphinx

2021-06-30 Thread Martin Liška
On 6/29/21 6:57 PM, Eli Zaretskii wrote: 2. The translation of @var produces double-quoting in Info, here's an example: The usual way to run GCC is to run the executable called ‘gcc’, or ‘`machine'-gcc’ when cross-compiling, or ‘`machine'-gcc-`version'’ to run a specific version of

Re: [PATCH] c++: DR2397 - auto specifier for * and & to arrays [PR100975]

2021-06-30 Thread Jason Merrill via Gcc-patches
On 6/29/21 6:01 PM, Marek Polacek wrote: On Tue, Jun 29, 2021 at 03:50:27PM -0400, Jason Merrill wrote: On 6/29/21 3:25 PM, Marek Polacek wrote: --- a/gcc/testsuite/g++.dg/cpp0x/auto3.C +++ b/gcc/testsuite/g++.dg/cpp0x/auto3.C @@ -10,7 +10,7 @@ auto x; // { dg-erro

Re: [PATCH] Port GCC documentation to Sphinx

2021-06-30 Thread Eli Zaretskii via Gcc-patches
> Cc: jos...@codesourcery.com, g...@gcc.gnu.org, gcc-patches@gcc.gnu.org > From: Martin Liška > Date: Wed, 30 Jun 2021 15:28:40 +0200 > > >‘@`file'’ > > > > Read command-line options from ‘`file'’. The options read are > > inserted in place of the original ‘@`file'’ option.

[PATCH] testsuite: Add arm_arch_v7a_ok effective-target to pr57351.c

2021-06-30 Thread Christophe LYON via Gcc-patches
I've noticed that overriding cpu/arch flags when running the testsuite can cause this test to fail rather than being skipped because of incompatible flags combination. Since the test forces -march=armv7-a, make sure it is accepted in combination with the current runtestflags. 2021-06-30  Christo

Re: [PATCH] Port GCC documentation to Sphinx

2021-06-30 Thread Martin Liška
On 6/30/21 3:38 PM, Eli Zaretskii wrote: Cc: jos...@codesourcery.com, g...@gcc.gnu.org, gcc-patches@gcc.gnu.org From: Martin Liška Date: Wed, 30 Jun 2021 15:28:40 +0200 ‘@`file'’ Read command-line options from ‘`file'’. The options read are inserted in place of the orig

Re: HELP!! How to inhibit optimizations applied to .DEFERRED_INIT argument?

2021-06-30 Thread Qing Zhao via Gcc-patches
On Jun 30, 2021, at 2:46 AM, Richard Biener mailto:rguent...@suse.de>> wrote: On Wed, 30 Jun 2021, Qing Zhao wrote: Hi, I am testing the 4th patch of -ftrivial-auto-var-init with CPU2017 today, and found the following issues: In the dump file of “*t.i.031t.objsz1”, we have: : __s1_le

[committed] analyzer: eliminate enum binding_key [PR95006]

2021-06-30 Thread David Malcolm via Gcc-patches
I rewrote the way the analyzer's region_model tracks the state of memory in GCC 11 (in 808f4dfeb3a95f50f15e71148e5c1067f90a126d), which introduced a store with a binding_map class, mapping binding keys to symbolic values. The GCC 11 implementation of binding keys has an enum binding_kind, which ca

Re: HELP!! How to inhibit optimizations applied to .DEFERRED_INIT argument?

2021-06-30 Thread Richard Biener
On Wed, 30 Jun 2021, Qing Zhao wrote: > > > On Jun 30, 2021, at 2:46 AM, Richard Biener > mailto:rguent...@suse.de>> wrote: > > On Wed, 30 Jun 2021, Qing Zhao wrote: > > Hi, > > I am testing the 4th patch of -ftrivial-auto-var-init with CPU2017 today, and > found the following issues: > >

Re: [PATCH 2/2] c++: Extend PR96204 fix to variable templates

2021-06-30 Thread Patrick Palka via Gcc-patches
On Tue, 29 Jun 2021, Jason Merrill wrote: > On 6/29/21 1:57 PM, Patrick Palka wrote: > > r12-1829 corrected the access scope during partial specialization > > matching of class templates, but neglected the variable template case. > > This patch moves the access scope adjustment to inside > > most_

Re: [RFC PATCH] Change the type of predicates to bool.

2021-06-30 Thread Jeff Law via Gcc-patches
On 6/30/2021 4:50 AM, Richard Biener via Gcc-patches wrote: On Wed, Jun 30, 2021 at 10:47 AM Uros Bizjak via Gcc-patches wrote: This RFC patch changes the type of predicates to bool. However, some of the targets (e.g. x86) use indirect functions to call the predicates, so without the local c

Re: [PATCH 1/2] c++: Fix push_access_scope and introduce RAII wrapper for it

2021-06-30 Thread Patrick Palka via Gcc-patches
On Tue, 29 Jun 2021, Jason Merrill wrote: > On 6/29/21 1:57 PM, Patrick Palka wrote: > > When push_access_scope is passed a TYPE_DECL for a class type (which > > can happen during e.g. satisfaction), we undesirably push only the > > enclosing context of the class instead of the class itself. This

[PATCH] gcc-changelog: show correct line when complaining about unclosed paren

2021-06-30 Thread David Malcolm via Gcc-patches
Successfully tested via: pytest contrib/gcc-changelog/ contrib/ChangeLog: * gcc-changelog/git_commit.py (ChangeLogEntry.__init__): Convert ChangeLogEntry.opened_parentheses from an integer to a stack of line strings. (ChangeLogEntry.parse_changelog): Likewise.

Re: HELP!! How to inhibit optimizations applied to .DEFERRED_INIT argument?

2021-06-30 Thread Qing Zhao via Gcc-patches
> On Jun 30, 2021, at 9:39 AM, Richard Biener wrote: > > On Wed, 30 Jun 2021, Qing Zhao wrote: > >> >> >> On Jun 30, 2021, at 2:46 AM, Richard Biener >> mailto:rguent...@suse.de>> wrote: >> >> On Wed, 30 Jun 2021, Qing Zhao wrote: >> >> Hi, >> >> I am testing the 4th patch of -ftrivial-a

Re: [PATCH 2/4] allow poisoning input_location in ranges it should not be used

2021-06-30 Thread David Malcolm via Gcc-patches
On Wed, 2021-06-30 at 01:35 -0400, Trevor Saunders wrote: > This makes it possible to assert if input_location is used during the > lifetime > of a scope.  This will allow us to find places that currently use it > within a > function and its callees, or prevent adding uses within the lifetime > of

Re: [ARM] PR98435: Missed optimization in expanding vector constructor

2021-06-30 Thread Christophe LYON via Gcc-patches
On 29/06/2021 12:46, Prathamesh Kulkarni wrote: On Mon, 28 Jun 2021 at 14:48, Christophe LYON wrote: On 28/06/2021 10:40, Kyrylo Tkachov via Gcc-patches wrote: -Original Message- From: Prathamesh Kulkarni Sent: 28 June 2021 09:38 To: Kyrylo Tkachov Cc: Christophe Lyon ; gcc Patche

Re: [RFC/PATCH v3] ira: Support more matching constraint forms with param [PR100328]

2021-06-30 Thread Vladimir Makarov via Gcc-patches
On 2021-06-28 2:26 a.m., Kewen.Lin wrote: Hi! on 2021/6/9 下午1:18, Kewen.Lin via Gcc-patches wrote: Hi, PR100328 has some details about this issue, I am trying to brief it here. In the hottest function LBM_performStreamCollideTRT of SPEC2017 bmk 519.lbm_r, there are many FMA style expression

Re: [RFC/PATCH v3] ira: Support more matching constraint forms with param [PR100328]

2021-06-30 Thread Vladimir Makarov via Gcc-patches
On 2021-06-28 2:26 a.m., Kewen.Lin wrote: Hi! on 2021/6/9 下午1:18, Kewen.Lin via Gcc-patches wrote: Hi, PR100328 has some details about this issue, I am trying to brief it here. In the hottest function LBM_performStreamCollideTRT of SPEC2017 bmk 519.lbm_r, there are many FMA style expression

[PING][PATCH 2/4] remove %G and %K from calls in front end and middle end (PR 98512)

2021-06-30 Thread Martin Sebor via Gcc-patches
Ping. Attached is the same patch rebased on top the latest trunk. As discussed in the review of Aldy's recent changes to the backwards threader, he has run into the same bug the patch fixes. Getting this patch set reviewed and approved would be helpful in keeping him from having to work around

Re: [RFC/PATCH v3] ira: Support more matching constraint forms with param [PR100328]

2021-06-30 Thread Richard Sandiford via Gcc-patches
"Kewen.Lin" writes: > on 2021/6/28 下午3:20, Hongtao Liu wrote: >> On Mon, Jun 28, 2021 at 3:12 PM Hongtao Liu wrote: >>> >>> On Mon, Jun 28, 2021 at 2:50 PM Kewen.Lin wrote: Hi! on 2021/6/9 下午1:18, Kewen.Lin via Gcc-patches wrote: > Hi, > > PR100328 has some detail

Re: [PATCH] Port GCC documentation to Sphinx

2021-06-30 Thread Eli Zaretskii via Gcc-patches
> Cc: jos...@codesourcery.com, g...@gcc.gnu.org, gcc-patches@gcc.gnu.org > From: Martin Liška > Date: Wed, 30 Jun 2021 16:04:32 +0200 > > > Thanks, but does that mean @var will no longer stand out in the > > produced Info format? That'd be sub-optimal, I think, because a clear > > reference to a

Re: HELP!! How to inhibit optimizations applied to .DEFERRED_INIT argument?

2021-06-30 Thread Qing Zhao via Gcc-patches
I came up with a very simple testing case that can repeat the same issue: [qinzhao@localhost gcc]$ cat t.c extern void bar (int); void foo (int a) { int i; for (i = 0; i < a; i++) { if (__extension__({int size2; size2 = 4; size2 > 5;})) bar (a); } } [qinzhao@localho

Re: [PATCH] c++: CTAD within alias template [PR91911]

2021-06-30 Thread Patrick Palka via Gcc-patches
On Fri, 25 Jun 2021, Jason Merrill wrote: > On 6/25/21 1:11 PM, Patrick Palka wrote: > > On Fri, 25 Jun 2021, Jason Merrill wrote: > > > > > On 6/24/21 4:45 PM, Patrick Palka wrote: > > > > In the first testcase below, during parsing of the alias template > > > > ConstSpanType, transparency of al

Re: [PATCH] c++: CTAD within alias template [PR91911]

2021-06-30 Thread Patrick Palka via Gcc-patches
On Wed, 30 Jun 2021, Patrick Palka wrote: > On Fri, 25 Jun 2021, Jason Merrill wrote: > > > On 6/25/21 1:11 PM, Patrick Palka wrote: > > > On Fri, 25 Jun 2021, Jason Merrill wrote: > > > > > > > On 6/24/21 4:45 PM, Patrick Palka wrote: > > > > > In the first testcase below, during parsing of the

RE: [PATCH][RFC]AArch64 SVE: Fix multiple comparison masks on inverted operands

2021-06-30 Thread Tamar Christina via Gcc-patches
> -Original Message- > From: Richard Sandiford > Sent: Monday, June 14, 2021 4:55 PM > To: Tamar Christina > Cc: gcc-patches@gcc.gnu.org; nd ; Richard Earnshaw > ; Marcus Shawcroft > ; Kyrylo Tkachov > Subject: Re: [PATCH][RFC]AArch64 SVE: Fix multiple comparison masks on > inverted oper

[PING][PATCH 4/4] remove %G and %K support from pretty printer and -Wformat (PR 98512)

2021-06-30 Thread Martin Sebor via Gcc-patches
Ping: https://gcc.gnu.org/pipermail/gcc-patches/2021-June/572519.html On 6/10/21 5:30 PM, Martin Sebor wrote: This final diff removes the handlers for %G and %K from the pretty printer and the support for the directives from c-format.c so that using them will be diagnosed.

Re: [PATCH 1/2] c++: Fix push_access_scope and introduce RAII wrapper for it

2021-06-30 Thread Jason Merrill via Gcc-patches
On 6/30/21 11:03 AM, Patrick Palka wrote: On Tue, 29 Jun 2021, Jason Merrill wrote: On 6/29/21 1:57 PM, Patrick Palka wrote: When push_access_scope is passed a TYPE_DECL for a class type (which can happen during e.g. satisfaction), we undesirably push only the enclosing context of the class in

Re: [PATCH 2/3 V2] Fix IEEE 128-bit min/max test.

2021-06-30 Thread Michael Meissner via Gcc-patches
On Tue, Jun 29, 2021 at 07:06:14PM -0500, Segher Boessenkool wrote: > On Thu, Jun 17, 2021 at 06:56:09PM -0400, Michael Meissner wrote: > > The 'lp64' test > > was needed because big endian 32-bit code cannot enable the IEEE 128-bit > > floating point instructions. > > No, *does not* enable them.

Re: HELP!! How to inhibit optimizations applied to .DEFERRED_INIT argument?

2021-06-30 Thread Andrew Pinski via Gcc-patches
On Wed, Jun 30, 2021 at 8:47 AM Qing Zhao via Gcc-patches wrote: > > I came up with a very simple testing case that can repeat the same issue: > > [qinzhao@localhost gcc]$ cat t.c > extern void bar (int); > void foo (int a) > { > int i; > for (i = 0; i < a; i++) { > if (__extension__({int

Re: [PATCH 1/3] Add IEEE 128-bit min/max support on PowerPC.

2021-06-30 Thread Segher Boessenkool
On Mon, Jun 28, 2021 at 03:00:02PM -0400, Michael Meissner wrote: > On Wed, Jun 23, 2021 at 06:56:37PM -0500, Segher Boessenkool wrote: > > > The problem area is a power10 running in > > > big endian mode and running 32-bit code. Because we don't have TImode, we > > > can't enable the IEEE 128-bit

Re: HELP!! How to inhibit optimizations applied to .DEFERRED_INIT argument?

2021-06-30 Thread Richard Biener
On June 30, 2021 7:20:18 PM GMT+02:00, Andrew Pinski wrote: >On Wed, Jun 30, 2021 at 8:47 AM Qing Zhao via Gcc-patches > wrote: >> >> I came up with a very simple testing case that can repeat the same >issue: >> >> [qinzhao@localhost gcc]$ cat t.c >> extern void bar (int); >> void foo (int a) >> {

Re: HELP!! How to inhibit optimizations applied to .DEFERRED_INIT argument?

2021-06-30 Thread Qing Zhao via Gcc-patches
Hi, Andrew, Thanks a lot for your explanation. On Jun 30, 2021, at 12:20 PM, Andrew Pinski mailto:pins...@gmail.com>> wrote: On Wed, Jun 30, 2021 at 8:47 AM Qing Zhao via Gcc-patches mailto:gcc-patches@gcc.gnu.org>> wrote: I came up with a very simple testing case that can repeat the same iss

Re: [PATCH][RFC]AArch64 SVE: Fix multiple comparison masks on inverted operands

2021-06-30 Thread Richard Sandiford via Gcc-patches
Tamar Christina writes: >> -Original Message- >> From: Richard Sandiford >> Sent: Monday, June 14, 2021 4:55 PM >> To: Tamar Christina >> Cc: gcc-patches@gcc.gnu.org; nd ; Richard Earnshaw >> ; Marcus Shawcroft >> ; Kyrylo Tkachov >> Subject: Re: [PATCH][RFC]AArch64 SVE: Fix multiple co

Re: HELP!! How to inhibit optimizations applied to .DEFERRED_INIT argument?

2021-06-30 Thread Qing Zhao via Gcc-patches
> On Jun 30, 2021, at 12:36 PM, Richard Biener wrote: > > On June 30, 2021 7:20:18 PM GMT+02:00, Andrew Pinski > wrote: >> On Wed, Jun 30, 2021 at 8:47 AM Qing Zhao via Gcc-patches >> wrote: >>> >>> I came up with a very simple testing case that can repeat the same >> issue: >>> >>> [qinzh

  1   2   >