From 96557ee6a0a234821af865800d22621efa6e7390 Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Wed, 4 Oct 2023 00:17:41 +0000 Subject: Daily bump. --- gcc/ChangeLog | 304 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 4 + gcc/analyzer/ChangeLog | 9 ++ gcc/c/ChangeLog | 5 + gcc/cp/ChangeLog | 9 ++ gcc/d/ChangeLog | 5 + gcc/fortran/ChangeLog | 5 + gcc/testsuite/ChangeLog | 32 +++++ 9 files changed, 374 insertions(+), 1 deletion(-) (limited to 'gcc') diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 101f6d5..b255d67 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,307 @@ +2023-10-03 Andrew MacLeod + + * tree-ssanames.cc (set_range_info): Use get_ptr_info for + pointers rather than range_info_get_range. + +2023-10-03 Martin Jambor + + * ipa-modref.h (modref_summary::dump): Make const. + * ipa-modref.cc (modref_summary::dump): Likewise. + (dump_lto_records): Dump to out instead of dump_file. + +2023-10-03 Martin Jambor + + PR ipa/110378 + * ipa-param-manipulation.cc + (ipa_param_body_adjustments::mark_dead_statements): Verify that any + return uses of PARAM will be removed. + (ipa_param_body_adjustments::mark_clobbers_dead): Likewise. + * ipa-sra.cc (isra_param_desc): New fields + remove_only_when_retval_removed and split_only_when_retval_removed. + (struct gensum_param_desc): Likewise. Fix comment long line. + (ipa_sra_function_summaries::duplicate): Copy the new flags. + (dump_gensum_param_descriptor): Dump the new flags. + (dump_isra_param_descriptor): Likewise. + (isra_track_scalar_value_uses): New parameter desc. Set its flag + remove_only_when_retval_removed when encountering a simple return. + (isra_track_scalar_param_local_uses): Replace parameter call_uses_p + with desc. Pass it to isra_track_scalar_value_uses and set its + call_uses. + (ptr_parm_has_nonarg_uses): Accept parameter descriptor as a + parameter. If there is a direct return use, mark any.. + (create_parameter_descriptors): Pass the whole parameter descriptor to + isra_track_scalar_param_local_uses and ptr_parm_has_nonarg_uses. + (process_scan_results): Copy the new flags. + (isra_write_node_summary): Stream the new flags. + (isra_read_node_info): Likewise. + (adjust_parameter_descriptions): Check that transformations + requring return removal only happen when return value is removed. + Restructure main loop. Adjust dump message. + +2023-10-03 Martin Jambor + + PR ipa/108007 + * cgraph.h (cgraph_edge): Add a parameter to + redirect_call_stmt_to_callee. + * ipa-param-manipulation.h (ipa_param_adjustments): Add a + parameter to modify_call. + * cgraph.cc (cgraph_edge::redirect_call_stmt_to_callee): New + parameter killed_ssas, pass it to padjs->modify_call. + * ipa-param-manipulation.cc (purge_transitive_uses): New function. + (ipa_param_adjustments::modify_call): New parameter killed_ssas. + Instead of substituting uses, invoke purge_transitive_uses. If + hash of killed SSAs has not been provided, create a temporary one + and release SSAs that have been added to it. + * tree-inline.cc (redirect_all_calls): Create + id->killed_new_ssa_names earlier, pass it to edge redirection, + adjust a comment. + (copy_body): Release SSAs in id->killed_new_ssa_names. + +2023-10-03 Andrew MacLeod + + * passes.def (pass_vrp): Pass "final pass" flag as parameter. + * tree-vrp.cc (vrp_pass_num): Remove. + (pass_vrp::my_pass): Remove. + (pass_vrp::pass_vrp): Add warn_p as a parameter. + (pass_vrp::final_p): New. + (pass_vrp::set_pass_param): Set final_p param. + (pass_vrp::execute): Call execute_range_vrp with no conditions. + (make_pass_vrp): Pass additional parameter. + (make_pass_early_vrp): Ditto. + +2023-10-03 Andrew MacLeod + + * tree-ssanames.cc (set_range_info): Return true only if the + current value changes. + +2023-10-03 David Malcolm + + * diagnostic.cc (diagnostic_set_info_translated): Update for "m_" + prefixes to text_info fields. + (diagnostic_report_diagnostic): Likewise. + (verbatim): Use text_info ctor. + (simple_diagnostic_path::add_event): Likewise. + (simple_diagnostic_path::add_thread_event): Likewise. + * dumpfile.cc (dump_pretty_printer::decode_format): Update for + "m_" prefixes to text_info fields. + (dump_context::dump_printf_va): Use text_info ctor. + * graphviz.cc (graphviz_out::graphviz_out): Use text_info ctor. + (graphviz_out::print): Likewise. + * opt-problem.cc (opt_problem::opt_problem): Likewise. + * pretty-print.cc (pp_format): Update for "m_" prefixes to + text_info fields. + (pp_printf): Use text_info ctor. + (pp_verbatim): Likewise. + (assert_pp_format_va): Likewise. + * pretty-print.h (struct text_info): Add ctors. Add "m_" prefix + to all fields. + * text-art/styled-string.cc (styled_string::from_fmt_va): Use + text_info ctor. + * tree-diagnostic.cc (default_tree_printer): Update for "m_" + prefixes to text_info fields. + * tree-pretty-print.h (pp_ti_abstract_origin): Likewise. + +2023-10-03 Roger Sayle + + * config/arc/arc.md (CC_ltu): New mode iterator for CC and CC_C. + (scc_ltu_): New define_insn to handle LTU form of scc_insn. + (*scc_insn): Don't split to a conditional move sequence for LTU. + +2023-10-03 Andrea Corallo + + * config/aarch64/aarch64.md (@ccmp) + (@ccmp_rev, *call_insn, *call_value_insn) + (*mov_aarch64, load_pair_sw_) + (load_pair_dw_) + (store_pair_sw_) + (store_pair_dw_, *extendsidi2_aarch64) + (*zero_extendsidi2_aarch64, *load_pair_zero_extendsidi2_aarch64) + (*extend2_aarch64) + (*zero_extend2_aarch64) + (*extendqihi2_aarch64, *zero_extendqihi2_aarch64) + (*add3_aarch64, *addsi3_aarch64_uxtw, *add3_poly_1) + (add3_compare0, *addsi3_compare0_uxtw) + (*add3_compareC_cconly, add3_compareC) + (*add3_compareV_cconly_imm, add3_compareV_imm) + (*add3nr_compare0, subdi3, subv_imm) + (*cmpv_insn, sub3_compare1_imm, neg2) + (cmp, fcmp, fcmpe, *cmov_insn) + (*cmovsi_insn_uxtw, 3, *si3_uxtw) + (*and3_compare0, *andsi3_compare0_uxtw, one_cmpl2) + (*_one_cmpl3, *and3nr_compare0) + (*aarch64_ashl_sisd_or_int_3) + (*aarch64_lshr_sisd_or_int_3) + (*aarch64_ashr_sisd_or_int_3, *ror3_insn) + (*si3_insn_uxtw, _trunc2) + (2) + (3) + (3) + (*aarch64_3_cssc, copysign3_insn): Update + to new syntax. + * config/aarch64/aarch64-sve2.md (@aarch64_scatter_stnt) + (@aarch64_scatter_stnt_) + (*aarch64_mul_unpredicated_) + (@aarch64_pred_, *cond__2) + (*cond__3, *cond__any) + (*cond__z, @aarch64_pred_) + (*cond__2, *cond__3) + (*cond__any, @aarch64_sve_) + (@aarch64_sve__lane_) + (@aarch64_sve_add_mul_lane_) + (@aarch64_sve_sub_mul_lane_, @aarch64_sve2_xar) + (*aarch64_sve2_bcax, @aarch64_sve2_eor3) + (*aarch64_sve2_nor, *aarch64_sve2_nand) + (*aarch64_sve2_bsl, *aarch64_sve2_nbsl) + (*aarch64_sve2_bsl1n, *aarch64_sve2_bsl2n) + (*aarch64_sve2_sra, @aarch64_sve_add_) + (*aarch64_sve2_aba, @aarch64_sve_add_) + (@aarch64_sve_add__lane_) + (@aarch64_sve_qadd_) + (@aarch64_sve_qadd__lane_) + (@aarch64_sve_sub_) + (@aarch64_sve_sub__lane_) + (@aarch64_sve_qsub_) + (@aarch64_sve_qsub__lane_) + (@aarch64_sve_, @aarch64__lane_) + (@aarch64_pred_) + (@aarch64_pred_, *cond__2) + (*cond__z, @aarch64_sve_) + (@aarch64__lane_, @aarch64_sve_) + (@aarch64__lane_, @aarch64_pred_) + (*cond__any_relaxed) + (*cond__any_strict) + (@aarch64_pred_, *cond_) + (@aarch64_pred_, *cond_) + (*cond__strict): Update to new syntax. + * config/aarch64/aarch64-sve.md (*aarch64_sve_mov_ldr_str) + (*aarch64_sve_mov_no_ldr_str, @aarch64_pred_mov) + (*aarch64_sve_mov, aarch64_wrffr) + (mask_scatter_store) + (*mask_scatter_store_xtw_unpacked) + (*mask_scatter_store_sxtw) + (*mask_scatter_store_uxtw) + (@aarch64_scatter_store_trunc) + (@aarch64_scatter_store_trunc) + (*aarch64_scatter_store_trunc_sxtw) + (*aarch64_scatter_store_trunc_uxtw) + (*vec_duplicate_reg, vec_shl_insert_) + (vec_series, @extract__) + (@aarch64_pred_, *cond__2) + (*cond__any, @aarch64_pred_) + (@aarch64_sve_revbhw_) + (@cond_) + (*2) + (@aarch64_pred_sxt) + (@aarch64_cond_sxt) + (*cond_uxt_2, *cond_uxt_any, *cnot) + (*cond_cnot_2, *cond_cnot_any) + (@aarch64_pred_, *cond__2_relaxed) + (*cond__2_strict, *cond__any_relaxed) + (*cond__any_strict, @aarch64_pred_) + (*cond__2, *cond__3) + (*cond__any, add3, sub3) + (@aarch64_pred_abd, *aarch64_cond_abd_2) + (*aarch64_cond_abd_3, *aarch64_cond_abd_any) + (@aarch64_sve_, @aarch64_pred_) + (*cond__2, *cond__z) + (@aarch64_pred_, *cond__2) + (*cond__3, *cond__any, 3) + (*cond_bic_2, *cond_bic_any) + (@aarch64_pred_, *cond__2_const) + (*cond__any_const, *cond__m) + (*cond__z, *sdiv_pow23) + (*cond__2, *cond__any) + (@aarch64_pred_, *cond__2_relaxed) + (*cond__2_strict, *cond__any_relaxed) + (*cond__any_strict, @aarch64_pred_) + (*cond__2_relaxed, *cond__2_strict) + (*cond__2_const_relaxed) + (*cond__2_const_strict) + (*cond__3_relaxed, *cond__3_strict) + (*cond__any_relaxed, *cond__any_strict) + (*cond__any_const_relaxed) + (*cond__any_const_strict) + (@aarch64_pred_, *cond_add_2_const_relaxed) + (*cond_add_2_const_strict) + (*cond_add_any_const_relaxed) + (*cond_add_any_const_strict, @aarch64_pred_) + (*cond__2_relaxed, *cond__2_strict) + (*cond__any_relaxed, *cond__any_strict) + (@aarch64_pred_, *cond_sub_3_const_relaxed) + (*cond_sub_3_const_strict, *cond_sub_const_relaxed) + (*cond_sub_const_strict, *aarch64_pred_abd_relaxed) + (*aarch64_pred_abd_strict) + (*aarch64_cond_abd_2_relaxed) + (*aarch64_cond_abd_2_strict) + (*aarch64_cond_abd_3_relaxed) + (*aarch64_cond_abd_3_strict) + (*aarch64_cond_abd_any_relaxed) + (*aarch64_cond_abd_any_strict, @aarch64_pred_) + (@aarch64_pred_fma, *cond_fma_2, *cond_fma_4) + (*cond_fma_any, @aarch64_pred_fnma) + (*cond_fnma_2, *cond_fnma_4, *cond_fnma_any) + (dot_prod, @aarch64_dot_prod_lane) + (@dot_prod, @aarch64_dot_prod_lane) + (@aarch64_sve_add_, @aarch64_pred_) + (*cond__2_relaxed, *cond__2_strict) + (*cond__4_relaxed, *cond__4_strict) + (*cond__any_relaxed, *cond__any_strict) + (@aarch64__lane_, @aarch64_pred_) + (*cond__4_relaxed, *cond__4_strict) + (*cond__any_relaxed, *cond__any_strict) + (@aarch64__lane_, @aarch64_sve_tmad) + (@aarch64_sve_vnx4sf) + (@aarch64_sve__lanevnx4sf) + (@aarch64_sve_, *vcond_mask_) + (@aarch64_sel_dup, @aarch64_pred_cmp) + (*cmp_cc, *cmp_ptest) + (@aarch64_pred_fcm, @fold_extract__) + (@aarch64_fold_extract_vector__) + (@aarch64_sve_splice) + (@aarch64_sve__nontrunc) + (@aarch64_sve__trunc) + (*cond__nontrunc_relaxed) + (*cond__nontrunc_strict) + (*cond__trunc) + (@aarch64_sve__nonextend) + (@aarch64_sve__extend) + (*cond__nonextend_relaxed) + (*cond__nonextend_strict) + (*cond__extend) + (@aarch64_sve__trunc) + (*cond__trunc) + (@aarch64_sve__trunc) + (*cond__trunc) + (@aarch64_sve__nontrunc) + (*cond__nontrunc) + (@aarch64_brk, *aarch64_sve__cntp): Update + to new syntax. + * config/aarch64/aarch64-simd.md (aarch64_simd_dup) + (load_pair) + (vec_store_pair, aarch64_simd_stp) + (aarch64_simd_mov_from_low) + (aarch64_simd_mov_from_high, and3) + (ior3, aarch64_simd_ashr) + (aarch64_simd_bsl_internal) + (*aarch64_simd_bsl_alt) + (aarch64_simd_bsldi_internal, aarch64_simd_bsldi_alt) + (store_pair_lanes, *aarch64_combine_internal) + (*aarch64_combine_internal_be, *aarch64_combinez) + (*aarch64_combinez_be) + (aarch64_cm, *aarch64_cmdi) + (aarch64_cm, *aarch64_mov) + (*aarch64_be_mov, *aarch64_be_movoi): Update to new syntax. + +2023-10-03 Andrea Corallo + + * gensupport.cc (convert_syntax): Skip spaces before "cons:" + in new compact pattern syntax. + +2023-10-03 Richard Sandiford + + * gensupport.cc (convert_syntax): Updated to support unordered + constraints in compact syntax. + 2023-10-02 Michael Meissner * config/rs6000/rs6000.md (UNSPEC_COPYSIGN): Delete. diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index e2ca227..32b8a8b 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20231003 +20231004 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 485589b..afe419e 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2023-10-03 David Malcolm + + * gcc-interface/misc.cc: Use text_info ctor. + 2023-10-02 David Malcolm * gcc-interface/misc.cc (gnat_post_options): Update for renaming diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index daa6628..4766e5b 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,12 @@ +2023-10-03 David Malcolm + + * analyzer-logging.cc (logger::log_va_partial): Use text_info + ctor. + * analyzer.cc (make_label_text): Likewise. + (make_label_text_n): Likewise. + * pending-diagnostic.cc (evdesc::event_desc::formatted_print): + Likewise. + 2023-10-02 David Malcolm * program-point.cc: Update for grouping of source printing fields diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index eb4097c..655237f 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,8 @@ +2023-10-03 David Malcolm + + * c-objc-common.cc (c_tree_printer): Update for "m_" prefixes to + text_info fields. + 2023-09-30 Eugene Rozenfeld * Make-lang.in: Make create_fdas_for_cc1 target not .PHONY diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index ba092fe..14c09dd 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,12 @@ +2023-10-03 David Malcolm + + * error.cc (print_instantiation_partial_context_line): Call + diagnostic_show_locus. + +2023-10-03 David Malcolm + + * error.cc: Update for "m_" prefixes to text_info fields. + 2023-09-30 Eugene Rozenfeld * Make-lang.in: Make create_fdas_for_cc1plus target not .PHONY diff --git a/gcc/d/ChangeLog b/gcc/d/ChangeLog index 403e27e..951e270 100644 --- a/gcc/d/ChangeLog +++ b/gcc/d/ChangeLog @@ -1,3 +1,8 @@ +2023-10-03 David Malcolm + + * d-diagnostic.cc (d_diagnostic_report_diagnostic): Use text_info + ctor. + 2023-09-23 Iain Buclaw * dmd/MERGE: Merge upstream dmd 4574d1728d. diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index fe0f084..a8f07e1 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,8 @@ +2023-10-03 David Malcolm + + * error.cc (gfc_format_decoder): Update for "m_" prefixes to + text_info fields. + 2023-10-02 David Malcolm * error.cc (gfc_diagnostics_init): Update for change to start_span. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 8092fa3..1a72db5 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,35 @@ +2023-10-03 David Malcolm + + * g++.dg/diagnostic/static_assert3.C: Add directives for + additional source printing. + * g++.dg/template/error60.C: New test. + +2023-10-03 Patrick O'Neill + + * gcc.target/riscv/rvv/fortran/pr111566.f90: Restore escaped + characters. + +2023-10-03 Martin Jambor + + PR ipa/110378 + * gcc.dg/ipa/ipa-sra-32.c: New test. + * gcc.dg/ipa/pr110378-4.c: Likewise. + * gcc.dg/ipa/ipa-sra-4.c: Use a return value. + +2023-10-03 Martin Jambor + + PR ipa/108007 + * gcc.dg/ipa/pr108007.c: New test. + +2023-10-03 Andrew MacLeod + + * gcc.dg/pr93917.c: Check for ranges in final optimized listing. + * gcc.dg/tree-ssa/vrp-unreachable.c: Ditto. + +2023-10-03 Roger Sayle + + * gcc.target/arc/scc-ltu.c: New test case. + 2023-10-02 John David Anglin * gfortran.dg/pr95690.f90: Add hppa*-*-* to dg-error targets at line 5. -- cgit v1.1