[PATCH] c++: __builtin_shufflevector with value-dep expr [PR105353]

2022-04-22 Thread Marek Polacek via Gcc-patches
Here we issue an error from c_build_shufflevector while parsing a template because it got a TEMPLATE_PARM_INDEX, but this function expects INTEGER_CSTs (except the first two arguments). It checks if any of the arguments are type-dependent, if so, we leave the processing for later, but it should

Re: [PATCH] libstdc++: Make atomic notify_one and notify_all non-const

2022-04-22 Thread Thomas Rodgers via Gcc-patches
Committed to trunk, backported to releases/gcc-11. On Fri, Feb 11, 2022 at 12:22 PM Jonathan Wakely wrote: > On Fri, 11 Feb 2022 at 17:40, Thomas Rodgers via Libstdc++ > wrote: > > > > > > PR102994 "atomics: std::atomic::wait is not marked const" raises the > > issue that the current

[PATCH] rs6000: Fix pack for soft-float (PR105334)

2022-04-22 Thread Segher Boessenkool
For PR103623 I fixed unpack, but pack is broken as well, as reported in PR105334. Fixing that is a bit more code, but it is pretty simple code nonetheless. Committing to trunk. Segher 2022-04-22 Segher Boessenkool PR target/105334 * config/rs6000/rs6000.md (pack for

Re: [PATCH] c++: partial ordering with dependent NTTP type [PR105289]

2022-04-22 Thread Patrick Palka via Gcc-patches
On Fri, 22 Apr 2022, Patrick Palka wrote: > Here ever since r11-6483-ge2e2f3f2c9400f we're rejecting and crashing > (respectively) on two testcases that we used to accept in C++17 mode. > Both testcases declare partial specializations for which the primary > template contains an NTTP with

Re: [PATCH] c++: partial ordering with dependent NTTP type [PR105289]

2022-04-22 Thread Patrick Palka via Gcc-patches
Whoops, this patch is identical to https://gcc.gnu.org/pipermail/gcc-patches/2022-April/593502.html that I sent about an hour ago, sorry for the noise. On Fri, Apr 22, 2022 at 2:33 PM Patrick Palka wrote: > > Here ever since r11-6483-ge2e2f3f2c9400f we're rejecting and crashing > (respectively)

[PATCH] c++: crash with requires-expr and -Wsequence-point [PR105304]

2022-04-22 Thread Patrick Palka via Gcc-patches
Here we're crashing from verify_sequence_points for this requires-expr condition because it contains a templated CAST_EXPR with empty operand, and verify_tree doesn't ignore this empty operand only because the manual tail recursion that it perform for unary expression trees skips the NULL test.

[PATCH] c++: partial ordering with dependent NTTP type [PR105289]

2022-04-22 Thread Patrick Palka via Gcc-patches
Here ever since r11-6483-ge2e2f3f2c9400f we're rejecting and crashing (respectively) on two testcases that we used to accept in C++17 mode. Both testcases declare partial specializations for which the primary template contains an NTTP with dependent type, but the correctness of these partial

PING [PATCH] Fix 'modff' reference in extend.texi

2022-04-22 Thread Paul A. Clarke via Gcc-patches
On Mon, Apr 11, 2022 at 11:23:48AM -0500, Paul A. Clarke via Gcc-patches wrote: > In commit a2a919aa501e3 (2003), built-ins for modf and modff were added. > In extend.texi, section "Other Builtins", "modf" was added to the paragraph > "There are also built-in versions of the ISO C99 functions

[PATCH] c++: partial ordering with dependent NTTP type [PR105289]

2022-04-22 Thread Patrick Palka via Gcc-patches
Here ever since r11-6483-ge2e2f3f2c9400f we're rejecting and crashing (respectively) on two testcases that we used to accept in C++17 mode. Both testcases declare partial specializations for which the primary template contains an NTTP with dependent type, but the correctness of these partial

[COMMITTED] docs: Correct "This functions" to "These functions"

2022-04-22 Thread Paul A. Clarke via Gcc-patches
2022-04-22 Paul A. Clarke gcc * doc/extend.texi: Correct "This" to "These". --- Committed as trivial/obvious. gcc/doc/extend.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gcc/doc/extend.texi b/gcc/doc/extend.texi index e10b10bc1f14..931e5ae3769f 100644 ---

Re: [PATCH] rtlanal: Fix up replace_rtx [PR105333]

2022-04-22 Thread Eric Botcazou via Gcc-patches
> 2022-04-22 Jakub Jelinek > > PR rtl-optimization/105333 > * rtlanal.cc (replace_rtx): Use simplify_subreg or > simplify_unary_operation if CONST_SCALAR_INT_P rather than just > CONST_INT_P. > > * gcc.dg/pr105333.c: New test. OK, thanks. -- Eric Botcazou

Re: [PATCH][v4] rtl-optimization/105231 - distribute_notes and REG_EH_REGION

2022-04-22 Thread Segher Boessenkool
Hi! On Fri, Apr 22, 2022 at 10:53:30AM +0200, Richard Biener wrote: > I was still unhappy with the previous patch and indeed, re-thinking > all the special casing I put in there I found a hole with respect > to externally throwing stmts which I totally forgot about and which > might end up in

Re: [PATCH] fold, simplify-rtx: Punt on non-representable floating point constants [PR104522]

2022-04-22 Thread Qing Zhao via Gcc-patches
> On Apr 21, 2022, at 2:09 AM, Richard Biener > wrote: > > On Wed, Apr 20, 2022 at 6:02 PM Qing Zhao wrote: >> >> >> >>> On Apr 20, 2022, at 5:38 AM, Richard Biener >>> wrote: >>> >>> On Tue, Apr 19, 2022 at 11:36 PM Qing Zhao wrote: > On Apr 14, 2022, at 1:53

Re: [PATCH] fold, simplify-rtx: Punt on non-representable floating point constants [PR104522]

2022-04-22 Thread Qing Zhao via Gcc-patches
> On Apr 20, 2022, at 5:38 AM, Richard Biener > wrote: > > On Tue, Apr 19, 2022 at 11:36 PM Qing Zhao wrote: >> >> >> >>> On Apr 14, 2022, at 1:53 AM, Richard Biener >>> wrote: >>> >>> On Wed, Apr 13, 2022 at 5:22 PM Qing Zhao wrote: Hi, Richard, Thanks a lot for

Re: *PING* [PATCH 0/4] Use pointer arithmetic for array references [PR102043]

2022-04-22 Thread Thomas Koenig via Gcc-patches
Hi Mikael, Ping for the four patches starting at https://gcc.gnu.org/pipermail/fortran/2022-April/057759.html : https://gcc.gnu.org/pipermail/fortran/2022-April/057757.html https://gcc.gnu.org/pipermail/fortran/2022-April/057760.html

Re: [PATCH] AVX512F: Add missing macro for mask(z?)_scalf_s[sd] [PR 105339]

2022-04-22 Thread Hongyu Wang via Gcc-patches
> Please add the corresponding intrinsic test in sse-14.c Sorry for forgetting this part. Updated patch. Thanks. Hongtao Liu via Gcc-patches 于2022年4月22日周五 16:49写道: > > On Fri, Apr 22, 2022 at 4:12 PM Hongyu Wang via Gcc-patches > wrote: > > > > Hi, > > > > Add missing macro under O0 and adjust

Re: [PATCH] rtlanal: Fix up replace_rtx [PR105333]

2022-04-22 Thread Richard Biener via Gcc-patches
On Fri, 22 Apr 2022, Jakub Jelinek wrote: > Hi! > > The following testcase FAILs, because replace_rtx replaces a REG with > CONST_WIDE_INT inside of a SUBREG, which is an invalid transformation > because a SUBREG relies on SUBREG_REG having non-VOIDmode but > CONST_WIDE_INT has VOIDmode. > >

[PATCH] rtlanal: Fix up replace_rtx [PR105333]

2022-04-22 Thread Jakub Jelinek via Gcc-patches
Hi! The following testcase FAILs, because replace_rtx replaces a REG with CONST_WIDE_INT inside of a SUBREG, which is an invalid transformation because a SUBREG relies on SUBREG_REG having non-VOIDmode but CONST_WIDE_INT has VOIDmode. replace_rtx already has code to deal with it, but it was

[PATCH] i386: Fix up ix86_gimplify_va_arg [PR105331]

2022-04-22 Thread Jakub Jelinek via Gcc-patches
Hi! On the following testcase we emit a bogus 'va_arg_tmp.5' may be used uninitialized warning. The reason is that when gimplifying the addr = statement, the va_arg_tmp temporary var for which we emit ADDR_EXPR is not TREE_ADDRESSABLE, prepare_gimple_addressable emits some extra code to

*PING* [PATCH 0/4] Use pointer arithmetic for array references [PR102043]

2022-04-22 Thread Mikael Morin
Ping for the four patches starting at https://gcc.gnu.org/pipermail/fortran/2022-April/057759.html : https://gcc.gnu.org/pipermail/fortran/2022-April/057757.html https://gcc.gnu.org/pipermail/fortran/2022-April/057760.html https://gcc.gnu.org/pipermail/fortran/2022-April/057758.html

[PATCH v2] fortran: Detect duplicate unlimited polymorphic types [PR103662]

2022-04-22 Thread Mikael Morin
Le 21/04/2022 à 23:14, Mikael Morin a écrit : Hello, this is a fix for PR103662, a TBAA issue with unlimited polymorphic types. I attached a draft patch to the PR which was accumulating all unlimited polymorphic symbols to a single namespace, avoiding duplicate symbols and thus eliminating the

Re: [PATCH] Add condition coverage profiling

2022-04-22 Thread Jørgen Kvalsvik via Gcc-patches
On 22/04/2022 07:37, Sebastian Huber wrote: > > > On 17/04/2022 13:27, Jørgen Kvalsvik wrote: >>> In theory, would it be possible to print the state of the truth table with >>> the >>> information available in the gcda and gcno files? For example: >>> >>> Truth table for: a && (b || c)) && d

