diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 8e16680587737af0d503cbf780b67a316a9780a5..d8398c942310b24d39cd02d835715700720e7a74 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,63 @@ +2024-03-15 YunQiang Su <syq@gcc.gnu.org> + + * config/riscv/riscv.opt.urls: Regenerated. + * config/rs6000/sysv4.opt.urls: Likewise. + * config/xtensa/xtensa.opt.urls: Likewise. + +2024-03-15 Jakub Jelinek <jakub@redhat.com> + + * lower-subreg.cc (resolve_simple_move): Fix comment typo, + betwee -> between. + * edit-context.cc (class line_event): Fix comment typo, + betweeen -> between. + +2024-03-15 Jakub Jelinek <jakub@redhat.com> + + PR target/114339 + * config/i386/i386-expand.cc (ix86_expand_int_sse_cmp) <case LE>: Fix + a pasto, compare code against LE rather than GE. + +2024-03-15 Joe Ramsay <Joe.Ramsay@arm.com> + + * match.pd: Fix truncation pattern for -fno-signed-zeroes + +2024-03-15 Jakub Jelinek <jakub@redhat.com> + + PR middle-end/114332 + * expr.cc (expand_expr_real_1): EXTEND_BITINT also CALL_EXPR results. + +2024-03-15 Jakub Jelinek <jakub@redhat.com> + + PR tree-optimization/113466 + * gimple-lower-bitint.cc (bitint_large_huge): Add m_returns_twice_calls + member. + (bitint_large_huge::bitint_large_huge): Initialize it. + (bitint_large_huge::~bitint_large_huge): Release it. + (bitint_large_huge::lower_call): Remember ECF_RETURNS_TWICE call stmts + before which at least one statement has been inserted. + (gimple_lower_bitint): Move argument loads before ECF_RETURNS_TWICE + calls to a different block and add corresponding PHIs. + +2024-03-15 YunQiang Su <syq@gcc.gnu.org> + + * config/mips/mips.opt: Support -mstrict-align, and use + TARGET_STRICT_ALIGN as the flag; keep -m(no-)unaligned-access + as alias. + * config/mips/mips.h: Use TARGET_STRICT_ALIGN. + * config/mips/mips.opt.urls: Regenerate. + * doc/invoke.texi: Document -m(no-)strict-algin for MIPSr6. + +2024-03-15 Tejas Belagod <tejas.belagod@arm.com> + + PR middle-end/114108 + * tree-vect-patterns.cc (vect_recog_abd_pattern): Call + vect_convert_output with the correct vecitype. + +2024-03-15 Chenghui Pan <panchenghui@loongson.cn> + + * config/loongarch/lasx.md (lasx_xvpermi_q_<LASX:mode>): + Remove masking of operand 3. + 2024-03-14 Jason Merrill <jason@redhat.com> * tree-core.h (enum clobber_kind): Clarify CLOBBER_OBJECT_* diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index d71dec2cf4d8747b830a476a1491dfd096d6bb94..0c922a24f40c4b14b92bafe9cbb3b2d3049f945b 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20240315 +20240316 diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 21a85a6266b6a2049cff3086ee01d62a7c6dfcc4..7781daf40d2d17ad4e30da1f5dfde8608e868344 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,70 @@ +2024-03-15 Paul Thomas <pault@gcc.gnu.org> + + PR fortran/87477 + PR fortran/89645 + PR fortran/99065 + PR fortran/114141 + PR fortran/114280 + * class.cc (gfc_change_class): New function needed for + associate names, when rank changes or a derived type is + produced by resolution + * dump-parse-tree.cc (show_code_node): Make output for SELECT + TYPE more comprehensible. + * expr.cc (find_inquiry_ref): Do not simplify expressions of + an inferred type. + * gfortran.h : Add 'gfc_association_list' to structure + 'gfc_association_list'. Add prototypes for + 'gfc_find_derived_types', 'gfc_fixup_inferred_type_refs' and + 'gfc_change_class'. Add macro IS_INFERRED_TYPE. + * match.cc (copy_ts_from_selector_to_associate): Add bolean arg + 'select_type' with default false. If this is a select type name + and the selector is a inferred type, build the class type and + apply it to the associate name. + (build_associate_name): Pass true to 'select_type' in call to + previous. + * parse.cc (parse_associate): If the selector is inferred type + the associate name is too. Make sure that function selector + class and rank, if known, are passed to the associate name. If + a function result exists, pass its typespec to the associate + name. + * primary.cc (resolvable_fcns): New function to check that all + the function references are resolvable. + (gfc_match_varspec): If a scalar derived type select type + temporary has an array reference, match the array reference, + treating this in the same way as an equivalence member. Do not + set 'inquiry' if applied to an unknown type the inquiry name + is ambiguous with the component of an accessible derived type. + Check that resolution of the target expression is OK by testing + if the symbol is declared or is an operator expression, then + using 'resolvable_fcns' recursively. If all is well, resolve + the expression. If this is an inferred type with a component + reference, call 'gfc_find_derived_types' to find a suitable + derived type. If there is an inquiry ref and the symbol either + is of unknown type or is inferred to be a derived type, set the + primary and symbol TKR appropriately. + * resolve.cc (resolve_variable): Call new function below. + (gfc_fixup_inferred_type_refs): New function to ensure that the + expression references for a inferred type are consistent with + the now fixed up selector. + (resolve_assoc_var): Ensure that derived type or class function + selectors transmit the correct arrayspec to the associate name. + (resolve_select_type): If the selector is an associate name of + inferred type and has no component references, the associate + name should have its typespec. Simplify the conversion of a + class array to class scalar by calling 'gfc_change_class'. + Make sure that a class, inferred type selector with an array + ref transfers the typespec from the symbol to the expression. + * symbol.cc (gfc_set_default_type): If an associate name with + unknown type has a selector expression, try resolving the expr. + (find_derived_types, gfc_find_derived_types): New functions + that search for a derived type with a given name. + * trans-expr.cc (gfc_conv_variable): Some inferred type exprs + escape resolution so call 'gfc_fixup_inferred_type_refs'. + * trans-stmt.cc (trans_associate_var): Tidy up expression for + 'class_target'. Finalize and free class function results. + Correctly handle selectors that are class functions and class + array references, passed as derived types. + 2024-03-14 Thomas Schwinge <thomas@codesourcery.com> * dump-parse-tree.cc (show_omp_clauses): Handle 'self_expr'. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index b8e5161ea61b2d5818366dae4def53f4df2f89ba..6167f0b8dbfb558590ffdcfa38ce3b54952132bd 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,59 @@ +2024-03-15 Jakub Jelinek <jakub@redhat.com> + + PR libgcc/114327 + * gcc.dg/torture/bitint-63.c: New test. + +2024-03-15 Jakub Jelinek <jakub@redhat.com> + + PR tree-optimization/113431 + * gcc.dg/vect/pr113431.c: Restrict scan-tree-dump-times to + vect_hw_misalign targets. + +2024-03-15 Jakub Jelinek <jakub@redhat.com> + + PR target/114339 + * gcc.target/i386/pr114339.c: New test. + +2024-03-15 Joe Ramsay <Joe.Ramsay@arm.com> + + * gcc.target/aarch64/no_merge_trunc_signed_zero.c: New test. + +2024-03-15 Jakub Jelinek <jakub@redhat.com> + + PR middle-end/114332 + * gcc.dg/torture/bitint-64.c: New file. + +2024-03-15 Jakub Jelinek <jakub@redhat.com> + + * g++.dg/torture/pr104601.C: Add -Wno-unused-result to dg-options. + +2024-03-15 Jakub Jelinek <jakub@redhat.com> + + PR tree-optimization/113466 + * gcc.dg/bitint-100.c: New test. + +2024-03-15 Paul Thomas <pault@gcc.gnu.org> + + PR fortran/87477 + PR fortran/89645 + PR fortran/99065 + PR fortran/114141 + PR fortran/114280 + * gfortran.dg/associate_64.f90 : New test + * gfortran.dg/associate_66.f90 : New test + * gfortran.dg/associate_67.f90 : New test + * gfortran.dg/associate_65.f90 : New test + * gfortran.dg/associate_68.f90 : New test + +2024-03-15 Tejas Belagod <tejas.belagod@arm.com> + + * gcc.dg/vect/pr114108.c: New test. + +2024-03-15 Chenghui Pan <panchenghui@loongson.cn> + + * gcc.target/loongarch/vector/lasx/lasx-xvpermi_q.c: + Reposition operand 3's value into instruction's defined accept range. + 2024-03-14 Gaius Mulley <gaiusmod2@gmail.com> PR modula2/114294 diff --git a/libgcc/ChangeLog b/libgcc/ChangeLog index 0ceb4eb9fd0a2add54c9277bf0d9076cf4c32321..cbe15b9291961e212cd599845576bf533611e451 100644 --- a/libgcc/ChangeLog +++ b/libgcc/ChangeLog @@ -1,3 +1,12 @@ +2024-03-15 Jakub Jelinek <jakub@redhat.com> + + PR libgcc/114327 + * libgcc2.c (bitint_negate): Return UWtype bitwise or of all the limbs + before negation rather than void. + (__divmodbitint4): Determine whether to fill in the upper limbs after + negation based on whether bitint_negate returned 0 or non-zero, rather + then always filling with -1. + 2024-02-22 Kewen Lin <linkw@linux.ibm.com> PR target/109987