1. 04 Dec, 2019 16 commits
    • * cp-gimplify.c: Include tm_p.h. · f30025bb
      From-SVN: r278975
      David Edelsohn committed
    • Use fixed registers for queue ptr sgpr pair · 26335606
      	gcc/
      	* config/gcn/gcn.h (FIXED_REGISTERS): Make s6/s7 fixed registers.
      
      From-SVN: r278974
      Julian Brown committed
    • Do not define builtins that overload disabled builtins. · 25ffd3d3
      	PR bootstrap/92661
      	* config/rs6000/rs6000-c.c (struct altivec_builtin_types): Move to
      	rs6000.h.
      	(altivec_overloaded_builtins): Move to rs6000-call.c.
      	* config/rs6000/rs6000.h (struct altivec_builtin_types): Moved from
      	rs6000-c.c.
      	* config/rs6000/rs6000-call.c (rs6000_builtin_info): Make static.
      	(altivec_overloaded_builtins): Moved from rs6000-c.c.
      	(rs6000_common_init_builtins): Do no define builtins that overload
      	builtins that have been disabled.
      
      From-SVN: r278973
      Peter Bergner committed
    • [ARM] Improve max_cond_insns setting for Cortex cores · b3e3b900
      To enable cores to use the correct max_cond_insns setting, use the core-specific
      tuning when a CPU/tune is selected unless -mrestrict-it is explicitly set.
      
      On Cortex-A57 this gives 1.1% performance gain on SPECINT2006 as well as a
      0.4% codesize reduction.
      
          gcc/
      	* config/arm/arm.c (arm_option_override_internal):
      	Use max_cond_insns from CPU tuning unless -mrestrict-it is used.
      
      From-SVN: r278968
      Wilco Dijkstra committed
    • Remove stray comma in primary_constraint_error. · 09a214ac
      	* parser.c (enum primary_constraint_error): Remove stray comma.
      
      From-SVN: r278967
      Marek Polacek committed
    • [AArch64] Add support for fused compare and branch · a4f3fa71
      Add support for fused compare with branch.  Rename the existing
      AARCH64_FUSE_CMP_BRANCH to ALU_BRANCH, and AARCH64_FUSE_ALU_BRANCH
      to ALU_CBZ to make it clear what is being fused.
      
          gcc/
      	* config/aarch64/aarch64.c
      	(thunderxt88_tunings): Use AARCH64_FUSE_ALU_BRANCH.
      	(thunderx_tunings): Likewise.
      	(tsv110_tunings): Use AARCH64_FUSE_ALU_BRANCH and AARCH64_FUSE_ALU_CBZ.
      	(thunderx2t99_tunings): Likewise.
      	(aarch_macro_fusion_pair_p): Add support for AARCH64_FUSE_CMP_BRANCH.
      	* config/aarch64/aarch64-fusion-pairs.def: Add ALU_CBZ fusion.
      
      From-SVN: r278966
      Wilco Dijkstra committed
    • tree-ssa-sccvn.c (vn_reference_lookup_3): Properly guard empty CTOR and memset… · 6d8d58a8
      tree-ssa-sccvn.c (vn_reference_lookup_3): Properly guard empty CTOR and memset partial-def registering.
      
      2019-12-04  Richard Biener  <rguenther@suse.de>
      
      	* tree-ssa-sccvn.c (vn_reference_lookup_3): Properly guard
      	empty CTOR and memset partial-def registering.  Take advantage
      	of fancy offset analysis in memset handling.
      
      From-SVN: r278965
      Richard Biener committed
    • Fix VIEW_CONVERT_EXPRs for VECTOR_BOOLEAN_TYPE_Ps · 7b86aaf4
      In r278410 I added code to handle VIEW_CONVERT_EXPRs between
      variable-length vectors.  This included support for decoding
      a VECTOR_BOOLEAN_TYPE_P with subbyte elements.
      
      However, it turns out that we were already mishandling such bool vectors
      for fixed-length vectors: we treated each element as a stand-alone byte
      instead of putting multiple elements into the same byte.  I think in
      principle this could have been an issue for AVX512 as well.
      
      This patch adds encoding support for boolean vectors and reuses
      a version of the new decode support for fixed-length vectors.
      
      2019-12-04  Richard Sandiford  <richard.sandiford@arm.com>
      
      gcc/
      	* fold-const.c (native_encode_vector_part): Handle
      	VECTOR_BOOLEAN_TYPE_Ps that have subbyte precision.
      	(native_decode_vector_tree): Delete, moving the bulk of the code to...
      	(native_interpret_vector_part): ...this new function.  Use a pointer
      	and length instead of a vec<> and start index.
      	(native_interpret_vector): Use native_interpret_vector_part.
      	(fold_view_convert_vector_encoding): Likewise.
      
      gcc/testsuite/
      	* gcc.target/aarch64/sve/acle/general/whilelt_5.c: New test.
      
      From-SVN: r278964
      Richard Sandiford committed
    • tree-ssa-sccvn.c (vn_walk_cb_data::push_partial_def): Handle non-constant defs… · 0849cdae
      tree-ssa-sccvn.c (vn_walk_cb_data::push_partial_def): Handle non-constant defs in the most trivial way.
      
      2019-12-04  Richard Biener  <rguenther@suse.de>
      
      	* tree-ssa-sccvn.c (vn_walk_cb_data::push_partial_def): Handle
      	non-constant defs in the most trivial way.
      	(vn_reference_lookup_3): Also push down SSA partial defs.
      
      	* gcc.dg/tree-ssa/ssa-fre-84.c: New testcase.
      
      From-SVN: r278963
      Richard Biener committed
    • Fortran] PR92754 - fix an issue with resolving intrinsic functions · 394acee4
              gcc/fortran/
              PR fortran/92754
              * intrinsic.c (gfc_intrinsic_func_interface): Set
              sym's flavor, intrinsic and function attribute if
              unset.
      
              gcc/testsuite/
              PR fortran/92754
              gfortran.dg/intrinsic_9.f90: New.
      
      From-SVN: r278961
      Tobias Burnus committed
    • Initialize a BB count in switch lowering. · 8c3785c4
      2019-12-04  Martin Liska  <mliska@suse.cz>
      
      	* tree-switch-conversion.c (switch_decision_tree::try_switch_expansion):
      	Initialize count of newly created BB.
      
      From-SVN: r278959
      Martin Liska committed
    • re PR tree-optimization/92734 (Missing match.pd simplification done by fold_binary_loc on generic) · 526b4c71
      	PR tree-optimization/92734
      	* match.pd ((A +- B) - A -> +- B, (A +- B) -+ B -> A,
      	A - (A +- B) -> -+ B, A +- (B -+ A) -> +- B): Handle nop_convert.
      
      	* gcc.dg/tree-ssa/pr92734-2.c: New test.
      
      From-SVN: r278958
      Jakub Jelinek committed
    • [C++] Opt out of GNU vector extensions for built-in SVE types · 6f1e9668
      This is the C++ equivalent of r277950.  The changes are very similar
      to there.  Perhaps the only noteworthy thing (that I know of) is that
      the patch continues to treat !gnu_vector_type_p vector types as literal
      types/potential constexprs.  Disabling the GNU vector extensions
      shouldn't in itself stop the types from being literal types, since
      whatever the target provides instead might be constexpr material.
      
      2019-12-04  Richard Sandiford  <richard.sandiford@arm.com>
      
      gcc/cp/
      	* cp-tree.h (CP_AGGREGATE_TYPE_P): Check for gnu_vector_type_p
      	instead of VECTOR_TYPE.
      	* call.c (build_conditional_expr_1): Restrict vector handling
      	to vectors that satisfy gnu_vector_type_p.
      	* cvt.c (ocp_convert): Only allow vectors to be converted
      	to bool if they satisfy gnu_vector_type_p.
      	(build_expr_type_conversion): Only allow conversions from
      	vectors if they satisfy gnu_vector_type_p.
      	* typeck.c (cp_build_binary_op): Only allow binary operators to be
      	applied to vectors if they satisfy gnu_vector_type_p.
      	(cp_build_unary_op): Likewise unary operators.
      	(build_reinterpret_cast_1):
      
      gcc/testsuite/
      	* g++.target/aarch64/sve/acle/general-c++/gnu_vectors_1.C: New test.
      	* g++.target/aarch64/sve/acle/general-c++/gnu_vectors_2.C: New test.
      
      From-SVN: r278957
      Richard Sandiford committed
    • re PR fortran/92756 (ICE in lower_omp, at omp-low.c:12988) · a8a5f4cc
      	PR fortran/92756
      	* trans-openmp.c (gfc_trans_omp_teams): Wrap OMP_TEAMS body into a
      	BIND_EXPR with a forced BLOCK.
      
      	* gfortran.dg/gomp/teams1.f90: New test.
      
      	* testsuite/libgomp.fortran/teams1.f90: New test.
      	* testsuite/libgomp.fortran/teams2.f90: New test.
      
      From-SVN: r278956
      Jakub Jelinek committed
    • [rs6000] Fix PR92760 by checking VECTOR_MEM_NONE_P instead · c96828f1
      PR92760 exposed one issue that VECTOR_UNIT_NONE_P (V2DImode) is true on Power7
      then we won't return it as preferred_simd_mode but ISA 2.06 (Power7) does
      introduce partial support on vector doubleword (very limitted) and more basic
      support origins from ISA 2.07 (Power8) though.  To make vectorizer still
      leverage those few but available V2DImode related instructions, we need to
      claim it's available on VSX (Power7 and up).
      
      gcc/ChangeLog
      
          PR target/92760
          * gcc/config/rs6000/rs6000.c (rs6000_preferred_simd_mode): Use
          VECTOR_MEM_NONE_P instead of VECTOR_UNIT_NONE_P.
      
      From-SVN: r278955
      Kewen Lin committed
    • Daily bump. · b0e83d70
      From-SVN: r278954
      GCC Administrator committed
  2. 03 Dec, 2019 24 commits
    • libstdc++: Implement spaceship for std::pair (P1614R2) · 7f397e45
      This defines operator<=> as a non-member function template and does not
      alter operator==. This contradicts the changes made by P1614R2, which
      specify both as hidden friends, but that specification of operator<=> is
      broken and the subject of a soon-to-be-published LWG issue.
      
      	* include/bits/stl_pair.h [__cpp_lib_three_way_comparison]
      	(operator<=>): Define for C++20.
      	* libsupc++/compare (__cmp2way_res_t): Rename to __cmp3way_res_t,
      	move into __detail namespace. Do not turn argument types into lvalues.
      	(__cmp3way_helper): Rename to __cmp3way_res_impl, move into __detail
      	namespace. Constrain with concepts instead of using void_t.
      	(compare_three_way_result): Adjust name of base class.
      	(compare_three_way_result_t): Use __cmp3way_res_impl directly.
      	(__detail::__3way_cmp_with): Add workaround for PR 91073.
      	(compare_three_way): Use workaround.
      	(__detail::__synth3way, __detail::__synth3way_t): Define new helpers
      	implementing synth-three-way and synth-three-way-result semantics.
      	* testsuite/20_util/pair/comparison_operators/constexpr_c++20.cc: New
      	test.
      
      From-SVN: r278951
      Jonathan Wakely committed
    • libstdc++: Fix Doxygen markup error · 6fb3d28f
      	* include/bits/stl_pair.h (pair): Remove stray Doxygen closing marker.
      
      From-SVN: r278950
      Jonathan Wakely committed
    • cp-tree.h (enum cp_tree_index): Add CPTI_SOURCE_LOCATION_IMPL. · ff603745
      	* cp-tree.h (enum cp_tree_index): Add CPTI_SOURCE_LOCATION_IMPL.
      	(source_location_impl): Define.
      	(enum cp_built_in_function): Add CP_BUILT_IN_SOURCE_LOCATION.
      	(fold_builtin_source_location): Declare.
      	* cp-gimplify.c: Include output.h, file-prefix-map.h and cgraph.h.
      	(cp_gimplify_expr, cp_fold): Handle CP_BUILT_IN_SOURCE_LOCATION.
      	Formatting fix.
      	(get_source_location_impl_type): New function.
      	(struct source_location_table_entry,
      	struct source_location_table_entry_hash): New types.
      	(source_location_table, source_location_id): New variables.
      	(fold_builtin_source_location): New function.
      	* constexpr.c (cxx_eval_builtin_function_call): Handle
      	CP_BUILT_IN_SOURCE_LOCATION.
      	* tree.c (builtin_valid_in_constant_expr_p): Likewise.  Formatting
      	fix.
      	* decl.c (cxx_init_decl_processing): Register
      	__builtin_source_location.
      	* name-lookup.c (get_std_name_hint): Add source_location entry.
      
      	* g++.dg/cpp2a/srcloc1.C: New test.
      	* g++.dg/cpp2a/srcloc2.C: New test.
      	* g++.dg/cpp2a/srcloc3.C: New test.
      	* g++.dg/cpp2a/srcloc4.C: New test.
      	* g++.dg/cpp2a/srcloc5.C: New test.
      	* g++.dg/cpp2a/srcloc6.C: New test.
      	* g++.dg/cpp2a/srcloc7.C: New test.
      	* g++.dg/cpp2a/srcloc8.C: New test.
      	* g++.dg/cpp2a/srcloc9.C: New test.
      	* g++.dg/cpp2a/srcloc10.C: New test.
      	* g++.dg/cpp2a/srcloc11.C: New test.
      	* g++.dg/cpp2a/srcloc12.C: New test.
      	* g++.dg/cpp2a/srcloc13.C: New test.
      	* g++.dg/cpp2a/srcloc14.C: New test.
      
      From-SVN: r278949
      Jakub Jelinek committed
    • re PR bootstrap/92783 (SEGV in field_byte_offset) · dd2a16c7
      	PR bootstrap/92783
      	* gcc-interface/utils.c (rest_of_record_type_compilation): Move down
      	the guard for the position of fields in the descriptive type.
      
      From-SVN: r278948
      Eric Botcazou committed
    • typeck.c (cp_build_addr_expr_1): Use the cp_expr_loc_or_input_loc location in a… · 34dda804
      typeck.c (cp_build_addr_expr_1): Use the cp_expr_loc_or_input_loc location in a few additional diagnostics; tidy.
      
      /cp
      2019-12-03  Paolo Carlini  <paolo.carlini@oracle.com>
      
      	* typeck.c (cp_build_addr_expr_1): Use the cp_expr_loc_or_input_loc
      	location in a few additional diagnostics; tidy.
      	(check_return_expr): Likewise.
      
      	* typeck.c (cp_build_addr_expr_1): Use tree_strip_any_location_wrapper
      	for the address of main pedwarn.
      
      /testsuite
      2019-12-03  Paolo Carlini  <paolo.carlini@oracle.com>
      
      	* g++.dg/diagnostic/inconsistent-deduction-1.C: New.
      	* g++.dg/diagnostic/returning-a-value-1.C: Likewise.
      	* g++.dg/cpp0x/decltype3.C: Check location(s) too.
      	* g++.dg/cpp0x/decltype4.C: Likewise.
      	* g++.dg/cpp0x/lambda/lambda-deduce-ext-neg.C: Likewise.
      	* g++.dg/cpp2a/consteval13.C: Likewise.
      	* g++.dg/expr/pmf-1.C: Likewise.
      	* g++.dg/other/ptrmem2.C: Likewise.
      	* g++.dg/template/ptrmem17.C: Likewise.
      	* g++.old-deja/g++.bugs/900213_03.C: Likewise.
      	* g++.old-deja/g++.other/pmf7.C: Likewise.
      	* g++.old-deja/g++.other/ptrmem7.C: Likewise.
      
      	* g++.dg/diagnostic/main2.C: New.
      
      From-SVN: r278947
      Paolo Carlini committed
    • ipa-fnsummary.c: Include tree-into-ssa.h. · ac0573de
      
      
      	* ipa-fnsummary.c: Include tree-into-ssa.h.
      	(compute_fn_summary): Call update_ssa.
      
      From-SVN: r278946
      Jan Hubicka committed
    • re PR c++/91369 (Implement P0784R7: constexpr new) · ee1de08d
      	PR c++/91369
      	* constexpr.c (struct constexpr_global_ctx): Add cleanups member,
      	initialize it in the ctor.
      	(cxx_eval_constant_expression) <case TARGET_EXPR>: If TARGET_EXPR_SLOT
      	is already in the values hash_map, don't evaluate it again.  Put
      	TARGET_EXPR_SLOT into hash_map even if not lval, and push it into
      	save_exprs too.  If there is TARGET_EXPR_CLEANUP and not
      	CLEANUP_EH_ONLY, push the cleanup to cleanups vector.
      	<case CLEANUP_POINT_EXPR>: Save outer cleanups, set cleanups to
      	local auto_vec, after evaluating the body evaluate cleanups and
      	restore previous cleanups.
      	<case TRY_CATCH_EXPR>: Don't crash if the first operand is NULL_TREE.
      	(cxx_eval_outermost_constant_expr): Set cleanups to local auto_vec,
      	after evaluating the expression evaluate cleanups.
      
      	* g++.dg/cpp2a/constexpr-new8.C: New test.
      
      From-SVN: r278945
      Jakub Jelinek committed
    • Clear calls_comdat_local when comdat group is dissolved · 21cd8589
      while looking into Firefox inlining dumps I noticed that we often do not
      inline because we think function calls comdat local while the comdat group
      itself has been dissolved.
      
      	* cgraph.c (cgraph_node::verify_node): Check that calls_comdat_local
      	is set only for symbol in comdat group.
      	* symtab.c (symtab_node::dissolve_same_comdat_group_1): Clear it.
      
      From-SVN: r278944
      Jan Hubicka committed
    • Do not update SSA in lto-stremaer-in · 4f75f97b
      	* cgraph.c: Include tree-into-ssa.h
      	(cgraph_node::get_body): Call update_ssa.
      	* cgraphunit.c (cgraph_node::expand): Likewise.
      	* lto-streamer-in.c (input_function): Do not call update_ssa.
      
      From-SVN: r278943
      Jan Hubicka committed
    • Don't install unnecessary ARRAY_REF element sizes · bd8a2482
      Even EXACT_DIV_EXPR doesn't distribute across addition for wrapping
      types, so in general we can't fold EXACT_DIV_EXPRs of POLY_INT_CSTs
      at compile time.  This was causing an ICE when trying to gimplify the
      element size field in an ARRAY_REF.
      
      If the result of that EXACT_DIV_EXPR is an invariant, we don't bother
      recording it in the ARRAY_REF and simply read the element size from the
      element type.  This avoids the overhead of doing:
      
            /* ??? tree_ssa_useless_type_conversion will eliminate casts to
      	 sizetype from another type of the same width and signedness.  */
            if (TREE_TYPE (aligned_size) != sizetype)
      	aligned_size = fold_convert_loc (loc, sizetype, aligned_size);
            return size_binop_loc (loc, MULT_EXPR, aligned_size,
      			     size_int (TYPE_ALIGN_UNIT (elmt_type)));
      
      each time array_ref_element_size is called.
      
      So rather than read array_ref_element_size, do some arithmetic on it,
      and only then check whether the result is an invariant, we might as
      well check whether the element size is an invariant to start with.
      We're then directly testing whether array_ref_element_size gives
      a reusable value.
      
      For consistency, the patch makes the same change for the offset field
      in a COMPONENT_REF, although I don't think that can trigger yet.
      
      2019-12-03  Richard Sandiford  <richard.sandiford@arm.com>
      
      gcc/
      	* gimplify.c (gimplify_compound_lval): Don't gimplify and install
      	an array element size if array_element_size is already an invariant.
      	Similarly don't gimplify and install a field offset if
      	component_ref_field_offset is already an invariant.
      
      gcc/testsuite/
      	* gcc.target/aarch64/sve/acle/general-c/struct_1.c: New test.
      
      From-SVN: r278942
      Richard Sandiford committed
    • Mark constant-sized objects as addressable if they have poly-int accesses · 2c98350f
      If SVE code is written for a specific vector length, it might load from
      or store to fixed-sized objects.  This needs to work even without
      -msve-vector-bits=N (which should never be needed for correctness).
      
      There's no way of handling a direct poly-int sized reference to a
      fixed-size register; it would have to go via memory.  And in that
      case it's more efficient to mark the fixed-size object as
      addressable from the outset, like we do for array references
      with non-constant indices.
      
      2019-12-03  Richard Sandiford  <richard.sandiford@arm.com>
      
      gcc/
      	* cfgexpand.c (discover_nonconstant_array_refs_r): If an access
      	with POLY_INT_CST size is made to a fixed-size object, force the
      	object to live in memory.
      
      gcc/testsuite/
      	* gcc.target/aarch64/sve/acle/general/deref_1.c: New test.
      
      From-SVN: r278941
      Richard Sandiford committed
    • Add missing amdgcn vcondu patterns · e93b5262
      2019-12-03  Andrew Stubbs  <ams@codesourcery.com>
      
      	gcc/
      	* config/gcn/gcn-valu.md: Change "vcondu" patterns to use VEC_1REG_MODE
      	for the data mode.
      
      From-SVN: r278940
      Andrew Stubbs committed
    • PR c++/91363 - P0960R3: Parenthesized initialization of aggregates. · 43aae289
      This patch implements C++20 P0960R3: Parenthesized initialization of aggregates
      (<wg21.link/p0960>; see R0 for more background info).  Essentially, if you have
      an aggregate, you can now initialize it by (x, y), similarly to {x, y}.  E.g.
      
        struct A {
          int x, y;
          // no A(int, int) ctor (see paren-init14.C for = delete; case)
        };
        A a(1, 2);
      
      The difference between ()-init and {}-init is that narrowing conversions are
      permitted, designators are not permitted, a temporary object bound to
      a reference does not have its lifetime extended, and there is no brace elision.
      Further, things like
      
        int a[](1, 2, 3); // will deduce the array size
        const A& r(1, 2.3, 3); // narrowing is OK
        int (&&rr)[](1, 2, 3);
        int b[3](1, 2); // b[2] will be value-initialized
      
      now work as expected.  Note that
      
        char f[]("fluff");
      
      has always worked and this patch keeps it that way.  Also note that A a((1, 2))
      is not the same as A a{{1,2}}; the inner (1, 2) remains a COMPOUND_EXPR.
      
      The approach I took was to handle (1, 2) similarly to {1, 2} -- conjure up
      a CONSTRUCTOR, and introduce LOOKUP_AGGREGATE_PAREN_INIT to distinguish
      between the two.  This kind of initialization is only supported in C++20;
      I've made no attempt to support it in earlier standards, like we don't
      support CTAD pre-C++17, for instance.
      
      	* c-cppbuiltin.c (c_cpp_builtins): Predefine
      	__cpp_aggregate_paren_init=201902 for -std=c++2a.
      
      	* call.c (build_new_method_call_1): Handle parenthesized initialization
      	of aggregates by building up a CONSTRUCTOR.
      	(extend_ref_init_temps): Do nothing for CONSTRUCTOR_IS_PAREN_INIT.
      	* cp-tree.h (CONSTRUCTOR_IS_PAREN_INIT, LOOKUP_AGGREGATE_PAREN_INIT):
      	Define.
      	* decl.c (grok_reference_init): Handle aggregate initialization from
      	a parenthesized list of values.
      	(reshape_init): Do nothing for CONSTRUCTOR_IS_PAREN_INIT.
      	(check_initializer): Handle initialization of an array from a
      	parenthesized list of values.  Use NULL_TREE instead of NULL.
      	* tree.c (build_cplus_new): Handle BRACE_ENCLOSED_INITIALIZER_P.
      	* typeck2.c (digest_init_r): Set LOOKUP_AGGREGATE_PAREN_INIT if it
      	receives a CONSTRUCTOR with CONSTRUCTOR_IS_PAREN_INIT set.  Allow
      	narrowing when LOOKUP_AGGREGATE_PAREN_INIT.
      	(massage_init_elt): Don't lose LOOKUP_AGGREGATE_PAREN_INIT when passing
      	flags to digest_init_r.
      
      	* g++.dg/cpp0x/constexpr-99.C: Only expect an error in C++17 and
      	lesser.
      	* g++.dg/cpp0x/explicit7.C: Likewise.
      	* g++.dg/cpp0x/initlist12.C: Adjust dg-error.
      	* g++.dg/cpp0x/pr31437.C: Likewise.
      	* g++.dg/cpp2a/feat-cxx2a.C: Add __cpp_aggregate_paren_init test.
      	* g++.dg/cpp2a/paren-init1.C: New test.
      	* g++.dg/cpp2a/paren-init10.C: New test.
      	* g++.dg/cpp2a/paren-init11.C: New test.
      	* g++.dg/cpp2a/paren-init12.C: New test.
      	* g++.dg/cpp2a/paren-init13.C: New test.
      	* g++.dg/cpp2a/paren-init14.C: New test.
      	* g++.dg/cpp2a/paren-init15.C: New test.
      	* g++.dg/cpp2a/paren-init16.C: New test.
      	* g++.dg/cpp2a/paren-init17.C: New test.
      	* g++.dg/cpp2a/paren-init18.C: New test.
      	* g++.dg/cpp2a/paren-init19.C: New test.
      	* g++.dg/cpp2a/paren-init2.C: New test.
      	* g++.dg/cpp2a/paren-init3.C: New test.
      	* g++.dg/cpp2a/paren-init4.C: New test.
      	* g++.dg/cpp2a/paren-init5.C: New test.
      	* g++.dg/cpp2a/paren-init6.C: New test.
      	* g++.dg/cpp2a/paren-init7.C: New test.
      	* g++.dg/cpp2a/paren-init8.C: New test.
      	* g++.dg/cpp2a/paren-init9.C: New test.
      	* g++.dg/ext/desig10.C: Adjust dg-error.
      	* g++.dg/template/crash107.C: Likewise.
      	* g++.dg/template/crash95.C: Likewise.
      	* g++.old-deja/g++.jason/crash3.C: Likewise.
      	* g++.old-deja/g++.law/ctors11.C: Likewise.
      	* g++.old-deja/g++.law/ctors9.C: Likewise.
      	* g++.old-deja/g++.mike/net22.C: Likewise.
      	* g++.old-deja/g++.niklas/t128.C: Likewise.
      
      From-SVN: r278939
      Marek Polacek committed
    • re PR target/92758 (r278833 breaks gcc.target/powerpc/fold-vec-splat-floatdouble.c) · 577f4a0e
      2019-12-03  Richard Biener  <rguenther@suse.de>
      
      	PR tree-optimization/92758
      	* tree-ssa-forwprop.c (simplify_vector_constructor): Restore
      	operation on uniform vectors.
      
      From-SVN: r278938
      Richard Biener committed
    • Validate acc_device_t uses · d8f0024b
      Check that function arguments of type acc_device_t
      are valid enumeration values in all publicly visible
      functions from oacc-init.c.
      
      2019-12-03  Frederik Harwath  <frederik@codesourcery.com>
      
      	libgomp/
      	* oacc-init.c (acc_known_device_type): Add function.
      	(unknown_device_type_error): Add function.
       	(name_of_acc_device_t): Change to call unknown_device_type_error
      	on unknown type.
      	(resolve_device): Use acc_known_device_type.
       	(acc_init): Fail if acc_device_t argument is not valid.
       	(acc_shutdown): Likewise.
       	(acc_get_num_devices): Likewise.
       	(acc_set_device_type): Likewise.
      	(acc_get_device_num): Likewise.
      	(acc_set_device_num): Likewise.
       	(acc_on_device): Add comment that argument validity is not checked.
      
      Reviewed-by: Thomas Schwinge <thomas@codesourcery.com>
      
      From-SVN: r278937
      Frederik Harwath committed
    • Enable OpenACC GCN testing. · 83caa34e
      2019-12-03  Andrew Stubbs  <ams@codesourcery.com>
      
      	libgomp/
      	* testsuite/lib/libgomp.exp (offload_target_to_openacc_device_type):
      	Recognize amdgcn.
      	(check_effective_target_openacc_amdgcn_accel_present): New proc.
      	(check_effective_target_openacc_amdgcn_accel_selected): New proc.
      	* testsuite/libgomp.oacc-c++/c++.exp: Add support for amdgcn.
      	* testsuite/libgomp.oacc-c/c.exp: Likewise.
      	* testsuite/libgomp.oacc-fortran/fortran.exp: Likewise.
      
      From-SVN: r278935
      Andrew Stubbs committed
    • re PR tree-optimization/92645 (Hand written vector code is 450 times slower when… · 5105b576
      re PR tree-optimization/92645 (Hand written vector code is 450 times slower when compiled with GCC compared to Clang)
      
      2019-12-03  Richard Biener  <rguenther@suse.de>
      
      	PR tree-optimization/92645
      	* gimple-fold.c (gimple_fold_builtin_memory_op): Fold memcpy
      	from or to a properly aligned register variable.
      
      	* gcc.target/i386/pr92645-5.c: New testcase.
      
      From-SVN: r278934
      Richard Biener committed
    • Makefile.in (SOURCES): Add doc/lto-dump.1. · 8f316505
      2019-12-03  Matthias Klose  <doko@ubuntu.com>
      
              * Makefile.in (SOURCES): Add doc/lto-dump.1.
              (install-man): Add $(LTO_DUMP_INSTALL_NAME)$(man1ext).
              ($(LTO_DUMP_INSTALL_NAME)$(man1ext): New.
      
      From-SVN: r278933
      Matthias Klose committed
    • musl: Fix invalid tls model in libgomp and libitm PR91938 · 00484365
      Musl does not support initial-exec tls in dynamically loaded shared
      libraries.
      
      libgomp/ChangeLog:
      
      2019-12-03  Szabolcs Nagy  <szabolcs.nagy@arm.com>
      
      	PR libgomp/91938
      	* configure.tgt: Avoid IE tls on *-*-musl*.
      
      libitm/ChangeLog:
      
      2019-12-03  Szabolcs Nagy  <szabolcs.nagy@arm.com>
      
      	PR libgomp/91938
      	* configure.tgt: Avoid IE tls on *-*-musl*.
      
      From-SVN: r278932
      Szabolcs Nagy committed
    • re PR tree-optimization/92751 (VN partial def support confused about clobbers) · 89ee3a87
      2019-12-03  Richard Biener  <rguenther@suse.de>
      
      	PR tree-optimization/92751
      	* tree-ssa-sccvn.c (vn_walk_cb_data::push_partial_def): Fail
      	when a clobber ends up in the partial-def vector.
      	(vn_reference_lookup_3): Let clobbers be handled by the
      	assignment from CTOR handling.
      
      	* g++.dg/tree-ssa/pr92751.C: New testcase.
      
      From-SVN: r278931
      Richard Biener committed
    • utils.c (potential_alignment_gap): Delete. · 1058a226
      	* gcc-interface/utils.c (potential_alignment_gap): Delete.
      	(rest_of_record_type_compilation): Do not call above function.  Use
      	the alignment of the field instead of that of its type, if need be.
      	When the original field has variable size, always lower the alignment
      	of the pointer type.  Reset the bit-field status of the new field if
      	it does not encode a bit-field.
      
      From-SVN: r278930
      Eric Botcazou committed
    • utils.c (fold_convert_size): New function. · cbcf3668
      	* gcc-interface/utils.c (fold_convert_size): New function.
      	(fold_bit_position): Invoke it to do further folding.
      
      From-SVN: r278929
      Eric Botcazou committed
    • XFAIL loop_versioning_6.f90 for ! lp64 · dd2dae94
      2019-12-03  Richard Sandiford  <richard.sandiford@arm.com>
      
      gcc/testsuite/
      	* gfortran.dg/loop_versioning_6.f90: XFAIL the scans for ! lp64.
      
      From-SVN: r278928
      Richard Sandiford committed
    • decl.c (gnat_to_gnu_subprog_type): With the Copy-In/ Copy-Out mechanism... · 64c8ebc7
      	* gcc-interface/decl.c (gnat_to_gnu_subprog_type): With the Copy-In/
      	Copy-Out mechanism, do not promote the mode of the return type to an
      	integral mode if it contains a field on a non-integral type and even
      	demote it for 64-bit targets.
      
      From-SVN: r278927
      Eric Botcazou committed