Re: [PATCH 2/3] Enabled LRA for ia64.

On Wed, 12 Jun 2024, Frank Scheiner wrote: > Dear Richard, > > On 12.06.24 13:01, Richard Biener wrote: > > [...] > > I can find two gcc-testresult postings, one appearantly with LRA > > and one without? Both from May: > > > > https://sourceware.org/pipermail/gcc-testresults/2024-May/816422.html

Re: [PATCH] RISC-V: Add support for subword atomic loads/stores

On Wed, Jun 12, 2024 at 05:10:13PM -0700, Patrick O'Neill wrote: > Andrea Parri recently pointed out that we were emitting overly conservative > fences for seq_cst atomic loads/stores. This adds support for the optimized > fences specified in the PSABI: > https://github.com/riscv-non-isa/riscv-elf-

[PATCH] i386: Refine all cvtt* instructions with UNSPEC instead of FIX/UNSIGNED_FIX.

Hi, all This patch aims to refine all cvtt* instructions with UNSPEC instead of FIX/UNSIGNED_FIX. Because the intrinsics should behave as documented. Bootstrapped and regtested on x86_64-pc-linux-gnu, OK for trunk? BRs, Lin gcc/ChangeLog: PR target/115161 * config/i386/i386-bui

PING^1 [PATCH 10/52] jit: Replace uses of {FLOAT,{,LONG_}DOUBLE}_TYPE_SIZE

Hi, Gentle ping: https://gcc.gnu.org/pipermail/gcc-patches/2024-June/653346.html BR, Kewen on 2024/6/3 11:01, Kewen Lin wrote: > Joseph pointed out "floating types should have their mode, > not a poorly defined precision value" in the discussion[1], > as he and Richi suggested, the existing mac

PING^1 [PATCH 12/52] bpf: Remove macros {FLOAT,DOUBLE,LONG_DOUBLE}_TYPE_SIZE

Hi, Gentle ping: https://gcc.gnu.org/pipermail/gcc-patches/2024-June/653343.html BR, Kewen on 2024/6/3 11:01, Kewen Lin wrote: > This is to remove macros {FLOAT,{,LONG_}DOUBLE}_TYPE_SIZE > defines in bpf port. > > gcc/ChangeLog: > > * config/bpf/bpf.h (FLOAT_TYPE_SIZE): Remove. >

PING^1 [PATCH 13/52] epiphany: Remove macros {FLOAT,DOUBLE,LONG_DOUBLE}_TYPE_SIZE

Hi, Gentle ping: https://gcc.gnu.org/pipermail/gcc-patches/2024-June/653344.html BR, Kewen on 2024/6/3 11:01, Kewen Lin wrote: > This is to remove macros {FLOAT,{,LONG_}DOUBLE}_TYPE_SIZE > defines in epiphany port. > > gcc/ChangeLog: > > * config/epiphany/epiphany.h (FLOAT_TYPE_SIZE): R

PING^1 [PATCH 19/52] lm32: Remove macros {FLOAT,DOUBLE,LONG_DOUBLE}_TYPE_SIZE

Hi, Gentle ping: https://gcc.gnu.org/pipermail/gcc-patches/2024-June/653354.html BR, Kewen on 2024/6/3 11:01, Kewen Lin wrote: > This is to remove macros {FLOAT,{,LONG_}DOUBLE}_TYPE_SIZE > defines in lm32 port. > > gcc/ChangeLog: > > * config/lm32/lm32.h (FLOAT_TYPE_SIZE): Remove. >

PING^1 [PATCH 33/52] visium: Remove macros {FLOAT,DOUBLE,LONG_DOUBLE}_TYPE_SIZE

Hi, Gentle ping: https://gcc.gnu.org/pipermail/gcc-patches/2024-June/653365.html BR, Kewen on 2024/6/3 11:01, Kewen Lin wrote: > This is to remove macros {FLOAT,{,LONG_}DOUBLE}_TYPE_SIZE > defines in visium port. > > gcc/ChangeLog: > > * config/visium/visium.h (FLOAT_TYPE_SIZE): Remove.

PING^1 [PATCH 22/52] microblaze: Remove macros {FLOAT,DOUBLE,LONG_DOUBLE}_TYPE_SIZE

Hi, Gentle ping: https://gcc.gnu.org/pipermail/gcc-patches/2024-June/653355.html BR, Kewen on 2024/6/3 11:01, Kewen Lin wrote: > This is to remove macros {FLOAT,{,LONG_}DOUBLE}_TYPE_SIZE > defines in microblaze port. > > gcc/ChangeLog: > > * config/microblaze/microblaze.h (FLOAT_TYPE_SI

PING^1 [PATCH 26/52] nds32: Remove macros {FLOAT,DOUBLE,LONG_DOUBLE}_TYPE_SIZE

Hi, Gentle ping: https://gcc.gnu.org/pipermail/gcc-patches/2024-June/653358.html BR, Kewen on 2024/6/3 11:01, Kewen Lin wrote: > This is to remove macros {FLOAT,{,LONG_}DOUBLE}_TYPE_SIZE > defines in nds32 port. > > gcc/ChangeLog: > > * config/nds32/nds32.h (FLOAT_TYPE_SIZE): Remove. >

