aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ChangeLog140
-rw-r--r--gcc/DATESTAMP2
-rw-r--r--gcc/analyzer/ChangeLog46
-rw-r--r--gcc/cp/ChangeLog40
-rw-r--r--gcc/fortran/ChangeLog16
-rw-r--r--gcc/objc/ChangeLog5
-rw-r--r--gcc/objcp/ChangeLog5
-rw-r--r--gcc/testsuite/ChangeLog96
8 files changed, 349 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b9001dd..aeec6b4 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,143 @@
+2021-06-08 Andrew Pinski <apinski@marvell.com>
+
+ PR tree-optimization/25290
+ * tree-ssa-phiopt.c (xor_replacement): Delete.
+ (tree_ssa_phiopt_worker): Delete use of xor_replacement.
+ (match_simplify_replacement): Allow one cheap preparation
+ statement that can be moved to before the if.
+
+2021-06-08 Pat Haugen <pthaugen@linux.ibm.com>
+
+ * config/rs6000/power10.md (power10-fused-load, power10-fused-store,
+ power10-fused_alu, power10-fused-vec, power10-fused-branch): New.
+
+2021-06-08 Jeff Law <jeffreyalaw@gmail.com>
+
+ * config/h8300/logical.md (andqi3_1): Move BCLR case into define_insn_and_split.
+ Create length attribute on define_insn_and_split. Only split for cases which we
+ know will use AND.
+ (andqi3_1<cczn>): Renamed from andqi3_1_clobber_flags. Only handle AND here and
+ fix length computation.
+ (b<code><mode>msx): Combine QImode and HImode H8/SX patterns using iterator.
+
+2021-06-08 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/100923
+ * tree-ssa-sccvn.c (valueize_refs_1): Take a pointer to
+ the operand vector to be valueized.
+ (valueize_refs): Likewise.
+ (valueize_shared_reference_ops_from_ref): Adjust.
+ (valueize_shared_reference_ops_from_call): Likewise.
+ (vn_reference_lookup_3): Likewise.
+ (vn_reference_lookup_pieces): Likewise. Re-valueize
+ with honoring availability when we are about to create
+ the ao_ref and valueized before.
+ (vn_reference_lookup): Likewise.
+ (vn_reference_insert_pieces): Adjust.
+
+2021-06-08 Richard Biener <rguenther@suse.de>
+
+ * tree-vectorizer.h (_slp_instance::root_stmt): Change to...
+ (_slp_instance::root_stmts): ... a vector.
+ (SLP_INSTANCE_ROOT_STMT): Rename to ...
+ (SLP_INSTANCE_ROOT_STMTS): ... this.
+ (slp_root::root): Change to...
+ (slp_root::roots): ... a vector.
+ (slp_root::slp_root): Adjust.
+ * tree-vect-slp.c (_slp_instance::location): Adjust.
+ (vect_free_slp_instance): Release the root stmt vector.
+ (vect_build_slp_instance): Adjust.
+ (vect_analyze_slp): Likewise.
+ (_bb_vec_info::~_bb_vec_info): Likewise.
+ (vect_slp_analyze_operations): Likewise.
+ (vect_bb_vectorization_profitable_p): Likewise. Adjust
+ costs for the root stmt.
+ (vect_slp_check_for_constructors): Gather all BIT_INSERT_EXPRs
+ as root stmts.
+ (vect_slp_analyze_bb_1): Simplify by marking all root stmts
+ as pure_slp.
+ (vectorize_slp_instance_root_stmt): Adjust.
+ (vect_schedule_slp): Likewise.
+
+2021-06-08 Aldy Hernandez <aldyh@redhat.com>
+
+ * gimple-ssa-evrp.c (class ssa_equiv_stack): New.
+ (ssa_equiv_stack::ssa_equiv_stack): New.
+ (ssa_equiv_stack::~ssa_equiv_stack): New.
+ (ssa_equiv_stack::enter): New.
+ (ssa_equiv_stack::leave): New.
+ (ssa_equiv_stack::push_replacement): New.
+ (ssa_equiv_stack::get_replacement): New.
+ (is_pointer_ssa): New.
+ (class pointer_equiv_analyzer): New.
+ (pointer_equiv_analyzer::pointer_equiv_analyzer): New.
+ (pointer_equiv_analyzer::~pointer_equiv_analyzer): New.
+ (pointer_equiv_analyzer::set_global_equiv): New.
+ (pointer_equiv_analyzer::set_cond_equiv): New.
+ (pointer_equiv_analyzer::get_equiv): New.
+ (pointer_equiv_analyzer::enter): New.
+ (pointer_equiv_analyzer::leave): New.
+ (pointer_equiv_analyzer::get_equiv_expr): New.
+ (pta_valueize): New.
+ (pointer_equiv_analyzer::visit_stmt): New.
+ (pointer_equiv_analyzer::visit_edge): New.
+ (hybrid_folder::value_of_expr): Call PTA.
+ (hybrid_folder::value_on_edge): Same.
+ (hybrid_folder::pre_fold_bb): New.
+ (hybrid_folder::post_fold_bb): New.
+ (hybrid_folder::pre_fold_stmt): New.
+ (rvrp_folder::pre_fold_bb): New.
+ (rvrp_folder::post_fold_bb): New.
+ (rvrp_folder::pre_fold_stmt): New.
+ (rvrp_folder::value_of_expr): Call PTA.
+ (rvrp_folder::value_on_edge): Same.
+
+2021-06-08 Jakub Jelinek <jakub@redhat.com>
+
+ PR c++/100957
+ * tree-inline.c (copy_tree_body_r): For OMP_CLAUSE_DEPEND don't
+ check TREE_CODE if OMP_CLAUSE_DECL is NULL.
+
+2021-06-08 Richard Biener <rguenther@suse.de>
+
+ PR middle-end/100951
+ * tree-vect-generic.c (expand_vector_piecewise): Build a
+ VECTOR_CST if all elements are constant.
+ (expand_vector_condition): Likewise.
+ (lower_vec_perm): Likewise.
+ (expand_vector_conversion): Likewise.
+
+2021-06-08 Martin Liska <mliska@suse.cz>
+
+ * doc/invoke.texi: Document new param evrp-sparse-threshold.
+
+2021-06-08 Martin Liska <mliska@suse.cz>
+
+ * genautomata.c (create_automata): Fix typo.
+
+2021-06-08 Kewen Lin <linkw@linux.ibm.com>
+
+ PR tree-optimization/100794
+ * tree-predcom.c (tree_predictive_commoning_loop): Add parameter
+ allow_unroll_p and only allow unrolling when it's true.
+ (tree_predictive_commoning): Add parameter allow_unroll_p and
+ adjust for it.
+ (run_tree_predictive_commoning): Likewise.
+ (pass_predcom::gate): Check flag_tree_loop_vectorize and
+ global_options_set.x_flag_predictive_commoning.
+ (pass_predcom::execute): Adjust for allow_unroll_p.
+
+2021-06-08 Kewen Lin <linkw@linux.ibm.com>
+
+ * tree-predcom.c (execute_pred_commoning): Remove update_ssa call.
+ (tree_predictive_commoning_loop): Factor some cleanup stuffs into
+ lambda function cleanup, remove scev_reset call, and adjust return
+ value.
+ (tree_predictive_commoning): Adjust for different changed values,
+ only set flag TODO_update_ssa_only_virtuals if changed.
+ (pass_data pass_data_predcom): Remove TODO_update_ssa_only_virtuals
+ from todo_flags_finish.
+
2021-06-07 Andrew MacLeod <amacleod@redhat.com>
* gimple-range-cache.cc (class sbr_sparse_bitmap): New.
diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 504c3fa..217a880 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20210608
+20210609
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog
index 838d5f1..c3a3d39 100644
--- a/gcc/analyzer/ChangeLog
+++ b/gcc/analyzer/ChangeLog
@@ -1,3 +1,49 @@
+2021-06-08 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/99212
+ * region-model-manager.cc
+ (region_model_manager::maybe_fold_binop): Add support for folding
+ BIT_AND_EXPR of compound_svalue and a mask constant.
+ * region-model.cc (region_model::get_rvalue_1): Implement
+ BIT_FIELD_REF in terms of...
+ (region_model::get_rvalue_for_bits): New function.
+ * region-model.h (region_model::get_rvalue_for_bits): New decl.
+ * store.cc (bit_range::from_mask): New function.
+ (selftest::test_bit_range_intersects_p): New selftest.
+ (selftest::assert_bit_range_from_mask_eq): New.
+ (ASSERT_BIT_RANGE_FROM_MASK_EQ): New macro.
+ (selftest::assert_no_bit_range_from_mask_eq): New.
+ (ASSERT_NO_BIT_RANGE_FROM_MASK): New macro.
+ (selftest::test_bit_range_from_mask): New selftest.
+ (selftest::analyzer_store_cc_tests): Call the new selftests.
+ * store.h (bit_range::intersects_p): New.
+ (bit_range::from_mask): New decl.
+ (concrete_binding::get_bit_range): New accessor.
+ (store_manager::get_concrete_binding): New overload taking
+ const bit_range &.
+
+2021-06-08 David Malcolm <dmalcolm@redhat.com>
+
+ * analyzer.h (int_size_in_bits): New decl.
+ * region.cc (int_size_in_bits): New function.
+ (region::get_bit_size): Reimplement in terms of the above.
+
+2021-06-08 David Malcolm <dmalcolm@redhat.com>
+
+ * store.cc (concrete_binding::dump_to_pp): Move bulk of
+ implementation to...
+ (bit_range::dump_to_pp): ...this new function.
+ (bit_range::cmp): New.
+ (concrete_binding::overlaps_p): Update for use of bit_range.
+ (concrete_binding::cmp_ptr_ptr): Likewise.
+ * store.h (struct bit_range): New.
+ (class concrete_binding): Replace fields m_start_bit_offset and
+ m_size_in_bits with new field m_bit_range.
+
+2021-06-08 David Malcolm <dmalcolm@redhat.com>
+
+ * svalue.h (conjured_svalue::iterator_t): Delete.
+
2021-06-03 David Malcolm <dmalcolm@redhat.com>
* store.h (store::get_direct_binding): Remove unused decl.
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 225b8917..5a97fc8 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,43 @@
+2021-06-08 Marek Polacek <polacek@redhat.com>
+
+ PR c++/100065
+ * decl.c (grokdeclarator): Store a value-dependent
+ explicit-specifier even for deduction guides.
+
+2021-06-08 Jason Merrill <jason@redhat.com>
+
+ * parser.c (cp_parser_string_literal): Adjust diagnostic.
+
+2021-06-08 Jason Merrill <jason@redhat.com>
+
+ PR c++/100963
+ * call.c (perfect_conversion_p): Check check_narrowing.
+
+2021-06-08 Jason Merrill <jason@redhat.com>
+
+ PR c++/91706
+ * name-lookup.c (get_class_binding): Keep a BASELINK.
+ (set_inherited_value_binding_p): Adjust.
+ * lambda.c (is_lambda_ignored_entity): Adjust.
+ * pt.c (lookup_template_function): Copy a BASELINK before
+ modifying it.
+
+2021-06-08 Jason Merrill <jason@redhat.com>
+
+ PR c++/91706
+ * semantics.c (baselink_for_fns): Fix BASELINK_BINFO.
+
+2021-06-08 Jason Merrill <jason@redhat.com>
+
+ * module.cc (duplicate_hash::hash): Comment out.
+ (trees_in::tree_value): Adjust loop counter.
+
+2021-06-08 Jason Merrill <jason@redhat.com>
+
+ PR c++/100102
+ * init.c (build_offset_ref): Return the BASELINK for a static
+ member function.
+
2021-06-07 Patrick Palka <ppalka@redhat.com>
PR c++/100918
diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index 12b932f..554afaa 100644
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,19 @@
+2021-06-08 Tobias Burnus <tobias@codesourcery.com>
+
+ PR middle-end/99928
+ * trans-openmp.c (gfc_add_clause_implicitly): New.
+ (gfc_split_omp_clauses): Use it.
+ (gfc_free_split_omp_clauses): New.
+ (gfc_trans_omp_do_simd, gfc_trans_omp_parallel_do,
+ gfc_trans_omp_parallel_do_simd, gfc_trans_omp_distribute,
+ gfc_trans_omp_teams, gfc_trans_omp_target, gfc_trans_omp_taskloop,
+ gfc_trans_omp_master_taskloop, gfc_trans_omp_parallel_master): Use it.
+
+2021-06-08 Martin Liska <mliska@suse.cz>
+
+ * intrinsic.texi: Fix typo.
+ * trans-expr.c (gfc_trans_pointer_assignment): Likewise.
+
2021-06-05 José Rui Faustino de Sousa <jrfsousa@gmail.com>
PR fortran/100120
diff --git a/gcc/objc/ChangeLog b/gcc/objc/ChangeLog
index 6a3d66e..693146d 100644
--- a/gcc/objc/ChangeLog
+++ b/gcc/objc/ChangeLog
@@ -1,3 +1,8 @@
+2021-06-08 Bernd Edlinger <bernd.edlinger@hotmail.de>
+
+ * Make-lang.in (cc1-obj-checksum.c): Check previous
+ stage checksum exists.
+
2021-06-07 Bernd Edlinger <bernd.edlinger@softing.com>
* Make-lang.in (cc1obj-checksum.c): For stage-final re-use
diff --git a/gcc/objcp/ChangeLog b/gcc/objcp/ChangeLog
index f3ef33a..5e6802d 100644
--- a/gcc/objcp/ChangeLog
+++ b/gcc/objcp/ChangeLog
@@ -1,3 +1,8 @@
+2021-06-08 Bernd Edlinger <bernd.edlinger@hotmail.de>
+
+ * Make-lang.in (cc1objplus-checksum.c): Check previous
+ stage checksum exists.
+
2021-06-07 Bernd Edlinger <bernd.edlinger@softing.com>
* Make-lang.in (cc1objplus-checksum.c): For stage-final re-use
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 272bad0..640fcbe 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,99 @@
+2021-06-08 Marek Polacek <polacek@redhat.com>
+
+ PR c++/100065
+ * g++.dg/cpp2a/explicit18.C: New test.
+
+2021-06-08 Andrew Pinski <apinski@marvell.com>
+
+ * gcc.dg/tree-ssa/pr96928-1.c: Fix testcase for now that ~
+ happens on the outside of the bit_xor.
+
+2021-06-08 Jason Merrill <jason@redhat.com>
+
+ * g++.dg/cpp0x/pr60209-neg.C: Update diagnostic.
+ * g++.dg/diagnostic/string-literal-concat.C: Likewise.
+ * g++.dg/ext/utf-badconcat.C: Likewise.
+ * g++.dg/ext/utf-badconcat2.C: Likewise.
+
+2021-06-08 Jason Merrill <jason@redhat.com>
+
+ * g++.dg/cpp23/mixed-concat1.C: New test.
+
+2021-06-08 Jason Merrill <jason@redhat.com>
+
+ * g++.dg/cpp23/whitespace-splice1.C: New test.
+
+2021-06-08 Jason Merrill <jason@redhat.com>
+
+ * g++.dg/cpp23/narrowing-bool1.C: New test.
+
+2021-06-08 David Malcolm <dmalcolm@redhat.com>
+
+ PR analyzer/99212
+ * gcc.dg/analyzer/bitfields-1.c: New test.
+ * gcc.dg/analyzer/data-model-1.c (struct sbits): Make bitfields
+ explicitly signed.
+ (test_44): Update test values assigned to the bits to ones that
+ fit in the range of the bitfield type. Remove xfails.
+ (test_45): Remove xfails.
+
+2021-06-08 Jason Merrill <jason@redhat.com>
+
+ PR c++/100963
+ * g++.dg/cpp0x/initlist124.C: New test.
+
+2021-06-08 Richard Biener <rguenther@suse.de>
+
+ PR tree-optimization/100923
+ * gcc.dg/torture/pr100923.c: New testcase.
+
+2021-06-08 Jakub Jelinek <jakub@redhat.com>
+
+ PR c++/100957
+ * g++.dg/gomp/doacross-2.C: New test.
+
+2021-06-08 H.J. Lu <hjl.tools@gmail.com>
+
+ PR middle-end/100951
+ * gcc.target/i386/pr100951.c: New test.
+
+2021-06-08 Jakub Jelinek <jakub@redhat.com>
+
+ PR target/100887
+ PR testsuite/100943
+ * gcc.dg/pr100887.c: Add -Wno-psabi -w to dg-options.
+
+2021-06-08 Tobias Burnus <tobias@codesourcery.com>
+
+ PR middle-end/99928
+ * gfortran.dg/gomp/openmp-simd-6.f90: Update scan-tree-dump.
+ * gfortran.dg/gomp/scan-5.f90: Likewise.
+ * gfortran.dg/gomp/loop-1.f90: Likewise; remove xfail.
+ * gfortran.dg/gomp/pr99928-1.f90: Remove xfail.
+ * gfortran.dg/gomp/pr99928-2.f90: Likewise.
+ * gfortran.dg/gomp/pr99928-3.f90: Likewise.
+ * gfortran.dg/gomp/pr99928-8.f90: Likewise.
+
+2021-06-08 Martin Liska <mliska@suse.cz>
+
+ * gcc.dg/format/strfmon-1.c: Fix typo.
+ * gfortran.dg/char4-subscript.f90: Likewise.
+
+2021-06-08 Kewen Lin <linkw@linux.ibm.com>
+
+ PR tree-optimization/100794
+ * gcc.dg/tree-ssa/pr100794.c: New test.
+
+2021-06-08 Jason Merrill <jason@redhat.com>
+
+ PR c++/91706
+ * g++.dg/template/lookup17.C: New test.
+
+2021-06-08 Jason Merrill <jason@redhat.com>
+
+ PR c++/100102
+ * g++.dg/cpp0x/alias-decl-73.C: New test.
+
2021-06-07 Uroš Bizjak <ubizjak@gmail.com>
PR target/100637