Merge of e0f9173

gcc/ChangeLog

@@ -1,3 +1,102 @@
+2023-07-28  Andrew MacLeod  <[email protected]>
+
+	* gimple-range-cache.cc (ssa_cache::merge_range): New.
+	(ssa_lazy_cache::merge_range): New.
+	* gimple-range-cache.h (class ssa_cache): Adjust protoypes.
+	(class ssa_lazy_cache): Ditto.
+	* gimple-range.cc (assume_query::calculate_op): Use merge_range.
+
+2023-07-28  Andrew MacLeod  <[email protected]>
+
+	* tree-ssa-propagate.cc (substitute_and_fold_engine::value_on_edge):
+	Move from value-query.cc.
+	(substitute_and_fold_engine::value_of_stmt): Ditto.
+	(substitute_and_fold_engine::range_of_expr): New.
+	* tree-ssa-propagate.h (substitute_and_fold_engine): Inherit from
+	range_query.  New prototypes.
+	* value-query.cc (value_query::value_on_edge): Relocate.
+	(value_query::value_of_stmt): Ditto.
+	* value-query.h (class value_query): Remove.
+	(class range_query): Remove base class.  Adjust prototypes.
+
+2023-07-28  Andrew MacLeod  <[email protected]>
+
+	PR tree-optimization/110205
+	* gimple-range-cache.h (ranger_cache::m_estimate): Delete.
+	* range-op-mixed.h (operator_bitwise_xor::op1_op2_relation_effect):
+	Add final override.
+	* range-op.cc (operator_lshift): Add missing final overrides.
+	(operator_rshift): Ditto.
+
+2023-07-28  Jose E. Marchesi  <[email protected]>
+
+	* config/bpf/bpf.cc (bpf_option_override): Disable tail-call
+	optimizations in BPF target.
+
+2023-07-28  Honza  <[email protected]>
+
+	* cfgloopmanip.cc (loop_count_in): Break out from ...
+	(loop_exit_for_scaling): Break out from ...
+	(update_loop_exit_probability_scale_dom_bbs): Break out from ...;
+	add more sanity check and debug info.
+	(scale_loop_profile): ... here.
+	(create_empty_loop_on_edge): Fix whitespac.
+	* cfgloopmanip.h (update_loop_exit_probability_scale_dom_bbs): Declare.
+	* loop-unroll.cc (unroll_loop_constant_iterations): Use
+	update_loop_exit_probability_scale_dom_bbs.
+	* tree-ssa-loop-manip.cc (update_exit_probability_after_unrolling): Remove.
+	(tree_transform_and_unroll_loop): Use
+	update_loop_exit_probability_scale_dom_bbs.
+	* tree-ssa-loop-split.cc (split_loop): Use
+	update_loop_exit_probability_scale_dom_bbs.
+
+2023-07-28  Jan Hubicka  <[email protected]>
+
+	PR middle-end/77689
+	* tree-ssa-loop-split.cc: Include value-query.h.
+	(split_at_bb_p): Analyze cases where EQ/NE can be turned
+	into LT/LE/GT/GE; return updated guard code.
+	(split_loop): Use guard code.
+
+2023-07-28  Roger Sayle  <[email protected]>
+	    Richard Biener  <[email protected]>
+
+	PR middle-end/28071
+	PR rtl-optimization/110587
+	* expr.cc (emit_group_load_1): Simplify logic for calling
+	force_reg on ORIG_SRC, to avoid making a copy if the source
+	is already in a pseudo register.
+
+2023-07-28  Jan Hubicka  <[email protected]>
+
+	PR middle-end/106923
+	* tree-ssa-loop-split.cc (connect_loops): Change probability
+	of the test preconditioning second loop to very_likely.
+	(fix_loop_bb_probability): Handle correctly case where
+	on of the arms of the conditional is empty.
+	(split_loop): Fold the test guarding first condition to
+	see if it is constant true; Set correct entry block
+	probabilities of the split loops; determine correct loop
+	eixt probabilities.
+
+2023-07-28  xuli  <[email protected]>
+
+	* config/riscv/riscv-vector-builtins-bases.cc: remove rounding mode of
+	vsadd[u] and vssub[u].
+	* config/riscv/vector.md: Ditto.
+
+2023-07-28  Jan Hubicka  <[email protected]>
+
+	* tree-ssa-loop-split.cc (split_loop): Also support NE driven
+	loops when IV test is not overflowing.
+
+2023-07-28  liuhongt  <[email protected]>
+
+	PR target/110788
+	* config/i386/sse.md (avx512cd_maskb_vec_dup<mode>): Add
+	UNSPEC_MASKOP.
+	(avx512cd_maskw_vec_dup<mode>): Ditto.
+
 2023-07-27  David Faust  <[email protected]>
 
 	PR target/110782

