Daily bump.

Author: GCC Administrator

gcc/ChangeLog

@@ -1,3 +1,187 @@
+2024-02-21  Edwin Lu  <[email protected]>
+
+	* config/riscv/riscv.cc (riscv_sched_variable_issue): Enable assert
+
+2024-02-21  Edwin Lu  <[email protected]>
+	    Robin Dapp  <[email protected]>
+
+	* config/riscv/generic-ooo.md (generic_ooo): Move reservation
+	(generic_ooo_vec_load): Ditto
+	(generic_ooo_vec_store): Ditto
+	(generic_ooo_vec_loadstore_seg): Ditto
+	(generic_ooo_vec_alu): Ditto
+	(generic_ooo_vec_fcmp): Ditto
+	(generic_ooo_vec_imul): Ditto
+	(generic_ooo_vec_fadd): Ditto
+	(generic_ooo_vec_fmul): Ditto
+	(generic_ooo_crypto): Ditto
+	(generic_ooo_perm): Ditto
+	(generic_ooo_vec_reduction): Ditto
+	(generic_ooo_vec_ordered_reduction): Ditto
+	(generic_ooo_vec_idiv): Ditto
+	(generic_ooo_vec_float_divsqrt): Ditto
+	(generic_ooo_vec_mask): Ditto
+	(generic_ooo_vec_vesetvl): Ditto
+	(generic_ooo_vec_setrm): Ditto
+	(generic_ooo_vec_readlen): Ditto
+	* config/riscv/riscv.md: Include generic-vector-ooo
+	* config/riscv/generic-vector-ooo.md: New file. To here
+
+2024-02-21  Edwin Lu  <[email protected]>
+
+	* config/riscv/generic-ooo.md (generic_ooo_sfb_alu): Add reservation
+	(generic_ooo_branch): Ditto
+	* config/riscv/generic.md (generic_sfb_alu): Ditto
+	(generic_fmul_half): Ditto
+	* config/riscv/riscv.md: Remove cbo, pushpop, and rdfrm types
+	* config/riscv/sifive-7.md (sifive_7_hfma): Add reservation
+	(sifive_7_popcount): Ditto
+	* config/riscv/sifive-p400.md (sifive_p400_clmul): Ditto
+	* config/riscv/sifive-p600.md (sifive_p600_clmul): Ditto
+	* config/riscv/vector.md: Change rdfrm to fmove
+	* config/riscv/zc.md: Change pushpop to load/store
+
+2024-02-21  Jonathan Wakely  <[email protected]>
+
+	* doc/invoke.texi (Warning Options): Fix typos.
+
+2024-02-21  David Faust  <[email protected]>
+
+	* config/bpf/bpf-protos.h (bpf_expand_cpymem): New.
+	* config/bpf/bpf.cc: (emit_move_loop, bpf_expand_cpymem): New.
+	* config/bpf/bpf.md: (cpymemdi, movmemdi): New define_expands.
+
+2024-02-21  Martin Jambor  <[email protected]>
+
+	PR ipa/113476
+	* ipa-prop.h (ipa_node_params): Convert lattices to a vector, adjust
+	initializers in the contructor.
+	(ipa_node_params::~ipa_node_params): Release lattices as a vector.
+	* ipa-cp.h: New file.
+	* ipa-cp.cc: Include sreal.h and ipa-cp.h.
+	(ipcp_value_source): Move to ipa-cp.h.
+	(ipcp_value_base): Likewise.
+	(ipcp_value): Likewise.
+	(ipcp_lattice): Likewise.
+	(ipcp_agg_lattice): Likewise.
+	(ipcp_bits_lattice): Likewise.
+	(ipcp_vr_lattice): Likewise.
+	(ipcp_param_lattices): Likewise.
+	(ipa_get_parm_lattices): Remove assert latticess is non-NULL.
+	(ipa_value_from_jfunc): Adjust a check for empty lattices.
+	(ipa_context_from_jfunc): Likewise.
+	(ipa_agg_value_from_jfunc): Likewise.
+	(merge_agg_lats_step): Do not memset new aggregate lattices to zero.
+	(ipcp_propagate_stage): Allocate lattices in a vector as opposed to
+	just in contiguous memory.
+	(ipcp_store_vr_results): Adjust a check for empty lattices.
+	* auto-profile.cc: Include sreal.h and ipa-cp.h.
+	* cgraph.cc: Likewise.
+	* cgraphclones.cc: Likewise.
+	* cgraphunit.cc: Likewise.
+	* config/aarch64/aarch64.cc: Likewise.
+	* config/i386/i386-builtins.cc: Likewise.
+	* config/i386/i386-expand.cc: Likewise.
+	* config/i386/i386-features.cc: Likewise.
+	* config/i386/i386-options.cc: Likewise.
+	* config/i386/i386.cc: Likewise.
+	* config/rs6000/rs6000.cc: Likewise.
+	* config/s390/s390.cc: Likewise.
+	* gengtype.cc (open_base_files): Added sreal.h and ipa-cp.h to the
+	files to be included in gtype-desc.cc.
+	* gimple-range-fold.cc: Include sreal.h and ipa-cp.h.
+	* ipa-devirt.cc: Likewise.
+	* ipa-fnsummary.cc: Likewise.
+	* ipa-icf.cc: Likewise.
+	* ipa-inline-analysis.cc: Likewise.
+	* ipa-inline-transform.cc: Likewise.
+	* ipa-inline.cc: Include ipa-cp.h, move inclusion of sreal.h higher.
+	* ipa-modref.cc: Include sreal.h and ipa-cp.h.
+	* ipa-param-manipulation.cc: Likewise.
+	* ipa-predicate.cc: Likewise.
+	* ipa-profile.cc: Likewise.
+	* ipa-prop.cc: Likewise.
+	(ipa_node_params_t::duplicate): Assert new lattices remain empty
+	instead of setting them to NULL.
+	* ipa-pure-const.cc: Include sreal.h and ipa-cp.h.
+	* ipa-split.cc: Likewise.
+	* ipa-sra.cc: Likewise.
+	* ipa-strub.cc: Likewise.
+	* ipa-utils.cc: Likewise.
+	* ipa.cc: Likewise.
+	* toplev.cc: Likewise.
+	* tree-ssa-ccp.cc: Likewise.
+	* tree-ssa-sccvn.cc: Likewise.
+	* tree-vrp.cc: Likewise.
+
+2024-02-21  Tamar Christina  <[email protected]>
+
+	* config/aarch64/aarch64-arches.def (AARCH64_ARCH): Remove LS64 from
+	Armv8.7-a.
+
+2024-02-21  Richard Sandiford  <[email protected]>
+
+	* config/aarch64/aarch64.cc (aarch64_mode_emit_local_sme_state):
+	Use aarch64_gen_compare_zero_and_branch rather than emitting
+	a CBZ directly.
+
+2024-02-21  Richard Sandiford  <[email protected]>
+
+	* config/aarch64/aarch64.cc (aarch64_option_valid_attribute_p):
+	Remove duplicated call.
+
+2024-02-21  Richard Sandiford  <[email protected]>
+
+	* config/aarch64/aarch64.cc (aarch64_function_ok_for_sibcall):
+	Check that each individual piece of state is shared in the same
+	way, rather than using an aggregate check for PSTATE.ZA.
+
+2024-02-21  Richard Sandiford  <[email protected]>
+
+	* config/aarch64/aarch64.cc (aarch64_mode_emit_local_sme_state):
+	In the code that commits a lazy save, only zero ZA if the function
+	has ZA state.  Similarly zero ZT0 if the function has ZT0 state.
+
+2024-02-21  Richard Sandiford  <[email protected]>
+
+	* config/aarch64/aarch64-sme.md (aarch64_commit_lazy_save): Remove,
+	directly inserting the associated sequence
+	* config/aarch64/aarch64.cc (aarch64_mode_emit_local_sme_state):
+	...here instead.
+
+2024-02-21  Richard Sandiford  <[email protected]>
+
+	PR target/113995
+	* config/aarch64/aarch64.cc (aarch64_expand_prologue): Don't
+	fold the SVE allocation into the initial allocation if the
+	initial allocation includes a VG save.
+
+2024-02-21  Richard Sandiford  <[email protected]>
+
+	PR target/113220
+	* cfgrtl.cc (commit_one_edge_insertion): Handle sequences that
+	contain jumps even if called after initial RTL expansion.
+	* mode-switching.cc: Include cfgbuild.h.
+	(optimize_mode_switching): Allow the sequence returned by the
+	emit hook to contain internal jumps.  Record which blocks
+	contain such jumps and split the blocks at the end.
+	* config/aarch64/aarch64.cc (aarch64_mode_emit): Check for
+	non-debug insns when scanning the sequence.
+
+2024-02-21  Tobias Burnus  <[email protected]>
+
+	* config/nvptx/gen-omp-device-properties.sh: Add 'nvptx64' to arch.
+	* config/nvptx/nvptx.cc (nvptx_omp_device_kind_arch_isa): Likewise.
+
+2024-02-21  Dimitar Dimitrov  <[email protected]>
+
+	* doc/invoke.texi (-mmcu): Add information about MCU specs.
+
+2024-02-21  Dimitar Dimitrov  <[email protected]>
+
+	* doc/invoke.texi (-minrt): Clarify that main
+	must take no arguments.
+
 2024-02-20  Georg-Johann Lay  <[email protected]>
 
 	* config/avr/builtins.def: Use function prototypes of given size

