diff options
| -rw-r--r-- | gcc/ChangeLog | 41 | ||||
| -rw-r--r-- | gcc/DATESTAMP | 2 | ||||
| -rw-r--r-- | gcc/ada/ChangeLog | 291 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 106 | ||||
| -rw-r--r-- | libobjc/ChangeLog | 6 | ||||
| -rw-r--r-- | libstdc++-v3/ChangeLog | 13 |
6 files changed, 458 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 99b44cf..f8cfd98 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,44 @@ +2023-05-22 Uros Bizjak <ubizjak@gmail.com> + + * config/i386/i386.cc (ix86_shift_rotate_cost): Correct + calcuation of integer vector mode costs to reflect generated + instruction sequences of different integer vector modes and + different target ABIs. Remove "speed" function argument. + (ix86_rtx_costs): Update call for removed function argument. + (ix86_vector_costs::add_stmt_cost): Ditto. + +2023-05-22 Aldy Hernandez <aldyh@redhat.com> + + * value-range.h (class Value_Range): Implement set_zero, + set_nonzero, and nonzero_p. + +2023-05-22 Uros Bizjak <ubizjak@gmail.com> + + * config/i386/i386.cc (ix86_multiplication_cost): Add + the cost of a memory read to the cost of V?QImode sequences. + +2023-05-22 Juzhe-Zhong <juzhe.zhong@rivai.ai> + + * config/riscv/riscv-v.cc: Add "m_" prefix. + +2023-05-22 Ju-Zhe Zhong <juzhe.zhong@rivai.ai> + + * tree-vect-loop.cc (vect_get_loop_len): Fix issue for + multiple-rgroup of length. + * tree-vect-stmts.cc (vectorizable_store): Ditto. + (vectorizable_load): Ditto. + * tree-vectorizer.h (vect_get_loop_len): Ditto. + +2023-05-22 Juzhe-Zhong <juzhe.zhong@rivai.ai> + + * config/riscv/riscv.cc (riscv_const_insns): Reorganize the + codes. + +2023-05-22 Kewen Lin <linkw@linux.ibm.com> + + * tree-vect-slp.cc (vect_transform_slp_perm_load_1): Refactor the + handling for the case index == count. + 2023-05-21 Georg-Johann Lay <avr@gjlay.de> PR target/90622 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index f25bef1..b7d9ba7 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20230522 +20230523 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 7a664e4..624b1d3 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,294 @@ +2023-05-22 Ronan Desplanques <desplanques@adacore.com> + + * cstand.adb: Use more idiomatic procedure. + +2023-05-22 Piotr Trojanek <trojanek@adacore.com> + + * errout.adb (First_Loc): Avoid repeated calls. + (Last_Loc): Likewise. + +2023-05-22 Eric Botcazou <ebotcazou@adacore.com> + + * inline.adb (Cleanup_Scopes): Do not propagate the Uses_Sec_Stack + flag from original to rewritten protected subprograms here... + * exp_ch9.adb (Expand_N_Protected_Body) <N_Subprogram_Body>: + ...but here instead. Add local variables and remove a useless + test. + +2023-05-22 Eric Botcazou <ebotcazou@adacore.com> + + * exp_ch7.adb (Expand_N_Package_Body): Call Defining_Entity to get + the entity of the body. + +2023-05-22 Piotr Trojanek <trojanek@adacore.com> + + * exp_attr.adb (Expand_Loop_Entry_Attribute): Use location of the + attribute reference, not of the loop statement. + +2023-05-22 Ronan Desplanques <desplanques@adacore.com> + + * par-ch3.adb: Add missing word in comment. + +2023-05-22 Justin Squirek <squirek@adacore.com> + + * checks.adb (Install_Null_Excluding_Check): Avoid non-null + optimizations when assertions are enabled. + +2023-05-22 Marc Poulhiès <poulhies@adacore.com> + + * exp_aggr.adb (Process_Transient_Component): Reset Analyzed flag + for the copy of the initialization expression. + * sem_attr.adb (Validate_Non_Static_Attribute_Function_Call): Skip + error emission during Pre_Analyze. + +2023-05-22 Eric Botcazou <ebotcazou@adacore.com> + + * exp_ch7.adb (Process_Package_Body): New procedure taken from... + (Build_Finalizer.Process_Declarations): ...here. Call the above + procedure to deal with both package bodies and package body stubs. + +2023-05-22 Ronan Desplanques <desplanques@adacore.com> + + * atree.ads: Remove outdated part of comment. + +2023-05-22 Eric Botcazou <ebotcazou@adacore.com> + + * exp_ch7.adb (Build_Finalizer): Reverse the test comparing the + instantiation and declaration nodes of a package instance, and + therefore bail out only when they are equal. Adjust comments. + (Expand_N_Package_Declaration): Do not clear the Finalizer field. + * lib-writ.adb: Add with and use clauses for Sem_Util. + (Write_Unit_Information): Look at unit nodes to find finalizers. + * sem_ch12.adb (Analyze_Package_Instantiation): Beef up the comment + about the rewriting of the instantiation node into a declaration. + +2023-05-22 Bob Duff <duff@adacore.com> + + * cstand.adb (Is_Past_Self_Hiding_Point): Rename to be + Is_Not_Self_Hidden. + * einfo.ads: Likewise. + * exp_aggr.adb: Likewise. + * gen_il-fields.ads: Likewise. + * gen_il-gen-gen_entities.adb: Likewise. + * sem.adb: Likewise. + * sem_aggr.adb: Likewise. + * sem_ch11.adb: Likewise. + * sem_ch12.adb: Likewise. + * sem_ch5.adb: Likewise. + * sem_ch6.adb: Likewise. + * sem_ch7.adb: Likewise. + * sem_prag.adb: Likewise. + +2023-05-22 Eric Botcazou <ebotcazou@adacore.com> + + * exp_ch3.adb (Make_Controlling_Function_Wrappers): Create the body + as the expanded body of an expression function. + +2023-05-22 Piotr Trojanek <trojanek@adacore.com> + + * pprint.adb (Expression_Image): Handle several previously unsupported + constructs. + +2023-05-22 Piotr Trojanek <trojanek@adacore.com> + + * sem_res.adb (Resolve_Entity_Name): Combine two IF statements that + execute code only for references that come from source. + +2023-05-22 Bob Duff <duff@adacore.com> + + * einfo.ads (Is_Past_Self_Hiding_Point): Document. + * gen_il-fields.ads (Is_Past_Self_Hiding_Point): Add to list of + fields. + * gen_il-gen-gen_entities.adb (Is_Past_Self_Hiding_Point): Declare + in all entities. + * exp_aggr.adb: Set Is_Past_Self_Hiding_Point as appropriate. + * sem.adb: Likewise. + * sem_aggr.adb: Likewise. + * sem_ch11.adb: Likewise. + * sem_ch12.adb: Likewise. + * sem_ch5.adb: Likewise. + * sem_ch7.adb: Likewise. + * sem_prag.adb: Likewise. + * sem_ch6.adb: Likewise. + (Set_Formal_Mode): Minor cleanup: Move from spec. + * sem_ch6.ads: + (Set_Formal_Mode): Minor cleanup: Move to body. + * cstand.adb: Call Set_Is_Past_Self_Hiding_Point on all entities + as soon as they are created. + * comperr.adb (Compiler_Abort): Minor cleanup -- use 'in' instead + of 'or else'. + * debug.adb: Minor comment cleanups. + +2023-05-22 Steve Baird <baird@adacore.com> + + * sem_ch4.adb (Analyze_Expression_With_Actions.Check_Action_Ok): + Accept an executable pragma occuring in a declare expression as + per AI22-0045. This means Assert and Inspection_Point pragmas as + well as any implementation-defined pragmas that the implementation + chooses to categorize as executable. Currently Assume and Debug + are the only such pragmas. + +2023-05-22 Piotr Trojanek <trojanek@adacore.com> + + * sem_prag.adb + (Check_Postcondition_Use_In_Inlined_Subprogram): Mention + Subprogram_Variant in the comment. + (Analyze_Subprogram_Variant_In_Decl_Part): Warn when contract is + ignored because of pragma Inline_Always and frontend inlining. + +2023-05-22 Piotr Trojanek <trojanek@adacore.com> + + * sem_prag.adb (Check_Postcondition_Use_In_Inlined_Subprogram): Only + emit warning when frontend inlining is enabled. + +2023-05-22 Arnaud Charlet <charlet@adacore.com> + + * par-ch3.adb, sem_ch4.adb (P_Discrete_Range, Analyze_Logical_Op, + Analyze_Short_Circuit): Add calls to Check_Xtra_Parentheses. + * par-ch5.adb (P_Condition): Move logic to Check_Xtra_Parentheses. + * style.ads, styleg.adb, styleg.ads (Check_Xtra_Parens): Move logic + related to expressions requiring parentheses here. + +2023-05-22 Arnaud Charlet <charlet@adacore.com> + + * ali-util.adb, par-endh.adb, par-prag.adb, par-ch2.adb, + checks.adb, fmap.adb, libgnat/a-nbnbig.ads, libgnat/g-dynhta.adb, + libgnat/s-carun8.adb, libgnat/s-strcom.adb, libgnat/a-dhfina.adb, + libgnat/a-direct.adb, libgnat/a-rbtgbo.adb, libgnat/a-strsea.adb, + libgnat/a-ststio.adb, libgnat/a-suenco.adb, libgnat/a-costso.adb, + libgnat/a-strmap.adb, libgnat/g-alleve.adb, + libgnat/g-debpoo.adb, libgnat/g-sercom__linux.adb, + libgnat/s-genbig.adb, libgnat/s-mmap.adb, libgnat/s-regpat.adb, + par-ch5.adb, sem_case.adb, sem_ch12.adb, sem_ch13.adb, + sem_ch8.adb, sem_eval.adb, sem_prag.adb, sem_type.adb, + exp_ch11.adb, exp_ch2.adb, exp_ch3.adb, exp_ch4.adb, exp_ch5.adb, + exp_ch6.adb, exp_ch9.adb, exp_put_image.adb, freeze.adb, live.adb, + sem_aggr.adb, sem_cat.adb, sem_ch10.adb, sem_ch3.adb, sem_ch6.adb, + sem_ch9.adb, sem_disp.adb, sem_elab.adb, sem_res.adb, + sem_util.adb, sinput.adb, uintp.adb, bcheck.adb, binde.adb, + binderr.adb, einfo-utils.adb, clean.adb, sem_ch4.adb, gnatls.adb, + gprep.adb, sem_ch11.adb: Remove extra parentheses. + +2023-05-22 Arnaud Charlet <charlet@adacore.com> + + * sem_aggr.adb (Get_Value): Use ?? instead of ?. + +2023-05-22 Piotr Trojanek <trojanek@adacore.com> + + * exp_aggr.adb (Aggregate_Size): Remove redundant calls to + Present. + * exp_ch5.adb (Expand_N_If_Statement): Likewise. + * sem_prag.adb (Analyze_Pragma): Likewise. + * sem_warn.adb (Find_Var): Likewise. + +2023-05-22 Claire Dross <dross@adacore.com> + + * sem_util.adb (Find_Actual): On calls through dereferences, + return the corresponding formal in the designated subprogram + profile. + +2023-05-22 Piotr Trojanek <trojanek@adacore.com> + + * sem_util.ads (Is_Actual_Tagged_Parameter): Remove spec. + * sem_util.adb (Is_Actual_Tagged_Parameter): Remove body. + +2023-05-22 Joffrey Huguet <huguet@adacore.com> + + * libgnat/a-strunb.ads, libgnat/a-strunb__shared.ads + (To_Unbounded_String): Add postcondition. Add aspect SPARK_Mode + Off on the version that takes a Natural as parameter. + (To_String): Complete postcondition. + (Set_Unbounded_String): Add postcondition. + (Element): Likewise. + ("="): Likewise. + +2023-05-22 Eric Botcazou <ebotcazou@adacore.com> + + * exp_ch3.adb (Freeze_Type): Do not associate the Finalize_Address + routine for a class-wide type if restriction No_Dispatching_Calls + is in effect. + +2023-05-22 Eric Botcazou <ebotcazou@adacore.com> + + * libgnat/s-genbig.ads (From_Bignum): New overloaded declarations. + * libgnat/s-genbig.adb (LLLI): New subtype. + (LLLI_Is_128): New boolean constant. + (From_Bignum): Change the return type of the signed implementation + to Long_Long_Long_Integer and add support for the case where its + size is 128 bits. Add a wrapper around it for Long_Long_Integer. + Add an unsigned implementation returning Unsigned_128 and a wrapper + around it for Unsigned_64. + (To_Bignum): Test LLLI_Is_128 instead of its size. + (To_String.Image): Add qualification to calls to From_Bignum. + * libgnat/a-nbnbin.adb (To_Big_Integer): Likewise. + (Signed_Conversions.From_Big_Integer): Likewise. + (Unsigned_Conversions): Likewise. + +2023-05-22 Eric Botcazou <ebotcazou@adacore.com> + + * freeze.adb (Wrap_Imported_Subprogram): Use Copy_Subprogram_Spec + to copy the spec from the subprogram to the generated subprogram + body. + (Freeze_Entity): Do not wrap imported subprograms inside generics. + +2023-05-22 Steve Baird <baird@adacore.com> + + * sem_ch4.adb (Analyze_Expression_With_Actions.Check_Action_Ok): + If Comes_From_Source (A) is False, then look at Original_Node (A) + instead of A. In particular, if an (illegal) expression function + is transformed into a "vanilla" function, we don't want to allow + it just because Comes_From_Source is now False. + +2023-05-22 Steve Baird <baird@adacore.com> + + * sem_prag.adb (Analyze_Pragma): In Check_No_Return, call + Error_Msg_Ada_2022_Feature in the case of a function. Remove code + outside of Check_No_Return that was querying Ada_Version. + +2023-05-22 Eric Botcazou <ebotcazou@adacore.com> + + * exp_ch4.adb (Expand_N_Expression_With_Actions.Process_Action): Do + not look into nested blocks. + +2023-05-22 Eric Botcazou <ebotcazou@adacore.com> + + * sem_ch3.adb (Find_Type_Of_Object): In a spec expression, also set + the Scope of the type, and call Constrain_Array for array subtypes. + +2023-05-22 Piotr Trojanek <trojanek@adacore.com> + + * pprint.adb (Expression_Image): Reduce scope of local variables; inline + local uncommented constant From_Source; concatenate string with a single + character, as it is likely to execute faster; add missing cases to + traversal for the rightmost node and assertion to demonstrate that the + ??? comment is no longer relevant. + +2023-05-22 Piotr Trojanek <trojanek@adacore.com> + + * pprint.adb (Expr_Name): Qualify CASE expression with N_Subexpr; add + missing alternative for N_Raise_Storage_Error; remove dead alternatives; + explicitly list unsupported alternatives. + +2023-05-22 Piotr Trojanek <trojanek@adacore.com> + + * pprint.adb (Expr_Name): Exclude DEL from printable range. + +2023-05-22 Piotr Trojanek <trojanek@adacore.com> + + * sem_util.ads (New_Copy_Tree): Update comment. + * sem_util.adb (New_Copy_Tree): Update Controlling_Argument, very + much like we update the First/Next_Named_Association. + +2023-05-22 Bob Duff <duff@adacore.com> + + * fe.h: Remove Ada_With_Extensions and add commentary. + * opt.ads: Rearrange code and add commentary. + +2023-05-22 Bob Duff <duff@adacore.com> + + * sem_util.adb (Process_Type): Stop the recursion. + * exp_aggr.adb (Build_Record_Aggr_Code): Add assertion. + 2023-05-18 Bernhard Reutner-Fischer <aldot@gcc.gnu.org> * gcc-interface/decl.cc (gnat_to_gnu_entity): Use _P defines diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 992e54c..82b3570 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,109 @@ +2023-05-22 Uros Bizjak <ubizjak@gmail.com> + + * gcc.target/i386/sse2-shiftqihi-constant-1.c: Remove XFAILs. + +2023-05-22 Georg-Johann Lay <avr@gjlay.de> + + PR testsuite/52641 + * gcc.c-torture/compile/pr108892.c: Require int32. + * gcc.c-torture/compile/pr98199.c: Require int32plus. + * gcc.dg/analyzer/call-summaries-pr107072.c: Same. + * gcc.dg/analyzer/null-deref-pr105755.c: Same. + * gcc.dg/tree-ssa/pr102232.c: Same. + * gcc.dg/tree-ssa/pr105860.c: Same. + * gcc.dg/tree-ssa/pr96730.c: Same. + * gcc.dg/tree-ssa/pr96779-disabled.c: Same. + * gcc.dg/tree-ssa/pr96779.c: Same. + * gcc.dg/tree-ssa/pr98513.c: Same. + * gcc.dg/tree-ssa/ssa-sink-18.c + * gcc.dg/analyzer/coreutils-cksum-pr108664.c: Require int32plus, + size24plus. + * gcc.dg/analyzer/doom-s_sound-pr108867.c: Require size32plus. + * gcc.dg/analyzer/malloc-CWE-590-examples.c: Same. + * gcc.dg/debug/btf/btf-bitfields-4.c: Same. + * gcc.dg/tree-ssa/pr93435.c: Same. + * gcc.dg/analyzer/null-deref-pr102671-1.c: Require ptr_eq_long: + * gcc.dg/analyzer/null-deref-pr102671-2.c: Same. + * gcc.dg/analyzer/null-deref-pr108251-smp_fetch_ssl_fc_has_early-O2.c: + Same. + * gcc.dg/analyzer/null-deref-pr108251-smp_fetch_ssl_fc_has_early.c: + Same. + * gcc.dg/tree-ssa/pr103345.c: Use uint32_t. + * gcc.dg/tree-ssa/ssa-ccp-41.c [sizeof(int)==2]: Same. + * gcc.dg/tree-ssa/pr109031-1.c: Use uint16_t, uint32_t. + * gcc.dg/tree-ssa/pr109031-2.c: Same. + * gcc.dg/Warray-bounds-49.c (dg-warning): Discriminate int != short. + * gcc.dg/Warray-bounds-52.c (dg-warning): Discriminate avr. + * gcc.dg/Warray-bounds-33.c: Skip target avr. + * gcc.dg/analyzer/fd-access-mode-target-headers.c: Same. + * gcc.dg/analyzer/flex-with-call-summaries.c: Same. + * gcc.dg/analyzer/isatty-1.c: Same. + * gcc.dg/analyzer/pipe-glibc.c: Same. + +2023-05-22 Georg-Johann Lay <avr@gjlay.de> + + PR testsuite/52641 + * c-c++-common/pr19807-2.c: Use __SIZEOF_INT__ instead of 4. + * gcc.c-torture/compile/pr103813.c: Require size32plus. + * gcc.c-torture/execute/pr108498-2.c: Same. + * gcc.c-torture/compile/pr96426.c: Condition on + __SIZEOF_LONG_LONG__ == __SIZEOF_DOUBLE__. + * gcc.c-torture/execute/pr103417.c: Require int32plus. + * gcc.dg/pr104198.c: Same. + * gcc.dg/pr21137.c: Same. + * gcc.dg/pr88905.c: Same. + * gcc.dg/pr90838.c: Same. + * gcc.dg/pr97317.c: Same. + * gcc.dg/pr100292.c: Require int32. + * gcc.dg/pr101008.c: Same. + * gcc.dg/pr96542.c: Same. + * gcc.dg/pr96674.c: Same. + * gcc.dg/pr97750.c: Require ptr_eq_long. + +2023-05-22 Georg-Johann Lay <avr@gjlay.de> + + * lib/target-supports.exp (check_effective_target_lra) [avr]: Return 0. + * gcc.dg/pr19402-2.c: Skip for avr. + * gcc.dg/pr86124.c: Same. + * gcc.dg/pr94291.c: Same. + * gcc.dg/torture/builtin-complex-1.c: Same. + * gcc.dg/torture/fp-int-convert-float32x-timode.c: Same. + * gcc.dg/torture/fp-int-convert-float32x.c: Same. + * gcc.dg/torture/fp-int-convert-float64-timode.c: Same. + * gcc.dg/torture/fp-int-convert-float64.c: Same. + * gcc.dg/torture/fp-int-convert-long-double.c: Same. + * gcc.dg/torture/fp-int-convert-timode.c: Same. + * c-c++-common/torture/builtin-convertvector-1.c: Same. + * c-c++-common/torture/complex-sign-add.c: Same. + * c-c++-common/torture/complex-sign-mixed-add.c: Same. + * c-c++-common/torture/complex-sign-mixed-div.c: Same. + * c-c++-common/torture/complex-sign-mixed-mul.c: Same. + * c-c++-common/torture/complex-sign-mixed-sub.c: Same. + * c-c++-common/torture/complex-sign-mul-minus-one.c: Same. + * c-c++-common/torture/complex-sign-mul-one.c: Same. + * c-c++-common/torture/complex-sign-mul.c: Same. + * c-c++-common/torture/complex-sign-sub.c: Same. + +2023-05-22 Juzhe-Zhong <juzhe.zhong@rivai.ai> + + * gcc.target/riscv/rvv/autovec/partial/multiple_rgroup-2.h: Fix + typo + +2023-05-22 Ju-Zhe Zhong <juzhe.zhong@rivai.ai> + + * gcc.target/riscv/rvv/autovec/partial/multiple_rgroup-1.c: New + test. + * gcc.target/riscv/rvv/autovec/partial/multiple_rgroup-1.h: New + test. + * gcc.target/riscv/rvv/autovec/partial/multiple_rgroup-2.c: New + test. + * gcc.target/riscv/rvv/autovec/partial/multiple_rgroup-2.h: New + test. + * gcc.target/riscv/rvv/autovec/partial/multiple_rgroup_run-1.c: + New test. + * gcc.target/riscv/rvv/autovec/partial/multiple_rgroup_run-2.c: + New test. + 2023-05-21 Roger Sayle <roger@nextmovesoftware.com> * gcc.target/nvptx/brev-1.c: New 32-bit test case. diff --git a/libobjc/ChangeLog b/libobjc/ChangeLog index 538f8b2..73ee114 100644 --- a/libobjc/ChangeLog +++ b/libobjc/ChangeLog @@ -1,3 +1,9 @@ +2023-05-22 Iain Sandoe <iain@sandoe.co.uk> + Andrew Pinski <apinski@marvell.com> + + PR libobjc/109913 + * encoding.c (RECORD_OR_UNION_TYPE_P, VECTOR_TYPE_P): New. + 2022-10-20 Thomas Schwinge <thomas@codesourcery.com> * configure.ac (AC_CONFIG_MACRO_DIRS): Instantiate. diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index f80396b..b4ae9e4 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,16 @@ +2023-05-22 Matthias Kretz <m.kretz@gsi.de> + + * include/experimental/bits/simd_builtin.h (_S_fpclassify): Move + __infn into #ifdef'ed block. + * testsuite/experimental/simd/tests/fpclassify.cc: Declare + constants only when used. + * testsuite/experimental/simd/tests/frexp.cc: Likewise. + * testsuite/experimental/simd/tests/logarithm.cc: Likewise. + * testsuite/experimental/simd/tests/trunc_ceil_floor.cc: + Likewise. + * testsuite/experimental/simd/tests/ldexp_scalbn_scalbln_modf.cc: + Move totest and expect1 into #ifdef'ed block. + 2023-05-19 Gerald Pfeifer <gerald@pfeifer.com> * doc/xml/manual/strings.xml: Move lafstern.org reference to https. |