[PATCH][v4] rtl-optimization/105231 - distribute_notes and REG_EH_REGION

2022-04-22 Thread Richard Biener via Gcc-patches
I was still unhappy with the previous patch and indeed, re-thinking all the special casing I put in there I found a hole with respect to externally throwing stmts which I totally forgot about and which might end up in must-not-throw regions after the previous patch. Fortunately all of the

Re: [PATCH] AVX512F: Add missing macro for mask(z?)_scalf_s[sd] [PR 105339]

2022-04-22 Thread Hongtao Liu via Gcc-patches
On Fri, Apr 22, 2022 at 4:12 PM Hongyu Wang via Gcc-patches wrote: > > Hi, > > Add missing macro under O0 and adjust macro format for scalf > intrinsics. > Please add the corresponding intrinsic test in sse-14.c. > Bootstrapped/regtested on x86_64-pc-linux-gnu{-m32,}. > > Ok for master and

[PATCH] AVX512F: Add missing macro for mask(z?)_scalf_s[sd] [PR 105339]

2022-04-22 Thread Hongyu Wang via Gcc-patches
Hi, Add missing macro under O0 and adjust macro format for scalf intrinsics. Bootstrapped/regtested on x86_64-pc-linux-gnu{-m32,}. Ok for master and backport to GCC 9/10/11? gcc/ChangeLog: PR target/105339 * config/i386/avx512fintrin.h (_mm512_scalef_round_pd): Add