gcc/DATESTAMP

@@ -1 +1 @@
-20240221
+20240222

gcc/analyzer/ChangeLog

@@ -1,3 +1,19 @@
+2024-02-21  David Malcolm  <[email protected]>
+
+	PR analyzer/113999
+	* analyzer.h (get_string_cst_size): New decl.
+	* region-model-manager.cc (get_string_cst_size): New.
+	(region_model_manager::maybe_get_char_from_string_cst): Treat
+	single-byte accesses within string_cst but beyond
+	TREE_STRING_LENGTH as being 0.
+	* region-model.cc (string_cst_has_null_terminator): Likewise.
+
+2024-02-21  David Malcolm  <[email protected]>
+
+	PR analyzer/113998
+	* ranges.cc (symbolic_byte_range::intersection): Handle empty ranges.
+	(selftest::test_intersects): Add test coverage for empty ranges.
+
 2024-02-19  David Malcolm  <[email protected]>
 
 	PR analyzer/111289

gcc/lto/ChangeLog

@@ -1,3 +1,10 @@
+2024-02-21  Martin Jambor  <[email protected]>
+
+	PR ipa/113476
+	* lto-common.cc: Include sreal.h and ipa-cp.h.
+	* lto-partition.cc: Include ipa-cp.h, move inclusion of sreal higher.
+	* lto.cc: Include sreal.h and ipa-cp.h.
+
 2024-02-10  Jakub Jelinek  <[email protected]>
 
 	* lto-common.cc (print_lto_report_1): Use HOST_SIZE_T_PRINT_DEC