PING^1 [PATCH 11/52] arc: Remove macros {FLOAT,DOUBLE,LONG_DOUBLE}_TYPE_SIZE

Hi, Gentle ping: https://gcc.gnu.org/pipermail/gcc-patches/2024-June/653345.html BR, Kewen on 2024/6/3 11:01, Kewen Lin wrote: > This is to remove macros {FLOAT,{,LONG_}DOUBLE}_TYPE_SIZE > defines in arc port. > > gcc/ChangeLog: > > * config/arc/arc.h (FLOAT_TYPE_SIZE): Remove. >

PING^1 [PATCH 30/52] pdp11: Remove macro LONG_DOUBLE_TYPE_SIZE

Hi, Gentle ping: https://gcc.gnu.org/pipermail/gcc-patches/2024-June/653368.html BR, Kewen on 2024/6/3 11:01, Kewen Lin wrote: > This is to remove macro LONG_DOUBLE_TYPE_SIZE define > in pdp11 port. > > gcc/ChangeLog: > > * config/pdp11/pdp11.h (LONG_DOUBLE_TYPE_SIZE): Remove. > --- >

PING^1 [PATCH 16/52] ft32: Remove macros {FLOAT,DOUBLE,LONG_DOUBLE}_TYPE_SIZE

Hi, Gentle ping: https://gcc.gnu.org/pipermail/gcc-patches/2024-June/653350.html BR, Kewen on 2024/6/3 11:01, Kewen Lin wrote: > This is to remove macros {FLOAT,{,LONG_}DOUBLE}_TYPE_SIZE > defines in ft32 port. > > gcc/ChangeLog: > > * config/ft32/ft32.h (FLOAT_TYPE_SIZE): Remove. >

PING^1 [PATCH 28/52] nvptx: Remove macros {FLOAT,DOUBLE,LONG_DOUBLE}_TYPE_SIZE

Hi, Gentle ping: https://gcc.gnu.org/pipermail/gcc-patches/2024-June/653361.html BR, Kewen on 2024/6/3 11:01, Kewen Lin wrote: > This is to remove macros {FLOAT,{,LONG_}DOUBLE}_TYPE_SIZE > defines in nvptx port. > > gcc/ChangeLog: > > * config/nvptx/nvptx.h (FLOAT_TYPE_SIZE): Remove. >

PING^1 [PATCH 29/52] or1k: Remove macros {FLOAT,DOUBLE,LONG_DOUBLE}_TYPE_SIZE

Hi, Gentle ping: https://gcc.gnu.org/pipermail/gcc-patches/2024-June/653363.html BR, Kewen on 2024/6/3 11:01, Kewen Lin wrote: > This is to remove macros {FLOAT,{,LONG_}DOUBLE}_TYPE_SIZE > defines in or1k port. > > gcc/ChangeLog: > > * config/or1k/or1k.h (FLOAT_TYPE_SIZE): Remove. >

PING^1 [PATCH 24/52] moxie: Remove macros {FLOAT,DOUBLE,LONG_DOUBLE}_TYPE_SIZE

Hi, Gentle ping: https://gcc.gnu.org/pipermail/gcc-patches/2024-June/653360.html BR, Kewen on 2024/6/3 11:01, Kewen Lin wrote: > This is to remove macros {FLOAT,{,LONG_}DOUBLE}_TYPE_SIZE > defines in moxie port. > > gcc/ChangeLog: > > * config/moxie/moxie.h (FLOAT_TYPE_SIZE): Remove. >

[PATCH] [libstdc++] [testsuite] require cmath for [PR114359]

When !_GLIBCXX_USE_C99_MATH_TR1, binomial_distribution doesn't use the optimized algorithm that was fixed in response to PR114359. Without that optimized algorithm, operator() ends up looping very very long for the test, to the point that it would time out by several orders of magnitude, without

[PATCH] [i386] restore recompute to override opts after change [PR113719]

The first patch for PR113719 regressed gcc.dg/ipa/iinline-attr.c on toolchains configured to --enable-frame-pointer, because the optimization node created within handle_optimize_attribute had flag_omit_frame_pointer incorrectly set, whereas default_optimization_node didn't. With this difference,

[PATCH] [alpha] adjust MEM alignment for block move [PR115459] (was: Re: [PATCH v2] [PR100106] Reject unaligned subregs when strict alignment is required)

