1. 08 Nov, 2016 10 commits
  2. 07 Nov, 2016 30 commits
    • fold-vec-add-1.c: Add dg-options -maltivec. · e4b39278
              * gcc.target/powerpc/fold-vec-add-1.c: Add dg-options -maltivec.
              * gcc.target/powerpc/fold-vec-add-2.c: Add dg-options -maltivec.
              * gcc.target/powerpc/fold-vec-add-3.c: Add dg-options -maltivec.
              * gcc.target/powerpc/fold-vec-add-4.c: Add dg-options -maltivec
              -mvsx -mpower8-vector.
              * gcc.target/powerpc/fold-vec-add-5.c: Add dg-options -maltivec -mno-vs\
      x.
              * gcc.target/powerpc/fold-vec-add-6.c: Add dg-options -maltivec -mvsx.
              * gcc.target/powerpc/fold-vec-add-7.c: Add dg-options -maltivec
              -mvsx -mpower8-vector.
      
      From-SVN: r241945
      David Edelsohn committed
    • Implement P0012R1, Make exception specifications part of the type system. · 51dc6603
      gcc/cp/
      	* cp-tree.h (enum tsubst_flags): Add tf_fndecl_type.
      	(flag_noexcept_type, ce_type): New.
      	* call.c (build_conv): Add ck_fnptr.
      	(enum conversion_kind): Change ck_tsafe to ck_fnptr.
      	(convert_like_real): Likewise.
      	(standard_conversion): Likewise.  Allow function pointer
      	conversions for pointers to member functions.
      	(reference_compatible_p): Allow function pointer conversions.
      	(direct_reference_binding): Likewise.
      	(reference_binding): Reference-compatible is no longer a subset of
      	reference-related.
      	(is_subseq): Also strip ck_lvalue after next_conversion.
      	* class.c (instantiate_type): Check fnptr_conv_p.
      	(resolve_address_of_overloaded_function): Likewise.
      	* cvt.c (can_convert_tx_safety): Now static.
      	(noexcept_conv_p, fnptr_conv_p, strip_fnptr_conv): New.
      	* decl.c (flag_noexcept_type): Define.
      	(cxx_init_decl_processing): Set it.
      	(bad_specifiers): Check it.
      	(grokdeclarator) [cdk_function]: Add exception-spec to type here.
      	* lambda.c (maybe_add_lambda_conv_op): Add exception-spec to
      	returned pointer.
      	* mangle.c (struct globals): Add need_cxx1z_warning.
      	(mangle_decl): Check it.
      	(write_exception_spec): New.
      	(write_function_type): Call it.
      	(canonicalize_for_substitution): Handle exception spec.
      	(write_type): Likewise.
      	(write_encoding): Set processing_template_decl across mangling of
      	partially-instantiated type.
      	* pt.c (determine_specialization): Pass tf_fndecl_type.
      	(tsubst_decl, fn_type_unification): Likewise.
      	(tsubst): Strip tf_fndecl_type, pass it to
      	tsubst_exception_specification.
      	(convert_nontype_argument_function): Handle function pointer
      	conversion.
      	(convert_nontype_argument): Likewise.
      	(unify, for_each_template_parm_r): Walk into noexcept-specifier.
      	* rtti.c (ptr_initializer): Encode noexcept.
      	* tree.c (canonical_eh_spec): New.
      	(build_exception_variant): Use it.
      	* typeck.c (composite_pointer_type): Handle fnptr conversion.
      	(comp_except_specs): Compare canonical EH specs.
      	(structural_comptypes): Call it.
      gcc/c-family/
      	* c.opt (Wc++1z-compat): New.
      	* c-cppbuiltin.c (c_cpp_builtins): Add __cpp_noexcept_function_type.
      libstdc++-v3/
      	* include/bits/c++config (_GLIBCXX_NOEXCEPT_PARM)
      	(_GLIBCXX_NOEXCEPT_QUAL): New.
      	* include/std/type_traits (is_function): Use them.
      	* libsubc++/new (launder): Likewise.
      	* libsupc++/cxxabi.h (__pbase_type_info::__masks): Add
      	__noexcept_mask.
      	* libsupc++/pbase_type_info.cc (__do_catch): Handle function
      	pointer conversion.
      libiberty/
      	* cp-demangle.c (is_fnqual_component_type): New.
      	(d_encoding, d_print_comp_inner, d_print_mod_list): Use it.
      	(FNQUAL_COMPONENT_CASE): New.
      	(d_make_comp, has_return_type, d_print_comp_inner)
      	(d_print_function_type): Use it.
      	(next_is_type_qual): New.
      	(d_cv_qualifiers, d_print_mod): Handle noexcept and throw-spec.
      include/
      	* demangle.h (enum demangle_component_type): Add
      	DEMANGLE_COMPONENT_NOEXCEPT, DEMANGLE_COMPONENT_THROW_SPEC.
      
      From-SVN: r241944
      Jason Merrill committed
    • C++ cleanups before C++17 noexcept in types. · 452811eb
      	* call.c (standard_conversion): Reorganize pointer conversions.
      	* pt.c (convert_nontype_argument_function): Convert to ref here.
      	(convert_nontype_argument): Not here.
      	(convert_template_argument): Add original type to error message.
      	(RECUR_AND_CHECK_FAILURE): Remove trailing semicolon.
      	(unify): Compare function-qualifiers.
      	* typeck.c (same_type_ignoring_top_level_qualifiers_p): Use
      	cp_build_qualified_type rather than TYPE_MAIN_VARIANT.
      
      From-SVN: r241943
      Jason Merrill committed
    • re PR target/78229 (ICE in redirect_eh_edge_1, at tree-eh.c:2305) · 4ab71abd
      	PR target/78229
      	* config/i386/i386.c (ix86_gimple_fold_builtin): Do not adjust                                                                             
      	EH info even for bzhi and pdep/pext.
      
      From-SVN: r241942
      Jakub Jelinek committed
    • Fix dates. · 9b8dc9ea
      From-SVN: r241941
      David Edelsohn committed
    • Add missing ChangeLog entry. · b3be619e
      	* config.gcc (powerpc*-*-*, rs6000*-*-*): Remove setting of
      	INCLUDE_EXTRA_SPEC for Advance Toolchain builds.
      
      From-SVN: r241939
      Peter Bergner committed
    • config.gcc (powerpc*-*-*, [...]): Remove setting of INCLUDE_EXTRA_SPEC for… · d850a6f4
      config.gcc (powerpc*-*-*, [...]): Remove setting of INCLUDE_EXTRA_SPEC for Advance Toolchain builds.
      
      	* config.gcc (powerpc*-*-*, rs6000*-*-*): Remove setting of
      	INCLUDE_EXTRA_SPEC for Advance Toolchain builds.
      
      From-SVN: r241937
      Peter Bergner committed
    • gnu-versioned-namespace.ver: Export C++17 new of over-aligned types symbols. · 76d3fd72
      2016-11-07  François Dumont  <fdumont@gcc.gnu.org>
      
      	* config/abi/pre/gnu-versioned-namespace.ver: Export C++17 new of
      	over-aligned types symbols.
      
      From-SVN: r241936
      François Dumont committed
    • rs6000: Do swdiv at expand time · b7fa8414
      We transform floating point divide instructions to a faster series of
      simple instructions, "swdiv".  Currently we do not do that until the
      first splitter pass, which is much too late for most optimisations
      that can happen on those new instructions, e.g. the constant loads
      are not CSEd inside an unrolled loop.  This patch changes things so
      those divide instructions are expanded during expand already.
      
      
      	* config/rs6000/rs6000.md (div<mode>3): Expand using rs6000_emit_swdiv
      	if appropriate.
      	* config/rs6000/vector.md (div<mode>3): Ditto.
      
      From-SVN: r241935
      Segher Boessenkool committed
    • scanasm.exp (hidden-scan-for): Add XCOFF support. · fda2d612
              * lib/scanasm.exp (hidden-scan-for): Add XCOFF support.
      
              * gfortran.dg/implicit_class_1.f90: Skip on AIX.
              * gcc.dg/visibility-14.c: XFAIL AIX.
              * gcc.dg/visibility-15.c: XFAIL AIX.
              * gcc.dg/visibility-16.c: XFAIL AIX.
              * gcc.dg/visibility-17.c: XFAIL AIX.
              * gcc.dg/visibility-18.c: XFAIL AIX.
              * gcc.dg/visibility-19.c: XFAIL AIX.
              * g++.dg/ext/visibility/anon1.C: XFAIL AIX.
              * g++.dg/ext/visibility/anon2.C: XFAIL AIX.
              * g++.dg/ext/visibility/pragma-override1.C: XFAIL AIX.
              * g++.dg/ext/visibility/pragma-override2.C: XFAIL AIX.
      
      From-SVN: r241934
      David Edelsohn committed
    • Fix typo. · 621d0992
      From-SVN: r241932
      David Edelsohn committed
    • configure.ac (.hidden): Change to conftest_s string. · 8d91472f
      * configure.ac (.hidden): Change to conftest_s string. Provide string
      for AIX assembler.
      (gcc_cv_ld_hidden): Yes for AIX.
      * configure: Regenerate.
      
      * dwarf2asm.c (USE_LINKONCE_INDIRECT): Don't set for AIX (XCOFF).
      
      * config/rs6000/rs6000-protos.h (rs6000_asm_weaken_decl): Declare
      (rs6000_xcoff_asm_output_aligned_decl_common): Declare.
      * config/rs6000/xcoff.h (TARGET_ASM_GLOBALIZE_DECL_NAME): Define.
      (ASM_OUTPUT_ALIGNED_DECL_COMMON): Define.
      (ASM_OUTPUT_ALIGNED_COMMON): Delete.
      * config/rs6000/rs6000.c (rs6000_init_builtins): Change clog rename
      from #if to if.
      (rs6000_xcoff_visibility): New.
      (rs6000_xcoff_declare_function_name): Add visibility support.
      (rs6000_xcoff_asm_globalize_decl_name): New.
      (rs6000_xcoff_asm_output_aligned_decl_common): New.
      (rs6000_asm_weaken_decl): New.
      (rs6000_code_end): Disable HIDDEN_LINKONCE on XCOFF.
      config/rs6000/rs6000.h (ASM_WEAKEN_DECL): Change definition to
      reference function.
      
      From-SVN: r241930
      David Edelsohn committed
    • Add template instantiations to the announce_function stream. · c9c03910
      	* pt.c (push_tinst_level_loc): Add template instantiations to the
      	announce_function stream.
      
      From-SVN: r241928
      Jason Merrill committed
    • re PR fortran/78226 (Fill out location information everywhere) · 39b4b34d
      2016-11-07  Thomas Koenig  <tkoenig@gcc.gnu.org>
      
      	PR fortran/78226
      	* expr.c (gfc_generate_initializer):  Add where to EXPR_NULL
      	statement.
      	* iresolve.c (gfc_resolve_extends_type_of):  Add where to
      	both arguments of the function.
      	* resolve.c (resolve_select_type):  Add where to the
      	second argument of the new statement.
      
      From-SVN: r241927
      Thomas Koenig committed
    • * es.po: Update. · 98a98909
      From-SVN: r241922
      Joseph Myers committed
    • re PR driver/78206 (bootstrap failure under Apple sandbox that blacklists reads in /usr/local) · 68fe024e
      2016-11-06  Jack Howarth  <howarth.at.gcc@gmail.com>
      
      	PR driver/78206
      	* incpath.c: (remove_dup(): Also silently ignore EPERM.
      
      From-SVN: r241919
      Jack Howarth committed
    • Remove a TODO from verify_type_variant · f73fbf90
      2016-11-07  Martin Jambor  <mjambor@suse.cz>
      
      	* tree.c (verify_type_variant): Use pointer comparison to check that
      	TYPE_SIZE_UNIT match.
      
      From-SVN: r241918
      Martin Jambor committed
    • re PR target/77834 (ICE: in make_decl_rtl, at varasm.c:1311 with -O -ftree-pre… · a8404b9a
      re PR target/77834 (ICE: in make_decl_rtl, at varasm.c:1311 with -O -ftree-pre -mstringop-strategy=libcall)
      
      	PR target/77834
      	* dse.c (dse_step5): Call scan_reads even if just
      	insn_info->frame_read.  Improve and fix dump file messages.
      
      From-SVN: r241917
      Jakub Jelinek committed
    • re PR target/78227 (ICE: unrecognizable insn: in extract_insn, at recog.c:2311… · 60cee85e
      re PR target/78227 (ICE: unrecognizable insn: in extract_insn, at recog.c:2311 with -mavx512bw and vector comare)
      
      	PR target/78227
      	* config/i386/i386.c (ix86_expand_sse_cmp): Force dest into
      	cmp_mode argument even for -O0 if cmp_mode != mode and maskcmp.
      
      	* gcc.target/i386/pr78227-1.c: New test.
      	* gcc.target/i386/pr78227-2.c: New test.
      
      From-SVN: r241916
      Jakub Jelinek committed
    • re PR middle-end/35691 (Missed (a == 0) && (b == 0) into (a|(typeof(a)(b)) == 0… · 7aa13860
      re PR middle-end/35691 (Missed (a == 0) && (b == 0) into (a|(typeof(a)(b)) == 0 when the types don't match)
      
      2016-11-07  Prathamesh Kulkarni  <prathamesh.kulkarni@linaro.org>
      
      	PR middle-end/35691
      	* match.pd: Add following two patterns:
      	(x == 0 & y == 0) -> (x | typeof(x)(y)) == 0.
      	(x != 0 | y != 0) -> (x | typeof(x)(y)) != 0.
      
      testsuite/
      	* gcc.dg/pr35691-1.c: New test-case.
      	* gcc.dg/pr35691-4.c: Likewise.
      
      From-SVN: r241915
      Prathamesh Kulkarni committed
    • emit-rtl.c (emit_copy_of_insn_after): Duplicate notes in order. · 1581a12c
      	* emit-rtl.c (emit_copy_of_insn_after): Duplicate notes in order.
      	* sel-sched-ir.c (create_copy_of_insn_rtx): Likewise.
      	* rtl.h (duplicate_reg_notes): Declare.
      	* rtlanal.c (duplicate_reg_note): New function.
      
      From-SVN: r241913
      Bernd Schmidt committed
    • re PR tree-optimization/77309 (wrong code at -Os and above on x86_64-linux-gnu… · caa024ff
      re PR tree-optimization/77309 (wrong code at -Os and above on x86_64-linux-gnu (in the 64-bit mode))
      
      	PR rtl-optimization/77309
      	* combine.c (make_compound_operation): Allow EQ for IN_CODE, and
      	don't assume an equality comparison for plain COMPARE.
      	(simplify_comparison): Pass a more accurate code to
      	make_compound_operation.
      
      testsuite/
      	PR rtl-optimization/77309
      	* gcc.dg/torture/pr77309.c: New test.
      
      From-SVN: r241912
      Bernd Schmidt committed
    • target.def (compute_pressure_classes): New target hook. · b4ff394c
      	* target.def (compute_pressure_classes): New target hook.
      	* doc/tm.texi.in: Document it.
      	* doc/tm.texi: Regenerate.
      	* ira.c (setup_pressure_classes): Call target hook if defined.
      
      From-SVN: r241911
      Pat Haugen committed
    • Fixed PR in ChangeLog entry. · c939044a
      From-SVN: r241910
      Thomas Koenig committed
    • re PR fortran/78226 (Fill out location information everywhere) · ce386153
      2016-11-07  Thomas Koenig  <tkoenig@gcc.gnu.org>
      
      	PR fortran/78826
      	* match.c (gfc_match_select_type):  Add where for expr1.
      	* resolve.c (resolev_select_type): Add where for expr1 of new
      	statement.
      
      From-SVN: r241909
      Thomas Koenig committed
    • rtx_writer: avoid printing trailing default values · b5fbe716
      gcc/ChangeLog:
      	* print-rtl.c (rtx_writer::operand_has_default_value_p): New
      	method.
      	(rtx_writer::print_rtx): In compact mode, omit trailing operands
      	that have the default values.
      	* print-rtl.h (rtx_writer::operand_has_default_value_p): New
      	method.
      	* rtl-tests.c (selftest::test_dumping_insns): Remove empty
      	label string from expected dump.
      	(seltest::test_uncond_jump): Remove trailing "(nil)" for REG_NOTES
      	from expected dump.
      
      From-SVN: r241908
      David Malcolm committed
    • Fix native windows build by adding signal.h back into the include list. · 061ee396
        * gcc/ada/adaint.c: Added signal.h for Windows.
      
      From-SVN: r241907
      Tamar Christina committed
    • re PR target/77834 (ICE: in make_decl_rtl, at varasm.c:1311 with -O -ftree-pre… · dca16798
      re PR target/77834 (ICE: in make_decl_rtl, at varasm.c:1311 with -O -ftree-pre -mstringop-strategy=libcall)
      
      	PR target/77834
      	* alias.c (nonoverlapping_memrefs_p): If one decl is
      	FUNCTION_DECL or LABEL_DECL and the other is not, return 1.
      
      From-SVN: r241905
      Jakub Jelinek committed
    • re PR middle-end/71529 ([CHKP] ICE in expand_expr_real_1) · a9815228
      	PR middle-end/71529
      	* gcc.target/i386/pr71529.C: Moved to ...
      	* g++.dg/opt/pr71529.C: ... here.  New test.  Guard for i?86/x86_64.
      
      	PR target/64411
      	* gcc.target/i386/pr64411.C: Moved to ...
      	* g++.dg/opt/pr64411.C: ... here.  New test.  Guard for i?86/x86_64
      	lp64.
      
      	PR target/65105
      	* gcc.target/i386/pr65105-4.C: Moved to ...
      	* g++.dg/opt/pr65105-4.C: ... here.  New test.  Guard for i?86/x86_64.
      	Run into compile test rather than execute test.
      
      From-SVN: r241903
      Jakub Jelinek committed
    • re PR target/78229 (ICE in redirect_eh_edge_1, at tree-eh.c:2305) · e8ab5cb1
      2016-11-07  Richard Biener  <rguenther@suse.de>
      
      	PR target/78229
      	* config/i386/i386.c (ix86_gimple_fold_builtin): Do not adjust
      	EH info.
      
      	* g++.dg/pr78229.C: New testcase.
      
      From-SVN: r241901
      Richard Biener committed