Daily bump.
This commit is contained in:
GCC Administrator
parent
3f4c3c929f
commit
b4c15a140c
5 changed files with 408 additions and 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.
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
|
|
|||
|
|
@ -1 +1 @@
|
|||
20230528
|
||||
20230529
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
|
|
|||
|
|
@ -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.
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue