Daily bump.

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 6434f55..1d1cc46 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,82 @@
+2022-05-30  Roger Sayle  <roger@nextmovesoftware.com>
+
+       * 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  <roger@nextmovesoftware.com>
+
+       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<mode>_ccc): New define_expand
+       to generate an *x86_neg<mode>_ccc instruction.
+       (x86_mov<mode>cc_0_m1_neg): Likewise, a new define_expand to
+       generate a *x86_mov<mode>cc_0_m1_neg instruction.
+
+2022-05-30  Roger Sayle  <roger@nextmovesoftware.com>
+
+       * rtlanal.cc (rtx_cost) <MULT>: Treat FMA, SS_MULT, US_MULT,
+       SMUL_HIGHPART and UMUL_HIGHPART as having the same cost as MULT.
+       <DIV>: Likewise, SS_DIV and US_DIV have the same default as DIV.
+
+2022-05-30  Roger Sayle  <roger@nextmovesoftware.com>
+
+       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 (cstore<mode>4): Change mode to SDWIM, but
+       only allow new doubleword modes for EQ and NE operators.
+       (*cmp<dwi>_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  <ubizjak@gmail.com>
+
+       * 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  <jbeulich@suse.com>
+
+       * config/i386/i386.md (bmi2_umul<mode><dwi>3_1): Correct MEM_P()
+       arguments.
+
+2022-05-30  Prathamesh Kulkarni  <prathamesh.kulkarni@linaro.org>
+
+       * config/arm/arm.cc (arm_vectorize_vec_perm_const): Adjust prototype.
+
 2022-05-29  Iain Sandoe  <iain@sandoe.co.uk>
 
        PR target/105599

diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 158b96c..de050e6 100644 (file)
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20220530
+20220531

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 1e578c1..ac5f8cf 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,208 @@
+2022-05-30  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+       * erroutc.adb (Get_Warning_Option): Don't consider `?` as a
+       valid option switch.
+
+2022-05-30  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+       * 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  <bortolussi@adacore.com>
+
+       * libgnat/a-cfdlli.ads (Insert): Remove the duplication.
+
+2022-05-30  Piotr Trojanek  <trojanek@adacore.com>
+
+       * exp_ch6.adb (Check_Subprogram_Variant): Ignore structural
+       variants.
+
+2022-05-30  Piotr Trojanek  <trojanek@adacore.com>
+
+       * osint.adb (Locate_File): Change variable to constant and
+       initialize it by concatenation of directory, file name and NUL.
+
+2022-05-30  Piotr Trojanek  <trojanek@adacore.com>
+
+       * doc/gnat_rm/implementation_advice.rst (Packed Types): Remove
+       duplicated and wrongly placed paragraph.
+       * gnat_rm.texi: Regenerate.
+
+2022-05-30  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+       * inline.adb (Check_Package_Body_For_Inlining): Add insertion
+       character.
+
+2022-05-30  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+       * 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  <lacambre@adacore.com>
+
+       * sem_warn.adb (Warn_On_Useless_Assignment): Fix insertion
+       character.
+
+2022-05-30  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+       * sem_disp.adb (Warn_On_Late_Primitive_After_Private_Extension):
+       Fix insertion character.
+
+2022-05-30  Ghjuvan Lacambre  <lacambre@adacore.com>
+
+       * sem_elab.adb (Process_Conditional_ABE_Access_Taken): Add '.f'
+       insertion characters.
+
+2022-05-30  Piotr Trojanek  <trojanek@adacore.com>
+
+       * 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  <duff@adacore.com>
+
+       * 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  <squirek@adacore.com>
+
+       * 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  <beguet@adacore.com>
+
+       * libgnat/s-dwalin.adb: Add a subtype declaration to fix the
+       ambiguity.
+
+2022-05-30  Steve Baird  <baird@adacore.com>
+
+       * 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  <ebotcazou@adacore.com>
+
+       * 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  <ebotcazou@adacore.com>
+
+       * exp_disp.adb (Make_DT): Remove remaining freezing code.
+
+2022-05-30  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * sem_attr.adb (Resolve_Attribute) <Attribute_Access>: Don't analyze
+       the body of an expression function in the case of a dispatch table.
+
+2022-05-30  Arnaud Charlet  <charlet@adacore.com>
+
+       * gnat1drv.adb, opt.ads, sem_ch7.adb: Introduce CCG_Mode.
+
+2022-05-30  Yannick Moy  <moy@adacore.com>
+
+       * 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  <oliva@adacore.com>
+
+       * 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  <trojanek@adacore.com>
+
+       * libgnat/a-cofuse.ads (Empty_Set): Fix typo in comment.
+
+2022-05-30  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * sem_ch6.adb (New_Overloaded_Entity): Deal specifically with the
+       overriding of the "=" operator for tagged types.
+
+2022-05-30  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * 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  <moy@adacore.com>
+
+       * libgnat/s-arit32.adb (Scaled_Divide32): Move assertion up.
+
+2022-05-30  Yannick Moy  <moy@adacore.com>
+
+       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  <baird@adacore.com>
+
+       * 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  <bortolussi@adacore.com>
+
+       * 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  <lacambre@adacore.com>
+
+       * 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  <oliva@adacore.com>
 
        * gcc-interface/Makefile.in (OSCONS_CC): Rename to...

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 8575393..5b52fea 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,10 @@
+2022-05-30  Marek Polacek  <polacek@redhat.com>
+
+       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  <jakub@redhat.com>
 
        * 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 (file)
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,12 @@
+2022-05-30  Harald Anlauf  <anlauf@gmx.de>
+
+       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  <tobias@codesourcery.com>
 
        * 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 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,39 @@
+2022-05-30  Harald Anlauf  <anlauf@gmx.de>
+
+       PR fortran/91300
+       * gfortran.dg/allocate_alloc_opt_15.f90: New test.
+
+2022-05-30  Roger Sayle  <roger@nextmovesoftware.com>
+
+       PR rtl-optimization/101617
+       * gcc.target/i386/pr101617.c: New test case.
+
+2022-05-30  Roger Sayle  <roger@nextmovesoftware.com>
+
+       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  <ubizjak@gmail.com>
+
+       * gcc.target/i386/pr105624.c: New test.
+
+2022-05-30  Vineet Gupta  <vineetg@rivosinc.com>
+
+       * 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  <jakub@redhat.com>
 
        PR preprocessor/105732