gcc/DATESTAMP

@@ -1 +1 @@
-20230728
+20230729

gcc/ada/ChangeLog

@@ -1,3 +1,116 @@
+2023-07-28  Eric Botcazou  <[email protected]>
+
+	* gcc-interface/trans.cc (gnat_to_gnu): Restrict previous change to
+	the case where the simple return statement has got no storage pool.
+
+2023-07-28  Clément Chigot  <[email protected]>
+
+	* libgnarl/s-inmaop__posix.adb: Add assert after sigwait in
+	Interrupt_Wait
+
+2023-07-28  Javier Miranda  <[email protected]>
+
+	* einfo-utils.adb (Underlying_Type): Protect recursion call
+	against non-available attribute Etype.
+	* einfo.ads (Protected_Subprogram): Fix typo in documentation.
+	* exp_ch3.adb (BIP_Function_Call_Id): New subprogram.
+	(Expand_N_Object_Declaration): Improve code that evaluates if the
+	object is initialized with a BIP function call.
+	* exp_ch6.adb (Is_True_Build_In_Place_Function_Call): New
+	subprogram.
+	(Add_Task_Actuals_To_Build_In_Place_Call): Add dummy actuals if
+	the function does not require the BIP task actuals but it is a
+	dispatching operation that inherited them.
+	(Build_In_Place_Formal): Improve code to avoid never-ending loop
+	if the BIP formal is not found.
+	(Add_Dummy_Build_In_Place_Actuals): New subprogram.
+	(Expand_Call_Helper): Add calls to
+	Add_Dummy_Build_In_Place_Actuals.
+	(Expand_N_Extended_Return_Statement): Adjust assertion.
+	(Expand_Simple_Function_Return): Adjust assertion.
+	(Make_Build_In_Place_Call_In_Allocator): No action needed if the
+	called function inherited the BIP extra formals but it is not a
+	true BIP function.
+	(Make_Build_In_Place_Call_In_Assignment): Ditto.
+	* exp_intr.adb (Expand_Dispatching_Constructor_Call): Remove code
+	reporting unsupported case (since this patch adds support for it).
+	* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Adding assertion
+	to ensure matching of BIP formals when setting the
+	Protected_Formal field of a protected subprogram to reference the
+	corresponding extra formal of the subprogram that implements it.
+	(Might_Need_BIP_Task_Actuals): New subprogram.
+	(Create_Extra_Formals): Improve code adding inherited extra
+	formals.
+
+2023-07-28  Pascal Obry  <[email protected]>
+
+	* s-oscons-tmplt.c: Add support for SO_BINDTODEVICE constant.
+	* libgnat/g-socket.ads (Set_Socket_Option): Handle SO_BINDTODEVICE option.
+	(Get_Socket_Option): Handle SO_BINDTODEVICE option.
+	* libgnat/g-socket.adb: Likewise.
+	(Get_Socket_Option): Handle the case where IF_NAMESIZE is not defined
+	and so equal to -1.
+
+2023-07-28  Léo Creuse  <[email protected]>
+
+	* par_sco.adb (Has_Decision): Consider that quantified expressions
+	contain decisions.
+
+2023-07-28  Ronan Desplanques  <[email protected]>
+
+	* libgnarl/s-tposen.adb: Fix race condition. Add comment to justify
+	the locking timing.
+
+2023-07-28  Viljar Indus  <[email protected]>
+
+	* exp_util.adb (Find_Optional_Prim_Op): use "No" instead of "= Empty"
+
+2023-07-28  Piotr Trojanek  <[email protected]>
+
+	* sem_res.adb (Resolve_Actuals): Add guard for the call to
+	Class_Preconditions_Subprogram.
+
+2023-07-28  Eric Botcazou  <[email protected]>
+
+	* exp_aggr.adb (Is_Two_Dim_Packed_Array): Return true only if the
+	component type of the array is scalar.
+
+2023-07-28  Piotr Trojanek  <[email protected]>
+
+	* sem_ch6.adb (Check_Statement_Sequence): Only warn about missing return
+	statements and let GNATprove emit a check when needed.
+
+2023-07-28  Tom Tromey  <[email protected]>
+
+	* fe.h (Convention): Now inline function.
+	* gen_il-gen.adb (Put_C_Type_And_Subtypes.Put_Enum_Lit)
+	(Put_C_Type_And_Subtypes.Put_Kind_Subtype, Put_C_Getter):
+	Emit enum.
+	* snames.h-tmpl (Name_Id, Name_, Attribute_Id, Attribute_)
+	(Convention_Id, Convention_, Pragma_Id, Pragma_): Now enum.
+	(Get_Attribute_Id, Get_Pragma_Id): Now inline functions.
+	* types.h (Node_Kind, Entity_Kind, Convention_Id, Name_Id):
+	Now enum.
+	* xsnamest.adb (Output_Header_Line, Make_Value): Emit enum.
+
+2023-07-28  Piotr Trojanek  <[email protected]>
+
+	* libgnat/a-except.ads (Save_Occurrence): Fix typo.
+
+2023-07-28  Piotr Trojanek  <[email protected]>
+
+	* einfo-utils.adb (Number_Formals): Change types in body.
+	* einfo-utils.ads (Number_Formals): Change type in spec.
+	* einfo.ads (Number_Formals): Change type in comment.
+	* sem_ch13.adb (Is_Property_Function): Fix style in a caller of
+	Number_Formals that was likely to crash because of missing guards.
+
+2023-07-28  Piotr Trojanek  <[email protected]>
+
+	* sem_warn.adb (Check_Infinite_Loop_Warning): Don't look at the type of
+	actual parameter when it has no type at all, e.g. because the entire
+	subprogram call is illegal.
+
 2023-07-18  Tom Tromey  <[email protected]>
 
 	* gcc-interface/decl.cc (check_ok_for_atomic_type): Use Pragma_Id.

