Re: [PATCH 3/7] riscv: Enable overlap-by-pieces via tune param

2022-11-14 Thread Philipp Tomsich
On Mon, 14 Nov 2022 at 03:48, Vineet Gupta wrote: > > > > On 11/13/22 15:05, Christoph Muellner wrote: > > > > +static bool > > +riscv_overlap_op_by_pieces (void) > > +{ > > + return tune_param->overlap_op_by_pieces; > > Does this not need to be gated on unaligned access enabled as well. I assum

Re: [RFC PATCH] ipa-guarded-deref: Add new pass to dereference function pointers

2022-11-14 Thread Christoph Müllner
On Mon, Nov 14, 2022 at 8:31 AM Richard Biener wrote: > On Sun, Nov 13, 2022 at 4:09 PM Christoph Muellner > wrote: > > > > From: Christoph Müllner > > > > This patch adds a new pass that looks up function pointer assignments, > > and adds guarded direct calls to the call sites of the function

Re: [PATCH] doc: Ada: include Indices and Tables in manuals

2022-11-14 Thread Martin Liška
On 11/14/22 08:32, Arnaud Charlet wrote: >> Sorry for the breakage. However, I contacted you (and your colleague) >> and haven't received >> any feedback for a couple of weeks. > > Right although I did give you feedback that what you sent wasn’t in a > suitable form for re

Re: [PATCH] libatomic: Handle AVX+CX16 AMD like Intel for 16b atomics [PR104688]

2022-11-14 Thread Xi Ruoyao via Gcc-patches
On Mon, 2022-11-14 at 08:55 +0100, Uros Bizjak via Gcc-patches wrote: > On Mon, Nov 14, 2022 at 8:48 AM Jakub Jelinek > wrote: > > > > Hi! > > > > Working virtually out of Baker Island. > > > > We got a response from AMD in > > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104688#c10 > > so the

Re: [PATCH 3/7] riscv: Enable overlap-by-pieces via tune param

2022-11-14 Thread Christoph Müllner
On Mon, Nov 14, 2022 at 8:59 AM Philipp Tomsich wrote: > On Mon, 14 Nov 2022 at 03:48, Vineet Gupta wrote: > > > > > > > > On 11/13/22 15:05, Christoph Muellner wrote: > > > > > > +static bool > > > +riscv_overlap_op_by_pieces (void) > > > +{ > > > + return tune_param->overlap_op_by_pieces; > >

Re: [PATCH] libatomic: Handle AVX+CX16 AMD like Intel for 16b atomics [PR104688]

2022-11-14 Thread Jakub Jelinek via Gcc-patches
On Mon, Nov 14, 2022 at 04:19:48PM +0800, Xi Ruoyao wrote: > > > --- libatomic/config/x86/init.c.jj  2022-03-17 > > > 18:48:56.708723194 +0100 > > > +++ libatomic/config/x86/init.c 2022-11-13 18:23:26.315440071 -1200 > > > @@ -34,18 +34,6 @@ __libat_feat1_init (void) > > >    unsigned int eax,

Re: Revert Sphinx documentation [Was: Issues with Sphinx]

2022-11-14 Thread Martin Liška
On 11/14/22 03:49, Martin Liška wrote: > I'm going to revert the patchset during today (Monday) and I'll send a patch > with a couple > of new changes that landed in the period of time we used Sphinx. The revert is done and I included ce51e8439a491910348a1c5aea43b55f000ba8ac commit that ports al

Re: [PATCH] libatomic: Handle AVX+CX16 AMD like Intel for 16b atomics [PR104688]

2022-11-14 Thread Xi Ruoyao via Gcc-patches
On Mon, 2022-11-14 at 09:34 +0100, Jakub Jelinek wrote: > > Mayshao: how about the status of this feature on Zhaoxin product lines? > > IIRC they support AVX (but disabled by default in GCC for Lujiazui), but > > we don't know if they make the guarantee about atomicity of 16B aligned > > access. >

Re: [RFC PATCH] ipa-guarded-deref: Add new pass to dereference function pointers

2022-11-14 Thread Richard Biener via Gcc-patches
On Mon, Nov 14, 2022 at 9:13 AM Christoph Müllner wrote: > > > > On Mon, Nov 14, 2022 at 8:31 AM Richard Biener > wrote: >> >> On Sun, Nov 13, 2022 at 4:09 PM Christoph Muellner >> wrote: >> > >> > From: Christoph Müllner >> > >> > This patch adds a new pass that looks up function pointer assi

Re: [PATCH] i386: Emit 16b atomics inline with -m64 -mcx16 -mavx [PR104688]

2022-11-14 Thread Hongtao Liu via Gcc-patches
On Mon, Nov 14, 2022 at 3:57 PM Uros Bizjak via Gcc-patches wrote: > > On Mon, Nov 14, 2022 at 8:52 AM Jakub Jelinek wrote: > > > > Hi! > > > > Working virtually out of Baker Island. > > > > Given > > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104688#c10 > > the following patch implements atomi

Re: [PATCH 1/3] libstdc++: Implement ranges::contains/contains_subrange from P2302R4

2022-11-14 Thread Jonathan Wakely via Gcc-patches
On Mon, 14 Nov 2022 at 04:51, Patrick Palka via Libstdc++ wrote: > > Tested on x86_64-pc-linux-gnu, does this look OK for trunk? > > libstdc++-v3/ChangeLog: > > * include/bits/ranges_algo.h (__contains_fn, contains): Define. > (__contains_subrange_fn, contains_subrange): Define. >

Re: [PATCH] i386: Emit 16b atomics inline with -m64 -mcx16 -mavx [PR104688]

2022-11-14 Thread Hongtao Liu via Gcc-patches
On Mon, Nov 14, 2022 at 5:04 PM Hongtao Liu wrote: > > On Mon, Nov 14, 2022 at 3:57 PM Uros Bizjak via Gcc-patches > wrote: > > > > On Mon, Nov 14, 2022 at 8:52 AM Jakub Jelinek wrote: > > > > > > Hi! > > > > > > Working virtually out of Baker Island. > > > > > > Given > > > https://gcc.gnu.org/

PING Re: [PATCH] Fortran: Remove double spaces in open() warning [PR99884]

2022-11-14 Thread Bernhard Reutner-Fischer via Gcc-patches
yearly ping. Ok for trunk after re-regtesting? thanks, On Sun, 31 Oct 2021 13:57:46 +0100 Bernhard Reutner-Fischer wrote: > From: Bernhard Reutner-Fischer > > gcc/fortran/ChangeLog: > > PR fortran/99884 > * io.c (check_open_constraints): Remove double spaces. > --- > gcc/fortran

Re: [PATCH] [PR68097] Try to avoid recursing for floats in tree_*_nonnegative_warnv_p.

2022-11-14 Thread Richard Biener via Gcc-patches
On Sat, Nov 12, 2022 at 7:30 PM Aldy Hernandez wrote: > > It irks me that a PR named "we should track ranges for floating-point > hasn't been closed in this release. This is an attempt to do just > that. > > As mentioned in the PR, even though we track ranges for floats, it has > been suggested t

Re: [PATCH] i386: Emit 16b atomics inline with -m64 -mcx16 -mavx [PR104688]

2022-11-14 Thread Jakub Jelinek via Gcc-patches
On Mon, Nov 14, 2022 at 05:04:24PM +0800, Hongtao Liu wrote: > On Mon, Nov 14, 2022 at 3:57 PM Uros Bizjak via Gcc-patches > wrote: > > > > On Mon, Nov 14, 2022 at 8:52 AM Jakub Jelinek wrote: > > > > > > Hi! > > > > > > Working virtually out of Baker Island. > > > > > > Given > > > https://gcc.g

RE: [PATCH][i386]: Update ix86_can_change_mode_class target hook to accept QImode conversions

2022-11-14 Thread Tamar Christina via Gcc-patches
> -Original Message- > From: Hongtao Liu > Sent: Monday, November 14, 2022 2:14 AM > To: Tamar Christina > Cc: gcc-patches@gcc.gnu.org; nd ; hubi...@ucw.cz; > ubiz...@gmail.com; kirill.yuk...@gmail.com; hongtao@intel.com > Subject: Re: [PATCH][i386]: Update ix86_can_change_mode_class

Re: Revert Sphinx documentation [Was: Issues with Sphinx]

2022-11-14 Thread Jonathan Wakely via Gcc-patches
On Mon, 14 Nov 2022 at 08:40, Martin Liška wrote: > > On 11/14/22 03:49, Martin Liška wrote: > > I'm going to revert the patchset during today (Monday) and I'll send a > > patch with a couple > > of new changes that landed in the period of time we used Sphinx. > > The revert is done and I included

Re: [RFC PATCH] ipa-guarded-deref: Add new pass to dereference function pointers

2022-11-14 Thread Christoph Müllner
On Mon, Nov 14, 2022 at 10:00 AM Richard Biener wrote: > On Mon, Nov 14, 2022 at 9:13 AM Christoph Müllner > wrote: > > > > > > > > On Mon, Nov 14, 2022 at 8:31 AM Richard Biener < > richard.guent...@gmail.com> wrote: > >> > >> On Sun, Nov 13, 2022 at 4:09 PM Christoph Muellner > >> wrote: > >>

Re: [PATCH] builtins: Commonise default handling of nonlocal_goto

2022-11-14 Thread Richard Biener via Gcc-patches
On Sun, Nov 13, 2022 at 10:33 AM Richard Sandiford via Gcc-patches wrote: > > expand_builtin_longjmp and expand_builtin_nonlocal_goto both > emit nonlocal gotos. They first try to use a target-provided > pattern and fall back to generic code otherwise. These pieces > of generic code are almost i

Re: PING Re: [PATCH] Fortran: Remove double spaces in open() warning [PR99884]

2022-11-14 Thread Richard Biener via Gcc-patches
On Mon, Nov 14, 2022 at 10:10 AM Bernhard Reutner-Fischer via Gcc-patches wrote: > > yearly ping. Ok for trunk after re-regtesting? OK. > thanks, > > On Sun, 31 Oct 2021 13:57:46 +0100 > Bernhard Reutner-Fischer wrote: > > > From: Bernhard Reutner-Fischer > > > > gcc/fortran/ChangeLog: > > > >

Re: [PATCH] Using sub-scalars mode to move struct block

2022-11-14 Thread Jiufu Guo via Gcc-patches
Hi! Thanks for your helpful comments/sugguestions! Richard Biener writes: > On Mon, 14 Nov 2022, Jiufu Guo wrote: > >> >> Hi! >> Thanks so much for your review! >> >> Richard Biener writes: >> >> > On Fri, 11 Nov 2022, Jiufu Guo wrote: >> > >> >> Hi, >> >> >> >> When assigning a struct par

Re: [PATCH 2/3] libstdc++: Implement ranges::iota from P2440R1

2022-11-14 Thread Jonathan Wakely via Gcc-patches
On Mon, 14 Nov 2022 at 04:52, Patrick Palka via Libstdc++ wrote: > > Tested on x86_64-pc-linux-gnu, does this look OK for trunk? > > libstdc++-v3/ChangeLog: > > * include/bits/ranges_algo.h (out_value_result): Define. > (iota_result): Define. > (__iota_fn, iota): Define. >

Re: [RFC PATCH] ipa-guarded-deref: Add new pass to dereference function pointers

2022-11-14 Thread Richard Biener via Gcc-patches
On Mon, Nov 14, 2022 at 10:32 AM Christoph Müllner wrote: > > > > On Mon, Nov 14, 2022 at 10:00 AM Richard Biener > wrote: >> >> On Mon, Nov 14, 2022 at 9:13 AM Christoph Müllner >> wrote: >> > >> > >> > >> > On Mon, Nov 14, 2022 at 8:31 AM Richard Biener >> > wrote: >> >> >> >> On Sun, Nov 1

Re: [PATCH] libstdc++: Fix python/ not making install directories

2022-11-14 Thread Jonathan Wakely via Gcc-patches
On Sun, 13 Nov 2022 at 20:30, Bernhard Reutner-Fischer via Libstdc++ wrote: > > On Sun, 13 Nov 2022 19:42:52 + > Jonathan Wakely via Gcc-patches wrote: > > > On Sun, 13 Nov 2022, 18:06 Arsen Arsenović via Libstdc++, < > > libstd...@gcc.gnu.org> wrote: > > > > > I'm unsure why this issue only

Re: [PATCH 2/3] libstdc++: Implement ranges::iota from P2440R1

2022-11-14 Thread Daniel Krügler via Gcc-patches
Am Mo., 14. Nov. 2022 um 11:09 Uhr schrieb Jonathan Wakely via Libstdc++ : > > On Mon, 14 Nov 2022 at 04:52, Patrick Palka via Libstdc++ > wrote: > > > > Tested on x86_64-pc-linux-gnu, does this look OK for trunk? > > > > libstdc++-v3/ChangeLog: > > > > * include/bits/ranges_algo.h (out_va

Re: [PATCH 4/8] Modify test, to prevent the next patch breaking it

2022-11-14 Thread Richard Biener via Gcc-patches
On Fri, Nov 11, 2022 at 7:48 PM Andrew Carlotti via Gcc-patches wrote: > > The upcoming c[lt]z idiom recognition patch eliminates the need for a > brute force computation of the iteration count of these loops. The test > is intended to verify that ivcanon can determine the loop count when the > co

Re: [PATCH 2/3] libstdc++: Implement ranges::iota from P2440R1

2022-11-14 Thread Jonathan Wakely via Gcc-patches
On Mon, 14 Nov 2022 at 10:17, Daniel Krügler wrote: > > Am Mo., 14. Nov. 2022 um 11:09 Uhr schrieb Jonathan Wakely via > Libstdc++ : > > > > On Mon, 14 Nov 2022 at 04:52, Patrick Palka via Libstdc++ > > wrote: > > > > > > Tested on x86_64-pc-linux-gnu, does this look OK for trunk? > > > > > > lib

Re: [PATCH] libstdc++: Fix python/ not making install directories

2022-11-14 Thread Jonathan Wakely via Gcc-patches
On Sun, 13 Nov 2022 at 18:06, Arsen Arsenović via Libstdc++ wrote: > > I'm unsure why this issue only started manifesting now with how old this > code is, but this should fix it. > > libstdc++-v3/ChangeLog: > > * python/Makefile.am: Call mkinstalldirs before INSTALL_DATA > when ins

[PATCH] c++: Add testcase for DR 2392

2022-11-14 Thread Jakub Jelinek via Gcc-patches
Hi! Working virtually out of Baker Island. The testcase from DR 2392 passes, so I assume we don't need to do anything further for the DR. Tested on x86_64-linux, ok for trunk? 2022-11-13 Jakub Jelinek * g++.dg/DRs/dr2392.C: Add testcase for DR 2392. --- gcc/testsuite/g++.dg/DRs/dr2

Re: [RFC PATCH] ipa-cp: Speculatively call specialized functions

2022-11-14 Thread Manolis Tsamis
On Mon, Nov 14, 2022 at 9:37 AM Richard Biener wrote: > > On Sun, Nov 13, 2022 at 4:38 PM Christoph Muellner > wrote: > > > > From: mtsamis > > > > The IPA CP pass offers a wide range of optimizations, where most of them > > lead to specialized functions that are called from a call site. > > Thi

Re: [PATCH] libstdc++: Fix python/ not making install directories

2022-11-14 Thread Jonathan Wakely via Gcc-patches
On Mon, 14 Nov 2022 at 10:29, Jonathan Wakely wrote: > > On Sun, 13 Nov 2022 at 18:06, Arsen Arsenović via Libstdc++ > wrote: > > > > I'm unsure why this issue only started manifesting now with how old this > > code is, but this should fix it. > > > > libstdc++-v3/ChangeLog: > > > > * pyth

[PATCH] c++: Allow attributes on concepts - DR 2428

2022-11-14 Thread Jakub Jelinek via Gcc-patches
Hi! Working virtually out of Baker Island. The following patch adds parsing of attributes to concept definition, allows deprecated attribute to be specified (some ugliness needed because CONCEPT_DECL is a cp/*.def attribute and so can't be mentioned in c-family/ directly; used what is used for ob

Re: [RFC PATCH] ipa-cp: Speculatively call specialized functions

2022-11-14 Thread Richard Biener via Gcc-patches
On Mon, Nov 14, 2022 at 11:36 AM Manolis Tsamis wrote: > > On Mon, Nov 14, 2022 at 9:37 AM Richard Biener > wrote: > > > > On Sun, Nov 13, 2022 at 4:38 PM Christoph Muellner > > wrote: > > > > > > From: mtsamis > > > > > > The IPA CP pass offers a wide range of optimizations, where most of them

Re: why does gccgit require pthread?

2022-11-14 Thread LIU Hao via Gcc-patches
在 2022/11/12 02:27, Jonathan Wakely 写道: A clean build fixed that. This patch bootstraps and passes testing on x86_64-pc-linux-gnu (CentOS 8 Stream). OK for trunk? What should we do if no one has been approving this patch? -- Best regards, LIU Hao OpenPGP_signature Description: OpenPGP di

Re: [PATCH] Fortran: fix treatment of character, value, optional dummy arguments [PR107444]

2022-11-14 Thread Andreas Schwab
On Nov 13 2022, Harald Anlauf wrote: > Can you please confirm that it fixes your issues? Looks good. -- Andreas Schwab, sch...@linux-m68k.org GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."

Re: [PATCH] aarch64: Add support for Ampere-1A (-mcpu=ampere1a) CPU

2022-11-14 Thread Richard Sandiford via Gcc-patches
Philipp Tomsich writes: > This patch adds support for Ampere-1A CPU: > - recognize the name of the core and provide detection for -mcpu=native, > - updated extra_costs, > - adds a new fusion pair for (A+B+1 and A-B-1). > > Ampere-1A and Ampere-1 have more timing difference than the extra > cost

Re: [PATCH 0/2] i386: slim down insn-automata [PR 87832]

2022-11-14 Thread Alexander Monakov via Gcc-patches
On Mon, 7 Nov 2022, Alexander Monakov wrote: > > On Tue, 1 Nov 2022, Alexander Monakov wrote: > > > Hi, > > > > I'm sending followup fixes for combinatorial explosion of znver scheduling > > automaton tables as described in the earlier thread: > > > > https://inbox.sourceware.org/gcc-patches

RE: [PATCH] aarch64: Add support for Ampere-1A (-mcpu=ampere1a) CPU

2022-11-14 Thread Kyrylo Tkachov via Gcc-patches
> -Original Message- > From: Gcc-patches bounces+kyrylo.tkachov=arm@gcc.gnu.org> On Behalf Of Richard > Sandiford via Gcc-patches > Sent: Monday, November 14, 2022 11:11 AM > To: Philipp Tomsich > Cc: gcc-patches@gcc.gnu.org; JiangNing Liu > ; Christoph Muellner > > Subject: Re: [

[PATCH] c++: Alignment changes to layout compatibility/common initial sequence - DR2583

2022-11-14 Thread Jakub Jelinek via Gcc-patches
Hi! Working virtually out of Baker Island. When trying to figure out what to do about alignment, layout_compatible_type_p returns false if TYPE_ALIGN on ENUMERAL_TYPE/CLASS_TYPE_P (but not scalar types?) differ, or if members don't have the same positions. What is in DR2583 doesn't say anything

[PATCH] c++: Add testcase for DR 2604

2022-11-14 Thread Jakub Jelinek via Gcc-patches
Hi! Working virtually out of Baker Island. As the following testcase shows, I think we don't inherit template's attributes into specializations. Tested on x86_64-linux, ok for trunk? 2022-11-13 Jakub Jelinek * g++.dg/DRs/dr2604.C: New test. --- gcc/testsuite/g++.dg/DRs/dr2604.C.jj

Re: [RFC PATCH] ipa-guarded-deref: Add new pass to dereference function pointers

2022-11-14 Thread Christoph Müllner
On Mon, Nov 14, 2022 at 11:10 AM Richard Biener wrote: > On Mon, Nov 14, 2022 at 10:32 AM Christoph Müllner > wrote: > > > > > > > > On Mon, Nov 14, 2022 at 10:00 AM Richard Biener < > richard.guent...@gmail.com> wrote: > >> > >> On Mon, Nov 14, 2022 at 9:13 AM Christoph Müllner > >> wrote: > >

Re: Revert Sphinx documentation [Was: Issues with Sphinx]

2022-11-14 Thread Gerald Pfeifer
On Mon, 14 Nov 2022, Martin Liška wrote: > The situation with the Sphinx migration went out of control. The TODO > list overwhelmed me and there are road-blocks that can't be easily fixed > with what Sphinx currently supports. This migration was/is a huge and complex undertaking, and you have be

Re: [PATCH] libstdc++: Fix python/ not making install directories

2022-11-14 Thread Arsen Arsenović via Gcc-patches
Hi, Jonathan Wakely writes: >> This looks simple, and more consistent with what we already do. Does >> it solve your issue? It does work; though, if I was more daring I'd have said that it's fine without checking, too, since it does the same operation on the same directory ;) Was the omission o

GCC 13.0.0 Status Report (2022-11-14), Stage 3 in effect now

2022-11-14 Thread Richard Biener via Gcc-patches
Status == The GCC development branch which will become GCC 13 is now in bugfixing mode (Stage 3) until the end of Jan 15th. As usual the first weeks of Stage 3 are used to feature patches posted late during Stage 1. At some point unreviewed features need to be postponed for the next Stage 1.

[PATCH] remove duplicate match.pd patterns

2022-11-14 Thread Richard Biener via Gcc-patches
The following merges match.pd patterns that cause genmatch complaints about duplicates when in-order isn't enforced (you have to edit genmatch.cc to do a full duplicate check). Bootstrapped and tested on x86_64-unknown-linux-gnu, pushed. * match.pd: Remove duplicates. --- gcc/match.pd |

Re: [RFC PATCH] ipa-guarded-deref: Add new pass to dereference function pointers

2022-11-14 Thread Richard Biener via Gcc-patches
On Mon, Nov 14, 2022 at 12:46 PM Christoph Müllner wrote: > > > > On Mon, Nov 14, 2022 at 11:10 AM Richard Biener > wrote: >> >> On Mon, Nov 14, 2022 at 10:32 AM Christoph Müllner >> wrote: >> > >> > >> > >> > On Mon, Nov 14, 2022 at 10:00 AM Richard Biener >> > wrote: >> >> >> >> On Mon, Nov

[COMMITTED] ada: Remove gnatcheck reference

2022-11-14 Thread Marc Poulhiès via Gcc-patches
From: Arnaud Charlet Since gnatcheck is no longer bundled with gnat gcc/ada/ * doc/gnat_ugn/gnat_utility_programs.rst: Remove gnatcheck reference. Tested on x86_64-pc-linux-gnu, committed on master. --- .../doc/gnat_ugn/gnat_utility_programs.rst| 22 --- 1

[COMMITTED] ada: Improve location of error messages in instantiations

2022-11-14 Thread Marc Poulhiès via Gcc-patches
From: Yannick Moy When flag -gnatdF is used, source code lines are displayed to point the location of errors. The code of the instantiation was displayed in case of errors inside generic instances, which was not precise. Now the code inside the generic is displayed. gcc/ada/ * errout.ad

[COMMITTED] ada: Crash on applying 'Pos to expression of a type derived from a formal type

2022-11-14 Thread Marc Poulhiès via Gcc-patches
From: Gary Dismukes The compiler crashes when trying to do a static check for a range violation in a type conversion of a Pos attribute applied to a prefix of a type derived from a generic formal discrete type. This optimization was suppressed in the case of formal types, because the upper bound

[COMMITTED] ada: Enable Support_Atomic_Primitives on QNX and RTEMS

2022-11-14 Thread Marc Poulhiès via Gcc-patches
From: Patrick Bernardi QNX and RTEMS support 64-bit atomic primitives. gcc/ada/ * libgnat/system-qnx-arm.ads: Set Support_Atomic_Primitives to True. * libgnat/system-rtems.ads: Add Support_Atomic_Primitives. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/

[COMMITTED] ada: Expand generic formal subprograms with contracts for GNATprove

2022-11-14 Thread Marc Poulhiès via Gcc-patches
From: Piotr Trojanek In GNATprove mode generic formal subprograms with Pre/Post contracts are now expanded into wrappers, just like in ordinary compilation. gcc/ada/ * sem_ch12.adb (Analyze_Associations): Expand wrappers for GNATprove. Tested on x86_64-pc-linux-gnu, committed o

[COMMITTED] ada: Silence CodePeer false positive

2022-11-14 Thread Marc Poulhiès via Gcc-patches
From: Boris Yakobowski gcc/ada/ * sem_case.adb: silence false positive warning emitted by CodePeer on predefined equality for type Choice_Range_Info. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/sem_case.adb | 2 ++ 1 file changed, 2 insertions(+) diff --gi

[COMMITTED] ada: hardcfr docs: add optional checkpoints

2022-11-14 Thread Marc Poulhiès via Gcc-patches
From: Alexandre Oliva Previously, control flow redundancy only checked the visited bitmap against the control flow graph at return points and before mandatory tail calls, missing various other possibilities of exiting a subprogram, such as by raising or propagating exceptions, and calling noretur

[COMMITTED] ada: Fix error on SPARK_Mode on library-level separate body

2022-11-14 Thread Marc Poulhiès via Gcc-patches
From: Yannick Moy When applying explicitly SPARK_Mode on a separate library-level spec and body for which a contract needs to be checked, compilation with -gnata was failing on a spurious error related to SPARK_Mode placement. Now fixed. gcc/ada/ * sem_prag.adb (Analyze_Pragma): Add spe

[COMMITTED] ada: Fix style in code for generic formal subprograms with contracts

2022-11-14 Thread Marc Poulhiès via Gcc-patches
From: Piotr Trojanek Code cleanup related to expansion generic formal subprograms with contracts for GNATprove. gcc/ada/ * inline.adb (Replace_Formal): Tune whitespace. * sem_ch12.adb (Check_Overloaded_Formal_Subprogram): Refine type of a formal parameter and local varia

[PATCH v2] aarch64: Add support for Ampere-1A (-mcpu=ampere1a) CPU

2022-11-14 Thread Philipp Tomsich
This patch adds support for Ampere-1A CPU: - recognize the name of the core and provide detection for -mcpu=native, - updated extra_costs, - adds a new fusion pair for (A+B+1 and A-B-1). Ampere-1A and Ampere-1 have more timing difference than the extra costs indicate, but these don't propagate

Re: [PATCH v2] aarch64: Add support for Ampere-1A (-mcpu=ampere1a) CPU

2022-11-14 Thread Philipp Tomsich
Applied to master as v2 with the requested changes (and the change to add "ampere1a" in invoke.texi). Thanks! Philipp. On Mon, 14 Nov 2022 at 14:53, Philipp Tomsich wrote: > > This patch adds support for Ampere-1A CPU: > - recognize the name of the core and provide detection for -mcpu=native, >

[COMMITTED] ada: Fix non-capturing parentheses handling

2022-11-14 Thread Marc Poulhiès via Gcc-patches
From: Ronan Desplanques Before this patch, non-capturingly parenthesized expressions with more than one branch were processed incorrectly when part of a branch followed by another branch. This patch fixes this by aligning the handling of non-capturing parentheses with the handling of regular pare

[COMMITTED] ada: Adjust locations in aspects on generic formal subprograms

2022-11-14 Thread Marc Poulhiès via Gcc-patches
From: Piotr Trojanek When instantiating a generic that has formal subprogram parameter with contracts, e.g.: generic with procedure P with Pre => ..., Post => ...; ... we create a wrapper that executes Pre/Post contracts before/after calling the actual subprogram. Errors emitted for the

Re: [wwwdocs] gcc-13: Mention Intel new ISA and march support.

2022-11-14 Thread Gerald Pfeifer
On Thu, 10 Nov 2022, Haochen Jiang via Gcc-patches wrote: > + New ISA extension support for Intel AVX-IFMA was added to GCC. Here and in the other cases I'd skip "to GCC". This is clear from the context (this being the GCC release notes :-) and makes it shorter. Gerald

[COMMITTED] ada: Remove incorrect comments about initialization

2022-11-14 Thread Marc Poulhiès via Gcc-patches
From: Bob Duff Cleanup only; no change in behavior. This patch removes and rewrites some comments regarding initialization. These initializions are needed, so there's no need to apologize for initializing these variables. Note that -gnatVa is not relevant; reads of uninitialized variables are w

[COMMITTED] ada: Flag unsupported dispatching constructor calls

2022-11-14 Thread Marc Poulhiès via Gcc-patches
From: Javier Miranda gcc/ada/ * exp_intr.adb (Expand_Dispatching_Constructor_Call): Improve warning message. * freeze.adb (Check_No_Parts_Violations): Improve error message. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/exp_intr.adb | 9 ++

Re: [PATCH] 0/19 modula-2 front end patches overview

2022-11-14 Thread Gaius Mulley via Gcc-patches
Richard Biener writes: > On Mon, Oct 10, 2022 at 5:32 PM Gaius Mulley via Gcc-patches > wrote: >> >> >> Here are the latest modula-2 front end patches for review. >> The status of the patches and their contents are also contained at: >> >>https://splendidisolation.ddns.net/public/modula2/pat

[PATCH] libstdc++: Fix up for extended floating point types [PR107649]

2022-11-14 Thread Jakub Jelinek via Gcc-patches
Hi! As filed by Jonathan in the PR, I've screwed up the requires syntax in the extended floating point specialization: -requires(__complex_type<_Tp>::type) +requires requires { typename __complex_type<_Tp>::type; } and doing this change resulted in lots of errors because __complex_whatever

Re: [PATCH 1/2] aarch64: Enable the use of LDAPR for load-acquire semantics

2022-11-14 Thread Andre Vieira (lists) via Gcc-patches
Here is the latest version and an updated ChangeLog: 2022-11-14  Andre Vieira     Kyrylo Tkachov gcc/ChangeLog:     * config/aarch64/aarch64.h (AARCH64_ISA_RCPC): New Macro.     (TARGET_RCPC): New Macro.     * config/aarch64/atomics.md (atomic_load): Change int

Re: [PATCH 2/2] aarch64: Add support for widening LDAPR instructions

2022-11-14 Thread Andre Vieira (lists) via Gcc-patches
Updated version of the patch to account for the testsuite changes in the first patch. On 10/11/2022 11:20, Andre Vieira (lists) via Gcc-patches wrote: Hi, This patch adds support for the widening LDAPR instructions. Bootstrapped and regression tested on aarch64-none-linux-gnu. OK for trunk?

RE: [PATCH 1/2] aarch64: Enable the use of LDAPR for load-acquire semantics

2022-11-14 Thread Kyrylo Tkachov via Gcc-patches
> -Original Message- > From: Andre Vieira (lists) > Sent: Monday, November 14, 2022 2:09 PM > To: Kyrylo Tkachov ; gcc-patches@gcc.gnu.org > Cc: Richard Earnshaw ; Richard Sandiford > > Subject: Re: [PATCH 1/2] aarch64: Enable the use of LDAPR for load-acquire > semantics > > Here is t

RE: [PATCH 2/2] aarch64: Add support for widening LDAPR instructions

2022-11-14 Thread Kyrylo Tkachov via Gcc-patches
> -Original Message- > From: Andre Vieira (lists) > Sent: Monday, November 14, 2022 2:10 PM > To: gcc-patches@gcc.gnu.org > Cc: Kyrylo Tkachov ; Richard Earnshaw > ; Richard Sandiford > > Subject: Re: [PATCH 2/2] aarch64: Add support for widening LDAPR > instructions > > Updated versio

Re: [PATCH] libstdc++: Fix python/ not making install directories

2022-11-14 Thread Jonathan Wakely via Gcc-patches
On Mon, 14 Nov 2022 at 13:20, Arsen Arsenović wrote: > > Hi, > > Jonathan Wakely writes: > >> This looks simple, and more consistent with what we already do. Does > >> it solve your issue? > > It does work; though, if I was more daring I'd have said that it's fine > without checking, too, since i

Re: [PATCH] libstdc++: Fix python/ not making install directories

2022-11-14 Thread Jonathan Wakely via Gcc-patches
On Mon, 14 Nov 2022 at 14:13, Jonathan Wakely wrote: > > On Mon, 14 Nov 2022 at 13:20, Arsen Arsenović wrote: > > > > Hi, > > > > Jonathan Wakely writes: > > >> This looks simple, and more consistent with what we already do. Does > > >> it solve your issue? > > > > It does work; though, if I was

Re: [PATCH 0/8] middle-end: Ensure at_stmt is defined before an early exit

2022-11-14 Thread Jeff Law via Gcc-patches
On 11/11/22 06:39, Andrew Carlotti via Gcc-patches wrote: This prevents a null dereference error when outputing debug information following an early exit from number_of_iterations_exit_assumptions. gcc/ChangeLog: * tree-ssa-loop-niter.cc (number_of_iterations_exit_assumptions):

Re: [PATCH 1/2] aarch64: Enable the use of LDAPR for load-acquire semantics

2022-11-14 Thread Andre Vieira (lists) via Gcc-patches
On 14/11/2022 14:12, Kyrylo Tkachov wrote: -Original Message- From: Andre Vieira (lists) Sent: Monday, November 14, 2022 2:09 PM To: Kyrylo Tkachov ; gcc-patches@gcc.gnu.org Cc: Richard Earnshaw ; Richard Sandiford Subject: Re: [PATCH 1/2] aarch64: Enable the use of LDAPR for load-ac

Re: [PATCH 2/8] middle-end: Remove prototype for number_of_iterations_popcount

2022-11-14 Thread Jeff Law via Gcc-patches
On 11/11/22 06:46, Andrew Carlotti via Gcc-patches wrote: gcc/ChangeLog: * tree-ssa-loop-niter.c (ssa_defined_by_minus_one_stmt_p): Move (number_of_iterations_popcount): Move, and remove separate prototype. OK. jeff

RE: [PATCH 1/2] aarch64: Enable the use of LDAPR for load-acquire semantics

2022-11-14 Thread Kyrylo Tkachov via Gcc-patches
> -Original Message- > From: Andre Vieira (lists) > Sent: Monday, November 14, 2022 2:24 PM > To: Kyrylo Tkachov ; gcc-patches@gcc.gnu.org > Cc: Richard Earnshaw ; Richard Sandiford > > Subject: Re: [PATCH 1/2] aarch64: Enable the use of LDAPR for load-acquire > semantics > > > On 14/

Re: [PATCH] [range-ops] Implement sqrt.

2022-11-14 Thread Jeff Law via Gcc-patches
On 11/14/22 00:45, Aldy Hernandez via Gcc-patches wrote: On Sun, Nov 13, 2022 at 9:39 PM Jakub Jelinek wrote: On Sun, Nov 13, 2022 at 09:05:53PM +0100, Aldy Hernandez wrote: It seems SQRT is relatively straightforward, and it's something Jakub wanted for this release. Jakub, what do you thi

Re: [PATCH] [range-ops] Implement sqrt.

2022-11-14 Thread Jakub Jelinek via Gcc-patches
On Mon, Nov 14, 2022 at 07:30:18AM -0700, Jeff Law via Gcc-patches wrote: > To Jakub's concern.  I thought sqrt was treated like +-/* WRT accuracy > requirements by IEEE.   ie, for any input there is a well defined answer for > a confirming IEEE implementation.   In fact, getting to that .5ulp boun

[PATCH] GCC13: aarch64: Document new cores

2022-11-14 Thread Philipp Tomsich
Document the new cores added recently: - ampere1a - cortex-x1c - cortex-a715 Signed-off-by: Philipp Tomsich --- htdocs/gcc-13/changes.html | 11 ++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/htdocs/gcc-13/changes.html b/htdocs/gcc-13/changes.html index 0daf921b..b

RE: [PATCH][GCC] aarch64: Add support for Cortex-X3 CPU.

2022-11-14 Thread Kyrylo Tkachov via Gcc-patches
> -Original Message- > From: Srinath Parvathaneni > Sent: Friday, November 11, 2022 3:08 PM > To: gcc-patches@gcc.gnu.org > Cc: Richard Sandiford ; Kyrylo Tkachov > > Subject: [PATCH][GCC] aarch64: Add support for Cortex-X3 CPU. > > Hi, > > This patch adds support for Cortex-X3 CPU.

Re: [PATCH] [range-ops] Implement sqrt.

2022-11-14 Thread Jeff Law via Gcc-patches
On 11/14/22 07:35, Jakub Jelinek wrote: On Mon, Nov 14, 2022 at 07:30:18AM -0700, Jeff Law via Gcc-patches wrote: To Jakub's concern.  I thought sqrt was treated like +-/* WRT accuracy requirements by IEEE.   ie, for any input there is a well defined answer for a confirming IEEE implementation

RE: [PATCH] GCC13: aarch64: Document new cores

2022-11-14 Thread Kyrylo Tkachov via Gcc-patches
> -Original Message- > From: Gcc-patches bounces+kyrylo.tkachov=arm@gcc.gnu.org> On Behalf Of Philipp > Tomsich > Sent: Monday, November 14, 2022 2:43 PM > To: gcc-patches@gcc.gnu.org > Cc: Richard Sandiford ; Philipp Tomsich > > Subject: [PATCH] GCC13: aarch64: Document new cores

Re: [PATCH 8/8] middle-end: Expand comment for tree_niter_desc.max

2022-11-14 Thread Jeff Law via Gcc-patches
On 11/11/22 12:07, Andrew Carlotti via Gcc-patches wrote: This requirement is enforced by a gcc_checking_assert in record_estimate. gcc/ChangeLog: * tree-ssa-loop.h (tree_niter_desc): Update comment. OK jeff

Re: [PATCH 6/8] docs: Add popcount, clz and ctz target attributes

2022-11-14 Thread Jeff Law via Gcc-patches
On 11/11/22 11:54, Andrew Carlotti via Gcc-patches wrote: gcc/ChangeLog: * doc/gccint/testsuites/directives-used-within-dejagnu-tests/keywords-describing-target-attributes.rst: Add missing target attributes. OK jeff

Re: [PATCH 3/8] middle-end: Refactor number_of_iterations_popcount

2022-11-14 Thread Richard Biener via Gcc-patches
On Fri, Nov 11, 2022 at 2:58 PM Andrew Carlotti via Gcc-patches wrote: > > This includes various changes to improve clarity, and to enable the code > to be more similar to the clz and ctz idiom recognition added in > subsequent patches. > > We create new number_of_iterations_bitcount function, whi

Re: [PATCH] Optimize VEC_PERM_EXPR with same permutation index and operation [PR98167]

2022-11-14 Thread Richard Biener via Gcc-patches
On Thu, Nov 10, 2022 at 3:27 PM Hongyu Wang wrote: > > > Well, with AVX512 v64qi that's 64*64 == 4096 cases to check. I think > > a lambda function is fine to use. The alternative (used by the vectorizer > > in some places) is to use sth like > > > > auto_sbitmap seen (nelts); > > for (i = 0;

Re: [PATCH v2 1/3] doc: -falign-functions doesn't override the __attribute__((align(N)))

2022-11-14 Thread Richard Biener via Gcc-patches
On Tue, Oct 11, 2022 at 11:02 PM Palmer Dabbelt wrote: > > I found this when reading the documentation for Kito's recent patch. > From the discussion it sounds like this is the desired behavior, so > let's document it. OK. > gcc/doc/ChangeLog > > * invoke.texi (-falign-functions): Mentio

Re: [PATCH v2 3/3] doc: -falign-functions is ignored for cold/size-optimized functions

2022-11-14 Thread Richard Biener via Gcc-patches
On Tue, Oct 11, 2022 at 11:02 PM Palmer Dabbelt wrote: > > gcc/doc/ChangeLog OK. > * invoke.texi (-falign-functions): Mention cold/size-optimized > functions. > --- > gcc/doc/invoke.texi | 3 ++- > 1 file changed, 2 insertions(+), 1 deletion(-) > > diff --git a/gcc/doc/invoke.te

[PATCH v2] gcc-13: aarch64: Document new cores

2022-11-14 Thread Philipp Tomsich
Document the new cores added recently: - ampere1a - cortex-x1c - cortex-a715 - cortex-x3 - neoverse-v2 Signed-off-by: Philipp Tomsich --- Changes in v2: - Change capitalization of ARM to Arm. - Add documentation for Cortex-X3 and Neoverse V2. htdocs/gcc-13/changes.html | 11 ++- 1

Re: [PATCH v2] aarch64: Add support for Ampere-1A (-mcpu=ampere1a) CPU

2022-11-14 Thread Philipp Tomsich
Richard, is this OK for backport to GCC-12 and GCC-11? Thanks, Philipp. On Mon, 14 Nov 2022 at 14:53, Philipp Tomsich wrote: > > This patch adds support for Ampere-1A CPU: > - recognize the name of the core and provide detection for -mcpu=native, > - updated extra_costs, > - adds a new fusio

RE: [PATCH v2] gcc-13: aarch64: Document new cores

2022-11-14 Thread Kyrylo Tkachov via Gcc-patches
> -Original Message- > From: Philipp Tomsich > Sent: Monday, November 14, 2022 2:54 PM > To: gcc-patches@gcc.gnu.org > Cc: Richard Sandiford ; Kyrylo Tkachov > ; Philipp Tomsich > Subject: [PATCH v2] gcc-13: aarch64: Document new cores > > Document the new cores added recently: > - am

Re: [PATCH v2] gcc-13: aarch64: Document new cores

2022-11-14 Thread Philipp Tomsich
I’ll hold off pushing until these are on master. On Mon 14. Nov 2022 at 15:56, Kyrylo Tkachov wrote: > > > > -Original Message- > > From: Philipp Tomsich > > Sent: Monday, November 14, 2022 2:54 PM > > To: gcc-patches@gcc.gnu.org > > Cc: Richard Sandiford ; Kyrylo Tkachov > > ; Philipp

Re: [PATCH] [range-ops] Implement sqrt.

2022-11-14 Thread Aldy Hernandez via Gcc-patches
Huh...no argument from me. Thanks. Aldy On Mon, Nov 14, 2022, 15:35 Jakub Jelinek wrote: > On Mon, Nov 14, 2022 at 07:30:18AM -0700, Jeff Law via Gcc-patches wrote: > > To Jakub's concern. I thought sqrt was treated like +-/* WRT accuracy > > requirements by IEEE. ie, for any input there is

Re: [PATCH v2] gcc-13: aarch64: Document new cores

2022-11-14 Thread Philipp Tomsich
I squashed (so these are actually in the commit) and applied to master. Philipp. On Mon, 14 Nov 2022 at 15:56, Kyrylo Tkachov wrote: > > > > > -Original Message- > > From: Philipp Tomsich > > Sent: Monday, November 14, 2022 2:54 PM > > To: gcc-patches@gcc.gnu.org > > Cc: Richard Sandifor

[COMMITTED] Fix some @opindex with - in the front

2022-11-14 Thread apinski--- via Gcc-patches
From: Andrew Pinski I noticed this during the conversion of the docs to sphinx that some options in the option index had a - in the front of it for the texinfo docs. When the sphinx conversion was reverted, I thought I would fix the texinfo documentation for these options. Committed as obvious a

Re: [PATCH 1/3] libstdc++: Implement ranges::contains/contains_subrange from P2302R4

2022-11-14 Thread Patrick Palka via Gcc-patches
On Mon, 14 Nov 2022, Jonathan Wakely wrote: > On Mon, 14 Nov 2022 at 04:51, Patrick Palka via Libstdc++ > wrote: > > > > Tested on x86_64-pc-linux-gnu, does this look OK for trunk? > > > > libstdc++-v3/ChangeLog: > > > > * include/bits/ranges_algo.h (__contains_fn, contains): Define. > >

Re: [PATCH 1/3] libstdc++: Implement ranges::contains/contains_subrange from P2302R4

2022-11-14 Thread Jonathan Wakely via Gcc-patches
On Mon, 14 Nov 2022 at 15:07, Patrick Palka wrote: > > On Mon, 14 Nov 2022, Jonathan Wakely wrote: > > > On Mon, 14 Nov 2022 at 04:51, Patrick Palka via Libstdc++ > > wrote: > > > > > > Tested on x86_64-pc-linux-gnu, does this look OK for trunk? > > > > > > libstdc++-v3/ChangeLog: > > > > > >

Re: [PATCH 5/8] middle-end: Add cltz_complement idiom recognition

2022-11-14 Thread Richard Biener via Gcc-patches
On Fri, Nov 11, 2022 at 7:53 PM Andrew Carlotti via Gcc-patches wrote: > > This recognises patterns of the form: > while (n) { n >>= 1 } > > This patch results in improved (but still suboptimal) codegen: > > foo (unsigned int b) { > int c = 0; > > while (b) { > b >>= 1; > c

Re: [PATCH 2/3] libstdc++: Implement ranges::iota from P2440R1

2022-11-14 Thread Patrick Palka via Gcc-patches
On Mon, 14 Nov 2022, Jonathan Wakely wrote: > On Mon, 14 Nov 2022 at 10:17, Daniel Krügler > wrote: > > > > Am Mo., 14. Nov. 2022 um 11:09 Uhr schrieb Jonathan Wakely via > > Libstdc++ : > > > > > > On Mon, 14 Nov 2022 at 04:52, Patrick Palka via Libstdc++ > > > wrote: > > > > > > > > Tested on

Re: [PATCH 3/3] libstdc++: Implement ranges::find_last{, _if, _if_not} from P1223R5

2022-11-14 Thread Jonathan Wakely via Gcc-patches
On Mon, 14 Nov 2022 at 04:51, Patrick Palka via Libstdc++ wrote: > > Tested on x86_64-pc-linux-gnu, does this look OK for trunk? > > libstdc++-v3/ChangeLog: > > * include/bits/ranges_algo.h (__find_last_fn, find_last): > Define. > (__find_last_if_fn, find_last_if): Define.

Re: [PATCH 2/3] libstdc++: Implement ranges::iota from P2440R1

2022-11-14 Thread Jonathan Wakely via Gcc-patches
On Mon, 14 Nov 2022 at 15:11, Patrick Palka wrote: > > On Mon, 14 Nov 2022, Jonathan Wakely wrote: > > > On Mon, 14 Nov 2022 at 10:17, Daniel Krügler > > wrote: > > > > > > Am Mo., 14. Nov. 2022 um 11:09 Uhr schrieb Jonathan Wakely via > > > Libstdc++ : > > > > > > > > On Mon, 14 Nov 2022 at 04:

Re: [PATCH 7/8] middle-end: Add c[lt]z idiom recognition

2022-11-14 Thread Richard Biener via Gcc-patches
On Fri, Nov 11, 2022 at 8:06 PM Andrew Carlotti via Gcc-patches wrote: > > This recognises the patterns of the form: > while (n & 1) { n >>= 1 } > > Unfortunately there are currently two issues relating to this patch. > > Firstly, simplify_using_initial_conditions does not recognise that >

  1   2   3   >