From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2168) id 02C623858D20; Wed, 12 Jul 2023 00:17:40 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 02C623858D20 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1689121060; bh=esM1SUpPJqciIgCE5oZN3HqurqS5bkGZ2k/UBhV/4xI=; h=From:To:Subject:Date:From; b=pe1ocraSSzqmzo3DG6kB2joDcso5cAlxIPdZpDsawqb6q1rgHI6NfzmEKiJZW+6Sr Nyquhn7qaAnkwV1OkUqJSH3dNLRDflHN1GqCs0+2TlmWj+Q3J4QVMIAqIM+nCXf2NK Ur3eG6oVt1fi4GT+wQSM/CmhQVVazQW6lLBjLnoM= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: GCC Administrator To: gcc-cvs@gcc.gnu.org Subject: [gcc r14-2442] Daily bump. X-Act-Checkin: gcc X-Git-Author: GCC Administrator X-Git-Refname: refs/heads/master X-Git-Oldrev: 9aabf81f40f0ee130646ab5e60d158218d1276cc X-Git-Newrev: af3d3ce31a259699f5ad26addcf1c88a2e4eea6d Message-Id: <20230712001740.02C623858D20@sourceware.org> Date: Wed, 12 Jul 2023 00:17:40 +0000 (GMT) List-Id: https://gcc.gnu.org/g:af3d3ce31a259699f5ad26addcf1c88a2e4eea6d commit r14-2442-gaf3d3ce31a259699f5ad26addcf1c88a2e4eea6d Author: GCC Administrator Date: Wed Jul 12 00:17:09 2023 +0000 Daily bump. Diff: --- gcc/ChangeLog | 82 +++++++++++++++++++++++++++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 11 ++++++ gcc/cp/ChangeLog | 7 ++++ gcc/fortran/ChangeLog | 8 +++++ gcc/m2/ChangeLog | 93 +++++++++++++++++++++++++++++++++++++++++++++++++ gcc/testsuite/ChangeLog | 81 ++++++++++++++++++++++++++++++++++++++++++ libgcc/ChangeLog | 6 ++++ libgomp/ChangeLog | 9 +++++ 9 files changed, 298 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index cd7076bf4e4..111302e0676 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,85 @@ +2023-07-11 Ju-Zhe Zhong + + * config/riscv/riscv-protos.h (enum insn_type): Add vcompress optimization. + * config/riscv/riscv-v.cc (emit_vlmax_compress_insn): Ditto. + (shuffle_compress_patterns): Ditto. + (expand_vec_perm_const_1): Ditto. + +2023-07-11 Uros Bizjak + + * cfghooks.cc (verify_flow_info): Change "err" variable to bool. + * cfghooks.h (struct cfg_hooks): Change return type of + verify_flow_info from integer to bool. + * cfgrtl.cc (can_delete_note_p): Change return type from int to bool. + (can_delete_label_p): Ditto. + (rtl_verify_flow_info): Change return type from int to bool + and adjust function body accordingly. Change "err" variable to bool. + (rtl_verify_flow_info_1): Ditto. + (free_bb_for_insn): Change return type to void. + (rtl_merge_blocks): Change "b_empty" variable to bool. + (try_redirect_by_replacing_jump): Change "fallthru" variable to bool. + (verify_hot_cold_block_grouping): Change return type from int to bool. + Change "err" variable to bool. + (rtl_verify_edges): Ditto. + (rtl_verify_bb_insns): Ditto. + (rtl_verify_bb_pointers): Ditto. + (rtl_verify_bb_insn_chain): Ditto. + (rtl_verify_fallthru): Ditto. + (rtl_verify_bb_layout): Ditto. + (purge_all_dead_edges): Change "purged" variable to bool. + * cfgrtl.h (free_bb_for_insn): Change return type from int to void. + * postreload-gcse.cc (expr_hasher::equal): Change "equiv_p" to bool. + (load_killed_in_block_p): Change return type from int to bool + and adjust function body accordingly. + (oprs_unchanged_p): Return true/false. + (rest_of_handle_gcse2): Change return type to void. + * tree-cfg.cc (gimple_verify_flow_info): Change return type from + int to bool. Change "err" variable to bool. + +2023-07-11 Gaius Mulley + + * doc/gm2.texi (-Wuninit-variable-checking=) New item. + +2023-07-11 Ju-Zhe Zhong + + * doc/md.texi: Add COND_LEN_* operations for loop control with length. + * internal-fn.cc (cond_len_unary_direct): Ditto. + (cond_len_binary_direct): Ditto. + (cond_len_ternary_direct): Ditto. + (expand_cond_len_unary_optab_fn): Ditto. + (expand_cond_len_binary_optab_fn): Ditto. + (expand_cond_len_ternary_optab_fn): Ditto. + (direct_cond_len_unary_optab_supported_p): Ditto. + (direct_cond_len_binary_optab_supported_p): Ditto. + (direct_cond_len_ternary_optab_supported_p): Ditto. + * internal-fn.def (COND_LEN_ADD): Ditto. + (COND_LEN_SUB): Ditto. + (COND_LEN_MUL): Ditto. + (COND_LEN_DIV): Ditto. + (COND_LEN_MOD): Ditto. + (COND_LEN_RDIV): Ditto. + (COND_LEN_MIN): Ditto. + (COND_LEN_MAX): Ditto. + (COND_LEN_FMIN): Ditto. + (COND_LEN_FMAX): Ditto. + (COND_LEN_AND): Ditto. + (COND_LEN_IOR): Ditto. + (COND_LEN_XOR): Ditto. + (COND_LEN_SHL): Ditto. + (COND_LEN_SHR): Ditto. + (COND_LEN_FMA): Ditto. + (COND_LEN_FMS): Ditto. + (COND_LEN_FNMA): Ditto. + (COND_LEN_FNMS): Ditto. + (COND_LEN_NEG): Ditto. + * optabs.def (OPTAB_D): Ditto. + +2023-07-11 Richard Biener + + PR tree-optimization/110614 + * tree-vect-data-refs.cc (vect_supportable_dr_alignment): + SLP splats are not suitable for re-align ops. + 2023-07-10 Peter Bergner * config/rs6000/predicates.md (quad_memory_operand): Remove redundant diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 2dbd21ed6c0..b130beac02a 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20230711 +20230712 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index 6890c5bdf30..3820532fe1f 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,14 @@ +2023-07-11 Bob Duff + + * exp_ch3.adb (Expand_N_Object_Declaration): Avoid transforming to + a renaming in case of constrained array that comes from source. + +2023-07-11 Eric Botcazou + + * sem_ch13.adb (Replace_Type_References_Generic.Visible_Component): + In the case of private discriminated types, return a discriminant + only if it is listed in the discriminant part of the declaration. + 2023-07-10 Eric Botcazou * adaint.c [_WIN32]: Undefine 'abort' macro. diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 3db03dbed76..19cf1da8389 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,10 @@ +2023-07-11 Patrick Palka + + PR c++/110580 + * pt.cc (lookup_template_variable): Pass all levels of arguments + to coerce_template_parms, and use the parameters from the most + general template. + 2023-07-10 Patrick Palka PR c++/110523 diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index b6a902acf79..bc4ad57e071 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,11 @@ +2023-07-11 Harald Anlauf + + PR fortran/110288 + * symbol.cc (gfc_copy_formal_args_intr): When deriving the formal + argument attributes from the actual ones for intrinsic procedure + calls, take special care of CHARACTER arguments that we do not + wrongly treat them formally as deferred-length. + 2023-07-08 Steve Kargl PR fortran/99139 diff --git a/gcc/m2/ChangeLog b/gcc/m2/ChangeLog index 53cce9c929d..d5faf14182e 100644 --- a/gcc/m2/ChangeLog +++ b/gcc/m2/ChangeLog @@ -1,3 +1,96 @@ +2023-07-11 Gaius Mulley + + * gm2-compiler/M2BasicBlock.def (InitBasicBlocksFromRange): New + parameter ScopeSym. + * gm2-compiler/M2BasicBlock.mod (ConvertQuads2BasicBlock): New + parameter ScopeSym. + (InitBasicBlocksFromRange): New parameter ScopeSym. Call + ConvertQuads2BasicBlock with ScopeSym. + (DisplayBasicBlocks): Uncomment. + * gm2-compiler/M2Code.mod: Replace VariableAnalysis with + ScopeBlockVariableAnalysis. + (InitialDeclareAndOptiomize): Add parameter scope. + (SecondDeclareAndOptimize): Add parameter scope. + * gm2-compiler/M2GCCDeclare.mod (DeclareConstructor): Add scope + parameter to DeclareTypesConstantsProceduresInRange. + (DeclareTypesConstantsProceduresInRange): New parameter scope. + Pass scope to DisplayQuadRange. Reformatted. + * gm2-compiler/M2GenGCC.def (ConvertQuadsToTree): New parameter + scope. + * gm2-compiler/M2GenGCC.mod (ConvertQuadsToTree): New parameter + scope. + * gm2-compiler/M2Optimize.mod (KnownReachable): New parameter + scope. + * gm2-compiler/M2Options.def (SetUninitVariableChecking): Add + arg parameter. + * gm2-compiler/M2Options.mod (SetUninitVariableChecking): Add + arg parameter and set boolean UninitVariableChecking and + UninitVariableConditionalChecking. + (UninitVariableConditionalChecking): New boolean set to FALSE. + * gm2-compiler/M2Quads.def (IsGoto): New procedure function. + (DisplayQuadRange): Add scope parameter. + (LoopAnalysis): Add scope parameter. + * gm2-compiler/M2Quads.mod: Import PutVarArrayRef. + (IsGoto): New procedure function. + (LoopAnalysis): Add scope parameter and use MetaErrorT1 instead + of WarnStringAt. + (BuildStaticArray): Call PutVarArrayRef. + (BuildDynamicArray): Call PutVarArrayRef. + (DisplayQuadRange): Add scope parameter. + (GetM2OperatorDesc): Add relational condition cases. + * gm2-compiler/M2Scope.def (ScopeProcedure): Add parameter. + * gm2-compiler/M2Scope.mod (DisplayScope): Pass scopeSym to + DisplayQuadRange. + (ForeachScopeBlockDo): Pass scopeSym to p. + * gm2-compiler/M2SymInit.def (VariableAnalysis): Rename to ... + (ScopeBlockVariableAnalysis): ... this. + * gm2-compiler/M2SymInit.mod (ScopeBlockVariableAnalysis): Add + scope parameter. + (bbEntry): New pointer to record. + (bbArray): New array. + (bbFreeList): New variable. + (errorList): New list. + (IssueConditional): New procedure. + (GenerateNoteFlow): New procedure. + (IssueWarning): New procedure. + (IsUniqueWarning): New procedure. + (CheckDeferredRecordAccess): Re-implement. + (CheckBinary): Add warning and lst parameters. + (CheckUnary): Add warning and lst parameters. + (CheckXIndr): Add warning and lst parameters. + (CheckIndrX): Add warning and lst parameters. + (CheckBecomes): Add warning and lst parameters. + (CheckComparison): Add warning and lst parameters. + (CheckReadBeforeInitQuad): Add warning and lst parameters to all + Check procedures. Add all case quadruple clauses. + (FilterCheckReadBeforeInitQuad): Add warning and lst parameters. + (CheckReadBeforeInitFirstBasicBlock): Add warning and lst parameters. + (bbArrayKill): New procedure. + (DumpBBEntry): New procedure. + (DumpBBArray): New procedure. + (DumpBBSequence): New procedure. + (TestBBSequence): New procedure. + (CreateBBPermultations): New procedure. + (ScopeBlockVariableAnalysis): New procedure. + (GetOp3): New procedure. + (GenerateCFG): New procedure. + (NewEntry): New procedure. + (AppendEntry): New procedure. + (init): Initialize bbFreeList and errorList. + * gm2-compiler/SymbolTable.def (PutVarArrayRef): New procedure. + (IsVarArrayRef): New procedure function. + * gm2-compiler/SymbolTable.mod (SymVar): ArrayRef new field. + (MakeVar): Set ArrayRef to FALSE. + (PutVarArrayRef): New procedure. + (IsVarArrayRef): New procedure function. + * gm2-gcc/init.cc (_M2_M2SymInit_init): New prototype. + (init_PerCompilationInit): Add call to _M2_M2SymInit_init. + * gm2-gcc/m2options.h (M2Options_SetUninitVariableChecking): + New definition. + * gm2-lang.cc (gm2_langhook_handle_option): Add new case + OPT_Wuninit_variable_checking_. + * lang.opt: Wuninit-variable-checking= new entry. + 2023-07-03 Gaius Mulley PR modula2/110125 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index e710abdb1b3..5c0e05b5af2 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,84 @@ +2023-07-11 Ju-Zhe Zhong + + * gcc.target/riscv/rvv/autovec/vls-vlmax/compress-1.c: New test. + * gcc.target/riscv/rvv/autovec/vls-vlmax/compress-2.c: New test. + * gcc.target/riscv/rvv/autovec/vls-vlmax/compress-3.c: New test. + * gcc.target/riscv/rvv/autovec/vls-vlmax/compress-4.c: New test. + * gcc.target/riscv/rvv/autovec/vls-vlmax/compress-5.c: New test. + * gcc.target/riscv/rvv/autovec/vls-vlmax/compress-6.c: New test. + * gcc.target/riscv/rvv/autovec/vls-vlmax/compress_run-1.c: New test. + * gcc.target/riscv/rvv/autovec/vls-vlmax/compress_run-2.c: New test. + * gcc.target/riscv/rvv/autovec/vls-vlmax/compress_run-3.c: New test. + * gcc.target/riscv/rvv/autovec/vls-vlmax/compress_run-4.c: New test. + * gcc.target/riscv/rvv/autovec/vls-vlmax/compress_run-5.c: New test. + * gcc.target/riscv/rvv/autovec/vls-vlmax/compress_run-6.c: New test. + +2023-07-11 David Edelsohn + + * gcc.dg/analyzer/out-of-bounds-diagram-4.c: Skip on AIX. + * gcc.dg/analyzer/out-of-bounds-diagram-5-ascii.c: Same. + * gcc.dg/analyzer/out-of-bounds-diagram-5-unicode.c: Same. + * gcc.dg/analyzer/out-of-bounds-diagram-7.c: Same. + * gcc.dg/analyzer/out-of-bounds-diagram-13.c: Same. + * gcc.dg/analyzer/out-of-bounds-diagram-15.c: Same. + +2023-07-11 Harald Anlauf + + PR fortran/110288 + * gfortran.dg/findloc_10.f90: New test. + +2023-07-11 Carl Love + + * gcc.target/powerpc/vsx-vector-6-func-1op.h: New test file. + * gcc.target/powerpc/vsx-vector-6-func-1op-run.c: New test file. + * gcc.target/powerpc/vsx-vector-6-func-1op.c: New test file. + * gcc.target/powerpc/vsx-vector-6-func-2lop.h: New test file. + * gcc.target/powerpc/vsx-vector-6-func-2lop-run.c: New test file. + * gcc.target/powerpc/vsx-vector-6-func-2lop.c: New test file. + * gcc.target/powerpc/vsx-vector-6-func-2op.h: New test file. + * gcc.target/powerpc/vsx-vector-6-func-2op-run.c: New test file. + * gcc.target/powerpc/vsx-vector-6-func-2op.c: New test file. + * gcc.target/powerpc/vsx-vector-6-func-3op.h: New test file. + * gcc.target/powerpc/vsx-vector-6-func-3op-run.c: New test file. + * gcc.target/powerpc/vsx-vector-6-func-3op.c: New test file. + * gcc.target/powerpc/vsx-vector-6-func-cmp-all.h: New test file. + * gcc.target/powerpc/vsx-vector-6-func-cmp-all-run.c: New test file. + * gcc.target/powerpc/vsx-vector-6-func-cmp-all.c: New test + file. + * gcc.target/powerpc/vsx-vector-6-func-cmp.h: New test file. + * gcc.target/powerpc/vsx-vector-6-func-cmp-run.c: New test file. + * gcc.target/powerpc/vsx-vector-6-func-cmp.c: New test file. + * gcc.target/powerpc/vsx-vector-6.h: Remove test file. + * gcc.target/powerpc/vsx-vector-6.p7.c: Remove test file. + * gcc.target/powerpc/vsx-vector-6.p8.c: Remove test file. + * gcc.target/powerpc/vsx-vector-6.p9.c: Remove test file. + +2023-07-11 Maciej W. Rozycki + + * gcc.dg/vect/pr97428.c: Limit to `vect_double' targets. + +2023-07-11 Gaius Mulley + + * gm2/switches/uninit-variable-checking/cascade/fail/cascadedif.mod: New test. + * gm2/switches/uninit-variable-checking/cascade/fail/switches-uninit-variable-checking-cascade-fail.exp: + New test. + +2023-07-11 Patrick Palka + + PR c++/110580 + * g++.dg/cpp1y/var-templ83.C: New test. + +2023-07-11 liuhongt + + PR target/110170 + * g++.target/i386/pr110170.C: Fix typo. + +2023-07-11 Xi Ruoyao + + * g++.dg/vect/pr110557.cc: Use long long instead of long for + 64-bit type. + (test): Remove an unnecessary cast. + 2023-07-10 Patrick Palka PR c++/110523 diff --git a/libgcc/ChangeLog b/libgcc/ChangeLog index 856337a9778..e62674676d1 100644 --- a/libgcc/ChangeLog +++ b/libgcc/ChangeLog @@ -1,3 +1,9 @@ +2023-07-11 Florian Weimer + + PR libgcc/110179 + * unwind-dw2-fde-dip.c (find_fde_tail): Add cast to avoid + implicit conversion of pointer value to integer. + 2023-07-06 Kito Cheng * config/riscv/sfp-machine.h (FP_INIT_ROUNDMODE): Check zfinx. diff --git a/libgomp/ChangeLog b/libgomp/ChangeLog index 3bbcf41dc5a..5ff1d3b2a88 100644 --- a/libgomp/ChangeLog +++ b/libgomp/ChangeLog @@ -1,3 +1,12 @@ +2023-07-11 Tobias Burnus + + * allocator.c (omp_init_allocator): Use malloc for + omp_high_bw_mem_space when the memkind lib is unavailable + instead of returning omp_null_allocator. + * libgomp.texi (OpenMP 5.0): Fix typo. + (Memory allocation with libmemkind): Document implementation + in more detail. + 2023-06-22 Tobias Burnus * libgomp.texi: Use @var for ICV vars.