gcc/cp/ChangeLog

@@ -1,3 +1,9 @@
+2023-07-28  Ng YongXiang  <[email protected]>
+
+	PR c++/110057
+	PR ipa/83054
+	* init.cc (build_vec_delete_1): Devirtualize array destruction.
+
 2023-07-27  Patrick Palka  <[email protected]>
 
 	PR c++/110197

gcc/fortran/ChangeLog

@@ -1,3 +1,11 @@
+2023-07-28  Harald Anlauf  <[email protected]>
+
+	PR fortran/110825
+	* gfortran.texi: Clarify argument passing convention.
+	* trans-expr.cc (gfc_conv_procedure_call): Do not pass the character
+	length as hidden argument when the declared dummy argument is
+	assumed-type.
+
 2023-07-27  Tobias Burnus  <[email protected]>
 
 	* openmp.cc (resolve_omp_target): Minor cleanup.

gcc/po/ChangeLog

@@ -1,3 +1,9 @@
+2023-07-28  Joseph Myers  <[email protected]>
+
+	* be.po, da.po, de.po, el.po, es.po, fi.po, fr.po, hr.po, id.po,
+	ja.po, nl.po, ru.po, sr.po, sv.po, tr.po, uk.po, vi.po, zh_CN.po,
+	zh_TW.po: Update.
+
 2023-07-26  Joseph Myers  <[email protected]>
 
 	* uk.po: Update.

gcc/testsuite/ChangeLog

