From 6d966f9f174df11edbd516b6ad6ec404d30d0357 Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Wed, 5 Jul 2023 00:17:06 +0000 Subject: [PATCH] Daily bump. --- gcc/ChangeLog | 155 ++++++++++++++++++++++++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 36 ++++++++++ gcc/lto/ChangeLog | 10 +++ gcc/testsuite/ChangeLog | 37 ++++++++++ 5 files changed, 239 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 65b6be4cbb5d..9e0bdab1399d 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,158 @@ +2023-07-04 Andrew Pinski + + PR tree-optimization/110487 + * match.pd (a !=/== CST1 ? CST2 : CST3): Always + build a nonstandard integer and use that. + +2023-07-04 Andrew Pinski + + * match.pd (a?-1:0): Cast type an integer type + rather the type before the negative. + (a?0:-1): Likewise. + +2023-07-04 Takayuki 'January June' Suwa + + * config/xtensa/xtensa.cc (machine_function, xtensa_expand_prologue): + Change to use HARD_REG_BIT and its macros. + * config/xtensa/xtensa.md + (peephole2: regmove elimination during DFmode input reload): + Likewise. + +2023-07-04 Richard Biener + + PR tree-optimization/110491 + * tree-ssa-phiopt.cc (match_simplify_replacement): Check + whether the PHI args are possibly undefined before folding + the COND_EXPR. + +2023-07-04 Pan Li + Thomas Schwinge + + * lto-streamer-in.cc (lto_input_mode_table): Stream in the mode + bits for machine mode table. + * lto-streamer-out.cc (lto_write_mode_table): Stream out the + HOST machine mode bits. + * lto-streamer.h (struct lto_file_decl_data): New fields mode_bits. + * tree-streamer.cc (streamer_mode_table): Take MAX_MACHINE_MODE + as the table size. + * tree-streamer.h (streamer_mode_table): Ditto. + (bp_pack_machine_mode): Take 1 << ceil_log2 (MAX_MACHINE_MODE) + as the packing limit. + (bp_unpack_machine_mode): Ditto with 'file_data->mode_bits'. + +2023-07-04 Thomas Schwinge + + * lto-streamer.h (class lto_input_block): Capture + 'lto_file_decl_data *file_data' instead of just + 'unsigned char *mode_table'. + * ipa-devirt.cc (ipa_odr_read_section): Adjust. + * ipa-fnsummary.cc (inline_read_section): Likewise. + * ipa-icf.cc (sem_item_optimizer::read_section): Likewise. + * ipa-modref.cc (read_section): Likewise. + * ipa-prop.cc (ipa_prop_read_section, read_replacements_section): + Likewise. + * ipa-sra.cc (isra_read_summary_section): Likewise. + * lto-cgraph.cc (input_cgraph_opt_section): Likewise. + * lto-section-in.cc (lto_create_simple_input_block): Likewise. + * lto-streamer-in.cc (lto_read_body_or_constructor) + (lto_input_toplevel_asms): Likewise. + * tree-streamer.h (bp_unpack_machine_mode): Likewise. + +2023-07-04 Richard Biener + + * tree-ssa-phiopt.cc (pass_phiopt::execute): Mark SSA undefs. + (empty_bb_or_one_feeding_into_p): Check for them. + * tree-ssa.h (gimple_uses_undefined_value_p): Remove. + * tree-ssa.cc (gimple_uses_undefined_value_p): Likewise. + +2023-07-04 Richard Biener + + * tree-vect-loop.cc (vect_analyze_loop_costing): Remove + check guarding scalar_niter underflow. + +2023-07-04 Hao Liu + + PR tree-optimization/110531 + * tree-vect-loop.cc (vect_analyze_loop_1): initialize + slp_done_for_suggested_uf to false. + +2023-07-04 Richard Biener + + PR tree-optimization/110228 + * tree-ssa-ifcombine.cc (pass_tree_ifcombine::execute): + Mark SSA may-undefs. + (bb_no_side_effects_p): Check stmt uses for undefs. + +2023-07-04 Richard Biener + + PR tree-optimization/110436 + * tree-vect-stmts.cc (vect_mark_relevant): Expand dumping, + force live but not relevant pattern stmts relevant. + +2023-07-04 Lili Cui + + * config/i386/i386.h: Add PTA_ENQCMD and PTA_UINTR to PTA_SIERRAFOREST. + * doc/invoke.texi: Update new isa to march=sierraforest and grandridge. + +2023-07-04 Richard Biener + + PR middle-end/110495 + * tree.h (TREE_OVERFLOW): Do not mention VECTOR_CSTs + since we do not set TREE_OVERFLOW on those since the + introduction of VL vectors. + * match.pd (x +- CST +- CST): For VECTOR_CST do not look + at TREE_OVERFLOW to determine validity of association. + +2023-07-04 Richard Biener + + PR tree-optimization/110310 + * tree-vect-loop.cc (vect_determine_partial_vectors_and_peeling): + Move costing part ... + (vect_analyze_loop_costing): ... here. Integrate better + estimate for epilogues from ... + (vect_analyze_loop_2): Call vect_determine_partial_vectors_and_peeling + with actual epilogue status. + * tree-vect-loop-manip.cc (vect_do_peeling): ... here and + avoid cancelling epilogue vectorization. + (vect_update_epilogue_niters): Remove. No longer update + epilogue LOOP_VINFO_NITERS. + +2023-07-04 Pan Li + + Revert: + 2023-07-03 Pan Li + + * config/riscv/vector.md: Fix typo. + +2023-07-04 Ju-Zhe Zhong + + * doc/md.texi: Add len_mask_gather_load/len_mask_scatter_store. + * internal-fn.cc (expand_scatter_store_optab_fn): Ditto. + (expand_gather_load_optab_fn): Ditto. + (internal_load_fn_p): Ditto. + (internal_store_fn_p): Ditto. + (internal_gather_scatter_fn_p): Ditto. + (internal_fn_len_index): Ditto. + (internal_fn_mask_index): Ditto. + (internal_fn_stored_value_index): Ditto. + * internal-fn.def (LEN_MASK_GATHER_LOAD): Ditto. + (LEN_MASK_SCATTER_STORE): Ditto. + * optabs.def (OPTAB_CD): Ditto. + +2023-07-04 Juzhe-Zhong + + * config/riscv/riscv-vsetvl.cc + (vector_insn_info::parse_insn): Add early break. + +2023-07-04 Hans-Peter Nilsson + + * config/cris/cris.md (CRIS_UNSPEC_SWAP_BITS): Remove. + ("cris_swap_bits", "ctzsi2"): Use bitreverse instead. + +2023-07-04 Hans-Peter Nilsson + + * dwarf2out.cc (mem_loc_descriptor): Handle BITREVERSE. + 2023-07-03 Christoph Müllner * common/config/riscv/riscv-common.cc: Add support for zvbb, diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index a75b56cd2f4d..31e1a2e29a70 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20230704 +20230705 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 20fdaa68b271..c3f590624f0e 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,39 @@ +2023-07-04 Eric Botcazou + + * exp_ch5.adb (Expand_Assign_Array): Adjust comment above the + calls to Possible_Bit_Aligned_Component on the LHS and RHS. Do not + call Is_Possibly_Unaligned_Slice in the slice case. + * exp_util.ads (Component_May_Be_Bit_Aligned): Add For_Slice + boolean parameter. + (Possible_Bit_Aligned_Component): Likewise. + * exp_util.adb (Component_May_Be_Bit_Aligned): Do not return False + for the slice of a small record or bit-packed array component. + (Possible_Bit_Aligned_Component): Pass For_Slice in recursive + calls, except in the slice case where True is passed, as well as + in call to Component_May_Be_Bit_Aligned. + +2023-07-04 Eric Botcazou + + * exp_ch4.ads (Expand_Unchecked_Union_Equality): Only take a + single parameter. + * exp_ch4.adb (Expand_Unchecked_Union_Equality): Add guard against + repeated invocation on the same node. + * exp_ch6.adb (Expand_Call): Only pass a single actual parameter + in the call to Expand_Unchecked_Union_Equality. + +2023-07-04 Viljar Indus + + * doc/gnat_rm/standard_and_implementation_defined_restrictions.rst: + add No_Use_Of_Attribute & No_Use_Of_Pragma restrictions. + * gnat_rm.texi: Regenerate. + * gnat_ugn.texi: Regenerate. + +2023-07-04 Yannick Moy + + * sem_disp.adb (Inherited_Subprograms): Add parameter to filter + out results. + * sem_disp.ads: Likewise. + 2023-07-03 Eric Botcazou * exp_ch3.ads (Build_Variant_Record_Equality): Add Spec_Id as second diff --git a/gcc/lto/ChangeLog b/gcc/lto/ChangeLog index 4df6a2e534b3..ef375fae9a56 100644 --- a/gcc/lto/ChangeLog +++ b/gcc/lto/ChangeLog @@ -1,3 +1,13 @@ +2023-07-04 Pan Li + Thomas Schwinge + + * lto-common.cc (lto_file_finalize) [!ACCEL_COMPILER]: Initialize + 'file_data->mode_bits'. + +2023-07-04 Thomas Schwinge + + * lto-common.cc (lto_read_decls): Adjust. + 2023-06-29 Qing Zhao * lto-common.cc (compare_tree_sccs_1): Compare bit diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 1fad2a5e1eed..b6ce873d8acd 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,40 @@ +2023-07-04 Richard Biener + + PR tree-optimization/110491 + * gcc.dg/torture/pr110491.c: New testcase. + +2023-07-04 Richard Biener + + PR tree-optimization/110376 + * gcc.dg/torture/pr110376.c: New testcase. + +2023-07-04 Richard Biener + + PR tree-optimization/110228 + * gcc.dg/torture/pr110228.c: New testcase. + * gcc.dg/uninit-pr101912.c: Un-XFAIL. + +2023-07-04 Richard Biener + + PR tree-optimization/110436 + * gcc.dg/pr110436.c: New testcase. + +2023-07-04 Richard Biener + + PR middle-end/110495 + * gcc.dg/tree-ssa/addadd-2.c: Amend. + * gcc.dg/tree-ssa/forwprop-27.c: Adjust. + +2023-07-04 Richard Biener + + PR tree-optimization/110310 + * gcc.target/i386/pr110310.c: New testcase. + * gcc.dg/vect/slp-perm-12.c: Disable epilogue vectorization. + +2023-07-04 Juzhe-Zhong + + * gcc.target/riscv/rvv/vsetvl/avl_prop-1.c: New test. + 2023-07-03 Christoph Müllner * gcc.target/riscv/zvbb.c: New test. -- 2.47.2