gcc/m2/ChangeLog

@@ -1,3 +1,52 @@
+2024-02-21  Gaius Mulley  <[email protected]>
+
+	PR modula2/114026
+	* gm2-compiler/M2GenGCC.mod (Import): Remove DisplayQuadruples.
+	Remove DisplayQuadList.
+	(MixTypesBinary): Replace check with overflowCheck.
+	New variable typeChecking.
+	Use GenQuadOTypetok to retrieve typeChecking.
+	Use typeChecking to suppress error message.
+	* gm2-compiler/M2LexBuf.def (MakeVirtual2Tok): New procedure
+	function.
+	* gm2-compiler/M2LexBuf.mod (MakeVirtualTok): Improve comment.
+	(MakeVirtual2Tok): New procedure function.
+	* gm2-compiler/M2Quads.def (GetQuadOTypetok): New procedure.
+	* gm2-compiler/M2Quads.mod (QuadFrame): New field CheckType.
+	(PutQuadO): Rewrite using PutQuadOType.
+	(PutQuadOType): New procedure.
+	(GetQuadOTypetok): New procedure.
+	(BuildPseudoBy): Rewrite.
+	(BuildForToByDo): Remove type checking.
+	Add parameters e2, e2tok, BySym, bytok to
+	InitForLoopBeginRange.
+	Push the RangeId.
+	(BuildEndFor): Pop the RangeId.
+	Use GenQuadOTypetok to generate AddOp without type checking.
+	Call PutRangeForIncrement with the RangeId and IncQuad.
+	(GenQuadOtok): Rewrite using GenQuadOTypetok.
+	(GenQuadOTypetok): New procedure.
+	* gm2-compiler/M2Range.def (InitForLoopBeginRangeCheck):
+	Rename d as des, e as expr.
+	Add expr1, expr1tok, expr2, expr2tok, byconst, byconsttok
+	parameters.
+	(PutRangeForIncrement): New procedure.
+	* gm2-compiler/M2Range.mod (Import): MakeVirtual2Tok.
+	(Range): Add expr2, byconst, destok, exprtok, expr2tok,
+	incrementquad.
+	(InitRange): Initialize expr2 to NulSym.
+	Initialize byconst to NulSym.
+	Initialize tokenNo, destok, exprtok, expr2tok, byconst to
+	UnknownTokenNo.
+	Initialize incrementquad to 0.
+	(PutRangeForIncrement): New procedure.
+	(PutRangeDesExpr2): New procedure.
+	(InitForLoopBeginRangeCheck): Rewrite.
+	(ForLoopBeginTypeCompatible): New procedure function.
+	(CodeForLoopBegin): Call ForLoopBeginTypeCompatible and
+	only code the for loop assignment if all the type checks
+	succeed.
+
 2024-02-19  Gaius Mulley  <[email protected]>
 
 	PR modula2/113889

