From 0f4df800b15437df1e00f198f86edc7163f1fc94 Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Tue, 31 May 2022 00:16:32 +0000 Subject: [PATCH] Daily bump. --- gcc/ChangeLog | 79 +++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 205 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/cp/ChangeLog | 7 ++ gcc/fortran/ChangeLog | 9 +++ gcc/testsuite/ChangeLog | 36 +++++++++ 6 files changed, 337 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 6434f55..1d1cc46 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,82 @@ +2022-05-30 Roger Sayle + + * config/i386/i386.cc (ix86_modes_tieable_p): Allow SCmode to be + tieable with DImode on TARGET_64BIT, and SCmode tieable with + V2SFmode, and DCmode with V2DFmode. + +2022-05-30 Roger Sayle + + PR rtl-optimization/101617 + * config/i386/i386-expand.cc (ix86_expand_int_movcc): Add a + special case (indicated by negate_cc_compare_p) to generate a + -1/0 mask using neg;sbb. + * config/i386/i386.md (x86_neg_ccc): New define_expand + to generate an *x86_neg_ccc instruction. + (x86_movcc_0_m1_neg): Likewise, a new define_expand to + generate a *x86_movcc_0_m1_neg instruction. + +2022-05-30 Roger Sayle + + * rtlanal.cc (rtx_cost) : Treat FMA, SS_MULT, US_MULT, + SMUL_HIGHPART and UMUL_HIGHPART as having the same cost as MULT. +
: Likewise, SS_DIV and US_DIV have the same default as DIV. + +2022-05-30 Roger Sayle + + PR target/70321 + * config/i386/i386-expand.cc (ix86_expand_branch): Don't decompose + DI mode equality/inequality using XOR here. Instead generate a + COMPARE for doubleword modes (DImode on !TARGET_64BIT or TImode). + * config/i386/i386-features.cc (gen_gpr_to_xmm_move_src): Use + gen_rtx_SUBREG when NUNITS is 1, i.e. for TImode to V1TImode. + (general_scalar_chain::convert_compare): New function to convert + scalar equality/inequality comparison into vector operations. + (general_scalar_chain::convert_insn) [COMPARE]: Refactor. Call + new convert_compare helper method. + (convertible_comparion_p): Update to match doubleword COMPARE + of two register, memory or integer constant operands. + * config/i386/i386-features.h (general_scalar_chain::convert_compare): + Prototype/declare member function here. + * config/i386/i386.md (cstore4): Change mode to SDWIM, but + only allow new doubleword modes for EQ and NE operators. + (*cmp_doubleword): New define_insn_and_split, to split a + doubleword comparison into a pair of XORs followed by an IOR to + set the (zero) flags register, optimizing the XORs if possible. + * config/i386/sse.md (V_AVX): Include V1TI and V2TI in mode + iterator; V_AVX is (currently) only used by ptest. + (sse4_1 mode attribute): Update to support V1TI and V2TI. + +2022-05-30 Uroš Bizjak + + * config/i386/i386.md: Remove constraints when used with + const_int_operand, const0_operand, const_1_operand, constm1_operand, + const8_operand, const128_operand, const248_operand, const123_operand, + const2367_operand, const1248_operand, const359_operand, + const_4_or_8_to_11_operand, const48_operand, const_0_to_1_operand, + const_0_to_3_operand, const_0_to_4_operand, const_0_to_5_operand, + const_0_to_7_operand, const_0_to_15_operand, const_0_to_31_operand, + const_0_to_63_operand, const_0_to_127_operand, const_0_to_255_operand, + const_0_to_255_mul_8_operand, const_1_to_31_operand, + const_1_to_63_operand, const_2_to_3_operand, const_4_to_5_operand, + const_4_to_7_operand, const_6_to_7_operand, const_8_to_9_operand, + const_8_to_11_operand, const_8_to_15_operand, const_10_to_11_operand, + const_12_to_13_operand, const_12_to_15_operand, const_14_to_15_operand, + const_16_to_19_operand, const_16_to_31_operand, const_20_to_23_operand, + const_24_to_27_operand and const_28_to_31_operand. + * config/i386/mmx.md: Ditto. + * config/i386/sse.md: Ditto. + * config/i386/subst.md: Ditto. + * config/i386/sync.md: Ditto. + +2022-05-30 Jan Beulich + + * config/i386/i386.md (bmi2_umul3_1): Correct MEM_P() + arguments. + +2022-05-30 Prathamesh Kulkarni + + * config/arm/arm.cc (arm_vectorize_vec_perm_const): Adjust prototype. + 2022-05-29 Iain Sandoe PR target/105599 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 158b96c..de050e6 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20220530 +20220531 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 1e578c1..ac5f8cf 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,208 @@ +2022-05-30 Ghjuvan Lacambre + + * erroutc.adb (Get_Warning_Option): Don't consider `?` as a + valid option switch. + +2022-05-30 Ghjuvan Lacambre + + * erroutc.ads (Get_Warning_Option): New function returning the + option responsible for a warning if it exists. + * erroutc.adb (Get_Warning_Option): Likewise. + (Get_Warning_Tag): Rely on Get_Warning_Option when possible. + * errout.adb (Output_JSON_Message): Emit option field. + +2022-05-30 Julien Bortolussi + + * libgnat/a-cfdlli.ads (Insert): Remove the duplication. + +2022-05-30 Piotr Trojanek + + * exp_ch6.adb (Check_Subprogram_Variant): Ignore structural + variants. + +2022-05-30 Piotr Trojanek + + * osint.adb (Locate_File): Change variable to constant and + initialize it by concatenation of directory, file name and NUL. + +2022-05-30 Piotr Trojanek + + * doc/gnat_rm/implementation_advice.rst (Packed Types): Remove + duplicated and wrongly placed paragraph. + * gnat_rm.texi: Regenerate. + +2022-05-30 Ghjuvan Lacambre + + * inline.adb (Check_Package_Body_For_Inlining): Add insertion + character. + +2022-05-30 Ghjuvan Lacambre + + * freeze.adb (Warn_Overlay): Add 'o' insertion character. + * sem_ch13.adb (Analyze_Attribute_Definition_Clause): Likewise. + * sem_util.adb (Note_Possible_Modifications): Likewise. + +2022-05-30 Ghjuvan Lacambre + + * sem_warn.adb (Warn_On_Useless_Assignment): Fix insertion + character. + +2022-05-30 Ghjuvan Lacambre + + * sem_disp.adb (Warn_On_Late_Primitive_After_Private_Extension): + Fix insertion character. + +2022-05-30 Ghjuvan Lacambre + + * sem_elab.adb (Process_Conditional_ABE_Access_Taken): Add '.f' + insertion characters. + +2022-05-30 Piotr Trojanek + + * lib-xref.ads (Deferred_Reference_Entry, Defer_Reference, + Process_Deferred_References, Has_Deferred_Reference): Remove + client API. + * lib-xref.adb (Deferred_References, Defer_Reference, + Has_Deferred_Reference, Process_Deferred_References): Remove + implementation. + * frontend.adb, sem_ch11.adb, sem_ch5.adb, sem_res.adb, + sem_util.adb, sem_warn.adb: Remove uses of Deferred_References. + +2022-05-30 Bob Duff + + * exp_ch7.adb (Wrap_HSS_In_Block): Do not create a new block in + the case of function bodies. We include all subprogram bodies, + because it's harmless for procedures. We cannot easily avoid + creating this block in ALL cases, because some transformations + of (e.g.) task bodies end up moving some code such that the + wrong exception handlers apply to that code. + (Build_Finalizer_Call): Remove code for creating a new block. + This was unreachable code, given that Wrap_HSS_In_Block has + already done that, but with the above change to + Wrap_HSS_In_Block, this code becomes reachable, and triggers + essentially the same bug. + * exp_ch7.ads: Adjust comment. + +2022-05-30 Justin Squirek + + * par-ch6.adb (P_Formal_Part): Set Aspect_Specifications on all + formals instead of just the last in a formal id list. + * sem_ch6.adb (Analyze_Null_Procedure): Mark expanded null + generic procedures as trivial in order to avoid spurious + unreferenced warnings. + +2022-05-30 Romain Beguet + + * libgnat/s-dwalin.adb: Add a subtype declaration to fix the + ambiguity. + +2022-05-30 Steve Baird + + * sem_ch13.adb (Is_Predicate_Static): Do not generate warnings + about subexpressions of enclosing expressions. Generate warnings + for predicates that are known to be always true or always false, + except in the case where the predicate is expressed as a Boolean + literal. Deal with non-predicate-static expressions that have + been transformed into predicate-static expressions. Add missing + Is_Type_Ref call to N_Membership_Test case. + +2022-05-30 Eric Botcazou + + * exp_aggr.adb (Expand_Record_Aggregate.Build_Back_End_Aggregate): + Skip the discriminants at the start of the component list before + looking for the components inherited from the parent in the case + of a tagged extension. + +2022-05-30 Eric Botcazou + + * exp_disp.adb (Make_DT): Remove remaining freezing code. + +2022-05-30 Eric Botcazou + + * sem_attr.adb (Resolve_Attribute) : Don't analyze + the body of an expression function in the case of a dispatch table. + +2022-05-30 Arnaud Charlet + + * gnat1drv.adb, opt.ads, sem_ch7.adb: Introduce CCG_Mode. + +2022-05-30 Yannick Moy + + * Makefile.rtl: Add new units. + * libgnat/s-aridou.adb (Scaled_Divide): Add ghost code for provers. + * libgnat/s-spcuop.adb: New unit for ghost cut operations. + * libgnat/s-spcuop.ads: New unit for ghost cut operations. + * libgnat/s-spark.ads: New unit. + +2022-05-30 Alexandre Oliva + + * doc/gnat_rm/security_hardening_features.rst: Mention + availability in other languages when applicable. + (Stack Scrubbing): Associate the attribute with types, expand + some comments, fix the example involving access to variables. + * gnat_rm.texi: Regenerate. + +2022-05-30 Piotr Trojanek + + * libgnat/a-cofuse.ads (Empty_Set): Fix typo in comment. + +2022-05-30 Eric Botcazou + + * sem_ch6.adb (New_Overloaded_Entity): Deal specifically with the + overriding of the "=" operator for tagged types. + +2022-05-30 Eric Botcazou + + * exp_ch3.adb (Expand_N_Object_Declaration): Adjust call to Make_DT. + * exp_disp.ads (Building_Static_DT): Remove pragma Inline. + (Building_Static_Secondary_DT): Likewise. + (Convert_Tag_To_Interface): Likewise. + (Make_DT): Remove second parameter. + * exp_disp.adb (Make_DT): Likewise. + (Check_Premature_Freezing): Delete. + Pass Do_Freeze_Profile as False in call to Freeze_Entity. + * freeze.ads (Freezing_Library_Level_Tagged_Type): Delete. + * freeze.adb (Freeze_Profile): Remove obsolete code. + (Freeze_Entity): Tweak comment. + +2022-05-30 Yannick Moy + + * libgnat/s-arit32.adb (Scaled_Divide32): Move assertion up. + +2022-05-30 Yannick Moy + + PR ada/105303 + * libgnat/s-gearop.adb: Add pragma Assertion_Policy in generic + bodies making use of additional assertions or ghost code. + * libgnat/s-gearop.ads: Remove confusing Assertion_Policy. + +2022-05-30 Steve Baird + + * exp_ch11.adb (Expand_N_Raise_Expression): Remove + Convert_To_Return_False test. + * gen_il-fields.ads: Remove Convert_To_Return_False field. + * gen_il-gen-gen_nodes.adb: Remove use of + Convert_To_Return_False field. + * sinfo.ads: Remove comment describing Convert_To_Return_False + flag. + +2022-05-30 Julien Bortolussi + + * libgnat/a-cofuma.ads, libgnat/a-cofuma.adb, + libgnat/a-cofuse.ads, libgnat/a-cofuse.adb, + libgnat/a-cofuve.ads, libgnat/a-cofuve.adb: Add empty + constructors. + +2022-05-30 Ghjuvan Lacambre + + * bindgen.adb (Gen_CUDA_Init): Remove code generating CUDA + definitions. + (Gen_CUDA_Defs): New function, generating definitions + initialized by Gen_CUDA_Init. + (Gen_Output_File_Ada): Call Gen_CUDA_Defs instead of + Gen_CUDA_Init. + (Gen_Adainit): Call Gen_CUDA_Init. + 2022-05-28 Alexandre Oliva * gcc-interface/Makefile.in (OSCONS_CC): Rename to... diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 8575393..5b52fea 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,10 @@ +2022-05-30 Marek Polacek + + PR c++/99080 + * pt.cc (type_dependent_expression_p): Assert !TYPE_P. + * semantics.cc (finish_id_expression_1): Handle UNBOUND_CLASS_TEMPLATE + specifically. + 2022-05-28 Jakub Jelinek * parser.cc (handle_omp_declare_target_clause): If OMP_CLAUSE_LINK was diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index d009192..93eea4d 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,12 @@ +2022-05-30 Harald Anlauf + + PR fortran/91300 + * libgfortran.h: Define new error code LIBERROR_NO_MEMORY. + * trans-stmt.cc (gfc_trans_allocate): Generate code for setting + ERRMSG depending on result of STAT result of ALLOCATE. + * trans.cc (gfc_allocate_using_malloc): Use STAT value of + LIBERROR_NO_MEMORY in case of failed malloc. + 2022-05-28 Tobias Burnus * dump-parse-tree.cc (show_omp_clauses): Handle OMP_LIST_ENTER. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 677e064..e7c843d 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,39 @@ +2022-05-30 Harald Anlauf + + PR fortran/91300 + * gfortran.dg/allocate_alloc_opt_15.f90: New test. + +2022-05-30 Roger Sayle + + PR rtl-optimization/101617 + * gcc.target/i386/pr101617.c: New test case. + +2022-05-30 Roger Sayle + + PR target/70321 + * gcc.target/i386/pr70321.c: New test case. + * gcc.target/i386/sse4_1-stv-1.c: New test case. + +2022-05-30 Uroš Bizjak + + * gcc.target/i386/pr105624.c: New test. + +2022-05-30 Vineet Gupta + + * gcc.target/riscv/fmax.c: Add dg-require-effective-target hard_float. + * gcc.target/riscv/fmaxf.c: Ditto. + * gcc.target/riscv/fmin.c: Ditto. + * gcc.target/riscv/fminf.c: Ditto. + * gcc.target/riscv/smax-ieee.c: Ditto. + * gcc.target/riscv/smax.c: Ditto. + * gcc.target/riscv/smaxf-ieee.c: Ditto. + * gcc.target/riscv/smaxf.c: Ditto. + * gcc.target/riscv/smin-ieee.c: Ditto. + * gcc.target/riscv/smin.c: Ditto. + * gcc.target/riscv/sminf-ieee.c: Ditto. + * gcc.target/riscv/sminf.c: Ditto. + * gcc.target/riscv/pr105666.c: Ditto. + 2022-05-29 Jakub Jelinek PR preprocessor/105732 -- 2.7.4