From e4777439fc77465b4cf89b6bfeb47cd00329cb20 Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Thu, 23 Sep 2021 00:16:29 +0000 Subject: [PATCH] Daily bump. --- gcc/ChangeLog | 324 ++++++++++++++++++++++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 407 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/c-family/ChangeLog | 4 + gcc/c/ChangeLog | 5 + gcc/cp/ChangeLog | 28 ++++ gcc/fortran/ChangeLog | 45 ++++++ gcc/testsuite/ChangeLog | 177 +++++++++++++++++++++ include/ChangeLog | 5 + libgcc/ChangeLog | 5 + libgfortran/ChangeLog | 7 + libgomp/ChangeLog | 12 ++ 12 files changed, 1020 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 0ff90d1..a35c5b7 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,327 @@ +2021-09-22 Tobias Burnus + + PR fortran/55534 + * doc/invoke.texi (-Wno-missing-include-dirs.): Document Fortran + behavior. + +2021-09-22 Roger Sayle + Richard Biener + + * match.pd (negation simplifications): Implement some negation + folding transformations from fold-const.c's fold_negate_expr. + * tree-ssa-sccvn.c (vn_nary_build_or_lookup_1): Add a SIMPLIFY + argument, to control whether the op should be simplified prior + to looking up/assigning a value number. + (vn_nary_build_or_lookup): Update call to vn_nary_build_or_lookup_1. + (vn_nary_simplify): Likewise. + (visit_nary_op): Likewise, but when constructing a NEGATE_EXPR + now call vn_nary_build_or_lookup_1 disabling simplification. + +2021-09-22 Jiufu Guo + + PR tree-optimization/102087 + * tree-ssa-loop-niter.c (number_of_iterations_until_wrap): + Update bound/cmp/control for niter. + +2021-09-22 Aldy Hernandez + + * gimple-range-fold.cc (fold_using_range::range_of_range_op): + Move check for non-empty BB here. + (fur_source::register_outgoing_edges): ...from here. + +2021-09-22 Aldy Hernandez + + * gimple-range-path.cc (path_range_query::internal_range_of_expr): + Remove call to improve_range_with_equivs. + (path_range_query::improve_range_with_equivs): Remove + * gimple-range-path.h: Remove improve_range_with_equivs. + +2021-09-22 dianhong xu + + * config/i386/avx512fp16intrin.h: + (_mm512_mask_blend_ph): New intrinsic. + (_mm512_permutex2var_ph): Ditto. + (_mm512_permutexvar_ph): Ditto. + * config/i386/avx512fp16vlintrin.h: + (_mm256_mask_blend_ph): New intrinsic. + (_mm256_permutex2var_ph): Ditto. + (_mm256_permutexvar_ph): Ditto. + (_mm_mask_blend_ph): Ditto. + (_mm_permutex2var_ph): Ditto. + (_mm_permutexvar_ph): Ditto. + +2021-09-22 dianhong xu + + * config/i386/avx512fp16intrin.h: Add new intrinsics. + (_mm512_conj_pch): New intrinsic. + (_mm512_mask_conj_pch): Ditto. + (_mm512_maskz_conj_pch): Ditto. + * config/i386/avx512fp16vlintrin.h: Add new intrinsics. + (_mm256_conj_pch): New intrinsic. + (_mm256_mask_conj_pch): Ditto. + (_mm256_maskz_conj_pch): Ditto. + (_mm_conj_pch): Ditto. + (_mm_mask_conj_pch): Ditto. + (_mm_maskz_conj_pch): Ditto. + +2021-09-22 dianhong xu + + * config/i386/avx512fp16intrin.h (_MM512_REDUCE_OP): New macro + (_mm512_reduce_add_ph): New intrinsic. + (_mm512_reduce_mul_ph): Ditto. + (_mm512_reduce_min_ph): Ditto. + (_mm512_reduce_max_ph): Ditto. + * config/i386/avx512fp16vlintrin.h + (_MM256_REDUCE_OP/_MM_REDUCE_OP): New macro. + (_mm256_reduce_add_ph): New intrinsic. + (_mm256_reduce_mul_ph): Ditto. + (_mm256_reduce_min_ph): Ditto. + (_mm256_reduce_max_ph): Ditto. + (_mm_reduce_add_ph): Ditto. + (_mm_reduce_mul_ph): Ditto. + (_mm_reduce_min_ph): Ditto. + (_mm_reduce_max_ph): Ditto. + +2021-09-22 dianhong xu + + * config/i386/avx512fp16intrin.h (__m512h_u, __m256h_u, + __m128h_u): New typedef. + (_mm512_load_ph): New intrinsic. + (_mm256_load_ph): Ditto. + (_mm_load_ph): Ditto. + (_mm512_loadu_ph): Ditto. + (_mm256_loadu_ph): Ditto. + (_mm_loadu_ph): Ditto. + (_mm512_store_ph): Ditto. + (_mm256_store_ph): Ditto. + (_mm_store_ph): Ditto. + (_mm512_storeu_ph): Ditto. + (_mm256_storeu_ph): Ditto. + (_mm_storeu_ph): Ditto. + (_mm512_abs_ph): Ditto. + * config/i386/avx512fp16vlintrin.h + (_mm_abs_ph): Ditto. + (_mm256_abs_ph): Ditto. + +2021-09-22 Andreas Krebbel + + * config/s390/tpf.md (prologue_tpf, epilogue_tpf): Add cc clobber. + +2021-09-22 Andreas Krebbel + + PR target/102222 + * config/s390/s390.c (s390_expand_insv): Emit a normal move if it + is actually a full copy of the source operand into the target. + Don't emit a strict low part move if source and target mode match. + +2021-09-22 Jakub Jelinek + + PR middle-end/102415 + * omp-expand.c (expand_omp_single): If region->exit is NULL, + assert region->entry is GIMPLE_OMP_SCOPE region and return. + +2021-09-22 Jakub Jelinek + + * tree.h (OMP_CLAUSE_ALLOCATE_ALIGN): Define. + * tree.c (omp_clause_num_ops): Change number of OMP_CLAUSE_ALLOCATE + arguments from 2 to 3. + * tree-pretty-print.c (dump_omp_clause): Print allocator() around + allocate clause allocator and print align if present. + * omp-low.c (scan_sharing_clauses): Force allocate_map entry even + for omp_default_mem_alloc if align modifier is present. If align + modifier is present, use TREE_LIST to encode both allocator and + align. + (lower_private_allocate, lower_rec_input_clauses, create_task_copyfn): + Handle align modifier on allocator clause if present. + +2021-09-22 liuhongt + + * config/i386/i386.md (define_attr "isa"): Add + fma_or_avx512vl. + (define_attr "enabled"): Correspond fma_or_avx512vl to + TARGET_FMA || TARGET_AVX512VL. + * config/i386/mmx.md (fmav2sf4): Extend to AVX512 fma. + (fmsv2sf4): Ditto. + (fnmav2sf4): Ditto. + (fnmsv2sf4): Ditto. + +2021-09-22 liuhongt + + * config/i386/i386.md (cstorehf3): New define_expand. + +2021-09-22 liuhongt + + * config/i386/i386.md (hf2): New expander. + (sse4_1_round2): Extend from MODEF to MODEFH. + * config/i386/sse.md (*sse4_1_round): + Extend from VF_128 to VFH_128. + +2021-09-22 liuhongt + + * config/i386/i386-features.c (i386-features.c): Handle + E_HFmode. + * config/i386/i386.md (sqrthf2): New expander. + (*sqrthf2): New define_insn. + * config/i386/sse.md + (*_vmsqrt2): + Extend to VFH_128. + +2021-09-22 liuhongt + + * config/i386/avx512fp16intrin.h (_mm_mask_fcmadd_sch): + New intrinsic. + (_mm_mask3_fcmadd_sch): Likewise. + (_mm_maskz_fcmadd_sch): Likewise. + (_mm_fcmadd_sch): Likewise. + (_mm_mask_fmadd_sch): Likewise. + (_mm_mask3_fmadd_sch): Likewise. + (_mm_maskz_fmadd_sch): Likewise. + (_mm_fmadd_sch): Likewise. + (_mm_mask_fcmadd_round_sch): Likewise. + (_mm_mask3_fcmadd_round_sch): Likewise. + (_mm_maskz_fcmadd_round_sch): Likewise. + (_mm_fcmadd_round_sch): Likewise. + (_mm_mask_fmadd_round_sch): Likewise. + (_mm_mask3_fmadd_round_sch): Likewise. + (_mm_maskz_fmadd_round_sch): Likewise. + (_mm_fmadd_round_sch): Likewise. + (_mm_fcmul_sch): Likewise. + (_mm_mask_fcmul_sch): Likewise. + (_mm_maskz_fcmul_sch): Likewise. + (_mm_fmul_sch): Likewise. + (_mm_mask_fmul_sch): Likewise. + (_mm_maskz_fmul_sch): Likewise. + (_mm_fcmul_round_sch): Likewise. + (_mm_mask_fcmul_round_sch): Likewise. + (_mm_maskz_fcmul_round_sch): Likewise. + (_mm_fmul_round_sch): Likewise. + (_mm_mask_fmul_round_sch): Likewise. + (_mm_maskz_fmul_round_sch): Likewise. + * config/i386/i386-builtin.def: Add corresponding new builtins. + * config/i386/sse.md + (avx512fp16_fmaddcsh_v8hf_maskz): New expander. + (avx512fp16_fcmaddcsh_v8hf_maskz): Ditto. + (avx512fp16_fma_sh_v8hf): + New define insn. + (avx512fp16_sh_v8hf_mask): Ditto. + (avx512fp16_sh_v8hf): + Ditto. + * config/i386/subst.md (mask_scalarcz_name): New. + (mask_scalarc_name): Ditto. + (mask_scalarc_operand3): Ditto. + (mask_scalarcz_operand4): Ditto. + (round_scalarcz_name): Ditto. + (round_scalarc_mask_operand3): Ditto. + (round_scalarcz_mask_operand4): Ditto. + (round_scalarc_mask_op3): Ditto. + (round_scalarcz_mask_op4): Ditto. + (round_scalarcz_constraint): Ditto. + (round_scalarcz_nimm_predicate): Ditto. + (mask_scalarcz): Ditto. + (mask_scalarc): Ditto. + (round_scalarcz): Ditto. + +2021-09-22 liuhongt + + * config/i386/avx512fp16intrin.h (_mm512_fcmadd_pch): + New intrinsic. + (_mm512_mask_fcmadd_pch): Likewise. + (_mm512_mask3_fcmadd_pch): Likewise. + (_mm512_maskz_fcmadd_pch): Likewise. + (_mm512_fmadd_pch): Likewise. + (_mm512_mask_fmadd_pch): Likewise. + (_mm512_mask3_fmadd_pch): Likewise. + (_mm512_maskz_fmadd_pch): Likewise. + (_mm512_fcmadd_round_pch): Likewise. + (_mm512_mask_fcmadd_round_pch): Likewise. + (_mm512_mask3_fcmadd_round_pch): Likewise. + (_mm512_maskz_fcmadd_round_pch): Likewise. + (_mm512_fmadd_round_pch): Likewise. + (_mm512_mask_fmadd_round_pch): Likewise. + (_mm512_mask3_fmadd_round_pch): Likewise. + (_mm512_maskz_fmadd_round_pch): Likewise. + (_mm512_fcmul_pch): Likewise. + (_mm512_mask_fcmul_pch): Likewise. + (_mm512_maskz_fcmul_pch): Likewise. + (_mm512_fmul_pch): Likewise. + (_mm512_mask_fmul_pch): Likewise. + (_mm512_maskz_fmul_pch): Likewise. + (_mm512_fcmul_round_pch): Likewise. + (_mm512_mask_fcmul_round_pch): Likewise. + (_mm512_maskz_fcmul_round_pch): Likewise. + (_mm512_fmul_round_pch): Likewise. + (_mm512_mask_fmul_round_pch): Likewise. + (_mm512_maskz_fmul_round_pch): Likewise. + * config/i386/avx512fp16vlintrin.h (_mm_fmadd_pch): + New intrinsic. + (_mm_mask_fmadd_pch): Likewise. + (_mm_mask3_fmadd_pch): Likewise. + (_mm_maskz_fmadd_pch): Likewise. + (_mm256_fmadd_pch): Likewise. + (_mm256_mask_fmadd_pch): Likewise. + (_mm256_mask3_fmadd_pch): Likewise. + (_mm256_maskz_fmadd_pch): Likewise. + (_mm_fcmadd_pch): Likewise. + (_mm_mask_fcmadd_pch): Likewise. + (_mm_mask3_fcmadd_pch): Likewise. + (_mm_maskz_fcmadd_pch): Likewise. + (_mm256_fcmadd_pch): Likewise. + (_mm256_mask_fcmadd_pch): Likewise. + (_mm256_mask3_fcmadd_pch): Likewise. + (_mm256_maskz_fcmadd_pch): Likewise. + (_mm_fmul_pch): Likewise. + (_mm_mask_fmul_pch): Likewise. + (_mm_maskz_fmul_pch): Likewise. + (_mm256_fmul_pch): Likewise. + (_mm256_mask_fmul_pch): Likewise. + (_mm256_maskz_fmul_pch): Likewise. + (_mm_fcmul_pch): Likewise. + (_mm_mask_fcmul_pch): Likewise. + (_mm_maskz_fcmul_pch): Likewise. + (_mm256_fcmul_pch): Likewise. + (_mm256_mask_fcmul_pch): Likewise. + (_mm256_maskz_fcmul_pch): Likewise. + * config/i386/i386-builtin-types.def (V8HF_FTYPE_V8HF_V8HF_V8HF, + V8HF_FTYPE_V16HF_V16HF_V16HF, V16HF_FTYPE_V16HF_V16HF_V16HF_UQI, + V32HF_FTYPE_V32HF_V32HF_V32HF_INT, + V32HF_FTYPE_V32HF_V32HF_V32HF_UHI_INT): Add new builtin types. + * config/i386/i386-builtin.def: Add new builtins. + * config/i386/i386-expand.c: Handle new builtin types. + * config/i386/subst.md (SUBST_CV): New. + (maskc_name): Ditto. + (maskc_operand3): Ditto. + (maskc): Ditto. + (sdc_maskz_name): Ditto. + (sdc_mask_op4): Ditto. + (sdc_mask_op5): Ditto. + (sdc_mask_mode512bit_condition): Ditto. + (sdc): Ditto. + (round_maskc_operand3): Ditto. + (round_sdc_mask_operand4): Ditto. + (round_maskc_op3): Ditto. + (round_sdc_mask_op4): Ditto. + (round_saeonly_sdc_mask_operand5): Ditto. + * config/i386/sse.md (unspec): Add complex fma unspecs. + (avx512fmaskcmode): New. + (UNSPEC_COMPLEX_F_C_MA): Ditto. + (UNSPEC_COMPLEX_F_C_MUL): Ditto. + (complexopname): Ditto. + (_fmaddc__maskz): New expander. + (_fcmaddc__maskz): Ditto. + (fma__): New + define insn. + (___mask): Ditto. + (__): Ditto. + +2021-09-22 Kewen Lin + + * config/rs6000/rs6000.opt (rs6000-density-pct-threshold, + rs6000-density-size-threshold, rs6000-density-penalty, + rs6000-density-load-pct-threshold, + rs6000-density-load-num-threshold): New parameter. + * config/rs6000/rs6000.c (rs6000_density_test): Adjust with + corresponding parameters. + 2021-09-21 Aldy Hernandez * gimple-range-path.cc (path_range_query::defined_outside_path): diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 47a736e..d6fc060 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20210922 +20210923 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 7d020f6..4d44d79 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,410 @@ +2021-09-22 Yannick Moy + + * libgnat/a-strfix.ads (Trim): Simplify contracts. + * libgnat/a-strfix.adb (Trim): Remove white space. + +2021-09-22 Piotr Trojanek + + * exp_ch4.adb (Expand_N_Op_Eq): Reuse Is_Attribute_Result. + * exp_prag.adb (Expand_Attributes): Reuse Is_Attribute_Old. + +2021-09-22 Yannick Moy + + * sem_ch3.adb (Analyze_Object_Declaration): Do not insert a + predicate check after a deferred constant declaration. + +2021-09-22 Bob Duff + + * contracts.adb, einfo-utils.adb, einfo-utils.ads, exp_ch7.adb, + exp_ch9.adb, exp_disp.adb, exp_prag.adb, exp_smem.adb, + exp_util.adb, freeze.adb, sem_aggr.adb, sem_attr.adb, + sem_ch8.adb, sem_prag.ads, sem_util.adb, sem_util.ads: Fix + conformance errors. + * errout.adb, erroutc.adb: Remove pragmas Suppress. + * err_vars.ads: Initialize variables that were previously being + read uninitialized. + +2021-09-22 Yannick Moy + + * libgnat/a-strunb.ads: Mark package in SPARK with private part + not in SPARK. + (Free): Mark not in SPARK. + +2021-09-22 Arnaud Charlet + + * snames.ads-tmpl: Update status of some attributes. + +2021-09-22 Doug Rupp + + * libgnarl/s-interr__vxworks.adb (Interfaces.C): Remove as + unused. + (System.VxWorks.Ext): Import. + (System.VxWorks.Ext.STATUS): use type. + (STATUS): New subtype. + (OK): New constant. + (Interrupt_Connector): Return STATUS type vice int. + (Interrupt_Connect, Notify_Interrupt, Unbind_Handler, + Interrupt_Server_Task): Rename Status to Result. Assert Result = + OK. + * libgnarl/s-osinte__vxworks.adb (To_Clock_Ticks): Define constant + IERR, and return it vice ERROR. + (Binary_Semaphore_Delete): Return STATUS type vice int. + (Binary_Semaphore_Obtain): Likewise. + (Binary_Semaphore_Release): Likewise. + (Binary_Semaphore_Flush): Likewise. + * libgnarl/s-osinte__vxworks.ads (SVE): Renaming of + System.VxWorks.Ext. + (STATUS): Use SVE in declaration of subtype. + (BOOL): Likewise. + (vx_freq_t): Likewise. + (t_id): Likewise. + (gitpid): Use SVE in renaming of subprogram + (Task_Stop): Likewise. + (Task_Cont): Likewise. + (Int_Lock): Likewise. + (Int_Unlock): Likewise. + (Set_Time_Slice): Likewise. + (semDelete): Likewise. + (taskCpuAffinitySet): Likewise. + (taskMaskAffinitySet): Likewise. + (sigset_t): Use SVE in declaration of type. + (OK): Remove as unused. + (ERROR): Likewise. + (taskOptionsGet): return STATUS vice int. + (taskSuspend): Likewise. + (taskResume): Likewise. + (taskDelay): Likewise. + (taskVarAdd): Likewise. + (taskVarDelete): Likewise. + (taskVarSet): Likewise. + (tlkKeyCreate): Likewise. + (taskPrioritySet): Likewise. + (semGive): Likewise. + (semTake): Likewise. + (Binary_Semaphore_Delete): Likewise. + (Binary_Semaphore_Obtain): Likewise. + (Binary_Semaphore_Release): Likewise. + (Binary_Semaphore_Flush): Likewise. + (Interrupt_Connect): Likewise. + * libgnarl/s-taprop__vxworks.adb + (System.VxWorks.Ext.STATUS): use type. + (int): Syntactically align subtype. + (STATUS): New subtype. + (OK): New constant. + (Finalize_Lock): Check STATUS vice int. Assert OK. + (Finalize_Lock): Likewise. + (Write_Lock): Likewise. + (Write_Lock): Likewise. + (Write_Lock): Likewise. + (Unlock): Likewise. + (Unlock): Likewise. + (Unlock): Likewise. + (Unlock): Likewise. + (Sleep): Likewise. + (Sleep): Likewise. + (Sleep): Likewise. + (Timed_Sleep): Likewise and test Result. + (Timed_Delay): Likewise and test Result. + (Wakeup): Likewise. + (Yield): Likewise. + (Finalize_TCB): Likewise. + (Suspend_Until_True): Check OK. + (Stop_All_Tasks): Declare Dummy STATUS vice in. Check OK. + (Is_Task_Context): Use OSI renaming. + (Initialize): Use STATUS vice int. + * libgnarl/s-vxwext.adb + (IERR): Renamed from ERROR. + (taskCpuAffinitySet): Return IERR (int). + (taskMaskAffinitySet): Likewise. + * libgnarl/s-vxwext.ads + (STATUS): New subtype. + (OK): New STATUS constant. + (ERROR): Likewise. + * libgnarl/s-vxwext__kernel-smp.adb + (IERR): Renamed from ERROR. + (Int_Lock): Return IERR. + (semDelete): Return STATUS. + (Task_Cont): Likewise. + (Task_Stop): Likewise. + * libgnarl/s-vxwext__kernel.adb + (IERR): Renamed from ERROR. + (semDelete): Return STATUS. + (Task_Cont): Likewise. + (Task_Stop): Likewise. + (taskCpuAffinitySet): Return IERR (int) + (taskMaskAffinitySet): Likewise. + * libgnarl/s-vxwext__kernel.ads + (STATUS): New subtype. + (OK): New STATUS constant. + (ERROR): Likewise. + (Interrupt_Connect): Return STATUS + (semDelete): Likewise. + (Task_Cont): Likewise. + (Task_Stop): Likewise. + (Set_Time_Slice): Likewise. + * libgnarl/s-vxwext__rtp-smp.adb + (IERR): Renamed from ERROR. + (Int_Lock): return IERR constant vice ERROR. + (Interrupt_Connect): Return STATUS. + (semDelete): Likewise. + (Set_Time_Slice): Likewise. + * libgnarl/s-vxwext__rtp.adb + (IERR): Renamed from ERROR. + (Int_Lock): return IERR constant vice ERROR. + (Int_Unlock): Return STATUS. + (semDelete): Likewise. + (Set_Time_Slice): Likewise. + (taskCpuAffinitySet): Return IERR (int) + (taskMaskAffinitySet): Likewise. + * libgnarl/s-vxwext__rtp.ads + (STATUS): New subtype. + (OK): New STATUS constant. + (ERROR): Likewise. + (Interrupt_Connect): Return STATUS + (semDelete): Likewise. + (Task_Cont): Likewise. + (Task_Stop): Likewise. + (Set_Time_Slice): Likewise. + +2021-09-22 Arnaud Charlet + + * prep.adb (Preprocess): Allow for more flexibility when + Relaxed_RM_Semantics is set. + +2021-09-22 Pierre-Alexandre Bazin + + * libgnat/a-strbou.adb: Turn SPARK_Mode on. + * libgnat/a-strbou.ads: Write contracts. + * libgnat/a-strfix.ads (Index): Fix grammar error in a comment. + * libgnat/a-strsea.ads (Index): Likewise. + * libgnat/a-strsup.adb: Rewrite the body to take into account + the new definition of Super_String using Relaxed_Initialization + and a predicate. + (Super_Replicate, Super_Translate, Times): Added loop + invariants, and ghost lemmas for Super_Replicate and Times. + (Super_Trim): Rewrite the body using search functions to + determine the cutting points. + (Super_Element, Super_Length, Super_Slice, Super_To_String): + Remove (now written as expression functions in a-strsup.ads). + * libgnat/a-strsup.ads: Added contracts. + (Super_Element, Super_Length, Super_Slice, Super_To_String): + Rewrite as expression functions. + +2021-09-22 Yannick Moy + + * sem_ch13.adb (Build_Predicate_Functions): Add guard. + +2021-09-22 Doug Rupp + + * libgnarl/s-vxwext.ads (BOOL): New int type. + (Interrupt_Context): Change return type to BOOL. + * libgnarl/s-vxwext__kernel.ads: Likewise. + * libgnarl/s-vxwext__rtp-smp.adb: Likewise. + * libgnarl/s-vxwext__rtp.adb: Likewise. + * libgnarl/s-vxwext__rtp.ads: Likewise. + * libgnarl/s-osinte__vxworks.adb (Interrupt_Context): Change + return type to BOOL. + * libgnarl/s-osinte__vxworks.ads (BOOL) New subtype. + (taskIsSuspended): Change return type to BOOL. + (Interrupt_Context): Change return type to BOOL. Adjust comments + accordingly. + * libgnarl/s-taprop__vxworks.adb (System.VxWorks.Ext.BOOL): + use type. + (Is_Task_Context): Test Interrupt_Context against 0. + * libgnat/i-vxwork.ads (BOOL): New int. + (intContext): Change return type to BOOL. Adjust comments. + * libgnat/i-vxwork__x86.ads: Likewise. + +2021-09-22 Piotr Trojanek + + * sem_aux.adb, sem_aux.ads (Package_Body): Moved from GNATprove. + * sem_elab.adb (Spec_And_Body_From_Entity): Refine type of parameter. + +2021-09-22 Arnaud Charlet + + * doc/gnat_ugn/platform_specific_information.rst: Improve doc + on permission and containers. + * gnat_ugn.texi: Regenerate. + +2021-09-22 Yannick Moy + + * atree.adb (Rewrite): Fix parent node of shared aspects. + * atree.ads (Rewrite): Add ??? comment on incorrect + documentation. + * einfo-utils.adb (Known_Esize): Fix logic. + * sem_ch13.adb (Alignment_Check_For_Size_Change, + Analyze_Attribute_Definition_Clause): Protect against unset + Size. + +2021-09-22 Yannick Moy + + * freeze.adb (Build_Renamed_Body): Special case for GNATprove. + * sem_ch6.adb (Analyze_Expression_Function): Remove useless test + for a node to come from source, which becomes harmful otherwise. + +2021-09-22 Justin Squirek + + * ali.adb, ali.ads (Scan_ALI): Remove use of deprecated + parameter Ignore_ED, and all specification for Lower in call to + Get_File_Name. + * ali-util.adb (Read_Withed_ALIs): Modify call to Scan_ALI. + * clean.adb (Clean_Executables): Likewise. + * gnatbind.adb (Add_Artificial_ALI_File, Executable section): + Likewise. + * gnatlink.adb (Executable section): Likewise. + * gnatls.adb (Executable section): Likewise. + * make.adb (Check, Wait_For_Available_Slot): Likewise. + * aspects.ads: Add Aspect_No_Controlled_Parts to + Nonoverridable_Aspect_Id + * opt.ads: Remove function pointers used as a workaround for + ASIS. + * osint-c.adb (Executable section): Remove setting of function + pointer workarounds needed for ASIS. + * osint.adb (Read_Default_Search_Dirs): Correct behavior to + detect EOL characters. + * par_sco.adb (Output_Header): Remove comment regarding use of + First_Sloc. + (Traverse_Sync_Definition): Renamed to + Traverse_Protected_Or_Task_Definition. + * pprint.adb (Interal_List_Name): Add description about purpose, + and refactor conditional statement. + (Prepend): Removed. + * repinfo.adb (List_Rep_Info, Write_Info_Line): Remove use of + subprogram pointer. + * scng.adb (Scan): Remove CODEFIX question, and minor comment + change. + * sem_attr.adb (Analyze_Image_Attribute): Remove special + processing for 'Img. + * sem_ch6.adb (Check_Untagged_Equality): Add RM reference. + (FCE): Add comment describing behavior. + (Is_Non_Overriding_Operation): Minor comment formatting change. + * sem_type.adb (Is_Actual_Subprogram): Add comment about + Comes_From_Source test. + (Matching_Types): Describe non-matching cases. + * sem_util.adb (Is_Confirming): Add stub case for + No_Controlled_Parts. + +2021-09-22 Yannick Moy + + * sem_ch13.adb (Build_Predicate_Functions): Access + Predicated_Parent only on subtypes. + +2021-09-22 Arnaud Charlet + + * sem_prag.adb (Process_Import_Or_Interface): Relax error when + Relaxed_RM_Semantics. + +2021-09-22 Steve Baird + + * libgnat/s-regpat.adb (Match): Handle the case where Self.First + is not NUL (so we know the first character we are looking for), + but case-insensitive matching has + been specified. + (Optimize): In the case of an EXACTF Op, set Self.First as is + done in the EXACT case, except with the addition of a call to + Lower_Case. + +2021-09-22 Eric Botcazou + + * libgnat/s-imenne.ads, libgnat/s-imenne.adb: Delete. + * gcc-interface/Make-lang.in (GNAT_ADA_OBJS): Remove s-imenne.o. + (GNATBIND_OBJS): Likewise. + +2021-09-22 Yannick Moy + + * einfo.ads: Fix comments. + * exp_aggr.adb: Fix variable name. + * exp_util.adb: Fix comments. + * sem_ch13.adb: Fix comments. + * sem_ch3.adb: Fix comments and variable name. + +2021-09-22 Doug Rupp + + * libgnarl/s-osinte__vxworks.ads: Make procedure vice function. + * libgnarl/s-vxwext.ads: Likewise. + * libgnarl/s-vxwext__kernel-smp.adb: Likewise. + * libgnarl/s-vxwext__kernel.adb: Likewise. + * libgnarl/s-vxwext__kernel.ads: Likewise. + * libgnarl/s-vxwext__rtp-smp.adb: Likewise. + * libgnarl/s-vxwext__rtp.adb: Likewise. + * libgnarl/s-vxwext__rtp.ads: Likewise. + * libgnarl/s-taprop__vxworks.adb (Stop_All_Tasks): Call + Int_Unlock as a procedure. + +2021-09-22 Doug Rupp + + * libgnarl/s-osinte__vxworks.ads (SVE): New package renaming + (vx_freq_t): New subtype. + (sysClkRateGet): Return vx_freq_t. + * libgnarl/s-vxwext.ads (vx_freq_t): New type. + * libgnarl/s-vxwext__kernel.ads: Likewise. + * libgnarl/s-vxwext__rtp.ads: Likewise. + +2021-09-22 Ghjuvan Lacambre + + * sem_case.adb (Composite_Case_Ops): Replace 'Image with + Error_Msg_Uint. + +2021-09-22 Eric Botcazou + + * exp_ch4.adb (Expand_N_If_Expression): Generate an intermediate + temporary when the expression is a condition in an outer decision + and control-flow optimizations are suppressed. + +2021-09-22 Steve Baird + + * exp_ch5.adb (Expand_General_Case_Statement.Pattern_Match): Add + new function Indexed_Element to handle array element + comparisons. Handle case choices that are array aggregates, + string literals, or names denoting constants. + * sem_case.adb (Composite_Case_Ops.Array_Case_Ops): New package + providing utilities needed for casing on arrays. + (Composite_Case_Ops.Choice_Analysis): If necessary, include + array length as a "component" (like a discriminant) when + traversing components. We do not (yet) partition choice analysis + to deal with unequal length choices separately. Instead, we + embed everything in the minimum-dimensionality Cartesian product + space needed to handle all choices properly; this is determined + by the length of the longest choice pattern. + (Composite_Case_Ops.Choice_Analysis.Traverse_Discrete_Parts): + Include length as a "component" in the traversal if necessary. + (Composite_Case_Ops.Choice_Analysis.Parse_Choice.Traverse_Choice): + Add support for case choices that are string literals or names + denoting constants. + (Composite_Case_Ops.Choice_Analysis): Include length as a + "component" in the analysis if necessary. + (Check_Choices.Check_Case_Pattern_Choices.Ops.Value_Sets.Value_Index_Count): + Improve error message when capacity exceeded. + * doc/gnat_rm/implementation_defined_pragmas.rst: Update + documentation to reflect current implementation status. + * gnat_rm.texi: Regenerate. + +2021-09-22 Eric Botcazou + + * freeze.adb (Check_Component_Storage_Order): Give a specific error + message for non-byte-aligned component in the packed case. Replace + "composite" with "record" in both cases. + +2021-09-22 Arnaud Charlet + + * libgnarl/a-tasini.ads, libgnarl/a-tasini.adb: Make compatible + with No_Elaboration_Code_All. + * libgnarl/s-taskin.ads, libgnarl/s-tassta.adb: Adjust + accordingly. + +2021-09-22 Arnaud Charlet + + * sem_ch6.adb (Check_Returns): Change message on missing return. + +2021-09-22 Arnaud Charlet + + * gnatfind.adb, gnatxref.adb: Mark these tools as obsolete + before removing them completely. + +2021-09-22 Eric Botcazou + + * gcc-interface/decl.c (range_cannot_be_superflat): Tweak comments. + 2021-09-21 Doug Rupp * init.c (__gnat_error_handler) [LynxOS]: Add a comment about diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index 9c59035..48bcb4f 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,7 @@ +2021-09-22 Jakub Jelinek + + * c-omp.c (c_omp_split_clauses): Copy over OMP_CLAUSE_ALLOCATE_ALIGN. + 2021-09-20 Matthias Kretz * c-cppbuiltin.c (c_cpp_builtins_optimize_pragma): Define or diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index 794cbe7..f9f899b 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,8 @@ +2021-09-22 Jakub Jelinek + + * c-parser.c (c_parser_omp_clause_allocate): Parse allocate clause + modifiers. + 2021-09-18 Jakub Jelinek * c-parser.c (c_parser_omp_clause_order): Parse unconstrained diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index a051d62..7944726 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,31 @@ +2021-09-22 Patrick Palka + + DR 2446 + PR c++/102412 + * constexpr.c (cxx_eval_constant_expression) + : Check value_dependent_expression_p + instead of processing_template_decl. + * pt.c (value_dependent_expression_p) : + Return true only if any_dependent_template_arguments_p. + (instantiation_dependent_r) : Remove this case. + : Likewise. + +2021-09-22 Jakub Jelinek + + * parser.c (cp_parser_omp_clause_allocate): Parse allocate clause + modifiers. + * semantics.c (finish_omp_clauses) : Perform + semantic analysis of OMP_CLAUSE_ALLOCATE_ALIGN. + * pt.c (tsubst_omp_clauses) : Handle + also OMP_CLAUSE_ALLOCATE_ALIGN. + +2021-09-22 Barrett Adair + + * pt.c (find_parm_usage_r): New walk_tree callback to find func + parms. + (any_template_arguments_need_structural_equality_p): New special + case. + 2021-09-21 wangpc * decl.c (start_decl_1): Move verify_type_context to ... diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 6a247c6..f96198d 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,48 @@ +2021-09-23 Sandra Loosemore + + PR fortran/101319 + * interface.c (gfc_compare_actual_formal): Extend existing + assumed-type diagnostic to also check for argument with type + parameters. + +2021-09-23 Sandra Loosemore + + PR fortran/101334 + * check.c (gfc_check_associated): Allow an assumed-rank + array for the pointer argument. + * interface.c (compare_parameter): Also give rank mismatch + error on assumed-rank array. + +2021-09-23 Sandra Loosemore + + * trans-stmt.c (trans_associate_var): Check that result of + GFC_DECL_SAVED_DESCRIPTOR is not null before using it. + +2021-09-22 Tobias Burnus + + PR fortran/55534 + * cpp.c (gfc_cpp_register_include_paths, gfc_cpp_post_options): + Add new bool verbose_missing_dir_warn argument. + * cpp.h (gfc_cpp_post_options): Update prototype. + * f95-lang.c (gfc_init): Remove duplicated file-not found diag. + * gfortran.h (gfc_check_include_dirs): Takes bool + verbose_missing_dir_warn arg. + (gfc_new_file): Returns now void. + * options.c (gfc_post_options): Update to warn for -I and -J, + only, by default but for all when user requested. + * scanner.c (gfc_do_check_include_dir): + (gfc_do_check_include_dirs, gfc_check_include_dirs): Take bool + verbose warn arg and update to avoid printing the same message + twice or never. + (load_file): Fix indent. + (gfc_new_file): Return void and exit when load_file failed + as all other load_file users do. + +2021-09-22 Tobias Burnus + + * trans-expr.c (gfc_simple_for_loop): New. + * trans.h (gfc_simple_for_loop): New prototype. + 2021-09-21 Tobias Burnus PR fortran/55534 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index fc9cb6e..0605e9f 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,180 @@ +2021-09-23 Sandra Loosemore + + PR fortran/101319 + * gfortran.dg/c-interop/assumed-type-dummy.f90: Remove xfail. + +2021-09-23 Sandra Loosemore + + PR fortran/101334 + * gfortran.dg/c-interop/c535b-2.f90: Remove xfails. + * gfortran.dg/c-interop/c535b-3.f90: Likewise. + +2021-09-23 Sandra Loosemore + + * gfortran.dg/assumed_rank_18.f90 (g): Wrap call to h in + select rank. + * gfortran.dg/assumed_type_10.f90 (test_array): Likewise for + call to test_lib. + * gfortran.dg/assumed_type_11.f90 (test_array): Likewise. + +2021-09-22 Tobias Burnus + + PR fortran/55534 + * gfortran.dg/include_14.f90: Add -J testcase and update dg-output. + * gfortran.dg/include_15.f90: Likewise. + * gfortran.dg/include_16.f90: Likewise. + * gfortran.dg/include_17.f90: Likewise. + * gfortran.dg/include_18.f90: Likewise. + * gfortran.dg/include_19.f90: Likewise. + +2021-09-22 Roger Sayle + Richard Biener + + * gcc.dg/fold-negate-1.c: New test case. + +2021-09-22 H.J. Lu + + * gcc.target/i386/auto-init-2.c: Replace ia32 with { ! lp64 }. + * gcc.target/i386/auto-init-3.c (dg-options): Add -msse. + (dg-additional-options): Add -mfpmath=387 for ia32. + Replace lp64 with { ! ia32 }. Add a space after ia32. + * gcc.target/i386/auto-init-4.c: Replace lp64 with { ! ia32 }. + * gcc.target/i386/auto-init-5.c: Likewise. + * gcc.target/i386/auto-init-padding-3.c: Likewise. + * gcc.target/i386/auto-init-padding-7.c: Likewise. + * gcc.target/i386/auto-init-padding-8.c: Likewise. + * gcc.target/i386/auto-init-padding-9.c: Likewise. + +2021-09-22 Patrick Palka + + DR 2446 + PR c++/102412 + * g++.dg/cpp2a/concepts-nondep2.C: New test. + * g++.dg/cpp2a/concepts-nondep3.C: New test. + +2021-09-22 Jiufu Guo + + PR tree-optimization/102087 + * gcc.dg/pr102087.c: New test. + +2021-09-22 dianhong xu + + * gcc.target/i386/avx512fp16-14.c: New test. + +2021-09-22 dianhong xu + + * gcc.target/i386/avx512fp16-conjugation-1.c: New test. + * gcc.target/i386/avx512fp16vl-conjugation-1.c: New test. + +2021-09-22 dianhong xu + + * gcc.target/i386/avx512fp16-reduce-op-1.c: New test. + * gcc.target/i386/avx512fp16vl-reduce-op-1.c: Ditto. + +2021-09-22 dianhong xu + + * gcc.target/i386/avx512fp16-13.c: New test. + +2021-09-22 Andreas Krebbel + + * gcc.target/s390/pr102222.c: New test. + +2021-09-22 Jakub Jelinek + + PR middle-end/102415 + * c-c++-common/gomp/scope-3.c: New test. + +2021-09-22 Jakub Jelinek + + * c-c++-common/gomp/allocate-6.c: New test. + * c-c++-common/gomp/allocate-7.c: New test. + * g++.dg/gomp/allocate-4.C: New test. + +2021-09-22 liuhongt + + * gcc.target/i386/avx512vl-pr95046.c: New test. + +2021-09-22 liuhongt + + * gcc.target/i386/pr92658-avx512f.c: Refine testcase. + * gcc.target/i386/pr92658-avx512vl.c: Adjust scan-assembler, + only v2di->v2qi truncate is not supported, v4di->v4qi should + be supported. + +2021-09-22 liuhongt + + * gcc.target/i386/avx512fp16-builtin-fpcompare-1.c: New test. + * gcc.target/i386/avx512fp16-builtin-fpcompare-2.c: New test. + +2021-09-22 liuhongt + + * gcc.target/i386/avx512fp16-builtin-round-1.c: New test. + +2021-09-22 liuhongt + + * gcc.target/i386/avx512fp16-builtin-sqrt-1.c: New test. + * gcc.target/i386/avx512fp16vl-builtin-sqrt-1.c: New test. + +2021-09-22 liuhongt + + * gcc.target/i386/avx512fp16-vfcmaddcsh-1a.c: New test. + * gcc.target/i386/avx512fp16-vfcmaddcsh-1b.c: Ditto. + * gcc.target/i386/avx512fp16-vfcmulcsh-1a.c: Ditto. + * gcc.target/i386/avx512fp16-vfcmulcsh-1b.c: Ditto. + * gcc.target/i386/avx512fp16-vfmaddcsh-1a.c: Ditto. + * gcc.target/i386/avx512fp16-vfmaddcsh-1b.c: Ditto. + * gcc.target/i386/avx512fp16-vfmulcsh-1a.c: Ditto. + * gcc.target/i386/avx512fp16-vfmulcsh-1b.c: Ditto. + * gcc.target/i386/avx512fp16-complex-constraints.c: Ditto. + +2021-09-22 liuhongt + + * gcc.target/i386/avx-1.c: Add test for new builtins. + * gcc.target/i386/sse-13.c: Ditto. + * gcc.target/i386/sse-23.c: Ditto. + * gcc.target/i386/sse-14.c: Add test for new intrinsics. + * gcc.target/i386/sse-22.c: Ditto. + +2021-09-22 liuhongt + + * gcc.target/i386/avx512fp16-helper.h + (init_src): Adjust init value. + (NET_CMASK): New net mask for complex input. + * gcc.target/i386/avx512fp16-vfcmaddcph-1a.c: New test. + * gcc.target/i386/avx512fp16-vfcmaddcph-1b.c: Ditto. + * gcc.target/i386/avx512fp16-vfcmulcph-1a.c: Ditto. + * gcc.target/i386/avx512fp16-vfcmulcph-1b.c: Ditto. + * gcc.target/i386/avx512fp16-vfmaddcph-1a.c: Ditto. + * gcc.target/i386/avx512fp16-vfmaddcph-1b.c: Ditto. + * gcc.target/i386/avx512fp16-vfmulcph-1a.c: Ditto. + * gcc.target/i386/avx512fp16-vfmulcph-1b.c: Ditto. + * gcc.target/i386/avx512fp16vl-vfcmaddcph-1a.c: Ditto. + * gcc.target/i386/avx512fp16vl-vfcmaddcph-1b.c: Ditto. + * gcc.target/i386/avx512fp16vl-vfcmulcph-1a.c: Ditto. + * gcc.target/i386/avx512fp16vl-vfcmulcph-1b.c: Ditto. + * gcc.target/i386/avx512fp16vl-vfmaddcph-1a.c: Ditto. + * gcc.target/i386/avx512fp16vl-vfmaddcph-1b.c: Ditto. + * gcc.target/i386/avx512fp16vl-vfmulcph-1a.c: Ditto. + * gcc.target/i386/avx512fp16vl-vfmulcph-1b.c: Ditto. + +2021-09-22 liuhongt + + * gcc.target/i386/avx-1.c: Add test for new builtins. + * gcc.target/i386/sse-13.c: Ditto. + * gcc.target/i386/sse-23.c: Ditto. + * gcc.target/i386/sse-14.c: Add test for new intrinsics. + * gcc.target/i386/sse-22.c: Ditto. + +2021-09-22 Barrett Adair + + * g++.dg/cpp0x/constexpr-52830.C: Remove unwanted dg-ice. + * g++.dg/template/canon-type-15.C: New test. + * g++.dg/template/canon-type-16.C: New test. + * g++.dg/template/canon-type-17.C: New test. + * g++.dg/template/canon-type-18.C: New test. + * g++.dg/template/dependent-name15.C: New regression test. + * g++.dg/template/dependent-name16.C: New regression test. + 2021-09-21 Richard Biener PR tree-optimization/102421 diff --git a/include/ChangeLog b/include/ChangeLog index 23e0fa2..d43a997 100644 --- a/include/ChangeLog +++ b/include/ChangeLog @@ -1,3 +1,8 @@ +2021-09-22 Alan Modra + + * obstack.h (__PTR_ALIGN): Expand and simplify __BPTR_ALIGN + rather than calculating relative to a NULL pointer. + 2021-08-23 Jakub Jelinek * gomp-constants.h (GOMP_TASK_FLAG_STRICT): Define. diff --git a/libgcc/ChangeLog b/libgcc/ChangeLog index 4a1b261..2bef573 100644 --- a/libgcc/ChangeLog +++ b/libgcc/ChangeLog @@ -1,3 +1,8 @@ +2021-09-22 Iain Sandoe + + * config/i386/sfp-machine.h: Guard Mach-O-specific code + using __APPLE__. + 2021-09-19 Iain Sandoe * config/t-slibgcc-darwin: Delete unused code. diff --git a/libgfortran/ChangeLog b/libgfortran/ChangeLog index 9ec6b44..989fb3a 100644 --- a/libgfortran/ChangeLog +++ b/libgfortran/ChangeLog @@ -1,3 +1,10 @@ +2021-09-22 Tobias Burnus + + PR fortran/55534 + * configure.ac (AM_FCFLAGS): Revert r12-3722 by removing + -Wno-missing-include-dirs. + * configure: Regenerate. + 2021-09-21 Tobias Burnus PR fortran/55534 diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog index d8e746f..e1c9f72 100644 --- a/libgomp/ChangeLog +++ b/libgomp/ChangeLog @@ -1,3 +1,15 @@ +2021-09-22 Tobias Burnus + + PR fortran/55534 + * testsuite/libgomp.fortran/fortran.exp (ALWAYS_CFLAGS): Revert + r12-3722 by removing -Wno-missing-include-dirs. + * testsuite/libgomp.oacc-fortran/fortran.exp (ALWAYS_CFLAGS): Likewise. + +2021-09-22 Jakub Jelinek + + * testsuite/libgomp.c-c++-common/allocate-2.c: New test. + * testsuite/libgomp.c-c++-common/allocate-3.c: New test. + 2021-09-21 Tobias Burnus PR fortran/55534 -- 2.7.4