gcc/rust/ChangeLog

@@ -1,3 +1,50 @@
+2024-02-21  0xn4utilus  <[email protected]>
+
+	* checks/errors/rust-ast-validation.cc (ASTValidation::visit):
+	Add variadic check on all parameters.
+
+2024-02-21  Owen Avery  <[email protected]>
+
+	* backend/rust-compile-pattern.cc
+	(CompilePatternLet::visit):
+	Lookup type of sub-pattern, not tuple pattern itself.
+
+2024-02-21  Marc Poulhiès  <[email protected]>
+
+	* backend/rust-builtins.cc
+	(BuiltinsContext::register_rust_mappings): Add powi and reformat.
+	* backend/rust-builtins.h: Add missing copyright header.
+
+2024-02-21  Arthur Cohen  <[email protected]>
+
+	* expand/rust-macro-expand.h (struct MacroExpander): Nitpick: fix
+	formatting of emitted error.
+
+2024-02-21  Owen Avery  <[email protected]>
+
+	* resolve/rust-ast-resolve-item.cc
+	(flatten_glob): Use Import class.
+	(flatten_rebind): Likewise.
+	(flatten_list): Likewise.
+	(flatten): Likewise.
+	(flatten_use_dec_to_paths): Likewise.
+	(flatten_use_dec_to_imports): Likewise.
+	(ResolveItem::visit): Likewise.
+	(Import::add_prefix): New.
+	(rust_flatten_nested_glob): Adjust test.
+	(rust_flatten_glob): Likewise.
+	(rust_flatten_rebind_none): Likewise.
+	(rust_flatten_rebind): Likewise.
+	(rust_flatten_rebind_nested): Likewise.
+	(rust_flatten_list): Likewise.
+	* resolve/rust-ast-resolve-item.h
+	(class Import): New.
+
+2024-02-21  Arthur Cohen  <[email protected]>
+
+	* typecheck/rust-hir-type-check-implitem.h: Fix typo in field
+	(region_costraints -> region_constraints).
+
 2024-02-07  Kushal Pal  <[email protected]>
 
 	* parse/rust-parse-impl.h (Parser::parse_trait_item):