https://gcc.gnu.org/g:63dd621df995fbfd9cb1db9fae9b0db9e7c353cd
commit r17-4239-g63dd621df995fbfd9cb1db9fae9b0db9e7c353cd Author: GCC Administrator <[email protected]> Date: Tue Sep 15 00:16:35 2026 +0000 Daily bump. Diff: --- gcc/ChangeLog | 158 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/cobol/ChangeLog | 10 +++ gcc/cp/ChangeLog | 24 ++++++++ gcc/testsuite/ChangeLog | 123 +++++++++++++++++++++++++++++++++++++ libstdc++-v3/ChangeLog | 32 ++++++++++ 6 files changed, 348 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index dd78d1b98f2b..997cecbb0d5d 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,161 @@ +2026-09-14 Jean-Didier Pailleux <[email protected]> + + * config/aarch64/aarch64-sve-builtins-sme.def (REQUIRED_EXTENSIONS): Add + missing #undef. + +2026-09-14 Dominic P <[email protected]> + + PR tree-optimization/127379 + * match.pd (ior_range_test_0): Require an integral type. + +2026-09-14 Wilco Dijkstra <[email protected]> + + * config/aarch64/aarch64.h (TARGET_SVE_PREFER_ZEROING_MOVIMM): New + define. + * config/aarch64/aarch64-sve.md (*vcond_mask_<mode><vpred>): Add a + split condition for zero predicate. + * config/aarch64/aarch64-tuning-flags.def: Add AVOID_MOVIMM_Z tune. + * config/aarch64/tuning_models/neoversev1.h (tune_flags): Update. + * config/aarch64/tuning_models/neoversev2.h (tune_flags): Update. + +2026-09-14 xiezhiheng <[email protected]> + + * haifa-sched.cc (max_issue): Cap max_lookahead_tries + +2026-09-14 Jakub Jelinek <[email protected]> + + PR middle-end/127336 + * optabs.cc (maybe_emit_compare_and_swap_exchange_loop, + expand_atomic_fetch_op_no_fallback, expand_atomic_fetch_op): Force + val into a pseduo if it updates to mem could change its value + and when using val after the atomic op or inside of a loop. + +2026-09-14 Kyrylo Tkachov <[email protected]> + + * genemit.cc (main): Choose an output file for each overloaded name. + +2026-09-14 Kyrylo Tkachov <[email protected]> + + * rtl.h (note_split): Declare. + * emit-rtl.cc (note_split): New function. + * genemit.cc (gen_split): Call it rather than emitting the test and + the fprintf. + +2026-09-14 Kyrylo Tkachov <[email protected]> + + * genrecog.cc (md_conditions, md_condition_ids): New variables. + (md_condition_id, print_md_conditions): New functions. + (print_test): Call a helper for a C test rather than emitting the + condition. + (main): Write the helpers to the header. + +2026-09-14 Kyrylo Tkachov <[email protected]> + + * genextract.cc (MISSING_OPERAND_CHAR): New macro. + (pathpool, dupnums): New variables. + (add_path, print_string_literal, print_extractions): New functions. + (print_path): Remove. + (print_header): Only emit the prologue. + (main): Call print_extractions. + +2026-09-14 Kyrylo Tkachov <[email protected]> + + * match-sat-alu.pd (unsigned_integer_sat_sub): Accept commuted + comparison operand orders and the arm order from a two-return source. + +2026-09-14 Kyrylo Tkachov <[email protected]> + + * match-sat-alu.pd (unsigned_integer_sat_sub): Add the + X - MIN (X, Y) form. + * tree-ssa-math-opts.cc + (build_saturation_binary_arith_call_and_replace): Return whether a + replacement was made. + (match_saturation_add_with_assign): Likewise. + (match_unsigned_saturation_sub): Likewise. + (math_opts_dom_walker::after_dom_children): Check MINUS_EXPR for + saturation, and use the assign recognizer results. + +2026-09-14 Claudio Bantaloukas <[email protected]> + + * config/aarch64/aarch64-acle-builtins.cc: + (function_resolver::resolve_to): Fix documentation comment. + * config/aarch64/aarch64-acle-builtins.h: (TYPES_tmop_base, + TYPES_tmop_h_bfloat, TYPES_tmop_h_float, TYPES_tmop_h_mf8, + TYPES_tmop_s_mf8): Add new DEF_SVE_TYPES_ARRAYs. + * config/aarch64/aarch64-c.cc: (__ARM_FEATURE_SME_TMOP): Add define. + * config/aarch64/aarch64-sme.md: + (@aarch64_sme_lane_<optab><VNx4SI_ONLY:mode><SVE_FULL_BHI:mode>): Add + new insn. + (@aarch64_sme_lane_<optab><VNx4SI_ONLY:mode><VNx16QI_ONLY:mode>): + Likewise. + (@aarch64_sme_lane_<optab><mode><mode>): + Likewise. + (@aarch64_sme_lane_<optab><VNx4SI_ONLY:mode><SVE_FULL_HF:mode>): + Likewise. + (@aarch64_sme_lane_<optab><SME_TMOPA_FP8:mode><VNx16QI_ONLY:mode>): + Likewise. + * config/aarch64/aarch64-sve-builtins-shapes.cc: + (ternary_za_uint_dual_single): Add new shape. + * config/aarch64/aarch64-sve-builtins-shapes.h: Likewise. + * config/aarch64/aarch64-sve-builtins-sme.cc: (svtmopa_lane_za_impl): + Add new function impl class. + (svtmopa_lane_za): Add new FUNCTION. + * config/aarch64/aarch64-sve-builtins-sme.def: (svtmopa_lane): Add new + DEF_SME_ZA_FUNCTION_GS entries. + * config/aarch64/aarch64-sve-builtins-sme.h: (svtmopa_lane_za): Add new. + * config/aarch64/aarch64.h: (TARGET_STREAMING_SME_TMOP): Add new define. + * config/aarch64/constraints.md (Uwo): Add new constraint for Control + Vector Register in TMOP operations. + * config/aarch64/iterators.md: (SME_TMOPA_BHSF, SME_TMOPA_FP8): Add new mode + iterators. + (UNSPEC_SME_FTMOPA, UNSPEC_SME_FTMOPA_FP8, UNSPEC_SME_STMOPA, + UNSPEC_SME_SUTMOPA, UNSPEC_SME_USTMOPA, UNSPEC_SME_UTMOPA): Add new + unspecs. + (SME_TMOP_INT, SME_TMOP_INT_CROSS, SME_TMOP_FP, SME_TMOP_FP8): Add new + iterators. + (za_imm_bits): Add new mode_attr. + (optab): Update with new unspecs. + * config/aarch64/predicates.md: (aarch64_imm1, aarch64_imm4): Add new + predicates. + +2026-09-14 Claudio Bantaloukas <[email protected]> + + * config/aarch64/aarch64.md: Rename aarch64_imm3 as aarch64_shift_imm3. + * config/aarch64/aarch64-simd.md: Rename aarch64_lane_imm3 as aarch64_imm3. + * config/aarch64/predicates.md: Rename aarch64_imm3 as aarch64_shift_imm3 + and aarch64_lane_imm3 to aarch64_imm3. + +2026-09-14 Richard Biener <[email protected]> + + PR tree-optimization/127377 + * tree-ssa-sccvn.cc (vn_walk_cb_data::push_partial_def): + Properly consider the padding before the object when + pruning the size. + +2026-09-14 Richard Biener <[email protected]> + + PR tree-optimization/127363 + * tree-vect-stmts.cc (vectorizable_assignment): Properly + code-generate PAREN_EXPRs. + +2026-09-14 Artemiy Volkov <[email protected]> + + PR target/126983 + * config/aarch64/aarch64-simd.md (*aarch64_combinez<mode>): + Split into VS32_I_SUB64_F_CONDFP16 and HFBF variants. Change + uxtw to uxt<extsize>. + (*aarch64_combinez_be<mode>): Likewise. + * config/aarch64/iterators.md (VSSUB64_F): Remove iterator. + (VS32_I_SUB64_F): Amend by explicitly listing all modes. + (VS32_I_SUB64_F_CONDFP16): New iterator. + +2026-09-14 Rohith Kapelli <[email protected]> + + PR ipa/123227 + * ipa-icf.cc (sem_function::equals_wpa): Compare TYPE_ATTRIBUTES + as a list rather than through comp_type_attributes. Reject a + METHOD_TYPE compared against a FUNCTION_TYPE. + 2026-09-13 Dominic P <[email protected]> * generic-match-head.cc (gimple_match_no_overflow_p): New. diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 1c5002a42eae..1ded3e06871f 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20260914 +20260915 diff --git a/gcc/cobol/ChangeLog b/gcc/cobol/ChangeLog index 118706264d31..12839ea39976 100644 --- a/gcc/cobol/ChangeLog +++ b/gcc/cobol/ChangeLog @@ -1,3 +1,13 @@ +2026-09-14 James K. Lowden <[email protected]> + + * parse.y: Emit diagnostic if symbol_currency_add fails. + * parse_ante.h (update_prior_invalid_field): New function. + (field_add): Use update_prior_invalid_field to validate prior field. + * scan.l: Document currency-symbol domain. + * symbols.cc (symbols_update): Quell redundant diagnostic. + (symbol_currency_symbol_ok): Validate currency symbol. + (symbol_currency_add): Use symbol_currency_symbol_ok. + 2026-09-11 James K. Lowden <[email protected]> * parse.y: Add wordop_t to each element. diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 86543ad9da12..43b5c5339503 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,27 @@ +2026-09-14 Joshua Berne <[email protected]> + + PR c++/127282 + * constexpr.cc (modifiable_tracker::modifiable_tracker): Save the + current global pointer to the modifiable set. + (modifiable_tracker::~modifiable_tracker): Restore the original + pointer to the modifiable set instead of clearing it. + +2026-09-14 Marek Polacek <[email protected]> + + PR c++/127349 + * pt.cc (lookup_template_class): Print %qE if d1 is not a type. + (tsubst) <case TYPENAME_TYPE>: Do lookup_qualified_name first + before lookup_template_class. Guard qualified_name_lookup_error + with a complain check. Use gcc_checking_assert instead of + gcc_assert. Use identifier_p. Give an error if we didn't get + a type. + +2026-09-14 Marek Polacek <[email protected]> + + PR c++/126970 + * cp-gimplify.cc (immediate_escalating_function_p): Check + !user_provided_p. + 2026-09-13 Iain Sandoe <[email protected]> PR c++/126811 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index c9d4c37a53e5..dcd9a40ba8fc 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,126 @@ +2026-09-14 Robert Dubner <[email protected]> + + * cobol.dg/group2/CURRENCY_SIGN_WITH_PICTURE_SYMBOL.cob: Use @ not U. + * cobol.dg/group2/floating-point_ADD_FORMAT_1.cob: Test NEAREST-AWAY-FROM-ZERO. + * cobol.dg/group2/floating-point_ADD_FORMAT_1.out: Test DISPLAY. + +2026-09-14 Joshua Berne <[email protected]> + + PR c++/127282 + * g++.dg/cpp23/attr-assume10.C: Add a case with a nested assumption. + +2026-09-14 Jakub Jelinek <[email protected]> + + * g++.dg/cpp26/within-lifetime1.C: Fix up C++26 paper number and name. + * g++.dg/cpp26/within-lifetime2.C: Likewise. + * g++.dg/cpp26/within-lifetime3.C: Likewise. + * g++.dg/cpp26/within-lifetime4.C: Likewise. + * g++.dg/cpp26/within-lifetime5.C: Likewise. + * g++.dg/cpp26/within-lifetime6.C: Likewise. + * g++.dg/cpp26/within-lifetime7.C: Likewise. + * g++.dg/cpp26/within-lifetime8.C: Likewise. + * g++.dg/cpp26/within-lifetime9.C: Likewise. + * g++.dg/cpp26/within-lifetime10.C: New test. + * g++.dg/cpp26/within-lifetime11.C: New test. + * g++.dg/cpp26/within-lifetime12.C: New test. + +2026-09-14 Marek Polacek <[email protected]> + + PR c++/127349 + * g++.dg/reflect/ns7.C: New test. + +2026-09-14 Marek Polacek <[email protected]> + + PR c++/126970 + * g++.dg/reflect/cwg3153-2.C: New test. + +2026-09-14 Dominic P <[email protected]> + + PR tree-optimization/127379 + * gcc.dg/torture/pr127379.c: New test. + +2026-09-14 Wilco Dijkstra <[email protected]> + + * gcc.target/aarch64/sve/zeroing_mov_z.c: New test. + +2026-09-14 Jakub Jelinek <[email protected]> + + PR middle-end/127336 + * gcc.dg/pr127336.c: New test. + +2026-09-14 Kyrylo Tkachov <[email protected]> + + * gcc.target/arm/short-it-ifcvt-2.c: Skip M-profile targets. + Match complete conditional branch mnemonics and allow lt and ge. + +2026-09-14 Kyrylo Tkachov <[email protected]> + + * gcc.target/aarch64/sat_u_sub_swapped-1.c: New test. + +2026-09-14 Kyrylo Tkachov <[email protected]> + + * gcc.target/aarch64/sat_u_sub_minmax-1.c: New test. + * gcc.target/aarch64/sat_u_sub_minmax-2.c: New test. + * gcc.target/aarch64/sat_u_sub_minmax-3.c: New test. + +2026-09-14 Claudio Bantaloukas <[email protected]> + + * gcc.target/aarch64/pragma_cpp_predefs_6.c: Add tests checking that the + sme-tmop prefef is off by default, and checks for feature dependencies. + * gcc.target/aarch64/sme2/acle-asm/test_sme2_acle.h: (TEST_ZA_TMOP) Add + testing macro. + * gcc.target/aarch64/sme2/acle-asm/tmopa_lane_za16_bf16_bf16.c: + New test. + * gcc.target/aarch64/sme2/acle-asm/tmopa_lane_za16_f16_f16.c: + Likewise. + * gcc.target/aarch64/sme2/acle-asm/tmopa_lane_za16_mf8_mf8.c: + Likewise. + * gcc.target/aarch64/sme2/acle-asm/tmopa_lane_za32_bf16_bf16.c: + Likewise. + * gcc.target/aarch64/sme2/acle-asm/tmopa_lane_za32_f16_f16.c: + Likewise. + * gcc.target/aarch64/sme2/acle-asm/tmopa_lane_za32_f32_f32.c: + Likewise. + * gcc.target/aarch64/sme2/acle-asm/tmopa_lane_za32_mf8_mf8.c: + Likewise. + * gcc.target/aarch64/sme2/acle-asm/tmopa_lane_za32_s8_s8.c: Likewise. + * gcc.target/aarch64/sme2/acle-asm/tmopa_lane_za32_s8_u8.c: Likewise. + * gcc.target/aarch64/sme2/acle-asm/tmopa_lane_za32_s16_s16.c: + Likewise. + * gcc.target/aarch64/sme2/acle-asm/tmopa_lane_za32_u8_s8.c: Likewise. + * gcc.target/aarch64/sme2/acle-asm/tmopa_lane_za32_u8_u8.c: Likewise. + * gcc.target/aarch64/sme2/acle-asm/tmopa_lane_za32_u16_u16.c: + Likewise. + * gcc.target/aarch64/sve/acle/general-c/ternary_za_uint_dual_single_1.c: + Likewise. + * lib/target-supports.exp: Add check_effective_target support for + sme-tmop. + +2026-09-14 Richard Biener <[email protected]> + + PR tree-optimization/127377 + * gcc.dg/torture/pr127377.c: New testcase. + +2026-09-14 Richard Biener <[email protected]> + + PR tree-optimization/127363 + * gcc.dg/vect/vect-pr127363.c: New testcase. + +2026-09-14 Artemiy Volkov <[email protected]> + + PR target/126983 + * gcc.target/aarch64/vec-init-23-nofp16.c: New test. + +2026-09-14 Rohith Kapelli <[email protected]> + + PR ipa/123227 + * gcc.dg/ipa/pr123227.c: New test. + * g++.dg/ipa/pr123227.C: New test. + * gcc.dg/lto/pr123227_0.c: New test. + * gcc.dg/lto/pr123227_1.c: New test. + * g++.dg/lto/pr123227_0.C: New test. + * g++.dg/lto/pr123227_1.C: New test. + 2026-09-13 Dominic P <[email protected]> * gcc.dg/torture/minmax-swar-1.c: New test. diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 1575ba80d395..8c0a3806f7b2 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,35 @@ +2026-09-14 François Dumont <[email protected]> + + * include/debug/inplace_vector: Apply proper coding style on all + 'if consteval' expressions. + +2026-09-14 François Dumont <[email protected]> + + * include/debug/inplace_vector + (inplace_vector::emplace): Replace usages of std::is_constant_evaluated + by consteval. + (inplace_vector::insert): Likewise. + (inplace_vector::erase): Likewise. + +2026-09-14 Jakub Jelinek <[email protected]> + + * include/bits/version.def (within_lifetime): Change value from 202306 + to 202603. + * include/bits/version.h: Regenerate. + * include/std/type_traits: Implement C++26 P3450R1: Extend + std::is_within_lifetime paper. + (std::is_within_lifetime): Add _Up template argument defaulted to void + and verify static_cast<const volatile _Up*>(__p) is a constant + expression. + +2026-09-14 Yuao Ma <[email protected]> + + * include/bits/ranges_algo.h (ranges::__for_each): Add + segemented iterators logic. Split out naive for-loop from ... + (__for_each_fn::operator()): ... here. + * testsuite/performance/25_algorithms/for_each.cc: Add + benchmark for ranges::for_each. + 2026-09-13 Marek Polacek <[email protected]> PR c++/125820
