From 25bb75f841c552cfd27a4344b7487efbe35b4481 Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Thu, 19 Nov 2020 00:16:30 +0000 Subject: Daily bump. --- gcc/ChangeLog | 182 ++++++++++++++++++++++++++++++++++++++++++++++++ gcc/DATESTAMP | 2 +- gcc/ada/ChangeLog | 11 +++ gcc/analyzer/ChangeLog | 7 ++ gcc/brig/ChangeLog | 6 ++ gcc/c-family/ChangeLog | 4 ++ gcc/c/ChangeLog | 6 ++ gcc/cp/ChangeLog | 11 +++ gcc/d/ChangeLog | 19 +++++ gcc/fortran/ChangeLog | 6 ++ gcc/go/ChangeLog | 6 ++ gcc/jit/ChangeLog | 6 ++ gcc/lto/ChangeLog | 12 ++++ gcc/objc/ChangeLog | 6 ++ gcc/objcp/ChangeLog | 6 ++ gcc/po/ChangeLog | 4 ++ gcc/testsuite/ChangeLog | 92 ++++++++++++++++++++++++ 17 files changed, 385 insertions(+), 1 deletion(-) (limited to 'gcc') diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 2e7d91b..f4e89b8 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,185 @@ +2020-11-18 Roger Sayle + + PR middle-end/85811 + * fold-const.c (tree_expr_finite_p): New function to test whether + a tree expression must be finite, i.e. not a FP NaN or infinity. + (tree_expr_infinite_p): New function to test whether a tree + expression must be infinite, i.e. a FP infinity. + (tree_expr_maybe_infinite_p): New function to test whether a tree + expression may be infinite, i.e. a FP infinity. + (tree_expr_signaling_nan_p): New function to test whether a tree + expression must evaluate to a signaling NaN (sNaN). + (tree_expr_maybe_signaling_nan_p): New function to test whether a + tree expression may be a signaling NaN (sNaN). + (tree_expr_nan_p): New function to test whether a tree expression + must evaluate to a (quiet or signaling) NaN. + (tree_expr_maybe_nan_p): New function to test whether a tree + expression me be a (quiet or signaling) NaN. + (tree_binary_nonnegative_warnv_p) [MAX_EXPR]: In the presence + of NaNs, MAX_EXPR is only guaranteed to be non-negative, if both + operands are non-negative. + (tree_call_nonnegative_warnv_p) [CASE_CFN_FMAX,CASE_CFN_FMAX_FN]: + In the presence of signaling NaNs, fmax is only guaranteed to be + non-negative if both operands are negative. In the presence of + quiet NaNs, fmax is non-negative if either operand is non-negative + and not a qNaN, or both operands are non-negative. + * fold-const.h (tree_expr_finite_p, tree_expr_infinite_p, + tree_expr_maybe_infinite_p, tree_expr_signaling_nan_p, + tree_expr_maybe_signaling_nan_p, tree_expr_nan_p, + tree_expr_maybe_nan_p): Prototype new functions here. + * builtins.c (fold_builtin_classify) [BUILT_IN_ISINF]: Fold to + a constant if argument is known to be (or not to be) an Infinity. + [BUILT_IN_ISFINITE]: Fold to a constant if argument is known to + be (or not to be) finite. + [BUILT_IN_ISNAN]: Fold to a constant if argument is known to be + (or not to be) a NaN. + (fold_builtin_fpclassify): Check tree_expr_maybe_infinite_p and + tree_expr_maybe_nan_p instead of HONOR_INFINITIES and HONOR_NANS + respectively. + (fold_builtin_unordered_cmp): Fold UNORDERED_EXPR to a constant + when its arguments are known to be (or not be) NaNs. Check + tree_expr_maybe_nan_p instead of HONOR_NANS when choosing between + unordered and regular forms of comparison operators. + * match.pd (ordered(x,y)->true/false): Constant fold ORDERED_EXPR + if its operands are known to be (or not to be) NaNs. + (unordered(x,y)->true/false): Constant fold UNORDERED_EXPR if its + operands are known to be (or not to be) NaNs. + (sqrt(x)*sqrt(x)->x): Check tree_expr_maybe_signaling_nan_p instead + of HONOR_SNANS. + +2020-11-18 Jakub Jelinek + + PR tree-optimization/91029 + PR tree-optimization/97888 + * range-op.cc (operator_trunc_mod::op1_range): Only set op1 + range to >= 0 if lhs is > 0, rather than >= 0. Fix up comments. + +2020-11-18 Jakub Jelinek + + * opts.h (struct cl_var): New type. + (cl_vars): Declare. + * optc-gen.awk: Generate cl_vars array. + +2020-11-18 Eugene Rozenfeld + + PR tree-optimization/96671 + * match.pd (three xor patterns): New patterns. + +2020-11-18 Jakub Jelinek + + * optc-save-gen.awk: Initialize var_opt_init. In + cl_optimization_stream_out for params with default values larger than + 10, xor the default value with the actual parameter value. In + cl_optimization_stream_in repeat the above xor. + +2020-11-18 Jakub Jelinek + + * configure.ac: Add $lang.prev rules, INDEX.$lang and SERIAL_LIST and + SERIAL_COUNT variables to Make-hooks. + (--enable-link-serialization): New configure option. + * Makefile.in (DO_LINK_SERIALIZATION, LINK_PROGRESS): New variables. + * doc/install.texi (--enable-link-serialization): Document. + * configure: Regenerated. + +2020-11-18 Vladimir Makarov + + PR target/97870 + * lra-constraints.c (curr_insn_transform): Do not delete asm goto + with wrong constraints. Nullify it saving CFG. + +2020-11-18 Jozef Lawrynowicz + + * config/msp430/msp430.md (mulhi3): New. + (mulsi3): New. + (mulsidi3): Rename to *mulsidi3_inline. + (umulsidi3): Rename to *umulsidi3_inline. + (mulsidi3): New define_expand. + (umulsidi3): New define_expand. + +2020-11-18 Richard Biener + + PR tree-optimization/97886 + * tree-vect-loop.c (vectorizable_lc_phi): Properly assign + vector types to invariants for SLP. + +2020-11-18 Iain Buclaw + + * config.gcc (*-*-dragonfly*): Add dragonfly-d.o and t-dragonfly. + * config/dragonfly-d.c: New file. + * config/t-dragonfly: New file. + +2020-11-18 Jakub Jelinek + + PR middle-end/97862 + * omp-expand.c (expand_omp_for_init_vars): Don't use the sqrt path + if number of iterations is constant 0. + +2020-11-18 Kito Cheng + + * common/config/riscv/riscv-common.c (riscv_ext_version): New. + (riscv_ext_version_table): Ditto. + (get_default_version): Ditto. + (riscv_subset_t::implied_p): New field. + (riscv_subset_t::riscv_subset_t): Init implied_p. + (riscv_subset_list::add): New. + (riscv_subset_list::handle_implied_ext): Pass riscv_subset_t + instead of separated argument. + (riscv_subset_list::to_string): Handle zifencei and zicsr, and + omit version if version is unknown. + (riscv_subset_list::parsing_subset_version): New argument `ext`, + remove default_major_version and default_minor_version, get + default version info via get_default_version. + (riscv_subset_list::parse_std_ext): Update argument for + parsing_subset_version calls. + Handle 2.2 ISA spec, always enable zicsr and zifencei, they are + included in baseline ISA in that time. + (riscv_subset_list::parse_multiletter_ext): Update argument for + `parsing_subset_version` and `add` calls. + (riscv_subset_list::parse): Adjust argument for + riscv_subset_list::handle_implied_ext call. + * config.gcc (riscv*-*-*): Handle --with-isa-spec=. + * config.in (HAVE_AS_MISA_SPEC): New. + (HAVE_AS_MARCH_ZIFENCEI): Ditto. + * config/riscv/riscv-opts.h (riscv_isa_spec_class): New. + (riscv_isa_spec): Ditto. + * config/riscv/riscv.h (HAVE_AS_MISA_SPEC): New. + (ASM_SPEC): Pass -misa-spec if gas supported. + * config/riscv/riscv.opt (riscv_isa_spec_class) New. + * configure.ac (HAVE_AS_MARCH_ZIFENCEI): New test. + (HAVE_AS_MISA_SPEC): Ditto. + * configure: Regen. + +2020-11-18 Kito Cheng + + * common/config/riscv/riscv-common.c (riscv_implied_info): + d and f implied zicsr. + (riscv_ext_flag_table): Handle zicsr and zifencei. + * config/riscv/riscv-opts.h (MASK_ZICSR): New. + (MASK_ZIFENCEI): Ditto. + (TARGET_ZICSR): Ditto. + (TARGET_ZIFENCEI): Ditto. + * config/riscv/riscv.md (clear_cache): Check TARGET_ZIFENCEI. + (fence_i): Ditto. + * config/riscv/riscv.opt (riscv_zi_subext): New. + +2020-11-18 Kito Cheng + + * common/config/riscv/riscv-common.c (single_letter_subset_rank): New. + (multi_letter_subset_rank): Ditto. + (subset_cmp): Ditto. + (riscv_subset_list::add): Insert subext in canonical ordering. + (riscv_subset_list::parse_std_ext): Move handle_implied_ext to ... + (riscv_subset_list::parse): ... here. + +2020-11-18 Jiufu Guo + + * cfgloop.h (loop_optimizer_finalize): Add flag argument. + * loop-init.c (loop_optimizer_finalize): Call clean_up_loop_closed_phi. + * tree-cfgcleanup.h (clean_up_loop_closed_phi): New declare. + * tree-ssa-loop.c (tree_ssa_loop_done): Call loop_optimizer_finalize + with flag argument. + * tree-ssa-propagate.c (clean_up_loop_closed_phi): New function. + 2020-11-17 Sebastian Pop * config.gcc: add configure flags --with-{cpu,arch,tune}-{32,64} diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index 6ee7c2a..f5efa49 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20201118 +20201119 diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index d131abf..13ea49a 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,14 @@ +2020-11-18 Jakub Jelinek + + * gcc-interface/Make-lang.in (ada.serial): New goal. + (.PHONY): Add ada.serial ada.prev. + (gnat1$(exeext)): Depend on ada.prev. Call LINK_PROGRESS. + +2020-11-18 Matthias Klose + + PR ada/97859 + * Makefile.rtl (powerpc% linux%): Also match powerpc64le cpu. + 2020-11-11 Eric Botcazou * gcc-interface/gigi.h: Remove ^L characters throughout. diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index f0dd270..6565c67 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,10 @@ +2020-11-18 David Malcolm + + PR analyzer/97893 + * sm-malloc.cc (null_deref::emit): Use CWE-476 rather than + CWE-690, as this isn't due to an unchecked return value. + (null_arg::emit): Likewise. + 2020-11-12 David Malcolm * checker-path.h (checker_event::get_id_ptr): New. diff --git a/gcc/brig/ChangeLog b/gcc/brig/ChangeLog index b8fefa5..170fdf7 100644 --- a/gcc/brig/ChangeLog +++ b/gcc/brig/ChangeLog @@ -1,3 +1,9 @@ +2020-11-18 Jakub Jelinek + + * Make-lang.in (brig.serial): New goal. + (.PHONY): Add brig.serial brig.prev. + (brig1$(exeext)): Depend on brig.prev. Call LINK_PROGRESS. + 2020-08-03 Martin Jambor * brigfrontend/brig-util.h (hsa_type_packed_p): Declared. diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index 3fec8f2..42c20f0 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,3 +1,7 @@ +2020-11-18 Nathan Sidwell + + * c-lex.c (c_lex_with_flags): CPP_HEADER_NAMEs can now be seen. + 2020-11-17 Nathan Sidwell * c-common.h (enum c_tree_index): Reorder to place lazy fields diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index 289a426..f5b173c 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,9 @@ +2020-11-18 Jakub Jelinek + + * Make-lang.in (c.serial): New goal. + (.PHONY): Add c.serial c.prev. + (cc1$(exeext)): Call LINK_PROGRESS. + 2020-11-13 Vladimir N. Makarov * c-parser.c (c_parser_asm_statement): Parse outputs for asm diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 0f41862..b72904b 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,14 @@ +2020-11-18 Iain Sandoe + + * parser.c (cp_parser_objc_valid_prefix_attributes): Check + for empty attributes. + +2020-11-18 Jakub Jelinek + + * Make-lang.in (c++.serial): New goal. + (.PHONY): Add c++.serial c++.prev. + (cc1plus$(exeext)): Depend on c++.prev. Call LINK_PROGRESS. + 2020-11-17 Nathan Sidwell PR c++/97877 diff --git a/gcc/d/ChangeLog b/gcc/d/ChangeLog index 29e3b44..3e23bfe 100644 --- a/gcc/d/ChangeLog +++ b/gcc/d/ChangeLog @@ -1,3 +1,22 @@ +2020-11-18 Jakub Jelinek + + * Make-lang.in (d.serial): New goal. + (.PHONY): Add d.serial d.prev. + (d21$(exeext)): Depend on d.prev. Call LINK_PROGRESS. + +2020-11-18 Iain Buclaw + + PR d/97843 + * d-codegen.cc (build_assign): Evaluate TARGET_EXPR before use in + the right hand side of an assignment. + * expr.cc (ExprVisitor::visit (CatAssignExp *)): Force a TARGET_EXPR + on the element to append if it is a CALL_EXPR. + +2020-11-18 Iain Buclaw + + PR d/97842 + * dmd/MERGE: Merge upstream dmd b6a779e49 + 2020-11-13 Iain Buclaw * intrinsics.cc (expand_intrinsic_copysign): Explicitly determine diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 69b337c..6e204d3 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,9 @@ +2020-11-18 Jakub Jelinek + + * Make-lang.in (fortran.serial): New goal. + (.PHONY): Add fortran.serial fortran.prev. + (f951$(exeext)): Depend on fortran.prev. Call LINK_PROGRESS. + 2020-11-17 Harald Anlauf * gfortran.texi: Fix description of GFC_RTCHECK_* to match actual diff --git a/gcc/go/ChangeLog b/gcc/go/ChangeLog index 06d8ecd..f7f861f 100644 --- a/gcc/go/ChangeLog +++ b/gcc/go/ChangeLog @@ -1,3 +1,9 @@ +2020-11-18 Jakub Jelinek + + * Make-lang.in (go.serial): New goal. + (.PHONY): Add go.serial go.prev. + (go1$(exeext)): Depend on go.prev. Call LINK_PROGRESS. + 2020-11-11 Alan Modra * go-gcc.cc (Gcc_backend::global_variable_set_init): Cast NULL to diff --git a/gcc/jit/ChangeLog b/gcc/jit/ChangeLog index e45b4e3..7dc02cc 100644 --- a/gcc/jit/ChangeLog +++ b/gcc/jit/ChangeLog @@ -1,3 +1,9 @@ +2020-11-18 Jakub Jelinek + + * Make-lang.in (jit.serial): New goal. + (.PHONY): Add jit.serial jit.prev. + ($(LIBGCCJIT_FILENAME)): Depend on jit.prev. Call LINK_PROGRESS. + 2020-11-12 David Malcolm PR jit/87291 diff --git a/gcc/lto/ChangeLog b/gcc/lto/ChangeLog index 29d0705..e03b949 100644 --- a/gcc/lto/ChangeLog +++ b/gcc/lto/ChangeLog @@ -1,3 +1,15 @@ +2020-11-18 Jerry Clcanny + + * lto-symtab.c (lto_symtab_merge_symbols): Fix typos in comment. + +2020-11-18 Jakub Jelinek + + * Make-lang.in (lto, lto1.serial, lto2.serial): New goals. + (.PHONY): Add lto lto1.serial lto1.prev lto2.serial lto2.prev. + (lto.all.cross, lto.start.encap): Remove dependencies. + ($(LTO_EXE)): Depend on lto1.prev. Call LINK_PROGRESS. + ($(LTO_DUMP_EXE)): Depend on lto2.prev. Call LINK_PROGRESS. + 2020-11-17 Jan Hubicka PR bootstrap/97857 diff --git a/gcc/objc/ChangeLog b/gcc/objc/ChangeLog index 1290c32..2b3331c 100644 --- a/gcc/objc/ChangeLog +++ b/gcc/objc/ChangeLog @@ -1,3 +1,9 @@ +2020-11-18 Jakub Jelinek + + * Make-lang.in (objc.serial): New goal. + (.PHONY): Add objc.serial objc.prev. + (cc1obj$(exeext)): Depend on objc.prev. Call LINK_PROGRESS. + 2020-11-13 Iain Sandoe PR objc/90707 diff --git a/gcc/objcp/ChangeLog b/gcc/objcp/ChangeLog index 64a0deb..b5c98c2 100644 --- a/gcc/objcp/ChangeLog +++ b/gcc/objcp/ChangeLog @@ -1,3 +1,9 @@ +2020-11-18 Jakub Jelinek + + * Make-lang.in (obj-c++.serial): New goal. + (.PHONY): Add obj-c++.serial obj-c++.prev. + (cc1objplus$(exeext)): Depend on obj-c++.prev. Call LINK_PROGRESS. + 2020-09-25 Nathan Sidwell * objcp-decl.c (objcp_start_struct): Use TAG_how not tag_scope. diff --git a/gcc/po/ChangeLog b/gcc/po/ChangeLog index 0cd3014f..e29c057 100644 --- a/gcc/po/ChangeLog +++ b/gcc/po/ChangeLog @@ -1,3 +1,7 @@ +2020-11-18 Joseph Myers + + * zh_TW.po: Update. + 2020-07-29 Joseph Myers * ja.po, sv.po: Update. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index ec4c0d7..05ea2a7 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,95 @@ +2020-11-18 Roger Sayle + + PR middle-end/85811 + * gcc.dg/pr85811.c: New test. + * gcc.dg/fold-isfinite-1.c: New test. + * gcc.dg/fold-isfinite-2.c: New test. + * gcc.dg/fold-isinf-1.c: New test. + * gcc.dg/fold-isinf-2.c: New test. + * gcc.dg/fold-isnan-1.c: New test. + * gcc.dg/fold-isnan-2.c: New test. + +2020-11-18 Jakub Jelinek + + PR tree-optimization/91029 + PR tree-optimization/97888 + * gcc.dg/pr91029.c: Add comment with PR number. + (f2): Use > 0 rather than >= 0. + * gcc.c-torture/execute/pr97888-1.c: New test. + * gcc.c-torture/execute/pr97888-2.c: New test. + +2020-11-18 David Malcolm + + PR analyzer/97893 + * gcc.dg/analyzer/malloc-1.c: Add CWE-690 and CWE-476 codes to + expected output. + +2020-11-18 Richard Sandiford + + * gcc.dg/vect/bb-slp-pr68892.c: Don't XFAIL the profitability + test for aarch64*-*-*. Allow the "BB vectorization with gaps" + message to be printed more than once. + +2020-11-18 Richard Sandiford + + * gcc.dg/vect/slp-21.c: Expect 4 SLP instances to be vectorized + on arm* and aarch64* targets. + +2020-11-18 Richard Sandiford + + * gcc.dg/vect/fast-math-vect-call-1.c: Only expect SLP to be used + on vect_perm3_int targets. + * gcc.dg/vect/slp-perm-6.c: Likewise. Only XFAIL the LOAD/STORE_LANES + tests on vect_perm3_int targets. + +2020-11-18 Richard Sandiford + + * gcc.dg/vect/vect-epilogues.c: XFAIL test for epilogue loop + vectorization if vect_partial_vectors_usage_2. + +2020-11-18 Richard Sandiford + + * gcc.dg/vect/vect-sdiv-pow2-1.c (main): Add an asm to the + set-up loop. + +2020-11-18 Iain Buclaw + + PR d/97843 + * gdc.dg/torture/pr97843.d: New test. + +2020-11-18 Jakub Jelinek + + PR middle-end/97862 + * c-c++-common/gomp/pr97862.c: New test. + +2020-11-18 Kito Cheng + + * gcc.target/riscv/arch-9.c: New. + * gcc.target/riscv/arch-10.c: Ditto. + * gcc.target/riscv/arch-11.c: Ditto. + * gcc.target/riscv/attribute-6.c: Remove, we don't support G + with version anymore. + * gcc.target/riscv/attribute-8.c: Reorder arch string to fit canonical + ordering. + * gcc.target/riscv/attribute-9.c: We don't emit version for + unknown extensions now. + * gcc.target/riscv/attribute-11.c: Add -misa-spec=2.2 flags. + * gcc.target/riscv/attribute-12.c: Ditto. + * gcc.target/riscv/attribute-13.c: Ditto. + * gcc.target/riscv/attribute-14.c: Ditto. + * gcc.target/riscv/attribute-15.c: New. + * gcc.target/riscv/attribute-16.c: Ditto. + * gcc.target/riscv/attribute-17.c: Ditto. + +2020-11-18 Kito Cheng + + * gcc.target/riscv/arch-8.c: New. + * gcc.target/riscv/attribute-14.c: Ditto. + +2020-11-18 Jiufu Guo + + * gcc.dg/tree-ssa/loopclosedphi.c: New test. + 2020-11-17 Andrew MacLeod * gcc.dg/pr91029.c: New. -- cgit v1.1