diff options
| -rw-r--r-- | ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ChangeLog | 74 | ||||
| -rw-r--r-- | gcc/DATESTAMP | 2 | ||||
| -rw-r--r-- | gcc/ada/ChangeLog | 286 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 43 |
5 files changed, 408 insertions, 1 deletions
@@ -1,3 +1,7 @@ +2023-05-29 Martin Jambor <mjambor@suse.cz> + + * MAINTAINERS: Replace spaces with tabs. + 2023-05-27 Benjamin Priour <vultkayn@gcc.gnu.org> * MAINTAINERS: New entry. diff --git a/gcc/ChangeLog b/gcc/ChangeLog index b69a3a7..a7ca6d9 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,77 @@ +2023-05-29 Pan Li <pan2.li@intel.com> + + * config/riscv/riscv-v.cc (emit_vlmax_insn): Eliminate the + magic number. + (emit_nonvlmax_insn): Ditto. + (emit_vlmax_merge_insn): Ditto. + (emit_vlmax_cmp_insn): Ditto. + (emit_vlmax_cmp_mu_insn): Ditto. + (expand_vec_series): Ditto. + +2023-05-29 Pan Li <pan2.li@intel.com> + + * config/riscv/riscv-protos.h (enum insn_type): New type. + * config/riscv/riscv-v.cc (RVV_INSN_OPERANDS_MAX): New macro. + (rvv_builder::can_duplicate_repeating_sequence_p): Align the referenced + class member. + (rvv_builder::get_merged_repeating_sequence): Ditto. + (rvv_builder::repeating_sequence_use_merge_profitable_p): New function + to evaluate the optimization cost. + (rvv_builder::get_merge_scalar_mask): New function to get the merge + mask. + (emit_scalar_move_insn): New function to emit vmv.s.x. + (emit_vlmax_integer_move_insn): New function to emit vlmax vmv.v.x. + (emit_nonvlmax_integer_move_insn): New function to emit nonvlmax + vmv.v.x. + (get_repeating_sequence_dup_machine_mode): New function to get the dup + machine mode. + (expand_vector_init_merge_repeating_sequence): New function to perform + the optimization. + (expand_vec_init): Add this vector init optimization. + * config/riscv/riscv.h (BITS_PER_WORD): New macro. + +2023-05-29 Eric Botcazou <ebotcazou@adacore.com> + + * tree-ssa-loop-manip.cc (create_iv): Try harder to find a SLOC to + put onto the increment when it is inserted after the position. + +2023-05-29 Eric Botcazou <ebotcazou@adacore.com> + + * match.pd ((T)P - (T)(P + A) -> -(T) A): Avoid artificial overflow + on constants. + +2023-05-29 Juzhe-Zhong <juzhe.zhong@rivai.ai> + + * config/riscv/riscv-vsetvl.cc (source_equal_p): Fix ICE. + +2023-05-29 Juzhe-Zhong <juzhe.zhong@rivai.ai> + + * config/riscv/autovec.md (fma<mode>4): New pattern. + (*fma<mode>): Ditto. + * config/riscv/riscv-protos.h (enum insn_type): New enum. + (emit_vlmax_ternary_insn): New function. + * config/riscv/riscv-v.cc (emit_vlmax_ternary_insn): Ditto. + +2023-05-29 Juzhe-Zhong <juzhe.zhong@rivai.ai> + + * config/riscv/vector.md: Fix vimuladd instruction bug. + +2023-05-29 Juzhe-Zhong <juzhe.zhong@rivai.ai> + + * config/riscv/riscv.cc (global_state_unknown_p): New function. + (riscv_mode_after): Fix incorrect VXM. + +2023-05-29 Pan Li <pan2.li@intel.com> + + * common/config/riscv/riscv-common.cc: + (riscv_implied_info): Add zvfhmin item. + (riscv_ext_version_table): Ditto. + (riscv_ext_flag_table): Ditto. + * config/riscv/riscv-opts.h (MASK_ZVFHMIN): New macro. + (TARGET_ZFHMIN): Align indent. + (TARGET_ZFH): Ditto. + (TARGET_ZVFHMIN): New macro. + 2023-05-27 liuhongt <hongtao.liu@intel.com> PR target/100711 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 4f495f3..5f5439b6 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20230528 +20230529 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 557329d..eab8f00 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,289 @@ +2023-05-29 Cedric Landet <landet@adacore.com> + + * s-oscons-tmplt.c: move the definition of sigset out of the + HAVE_SOCKETS bloc. + +2023-05-29 Cedric Landet <landet@adacore.com> + + * Makefile.rtl: Move g-spogwa$(objext) from GNATRTL_NONTASKING_OBJS + to GNATRTL_SOCKETS_OBJS + +2023-05-29 Eric Botcazou <ebotcazou@adacore.com> + + * freeze.adb (Wrap_Imported_Subprogram): Use Copy_Subprogram_Spec in + both cases to copy the spec of the subprogram. + +2023-05-29 Eric Botcazou <ebotcazou@adacore.com> + + * exp_ch7.adb (Establish_Transient_Scope.Find_Transient_Context): + Bail out for a simple return statement only if the transient scope + and the function both require secondary stack management, or else + if the function is a thunk. + * sem_res.adb (Resolve_Call): Do not create a transient scope when + the call is the expression of a simple return statement. + +2023-05-29 Patrick Bernardi <bernardi@adacore.com> + + * libgnat/a-excach.adb (Call_Chain): Replace + Code_Address_For_AAA/ZZZ functions with AAA/ZZZ'Code_Address. + * libgnat/a-except.adb (Code_Address_For_AAA/ZZZ): Delete. + (AAA/ZZZ): New null procedures. + * libgnat/g-debpoo.adb + (Code_Address_For_Allocate_End): Delete. + (Code_Address_For_Deallocate_End): Delete. + (Code_Address_For_Dereference_End): Delete. + (Allocate): Remove label and use Code_Address attribute to + determine subprogram addresses. + (Dellocate): Likewise. + (Dereference): Likewise. + (Allocate_End): Convert to null procedure. + (Dellocate_End): Likewise. + (Dereference_End): Likewise. + +2023-05-29 Eric Botcazou <ebotcazou@adacore.com> + + * exp_ch6.adb (Expand_Simple_Function_Return): Call Insert_Actions + consistently when rewriting the expression. + +2023-05-29 Eric Botcazou <ebotcazou@adacore.com> + + * exp_util.adb (Is_Finalizable_Transient.Is_Indexed_Container): + New predicate to detect a temporary created to hold the result of + a constant indexing on a container. + (Is_Finalizable_Transient.Is_Iterated_Container): Adjust a couple + of obsolete comments. + (Is_Finalizable_Transient): Return False if Is_Indexed_Container + returns True on the object. + +2023-05-29 Eric Botcazou <ebotcazou@adacore.com> + + * sem_res.adb (Has_Applicable_User_Defined_Literal): Make it clear + that the predicate also checks the node itself. + (Try_User_Defined_Literal): Move current implementation to... + Deal only with literals, named numbers and conditional expressions + whose dependent expressions are literals or named numbers. + (Try_User_Defined_Literal_For_Operator): ...this. Remove multiple + return False statements and put a single one at the end. + (Resolve): Call Try_User_Defined_Literal instead of directly + Has_Applicable_User_Defined_Literal for all nodes. Call + Try_User_Defined_Literal_For_Operator for operator nodes. + +2023-05-29 Piotr Trojanek <trojanek@adacore.com> + + * sem_res.adb (Invoked_With_Different_Arguments): Use Get_Called_Entity, + which properly deals with calls via an access-to-subprogram; fix + inconsistent use of a Call object declared in enclosing subprogram. + +2023-05-29 Piotr Trojanek <trojanek@adacore.com> + + * contracts.adb + (Add_Pre_Post_Condition): Attach pre/post aspects to E_Subprogram_Type + entity. + (Analyze_Entry_Or_Subprogram_Contract): Adapt to use full type + declaration for a contract attached to E_Subprogram_Type entity. + * sem_prag.adb + (Analyze_Pre_Post_Condition): Add pre/post aspects to the designed type. + +2023-05-29 Piotr Trojanek <trojanek@adacore.com> + + * sem_util.adb (Check_Function_Writable_Actuals): Remove guard against + a membership test with no alternatives; simplify with a membership test. + +2023-05-29 Piotr Trojanek <trojanek@adacore.com> + + * doc/gnat_ugn/gnat_and_program_execution.rst + (Some Useful Memory Pools): Remove extra whitespace from examples. + * sem_aggr.adb (Make_String_Into_Aggregate): Remove extra whitespace. + * gnat_ugn.texi: Regenerate. + +2023-05-29 Piotr Trojanek <trojanek@adacore.com> + + * exp_aggr.adb (Convert_Aggr_In_Allocator): Replace Get_TSS_Name + with a high-level Is_TSS. + * sem_ch6.adb (Check_Conformance): Replace DECLARE block and + nested IF with a call to Get_TSS_Name and a membership test. + (Has_Reliable_Extra_Formals): Refactor repeated calls to + Get_TSS_Name. + * sem_disp.adb (Check_Dispatching_Operation): Replace repeated + calls to Get_TSS_Name with a membership test. + +2023-05-29 Eric Botcazou <ebotcazou@adacore.com> + + * exp_ch5.adb (Expand_N_Case_Statement): Do not remove the statement + if it is the node to be wrapped by a transient scope. + +2023-05-29 Eric Botcazou <ebotcazou@adacore.com> + + * sem_prag.adb (Process_Compile_Time_Warning_Or_Error): Do not defer + anything to the back-end when the main unit is generic. + +2023-05-29 Eric Botcazou <ebotcazou@adacore.com> + + * sem_res.adb (Try_User_Defined_Literal): Restrict previous change + to non-leaf nodes. + +2023-05-29 Eric Botcazou <ebotcazou@adacore.com> + + * sem_res.adb (Try_User_Defined_Literal): For arithmetic operators, + also accept operands whose type is covered by the resolution type. + +2023-05-29 Eric Botcazou <ebotcazou@adacore.com> + + * exp_aggr.adb (Initialize_Array_Component): Fix condition detecting + the nested case that requires an adjustment. + +2023-05-29 Eric Botcazou <ebotcazou@adacore.com> + + * exp_ch4.adb (Expand_N_In): Deal specifically with a null operand. + +2023-05-29 Eric Botcazou <ebotcazou@adacore.com> + + * exp_ch6.adb (Expand_Simple_Function_Return): Deal with a rewriting + of the simple return during the adjustment of its expression. + +2023-05-29 Eric Botcazou <ebotcazou@adacore.com> + + * exp_ch4.adb (Expand_N_Case_Expression): Distribute simple return + statements enclosing the conditional expression into the dependent + expressions in almost all cases. + (Expand_N_If_Expression): Likewise. + (Process_Transient_In_Expression): Adjust to the above distribution. + * exp_ch6.adb (Expand_Ctrl_Function_Call): Deal with calls in the + dependent expressions of a conditional expression. + * sem_ch6.adb (Analyze_Function_Return): Deal with the rewriting of + a simple return statement during the resolution of its expression. + +2023-05-29 Piotr Trojanek <trojanek@adacore.com> + + * sem_res.adb (Resolve_Entity_Name): Refine rules for Exceptional_Cases. + +2023-05-29 Marc Poulhiès <poulhies@adacore.com> + + * exp_aggr.adb (Convert_To_Assignments): Do not mark node for + delayed expansion if parent type has the Aggregate aspect. + * sem_util.adb (Is_Container_Aggregate): Move... + * sem_util.ads (Is_Container_Aggregate): ... here and make it + public. + +2023-05-29 Piotr Trojanek <trojanek@adacore.com> + + * sem_res.adb (Resolve_Entity_Name): Relax rules for Exceptional_Cases. + +2023-05-29 Eric Botcazou <ebotcazou@adacore.com> + + * sem_ch4.ads (Unresolved_Operator): New procedure. + * sem_ch4.adb (Has_Possible_Literal_Aspects): Rename into... + (Has_Possible_User_Defined_Literal): ...this. Tidy up. + (Operator_Check): Accept again unresolved operators if they have a + possible user-defined literal as operand. Factor out the handling + of the general error message into... + (Unresolved_Operator): ...this new procedure. + * sem_res.adb (Resolve): Be prepared for unresolved operators on + entry in Ada 2022 or later. If they are still unresolved on exit, + call Unresolved_Operator to give the error message. + (Try_User_Defined_Literal): Tidy up. + +2023-05-29 Steve Baird <baird@adacore.com> + + * exp_ch3.adb + (Expand_N_Object_Declaration.Default_Initialize_Object): Add test for + specified Default_Component_Value aspect when deciding whether + either Initialize_Scalars or Normalize_Scalars impacts default + initialization of an array object. + +2023-05-29 Javier Miranda <miranda@adacore.com> + + * sem_aggr.adb + (Resolve_Record_Aggregate): For aggregates of derived tagged + record types with discriminants, when collecting components + from ancestors, pass to subprogram Gather_Components the + parent type. Required to report errors on wrong aggregate + components. + +2023-05-29 Piotr Trojanek <trojanek@adacore.com> + + * sem_util.adb (Check_Result_And_Post_State): Replace low-level + navigation with a high-level Unique_Entity. + +2023-05-29 Piotr Trojanek <trojanek@adacore.com> + + * sem_util.adb (Check_Result_And_Post_State): Properly handle entry + bodies. + +2023-05-29 Piotr Trojanek <trojanek@adacore.com> + + * contracts.adb (Fix_Parent): Fir part both for lists and nodes. + +2023-05-29 Arnaud Charlet <charlet@adacore.com> + + * sem_ch7.adb: Refine handling of inlining for CCG + +2023-05-29 Eric Botcazou <ebotcazou@adacore.com> + + * sem_ch12.adb (Copy_Generic_Node): Test the original node kind + for the sake of consistency. For identifiers and other entity + names and operators, accept an expanded name as associated node. + Replace "or" with "or else" in condtion and fix its formatting. + +2023-05-29 Piotr Trojanek <trojanek@adacore.com> + + * sem_util.adb (Check_Result_And_Post_State): Tune message. + +2023-05-29 Piotr Trojanek <trojanek@adacore.com> + + * contracts.adb (Remove_Formals): Remove. + (Preanalyze_Condition): Replace Pop_Scope with End_Scope. + * sem_ch13.adb (Build_Discrete_Static_Predicate): Replace + Pop_Scope with End_Scope; enclose Install_Formals within + Push_Scope/End_Scope. + +2023-05-29 Piotr Trojanek <trojanek@adacore.com> + + * sem_prag.adb (Analyze_Pre_Post_Condition): Tune error message. + +2023-05-29 Javier Miranda <miranda@adacore.com> + + * scans.ads (Inside_Interpolated_String_Expression): New variable. + * par-ch2.adb (P_Interpolated_String_Literal): Set/clear new + variable when parsing interpolated string expressions. + * scng.adb (Set_String): Skip processing operator symbols when we + arescanning an interpolated string literal. + +2023-05-29 Johannes Kliemann <kliemann@adacore.com> + + * Makefile.rtl (QNX): Use s-parame__qnx.adb for s-parame.adb. + * libgnat/s-parame__qnx.adb: Add QNX specific version of + System.Parameters. + +2023-05-29 Yannick Moy <moy@adacore.com> + + * libgnat/a-ngelfu.ads: Restore SPARK_Mode from context. + +2023-05-29 Marc Poulhiès <poulhies@adacore.com> + + * contracts.adb (Restore_Original_Selected_Component): Adjust assertion. + +2023-05-29 Piotr Trojanek <trojanek@adacore.com> + + * contracts.adb + (Add_Pre_Post_Condition): Adapt to handle pre/post of an + access-to-subprogram type. + (Analyze_Type_Contract): Analyze pre/post of an + access-to-subprogram. + * contracts.ads + (Analyze_Type_Contract): Adapt comment. + * sem_ch3.adb + (Build_Access_Subprogram_Wrapper): Copy pre/post aspects to + wrapper spec and keep it on the type. + * sem_prag.adb + (Analyze_Pre_Post_Condition): Expect pre/post aspects on + access-to-subprogram and complain if they appear without -gnat2022 + switch. + (Analyze_Pre_Post_Condition_In_Decl_Part): Adapt to handle + pre/post on an access-to-subprogram type entity. + * sem_attr.adb (Analyze_Attribute_Old_Result): Likewise. + (Result): Likewise. + 2023-05-26 Bob Duff <duff@adacore.com> * sem_ch3.adb diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 1ca9b00..406e6de 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,46 @@ +2023-05-29 Pan Li <pan2.li@intel.com> + + * gcc.target/riscv/rvv/autovec/vls-vlmax/init-repeat-sequence-1.c: New test. + * gcc.target/riscv/rvv/autovec/vls-vlmax/init-repeat-sequence-2.c: New test. + * gcc.target/riscv/rvv/autovec/vls-vlmax/init-repeat-sequence-3.c: New test. + * gcc.target/riscv/rvv/autovec/vls-vlmax/init-repeat-sequence-4.c: New test. + * gcc.target/riscv/rvv/autovec/vls-vlmax/init-repeat-sequence-5.c: New test. + * gcc.target/riscv/rvv/autovec/vls-vlmax/init-repeat-sequence-run-1.c: New test. + * gcc.target/riscv/rvv/autovec/vls-vlmax/init-repeat-sequence-run-2.c: New test. + * gcc.target/riscv/rvv/autovec/vls-vlmax/init-repeat-sequence-run-3.c: New test. + +2023-05-29 Eric Botcazou <ebotcazou@adacore.com> + + * gnat.dg/specs/storage_offset1.ads: New test. + +2023-05-29 Juzhe-Zhong <juzhe.zhong@rivai.ai> + + * gcc.target/riscv/rvv/vsetvl/pr109974.c: New test. + +2023-05-29 Juzhe-Zhong <juzhe.zhong@rivai.ai> + + * gcc.target/riscv/rvv/autovec/unop/abs-run.c: Remove redundant printf. + +2023-05-29 Juzhe-Zhong <juzhe.zhong@rivai.ai> + + * gcc.target/riscv/rvv/rvv.exp: Add ternary tests + * gcc.target/riscv/rvv/autovec/ternop/ternop-1.c: New test. + * gcc.target/riscv/rvv/autovec/ternop/ternop-2.c: New test. + * gcc.target/riscv/rvv/autovec/ternop/ternop-3.c: New test. + * gcc.target/riscv/rvv/autovec/ternop/ternop_run-1.c: New test. + * gcc.target/riscv/rvv/autovec/ternop/ternop_run-2.c: New test. + * gcc.target/riscv/rvv/autovec/ternop/ternop_run-3.c: New test. + +2023-05-29 Juzhe-Zhong <juzhe.zhong@rivai.ai> + + * gcc.target/riscv/rvv/base/vxrm-11.c: New test. + * gcc.target/riscv/rvv/base/vxrm-12.c: New test. + +2023-05-29 Pan Li <pan2.li@intel.com> + + * gcc.target/riscv/arch-20.c: New test. + * gcc.target/riscv/predef-26.c: New test. + 2023-05-27 liuhongt <hongtao.liu@intel.com> * gcc.target/i386/pr100711-2.c: Add v4di/v2di testcases. |