@@ -1,3 +1,83 @@
+2023-07-28  Harald Anlauf  <[email protected]>
+
+	PR fortran/110825
+	* gfortran.dg/assumed_type_18.f90: New test.
+
+2023-07-28  Patrick O'Neill  <[email protected]>
+
+	* gcc.target/riscv/rvv/autovec/madd-split2-1.c: Add -mabi=lp64d
+	to dg-options.
+
+2023-07-28  Ng YongXiang  <[email protected]>
+
+	PR c++/110057
+	PR ipa/83054
+	* g++.dg/warn/pr83054.C: Remove devirtualization warning.
+	* g++.dg/lto/pr89335_0.C: Likewise.
+	* g++.dg/tree-ssa/devirt-array-destructor-1.C: New test.
+	* g++.dg/tree-ssa/devirt-array-destructor-2.C: New test.
+	* g++.dg/warn/pr83054-2.C: New test.
+
+2023-07-28  Jan Hubicka  <[email protected]>
+
+	PR middle-end/77689
+	* g++.dg/tree-ssa/loop-split-1.C: New test.
+
+2023-07-28  Jan Hubicka  <[email protected]>
+
+	PR middle-end/106293
+	* gcc.dg/tree-prof/loop-split-1.c: New test.
+	* gcc.dg/tree-prof/loop-split-2.c: New test.
+	* gcc.dg/tree-prof/loop-split-3.c: New test.
+
+2023-07-28  xuli  <[email protected]>
+
+	* g++.target/riscv/rvv/base/bug-12.C: Adapt testcase.
+	* g++.target/riscv/rvv/base/bug-14.C: Ditto.
+	* g++.target/riscv/rvv/base/bug-18.C: Ditto.
+	* g++.target/riscv/rvv/base/bug-19.C: Ditto.
+	* g++.target/riscv/rvv/base/bug-20.C: Ditto.
+	* g++.target/riscv/rvv/base/bug-21.C: Ditto.
+	* g++.target/riscv/rvv/base/bug-22.C: Ditto.
+	* g++.target/riscv/rvv/base/bug-23.C: Ditto.
+	* g++.target/riscv/rvv/base/bug-3.C: Ditto.
+	* g++.target/riscv/rvv/base/bug-8.C: Ditto.
+	* gcc.target/riscv/rvv/base/binop_vx_constraint-100.c: Ditto.
+	* gcc.target/riscv/rvv/base/binop_vx_constraint-101.c: Ditto.
+	* gcc.target/riscv/rvv/base/binop_vx_constraint-102.c: Ditto.
+	* gcc.target/riscv/rvv/base/binop_vx_constraint-103.c: Ditto.
+	* gcc.target/riscv/rvv/base/binop_vx_constraint-104.c: Ditto.
+	* gcc.target/riscv/rvv/base/binop_vx_constraint-105.c: Ditto.
+	* gcc.target/riscv/rvv/base/binop_vx_constraint-106.c: Ditto.
+	* gcc.target/riscv/rvv/base/binop_vx_constraint-107.c: Ditto.
+	* gcc.target/riscv/rvv/base/binop_vx_constraint-108.c: Ditto.
+	* gcc.target/riscv/rvv/base/binop_vx_constraint-109.c: Ditto.
+	* gcc.target/riscv/rvv/base/binop_vx_constraint-110.c: Ditto.
+	* gcc.target/riscv/rvv/base/binop_vx_constraint-111.c: Ditto.
+	* gcc.target/riscv/rvv/base/binop_vx_constraint-112.c: Ditto.
+	* gcc.target/riscv/rvv/base/binop_vx_constraint-113.c: Ditto.
+	* gcc.target/riscv/rvv/base/binop_vx_constraint-114.c: Ditto.
+	* gcc.target/riscv/rvv/base/binop_vx_constraint-115.c: Ditto.
+	* gcc.target/riscv/rvv/base/binop_vx_constraint-116.c: Ditto.
+	* gcc.target/riscv/rvv/base/binop_vx_constraint-117.c: Ditto.
+	* gcc.target/riscv/rvv/base/binop_vx_constraint-118.c: Ditto.
+	* gcc.target/riscv/rvv/base/binop_vx_constraint-119.c: Ditto.
+	* gcc.target/riscv/rvv/base/binop_vx_constraint-97.c: Ditto.
+	* gcc.target/riscv/rvv/base/binop_vx_constraint-98.c: Ditto.
+	* gcc.target/riscv/rvv/base/merge_constraint-1.c: Ditto.
+	* gcc.target/riscv/rvv/base/fixed-point-vxrm-error.c: New test.
+	* gcc.target/riscv/rvv/base/fixed-point-vxrm.c: New test.
+
+2023-07-28  Jan Hubicka  <[email protected]>
+
+	* gcc.dg/tree-ssa/ifc-12.c: Disable loop splitting.
+	* gcc.target/i386/avx2-gather-6.c: Likewise.
+	* gcc.target/i386/avx2-vect-aggressive.c: Likewise.
+
+2023-07-28  liuhongt  <[email protected]>
+
+	* gcc.target/i386/pr110788.c: New test.
+
 2023-07-27  David Faust  <[email protected]>
 
 	PR target/110782