diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 499730937b9..586ad24a8f3 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,90 @@ +2024-02-07 Richard Biener + + PR tree-optimization/113796 + * tree-if-conv.cc (combine_blocks): Wipe range-info before + replacing PHIs and inserting predicates. + +2024-02-07 Roger Sayle + Uros Bizjak + + PR target/113690 + * config/i386/i386-features.cc (timode_convert_cst): New helper + function to convert a TImode CONST_SCALAR_INT_P to a V1TImode + CONST_VECTOR. + (timode_scalar_chain::convert_op): Use timode_convert_cst. + (timode_scalar_chain::convert_insn): Delete REG_EQUAL notes. + Use timode_convert_cst. + +2024-02-07 Victor Do Nascimento + + * config/aarch64/aarch64-sys-regs.def: Copy from Binutils. + * config/aarch64/aarch64.h (AARCH64_FL_AIE): New. + (AARCH64_FL_DEBUGv8p9): Likewise. + (AARCH64_FL_FGT2): Likewise.Likewise. + (AARCH64_FL_ITE): Likewise. + (AARCH64_FL_PFAR): Likewise. + (AARCH64_FL_PMUv3_ICNTR): Likewise. + (AARCH64_FL_PMUv3_SS): Likewise. + (AARCH64_FL_PMUv3p9): Likewise. + (AARCH64_FL_RASv2): Likewise. + (AARCH64_FL_S1PIE): Likewise. + (AARCH64_FL_S1POE): Likewise. + (AARCH64_FL_S2PIE): Likewise. + (AARCH64_FL_S2POE): Likewise. + (AARCH64_FL_SCTLR2): Likewise. + (AARCH64_FL_SEBEP): Likewise. + (AARCH64_FL_SPE_FDS): Likewise. + (AARCH64_FL_TCR2): Likewise. + +2024-02-07 Richard Biener + + * tree-vect-data-refs.cc (vect_analyze_early_break_dependences): + Only check whether reads are in-bound in places that are not safe. + Fix dependence check. Add missing newline. Clarify comments. + +2024-02-07 Tamar Christina + + PR tree-optimization/113750 + * tree-vect-data-refs.cc (vect_analyze_early_break_dependences): Check + for single predecessor when doing early break vect. + * tree-vect-loop.cc (move_early_exit_stmts): Get gsi at the start but + after labels. + +2024-02-07 Tamar Christina + + PR tree-optimization/113731 + * gimple-iterator.cc (gsi_move_before): Take new parameter for update + method. + * gimple-iterator.h (gsi_move_before): Default new param to + GSI_SAME_STMT. + * tree-vect-loop.cc (move_early_exit_stmts): Call gsi_move_before with + GSI_NEW_STMT. + +2024-02-07 Jakub Jelinek + + PR tree-optimization/113756 + * range-op.cc (update_known_bitmask): For GIMPLE_UNARY_RHS, + use TYPE_SIGN (lh.type ()) instead of sign for widest_int::from + of lh_bits value and mask. + +2024-02-07 Jakub Jelinek + + PR tree-optimization/113753 + * wide-int.cc (wi::mul_internal): Unpack op1val and op2val with + UNSIGNED rather than SIGNED. If high or needs_overflow and prec is + not a multiple of HOST_BITS_PER_WIDE_INT, shift left bits above prec + so that they start with r[half_blocks_needed] lowest bit. Fix up + computation of top mask for SIGNED. + +2024-02-07 Pan Li + + PR target/113766 + * config/riscv/riscv-protos.h (resolve_overloaded_builtin): Adjust + the signature of func. + * config/riscv/riscv-c.cc (riscv_resolve_overloaded_builtin): Ditto. + * config/riscv/riscv-vector-builtins.cc (resolve_overloaded_builtin): Make + overloaded func with empty args error. + 2024-02-06 H.J. Lu PR target/113689 diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index fb896437271..2871f27b71d 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20240207 +20240208 diff --git a/gcc/po/ChangeLog b/gcc/po/ChangeLog index c0ff212c4f8..92cfc9d5404 100644 --- a/gcc/po/ChangeLog +++ b/gcc/po/ChangeLog @@ -1,3 +1,7 @@ +2024-02-07 Joseph Myers + + * zh_CN.po: Update. + 2024-02-05 Joseph Myers * zh_CN.po: Update. diff --git a/gcc/rust/ChangeLog b/gcc/rust/ChangeLog index f1220b01806..b04423a6f63 100644 --- a/gcc/rust/ChangeLog +++ b/gcc/rust/ChangeLog @@ -1,3 +1,318 @@ +2024-02-07 Kushal Pal + + * parse/rust-parse-impl.h (Parser::parse_trait_item): + Handle macros in trait items similar to how its handled for trait + implementation items. + +2024-02-07 Kushal Pal + + * ast/rust-ast-collector.cc (TokenCollector::visit): + Remove obsolete classes and functions. + * ast/rust-ast-collector.h: + Likewise. + * ast/rust-ast-full-decls.h (class TraitFunctionDecl): + Likewise. + (class TraitItemFunc): + Likewise. + (class TraitMethodDecl): + Likewise. + (class TraitItemMethod): + Likewise. + * ast/rust-ast-visitor.cc (DefaultASTVisitor::visit): + Likewise. + * ast/rust-ast-visitor.h: + Likewise. + * ast/rust-ast.cc (TraitItemFunc::TraitItemFunc): + Likewise. + (TraitItemFunc::operator=): + Likewise. + (TraitItemFunc::as_string): + Likewise. + (TraitFunctionDecl::as_string): + Likewise. + (TraitItemMethod::TraitItemMethod): + Likewise. + (TraitItemMethod::operator=): + Likewise. + (TraitItemMethod::as_string): + Likewise. + (TraitMethodDecl::as_string): + Likewise. + (TraitItemFunc::accept_vis): + Likewise. + (TraitItemMethod::accept_vis): + Likewise. + * ast/rust-item.h (class TraitFunctionDecl): + Likewise. + (class TraitItemFunc): + Likewise. + (class TraitMethodDecl): + Likewise. + (class TraitItemMethod): + Likewise. + * checks/errors/rust-ast-validation.cc (ASTValidation::visit): + Likewise. + * checks/errors/rust-ast-validation.h: + Likewise. + * checks/errors/rust-feature-gate.h: + Likewise. + * expand/rust-cfg-strip.cc (CfgStrip::maybe_strip_trait_function_decl): + Likewise. + (CfgStrip::maybe_strip_trait_method_decl): + Likewise. + (CfgStrip::visit): + Likewise. + * expand/rust-cfg-strip.h: + Likewise. + * expand/rust-derive.h: + Likewise. + * expand/rust-expand-visitor.cc (ExpandVisitor::expand_trait_function_decl): + Likewise. + (ExpandVisitor::expand_trait_method_decl): + Likewise. + (ExpandVisitor::visit): + Likewise. + * expand/rust-expand-visitor.h: + Likewise. + * hir/rust-ast-lower-base.cc (ASTLoweringBase::visit): + Likewise. + * hir/rust-ast-lower-base.h: + Likewise. + * hir/rust-ast-lower-implitem.cc (ASTLowerTraitItem::visit): + Likewise. + * hir/rust-ast-lower-implitem.h: + Likewise. + * resolve/rust-ast-resolve-base.cc (ResolverBase::visit): + Likewise. + * resolve/rust-ast-resolve-base.h: + Likewise. + * resolve/rust-ast-resolve-implitem.h (visit): + Likewise. + * resolve/rust-ast-resolve-item.cc (ResolveTraitItems::visit): + Likewise. + * resolve/rust-ast-resolve-item.h: + Likewise. + * resolve/rust-default-resolver.cc (DefaultResolver::visit): + Likewise. + * resolve/rust-default-resolver.h: + Likewise. + * resolve/rust-toplevel-name-resolver-2.0.cc (TopLevel::visit): + Likewise. + * resolve/rust-toplevel-name-resolver-2.0.h: + Likewise. + * util/rust-attributes.cc (AttributeChecker::visit): + Likewise. + * util/rust-attributes.h: + Likewise. + +2024-02-07 Kushal Pal + + * parse/rust-parse-impl.h (Parser::parse_trait_item): + Use parse_function() to parse trait functions. + +2024-02-07 Kushal Pal + + * hir/rust-ast-lower-implitem.cc (ASTLowerTraitItem::visit): + Provide visitor for AST::Function. + * hir/rust-ast-lower-implitem.h: + Likewise. + * resolve/rust-ast-resolve-implitem.h: + Likewise. + * resolve/rust-ast-resolve-item.cc (ResolveTraitItems::visit): + Likewise. + * resolve/rust-ast-resolve-item.h: + Likewise. + +2024-02-07 Kushal Pal + + * checks/errors/rust-ast-validation.cc (ASTValidation::visit): + Add checks for Trait functions. + +2024-02-07 Kushal Pal + + * ast/rust-ast.h: Replace TraitItem with AssociatedItem. + * ast/rust-item.h (class Trait): Likewise. + * expand/rust-expand-visitor.cc (ExpandVisitor::visit): + Likewise. + * parse/rust-parse-impl.h (Parser::parse_trait): Likewise. + * parse/rust-parse.h: Likewise. + +2024-02-07 Philip Herron + + * typecheck/rust-hir-type-check-pattern.cc (TypeCheckPattern::visit): use destructure + +2024-02-07 Nobel Singh + + * Make-lang.in: Add rust-ast-lower-implitem.cc to list of objects. + * hir/rust-ast-lower-implitem.h (RUST_AST_LOWER_IMPLITEM_H): Remove + implementation. + * hir/rust-ast-lower-implitem.cc: Copy implementation from header. + +2024-02-07 Philip Herron + + * typecheck/rust-hir-type-check.cc (TypeResolution::Resolve): refactor + * typecheck/rust-hir-type-check.h: new prototype + * typecheck/rust-typecheck-context.cc (TypeCheckContext::compute_inference_variables): x + +2024-02-07 Philip Herron + + * typecheck/rust-hir-type-check-type.cc: remove hack + +2024-02-07 Philip Herron + + * typecheck/rust-hir-type-check-path.cc (TypeCheckExpr::resolve_segments): remove hack + +2024-02-07 Philip Herron + + * typecheck/rust-tyty-subst.cc (SubstitutionRef::get_mappings_from_generic_args): fix + +2024-02-07 Nobel Singh + + * hir/rust-ast-lower-base.cc (ASTLoweringBase::lower_qualifiers): + Change default ABI to C for extern functions + (ASTLoweringBase::lower_extern_block): Likewise + +2024-02-07 Jakub Dupak + + * typecheck/rust-tyty.cc (BaseType::BaseType): Store orig ref. + (BaseType::get_orig_ref): Add getter. + * typecheck/rust-tyty.h: Store orig ref. + +2024-02-07 Jakub Dupak + + * typecheck/rust-hir-type-check-implitem.cc (TypeCheckTopLevelExternItem::visit): + Add region constraints. + (TypeCheckImplItem::visit): Add region constraints. + * typecheck/rust-hir-type-check-implitem.h: Add region constraints. + * typecheck/rust-hir-type-check-item.cc (TypeCheckItem::ResolveImplBlockSelf): + Add region constraints. + (TypeCheckItem::visit): Add region constraints. + (TypeCheckItem::resolve_impl_item): Add region constraints. + (TypeCheckItem::resolve_impl_block_substitutions): Add region constraints. + * typecheck/rust-hir-type-check-item.h: Add region constraints. + * typecheck/rust-hir-type-check-type.cc (ResolveWhereClauseItem::Resolve): + Add region constraints. + (ResolveWhereClauseItem::visit): Add region constraints. + * typecheck/rust-hir-type-check-type.h (class ResolveWhereClauseItem): + Add region constraints. + * typecheck/rust-hir-type-check.cc (TraitItemReference::get_type_from_fn): + Add region constraints. + * typecheck/rust-tyty-bounds.cc (TypeBoundPredicate::TypeBoundPredicate): + Add region constraints. + * typecheck/rust-tyty-subst.cc (SubstitutionRef::get_region_constraints): + Add region constraints. + * typecheck/rust-tyty-subst.h (class BaseType): Add region constraints. + (struct RegionConstraints): Add region constraints. + * typecheck/rust-tyty.cc (BaseType::monomorphized_clone): Add region constraints. + (ADTType::clone): Add region constraints. + (FnType::clone): Add region constraints. + (ProjectionType::clone): Add region constraints. + * typecheck/rust-tyty.h: Add region constraints. + +2024-02-07 Jakub Dupak + + * typecheck/rust-hir-trait-resolve.cc: add regions + * typecheck/rust-hir-type-check-base.cc (TypeCheckBase::resolve_literal): + add regions, resolve generic lifetimes + * typecheck/rust-hir-type-check-expr.cc (TypeCheckExpr::visit): add regions + * typecheck/rust-hir-type-check-implitem.cc (TypeCheckTopLevelExternItem::visit): + add regions, resolve lifetimes + (TypeCheckImplItem::visit): add regions, resove lifetimes + * typecheck/rust-hir-type-check-implitem.h: add default value for result + * typecheck/rust-hir-type-check-item.cc (TypeCheckItem::visit): add regions, + resove lifetimes + (TypeCheckItem::resolve_impl_block_substitutions): add regions, resove lifetimes + * typecheck/rust-hir-type-check-path.cc (TypeCheckExpr::visit): add regions, + resove lifetimes + (TypeCheckExpr::resolve_root_path): add regions, resove lifetimes + (TypeCheckExpr::resolve_segments): add regions, resove lifetimes + * typecheck/rust-hir-type-check-type.cc (TypeCheckType::visit): add regions, + resove lifetimes + (TypeCheckType::resolve_root_path): add regions, resove lifetimes + (ResolveWhereClauseItem::Resolve): add regions, resove lifetimes + (ResolveWhereClauseItem::visit): add regions, resove lifetimes + * typecheck/rust-hir-type-check.cc (TypeCheckContext::LifetimeResolver::resolve): + add regions, resolve lifetimes + (TraitItemReference::get_type_from_fn): add regions, resove lifetimes + * typecheck/rust-hir-type-check.h: add regions, resove lifetimes + * typecheck/rust-substitution-mapper.cc (SubstMapper::SubstMapper): add regions, + resove lifetimes + (SubstMapper::Resolve): add regions, resove lifetimes + (SubstMapper::InferSubst): add regions, resove lifetimes + (SubstMapper::visit): add regions, resove lifetimes + * typecheck/rust-substitution-mapper.h: add regions, resove lifetimes + * typecheck/rust-typecheck-context.cc (TypeCheckContext::TypeCheckContext): + lifetime resolution + (TypeCheckContext::regions_from_generic_args): lifetime resolution helper + * typecheck/rust-tyty-bounds.cc (TypeBoundPredicate::TypeBoundPredicate): + add regions, resove lifetimes + (TypeBoundPredicate::operator=): add regions, resove lifetimes + (TypeBoundPredicate::apply_generic_arguments): add regions, resove lifetimes + (TypeBoundPredicateItem::get_tyty_for_receiver): add regions, resove lifetimes + * typecheck/rust-tyty-subst.cc (SubstitutionArgumentMappings::get_regions): + add regions, resove lifetimes + (SubstitutionArgumentMappings::get_mut_regions): getter + (SubstitutionArgumentMappings::error): split error and empty + (SubstitutionArgumentMappings::empty): split error and empty + (SubstitutionArgumentMappings::find_symbol): helper + (SubstitutionRef::get_num_lifetime_params): getter + (SubstitutionRef::get_num_type_params): getter + (SubstitutionRef::needs_substitution): extend to regions + (SubstitutionRef::get_mappings_from_generic_args): helper + (SubstitutionRef::infer_substitions): add regions + * typecheck/rust-tyty-subst.h (class RegionParamList): region param handler + * typecheck/rust-tyty.cc (BaseType::monomorphized_clone): add regions, resove lifetimes + (InferType::default_type): add regions, resove lifetimes + (FnType::clone): add regions, resove lifetimes + (ReferenceType::ReferenceType): add regions + (ReferenceType::get_region): getter + (ReferenceType::clone): add regions + * typecheck/rust-tyty.h: add regions, resove + +2024-02-07 Jakub Dupak + + * hir/tree/rust-hir-item.h: Add missing getter + +2024-02-07 Jakub Dupak + + * typecheck/rust-tyty-region.h: New file. + +2024-02-07 Jakub Dupak + + * typecheck/rust-hir-type-check.h (class Lifetime): add interned lifetime class + * typecheck/rust-typecheck-context.cc (TypeCheckContext::TypeCheckContext): add + resolution tool + (TypeCheckContext::intern_lifetime): add method to intern lifetime from tyctx + (TypeCheckContext::lookup_lifetime): add method to lookup lifetime from tyctx + (TypeCheckContext::intern_and_insert_lifetime): add a helper method + +2024-02-07 Raiki Tamura + + * rust-lang.cc (run_rust_tests): Add test. + * rust-system.h: Add . + * util/make-rust-unicode.py: Output NFC_Quick_Check table. + * util/rust-codepoint.h (struct Codepoint): Add is_supplementary + method. + * util/rust-unicode-data.h: Generated. + * util/rust-unicode.cc (binary_search_sorted_array): Removed. + (lookup_cc): Remove namespace. + (is_alphabetic): Use std::binary_search + (nfc_quick_check): New function. + (nfc_normalize): Use nfc_quick_check. + (is_nfc_qc_maybe): New function. + (is_nfc_qc_no): New function. + (rust_nfc_qc_test): New test. + * util/rust-unicode.h (is_nfc_qc_no): New function. + (is_nfc_qc_maybe): New function. + (enum class): New enum class. + (nfc_quick_check): New function. + (rust_nfc_qc_test): New test. + +2024-02-07 Kushal Pal + + * parse/rust-parse-impl.h (Parser::parse_function): + Skip token if its a COMMA. + 2024-01-30 Owen Avery * ast/rust-ast-full-decls.h diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 3fb20ec62cf..f238648d79d 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,96 @@ +2024-02-07 Richard Biener + + PR tree-optimization/113796 + * gcc.dg/torture/pr113796.c: New testcase. + +2024-02-07 Roger Sayle + Uros Bizjak + + PR target/113690 + * gcc.target/i386/pr113690.c: New test case. + +2024-02-07 Victor Do Nascimento + + * gcc.target/aarch64/acle/rwsr-armv8p9.c: New. + +2024-02-07 Kushal Pal + + * rust/compile/issue-2040.rs: + Enclose 'const' in single quotes. + +2024-02-07 Philip Herron + + * rust/compile/issue-2775.rs: New test. + +2024-02-07 Philip Herron + + * rust/compile/issue-2782.rs: New test. + +2024-02-07 Philip Herron + + * rust/compile/issue-1773.rs: Moved to... + * rust/compile/issue-1773.rs.bak: ...here. + * rust/compile/issue-2723-1.rs: New test. + * rust/compile/issue-2723-2.rs: New test. + +2024-02-07 Philip Herron + + * rust/compile/issue-2747.rs: New test. + +2024-02-07 Philip Herron + + * rust/compile/issue-2772-1.rs: New test. + * rust/compile/issue-2772-2.rs: New test. + +2024-02-07 Philip Herron + + * rust/compile/issue-1483.rs: New test. + +2024-02-07 Kushal Pal + + * rust/compile/issue-2812.rs: New test. + +2024-02-07 Tamar Christina + + PR tree-optimization/113750 + * gcc.dg/vect/vect-early-break_112-pr113750.c: New test. + * gcc.dg/vect/vect-early-break_113-pr113750.c: New test. + * gcc.dg/vect/vect-early-break_114-pr113750.c: New test. + * gcc.dg/vect/vect-early-break_115-pr113750.c: New test. + * gcc.dg/vect/vect-early-break_116-pr113750.c: New test. + +2024-02-07 Tamar Christina + + PR tree-optimization/113731 + * gcc.dg/vect/vect-early-break_111-pr113731.c: New test. + +2024-02-07 Tamar Christina + + PR tree-optimization/113467 + * gcc.dg/vect/vect-early-break_110-pr113467.c: New test. + +2024-02-07 Jakub Jelinek + + PR tree-optimization/113756 + * gcc.dg/pr113756.c: New test. + +2024-02-07 Rainer Orth + + * gcc.dg/debug/dwarf2/inline5.c: Don't xfail scan-assembler-not on + { aix || solaris2 } && !gas. + +2024-02-07 Jakub Jelinek + + PR tree-optimization/113753 + * gcc.dg/torture/bitint-56.c: New test. + * gcc.dg/bitint-87.c: New test. + +2024-02-07 Pan Li + + PR target/113766 + * gcc.target/riscv/rvv/base/pr113766-1.c: New test. + * gcc.target/riscv/rvv/base/pr113766-2.c: New test. + 2024-02-06 Jakub Jelinek PR c++/113788 diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index b1efedde1a0..57a58d8c13c 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,10 @@ +2024-02-07 Patrick Palka + + PR testsuite/113710 + PR c++/113814 + * include/bits/stl_pair.h (tuple_element): Add forward + declaration of the partial specialization for tuple. + 2024-02-06 Torbjörn SVENSSON * testsuite/lib/libstdc++.exp: Use "nul" for Windows, "/dev/null"