Hello, Maciej, On Jun 12, 2024, "Maciej W. Rozycki" wrote: > This has regressed building the `alpha-linux-gnu' target, in libada, as > from commit d6b756447cd5 including GCC 14 and up to current GCC 15 trunk: > | Error detected around g-debpoo.adb:1896:8| > I

Re: [PATCH] s390: testsuite: Fix nobp-table-jump-*.c

Ping. On Mon, Jun 03, 2024 at 03:43:39PM +0200, Stefan Schulze Frielinghaus wrote: > Starting with r14-5628-g53ba8d669550d3 interprocedural VRP became strong > enough in order to render these tests useless. Fixed by disabling IPA. > > gcc/testsuite/ChangeLog: > > * gcc.target/s390/nobp-ta

PING^1 [PATCH 40/52] ia64: New hook implementation ia64_c_mode_for_floating_type

Hi, Gentle ping: https://gcc.gnu.org/pipermail/gcc-patches/2024-June/653374.html BR, Kewen on 2024/6/3 11:01, Kewen Lin wrote: > This is to remove macros {FLOAT,{,LONG_}DOUBLE}_TYPE_SIZE > defines in ia64 port, and add new port specific hook > implementation ia64_c_mode_for_floating_type. > >

PING^1 [PATCH 44/52] s390: New hook implementation s390_c_mode_for_floating_type

Hi, Gentle ping: https://gcc.gnu.org/pipermail/gcc-patches/2024-June/653382.html BR, Kewen on 2024/6/3 11:01, Kewen Lin wrote: > This is to remove macros {FLOAT,{,LONG_}DOUBLE}_TYPE_SIZE > defines in s390 port, and add new port specific hook > implementation s390_c_mode_for_floating_type. > >

Re: [PATCH v2] s390: Implement TARGET_NOCE_CONVERSION_PROFITABLE_P [PR109549]

Ping. On Sun, Jun 02, 2024 at 02:07:24PM +0200, Stefan Schulze Frielinghaus wrote: > Since the patch works fine so far for mainline, ok to backport to GCC 14? > > On Fri, May 17, 2024 at 08:59:05AM +0200, Stefan Schulze Frielinghaus wrote: > > I've adapted the patch as follows and will push. > >

Re: PING^1 [PATCH 42/52] rl78: New hook implementation rl78_c_mode_for_floating_type

On Thu, Jun 13, 2024 at 9:43 AM Kewen.Lin wrote: > > Hi, > > Gentle ping: > > https://gcc.gnu.org/pipermail/gcc-patches/2024-June/653376.html The remaining target changes are all OK if the rest of the series is approved. Richard. > BR, > Kewen > > on 2024/6/3 11:01, Kewen Lin wrote: > > This is

[PATCH v1] RISC-V: Bugfix vec_extract vls mode iterator restriction mismatch

From: Pan Li We have vec_extract pattern which takes ZVFHMIN as the mode iterator of the VLS mode. Aka V_VLS. But it will expand to pred_extract_first pattern which takes the ZVFH as the mode iterator of the VLS mode. AKa V_VLSF. The mismatch will result in one ICE similar as below: error: u

PING^1 [PATCH 48/52] m68k: New hook implementation m68k_c_mode_for_floating_type

Hi, Gentle ping: https://gcc.gnu.org/pipermail/gcc-patches/2024-June/653381.html BR, Kewen on 2024/6/3 11:01, Kewen Lin wrote: > This is to add new port specific hook implementation > m68k_c_mode_for_floating_type, remove macro > LONG_DOUBLE_TYPE_SIZE and add new macro > LONG_DOUBLE_TYPE_MODE w

PING^1 [PATCH 52/52] bfin: Rename macros {FLOAT,DOUBLE}_TYPE_SIZE

Hi, Gentle ping: https://gcc.gnu.org/pipermail/gcc-patches/2024-June/653386.html BR, Kewen on 2024/6/3 11:01, Kewen Lin wrote: > This patch is to remove LONG_DOUBLE_TYPE_SIZE and > rename macros {FLOAT,DOUBLE}_TYPE_SIZE with prefix > BFIN_ as some macro defines want to use them, keeping > them

Re: [PATCH 1/3] Remove ia64*-*-linux from the list of obsolete targets

On Wed, 12 Jun 2024, Rene Rebe wrote: > gcc/ > * config.gcc: Only exlicitly list ia64*-*-(hpux|vms|elf) in the > list of obsoleted targets. Typo: "explicitly" (or you can simply drop it here). Gerald

[PATCH] Remove one_if_conv for latest Intel processors and Generic.

The tune is added by PR79390 for SciMark2 on Broadwell. For latest GCC, with and without the -mtune-ctrl=^one_if_conv_insn. GCC will generate the same binary for SciMark2. And for SPEC2017, there's no big impact for SKX/CLX/ICX, and small improvements on SPR and later. gcc/ChangeLog: * co

PING^1 [PATCH 42/52] rl78: New hook implementation rl78_c_mode_for_floating_type

Hi, Gentle ping: https://gcc.gnu.org/pipermail/gcc-patches/2024-June/653376.html BR, Kewen on 2024/6/3 11:01, Kewen Lin wrote: > This is to remove macros {FLOAT,{,LONG_}DOUBLE}_TYPE_SIZE > defines in rl78 port, and add new port specific hook > implementation rl78_c_mode_for_floating_type. > >

PING^1 [PATCH 37/52] alpha: New hook implementation alpha_c_mode_for_floating_type

Hi, Gentle ping: https://gcc.gnu.org/pipermail/gcc-patches/2024-June/653370.html BR, Kewen on 2024/6/3 11:01, Kewen Lin wrote: > This is to remove macros {FLOAT,{,LONG_}DOUBLE}_TYPE_SIZE > defines in alpha port, and add new port specific hook > implementation alpha_c_mode_for_floating_type. >

Re: [PATCH] s390: testsuite: Fix ifcvt-one-insn-bool.c

Ping. On Wed, Jun 05, 2024 at 08:00:15AM +0200, Stefan Schulze Frielinghaus wrote: > With the change of r15-787-g57e04879389f9c I forgot to also update this > test. > > gcc/testsuite/ChangeLog: > > * gcc.target/s390/ifcvt-one-insn-bool.c: Fix loc. > --- > Ok for mainline? Ok for GCC 14 i

Re: [PATCH] Add targetm.have_ccmp hook [PR115370]

Hongyu Wang writes: > Hi, > > In cfgexpand, there is an optimization for branch which tests > targetm.gen_ccmp_first == NULL. However for target like x86-64, the > hook was implemented but it does not indicate that ccmp was enabled. > Add a new target hook TARGET_HAVE_CCMP and replace the middle-e

Re: [PATCH v2] aarch64: Add vector popcount besides QImode [PR113859]

Pengxuan Zheng writes: > This patch improves GCC’s vectorization of __builtin_popcount for aarch64 > target > by adding popcount patterns for vector modes besides QImode, i.e., HImode, > SImode and DImode. > > With this patch, we now generate the following for V8HI: > cnt v1.16b, v.16b >

Re: [PATCH v1] RISC-V: Bugfix vec_extract vls mode iterator restriction mismatch

LGTM juzhe.zh...@rivai.ai From: pan2.li Date: 2024-06-13 16:26 To: gcc-patches CC: juzhe.zhong; kito.cheng; jeffreyalaw; rdapp.gcc; Pan Li Subject: [PATCH v1] RISC-V: Bugfix vec_extract vls mode iterator restriction mismatch From: Pan Li We have vec_extract pattern which takes ZVFHMIN as t

[PATCH] [testsuite] [arm] [vect] adjust mve-vshr test [PR113281]

The test was too optimistic, alas. We used to vectorize shifts involving 8-bit and 16-bit integral types by clamping the shift count at the highest in-range shift count, but that was not correct: such narrow shifts expect integral promotion, so larger shift counts should be accepted. (int16_t)3

[PATCH] aarch64: Fix invalid nested subregs [PR115464]

The testcase extracts one arm_neon.h vector from a pair (one subreg) and then reinterprets the result as an SVE vector (another subreg). Each subreg makes sense individually, but we can't fold them together into a single subreg: it's 32 bytes -> 16 bytes -> 16*N bytes, but the interpretation of 32

PING^1 [PATCH 38/52] avr: New hook implementation avr_c_mode_for_floating_type

Hi, Gentle ping: https://gcc.gnu.org/pipermail/gcc-patches/2024-June/653375.html BR, Kewen on 2024/6/3 11:01, Kewen Lin wrote: > This is to remove macros {FLOAT,{,LONG_}DOUBLE}_TYPE_SIZE > defines in avr port, and add new port specific hook > implementation avr_c_mode_for_floating_type. > > gc

RE: [PATCH v1] RISC-V: Bugfix vec_extract vls mode iterator restriction mismatch

Committed, thanks Juzhe. Pan From: juzhe.zh...@rivai.ai Sent: Thursday, June 13, 2024 5:23 PM To: Li, Pan2 ; gcc-patches Cc: kito.cheng ; jeffreyalaw ; Robin Dapp ; Li, Pan2 Subject: Re: [PATCH v1] RISC-V: Bugfix vec_extract vls mode iterator restriction mismatch LGTM _

Re: [PATCH] [i386] restore recompute to override opts after change [PR113719]

Sorry for breaking the original logic, and very appreciate for your patch!! It does makes the logic more clear on top of opts and opts_set. I think the function name can be like ix86_unroll_flag_adjust instead of ix86_override_options_after_change_1, like the previous 2 functions which declares th

Re: [PATCH 2/3] Enabled LRA for ia64.

On Wed, 12 Jun 2024 at 22:00, Frank Scheiner wrote: > > Hi Jonathan, Richard, > > On 12.06.24 20:54, Jonathan Wakely wrote: > > On 12/06/24 16:09 +0200, Frank Scheiner wrote: > >> Dear Richard, > >> > >> On 12.06.24 13:01, Richard Biener wrote: > >>> [...] > >>> I can find two gcc-testresult posti

Re: [PATCH] [libstdc++] [testsuite] require cmath for c++23 cmath tests

On Wed, 12 Jun 2024 at 23:44, Alexandre Oliva wrote: > > On Jun 12, 2024, Jonathan Wakely wrote: > > > On Wed, 12 Jun 2024, 02:17 Alexandre Oliva, wrote: > >> > >> Some c++23 tests fail on targets that don't satisfy dg-require-cmath, > >> because referenced math functions don't get declared in s

Re: [PATCH] [libstdc++] [testsuite] require cmath for [PR114359]

On Thu, 13 Jun 2024 at 08:27, Alexandre Oliva wrote: > > > When !_GLIBCXX_USE_C99_MATH_TR1, binomial_distribution doesn't use the > optimized algorithm that was fixed in response to PR114359. Without > that optimized algorithm, operator() ends up looping very very long > for the test, to the poin

RE: EXT: Re: [PATCH] [libstdc++] [testsuite] require cmath for [PR114359]

Hi, Please raise a defect. Yee Men -Original Message- From: Jonathan Wakely Sent: Thursday, June 13, 2024 11:42 AM To: Alexandre Oliva Cc: gcc-patches@gcc.gnu.org; libstd...@gcc.gnu.org Subject: EXT: Re: [PATCH] [libstdc++] [testsuite] require cmath for [PR114359] WARNING: This email

[r15-1239 Regression] FAIL: gcc.dg/vect/pr115385.c -flto -ffat-lto-objects execution test on Linux/x86_64

On Linux/x86_64, 6669dc51515313dd1e60c493596dbc90429fc362 is the first bad commit commit 6669dc51515313dd1e60c493596dbc90429fc362 Author: Richard Biener Date: Fri Jun 7 14:47:12 2024 +0200 tree-optimization/115385 - handle more gaps with peeling of a single iteration caused FAIL: gcc.dg

[PATCH v3] Target-independent store forwarding avoidance.

This pass detects cases of expensive store forwarding and tries to avoid them by reordering the stores and using suitable bit insertion sequences. For example it can transform this: strbw2, [x1, 1] ldr x0, [x1] # Expensive store forwarding to larger load. To: ldr

Re: [PATCH v2] Target-independent store forwarding avoidance.

On Sun, Jun 9, 2024 at 5:29 PM Jeff Law wrote: > > > > On 6/7/24 4:31 PM, Jeff Law wrote: > > > > > I've actually added it to my tester just to see if there's any fallout. > > It'll take a week to churn through the long running targets that > > bootstrap in QEMU, but the crosses should have data M

Re: [PATCH] aarch64: Fix invalid nested subregs [PR115464]

On Thu, 13 Jun 2024, Richard Sandiford wrote: > The testcase extracts one arm_neon.h vector from a pair (one subreg) > and then reinterprets the result as an SVE vector (another subreg). > Each subreg makes sense individually, but we can't fold them together > into a single subreg: it's 32 bytes -

Re: [PATCH] [alpha] adjust MEM alignment for block move [PR115459] (was: Re: [PATCH v2] [PR100106] Reject unaligned subregs when strict alignment is required)

Hi Alexandre, > > This has regressed building the `alpha-linux-gnu' target, in libada, as > > from commit d6b756447cd5 including GCC 14 and up to current GCC 15 trunk: > > > | Error detected around g-debpoo.adb:1896:8| > > > I have filed PR #115459. > > Thanks!

