From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2168) id 3ED3F3858D1E; Fri, 20 Oct 2023 00:17:08 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 3ED3F3858D1E DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1697761028; bh=VuHWmdZenXx6I+W49k1DXSmkTu2sr3OVHsXoirGQo94=; h=From:To:Subject:Date:From; b=nl0EOed6Q194tnBe+W+WqhRBsmpabzUmuQZO9SZiV2pwe/YFn7TWASOMUvbIGFQaH tpql0K83PHrr6A9ubnkJSGgTPb0en8DpCsk+liPcn8gPb5Sg2ulNZ5go4nS7XBOeFK 7XlTcIEWVYkPt+yf4nUMOn7Ly7ihDck3eP44tqv0= MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="utf-8" From: GCC Administrator To: gcc-cvs@gcc.gnu.org, libstdc++-cvs@gcc.gnu.org Subject: [gcc r14-4769] Daily bump. X-Act-Checkin: gcc X-Git-Author: GCC Administrator X-Git-Refname: refs/heads/master X-Git-Oldrev: 4d81962ba00ab74c4bc5fac685988f9cf778a9bb X-Git-Newrev: c85f74813f6a6b73f7f303d0678b3d1c00f8adc2 Message-Id: <20231020001708.3ED3F3858D1E@sourceware.org> Date: Fri, 20 Oct 2023 00:17:08 +0000 (GMT) List-Id: https://gcc.gnu.org/g:c85f74813f6a6b73f7f303d0678b3d1c00f8adc2 commit r14-4769-gc85f74813f6a6b73f7f303d0678b3d1c00f8adc2 Author: GCC Administrator Date: Fri Oct 20 00:16:39 2023 +0000 Daily bump. Diff: --- gcc/ChangeLog | 184 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 75 ++++++++++++++++++++ gcc/c-family/ChangeLog | 6 ++ gcc/c/ChangeLog | 12 ++++ gcc/cp/ChangeLog | 14 ++++ gcc/testsuite/ChangeLog | 87 +++++++++++++++++++++++ libstdc++-v3/ChangeLog | 11 +++ 8 files changed, 390 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 0caee958f908..7a87e402dd8d 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,187 @@ +2023-10-19 Marek Polacek + + * doc/contrib.texi: Add entry for Patrick Palka. + +2023-10-19 Andre Vieira + + * omp-simd-clone.cc (simd_clone_adjust_argument_types): Make function + compatible with mask parameters in clone. + * tree-vect-stmts.cc (vect_build_all_ones_mask): Allow vector boolean + typed masks. + (vectorizable_simd_clone_call): Enable the use of masked clones in + fully masked loops. + +2023-10-19 Andre Vieira + + PR tree-optimization/110485 + * tree-vect-stmts.cc (vectorizable_simd_clone_call): Disable partial + vectors usage if a notinbranch simdclone has been selected. + +2023-10-19 Andre Vieira + + * tree-vect-data-refs.cc (vect_get_smallest_scalar_type): Special case + simd clone calls and only use types that are mapped to vectors. + (simd_clone_call_p): New helper function. + +2023-10-19 Andre Vieira + + * tree-parloops.cc (try_transform_to_exit_first_loop_alt): Accept + poly NIT and ALT_BOUND. + +2023-10-19 Andre Vieira + + * tree-parloops.cc (create_loop_fn): Copy specific target and + optimization options to clone. + +2023-10-19 Andre Vieira + + * omp-simd-clone.cc (simd_clone_subparts): Remove. + (simd_clone_init_simd_arrays): Replace simd_clone_supbarts with + TYPE_VECTOR_SUBPARTS. + (ipa_simd_modify_function_body): Likewise. + * tree-vect-stmts.cc (vectorizable_simd_clone_call): Likewise. + (simd_clone_subparts): Remove. + +2023-10-19 Jason Merrill + + * ABOUT-GCC-NLS: Add usage guidance. + +2023-10-19 Jason Merrill + + * diagnostic-core.h (permerror): Rename new overloads... + (permerror_opt): To this. + * diagnostic.cc: Likewise. + +2023-10-19 Tamar Christina + + PR tree-optimization/111860 + * tree-vect-loop-manip.cc (slpeel_tree_duplicate_loop_to_edge_cfg): + Remove PHI nodes that dominate loop. + +2023-10-19 Richard Biener + + PR tree-optimization/111131 + * tree-vect-loop.cc (update_epilogue_loop_vinfo): Make + sure to update all gather/scatter stmt DRs, not only those + that eventually got VMAT_GATHER_SCATTER set. + * tree-vect-slp.cc (_slp_oprnd_info::first_gs_info): Add. + (vect_get_and_check_slp_defs): Handle gathers/scatters, + adding the offset as SLP operand and comparing base and scale. + (vect_build_slp_tree_1): Handle gathers. + (vect_build_slp_tree_2): Likewise. + +2023-10-19 Richard Biener + + * tree-vect-stmts.cc (vect_build_gather_load_calls): Rename + to ... + (vect_build_one_gather_load_call): ... this. Refactor, + inline widening/narrowing support ... + (vectorizable_load): ... here, do gather vectorization + with builtin decls along other gather vectorization. + +2023-10-19 Alex Coplan + + * config/aarch64/aarch64.md (load_pair_dw_tftf): Rename to ... + (load_pair_dw_): ... this. + (store_pair_dw_tftf): Rename to ... + (store_pair_dw_): ... this. + * config/aarch64/iterators.md (TX2): New. + +2023-10-19 Alex Coplan + + * rtl-ssa/changes.cc (function_info::finalize_new_accesses): Add new + parameter to give final insn position, infer use of mem if it isn't + specified explicitly. + (function_info::change_insns): Pass down final insn position to + finalize_new_accesses. + * rtl-ssa/functions.h: Add parameter to finalize_new_accesses. + +2023-10-19 Alex Coplan + + * rtl-ssa/accesses.cc (function_info::reparent_use): New. + * rtl-ssa/functions.h (function_info): Declare new member + function reparent_use. + +2023-10-19 Alex Coplan + + * rtl-ssa/access-utils.h (drop_memory_access): New. + +2023-10-19 Alex Coplan + + * rtl-ssa/insns.cc (function_info::add_insn_after): Ensure we + update the prev pointer on the following nondebug insn in the + case that !insn->is_debug_insn () && next->is_debug_insn (). + +2023-10-19 Haochen Jiang + + * config/i386/i386.h: Correct the ISA enabled for Arrow Lake. + Also make Clearwater Forest depends on Sierra Forest. + * config/i386/i386-options.cc: Revise the order of the macro + definition to avoid confusion. + * doc/extend.texi: Revise documentation. + * doc/invoke.texi: Correct documentation. + +2023-10-19 Andrew Stubbs + + * config.gcc (amdgcn): Switch default to --with-arch=gfx900. + Implement support for --with-multilib-list. + * config/gcn/t-gcn-hsa: Likewise. + * doc/install.texi: Likewise. + * doc/invoke.texi: Mark Fiji deprecated. + +2023-10-19 Jiahao Xu + + * config/loongarch/loongarch.cc (loongarch_vector_costs): Inherit from + vector_costs. Add a constructor. + (loongarch_vector_costs::add_stmt_cost): Use adjust_cost_for_freq to + adjust the cost for inner loops. + (loongarch_vector_costs::count_operations): New function. + (loongarch_vector_costs::determine_suggested_unroll_factor): Ditto. + (loongarch_vector_costs::finish_cost): Ditto. + (loongarch_builtin_vectorization_cost): Adjust. + * config/loongarch/loongarch.opt (loongarch-vect-unroll-limit): New parameter. + (loongarcg-vect-issue-info): Ditto. + (mmemvec-cost): Delete. + * config/loongarch/genopts/loongarch.opt.in + (loongarch-vect-unroll-limit): Ditto. + (loongarcg-vect-issue-info): Ditto. + (mmemvec-cost): Delete. + * doc/invoke.texi (loongarcg-vect-unroll-limit): Document new option. + +2023-10-19 Jiahao Xu + + * config/loongarch/lasx.md + (vec_widen_mult_even_v8si): New patterns. + (vec_widen_add_hi_): Ditto. + (vec_widen_add_lo_): Ditto. + (vec_widen_sub_hi_): Ditto. + (vec_widen_sub_lo_): Ditto. + (vec_widen_mult_hi_): Ditto. + (vec_widen_mult_lo_): Ditto. + * config/loongarch/loongarch.md (u_bool): New iterator. + * config/loongarch/loongarch-protos.h + (loongarch_expand_vec_widen_hilo): New prototype. + * config/loongarch/loongarch.cc + (loongarch_expand_vec_interleave): New function. + (loongarch_expand_vec_widen_hilo): New function. + +2023-10-19 Jiahao Xu + + * config/loongarch/lasx.md + (avg3_ceil): New patterns. + (uavg3_ceil): Ditto. + (avg3_floor): Ditto. + (uavg3_floor): Ditto. + (usadv32qi): Ditto. + (ssadv32qi): Ditto. + * config/loongarch/lsx.md + (avg3_ceil): New patterns. + (uavg3_ceil): Ditto. + (avg3_floor): Ditto. + (uavg3_floor): Ditto. + (usadv16qi): Ditto. + (ssadv16qi): Ditto. + 2023-10-18 Andrew Pinski PR middle-end/111863 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 1e71ea70cb34..5402eeba5fc7 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20231019 +20231020 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 6cf1a63161d0..8e635ab43837 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,78 @@ +2023-10-19 Yannick Moy + + * aspects.ads: Add aspect Side_Effects. + * contracts.adb (Add_Pre_Post_Condition) + (Inherit_Subprogram_Contract): Add support for new contract. + * contracts.ads: Update comments. + * einfo-utils.adb (Get_Pragma): Add support. + * einfo-utils.ads (Prag): Update comment. + * errout.ads: Add explain codes. + * par-prag.adb (Prag): Add support. + * sem_ch13.adb (Analyze_Aspect_Specifications) + (Check_Aspect_At_Freeze_Point): Add support. + * sem_ch6.adb (Analyze_Subprogram_Body_Helper) + (Analyze_Subprogram_Declaration): Call new analysis procedure to + check SPARK legality rules. + (Analyze_SPARK_Subprogram_Specification): New procedure to check + SPARK legality rules. Use an explain code for the error. + (Analyze_Subprogram_Specification): Move checks to new subprogram. + This code was effectively dead, as the kind for parameters was set + to E_Void at this point to detect early references. + * sem_ch6.ads (Analyze_Subprogram_Specification): Add new + procedure. + * sem_prag.adb (Analyze_Depends_In_Decl_Part) + (Analyze_Global_In_Decl_Part): Adapt legality check to apply only + to functions without side-effects. + (Analyze_If_Present): Extract functionality in new procedure + Analyze_If_Present_Internal. + (Analyze_If_Present_Internal): New procedure to analyze given + pragma kind. + (Analyze_Pragmas_If_Present): New procedure to analyze given + pragma kind associated with a declaration. + (Analyze_Pragma): Adapt support for Always_Terminates and + Exceptional_Cases. Add support for Side_Effects. Make sure to call + Analyze_If_Present to ensure pragma Side_Effects is analyzed prior + to analyzing pragmas Global and Depends. Use explain codes for the + errors. + * sem_prag.ads (Analyze_Pragmas_If_Present): Add new procedure. + * sem_util.adb (Is_Function_With_Side_Effects): New query function + to determine if a function is a function with side-effects. + * sem_util.ads (Is_Function_With_Side_Effects): Same. + * snames.ads-tmpl: Declare new names for pragma and aspect. + * doc/gnat_rm/implementation_defined_aspects.rst: Document new aspect. + * doc/gnat_rm/implementation_defined_pragmas.rst: Document new pragma. + * gnat_rm.texi: Regenerate. + +2023-10-19 Sheri Bernstein + + * libgnat/s-imagef.adb (Set_Image_Fixed): Refactor loop. + +2023-10-19 Sheri Bernstein + + * libgnat/s-imguti.adb (Set_Decimal_Digits): Add pragma to exempt + Unassigned_OUT_Parameters. + (Set_Floating_Invalid_Value): Likewise + +2023-10-19 Patrick Bernardi + + * bindusg.adb (Display): Make it clear -Q adds to the number of + secondary stacks generated by the binder. + * doc/gnat_ugn/building_executable_programs_with_gnat.rst: + Document the -Q gnatbind switch and fix references to old + runtimes. + * gnat-style.texi: Regenerate. + * gnat_rm.texi: Regenerate. + * gnat_ugn.texi: Regenerate. + +2023-10-19 Ronan Desplanques + + * sem_ch3.adb (Constrain_Array): Replace manual list length + computation by call to List_Length. + +2023-10-19 Piotr Trojanek + + * exp_aggr.adb (Expand_Container_Aggregate): Simplify with "No". + 2023-10-10 Eric Botcazou * gcc-interface/decl.cc (inline_status_for_subprog): Minor tweak. diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index b4b1b908c634..bca51dfc034d 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,9 @@ +2023-10-19 Lewis Hyatt + + PR c++/89038 + * c-pragma.cc (handle_pragma_diagnostic_impl): Handle + -Wunknown-pragmas during early processing. + 2023-10-15 Jakub Jelinek PR tree-optimization/111800 diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index cd21db2dbfee..a779fa4139b5 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,15 @@ +2023-10-19 Andrew Pinski + + PR c/100532 + * c-typeck.cc (convert_argument): After erroring out + about an incomplete type return error_mark_node. + +2023-10-19 Andrew Pinski + + PR c/104822 + * c-typeck.cc (convert_for_assignment): Check for null pointer + before warning about an incompatible scalar storage order. + 2023-10-18 Andrew Pinski PR c/101364 diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 14e249ebe25e..9de839dc95c6 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,17 @@ +2023-10-19 Marek Polacek + + * cp-gimplify.cc (cp_fold_r): Don't call maybe_constant_value. + +2023-10-19 Jason Merrill + + * typeck2.cc (check_narrowing): Adjust. + +2023-10-19 Jason Merrill + + * parser.cc (cp_parser_primary_expression): Use G_. + (cp_parser_using_enum): Likewise. + * decl.cc (identify_goto): Likewise. + 2023-10-18 Jason Merrill * typeck2.cc (check_narrowing): Use permerror. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 66438e01442a..46cd2f6f786e 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,90 @@ +2023-10-19 Andre Vieira + + * gcc.dg/gomp/pr110485.c: New test. + +2023-10-19 Andre Vieira + + * gcc.dg/vect/vect-simd-clone-16f.c: Remove unnecessary differentation + between targets with different pointer sizes. + * gcc.dg/vect/vect-simd-clone-17f.c: Likewise. + * gcc.dg/vect/vect-simd-clone-18f.c: Likewise. + +2023-10-19 Andrew Pinski + + PR c/100532 + * gcc.dg/pr100532-1.c: New test. + +2023-10-19 Andrew Pinski + + PR c/104822 + * gcc.dg/sso-18.c: New test. + * gcc.dg/sso-19.c: New test. + +2023-10-19 Lewis Hyatt + + PR c++/89038 + * c-c++-common/cpp/Wunknown-pragmas-1.c: New test. + +2023-10-19 Lewis Hyatt + + PR preprocessor/82335 + * c-c++-common/cpp/diagnostic-pragma-3.c: New test. + +2023-10-19 Tamar Christina + + PR tree-optimization/111860 + * gcc.dg/vect/pr111860.c: New test. + +2023-10-19 Richard Biener + + PR tree-optimization/111131 + * gcc.dg/vect/vect-gather-1.c: Now expected to vectorize + everywhere. + * gcc.dg/vect/vect-gather-2.c: Expected to not SLP anywhere. + Massage the scale case to more reliably produce a different + one. Scan for the specific messages. + * gcc.dg/vect/vect-gather-3.c: Masked gather is also supported + for AVX2, but not emulated. + * gcc.dg/vect/vect-gather-4.c: Expected to not SLP anywhere. + Massage to more properly ensure this. + * gcc.dg/vect/tsvc/vect-tsvc-s353.c: Expect to vectorize + everywhere. + +2023-10-19 Alex Coplan + + * gcc.target/aarch64/pr71727.c: Adjust scan-assembler-not to + make sure we don't have q-register stores with -mstrict-align. + +2023-10-19 Alex Coplan + + * gcc.target/aarch64/sve/pcs/args_9.c: Adjust scan-assemblers to + allow for stp. + +2023-10-19 Alex Coplan + + * gcc.target/aarch64/lr_free_1.c: Add + --param=aarch64-stp-policy=never to dg-options. + +2023-10-19 Haochen Jiang + + * gcc.target/i386/funcspec-56.inc: Group Clearwater Forest + with atom cores. + +2023-10-19 Jiahao Xu + + * gcc.target/loongarch/vect-widen-add.c: New test. + * gcc.target/loongarch/vect-widen-mul.c: New test. + * gcc.target/loongarch/vect-widen-sub.c: New test. + +2023-10-19 Jiahao Xu + + * gcc.target/loongarch/avg-ceil-lasx.c: New test. + * gcc.target/loongarch/avg-ceil-lsx.c: New test. + * gcc.target/loongarch/avg-floor-lasx.c: New test. + * gcc.target/loongarch/avg-floor-lsx.c: New test. + * gcc.target/loongarch/sad-lasx.c: New test. + * gcc.target/loongarch/sad-lsx.c: New test. + 2023-10-18 Andrew Pinski PR middle-end/111863 diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 7a41e8e8739f..45d482a78bef 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,14 @@ +2023-10-19 François Dumont + + * include/bits/hashtable_policy.h + (_Hash_code_base::_M_hash_code(const _Hash&, const _Hash_node_value<>&)): Remove. + (_Hash_code_base::_M_hash_code<_H2>(const _H2&, const _Hash_node_value<>&)): Remove. + * include/bits/hashtable.h + (_M_src_hash_code<_H2>(const _H2&, const key_type&, const __node_value_type&)): New. + (_M_merge_unique<>, _M_merge_multi<>): Use latter. + * testsuite/23_containers/unordered_map/modifiers/merge.cc + (test04, test05, test06): New test cases. + 2023-10-13 Jakub Jelinek * testsuite/tr1/8_c_compatibility/cstdio/functions.cc (test01):