[PATCH] invoke.texi: Update docs of -fdump-{rtl,tree}--

2025-07-29 Thread Filip Kastl
Hi, okay to push? Confirmed that I didn't break anything by running `make html`. Filip Kastl -- 8< -- This patch changes two things. Firstly, we document -fdump-rtl--graph and other such options under -fdump-tree. At least write a remark about this under -fdump-rtl. Secondly, the documentati

[PATCH] c++/modules: Give a sorry for target attributes [PR108080]

2025-07-29 Thread Nathaniel Shead
Thoughts? Another suggestion raised on the PR was to just make this a warning or some other non-fatal diagnostic (I suppose not attached to any particular warning option?) and continue translation; I'm not particularly fussed either way. Bootstrapped and regtested on x86_64-pc-linux-gnu, OK for t

Re: [PATCH] tree-optimization/120687 - avoid disturbing reduction chains in reassoc

2025-07-29 Thread Richard Biener
On Tue, 29 Jul 2025, Robin Dapp wrote: > > - if (len >= 3 > > + if (!reassoc_insert_powi_p > > + && len >= 3 > > && (!has_fma > > /* width > 1 means ranking ops results in better > > parallelism. Check current value to avoi

[PATCH] Another testcase for PR120687

2025-07-29 Thread Richard Biener
This shows reassoc is harmful even with len == 3. Pushed. PR tree-optimization/120687 * gcc.dg/vect/pr120687-3.c: New testcase. --- gcc/testsuite/gcc.dg/vect/pr120687-3.c | 16 1 file changed, 16 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/vect/pr12068

Re: [PATCH] c++/modules: Give a sorry for target attributes [PR108080]

2025-07-29 Thread Jakub Jelinek
On Tue, Jul 29, 2025 at 09:57:19PM +1000, Nathaniel Shead wrote: > @@ -7114,8 +7121,10 @@ trees_in::core_vals (tree t) > } > > RT (t->function_decl.personality); > - RT (t->function_decl.function_specific_target); > - RT (t->function_decl.function_specific_optimization); > +

Re: [PATCH] tree-optimization/120687 - avoid disturbing reduction chains in reassoc

2025-07-29 Thread Richard Biener
On Tue, 29 Jul 2025, Richard Biener wrote: > On Tue, 29 Jul 2025, Robin Dapp wrote: > > > > - if (len >= 3 > > > + if (!reassoc_insert_powi_p > > > + && len >= 3 > > > && (!has_fma > > > /* width > 1 means ranking ops results in better

Re: [PATCH] vect: Fix insufficient alignment requirement for speculative loads [PR121190]

2025-07-29 Thread Richard Biener
On Tue, 29 Jul 2025, Pengfei Li wrote: > Hi Richi, > > > But why do we need to reject VLA vectorization for versioning when > > the target only requires element alignment? I could for example > > think that arm could have gone with requiring NEON vector size > > alignment for SVE accesses. > >

Re: [PATCH] c++/modules: Give a sorry for target attributes [PR108080]

2025-07-29 Thread Nathaniel Shead
On Tue, Jul 29, 2025 at 02:04:52PM +0200, Jakub Jelinek wrote: > On Tue, Jul 29, 2025 at 09:57:19PM +1000, Nathaniel Shead wrote: > > @@ -7114,8 +7121,10 @@ trees_in::core_vals (tree t) > > } > > > > RT (t->function_decl.personality); > > - RT (t->function_decl.function_specific_targe

[PATCH] c++: Don't assume trait funcs return error_mark_node when tf_error is passed [PR121291]

2025-07-29 Thread Nathaniel Shead
Tested on x86_64-pc-linux-gnu, OK for trunk if full bootstrap+regtest passes? -- >8 -- For the sake of determining if there are other errors in user code to report early, many trait functions don't return error_mark_node if not called in a SFINAE context (i.e., tf_error is set). This patch remov

Re: [RFC] vect: Add support for runtime capped VF.

2025-07-29 Thread Alfie Richards
On 29/07/2025 10:13, Richard Biener wrote: On Tue, 29 Jul 2025, Alfie Richards wrote: (Whoops, s/WIP/RFC) Hi All, This patch adds support for capping VF at runtime for VLA loops with a data dependency. On 28/07/2025 15:56, Alfie Richards wrote: Hi All, This patch adds support for capping VF

RE: [PATCH v2 3/3] testsuite: Add runtime test for FMV resolvers

2025-07-29 Thread Tamar Christina
Hi Yury, > -Original Message- > From: Yury Khrustalev > Sent: Wednesday, July 23, 2025 9:45 AM > To: gcc-patches@gcc.gnu.org > Cc: Andrew Pinski ; Richard Sandiford > ; Tamar Christina ; > Alfie Richards ; Alice Carlotti > ; > Victor Do Nascimento > Subject: [PATCH v2 3/3] testsuite: Ad

Re: [RFC] c++: Optimize out dynamic_cast call when target is final [PR63164]

2025-07-29 Thread Thomas de Bock
Hey, I am indeed looking for feedback. Thanks for linking the thread, it is indeed about the same as what I am trying to achieve. However, my issue with Jason's suggestion (I've talked about is a bit here too: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63164) is that it's simply not an optim

Re: [PATCH] vect: Fix insufficient alignment requirement for speculative loads [PR121190]

2025-07-29 Thread Pengfei Li
Hi Richi, > But why do we need to reject VLA vectorization for versioning when > the target only requires element alignment? I could for example > think that arm could have gone with requiring NEON vector size > alignment for SVE accesses. > > I do agree that keeping the old check is "safe", but

[PATCH] aarch64: Fix sme2+faminmax intrisic gating (PR 121300)

2025-07-29 Thread Alfie Richards
Hi All, Quick fixup for the gating (s/&&/|/) for an error I made. Only needed for trunk as the intrinsics were only added recently. Bootstrapped and reg tested on Aatch64. Thanks, Alfie -- >8 -- Fixes the feature gating for the SME2+FAMINMAX intrinsics. PR target/121300 gcc/ChangeLo

Re: [PATCH 1/2] testsuite: Make aarch64/cmpbr.c more forgiving

2025-07-29 Thread Kyrylo Tkachov
> On 29 Jul 2025, at 15:31, Richard Sandiford wrote: > > The 8-bit and 16-bit tests in cmpbr.c assumed an inverted operand > order ("w1, w0"), but it's possible to use the uninverted operand > order too. This patch generalises the tests to support both forms. > > This is a prerequisite for a

[PATCH] testsuite: Adjust s390x params for vector tests.

2025-07-29 Thread Juergen Christ
Loop peeling and minimal loop vectorization threshold prevented loop vectorization in these examples. Adjust parameters in the test to make the test pass. Tested on s390x. Okay for main and gcc15? Signed-off-by: Juergen Christ PR testsuite/121286 PR testsuite/121288 gcc/tests

Re: [PATCH] vect: Fix insufficient alignment requirement for speculative loads [PR121190]

2025-07-29 Thread Pengfei Li
Hi Richi, > > > > > diff --git a/gcc/tree-vect-data-refs.cc b/gcc/tree-vect-data-refs.cc > > > > > index 75e06ff28e6..8595c76eae2 100644 > > > > > --- a/gcc/tree-vect-data-refs.cc > > > > > +++ b/gcc/tree-vect-data-refs.cc > > > > > @@ -2972,7 +2972,8 @@ vect_enhance_data_refs_alignment (loop_vec_

Re: [RFC] vect: Add support for runtime capped VF.

2025-07-29 Thread Richard Biener
On Tue, 29 Jul 2025, Alfie Richards wrote: > On 29/07/2025 10:13, Richard Biener wrote: > > On Tue, 29 Jul 2025, Alfie Richards wrote: > > > >> (Whoops, s/WIP/RFC) > >> > >> Hi All, > >> > >> This patch adds support for capping VF at runtime for VLA loops with a > >> data dependency. > >> On 28/0

[wwwdocs, patch] gcc-16/changes.html: Update OpenACC support

2025-07-29 Thread Tobias Burnus
Update https://gcc.gnu.org/gcc-16/changes.html for some OpenACC features that went in; while small and some of them rather new (OpenACC 3.4 was only released in June 2025), they all show up in real-world code and, hence, are important to users. Any comments before (or after) I pushed the changes?

RE: [PATCH v2 1/2] Match: Introduce mul based pattern for unsigned SAT_MUL

2025-07-29 Thread Li, Pan2
> @4 is now unused, so you could remove it. Thanks Richard, will commit with this change. Pan -Original Message- From: Richard Biener Sent: Tuesday, July 29, 2025 2:48 PM To: Li, Pan2 Cc: gcc-patches@gcc.gnu.org; juzhe.zh...@rivai.ai; kito.ch...@gmail.com; jeffreya...@gmail.com; rdap

Re: [PATCH] Fix UB in string_slice::operator== (PR 121261)

2025-07-29 Thread Alfie Richards
On 28/07/2025 17:13, Richard Sandiford wrote: Alfie Richards writes: Hi, Small fix to resolve an UBSAN diagnostic. Reg tested for Aarch64 Thanks, Alfie -- >8 -- This adds a nullptr check to fix a regression where it is possible to call `memcmp (NULL, NULL, 0)` which is UB. This should

RE: [PATCH] vect: Fix insufficient alignment requirement for speculative loads [PR121190]

2025-07-29 Thread Tamar Christina
> -Original Message- > From: Pengfei Li > Sent: Tuesday, July 29, 2025 10:17 AM > To: Richard Biener ; Tamar Christina > > Cc: gcc-patches@gcc.gnu.org; rguent...@suse.de; s...@gentoo.org > Subject: Re: [PATCH] vect: Fix insufficient alignment requirement for > speculative > loads [PR1211

[RFC] vect: Add support for runtime capped VF.

2025-07-29 Thread Alfie Richards
(Whoops, s/WIP/RFC) Hi All, This patch adds support for capping VF at runtime for VLA loops with a data dependency. On 28/07/2025 15:56, Alfie Richards wrote: Hi All, This patch adds support for capping VF at runtime for VLA loops with a data dependency. Previously, no loop with a data depende

Re: [wwwdocs, patch] gcc-16/changes.html: Update OpenACC support

2025-07-29 Thread Tobias Burnus
Thanks for proof reading and noting the missing patch … Gerald Pfeifer: On Tue, 29 Jul 2025, Tobias Burnus wrote: Update https://gcc.gnu.org/gcc-16/changes.html for some OpenACC features that went in; while small and some of them rather new (OpenACC 3.4 was only released in June 2025), they all

Re: [PATCH] vect: Fix insufficient alignment requirement for speculative loads [PR121190]

2025-07-29 Thread Richard Biener
On Tue, Jul 29, 2025 at 10:32 AM Tamar Christina wrote: > > Hi Pengfei, > > > -Original Message- > > From: Pengfei Li > > Sent: Monday, July 21, 2025 12:03 PM > > To: gcc-patches@gcc.gnu.org > > Cc: rguent...@suse.de; s...@gentoo.org; Tamar Christina > > ; Pengfei Li > > Subject: [PATCH]

Re: [PATCH] RISC-V: Remove use of structured binding to fix compiler warning

2025-07-29 Thread Jeff Law
On 7/28/25 9:39 AM, Christoph Müllner wrote: Function riscv_ext_is_subset () uses structured bindings to iterate over all keys and values of an unordered map. However, this is only available since C++17 and causes a warning like this: warning: structured bindings only available with ‘-std=

[PATCH] simplify-rtx: Simplify subregs of logic ops

2025-07-29 Thread Richard Sandiford
This patch adds a new rule for distributing lowpart subregs through ANDs, IORs, and XORs with a constant, in cases where one of the terms then disappears. For example: (lowart-subreg:QI (and:HI x 0x100)) simplifies to zero and (lowart-subreg:QI (and:HI x 0xff)) simplifies to (lowart-subreg

Re: [wwwdocs, patch] gcc-16/changes.html: Update OpenACC support

2025-07-29 Thread Gerald Pfeifer
On Tue, 29 Jul 2025, Tobias Burnus wrote: > Thanks for proof reading and noting the missing patch … Now for the actual patch :-) 1) Nice! + OpenACC 3.4: In Fortran, named constants (PARAMETER) used as + var in clauses are now accepted (and ignored as not being + required). The support

[PATCH] c++: Make __extension__ silence -Wlong-long pedwarns/warnings [PR121133]

2025-07-29 Thread Jakub Jelinek
Hi! The PR13358 r0-92909 change changed the diagnostics on long long in C++ (either with -std=c++98 or -Wlong-long), but unlike the C FE we unfortunately warn even in the __extension__ long long a; etc. cases. The C FE in that case in disable_extension_diagnostics saves and clears not just pedant

[PING] [PATCH] testsuite: handle-multiline-outputs must allow both cc1 and cc1.exe

2025-07-29 Thread Torbjorn SVENSSON
Ping! On 2025-07-17 14:48, Torbjörn SVENSSON wrote: Ok for trunk, gcc-15 and gcc-14? -- Prior to 14-2027-g985d6480fe5, the input text had the file extensions pruned. In 14-2027-g985d6480fe5, due to the move of the call, the pruning is never done. This change restores the pruning of the file ex

Re: [PATCH] calls: Allow musttail calls to noreturn [PR121159]

2025-07-29 Thread Richard Biener
On Tue, 29 Jul 2025, Jakub Jelinek wrote: > Hi! > > In the PR119483 r15-9003 change we've allowed musttail calls to noreturn > functions, after all the decision not to normally tail call noreturn > functions is not because it is not possible to tail call those, but because > it screws up backtrac

Re: [PATCH 3/3] fortran: Consistently use the same assignment reallocation condition [PR121185]

2025-07-29 Thread Paul Richard Thomas
Hi Mikail, Yes to this third patch as well. I haven't had time to track them down but there are other places where code has had to be inserted to prevent non-polymorphic references in a polymorphic way. I wonder if they cannot be unified at some time? All three can be pushed to mainline. Many th

[PATCH] calls: Allow musttail calls to noreturn [PR121159]

2025-07-29 Thread Jakub Jelinek
Hi! In the PR119483 r15-9003 change we've allowed musttail calls to noreturn functions, after all the decision not to normally tail call noreturn functions is not because it is not possible to tail call those, but because it screws up backtraces. As the following testcase shows, we've done that o

Re: cobol: [PATCH] Bring the COBOL front end in releases/gcc-15 up to GCC-16

2025-07-29 Thread Jakub Jelinek
On Tue, Jul 29, 2025 at 08:55:05AM +0200, Richard Biener wrote: > > The result of that is the branch "patched15". It has 47 cherry-picked > > commits on top of gcc/releases/gcc-15. With gcc-15.1.0 as the compiler, > > it successfully compiles on an x86_64-linux Ubuntu 22.04 LTS system > > startin

Re: [PATCH 2/3] fortran: Trigger reference saving on pointer dereference [PR121185]

2025-07-29 Thread Mikael Morin
Le 29/07/2025 à 08:53, Paul Richard Thomas a écrit : Hi Mikail, I apologise for the delay between reviewing this patch and the first. Some daytime work issues came up that I couldn't ignore. This addition is fine, does as advertised and is good for mainline. Oops, sorry thanks for the revi

[PATCH] libcpp: Fix up comma diagnostics in preprocessor for C++ [PR120778]

2025-07-29 Thread Jakub Jelinek
Hi! The P2843R3 Preprocessing is never undefined paper contains comments that various compilers handle comma operators in preprocessor expressions incorrectly and I think they are right. In both C and C++ the grammar uses constant-expression non-terminal for #if/#elif and in both C and C++ that N

Re: cobol: [PATCH] Bring the COBOL front end in releases/gcc-15 up to GCC-16

2025-07-29 Thread Thomas Schwinge
Hi Bob! On 2025-07-29T09:07:24+0200, Jakub Jelinek wrote: > On Tue, Jul 29, 2025 at 08:55:05AM +0200, Richard Biener wrote: >> > The result of that is the branch "patched15". It has 47 cherry-picked >> > commits on top of gcc/releases/gcc-15. With gcc-15.1.0 as the compiler, >> > it successfull

Re: [PATCH] Fix UB in string_slice::operator== (PR 121261)

2025-07-29 Thread Alfie Richards
On 28/07/2025 16:36, Sam James wrote: Alfie Richards writes: Hi, Small fix to resolve an UBSAN diagnostic. Reg tested for Aarch64 To be sure: checked with bootstrap-ubsan too? (though note that it doesn't error out by default, so you'd need to grep the logs or set UBSAN_OPTIONS to make it

RE: [PATCH v2 2/3] testsuite: Add tests for __init_cpu_features_constructor

2025-07-29 Thread Tamar Christina
Hi Yury, > -Original Message- > From: Yury Khrustalev > Sent: Wednesday, July 23, 2025 9:45 AM > To: gcc-patches@gcc.gnu.org > Cc: Andrew Pinski ; Richard Sandiford > ; Tamar Christina ; > Alfie Richards ; Alice Carlotti > ; > Victor Do Nascimento > Subject: [PATCH v2 2/3] testsuite: Ad

RE: [PATCH] vect: Fix insufficient alignment requirement for speculative loads [PR121190]

2025-07-29 Thread Tamar Christina
Hi Pengfei, > -Original Message- > From: Pengfei Li > Sent: Monday, July 21, 2025 12:03 PM > To: gcc-patches@gcc.gnu.org > Cc: rguent...@suse.de; s...@gentoo.org; Tamar Christina > ; Pengfei Li > Subject: [PATCH] vect: Fix insufficient alignment requirement for speculative > loads > [PR

Re: [RFC] vect: Add support for runtime capped VF.

2025-07-29 Thread Richard Biener
On Tue, 29 Jul 2025, Alfie Richards wrote: > (Whoops, s/WIP/RFC) > > Hi All, > > This patch adds support for capping VF at runtime for VLA loops with a > data dependency. > On 28/07/2025 15:56, Alfie Richards wrote: > Hi All, > > This patch adds support for capping VF at runtime for VLA loops w

Re: [PATCH] vect: Fix insufficient alignment requirement for speculative loads [PR121190]

2025-07-29 Thread Pengfei Li
Hi, Thanks Tamar and Richi for the review. > > I wonder about what the intention of this code was. It seems to me that it > > was > > trying to disable versioning for VLA, but then also doubling up and using > > the > > mode as the alignment. But the cross iteration alignment check below this

[PUSHED] testsuite: Cleanup after auto-profile testcases when auto-profile is not supported [PR121215]

2025-07-29 Thread Andrew Pinski
The problem here is that in tree-prof.exp does not cleanup if requiring auto-profile but it is not supported and the testcase uses dg-additional-sources. Currently additional_sources is not reset to "" and then another testcase comes along and thinks that is the additional source to be added. C

[PATCH][_GLIBCXX_INLINE_VERSION] Fix test failure when no cxx11 abi and no dual abi

2025-07-29 Thread François Dumont
I ran testsuite with --enable-symvers=gnu-versioned-namespace config and 1 test is failing because there is no dual abi in this mode and it defaults to COW string implementation.     libstdc++: Fix test when dual abi disabled     When !_GLIBCXX_USE_DUAL_ABI the old COW std::string implementati

Re: [PATCH 1/4] i386: Ignore regparm attribute and warn for it in 64-bit mode

2025-07-29 Thread Uros Bizjak
On Tue, Jul 29, 2025 at 5:04 PM wrote: > > On 2025-07-25 11:18, Uros Bizjak wrote: > > On Thu, Jul 24, 2025 at 5:35 PM Artemiy Granat > > wrote: > >> > >> gcc/testsuite/ChangeLog: > >> > >> * g++.dg/abi/regparm1.C: Use regparm attribute only if not in > >> 64-bit mode. > >>

Re: [PATCH 1/4] i386: Ignore regparm attribute and warn for it in 64-bit mode

2025-07-29 Thread Uros Bizjak
On Tue, Jul 29, 2025 at 6:58 PM Uros Bizjak wrote: > > On Tue, Jul 29, 2025 at 5:04 PM wrote: > > > > On 2025-07-25 11:18, Uros Bizjak wrote: > > > On Thu, Jul 24, 2025 at 5:35 PM Artemiy Granat > > > wrote: > > >> > > >> gcc/testsuite/ChangeLog: > > >> > > >> * g++.dg/abi/regparm1.C: Us

[PATCH 12/12] aarch64: Check the mode of SVE ACLE function results

2025-07-29 Thread Richard Sandiford
After previous patches, we should always get a VNx16BI result for ACLE intrinsics that return svbool_t. This patch adds an assert that checks a more general condition than that. gcc/ * config/aarch64/aarch64-sve-builtins.cc (function_expander::expand): Assert that the return value

Re: [PATCH 1/4] i386: Ignore regparm attribute and warn for it in 64-bit mode

2025-07-29 Thread Alexander Monakov
Hello. > > OK. > > BTW: How do you plan to go forward with these patches? > > If you don't have compyright assignment then we need your > Signed-off-by: on the patches, please read "Legal Prerequisites" of > https://gcc.gnu.org/contribute.html . Also, Like myself, Artemiy is covered by company-

[C PATCH] Fix ICE on invalid code involving bit fields [PR121217]

2025-07-29 Thread Martin Uecker
Fixes an ICE on invalid code (15/16 regression). Bootstrapped and regression tested on x86_64. c: Fix ICE on invalid code involving bit fields [PR121217] Under some error condition we can end up with NULL_TREEs for the type of bitfields, which can cause an ICE when testing for

Re: [PATCH v2 2/3] testsuite: Add tests for __init_cpu_features_constructor

2025-07-29 Thread Andrew Pinski
On Tue, Jul 29, 2025 at 1:44 AM Tamar Christina wrote: > > Hi Yury, > > > -Original Message- > > From: Yury Khrustalev > > Sent: Wednesday, July 23, 2025 9:45 AM > > To: gcc-patches@gcc.gnu.org > > Cc: Andrew Pinski ; Richard Sandiford > > ; Tamar Christina ; > > Alfie Richards ; Alice Ca

Re: [PATCH] [RFC] Delayed parsing for bounds safety attributes

2025-07-29 Thread Martin Uecker
Am Dienstag, dem 29.07.2025 um 13:49 + schrieb Qing Zhao: > > > On Jul 28, 2025, at 17:39, Martin Uecker wrote: > > > > Am Montag, dem 28.07.2025 um 20:48 + schrieb Qing Zhao: > > > > > > > On Jul 28, 2025, at 16:09, Martin Uecker wrote: > > > > > > > > > ... > > > > > Ex 6) > > >

[PATCH] x86: Pass -mno-80387 to compile pr121208-1(a|b).c

2025-07-29 Thread H.J. Lu
On Mon, Jul 28, 2025 at 11:40 PM Jakub Jelinek wrote: > > On Sat, Jul 26, 2025 at 10:37:35AM -0700, H.J. Lu wrote: > > __tls_get_addr doesn't preserve vector registers. When a function > > with no_caller_saved_registers attribute calls __tls_get_addr, YMM > > and ZMM registers will be clobbered.

RE: cobol: [PATCH] Bring the COBOL front end in releases/gcc-15 up to GCC-16

2025-07-29 Thread Robert Dubner
> -Original Message- > From: Richard Biener > Sent: Tuesday, July 29, 2025 02:55 > To: Robert Dubner > Cc: Jakub Jelinek ; Richard Biener ; > jklow...@cobolworx.com; Thomas Schwinge ; gcc- > patc...@gcc.gnu.org > Subject: Re: cobol: [PATCH] Bring the COBOL front end in releases/gcc-15 >

RE: cobol: [PATCH] Bring the COBOL front end in releases/gcc-15 up to GCC-16

2025-07-29 Thread Robert Dubner
> -Original Message- > From: Thomas Schwinge > Sent: Tuesday, July 29, 2025 03:46 > To: Robert Dubner > Cc: Jakub Jelinek ; Richard Biener > ; Richard Biener ; > jklow...@cobolworx.com; gcc-patches@gcc.gnu.org > Subject: Re: cobol: [PATCH] Bring the COBOL front end in releases/gcc-15

[PATCH 0/2] aarch64: Two fixes for PR121294

2025-07-29 Thread Richard Sandiford
One long-standing problem with the implementation of the SVE ACLE is that .H, .S, and .D predicate operations tend to have VNx8BI, VNx4BI, and VNx2BI results. As with the fix for PR121118, this representation is usually incorrect, since every bit of an svbool_t result is significant: https://

Re: [PATCH] [RFC] Delayed parsing for bounds safety attributes

2025-07-29 Thread Qing Zhao
> On Jul 29, 2025, at 11:52, Martin Uecker wrote: > > Am Dienstag, dem 29.07.2025 um 13:49 + schrieb Qing Zhao: >> >>> On Jul 28, 2025, at 17:39, Martin Uecker wrote: >>> >>> Am Montag, dem 28.07.2025 um 20:48 + schrieb Qing Zhao: > On Jul 28, 2025, at 16:09, Martin Uecker

Re: [PATCH] bpf: Define MAX_FIXED_MODE_SIZE

2025-07-29 Thread Jose E. Marchesi
Hi Hans. Thank you for the heads up. I think it is ok to use the new default in BPF. It is extremely unlikely it will ever impact existing current BPF programs, and when/if it comes to that, it will help to use the best default so we can at that point formalize the ABI. > From: Hans-Peter Nil

Re: [PATCH v2] vect: Fix insufficient alignment requirement for speculative loads [PR121190]

2025-07-29 Thread Richard Biener
> Am 29.07.2025 um 16:58 schrieb Pengfei Li : > > Hi, > > I have updated the fix and the test case as you suggested. > > Patch is re-tested on trunk and gcc-15. Ok for both trunk and gcc-15? Ok, but can you put the VF check somewhere more global? It seems we never want to do alignment ver

Re: [PATCH] builtins.cc (fold_builtin_bit_query): Don't consider MAX_FIXED_MODE_SIZE, [PR120935]

2025-07-29 Thread Hans-Peter Nilsson
On Tue, 29 Jul 2025, Jakub Jelinek wrote: > On Tue, Jul 29, 2025 at 11:02:08AM -0400, Hans-Peter Nilsson wrote: > > > If you have a target with bogus MAX_FIXED_MODE_SIZE definition, you should > > > just fix that. > > > > That macro should be avoided, for one because it's misleading > > and ends

Re: cobol: [PATCH] Bring the COBOL front end in releases/gcc-15 up to GCC-16

2025-07-29 Thread Jakub Jelinek
On Tue, Jul 29, 2025 at 11:20:25AM -0500, Robert Dubner wrote: > I removed the pick of 0eac9cfe, and I removed the pick of ed8761241ac529, > which had already been done by Thomas. > > I just applied the other 45 relevant commits, and pushed that. Great, thanks. git diff r15-10108-g50c91681558e4

[PATCH 1/2] aarch64: Use VNx16BI for more permutations [PR121294]

2025-07-29 Thread Richard Sandiford
The patterns for the predicate forms of svtrn1/2, svuzp1/2, and svzip1/2 are shared with aarch64_vectorize_vec_perm_const. The .H, .S, and .D forms operate on VNx8BI, VNx4BI, and VNx2BI respectively. Thus, for all four element widths, there is one significant bit per element, for both the inputs a

[PATCH 2/2] aarch64: Use VNx16BI for svrev_b* [PR121294]

2025-07-29 Thread Richard Sandiford
The previous patch for PR121294 handled svtrn1/2, svuzp1/2, and svzip1/2. This one extends it to handle svrev intrinsics, where the same kind of wrong code can be generated. gcc/ PR target/121294 * config/aarch64/aarch64.md (UNSPEC_REV_PRED): New unspec. * config/aarch64/aa

Re: [PATCH] vect: Add missing skip-vector check for peeling with versioning [PR121020]

2025-07-29 Thread Richard Biener
On Tue, Jul 29, 2025 at 10:36 AM Tamar Christina wrote: > > > -Original Message- > > From: Pengfei Li > > Sent: Monday, July 21, 2025 12:07 PM > > To: gcc-patches@gcc.gnu.org > > Cc: rguent...@suse.de; s...@gentoo.org; Tamar Christina > > ; Pengfei Li > > Subject: [PATCH] vect: Add missi

RE: [PATCH v2 1/3] aarch64: Stop using sys/ifunc.h header in libatomic and libgcc

2025-07-29 Thread Tamar Christina
> -Original Message- > From: Yury Khrustalev > Sent: Wednesday, July 23, 2025 9:45 AM > To: gcc-patches@gcc.gnu.org > Cc: Andrew Pinski ; Richard Sandiford > ; Tamar Christina ; > Alfie Richards ; Alice Carlotti > ; > Victor Do Nascimento > Subject: [PATCH v2 1/3] aarch64: Stop using

RE: [PATCH] vect: Fix insufficient alignment requirement for speculative loads [PR121190]

2025-07-29 Thread Richard Biener
On Tue, 29 Jul 2025, Tamar Christina wrote: > > -Original Message- > > From: Pengfei Li > > Sent: Tuesday, July 29, 2025 10:17 AM > > To: Richard Biener ; Tamar Christina > > > > Cc: gcc-patches@gcc.gnu.org; rguent...@suse.de; s...@gentoo.org > > Subject: Re: [PATCH] vect: Fix insufficie

[COMMITTED] testsuite: Fix C++14 test failure with modules test [PR121285]

2025-07-29 Thread Nathaniel Shead
Tested on x86_64-pc-linux-gnu, committed as obvious. -- >8 -- I hadn't validated this test worked in C++14 before submitting, fixed thusly. PR testsuite/121285 gcc/testsuite/ChangeLog: * g++.dg/modules/class-11_a.H: Make static_asserts valid for C++14. Signed-off-by: N

Re: [PATCH] c++/modules: Stream some missing lang_type flags

2025-07-29 Thread Nathaniel Shead
On Mon, Jul 28, 2025 at 10:08:34AM +0200, Rainer Orth wrote: > Patrick Palka writes: > > > On Sat, 26 Jul 2025, Nathaniel Shead wrote: > > > >> On Fri, Jul 25, 2025 at 08:58:47AM -0400, Patrick Palka wrote: > >> > On Fri, 25 Jul 2025, Nathaniel Shead wrote: > >> > > >> > > Bootstrapped and regte

Re: [PATCH] aarch64: Fix function_expander::get_reg_target

2025-07-29 Thread Remi Machet
On 7/29/25 14:44, Richard Sandiford wrote: > External email: Use caution opening links or attachments > > > function_expander::get_reg_target didn't actually check for a register, > meaning that it could return a memory target instead. That doesn't > really matter for the current direct and indir

Re: [PATCH] aarch64: Fix function_expander::get_reg_target

2025-07-29 Thread Kyrylo Tkachov
> On 29 Jul 2025, at 15:15, Remi Machet wrote: > > > On 7/29/25 14:44, Richard Sandiford wrote: >> External email: Use caution opening links or attachments >> >> >> function_expander::get_reg_target didn't actually check for a register, >> meaning that it could return a memory target instea

[PATCH 1/2] testsuite: Make aarch64/cmpbr.c more forgiving

2025-07-29 Thread Richard Sandiford
The 8-bit and 16-bit tests in cmpbr.c assumed an inverted operand order ("w1, w0"), but it's possible to use the uninverted operand order too. This patch generalises the tests to support both forms. This is a prerequisite for a later patch that adds a new simplify-rtx.cc rule. Tested on aarch64-

[PATCH 2/2] testsuite: Generalise aarch64/saturating_arithmetic*.c

2025-07-29 Thread Richard Sandiford
gcc.target/aarch64/saturating_arithmetic_{1,2}.c expect w0 and w1 to be duplicated into vectors. The tests expected the duplication of w1 to happen first, but the other order would be fine too. A later simplify-rtx.cc patch happens to change the order. Tested on aarch64-linux-gnu. OK to install

RE: [PATCH] vect: Fix insufficient alignment requirement for speculative loads [PR121190]

2025-07-29 Thread Tamar Christina
> -Original Message- > From: Pengfei Li > Sent: Tuesday, July 29, 2025 12:10 PM > To: Richard Biener > Cc: Tamar Christina ; Richard Biener > ; gcc-patches@gcc.gnu.org; s...@gentoo.org > Subject: Re: [PATCH] vect: Fix insufficient alignment requirement for > speculative > loads [PR121190

[PATCH 3/3] AArch64: Enable dispatch scheduling for Neoverse V2.

2025-07-29 Thread Jennifer Schmitz
This patch adds dispatch constraints for Neoverse V2 and illustrates the steps necessary to enable dispatch scheduling for an AArch64 core. The dispatch constraints are based on section 4.1 of the Neoverse V2 SWOG. Please note that the values used here deviate slightly from the current SWOG versio

Re: [RFC] vect: Add support for runtime capped VF.

2025-07-29 Thread Alfie Richards
On 29/07/2025 11:39, Richard Biener wrote: On Tue, 29 Jul 2025, Alfie Richards wrote: On 29/07/2025 10:13, Richard Biener wrote: On Tue, 29 Jul 2025, Alfie Richards wrote: (Whoops, s/WIP/RFC) Hi All, This patch adds support for capping VF at runtime for VLA loops with a data dependency. On

[PATCH 2/3] AArch64: Implement target hooks for dispatch scheduling.

2025-07-29 Thread Jennifer Schmitz
This patch adds dispatch scheduling for AArch64 by implementing the two target hooks TARGET_SCHED_DISPATCH and TARGET_SCHED_DISPATCH_DO. The motivation for this is that cores with out-of-order processing do most of the reordering to avoid pipeline hazards on the hardware side using large reorder b

Re: [PATCH] builtins.cc (fold_builtin_bit_query): Don't consider MAX_FIXED_MODE_SIZE, [PR120935]

2025-07-29 Thread Jakub Jelinek
On Tue, Jul 29, 2025 at 11:02:08AM -0400, Hans-Peter Nilsson wrote: > > If you have a target with bogus MAX_FIXED_MODE_SIZE definition, you should > > just fix that. > > That macro should be avoided, for one because it's misleading > and ends up being used for other than target tweaking (QED). N

Re: [PATCH] [RFC] Delayed parsing for bounds safety attributes

2025-07-29 Thread Yeoul Na
> On Jul 28, 2025, at 5:54 PM, Bill Wendling wrote: > > On Mon, Jul 28, 2025 at 4:52 PM Yeoul Na wrote: >> >> Could someone working on Linux answer my earlier question? Working on a >> compromise solution is one thing, but I’m trying to understand the situation >> better. >> >>> Out of curi

Re: [PATCH v2] vect: Fix insufficient alignment requirement for speculative loads [PR121190]

2025-07-29 Thread Pengfei Li
Hi, The comment in v2 is addressed. Tested again on both trunk and gcc-15. Ok for trunk and gcc-15? Changes in v3: - Extract the constant VF check out. Changes in v2: - Remove the condition of dr_safe_speculative_read_required. - Add a constant VF check. Thanks, Pengfei -- >8 -- This patch

Re: [PATCH] c++: Don't assume trait funcs return error_mark_node when tf_error is passed [PR121291]

2025-07-29 Thread Patrick Palka
On Tue, 29 Jul 2025, Nathaniel Shead wrote: > Tested on x86_64-pc-linux-gnu, OK for trunk if full bootstrap+regtest > passes? > > -- >8 -- > > For the sake of determining if there are other errors in user code to > report early, many trait functions don't return error_mark_node if not > called i

Re: [PATCH] fortran: implment split for fortran 2023

2025-07-29 Thread Yuao Ma
On 7/27/2025 8:51 PM, Mikael Morin wrote: Le 27/07/2025 à 13:46, Yuao Ma a écrit : On 7/27/2025 7:14 PM, Mikael Morin wrote: Le 27/07/2025 à 11:37, Yuao Ma a écrit : On 7/27/2025 5:19 PM, Mikael Morin wrote: +gfc_charlen_type +string_split (gfc_charlen_type stringlen, const CHARTYPE *str

Re: [PATCH 4/7 v2] RISC-V: Add support for the XAndesvbfhcvt ISA extension.

2025-07-29 Thread Kito Cheng
> +(define_insn "@nds_vfwcvt_bf16" > + [(set (match_operand:NDS_VWEXTBF 0 "register_operand" > "=&vr") > + (unspec_volatile:NDS_VWEXTBF > + [(float_extend:NDS_VWEXTBF > +(match_operand: 1 "register_operand" " > vr"))] > + UNSPEC_NDS_VFWCVTBF16

Re: [PATCH] testsuite: Fix asm-hard-reg-error-{4,5}.c

2025-07-29 Thread Georg-Johann Lay
Am 29.07.25 um 15:56 schrieb Stefan Schulze Frielinghaus: From: Stefan Schulze Frielinghaus Targets hppa, m68k, pdp11, rx, sh, vax do not default to LRA. Since old reload pass is still used, add option -mlra for those targets. For hppa, register 0 cannot be used as a general register. Theref

Re: [PATCH v2] vect: Fix insufficient alignment requirement for speculative loads [PR121190]

2025-07-29 Thread Richard Biener
> Am 29.07.2025 um 20:37 schrieb Pengfei Li : > > Hi, > > The comment in v2 is addressed. Tested again on both trunk and gcc-15. > > Ok for trunk and gcc-15? > Ok Richard > Changes in v3: > - Extract the constant VF check out. > > Changes in v2: > - Remove the condition of dr_safe_spe

Re: [PATCH v2] vect: Add missing skip-vector check for peeling with versioning [PR121020]

2025-07-29 Thread Richard Biener
> Am 29.07.2025 um 16:54 schrieb Pengfei Li : > > Hi, > > I have adjusted the test case as you suggested. > > Ok for trunk? Ok Thanks, Richard > Thanks, > Pengfei > > -- >8 -- > This fixes a miscompilation issue introduced by the enablement of > combined loop peeling and versioning. A t

Re: [PATCH] tree-optimization/120929: Limit MEM_REF handling to .ACCESS_WITH_SIZE

2025-07-29 Thread Qing Zhao
> On Jul 28, 2025, at 12:48, Jakub Jelinek wrote: > > On Wed, Jul 23, 2025 at 05:59:22PM +, Qing Zhao wrote: >> struct S { >> int n; >> int *p __attribute__((counted_by(n))); >> } *f; >> Int *g; >> void setup (int **ptr, int count) >> { >> *ptr = __builtin_malloc (sizeof (int) * count); >

Re: [PATCH 1/7 v2] RISC-V: Add basic XAndes vendor extension support.

2025-07-29 Thread Kito Cheng
This one is LGTM :) On Tue, Jul 22, 2025 at 6:04 AM Jeff Law wrote: > > > > On 7/11/25 2:57 AM, Kuan-Lin Chen wrote: > > This patch add basic support for the following XAndes ISA extensions: > > > > XANDESPERF > > XANDESBFHCVT > > XANDESVBFHCVT > > XANDESVSINTLOAD > > XANDESVPACKFPH > > XANDESVDO

RE: [PATCH v2] RISC-V: Add testcases for unsigned avg ceil vx combine.

2025-07-29 Thread Li, Pan2
The failure of CI is unrelated, will commit it soon. Pan -Original Message- From: Li, Pan2 Sent: Tuesday, July 29, 2025 11:23 AM To: gcc-patches@gcc.gnu.org Cc: juzhe.zh...@rivai.ai; kito.ch...@gmail.com; jeffreya...@gmail.com; rdapp@gmail.com; Chen, Ken ; Liu, Hongtao ; Li, Pan2

Re: [PATCH 2/7 v2] RISC-V: Add support for the XAndesperf ISA extension.

2025-07-29 Thread KuanLin Chen
Jeff Law 於 2025年7月22日 週二 上午6:34寫道: Hi Jeff, Thanks your review. > > + > > +(define_insn "*nds_branch_imms7" > > + [(set (pc) > > + (if_then_else > > + (match_operator 1 "equality_operator" > > + [(match_operand:X 2 "register_operand" "r") > > + (match_operand:X 3 "ad

[PATCH] Eliminate redundant vpextrq/vpinsrq when move TI to V4SI.

2025-07-29 Thread liuhongt
r14-1902-g96c3539f2a3813 split TImode move with 2 DImode move, it's supposed to optimize TImode in parameter/return since accoring to psABI it's stored into 2 general registers. But when TImode is not in parameter/return, it could create redundancy in the PR. The patch add a splitter to handle th

Re: [PATCH 3/7 v2] RISC-V: Add support for the XAndesbfhcvt ISA extension.

2025-07-29 Thread Kito Cheng
On Tue, Jul 22, 2025 at 6:40 AM Jeff Law wrote: > > > > On 7/11/25 2:57 AM, Kuan-Lin Chen wrote: > > This extension defines instructions to perform scalar floating-point > > conversion between the BFLOAT16 floating-point data and the IEEE-754 > > 32-bit single-precision floating-point (SP) data in

Re: [PATCH] RISC-V: Generate -mcpu and -mtune options from riscv-cores.def.

2025-07-29 Thread Dongyan Chen
No worries, thanks! 在 2025/7/29 23:02, Kito Cheng 写道: I thought I already merged that until today's RISC-V patchwork meeting, committed to trunk :P

RE: [PATCH 2/2] aarch64: Use VNx16BI for svrev_b* [PR121294]

2025-07-29 Thread Tamar Christina
> -Original Message- > From: Richard Sandiford > Sent: Tuesday, July 29, 2025 5:20 PM > To: Alex Coplan ; Alice Carlotti > ; > pins...@gmail.com; ktkac...@nvidia.com; Richard Earnshaw > ; Tamar Christina ; > Wilco Dijkstra ; gcc-patches@gcc.gnu.org > Cc: Richard Sandiford > Subject: [

RE: [PATCH 0/2] aarch64: Two fixes for PR121294

2025-07-29 Thread Tamar Christina
> -Original Message- > From: Richard Sandiford > Sent: Tuesday, July 29, 2025 5:20 PM > To: Alex Coplan ; Alice Carlotti > ; > pins...@gmail.com; ktkac...@nvidia.com; Richard Earnshaw > ; Tamar Christina ; > Wilco Dijkstra ; gcc-patches@gcc.gnu.org > Cc: Richard Sandiford > Subject: [PAT

RE: [PATCH] aarch64: Improve svdupq_lane expension for big-endian [PR121293]

2025-07-29 Thread Tamar Christina
> -Original Message- > From: Richard Sandiford > Sent: Tuesday, July 29, 2025 1:43 PM > To: gcc-patches@gcc.gnu.org > Cc: Alex Coplan ; Alice Carlotti > ; > pins...@gmail.com; ktkac...@nvidia.com; Richard Earnshaw > ; Tamar Christina ; > Wilco Dijkstra > Subject: [PATCH] aarch64: Improve

Re: [Patch, fortran] PR121182 - F2018 GENERIC statement is missing

2025-07-29 Thread Steve Kargl
On Tue, Jul 29, 2025 at 10:29:37PM +0200, Harald Anlauf wrote: > > - I am a little confused about the handling of the access specification. > After the first "public :: g", NAG complains about the > > generic, public :: g ... > > and only allows > > generic :: g ... > > Then duplicate pub

Re: [PATCH 06/12] aarch64: Use VNx16BI for floating-point svcmp*

2025-07-29 Thread Kyrylo Tkachov
> On 29 Jul 2025, at 18:41, Richard Sandiford wrote: > > This patch continues the work of making ACLE intrinsics use VNx16BI > for svbool_t results. It deals with the floating-point forms of svcmp*. > > gcc/ > * config/aarch64/aarch64-sve.md (@aarch64_pred_fcm_acle) > (*aarch64_pred_fcm_acle,

[PATCH v1] RISC-V: Add testcases for signed avg ceil vx combine

2025-07-29 Thread pan2 . li
From: Pan Li The unsigned avg ceil share the vaaddx.vx for the vx combine, so add the test case to make sure it works well as expected. The below test suites are passed for this patch series. * The rv64gcv fully regression test. gcc/testsuite/ChangeLog: * gcc.target/riscv/rvv/autovec/v

[pushed] wwwdocs: gcc-15: Use https for gcc.gnu.org

2025-07-29 Thread Gerald Pfeifer
I checked, and GCC 14 (and others) uses https; not sure how http snuck in here for the GCC 15 web pages? Pushed. Gerald --- htdocs/gcc-15/index.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/htdocs/gcc-15/index.html b/htdocs/gcc-15/index.html index d68da280..5670dd

RE: [PATCH] Record get_load_store_info results from analysis

2025-07-29 Thread Tamar Christina
> -Original Message- > From: Richard Biener > Sent: Monday, July 28, 2025 2:28 PM > To: gcc-patches@gcc.gnu.org > Cc: Richard Sandiford ; Tamar Christina > > Subject: [PATCH] Record get_load_store_info results from analysis > > The following is a prototype-quality patch to make us record

Re: [PATCH 4/7 v2] RISC-V: Add support for the XAndesvbfhcvt ISA extension.

2025-07-29 Thread KuanLin Chen
Hi Kito, Kito Cheng 於 2025年7月30日 週三 上午9:01寫道: > > > +(define_insn "@nds_vfwcvt_bf16" > > + [(set (match_operand:NDS_VWEXTBF 0 "register_operand" > > "=&vr") > > + (unspec_volatile:NDS_VWEXTBF > > + [(float_extend:NDS_VWEXTBF > > +(match_operand: 1 "reg

  1   2   >