diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 85 | ||||
| -rw-r--r-- | gcc/DATESTAMP | 2 | ||||
| -rw-r--r-- | gcc/ada/ChangeLog | 220 | ||||
| -rw-r--r-- | gcc/c-family/ChangeLog | 10 | ||||
| -rw-r--r-- | gcc/c/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/fortran/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 49 |
7 files changed, 377 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 864c9da..d8de175 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,88 @@ +2023-05-15 Aldy Hernandez <aldyh@redhat.com> + + PR tree-optimization/109695 + * value-range.cc (irange::operator=): Resize range. + (irange::union_): Same. + (irange::intersect): Same. + (irange::invert): Same. + (int_range_max): Default to 3 sub-ranges and resize as needed. + * value-range.h (irange::maybe_resize): New. + (~int_range): New. + (int_range::int_range): Adjust for resizing. + (int_range::operator=): Same. + +2023-05-15 Aldy Hernandez <aldyh@redhat.com> + + * ipa-cp.cc (ipcp_vr_lattice::meet_with_1): Avoid unnecessary + range copying + * value-range.cc (irange::union_nonzero_bits): Return TRUE only + when range changed. + +2023-05-15 Juzhe-Zhong <juzhe.zhong@rivai.ai> + + * config/riscv/riscv-protos.h (enum vxrm_field_enum): New enum. + * config/riscv/riscv-vector-builtins.cc + (function_expander::use_exact_insn): Add default rounding mode operand. + * config/riscv/riscv.cc (riscv_hard_regno_nregs): Add VXRM_REGNUM. + (riscv_hard_regno_mode_ok): Ditto. + (riscv_conditional_register_usage): Ditto. + * config/riscv/riscv.h (DWARF_FRAME_REGNUM): Ditto. + (VXRM_REG_P): Ditto. + (RISCV_DWARF_VXRM): Ditto. + * config/riscv/riscv.md: Ditto. + * config/riscv/vector.md: Ditto + +2023-05-15 Pan Li <pan2.li@intel.com> + + * optabs.cc (maybe_gen_insn): Add case to generate instruction + that has 11 operands. + +2023-05-15 Kyrylo Tkachov <kyrylo.tkachov@arm.com> + + * config/aarch64/aarch64.cc (aarch64_rtx_costs, NEG case): Add costing + logic for vector modes. + +2023-05-15 Kyrylo Tkachov <kyrylo.tkachov@arm.com> + + PR target/99195 + * config/aarch64/aarch64-simd.md (aarch64_cm<optab><mode>): Rename to... + (aarch64_cm<optab><mode><vczle><vczbe>): ... This. + (aarch64_cmtst<mode>): Rename to... + (aarch64_cmtst<mode><vczle><vczbe>): ... This. + (*aarch64_cmtst_same_<mode>): Rename to... + (*aarch64_cmtst_same_<mode><vczle><vczbe>): ... This. + (*aarch64_cmtstdi): Rename to... + (*aarch64_cmtstdi<vczle><vczbe>): ... This. + (aarch64_fac<optab><mode>): Rename to... + (aarch64_fac<optab><mode><vczle><vczbe>): ... This. + +2023-05-15 Kyrylo Tkachov <kyrylo.tkachov@arm.com> + + PR target/99195 + * config/aarch64/aarch64-simd.md (aarch64_s<optab><mode>): Rename to... + (aarch64_s<optab><mode><vczle><vczbe>): ... This. + +2023-05-15 Pan Li <pan2.li@intel.com> + Juzhe-Zhong <juzhe.zhong@rivai.ai> + kito-cheng <kito.cheng@sifive.com> + + * config/riscv/riscv-v.cc (const_vlmax_p): New function for + deciding the mode is constant or not. + (set_len_and_policy): Optimize VLS-VLMAX code gen to vsetivli. + +2023-05-15 Richard Biener <rguenther@suse.de> + + PR tree-optimization/109848 + * tree-ssa-forwprop.cc (pass_forwprop::execute): Put the + TARGET_MEM_REF address preparation before the store, not + before the CTOR. + +2023-05-15 Juzhe-Zhong <juzhe.zhong@rivai.ai> + + * config/riscv/riscv.cc + (riscv_vectorize_preferred_vector_alignment): New function. + (TARGET_VECTORIZE_PREFERRED_VECTOR_ALIGNMENT): New target hook. + 2023-05-14 Andrew Pinski <apinski@marvell.com> PR tree-optimization/109829 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 0bf2258..ae488c0 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20230515 +20230516 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 5d891dd..54d0350 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,223 @@ +2023-05-15 Marc Poulhiès <poulhies@adacore.com> + + * exp_ch3.adb (Make_Allocator_For_Return): Fix typo in comment. + +2023-05-15 Yannick Moy <moy@adacore.com> + + * libgnat/a-strbou.ads: Add justifications for Mapping. + * libgnat/a-strfix.adb: Same. + * libgnat/a-strfix.ads: Same. + * libgnat/a-strsea.adb: Same. + * libgnat/a-strsea.ads: Same. + * libgnat/a-strsup.adb: Same and add loop variants. + * libgnat/a-strsup.ads: Same and add specification of termination. + +2023-05-15 Yannick Moy <moy@adacore.com> + + * libgnat/a-strsup.adb (Super_Slice): Reorder component assignment + to avoid failing predicate check related to initialization. + * libgnat/s-expmod.adb (Exp_Modular): Add intermediate assertion. + +2023-05-15 Yannick Moy <moy@adacore.com> + + * libgnat/i-c.adb: Add loop variants. Remove useless + initialization. + +2023-05-15 Bob Duff <duff@adacore.com> + + * einfo-utils.ads: Remove comment. + +2023-05-15 Bob Duff <duff@adacore.com> + + * einfo-utils.ads, einfo-utils.adb: Get rid of the Proc_Next_... + procedures. Use Inline aspect instead of pragma Inline. + Is_Discrete_Or_Fixed_Point_Type did not have pragma Inline, but + now has the aspect; this was probably an oversight + (which illustrates why aspects are better). + +2023-05-15 Ronan Desplanques <desplanques@adacore.com> + + * doc/gnat_ugn/gnat_utility_programs.rst: Fix formatting + inconsistency. + +2023-05-15 Bob Duff <duff@adacore.com> + + * einfo-utils.adb: + (Proc_Next_Component_Or_Discriminant): Call + Next_Component_Or_Discriminant. + +2023-05-15 Bob Duff <duff@adacore.com> + + * einfo.ads: + (First_Entity): Update comment explaining why this exists on all + [sub]types, as opposed to just the ones with associated entities. + +2023-05-15 Bob Duff <duff@adacore.com> + + * atree.adb + (Check_Vanishing_Fields): Disable the check for "root/base type + only" fields. This is a bug fix -- if we're checking some subtype + S, we don't want to reach over to the root or base type and + Reinit_Field_To_Zero of that, thus modifying the field for lots of + subtypes other than S. Disable in the to/from E_Void cases. Misc + cleanup. + * gen_il-gen-gen_entities.adb: Define First_Entity, Last_Entity, + and Stored_Constraint for all type entities, because there are too + many cases where Reinit_Field_To_Zero would otherwise be needed. + In any case, it seems cleaner to have First_Entity and Last_Entity + defined in the same entity kinds. + * einfo.ads: + (First_Entity, Last_Entity, Stored_Constraint): Update comments to + reflect gen_il-gen-gen_entities.adb changes. + (Lit_Hash): Add missing "[root type only]" comment. + * exp_ch5.adb: Add Reinit_Field_To_Zero calls for vanishing + fields. + * sem_ch10.adb: Likewise. + * sem_ch6.adb: Likewise. + * sem_ch7.adb: Likewise. + * sem_ch8.adb: Likewise. + * sem_ch3.adb: Likewise. Also remove now-unnecessary + Reinit_Field_To_Zero calls. + +2023-05-15 Eric Botcazou <ebotcazou@adacore.com> + + * sem_ch7.adb (Hide_Public_Entities): Use the same condition for + subprogram bodies without specification as for those with one. + +2023-05-15 Piotr Trojanek <trojanek@adacore.com> + + * sem_util.adb (New_Copy_Tree): Remove redundant calls to Present. + +2023-05-15 Ronan Desplanques <desplanques@adacore.com> + + * sem_ch8.adb (End_Scope): Simplify lookup of predecessor in + homonym chain. + +2023-05-15 Piotr Trojanek <trojanek@adacore.com> + + * sem_aggr.adb (Resolve_Aggregate): Accept aggregates with OTHERS + appearing inside unchecked conversions. + +2023-05-15 Steve Baird <baird@adacore.com> + + * warnsw.ads: Add a new element, + Warn_On_Ineffective_Predicate_Test, to the Opt_Warnings_Enum + enumeration type. + * warnsw.adb: Bind "-gnatw_s" to the new + Warn_On_Ineffective_Predicate_Test switch. Add the new switch to + the set of switches enabled by -gnata . + * sem_ch13.adb + (Build_Discrete_Static_Predicate): Declare new local procedure, + Warn_If_Test_Ineffective, which conditionally generates new + warning. Call this new procedure when building a new element of an + RList. + * doc/gnat_ugn/building_executable_programs_with_gnat.rst: + Document the -gnatw_s switch (and the corresponding -gnatw_S + switch). + * gnat_ugn.texi: Regenerate. + +2023-05-15 Yannick Moy <moy@adacore.com> + + * sem_attr.adb: Update comment referring to rule number. + +2023-05-15 Ronan Desplanques <desplanques@adacore.com> + + * sem_attr.adb: sem_attr.adb (Analyze_Access_Attribute): Tighten + validity check for task types. + +2023-05-15 Ronan Desplanques <desplanques@adacore.com> + + * doc/gnat_rm/implementation_defined_characteristics.rst: Fix + minor documentation formatting issue. + * gnat_rm.texi: Regenerate. + * gnat_ugn.texi: Regenerate. + +2023-05-15 Bob Duff <duff@adacore.com> + + * exp_ch4.adb + (Expand_N_Op_Expon): Remove the too-big check. Simplify. Signed + and modular cases are combined, etc. Remove code with comment "We + only handle cases where the right type is a[sic] integer", because + the right operand must always be an integer at this point. + +2023-05-15 Bob Duff <duff@adacore.com> + + * sem_attr.adb + (Analyze_Attribute): Add a call to Check_Error_Detected. + +2023-05-15 Yannick Moy <moy@adacore.com> + + * par-prag.adb (First_Arg_Is_Matching_Tool_Name): Fix access to + expression in pragma association. + +2023-05-15 Eric Botcazou <ebotcazou@adacore.com> + + * repinfo.ads (JSON output format): Document special case of + Present member of a Variant object. + * repinfo.adb (List_Structural_Record_Layout): Change the type of + Ext_Level parameter to Integer. Restrict the first recursion with + increasing levels to the fixed part and implement a second + recursion with decreasing levels for the variant part. Deal with + an extension of a type with unknown discriminants. + +2023-05-15 Claire Dross <dross@adacore.com> + + * libgnat/s-valueu.adb: Use cut operations inside assertion to + restore proofs + * gcc-interface/Make-lang.in (GNAT_ADA_OBJS): Add s-spark and + s-spcuop dependencies. + +2023-05-15 Yannick Moy <moy@adacore.com> + + * sem_prag.adb (Check_Grouping): Allow Annotate pragmas between + loop pragmas. + +2023-05-15 Javier Miranda <miranda@adacore.com> + + * doc/gnat_rm/implementation_defined_pragmas.rst + (Extensions_Allowed): Document string interpolation. + * gnat_rm.texi: Regenerate. + * gnat_ugn.texi: Regenerate. + +2023-05-15 Joel Brobecker <brobecker@adacore.com> + + * doc/gnat_ugn/platform_specific_information.rst + (_PIE_Enabled_By_Default_On_Linux): New section. + * gnat-style.texi: Regenerate. + * gnat_ugn.texi: Regenerate. + +2023-05-15 Javier Miranda <miranda@adacore.com> + + * exp_disp.adb + (Has_Dispatching_Constructor_Call): New subprogram. + (Expand_Interface_Conversion): No need to perform dynamic + interface conversion when the operand and the target type are + interface types and the target interface type is an ancestor of + the operand type. The unique exception to this rule is when the + operand has a dispatching constructor call (as documented in the + sources). + +2023-05-15 Piotr Trojanek <trojanek@adacore.com> + + * sem_attr.adb (Analyze_Attribute): Reject attribute Initialized + on unchecked unions; fix grammar in comment. + +2023-05-15 Ronan Desplanques <desplanques@adacore.com> + + * sem_ch13.adb (Validate_Unchecked_Conversion): Fix behavior on + System.Address to access to subprogram subtype conversion. + +2023-05-15 Piotr Trojanek <trojanek@adacore.com> + + * atree.ads + (Is_Syntactic_Node): Refactored from New_Copy_Tree. + * atree.adb + (Is_Syntactic_Node): Likewise. + (Copy_Separate_Tree): Use Is_Syntactic_Node. + * sem_util.adb + (Has_More_Ids): Move to Atree. + (Is_Syntactic_Node): Likewise. + 2023-04-18 Jin Ma <jinma@linux.alibaba.com> * gcc-interface/utils.cc (unchecked_convert): Fixed typo. diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index 8415152..df1112d 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,13 @@ +2023-05-15 Joseph Myers <joseph@codesourcery.com> + + * c-lex.cc (c_common_has_attribute): Use 202311 as + __has_c_attribute return for all C2x attributes. + +2023-05-15 Patrick Palka <ppalka@redhat.com> + + * c-cppbuiltin.cc (c_cpp_builtins): Predefine __cpp_auto_cast + for C++23. + 2023-05-01 Marek Polacek <polacek@redhat.com> * c-ubsan.cc (ubsan_maybe_instrument_array_ref): Don't copy_node. diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index 67445c5..cbd6123 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,8 @@ +2023-05-15 Joseph Myers <joseph@codesourcery.com> + + * c-decl.cc (grokdeclarator): Ignore _Atomic on function return + type for C2x. + 2023-04-30 Andrew Pinski <apinski@marvell.com> * c-typeck.cc (process_init_element): Print out array type diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index f1b0c5a..f064816 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,10 @@ +2023-05-15 Harald Anlauf <anlauf@gmx.de> + + PR fortran/109846 + * expr.cc (gfc_check_vardef_context): Check appropriate pointer + attribute for CLASS vs. non-CLASS function result in variable + definition context. + 2023-05-11 Xi Ruoyao <xry111@xry111.site> * Make-lang.in: Use grep instead of fgrep. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 76bb09b..c2e62de 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,52 @@ +2023-05-15 Joseph Myers <joseph@codesourcery.com> + + * gcc.dg/qual-return-9.c, gcc.dg/qual-return-10.c: New tests. + +2023-05-15 Joseph Myers <joseph@codesourcery.com> + + * gcc.dg/c2x-has-c-attribute-2.c: Expect 202311L return value from + __has_c_attribute for all C2x attributes. + +2023-05-15 Harald Anlauf <anlauf@gmx.de> + + PR fortran/109846 + * gfortran.dg/ptr-func-5.f90: New test. + +2023-05-15 Patrick Palka <ppalka@redhat.com> + + * g++.dg/cpp23/feat-cxx2b.C: Test __cpp_auto_cast. + +2023-05-15 Kyrylo Tkachov <kyrylo.tkachov@arm.com> + + * gcc.target/aarch64/facg_1.c: New test. + +2023-05-15 Kyrylo Tkachov <kyrylo.tkachov@arm.com> + + PR target/99195 + * gcc.target/aarch64/simd/pr99195_7.c: New test. + +2023-05-15 Kyrylo Tkachov <kyrylo.tkachov@arm.com> + + PR target/99195 + * gcc.target/aarch64/simd/pr99195_4.c: Add testing for qabs, qneg. + +2023-05-15 Pan Li <pan2.li@intel.com> + Juzhe-Zhong <juzhe.zhong@rivai.ai> + kito-cheng <kito.cheng@sifive.com> + + * gcc.target/riscv/rvv/base/vf_avl-1.c: New test. + +2023-05-15 Richard Biener <rguenther@suse.de> + + * gcc.dg/vect/pr108950.c: Re-order dg-require-effective-target + and dg-do. + +2023-05-15 Juzhe-Zhong <juzhe.zhong@rivai.ai> + + * gcc.target/riscv/rvv/autovec/binop/shift-rv32gcv.c: Adapt testcase. + * gcc.target/riscv/rvv/autovec/align-1.c: New test. + * gcc.target/riscv/rvv/autovec/align-2.c: New test. + 2023-05-14 Andrew Pinski <apinski@marvell.com> PR tree-optimization/109829 |