https://gcc.gnu.org/g:0ab643555c24eddfd692605ca185a04527993a56
commit r15-931-g0ab643555c24eddfd692605ca185a04527993a56
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Fri May 31 00:17:38 2024 +0000
Daily bump.
Diff:
---
gcc/ChangeLog | 118 +++++++++++++++++++++++++
gcc/DATESTAMP | 2 +-
gcc/analyzer/ChangeLog | 231 ++++++++++++++++++++++++++++++++++++++++++++++++
gcc/testsuite/ChangeLog | 60 +++++++++++++
libgomp/ChangeLog | 7 ++
libstdc++-v3/ChangeLog | 6 ++
6 files changed, 423 insertions(+), 1 deletion(-)
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 9091a27027b..6152b62cac6 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,121 @@
+2024-05-30 Uros Bizjak <ubiz...@gmail.com>
+
+ PR target/115102
+ * config/i386/i386.md (bswaphi2): Also enable for !TARGET_MOVBE.
+ (*bswaphi2): New insn pattern.
+ (bswaphisi2_lowpart): Rename from bswaphi_lowpart. Rewrite
+ insn RTX to match the expected form of the combine pass.
+ Remove rol{w} alternative and corresponding attributes.
+ (bswsaphisi2_lowpart peephole2): New peephole2 pattern to
+ conditionally convert bswaphisi2_lowpart to rotlhi3_1_slp.
+ (bswapsi2): Update expander for rename.
+ (rotlhi3_1_slp splitter): Conditionally split to bswaphi2.
+
+2024-05-30 Richard Sandiford <richard.sandif...@arm.com>
+
+ PR rtl-optimization/115281
+ * ira-conflicts.cc (go_through_subreg): Use the natural size of
+ the inner mode rather than the outer mode.
+
+2024-05-30 Ajit Kumar Agarwal <aagar...@linux.ibm.com>
+
+ * pair-fusion.h: Generic header code for load store pair fusion
+ that can be shared across different architectures.
+ * pair-fusion.cc: Generic source code implementation for
+ load store pair fusion that can be shared across different
architectures.
+ * Makefile.in: Add new object file pair-fusion.o.
+ * config/aarch64/aarch64-ldp-fusion.cc: Delete generic code and move it
+ to pair-fusion.cc in the middle-end.
+ * config/aarch64/t-aarch64: Add header file dependency on pair-fusion.h.
+ Remove unnecessary header file dependency.
+
+2024-05-30 Rainer Orth <r...@cebitec.uni-bielefeld.de>
+
+ PR c++/115031
+ * config/sparc/sol2.h (GGC_QUIRE_SIZE): Define as 510.
+
+2024-05-30 David Malcolm <dmalc...@redhat.com>
+
+ * Makefile.in (OBJS-libcommon): Add text-art/tree-widget.o.
+ * doc/analyzer.texi: Rewrite discussion of dumping state to
+ cover the text_art::tree_widget-based dumps, with a more
+ interesting example.
+ * text-art/dump-widget-info.h: New file.
+ * text-art/dump.h: New file.
+ * text-art/selftests.cc (selftest::text_art_tests): Call
+ text_art_tree_widget_cc_tests.
+ * text-art/selftests.h (selftest::text_art_tree_widget_cc_tests):
+ New decl.
+ * text-art/theme.cc (ascii_theme::get_cppchar): Handle the various
+ cell_kind::TREE_*.
+ (unicode_theme::get_cppchar): Likewise.
+ * text-art/theme.h (enum class theme::cell_kind): Add
+ TREE_CHILD_NON_FINAL, TREE_CHILD_FINAL, TREE_X_CONNECTOR, and
+ TREE_Y_CONNECTOR.
+ * text-art/tree-widget.cc: New file.
+ * text-art/tree-widget.h: New file.
+
+2024-05-30 liuhongt <hongtao....@intel.com>
+
+ * config/i386/sse.md (vcond_mask_<mode><mode>): New expander.
+
+2024-05-30 liuhongt <hongtao....@intel.com>
+
+ PR tree-optimization/112325
+ * tree-ssa-loop-ivcanon.cc (estimated_unrolled_size): Move the
+ 2 / 3 loop body size reduction to ..
+ (try_unroll_loop_completely): .. here, add it for the check of
+ body size shrink, and the check of comparison against
+ param_max_completely_peeled_insns when
+ (!cunrolli ||loop->inner).
+ (canonicalize_loop_induction_variables): Add new parameter
+ cunrolli and pass down.
+ (tree_unroll_loops_completely_1): Ditto.
+ (canonicalize_induction_variables): Pass cunrolli as false to
+ canonicalize_loop_induction_variables.
+ (tree_unroll_loops_completely): Set cunrolli to true at
+ beginning and set it to false after CHANGED is true.
+
+2024-05-30 Alexandre Oliva <ol...@adacore.com>
+
+ * doc/sourcebuild.texi (dg-additional-sources): Document
+ newly-added support for target selectors, and implicit discard
+ on non-linking tests that name the compiler output explicitly.
+
+2024-05-30 Jiawei <jia...@iscas.ac.cn>
+
+ * tree-ssa-pre.cc (create_component_ref_by_pieces_1): New conditions.
+
+2024-05-30 Hans-Peter Nilsson <h...@axis.com>
+
+ Revert:
+ 2024-05-28 Hans-Peter Nilsson <h...@axis.com>
+
+ * resource.cc: Include cfgrtl.h. Use BLOCK_FOR_INSN (insn)->index
+ instead of calling find_basic_block (insn). Assert for not -1.
+ (find_basic_block): Remove function.
+ (init_resource_info): Call compute_bb_for_insn.
+ (free_resource_info): Call free_bb_for_insn.
+
+2024-05-30 Hans-Peter Nilsson <h...@axis.com>
+
+ Revert:
+ 2024-05-28 Hans-Peter Nilsson <h...@axis.com>
+
+ * resource.cc (mark_target_live_regs): Remove redundant check for b
+ being -1, after gcc_assert.
+
+2024-05-30 Hans-Peter Nilsson <h...@axis.com>
+
+ Revert:
+ 2024-05-28 Hans-Peter Nilsson <h...@axis.com>
+
+ * resource.cc (free_resource_info, clear_hashed_info_for_insn): Don't
+ check for non-null target_hash_table and bb_ticks.
+ (mark_target_live_regs): Ditto. Replace check for non-NULL result from
+ BLOCK_FOR_INSN with a call to gcc_assert. Fold code conditioned on
+ tinfo != NULL.
+
2024-05-29 YunQiang Su <s...@gcc.gnu.org>
* config/mips/mips.cc(mips16_gp_pseudo_reg): Mark
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 4f23b7f073e..a7808a0e59e 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20240530
+20240531
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 45150dd2e9f..5fe629d67a4 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,234 @@
+2024-05-30 David Malcolm <dmalc...@redhat.com>
+
+ * infinite-loop.cc (looping_back_event::get_desc): Fix unused
+ parameter warning introduced by me in r15-636-g770657d02c986c.
+
+2024-05-30 David Malcolm <dmalc...@redhat.com>
+
+ * call-details.cc: Define INCLUDE_VECTOR.
+ * call-info.cc: Likewise.
+ * call-summary.cc: Likewise.
+ * checker-event.cc: Likewise.
+ * checker-path.cc: Likewise.
+ * complexity.cc: Likewise.
+ * constraint-manager.cc: Likewise.
+ (bounded_range::make_dump_widget): New.
+ (bounded_ranges::add_to_dump_widget): New.
+ (equiv_class::make_dump_widget): New.
+ (constraint::make_dump_widget): New.
+ (bounded_ranges_constraint::make_dump_widget): New.
+ (constraint_manager::make_dump_widget): New.
+ * constraint-manager.h (bounded_range::make_dump_widget): New
+ decl.
+ (bounded_ranges::add_to_dump_widget): New decl.
+ (equiv_class::make_dump_widget): New decl.
+ (constraint::make_dump_widget): New decl.
+ (bounded_ranges_constraint::make_dump_widget): New decl.
+ (constraint_manager::make_dump_widget): New decl.
+ * diagnostic-manager.cc: Define INCLUDE_VECTOR.
+ * engine.cc: Likewise. Include "text-art/dump.h".
+ (setjmp_svalue::print_dump_widget_label): New.
+ (setjmp_svalue::add_dump_widget_children): New.
+ (exploded_graph::dump_exploded_nodes): Use text_art::dump_to_file
+ for -fdump-analyzer-exploded-nodes-2 and
+ -fdump-analyzer-exploded-nodes-3. Fix overlong line.
+ * feasible-graph.cc: Define INCLUDE_VECTOR.
+ * infinite-recursion.cc: Likewise.
+ * kf-analyzer.cc: Likewise.
+ * kf-lang-cp.cc: Likewise.
+ * kf.cc: Likewise.
+ * known-function-manager.cc: Likewise.
+ * pending-diagnostic.cc: Likewise.
+ * program-point.cc: Likewise.
+ * program-state.cc: Likewise. Include "text-art/tree-widget" and
+ "text-art/dump.h".
+ (sm_state_map::make_dump_widget): New.
+ (program_state::dump): New.
+ (program_state::make_dump_widget): New.
+ * program-state.h: Include "text-art/widget.h".
+ (sm_state_map::make_dump_widget): New decl.
+ (program_state::dump): New decl.
+ (program_state::make_dump_widget): New decl.
+ * ranges.cc: Define INCLUDE_VECTOR.
+ * record-layout.cc: Likewise.
+ * region-model-asm.cc: Likewise.
+ * region-model-manager.cc: Likewise.
+ * region-model-reachability.cc: Likewise.
+ * region-model.cc: Likewise. Include "text-art/tree-widget.h".
+ (region_to_value_map::make_dump_widget): New.
+ (region_model::dump): New.
+ (region_model::make_dump_widget): New.
+ (selftest::test_dump): Add test of dump_to_pp<region_model>.
+ * region-model.h: Include "text-art/widget.h" and
+ "text-art/dump.h".
+ (region_to_value_map::make_dump_widget): New decl.
+ (region_model::dump): New decl.
+ (region_model::make_dump_widget): New decl.
+ * region.cc: Define INCLUDE_VECTOR and include "text-art/dump.h".
+ (region::dump): New.
+ (region::make_dump_widget): New.
+ (region::add_dump_widget_children): New.
+ (frame_region::print_dump_widget_label): New.
+ (globals_region::print_dump_widget_label): New.
+ (code_region::print_dump_widget_label): New.
+ (function_region::print_dump_widget_label): New.
+ (label_region::print_dump_widget_label): New.
+ (stack_region::print_dump_widget_label): New.
+ (heap_region::print_dump_widget_label): New.
+ (root_region::print_dump_widget_label): New.
+ (thread_local_region::print_dump_widget_label): New.
+ (symbolic_region::print_dump_widget_label): New.
+ (symbolic_region::add_dump_widget_children): New.
+ (decl_region::print_dump_widget_label): New.
+ (field_region::print_dump_widget_label): New.
+ (element_region::print_dump_widget_label): New.
+ (element_region::add_dump_widget_children): New.
+ (offset_region::print_dump_widget_label): New.
+ (offset_region::add_dump_widget_children): New.
+ (sized_region::print_dump_widget_label): New.
+ (sized_region::add_dump_widget_children): New.
+ (cast_region::print_dump_widget_label): New.
+ (cast_region::add_dump_widget_children): New.
+ (heap_allocated_region::print_dump_widget_label): New.
+ (alloca_region::print_dump_widget_label): New.
+ (string_region::print_dump_widget_label): New.
+ (bit_range_region::print_dump_widget_label): New.
+ (var_arg_region::print_dump_widget_label): New.
+ (errno_region::print_dump_widget_label): New.
+ (private_region::print_dump_widget_label): New.
+ (unknown_region::print_dump_widget_label): New.
+ * region.h: Include "text-art/widget.h".
+ (region::dump): New decl.
+ (region::make_dump_widget): New decl.
+ (region::add_dump_widget_children): New decl.
+ (frame_region::print_dump_widget_label): New decl.
+ (globals_region::print_dump_widget_label): New decl.
+ (code_region::print_dump_widget_label): New decl.
+ (function_region::print_dump_widget_label): New decl.
+ (label_region::print_dump_widget_label): New decl.
+ (stack_region::print_dump_widget_label): New decl.
+ (heap_region::print_dump_widget_label): New decl.
+ (root_region::print_dump_widget_label): New decl.
+ (thread_local_region::print_dump_widget_label): New decl.
+ (symbolic_region::print_dump_widget_label): New decl.
+ (symbolic_region::add_dump_widget_children): New decl.
+ (decl_region::print_dump_widget_label): New decl.
+ (field_region::print_dump_widget_label): New decl.
+ (element_region::print_dump_widget_label): New decl.
+ (element_region::add_dump_widget_children): New decl.
+ (offset_region::print_dump_widget_label): New decl.
+ (offset_region::add_dump_widget_children): New decl.
+ (sized_region::print_dump_widget_label): New decl.
+ (sized_region::add_dump_widget_children): New decl.
+ (cast_region::print_dump_widget_label): New decl.
+ (cast_region::add_dump_widget_children): New decl.
+ (heap_allocated_region::print_dump_widget_label): New decl.
+ (alloca_region::print_dump_widget_label): New decl.
+ (string_region::print_dump_widget_label): New decl.
+ (bit_range_region::print_dump_widget_label): New decl.
+ (var_arg_region::print_dump_widget_label): New decl.
+ (errno_region::print_dump_widget_label): New decl.
+ (private_region::print_dump_widget_label): New decl.
+ (unknown_region::print_dump_widget_label): New decl.
+ * sm-fd.cc: Define INCLUDE_VECTOR.
+ * sm-file.cc: Likewise.
+ * sm-malloc.cc: Likewise.
+ * sm-pattern-test.cc: Likewise.
+ * sm-signal.cc: Likewise.
+ * sm-taint.cc: Likewise.
+ * sm.cc: Likewise.
+ * state-purge.cc: Likewise.
+ * store.cc: Likewise. Include "text-art/tree-widget.h".
+ (add_binding_to_tree_widget): New.
+ (binding_map::add_to_tree_widget): New.
+ (binding_cluster::make_dump_widget): New.
+ (store::make_dump_widget): New.
+ * store.h: Include "text-art/tree-widget.h".
+ (binding_map::add_to_tree_widget): New decl.
+ (binding_cluster::make_dump_widget): New decl.
+ (store::make_dump_widget): New decl.
+ * svalue.cc: Define INCLUDE_VECTOR. Include "make-unique.h" and
+ "text-art/dump.h".
+ (svalue::dump): New.
+ (svalue::make_dump_widget): New.
+ (region_svalue::print_dump_widget_label): New.
+ (region_svalue::add_dump_widget_children): New.
+ (constant_svalue::print_dump_widget_label): New.
+ (constant_svalue::add_dump_widget_children): New.
+ (unknown_svalue::print_dump_widget_label): New.
+ (unknown_svalue::add_dump_widget_children): New.
+ (poisoned_svalue::print_dump_widget_label): New.
+ (poisoned_svalue::add_dump_widget_children): New.
+ (initial_svalue::print_dump_widget_label): New.
+ (initial_svalue::add_dump_widget_children): New.
+ (unaryop_svalue::print_dump_widget_label): New.
+ (unaryop_svalue::add_dump_widget_children): New.
+ (binop_svalue::print_dump_widget_label): New.
+ (binop_svalue::add_dump_widget_children): New.
+ (sub_svalue::print_dump_widget_label): New.
+ (sub_svalue::add_dump_widget_children): New.
+ (repeated_svalue::print_dump_widget_label): New.
+ (repeated_svalue::add_dump_widget_children): New.
+ (bits_within_svalue::print_dump_widget_label): New.
+ (bits_within_svalue::add_dump_widget_children): New.
+ (widening_svalue::print_dump_widget_label): New.
+ (widening_svalue::add_dump_widget_children): New.
+ (placeholder_svalue::print_dump_widget_label): New.
+ (placeholder_svalue::add_dump_widget_children): New.
+ (unmergeable_svalue::print_dump_widget_label): New.
+ (unmergeable_svalue::add_dump_widget_children): New.
+ (compound_svalue::print_dump_widget_label): New.
+ (compound_svalue::add_dump_widget_children): New.
+ (conjured_svalue::print_dump_widget_label): New.
+ (conjured_svalue::add_dump_widget_children): New.
+ (asm_output_svalue::print_dump_widget_label): New.
+ (asm_output_svalue::add_dump_widget_children): New.
+ (const_fn_result_svalue::print_dump_widget_label): New.
+ (const_fn_result_svalue::add_dump_widget_children): New.
+ * svalue.h: Include "text-art/widget.h". Add "using
+ text_art::dump_widget_info".
+ (svalue::dump): New decl.
+ (svalue::make_dump_widget): New decl.
+ (svalue::print_dump_widget_label): New decl.
+ (svalue::print_dump_widget_label): New decl.
+ (svalue::add_dump_widget_children): New decl.
+ (region_svalue::print_dump_widget_label): New decl.
+ (region_svalue::add_dump_widget_children): New decl.
+ (constant_svalue::print_dump_widget_label): New decl.
+ (constant_svalue::add_dump_widget_children): New decl.
+ (unknown_svalue::print_dump_widget_label): New decl.
+ (unknown_svalue::add_dump_widget_children): New decl.
+ (poisoned_svalue::print_dump_widget_label): New decl.
+ (poisoned_svalue::add_dump_widget_children): New decl.
+ (initial_svalue::print_dump_widget_label): New decl.
+ (initial_svalue::add_dump_widget_children): New decl.
+ (unaryop_svalue::print_dump_widget_label): New decl.
+ (unaryop_svalue::add_dump_widget_children): New decl.
+ (binop_svalue::print_dump_widget_label): New decl.
+ (binop_svalue::add_dump_widget_children): New decl.
+ (sub_svalue::print_dump_widget_label): New decl.
+ (sub_svalue::add_dump_widget_children): New decl.
+ (repeated_svalue::print_dump_widget_label): New decl.
+ (repeated_svalue::add_dump_widget_children): New decl.
+ (bits_within_svalue::print_dump_widget_label): New decl.
+ (bits_within_svalue::add_dump_widget_children): New decl.
+ (widening_svalue::print_dump_widget_label): New decl.
+ (widening_svalue::add_dump_widget_children): New decl.
+ (placeholder_svalue::print_dump_widget_label): New decl.
+ (placeholder_svalue::add_dump_widget_children): New decl.
+ (unmergeable_svalue::print_dump_widget_label): New decl.
+ (unmergeable_svalue::add_dump_widget_children): New decl.
+ (compound_svalue::print_dump_widget_label): New decl.
+ (compound_svalue::add_dump_widget_children): New decl.
+ (conjured_svalue::print_dump_widget_label): New decl.
+ (conjured_svalue::add_dump_widget_children): New decl.
+ (asm_output_svalue::print_dump_widget_label): New decl.
+ (asm_output_svalue::add_dump_widget_children): New decl.
+ (const_fn_result_svalue::print_dump_widget_label): New decl.
+ (const_fn_result_svalue::add_dump_widget_children): New decl.
+ * trimmed-graph.cc: Define INCLUDE_VECTOR.
+ * varargs.cc: Likewise.
+
2024-05-28 David Malcolm <dmalc...@redhat.com>
* region-model.cc: Include "selftest-tree.h".
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 78c7b95bd4a..8ac23d9241a 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,63 @@
+2024-05-30 Uros Bizjak <ubiz...@gmail.com>
+
+ PR target/115102
+ * gcc.target/i386/pr115102.c: New test.
+
+2024-05-30 Richard Sandiford <richard.sandif...@arm.com>
+
+ PR rtl-optimization/115281
+ * gfortran.dg/pr115281.f90: New test.
+
+2024-05-30 David Malcolm <dmalc...@redhat.com>
+
+ * gcc.dg/plugin/analyzer_cpython_plugin.c: Define INCLUDE_VECTOR.
+ * gcc.dg/plugin/analyzer_gil_plugin.c: Likewise.
+ * gcc.dg/plugin/analyzer_kernel_plugin.c: Likewise.
+ * gcc.dg/plugin/analyzer_known_fns_plugin.c: Likewise.
+
+2024-05-30 Alexandre Oliva <ol...@adacore.com>
+
+ PR testsuite/101169
+ * gcc.target/powerpc/fold-vec-extract-double.p7.c: Adjust addi
+ counts for ilp32.
+ * gcc.target/powerpc/fold-vec-extract-float.p7.c: Likewise.
+ * gcc.target/powerpc/fold-vec-extract-float.p8.c: Likewise.
+ * gcc.target/powerpc/fold-vec-extract-int.p7.c: Likewise.
+ * gcc.target/powerpc/fold-vec-extract-int.p8.c: Likewise.
+ * gcc.target/powerpc/fold-vec-extract-short.p7.c: Likewise.
+ * gcc.target/powerpc/fold-vec-extract-short.p8.c: Likewise.
+
+2024-05-30 liuhongt <hongtao....@intel.com>
+
+ * gcc.target/i386/pr114125.c: New test.
+
+2024-05-30 liuhongt <hongtao....@intel.com>
+
+ * gcc.dg/vect/pr112325.c: New test.
+
+2024-05-30 Alexandre Oliva <ol...@adacore.com>
+
+ * lib/gcc-defs.exp (dg-additional-sources): Support target
+ selectors. Make it cumulative.
+ (dg-additional-files-options): Take dest and type. Note
+ unsupported additional sources when not linking and naming the
+ compiler output. Adjust source dirname prepending to cope
+ with leading blanks.
+ * lib/g++.exp (g++_target_compile): Pass dest and type on to
+ dg-additional-files-options.
+ * lib/gcc.exp (gcc_target_compile): Likewise.
+ * lib/gdc.exp (gdb_target_compile): Likewise.
+ * lib/gfortran.exp (gfortran_target_compile): Likewise.
+ * lib/go.exp (go_target_compile): Likewise.
+ * lib/obj-c++.exp (obj-c++_target_compile): Likewise.
+ * lib/objc.exp (objc_target_compile): Likewise.
+ * lib/rust.exp (rust_target_compile): Likewise.
+ * lib/profopt.exp (profopt-execute): Likewise-ish.
+
+2024-05-30 Jiawei <jia...@iscas.ac.cn>
+
+ * gcc.target/riscv/rvv/vsetvl/pr115214.c: New test.
+
2024-05-29 Martin Uecker <uec...@tugraz.at>
* gcc.dg/c23-tag-incomplete-alias-1.c: New test.
diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog
index 369f587df42..8b06f81a08a 100644
--- a/libgomp/ChangeLog
+++ b/libgomp/ChangeLog
@@ -1,3 +1,10 @@
+2024-05-30 Tobias Burnus <tbur...@baylibre.com>
+
+ * libgomp.texi (OpenMP 5.0 status): Mark 'requires' as done and
+ link to 'Offload-Target Specifics'.
+ (OpenMP 5.2 status): Add item about additional map-type modifiers
+ in 'declare mapper'.
+
2024-05-29 Tobias Burnus <tbur...@baylibre.com>
* libgomp.texi (gcn): Update USM handling
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index ea1ab3a436d..538fb6b82b2 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,9 @@
+2024-05-30 Alexandre Oliva <ol...@adacore.com>
+
+ * configure.ac [*-*-rtems*]: Set chdir, chmod and mkdir as
+ available.
+ * configure: Rebuilt.
+
2024-05-29 François Dumont <fdum...@gcc.gnu.org>
* include/bits/vector.tcc (_Guard): Move all the nested duplicated
class...