RE: [PATCH v7] Match: Support more form for scalar unsigned SAT_ADD

On Thu, 6 Jun 2024, Li, Pan2 wrote: > Committed, thanks Richard. This has broken glibc building for the `riscv64-linux-gnu' target: iovsprintf.c: In function '__vsprintf_internal': iovsprintf.c:34:1: error: definition in block 5 follows the use 34 | __vsprintf_internal (char *string, size_t

[r15-1240 Regression] FAIL: gcc.target/i386/vect-strided-3.c scan-assembler-times movhps 2 on Linux/x86_64

On Linux/x86_64, e8f4d525cb320ff11dd95b985d8043fef0510878 is the first bad commit commit e8f4d525cb320ff11dd95b985d8043fef0510878 Author: Richard Biener Date: Mon Jun 10 15:31:35 2024 +0200 Improve code generation of strided SLP loads caused FAIL: gcc.target/i386/vect-strided-3.c scan-as

Re: [PATCH v26 01/13] libstdc++: Optimize std::is_const compilation performance

On 11/05/24 02:01 -0700, Ken Matsui wrote: This patch optimizes the compilation performance of std::is_const by dispatching to the new __is_const built-in trait. OK, thanks. libstdc++-v3/ChangeLog: * include/std/type_traits (is_const): Use __is_const built-in trait. (

Re: [PATCH v26 02/13] libstdc++: Optimize std::is_volatile compilation performance

On 11/05/24 02:01 -0700, Ken Matsui wrote: This patch optimizes the compilation performance of std::is_volatile by dispatching to the new __is_volatile built-in trait. OK, thanks. libstdc++-v3/ChangeLog: * include/std/type_traits (is_volatile): Use __is_volatile built-in trai

PING^1 [PATCH 46/52] h8300: New hook implementation h8300_c_mode_for_floating_type

Hi, Gentle ping: https://gcc.gnu.org/pipermail/gcc-patches/2024-June/653379.html BR, Kewen on 2024/6/3 11:01, Kewen Lin wrote: > This is to add new port specific hook implementation > h8300_c_mode_for_floating_type, remove useless macro > defines for {FLOAT,{,LONG_}DOUBLE}_TYPE_SIZE and add > n

Re: [PATCH v26 03/13] libstdc++: Optimize std::is_pointer compilation performance

On 11/05/24 02:01 -0700, Ken Matsui wrote: This patch optimizes the compilation performance of std::is_pointer by dispatching to the new __is_pointer built-in trait. libstdc++-v3/ChangeLog: * include/bits/cpp_type_traits.h (__is_pointer): Use __is_pointer built-in trait. Optimi

Re: [PATCH v26 05/13] libstdc++: Optimize std::add_pointer compilation performance

On 11/05/24 02:01 -0700, Ken Matsui wrote: This patch optimizes the compilation performance of std::add_pointer by dispatching to the new __add_pointer built-in trait. OK, thanks. libstdc++-v3/ChangeLog: * include/std/type_traits (add_pointer): Use __add_pointer built-in trai

Re: [PATCH v26 04/13] libstdc++: Optimize std::is_unbounded_array compilation performance

On 11/05/24 02:01 -0700, Ken Matsui wrote: This patch optimizes the compilation performance of std::is_unbounded_array by dispatching to the new __is_unbounded_array built-in trait. OK, thanks. libstdc++-v3/ChangeLog: * include/std/type_traits (is_unbounded_array_v): Use __is

Re: [PATCH v26 07/13] libstdc++: Optimize std::remove_all_extents compilation performance

On 11/05/24 02:01 -0700, Ken Matsui wrote: This patch optimizes the compilation performance of std::remove_all_extents by dispatching to the new __remove_all_extents built-in trait. OK, thanks. libstdc++-v3/ChangeLog: * include/std/type_traits (remove_all_extents): Use __remo

Re: [PATCH v26 06/13] libstdc++: Optimize std::remove_extent compilation performance

On 11/05/24 02:01 -0700, Ken Matsui wrote: This patch optimizes the compilation performance of std::remove_extent by dispatching to the new __remove_extent built-in trait. OK, thanks. libstdc++-v3/ChangeLog: * include/std/type_traits (remove_extent): Use __remove_extent built

Re: [PATCH v26 08/13] libstdc++: Optimize std::add_lvalue_reference compilation performance

On 11/05/24 02:01 -0700, Ken Matsui wrote: This patch optimizes the compilation performance of std::add_lvalue_reference by dispatching to the new __add_lvalue_reference built-in trait. libstdc++-v3/ChangeLog: * include/std/type_traits (add_lvalue_reference): Use __add_lvalue_re

Re: [PATCH v26 09/13] libstdc++: Optimize std::add_rvalue_reference compilation performance

On 11/05/24 02:01 -0700, Ken Matsui wrote: This patch optimizes the compilation performance of std::add_rvalue_reference by dispatching to the new __add_rvalue_reference built-in trait. libstdc++-v3/ChangeLog: * include/std/type_traits (add_rvalue_reference): Use __add_rvalue_re

Re: [PATCH v26 10/13] libstdc++: Optimize std::decay compilation performance

On 11/05/24 02:01 -0700, Ken Matsui wrote: This patch optimizes the compilation performance of std::decay by dispatching to the new __decay built-in trait. OK, thanks. libstdc++-v3/ChangeLog: * include/std/type_traits (decay): Use __decay built-in trait. Signed-off-by: Ken Matsui -

Re: [PATCH v26 11/13] libstdc++: Optimize std::rank compilation performance

On 11/05/24 02:01 -0700, Ken Matsui wrote: This patch optimizes the compilation performance of std::rank by dispatching to the new __array_rank built-in trait. OK, thanks. libstdc++-v3/ChangeLog: * include/std/type_traits (rank): Use __array_rank built-in trait. (rank

Re: [PATCH v26 12/13] libstdc++: Optimize std::is_invocable compilation performance

On 11/05/24 02:01 -0700, Ken Matsui wrote: This patch optimizes the compilation performance of std::is_invocable by dispatching to the new __is_invocable built-in trait. I'm excited for this one, as I hope it will make a big difference to compilation times for and in C++20. OK, thanks. lib

Re: [PATCH v26 13/13] libstdc++: Optimize std::is_nothrow_invocable compilation performance

On 11/05/24 02:01 -0700, Ken Matsui wrote: This patch optimizes the compilation performance of std::is_nothrow_invocable by dispatching to the new __is_nothrow_invocable built-in trait. OK, thanks. libstdc++-v3/ChangeLog: * include/std/type_traits (is_nothrow_invocable): Use

Re: [PATCH v26 01/13] libstdc++: Optimize std::is_const compilation performance

On 23/05/24 15:15 -0700, Ken Matsui wrote: On Thu, May 23, 2024 at 3:15 PM Patrick Palka wrote: On Sat, 11 May 2024, Ken Matsui wrote: > This patch optimizes the compilation performance of std::is_const > by dispatching to the new __is_const built-in trait. This patch series LGTM Thank you

Re: [PATCH v26 01/13] libstdc++: Optimize std::is_const compilation performance

On Thu, Jun 13, 2024 at 5:46 AM Jonathan Wakely wrote: > > On 23/05/24 15:15 -0700, Ken Matsui wrote: > >On Thu, May 23, 2024 at 3:15 PM Patrick Palka wrote: > >> > >> On Sat, 11 May 2024, Ken Matsui wrote: > >> > >> > This patch optimizes the compilation performance of std::is_const > >> > by di

RE: [PATCH v7] Match: Support more form for scalar unsigned SAT_ADD

Could you please help to update the upstream for another try ? Should be fixed by this commit https://github.com/gcc-mirror/gcc/commit/d03ff3fd3e2da1352a404e3c53fe61314569345c. Feel free to ping me if any questions or concerns. Pan -Original Message- From: Maciej W. Rozycki Sent: Thu

Re: [PATCH v26 03/13] libstdc++: Optimize std::is_pointer compilation performance

On Thu, Jun 13, 2024 at 5:31 AM Jonathan Wakely wrote: > > On 11/05/24 02:01 -0700, Ken Matsui wrote: > >This patch optimizes the compilation performance of std::is_pointer > >by dispatching to the new __is_pointer built-in trait. > > > >libstdc++-v3/ChangeLog: > > > > * include/bits/cpp_typ

Re: [PATCH] Add targetm.have_ccmp hook [PR115370]

Thanks, this it the patch I'm going to check-in. Richard Sandiford 于2024年6月13日周四 17:04写道： > > Hongyu Wang writes: > > Hi, > > > > In cfgexpand, there is an optimization for branch which tests > > targetm.gen_ccmp_first == NULL. However for target like x86-64, the > > hook was implemented but it

[COMMITTED 03/30] ada: Add support for symbolic backtraces with DLLs on Windows

From: Eric Botcazou This puts Windows on par with Linux as far as backtraces are concerned. gcc/ada/ * libgnat/s-tsmona__linux.adb (Get): Move down descriptive comment. * libgnat/s-tsmona__mingw.adb: Add with clause and use clause for System.Storage_Elements. (Ge

[COMMITTED 01/30] ada: Missing dynamic predicate checks

From: Javier Miranda The compiler does not generate dynamic predicate checks when they are enabled for one type declaration and ignored for other type declarations defined in the same scope. gcc/ada/ * sem_ch13.adb (Analyze_One_Aspect): Set the applicable policy of a type declar

[COMMITTED 05/30] ada: Missing support for 'Old with overloaded function

From: Javier Miranda The compiler reports an error when the prefix of 'Old is a call to an overloaded function that has no parameters. gcc/ada/ * sem_attr.adb (Analyze_Attribute): Enhance support for using 'Old with a prefix that references an overloaded function that ha

[COMMITTED 07/30] ada: Inline if -gnatn in CCG mode even if -O0

From: Richard Kenner gcc/ada/ * exp_ch6.adb (Expand_Ctrl_Function_Call): Inline if -gnatn in CCG mode even if -O0. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/exp_ch6.adb | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/gcc/ada/exp_c

[COMMITTED 09/30] ada: Fix incorrect String lower bound in gnatlink

From: Ronan Desplanques This patch fixes code in gnatlink that incorrectly assumed that the lower bound of a particular string was always 1. gcc/ada/ * gnatlink.adb (Gnatlink): Fix incorrect lower bound assumption. (Is_Prefix): New function. Tested on x86_64-pc-linux-gnu, commi

[COMMITTED 10/30] ada: Do not inline subprogram which could cause SPARK violation

From: Yannick Moy Inlining in GNATprove a subprogram containing a constant declaration with an address clause/aspect might lead to a spurious error if the address expression is based on a constant view of a mutable object at call site. Do not allow such inlining in GNATprove. gcc/ada/ *

[COMMITTED 04/30] ada: Simplify checks for Address and Object_Size clauses

From: Piotr Trojanek Where possible, we can use high-level wrapper routines instead of the low-level Get_Attribute_Definition_Clause. Code cleanup; semantics is unaffected. gcc/ada/ * layout.adb (Layout_Type): Use high-level wrapper routine. * sem_ch13.adb (Inherit_Delayed_Rep_

[COMMITTED 18/30] ada: Simplify code in Cannot_Inline

From: Viljar Indus gcc/ada/ * inline.adb (Cannot_Inline): Simplify string handling logic. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/inline.adb | 20 ++-- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/gcc/ada/inline.adb b/gcc/ada/

[COMMITTED 19/30] ada: Convert an info message to a continuation

From: Viljar Indus The info message about the freeze point should be considered a continuation of the error message about the change of visibility after the freeze point. This improves the error layout for formatted error messages with the -gnatdF switch. gcc/ada/ * sem_ch13.adb (Check_

[COMMITTED 15/30] ada: Fix Super attribute documentation

From: Steve Baird The GNAT-defined Super attribute was formerly disallowed for an object of a derived tagged type having an abstract parent type. This rule has been relaxed; an abstract parent type is now permitted as long as it is not an interface type. Update the GNAT RM accordingly. gcc/ada/

[COMMITTED 17/30] ada: List subprogram body entities in scopes

From: Yannick Moy Add entities of kind E_Subprogram_Body to the list of entities associated to a given scope. This ensures that representation information is correctly output for object and type declarations inside these subprogram bodies. This is useful for outputing that information fron the co

[COMMITTED 22/30] ada: Minor cleanups in generic formal matching

From: Bob Duff Minor rewording of a warning. Disallow positional notation for <> (but disable this check), and fix resulting errors. Copy use clauses. gcc/ada/ * sem_ch12.adb (Check_Fixed_Point_Actual): Minor rewording; it seems more proper to say "operator" rather than "operati

[COMMITTED 28/30] ada: Fix segmentation fault on slice of array with Unbounded_String component

From: Eric Botcazou This fixes a regression introduced by the overhaul of the implementation of finalization. When the first subtype of an array type is declared as constrained, the Finalize_Address primitive of the base type synthesized by the compiler is tailored to this first subtype, which m

[COMMITTED 14/30] ada: Fix expansion of protected subprogram bodies

From: Ronan Desplanques System.Tasking.Protected_Objects.Lock can raise exceptions, but that wasn't taken into account by the expansion of protected subprogram bodies before this patch. More precisely, there were cases where calls to System.Tasking.Initialization.Abort_Undefer were incorrectly om

[COMMITTED 12/30] ada: Check global mode restriction on encapsulating abstract states

From: Piotr Trojanek We already checked that a global item of mode Output is not an Input of the enclosing subprograms. With this change we also check that if this global item is a constituent, then none of its encapsulating abstract states is an Input of the enclosing subprograms. gcc/ada/

[COMMITTED 13/30] ada: Fix oversight in latest finalization fix

From: Eric Botcazou The Defining_Identifier of a renaming may be a E_Constant in the context. gcc/ada/ PR ada/114710 * exp_util.adb (Find_Renamed_Object): Recurse for any renaming. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/exp_util.adb | 2 +- 1 file cha

[COMMITTED 23/30] ada: Deep copy of an expression sometimes fails to copy entities

From: Steve Baird An entity can be defined within an expression (the best example is probably a declare expression, but a quantified expression is another; there are others). When making a deep copy of an expression, the Entity nodes for such entities were sometimes not copied, apparently for per

[COMMITTED 24/30] ada: Revert changing a GNATProve mode message to a non-warning

From: Viljar Indus GNATProve compiles the program multiple times. During the first run the warnings are suppressed. These messages need to be suppressed during that run in order to avoid having them duplicated in the following runs. Revert the previous changes as there currently is not a way to s

[PATCH] Support single def-use cycle optimization for SLP reduction vectorization

We can at least mimic single def-use cycle optimization when doing single-lane SLP reductions and that's required to avoid regressing compared to non-SLP. Bootstrapped on x86_64-unknown-linux-gnu, testing in progress. I've noticed this when looking at PR115438 but the fix doesn't help there.

[COMMITTED 06/30] ada: Fix fallout of previous finalization change

From: Eric Botcazou Now that Is_Finalizable_Transient only looks at the renamings coming from nontransient objects serviced by transient scopes, it must find the object ultimately renamed by them through a chain of renamings. gcc/ada/ PR ada/114710 * exp_util.adb (Find_Renamed_O

[COMMITTED 08/30] ada: Reject too-strict alignment specifications.

From: Steve Baird In some cases the compiler incorrectly concludes that a package body is required for a package specification that includes the implicit declaration of one or more inherited subprograms for an explicitly declared derived type. Spurious error messages (e.g., "cannot generate code

[COMMITTED 02/30] ada: Fix too late finalization of temporary object

From: Eric Botcazou The problem is that Is_Finalizable_Transient returns false when a transient object is subject to a renaming by another transient object present in the same transient scope, thus forcing its finalization to be deferred to the enclosing scope. That's not necessary, as only rena

[COMMITTED 11/30] ada: Streamline elaboration of local tagged types

From: Eric Botcazou This set of changes is aimed at streamlining the code generated for the elaboration of local tagged types. The dispatch tables and other related data structures are built dynamically on the stack for them and a few of the patterns used for this turn out to be problematic for

[COMMITTED 20/30] ada: Remove warning insertion characters from info messages

From: Viljar Indus Remove warning insertion characters without switch characters from info messages. gcc/ada/ * par-ch7.adb: Remove warning characters from info message * par-endh.adb: Remove warning characters from info message * sem_res.adb: Remove warning characters f

[COMMITTED 26/30] ada: Fix test for giving hint on ambiguous aggregate

From: Yannick Moy In the case the type of an aggregate cannot be determined due to an ambiguity, caused by the existence of container aggregates, a hint can be given by GNAT. The test for giving this hint should be the Ada language version, not the fact that extensions are allowed. Now fixed. Th

[COMMITTED 21/30] ada: Remove message about goto rewritten as a loop

From: Viljar Indus This message provides only inner details of how the compiler handles this kind of construct and does not provide meaningful information that the user can interact on. gcc/ada/ * par-labl.adb (Rewrite_As_Loop): Remove info message Tested on x86_64-pc-linux-gnu, commit

[COMMITTED 16/30] ada: Interfaces order disables class-wide prefix notation calls

From: Javier Miranda When the first formal parameter of a subprogram is a class-wide interface type (or an access to a class-wide interface type), changing the order of the interface types implemented by a type declaration T enables or disables the ability to use the prefix notation to call it wi

[COMMITTED 25/30] ada: Missing postcondition runtime check in inherited primitive

From: Javier Miranda When a derived tagged type implements more interface interface types than its parent type, and a primitive inherited from its parent type covers a primitive of these additional interface types that has classwide postconditions, the code generated by the compiler does not chec

[COMMITTED 30/30] ada: Compiler goes into loop

From: Steve Baird In some cases that are difficult to characterize, the compiler fails an assertion check (if the compiler is built with assertions enabled) or loops forever (if assertions are not enabled). One way this can happen is if Exp_Util.Insert_Actions is called with an N_Itype_Reference

Re: [PATCH] rs6000: Compute rop_hash_save_offset for non-Altivec compiles [PR115389]

On 6/13/24 12:35 AM, Kewen.Lin wrote: >> @@ -826,7 +826,14 @@ rs6000_stack_info (void) >>info->ehrd_offset -= info->rop_hash_size; >> } >>else >> -info->ehrd_offset = info->gp_save_offset - ehrd_size; >> +{ >> + info->ehrd_offset = info->gp_save_offset - ehrd_size;

  1   2   3   >