+2023-07-11 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
+
+ * 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 <ubizjak@gmail.com>
+
+ * 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 <gaiusmod2@gmail.com>
+
+ * doc/gm2.texi (-Wuninit-variable-checking=) New item.
+
+2023-07-11 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
+
+ * 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 <rguenther@suse.de>
+
+ 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 <bergner@linux.ibm.com>
* config/rs6000/predicates.md (quad_memory_operand): Remove redundant
+2023-07-11 Bob Duff <duff@adacore.com>
+
+ * 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 <ebotcazou@adacore.com>
+
+ * 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 <ebotcazou@adacore.com>
* adaint.c [_WIN32]: Undefine 'abort' macro.
+2023-07-11 Patrick Palka <ppalka@redhat.com>
+
+ 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 <ppalka@redhat.com>
PR c++/110523
+2023-07-11 Harald Anlauf <anlauf@gmx.de>
+
+ 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 <sgk@troutmask.apl.washington.edu>
PR fortran/99139
+2023-07-11 Gaius Mulley <gaiusmod2@gmail.com>
+
+ * 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 <gaiusmod2@gmail.com>
PR modula2/110125
+2023-07-11 Ju-Zhe Zhong <juzhe.zhong@rivai.ai>
+
+ * 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 <dje.gcc@gmail.com>
+
+ * 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 <anlauf@gmx.de>
+
+ PR fortran/110288
+ * gfortran.dg/findloc_10.f90: New test.
+
+2023-07-11 Carl Love <cel@us.ibm.com>
+
+ * 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 <macro@embecosm.com>
+
+ * gcc.dg/vect/pr97428.c: Limit to `vect_double' targets.
+
+2023-07-11 Gaius Mulley <gaiusmod2@gmail.com>
+
+ * 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 <ppalka@redhat.com>
+
+ PR c++/110580
+ * g++.dg/cpp1y/var-templ83.C: New test.
+
+2023-07-11 liuhongt <hongtao.liu@intel.com>
+
+ PR target/110170
+ * g++.target/i386/pr110170.C: Fix typo.
+
+2023-07-11 Xi Ruoyao <xry111@xry111.site>
+
+ * 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 <ppalka@redhat.com>
PR c++/110523
+2023-07-11 Florian Weimer <fweimer@redhat.com>
+
+ 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 <kito.cheng@sifive.com>
* config/riscv/sfp-machine.h (FP_INIT_ROUNDMODE): Check zfinx.
+2023-07-11 Tobias Burnus <tobias@codesourcery.com>
+
+ * 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 <tobias@codesourcery.com>
* libgomp.texi: Use @var for ICV vars.
projects / thirdparty / gcc.git / commitdiff
