gcc.git
6 years agocppopts.texi: Use "side effect" instead of side-effect.
Martin Sebor [Tue, 10 Apr 2018 15:49:59 +0000 (09:49 -0600)]
cppopts.texi: Use "side effect" instead of side-effect.

gcc/ChangeLog:

* doc/cppopts.texi: Use "side effect" instead of side-effect.
* doc/extend.texi: Same.
* doc/generic.texi: Same.
* doc/implement-c.texi: Same.
* doc/invoke.texi: Same.
* doc/md.texi: Same.
* doc/rtl.texi: Same.
* doc/tree-ssa.texi: Same.

From-SVN: r259287

6 years agoUpdate links to archived copy of SGI STL docs
Jonathan Wakely [Tue, 10 Apr 2018 15:49:26 +0000 (16:49 +0100)]
Update links to archived copy of SGI STL docs

* doc/xml/faq.xml: Update links to archived copy of SGI STL docs.
* doc/xml/manual/backwards_compatibility.xml: Likewise.
* doc/xml/manual/containers.xml: Likewise.
* doc/xml/manual/debug_mode.xml: Likewise.
* doc/xml/manual/extensions.xml: Likewise.
* doc/xml/manual/policy_data_structures_biblio.xml: Likewise.
* doc/xml/manual/using.xml: Likewise.
* doc/xml/manual/utilities.xml: Likewise.

From-SVN: r259286

6 years agore PR rtl-optimization/85300 (ICE in exact_int_to_float_conversion_p, at simplify...
Jakub Jelinek [Tue, 10 Apr 2018 15:31:57 +0000 (17:31 +0200)]
re PR rtl-optimization/85300 (ICE in exact_int_to_float_conversion_p, at simplify-rtx.c:895)

PR rtl-optimization/85300
* combine.c (subst): Handle subst of CONST_SCALAR_INT_P new_rtx also
into FLOAT and UNSIGNED_FLOAT like ZERO_EXTEND, return a CLOBBER if
simplify_unary_operation fails.

* gcc.dg/pr85300.c: New test.

From-SVN: r259285

6 years agogdbhooks: Add new pretty-printers for: varpool_node, symtab_node, cgraph_edge and...
Martin Liska [Tue, 10 Apr 2018 14:43:09 +0000 (16:43 +0200)]
gdbhooks: Add new pretty-printers for: varpool_node, symtab_node, cgraph_edge and ipa_ref.

2018-04-10  Martin Liska  <mliska@suse.cz>

* gdbhooks.py: Add pretty-printers for varpool_node, symtab_node,
cgraph_edge and ipa_ref.

From-SVN: r259283

6 years agoShow pertinent parameter (PR c++/85110)
David Malcolm [Tue, 10 Apr 2018 14:37:09 +0000 (14:37 +0000)]
Show pertinent parameter (PR c++/85110)

gcc/cp/ChangeLog:
PR c++/85110
* call.c (get_fndecl_argument_location): Make non-static.
* cp-tree.h (get_fndecl_argument_location): New decl.
* typeck.c (convert_for_assignment): When complaining due to
conversions for an argument, show the location of the parameter
within the decl.

gcc/testsuite/ChangeLog:
PR c++/85110
* g++.dg/cpp1z/direct-enum-init1.C: Update for the cases
where we now show the pertinent parameter.
* g++.dg/diagnostic/aka2.C: Likewise.
* g++.dg/diagnostic/param-type-mismatch-2.C: Likewise.

From-SVN: r259282

6 years agoPR libstdc++/85222 allow catching iostream errors as gcc4-compatible ios::failure
Jonathan Wakely [Tue, 10 Apr 2018 14:36:09 +0000 (15:36 +0100)]
PR libstdc++/85222 allow catching iostream errors as gcc4-compatible ios::failure

Define a new exception type derived from std::ios::failure[abi:cxx11]
which also aggregates an object of the gcc4-compatible ios::failure
type. Make __throw_ios_failure throw this new type for iostream errors
that raise exceptions. Provide custom type info for the new type so that
it can be caught by handlers for the gcc4-compatible ios::failure type
as well as handlers for ios::failure[abi:cxx11] and its bases.

PR libstdc++/85222
* src/c++11/Makefile.am [ENABLE_DUAL_ABI]: Add special rules for
cxx11-ios_failure.cc to rewrite type info for __ios_failure.
* src/c++11/Makefile.in: Regenerate.
* src/c++11/cxx11-ios_failure.cc (__ios_failure, __iosfail_type_info):
New types.
[_GLIBCXX_USE_DUAL_ABI] (__throw_ios_failure): Define here.
* src/c++11/ios.cc (__throw_ios_failure): Remove definition.
* src/c++98/ios_failure.cc (__construct_ios_failure)
(__destroy_ios_failure, is_ios_failure_handler): New functions.
[!_GLIBCXX_USE_DUAL_ABI] (__throw_ios_failure): Define here.
* testsuite/27_io/ios_base/failure/dual_abi.cc: New.
* testsuite/27_io/basic_ios/copyfmt/char/1.cc: Revert changes to
handler types, to always catch std::ios_base::failure.
* testsuite/27_io/basic_ios/exceptions/char/1.cc: Likewise.
* testsuite/27_io/basic_istream/extractors_arithmetic/char/
exceptions_failbit.cc: Likewise.
* testsuite/27_io/basic_istream/extractors_arithmetic/wchar_t/
exceptions_failbit.cc: Likewise.
* testsuite/27_io/basic_istream/extractors_other/char/
exceptions_null.cc: Likewise.
* testsuite/27_io/basic_istream/extractors_other/wchar_t/
exceptions_null.cc: Likewise.
* testsuite/27_io/basic_istream/sentry/char/12297.cc: Likewise.
* testsuite/27_io/basic_istream/sentry/wchar_t/12297.cc: Likewise.
* testsuite/27_io/basic_ostream/inserters_other/char/
exceptions_null.cc: Likewise.
* testsuite/27_io/basic_ostream/inserters_other/wchar_t/
exceptions_null.cc: Likewise.
* testsuite/27_io/ios_base/storage/2.cc: Likewise.

From-SVN: r259281

6 years agoPR c++/85312 - P0962 cleanup
Jakub Jelinek [Tue, 10 Apr 2018 14:28:54 +0000 (16:28 +0200)]
PR c++/85312 - P0962 cleanup

PR c++/85312 - P0962 cleanup
* parser.c (cp_parser_perform_range_for_lookup): Remove unreachable
diagnostics.

From-SVN: r259279

6 years agoPR debug/65821 - wrong location for main().
Jason Merrill [Tue, 10 Apr 2018 14:24:00 +0000 (10:24 -0400)]
PR debug/65821 - wrong location for main().

* call.c (clear_location_r): New.
(convert_default_arg): Use it.
* tree.c (bot_manip): Remove builtin_LINE/FILE handling.

From-SVN: r259278

6 years agoPR c++/85285 - ICE with flexible array after substitution.
Jason Merrill [Tue, 10 Apr 2018 14:23:54 +0000 (10:23 -0400)]
PR c++/85285 - ICE with flexible array after substitution.

* pt.c (instantiate_class_template_1): Check for flexible array in
union.

From-SVN: r259277

6 years ago* parser.c (cp_parser_check_template_parameters): Improve comment.
Jason Merrill [Tue, 10 Apr 2018 14:23:49 +0000 (10:23 -0400)]
* parser.c (cp_parser_check_template_parameters): Improve comment.

From-SVN: r259276

6 years agore PR fortran/85313 (gcc/fortran/openmp.c: 2 * confused logic ?)
Jakub Jelinek [Tue, 10 Apr 2018 14:04:37 +0000 (16:04 +0200)]
re PR fortran/85313 (gcc/fortran/openmp.c: 2 * confused logic ?)

PR fortran/85313
* openmp.c (resolve_omp_do): Remove bogus if (j < i) break;.
(resolve_oacc_nested_loops): Likewise.  Formatting fix.

* gfortran.dg/gomp/pr85313.f90: New test.

From-SVN: r259275

6 years agoFix obvious error in handling of error attribute (PR lto/85248).
Martin Liska [Tue, 10 Apr 2018 13:52:23 +0000 (15:52 +0200)]
Fix obvious error in handling of error attribute (PR lto/85248).

2018-04-10  Martin Liska  <mliska@suse.cz>

PR lto/85248
* lto-symtab.c (lto_symtab_merge_p): Do not check for
TREE_VALUES of error attributes.

From-SVN: r259274

6 years agore PR c++/24314 (Extra "template<>" in partial specialization is compiled successfuly.)
Paolo Carlini [Tue, 10 Apr 2018 13:40:35 +0000 (13:40 +0000)]
re PR c++/24314 (Extra "template<>" in partial specialization is compiled successfuly.)

2018-04-10  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/24314
* g++.dg/parse/template29.C: New.

From-SVN: r259273

6 years agore PR testsuite/85190 (gcc.dg/vect/pr81196.c FAILs)
Bin Cheng [Tue, 10 Apr 2018 13:11:40 +0000 (13:11 +0000)]
re PR testsuite/85190 (gcc.dg/vect/pr81196.c FAILs)

gcc/testsuite
PR testsuite/85190
* gcc.dg/vect/pr81196.c: Adjust pointer for aligned access.

From-SVN: r259272

6 years agore PR target/85177 (wrong code with -O -fno-tree-ccp -fno-tree-sra -mavx512f)
Jakub Jelinek [Tue, 10 Apr 2018 12:37:36 +0000 (14:37 +0200)]
re PR target/85177 (wrong code with -O -fno-tree-ccp -fno-tree-sra -mavx512f)

PR target/85177
PR target/85255
* config/i386/sse.md
(<extract_type>_vinsert<shuffletype><extract_suf>_mask): Fix
computation of the VEC_MERGE selector from mask.
(<extract_type>_vinsert<shuffletype><extract_suf>_1<mask_name>):
Fix decoding of the VEC_MERGE selector into mask.

* gcc.target/i386/avx512f-pr85177.c: New test.
* gcc.target/i386/avx512f-pr85255.c: New test.

From-SVN: r259269

6 years agoAdd missing cases to vect_get_smallest_scalar_type (PR 85286)
Richard Sandiford [Tue, 10 Apr 2018 10:28:33 +0000 (10:28 +0000)]
Add missing cases to vect_get_smallest_scalar_type (PR 85286)

In this PR we used WIDEN_SUM_EXPR to vectorise:

  short i, y;
  int sum;
  [...]
  for (i = x; i > 0; i--)
    sum += y;

with 4 ints and 8 shorts per vector.  The problem was that we set
the VF based only on the ints, then calculated the number of vector
copies based on the shorts, giving 4/8.  Previously that led to
ncopies==0, but after r249897 we pick it up as an ICE.

In this particular case we could vectorise the reduction by setting
ncopies based on the output type rather than the input type, but it
doesn't seem worth adding a special "optimisation" for such a
pathological case.  I think it's really an instance of the more general
problem that we can't vectorise using combinations of (say) 64-bit and
128-bit vectors on targets that support both.

2018-04-10  Richard Sandiford  <richard.sandiford@linaro.org>

gcc/
PR tree-optimization/85286
* tree-vect-data-refs.c (vect_get_smallest_scalar_type):

gcc/testsuite/
PR tree-optimization/85286
* gcc.dg/vect/pr85286.c: New test.

From-SVN: r259268

6 years agoSet insn_last_address in final_1
Richard Sandiford [Tue, 10 Apr 2018 10:28:05 +0000 (10:28 +0000)]
Set insn_last_address in final_1

final_1 already sets insn_current_address for each instruction, making
it possible to use some of the address functions in final.c during
assembly generation.  This patch also sets insn_last_address, since
as the comment says, we can treat final as a shorten_branches pass that
does nothing.  It's then possible to use insn_current_reference_address
during final as well.

This is needed for the aarch64.md definitions of far_branch to work:

   (set (attr "far_branch")
(if_then_else (and (ge (minus (match_dup 2) (pc)) (const_int -1048576))
   (lt (minus (match_dup 2) (pc)) (const_int 1048572)))
      (const_int 0)
      (const_int 1)))]

This value (tested only during final) uses the difference between
the INSN_ADDRESSES of operand 2 and insn_current_reference_address
to calculate a conservatively-correct estimate of the branch distance.
It takes into account the worst-case gap due to alignment, whereas
a direct comparison of INSN_ADDRESSES would give an unreliable,
optimistic result.

2018-04-10  Richard Sandiford  <richard.sandiford@linaro.org>

gcc/
* final.c (final_1): Set insn_last_address as well as
insn_current_address.

From-SVN: r259267

6 years ago[explow] PR target/85173: validize memory before passing it on to target probe_stack
Kyrylo Tkachov [Tue, 10 Apr 2018 09:58:57 +0000 (09:58 +0000)]
[explow] PR target/85173: validize memory before passing it on to target probe_stack

In this PR the expansion code emits an invalid memory address for the stack probe, which the backend fails to recognise.
The address is created explicitly in anti_adjust_stack_and_probe_stack_clash in explow.c and passed down to gen_probe_stack
without any validation in emit_stack_probe.

This patch fixes the ICE by calling validize_mem on the memory location before passing it down to the target.
Jakub pointed out that we also want to create valid addresses for the probe_stack_address case, so this patch
creates an expand operand and legitimizes it before passing it down to the probe_stack_address expander.

This patch passes bootstrap and testing on arm-none-linux-gnueabihf and aarch64-none-linux-gnu
and ppc64le-redhat-linux on gcc112 in the compile farm.

PR target/85173
* explow.c (emit_stack_probe): Call validize_mem on memory location
before passing it to gen_probe_stack.  Create address operand and
legitimize it for the probe_stack_address case.

* gcc.target/arm/pr85173.c: New test.

From-SVN: r259266

6 years agoBe more carefull about DECL merging in LTO (PR lto/85248).
Martin Liska [Tue, 10 Apr 2018 07:24:59 +0000 (07:24 +0000)]
Be more carefull about DECL merging in LTO (PR lto/85248).

2018-04-10  Richard Biener  <rguenther@suse.de>
    Martin Liska  <mliska@suse.cz>

PR lto/85248
* lto-symtab.c (lto_symtab_merge_p): Handle noreturn attribute.
2018-04-10  Jakub Jelinek  <jakub@redhat.com>

PR lto/85248
* gcc.dg/lto/pr85248_0.c: New test.
* gcc.dg/lto/pr85248_1.c: New test.

From-SVN: r259265

6 years agore PR lto/85078 (LTO ICE: tree check: expected tree that contains 'decl minimal'...
Jan Hubicka [Tue, 10 Apr 2018 06:33:38 +0000 (08:33 +0200)]
re PR lto/85078 (LTO ICE: tree check: expected tree that contains 'decl minimal' structure, have 'identifier_node' in decl_mangling_context, at cp/mangle.c:878)

PR lto/85078
* ipa-devirt.c (rebuild_type_inheritance-hash): New.
* ipa-utils.h (rebuild_type_inheritance-hash): Declare.
* tree.c (free_lang_data_in_type): Fix handling of binfos;
walk basetypes.
(free_lang_data): Rebuild type inheritance graph.
* g++.dg/torture/pr85078.C: New.

From-SVN: r259264

6 years agoDaily bump.
GCC Administrator [Tue, 10 Apr 2018 00:16:21 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r259263

6 years agore PR c++/85227 (ICE with structured binding of a forward declared variable)
Paolo Carlini [Mon, 9 Apr 2018 22:33:35 +0000 (22:33 +0000)]
re PR c++/85227 (ICE with structured binding of a forward declared variable)

/cp
2018-04-09  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/85227
* decl.c (cp_finish_decomp): In a template, if the type is incomplete
issue a pedwarn and defer trying to do bindings.

/testsuite
2018-04-09  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/85227
* g++.dg/cpp1z/decomp44.C: New.
* g++.dg/cpp1z/decomp45.C: Likewise.

From-SVN: r259259

6 years agore PR fortran/83064 (DO CONCURRENT and auto-parallelization)
Thomas Koenig [Mon, 9 Apr 2018 21:52:05 +0000 (21:52 +0000)]
re PR fortran/83064 (DO CONCURRENT and auto-parallelization)

2018-04-09  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/83064
* trans-stmt.c (gfc_trans_forall_loop): Remove annotation for
parallell processing of DO CONCURRENT -ftree-parallelize-loops
is set.

2018-04-09  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/83064
* gfortran.dg/do_concurrent_5.f90: New test.
* gfortran.dg/vect/vect-do-concurrent-1.f90: Adjust dg-bogus
message.

From-SVN: r259258

6 years agoPR c++/85279 - dump_expr doesn't understand decltype.
Jason Merrill [Mon, 9 Apr 2018 21:16:05 +0000 (17:16 -0400)]
PR c++/85279 - dump_expr doesn't understand decltype.

* error.c (dump_expr): Handle DECLTYPE_TYPE.

From-SVN: r259257

6 years agore PR fortran/51260 (PARAMETER array with constructor initializer: Compile-time simpl...
Thomas Koenig [Mon, 9 Apr 2018 21:05:13 +0000 (21:05 +0000)]
re PR fortran/51260 (PARAMETER array with constructor initializer: Compile-time simplify single element access)

2018-04-09  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/51260
* resolve.c (resolve_variable): Simplify cases where access to a
parameter array results in a single constant.

2018-04-09  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/51260
* gfortran.dg/parameter_array_element_3.f90: New test.

From-SVN: r259256

6 years agoPR c++/85262 - ICE with redundant qualification on constructor.
Jason Merrill [Mon, 9 Apr 2018 20:53:31 +0000 (16:53 -0400)]
PR c++/85262 - ICE with redundant qualification on constructor.

* call.c (build_new_method_call_1): Move make_args_non_dependent
after A::A() handling.

From-SVN: r259255

6 years agoPR c++/85277 - ICE with invalid offsetof.
Jason Merrill [Mon, 9 Apr 2018 20:40:06 +0000 (16:40 -0400)]
PR c++/85277 - ICE with invalid offsetof.

* semantics.c (finish_offsetof): Avoid passing non-DECL to %qD.
Adjust -Winvalid-offsetof diagnostic to say conditionally supported.

From-SVN: r259254

6 years agoPR c++/85264 - ICE with excess template-parameter-list.
Jason Merrill [Mon, 9 Apr 2018 19:50:03 +0000 (15:50 -0400)]
PR c++/85264 - ICE with excess template-parameter-list.

* parser.c (cp_parser_check_template_parameters): Add template_id_p
parameter.  Don't allow an extra template header if true.
(cp_parser_class_head): Pass template_id_p.
(cp_parser_elaborated_type_specifier): Likewise.
(cp_parser_alias_declaration): Likewise.
(cp_parser_check_declarator_template_parameters): Likewise.

From-SVN: r259253

6 years agore PR c++/85194 (ICE with structured binding in broken for-loop)
Jakub Jelinek [Mon, 9 Apr 2018 19:48:48 +0000 (21:48 +0200)]
re PR c++/85194 (ICE with structured binding in broken for-loop)

PR c++/85194
* parser.c (cp_parser_simple_declaration): For structured bindings,
if *maybe_range_for_decl is NULL after parsing it, set it to
error_mark_node.

* g++.dg/cpp1z/decomp43.C: New test.

From-SVN: r259252

6 years agoinvoke.texi (-finline-small-functions): Mention other optimization options.
Martin Sebor [Mon, 9 Apr 2018 19:01:04 +0000 (19:01 +0000)]
invoke.texi (-finline-small-functions): Mention other optimization options.

gcc/doc/ChangeLog:

* invoke.texi (-finline-small-functions): Mention other optimization
options.
(-findirect-inlining, -fpartial-inlining): Same.
(-finline-functions-called-once): Same.
(-freorder-blocks-and-partition): Same.

From-SVN: r259250

6 years agore PR rtl-optimization/80463 (ICE with -fselective-scheduling2 and -fvar-tracking...
Jakub Jelinek [Mon, 9 Apr 2018 18:21:03 +0000 (20:21 +0200)]
re PR rtl-optimization/80463 (ICE with -fselective-scheduling2 and -fvar-tracking-assignments)

PR rtl-optimization/80463
* g++.dg/pr80463.C: Add -w to dg-options.

From-SVN: r259249

6 years agore PR rtl-optimization/84058 (RTl partitioning fixup should drag very small blocks...
Jan Hubicka [Mon, 9 Apr 2018 16:33:51 +0000 (18:33 +0200)]
re PR rtl-optimization/84058 (RTl partitioning fixup should drag very small blocks back to hot partition)

PR rtl/84058
* cfgcleanup.c (try_forward_edges): Do not give up on crossing
jumps; choose last target that matches the criteria (i.e.
no partition changes for non-crossing jumps).
* cfgrtl.c (cfg_layout_redirect_edge_and_branch): Add basic
support for redirecting crossing jumps to non-crossing.

From-SVN: r259244

6 years agoPR c++/85256 - ICE capturing pointer to VLA.
Jason Merrill [Mon, 9 Apr 2018 15:32:05 +0000 (11:32 -0400)]
PR c++/85256 - ICE capturing pointer to VLA.

* lambda.c (add_capture): Distinguish between variable-size and
variably-modified types.

From-SVN: r259240

6 years ago* g++.dg/opt/pr85196.C: Fix for -std=c++17.
Jason Merrill [Mon, 9 Apr 2018 15:31:59 +0000 (11:31 -0400)]
* g++.dg/opt/pr85196.C: Fix for -std=c++17.

From-SVN: r259239

6 years ago[ARC] Fix stack usage info for naked functions.
Alexey Brodkin [Mon, 9 Apr 2018 15:05:30 +0000 (15:05 +0000)]
[ARC] Fix stack usage info for naked functions.

gcc/
2018-04-09  Alexey Brodkin <abrodkin@synopsys.com>

* config/arc/arc.c (arc_expand_prologue): Set stack usage info
also for naked functions.

From-SVN: r259238

6 years ago[ARC] Add/update combiner patterns.
Claudiu Zissulescu [Mon, 9 Apr 2018 15:05:19 +0000 (17:05 +0200)]
[ARC] Add/update combiner patterns.

gcc/
2018-01-26  Claudiu Zissulescu  <claziss@synopsys.com>

* config/arc/arc.md (add_shift): New pattern.
(add_shift2): Likewise.
(sub_shift): Likewise.
(sub_shift_cmp0_noout): Likewise.
(compare_si_ashiftsi): Likewise.
(xbfu_cmp0_noout): New combine pattern.
(xbfu_cmp0"): Likewise.
(movsi_set_cc_insn): Place the predicable variant first.
(commutative_binary_cmp0_noout): Remove clobber.
(commutative_binary_cmp0): New pattern.
(noncommutative_binary_cmp0): Likewise.
(noncommutative_binary_cmp0_noout): Likewise.
(noncommutative_binary_comparison_result_used): Removed.
(rsub_cmp0): New pattern.
(rsub_cmp0_noout): Likewise.
(extzvsi): Changed, keep only meaningful variants.
(SQH, SEZ): New iterators.
(SQH_postfix): New mode attribute.
(SEZ_prefix): New code attribute.
(<SEZ_prefix>xt<SQH_postfix>_cmp0_noout): New instruction pattern.
(<SEZ_prefix>xt<SQH_postfix>_cmp0): Likewise.
* config/arc/predicates.md (cc_set_register): Use CC_REG instead
of numerical value.
(noncommutative_operator): Check the availability of barrel
shifter option.

From-SVN: r259237

6 years agore PR tree-optimization/85284 (Loop miscompilation starting with r238367)
Richard Biener [Mon, 9 Apr 2018 13:27:33 +0000 (13:27 +0000)]
re PR tree-optimization/85284 (Loop miscompilation starting with r238367)

2018-04-09  Richard Biener  <rguenther@suse.de>

PR tree-optimization/85284
* tree-ssa-loop-niter.c (number_of_iterations_exit_assumptions):
Only use the niter constraining form of simple_iv when the exit
is always executed.

* gcc.dg/torture/pr85284.c: New testcase.

From-SVN: r259234

6 years ago[nvptx] Add memory_barrier insn
Tom de Vries [Mon, 9 Apr 2018 13:22:00 +0000 (13:22 +0000)]
[nvptx] Add memory_barrier insn

2018-04-09  Tom de Vries  <tom@codesourcery.com>

PR target/84041
* config/nvptx/nvptx.md (define_c_enum "unspecv"): Add UNSPECV_MEMBAR.
(define_expand "*memory_barrier"): New define_expand.
(define_insn "memory_barrier"): New insn.

From-SVN: r259233

6 years agore PR rtl-optimization/80463 (ICE with -fselective-scheduling2 and -fvar-tracking...
Andrey Belevantsev [Mon, 9 Apr 2018 10:19:50 +0000 (13:19 +0300)]
re PR rtl-optimization/80463 (ICE with -fselective-scheduling2 and -fvar-tracking-assignments)

       PR rtl-optimization/80463
       PR rtl-optimization/83972
       PR rtl-optimization/83480

       * sel-sched-ir.c (has_dependence_note_mem_dep): Take into account the
       correct producer for the insn.
       (tidy_control_flow): Fixup seqnos in case of debug insns.

       * gcc.dg/pr80463.c: New test.
       * g++.dg/pr80463.C: Likewise.
       * gcc.dg/pr83972.c: Likewise.

From-SVN: r259231

6 years agore PR rtl-optimization/83913 (Compile time and memory hog w/ selective scheduling)
Andrey Belevantsev [Mon, 9 Apr 2018 09:42:25 +0000 (12:42 +0300)]
re PR rtl-optimization/83913 (Compile time and memory hog w/ selective scheduling)

       PR rtl-optimization/83913

       * sel-sched-ir.c (merge_expr_data): Choose the middle between two
       different sched-times when merging exprs.

       * gcc.dg/pr83913.c: New test.

From-SVN: r259230

6 years agore PR rtl-optimization/83962 (ICE: verify_flow_info failed (too many outgoing branch...
Andrey Belevantsev [Mon, 9 Apr 2018 09:16:34 +0000 (12:16 +0300)]
re PR rtl-optimization/83962 (ICE: verify_flow_info failed (too many outgoing branch edges from bb 8))

       PR rtl-optimization/83962

       * sel-sched-ir.c (tidy_control_flow): Correct the order in which we call
       tidy_fallthru_edge and tidy_control_flow.

       * gcc.dg/pr83962.c: New test.

From-SVN: r259229

6 years agore PR rtl-optimization/83530 (ICE in reset_sched_cycles_in_current_ebb, at sel-sched...
Andrey Belevantsev [Mon, 9 Apr 2018 09:08:28 +0000 (12:08 +0300)]
re PR rtl-optimization/83530 (ICE in reset_sched_cycles_in_current_ebb, at sel-sched.c:7150)

       PR rtl-optimization/83530

       * sel-sched.c (force_next_insn): New global variable.
       (remove_insn_for_debug): When force_next_insn is true, also leave only
       next insn in the ready list.
       (sel_sched_region): When the region wasn't scheduled, make another pass
       over it with force_next_insn set to 1.

       * gcc.dg/pr83530.c: New test.

From-SVN: r259228

6 years agoDaily bump.
GCC Administrator [Mon, 9 Apr 2018 00:16:27 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r259227

6 years agoinvoke.texi (-Wrestrict, [...]): Tweak text.
Martin Sebor [Sun, 8 Apr 2018 16:14:31 +0000 (10:14 -0600)]
invoke.texi (-Wrestrict, [...]): Tweak text.

gcc/ChangeLog:

* invoke.texi (-Wrestrict, -fprintf-return-value): Tweak text.

From-SVN: r259224

6 years ago[NDS32] Add intrinsic functions for interrupt control.
Monk Chiang [Sun, 8 Apr 2018 14:28:44 +0000 (14:28 +0000)]
[NDS32] Add intrinsic functions for interrupt control.

gcc/
* config.gcc (nds32le-*-*, nds32be-*-*): Add nds32/nds32_intrinsic.h
into tm_file.
* config/nds32/constants.md (unspec_volatile_element): Add enum values
for interrupt control.
* config/nds32/nds32-intrinsic.c: Implementation of intrinsic
functions for interrupt control.
* config/nds32/nds32-intrinsic.md: Likewise.
* config/nds32/nds32_intrinsic.h: Likewise.
* config/nds32/nds32.h (nds32_builtins): Likewise.

From-SVN: r259223

6 years ago[NDS32] Add strict_aligned_p to machine_function and implement TARGET_EXPAND_TO_RTL_HOOK.
Chung-Ju Wu [Sun, 8 Apr 2018 11:14:09 +0000 (11:14 +0000)]
[NDS32] Add strict_aligned_p to machine_function and implement TARGET_EXPAND_TO_RTL_HOOK.

gcc/
* config/nds32/nds32.c (nds32_init_machine_status,
nds32_legitimate_index_p, nds32_legitimate_address_p): Consider
strict_aligned_p field.
(nds32_expand_to_rtl_hook): New function.
(TARGET_EXPAND_TO_RTL_HOOK): Define.
* config/nds32/nds32.h (machine_function): Add strict_aligned_p field.

From-SVN: r259222

6 years ago[NDS32] Implement n7 pipeline.
Kito Cheng [Sun, 8 Apr 2018 09:21:30 +0000 (09:21 +0000)]
[NDS32] Implement n7 pipeline.

gcc/
* config.gcc (nds32*-*-*): Check that n7 is valid to --with-cpu.
* config/nds32/nds32-n7.md: New file.
* config/nds32/nds32-opts.h (nds32_cpu_type): Add CPU_N7.
* config/nds32/nds32-pipelines-auxiliary.c: Implementation for n7
pipeline.
* config/nds32/nds32-protos.h: More declarations for n7 pipeline.
* config/nds32/nds32.md (pipeline_model): Add n7.
* config/nds32/nds32.opt (mcpu): Support n7 pipeline cpus.
* config/nds32/pipelines.md: Include n7 settings.

Co-Authored-By: Chung-Ju Wu <jasonwucj@gmail.com>
From-SVN: r259221

6 years ago[NDS32] Implement e8 pipeline.
Kito Cheng [Sun, 8 Apr 2018 09:02:31 +0000 (09:02 +0000)]
[NDS32] Implement e8 pipeline.

gcc/
* config.gcc (nds32*-*-*): Check that e8 is valid to --with-cpu.
* config/nds32/nds32-e8.md: New file.
* config/nds32/nds32-opts.h (nds32-cpu_type): Add CPU_E8.
* config/nds32/nds32-pipelines-auxiliary.c: Implementation for e8
pipeline.
* config/nds32/nds32-protos.h: More declarations for e8 pipeline.
* config/nds32/nds32.md (pipeline_model): Add e8.
* config/nds32/nds32.opt (mcpu): Support e8 pipeline cpus.
* config/nds32/pipelines.md: Include e8 settings.

Co-Authored-By: Chung-Ju Wu <jasonwucj@gmail.com>
From-SVN: r259220

6 years ago[NDS32] Implement n8 pipeline.
Kito Cheng [Sun, 8 Apr 2018 08:31:52 +0000 (08:31 +0000)]
[NDS32] Implement n8 pipeline.

gcc/
* config.gcc (nds32*-*-*): Check that n6/n8/s8 are valid to --with-cpu.
* config/nds32/nds32-n8.md: New file.
* config/nds32/nds32-opts.h (nds32_cpu_type): Add CPU_N6 and CPU_N8.
* config/nds32/nds32-pipelines-auxiliary.c: Implementation for n8
pipeline.
* config/nds32/nds32-protos.h: More declarations for n8 pipeline.
* config/nds32/nds32-utils.c: More implementations for n8 pipeline.
* config/nds32/nds32.md (pipeline_model): Add n8.
* config/nds32/nds32.opt (mcpu): Support n8 pipeline cpus.
* config/nds32/pipelines.md: Include n8 settings.

Co-Authored-By: Chung-Ju Wu <jasonwucj@gmail.com>
From-SVN: r259219

6 years ago[NDS32] Implment n9 pipeline.
Kito Cheng [Sun, 8 Apr 2018 08:12:19 +0000 (08:12 +0000)]
[NDS32] Implment n9 pipeline.

gcc/
* config.gcc (nds32*): Add nds32-utils.o into extra_objs.
* config/nds32/nds32-n9-2r1w.md: New file.
* config/nds32/nds32-n9-3r2w.md: New file.
* config/nds32/nds32-opts.h (nds32_cpu_type, nds32_mul_type,
nds32_register_ports): New or modify for cpu n9.
* config/nds32/nds32-pipelines-auxiliary.c: Implementation for n9
pipeline.
* config/nds32/nds32-protos.h: More declarations for n9 pipeline.
* config/nds32/nds32-utils.c: New file.
* config/nds32/nds32.h (TARGET_PIPELINE_N9, TARGET_PIPELINE_SIMPLE,
TARGET_MUL_SLOW): Define.
* config/nds32/nds32.md (pipeline_model): New attribute.
* config/nds32/nds32.opt (mcpu, mconfig-mul, mconfig-register-ports):
New options that support cpu n9.
* config/nds32/pipelines.md: Include n9 settings.
* config/nds32/t-nds32 (nds32-utils.o): Add dependency.

Co-Authored-By: Chung-Ju Wu <jasonwucj@gmail.com>
From-SVN: r259218

6 years ago[NDS32] New option -malways-align and -malign-functions.
Chung-Ju Wu [Sun, 8 Apr 2018 06:00:34 +0000 (06:00 +0000)]
[NDS32] New option -malways-align and -malign-functions.

gcc/
* config/nds32/nds32-md-auxiliary.c (output_cond_branch): Output align
information if necessary.
(output_cond_branch_compare_zero): Likewise.
* config/nds32/nds32.c (nds32_adjust_insn_length): Consider align case.
(nds32_target_alignment): Refine for alignment.
* config/nds32/nds32.h (NDS32_ALIGN_P): Define.
(FUNCTION_BOUNDARY): Modify.
* config/nds32/nds32.md (call_internal, call_value_internal): Consider
align case.
* config/nds32/nds32.opt (malways-align, malign-functions): New.

From-SVN: r259217

6 years ago[NDS32] Add intrinsic functions for TLB operation and data prefech.
Monk Chiang [Sun, 8 Apr 2018 03:21:08 +0000 (03:21 +0000)]
[NDS32] Add intrinsic functions for TLB operation and data prefech.

gcc/
* config/nds32/constants.md (unspec_volatile_element): Add values for
TLB operation and data prefetch.
* config/nds32/nds32-intrinsic.c: Implementation of intrinsic
functions for TLB operation and data prefetch.
* config/nds32/nds32-intrinsic.md: Likewise.
* config/nds32/nds32_intrinsic.h: Likewise.
* config/nds32/nds32.c (nds32_dpref_names): Likewise.
(nds32_print_operand): Likewise.
* config/nds32/nds32.h (nds32_builtins): Likewise.

From-SVN: r259216

6 years agoDaily bump.
GCC Administrator [Sun, 8 Apr 2018 00:16:24 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r259215

6 years agore PR middle-end/82976 (Error: non-trivial conversion at assignment since r254526)
Thomas Koenig [Sat, 7 Apr 2018 23:52:03 +0000 (23:52 +0000)]
re PR middle-end/82976 (Error: non-trivial conversion at assignment since r254526)

2018-04-07  Thomas Koenig  <tkoenig@gcc.gnu.org>
Andrew Pinski <pinsika@gcc.gnu.org>

PR middle-end/82976
* match.pd: Use constant_boolean_node of correct type instead of
boolean_true_node or boolean_false_node for simplifying
pointer comparisons to zero.

2018-04-07  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR middle-end/82976
* gfortran.dg/realloc_on_assign_16a.f90: New test.

Co-Authored-By: Andrew Pinski <pinskia@gcc.gnu.org>
From-SVN: r259212

6 years agore PR tree-optimization/80021 (untranslateable diagnostic "type variant differs by...
Jakub Jelinek [Sat, 7 Apr 2018 10:57:53 +0000 (12:57 +0200)]
re PR tree-optimization/80021 (untranslateable diagnostic "type variant differs by " #flag ".")

PR tree-optimization/80021
* tree.c (verify_type_variant): Make error call in verify_variant_match
translatable and remove final full stop.

From-SVN: r259211

6 years ago[NDS32] Support dwarf exception handling.
Chung-Ju Wu [Sat, 7 Apr 2018 10:52:19 +0000 (10:52 +0000)]
[NDS32] Support dwarf exception handling.

gcc/
* config/nds32/constants.md (unspec_volatile_element): Add
UNSPEC_VOLATILE_EH_RETURN.
* config/nds32/nds32-md-auxiliary.c (nds32_output_stack_push,
nds32_output_stack_pop): Support dwarf exception handling process.
* config/nds32/nds32-protos.h (nds32_dynamic_chain_address): Declare.
* config/nds32/nds32.c (nds32_init_machine_status): Support dwarf
exception handling process.
(nds32_compute_stack_frame): Likewise.
(nds32_return_addr_rtx): Likewise.
(nds32_initial_elimination_offset): Likewise.
(nds32_expand_prologue): Likewise.
(nds32_expand_epilogue): Likewise.
(nds32_dynamic_chain_address): New function.
* config/nds32/nds32.h (machine_function): Add fields for dwarf
exception handling.
(DYNAMIC_CHAIN_ADDRESS): Define.
(EH_RETURN_DATA_REGNO): Define.
(EH_RETURN_STACKADJ_RTX): Define.
* config/nds32/nds32.md (eh_return, nds32_eh_return): Implement
patterns for dwarf exception handling.

From-SVN: r259210

6 years ago[NDS32] Clean up nds32.h.
Chung-Ju Wu [Sat, 7 Apr 2018 10:12:48 +0000 (10:12 +0000)]
[NDS32] Clean up nds32.h.

gcc/
* config/nds32/nds32.h: Clean up obsolete macros.

From-SVN: r259209

6 years ago[NDS32] Add intrinsic functions for particular instructions.
Monk Chiang [Sat, 7 Apr 2018 08:16:41 +0000 (08:16 +0000)]
[NDS32] Add intrinsic functions for particular instructions.

gcc/
* config/nds32/constants.md (unspec_element, unspec_volatile_element):
Add enum values for particular instructions.
* config/nds32/nds32-intrinsic.c: Implementation of expanding
particular intrinsic functions.
* config/nds32/nds32-intrinsic.md: Likewise.
* config/nds32/nds32_intrinsic.h: Likewise.
* config/nds32/nds32.h (nds32_builtins): Likewise.
* config/nds32/nds32.md (type): Add pbsad and pbsada.
(btst, ave): New patterns for particular instructions.

From-SVN: r259208

6 years ago[NDS32] Add intrinsic functions for atomic load/store and memory sync.
Monk Chiang [Sat, 7 Apr 2018 07:40:49 +0000 (07:40 +0000)]
[NDS32] Add intrinsic functions for atomic load/store and memory sync.

gcc/
* config/nds32/constants.md (unspec_element, unspec_volatile_element):
Add enum values for atomic load/store and memory sync.
* config/nds32/nds32-intrinsic.c: Implementation for atomic load/store
and memory sync.
* config/nds32/nds32-intrinsic.md: Likewise.
* config/nds32/nds32_intrinsic.h: Likewise.
* config/nds32/nds32.h (nds32_builtins): Likewise.

From-SVN: r259207

6 years agore PR tree-optimization/85257 (wrong code with -O -fno-tree-ccp and reading zeroed...
Jakub Jelinek [Sat, 7 Apr 2018 07:20:42 +0000 (09:20 +0200)]
re PR tree-optimization/85257 (wrong code with -O -fno-tree-ccp and reading zeroed vector member)

PR tree-optimization/85257
* fold-const.c (native_encode_vector): If not all elts could fit
and off is -1, return 0 rather than offset.
* tree-ssa-sccvn.c (vn_reference_lookup_3): Pass
(offseti - offset2) / BITS_PER_UNIT as 4th argument to
native_encode_expr.  Verify len * BITS_PER_UNIT >= maxsizei.  Don't
adjust buffer in native_interpret_expr call.

* gcc.dg/pr85257.c: New test.

From-SVN: r259206

6 years ago[NDS32] Add intrinsic functions for cache control.
Monk Chiang [Sat, 7 Apr 2018 06:21:56 +0000 (06:21 +0000)]
[NDS32] Add intrinsic functions for cache control.

gcc/
* config/nds32/constants.md (unspec_volatile_element): Add cache
control enum values.
* config/nds32/nds32-intrinsic.c: Add cache control expand functions.
* config/nds32/nds32-intrinsic.md: Add cache control patterns.
* config/nds32/nds32.c (nds32_cctl_names): New.
(nds32_print_operand): Handle cache control register names.
* config/nds32/nds32.h (nds32_builtins): New enum values.
* config/nds32/nds32_intrinsic.h: Add cache control enum types and
macros.
* config/nds32/nds32.md (type): Add mmu.
* config/nds32/pipelines.md (simple_insn): Add mmu.

From-SVN: r259205

6 years ago[NDS32] Remove unused insn type: call.
Chung-Ju Wu [Sat, 7 Apr 2018 05:49:58 +0000 (05:49 +0000)]
[NDS32] Remove unused insn type: call.

gcc/
* config/nds32/nds32.md (type): Remove call.
* config/nds32/pipelines.md (simple_insn): Likewise.

From-SVN: r259204

6 years ago[NDS32] Add intrinsic functions for FPU.
Monk Chiang [Sat, 7 Apr 2018 05:40:07 +0000 (05:40 +0000)]
[NDS32] Add intrinsic functions for FPU.

gcc/
* config/nds32/constants.md (unspec_volatile_element): Add
UNSPEC_VOLATILE_FMFCSR, UNSPEC_VOLATILE_FMTCSR and
UNSPEC_VOLATILE_FMFCFG.
* config/nds32/nds32-intrinsic.c (bdesc_noarg): New builtin
description for fmfcfg and fmfcsr.
(bdesc_1arg): Add fmtcsr.
(bdesc_2arg): Add fcpynss, fcpyss, fcpynsd and fcpysd.
(nds32_expand_builtin_impl): Deal with FPU intrinsic functions.
* config/nds32/nds32-intrinsic.md (unspec_fcpynsd, unspec_fcpysd,
unspec_fcpynss, unspec_fcpysd, unspec_fcpyss, unspec_fmfcsr,
unspec_fmfcfg): New patterns.
* config/nds32/nds32.h (nds32_builtins): Add NDS32_BUILTIN_FMFCFG,
NDS32_BUILTIN_FMFCSR, NDS32_BUILTIN_FMTCSR, NDS32_BUILTIN_FCPYNSS,
NDS32_BUILTIN_FCPYSS,NDS32_BUILTIN_FCPYNSD and NDS32_BUILTIN_FCPYSD.
* config/nds32/nds32_intrinsic.h (__nds32__fcpynsd, __nds32__fcpynss,
__nds32__fcpysd, __nds32__fcpyss, __nds32__fmfcsr, __nds32__fmtcsr,
__nds32__fmfcfg): Define.

From-SVN: r259203

6 years ago[NDS32] Add more intrinsic register names.
Monk Chiang [Sat, 7 Apr 2018 04:24:48 +0000 (04:24 +0000)]
[NDS32] Add more intrinsic register names.

gcc/
* config/nds32/nds32.c (nds32_intrinsic_register_names): Add more
intrinsic register names.
* config/nds32/nds32_intrinsic.h (nds32_intrinsic_registers): Add more
intrinsic register enum values and macros.

From-SVN: r259202

6 years ago[NDS32] Support [$ra + $rb << 3] form for load/store address.
Chung-Ju Wu [Sat, 7 Apr 2018 04:07:53 +0000 (04:07 +0000)]
[NDS32] Support [$ra + $rb << 3] form for load/store address.

gcc/
* config/nds32/nds32.c (nds32_legitimate_index_p): Modify condition
for load/store addressing form.
(nds32_print_operand_address): Likewise.

From-SVN: r259201

6 years agoDaily bump.
GCC Administrator [Sat, 7 Apr 2018 00:16:14 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r259200

6 years agore PR middle-end/85196 (ICE in extract_insn, at recog.c:2311: unrecognizable insn)
Eric Botcazou [Fri, 6 Apr 2018 22:30:05 +0000 (22:30 +0000)]
re PR middle-end/85196 (ICE in extract_insn, at recog.c:2311: unrecognizable insn)

PR target/85196
* config/sparc/sparc.c (sparc_expand_move): Deal with symbolic operands
based on LABEL_REF.  Remove useless assertion.
(pic_address_needs_scratch): Fix formatting.
(sparc_legitimize_pic_address): Minor tweaks.
(sparc_delegitimize_address): Adjust assertion accordingly.
* config/sparc/sparc.md (movsi_pic_label_ref): Change label_ref_operand
into symbolic_operand.
(movsi_high_pic_label_ref): Likewise.
(movsi_lo_sum_pic_label_ref): Likewise.
(movdi_pic_label_ref): Likewise.
(movdi_high_pic_label_ref): Likewise.
(movdi_lo_sum_pic_label_ref): Likewise.

From-SVN: r259194

6 years agoFix ChangeLog
Joel Sherrill [Fri, 6 Apr 2018 21:07:38 +0000 (21:07 +0000)]
Fix ChangeLog

From-SVN: r259193

6 years agoconfig.gcc (x86_64-*-rtems*): Add rtems.h to tm_file for custom LIB_SPEC setup.
Amaan Cheval [Fri, 6 Apr 2018 21:01:23 +0000 (21:01 +0000)]
config.gcc (x86_64-*-rtems*): Add rtems.h to tm_file for custom LIB_SPEC setup.

2018-04-06  Amaan Cheval  <amaan.cheval@gmail.com>

* config.gcc (x86_64-*-rtems*): Add rtems.h to tm_file for
custom LIB_SPEC setup.

From-SVN: r259192

6 years agoRISC-V: Support for FreeBSD.
Ruslan Bukin [Fri, 6 Apr 2018 20:04:17 +0000 (13:04 -0700)]
RISC-V: Support for FreeBSD.

gcc/
* config.gcc (riscv*-*-freebsd*): Add RISC-V FreeBSD support.
* config/riscv/freebsd.h: New.
libgcc/
* config.host (riscv*-*-freebsd*): Add RISC-V FreeBSD support.

From-SVN: r259190

6 years agore PR libfortran/85253 (asan detects heap-buffer-overflow in matmul_r4.c)
Thomas Koenig [Fri, 6 Apr 2018 18:49:21 +0000 (18:49 +0000)]
re PR libfortran/85253 (asan detects heap-buffer-overflow in matmul_r4.c)

2018-04-06  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR libfortran/85253
* m4/matmul_internal.m4: If ycount == 1, add one more row to
the internal buffer.
* generated/matmul_c10.c: Regenerated.
* generated/matmul_c16.c: Regenerated.
* generated/matmul_c4.c: Regenerated.
* generated/matmul_c8.c: Regenerated.
* generated/matmul_i1.c: Regenerated.
* generated/matmul_i16.c: Regenerated.
* generated/matmul_i2.c: Regenerated.
* generated/matmul_i4.c: Regenerated.
* generated/matmul_i8.c: Regenerated.
* generated/matmul_r10.c: Regenerated.
* generated/matmul_r16.c: Regenerated.
* generated/matmul_r4.c: Regenerated.
* generated/matmul_r8.c: Regenerated.
* generated/matmulavx128_c10.c: Regenerated.
* generated/matmulavx128_c16.c: Regenerated.
* generated/matmulavx128_c4.c: Regenerated.
* generated/matmulavx128_c8.c: Regenerated.
* generated/matmulavx128_i1.c: Regenerated.
* generated/matmulavx128_i16.c: Regenerated.
* generated/matmulavx128_i2.c: Regenerated.
* generated/matmulavx128_i4.c: Regenerated.
* generated/matmulavx128_i8.c: Regenerated.
* generated/matmulavx128_r10.c: Regenerated.
* generated/matmulavx128_r16.c: Regenerated.
* generated/matmulavx128_r4.c: Regenerated.
* generated/matmulavx128_r8.c: Regenerated.

From-SVN: r259188

6 years ago[NDS32] Refine ADJUST_INSN_LENGTH implementation.
Chung-Ju Wu [Fri, 6 Apr 2018 18:36:28 +0000 (18:36 +0000)]
[NDS32] Refine ADJUST_INSN_LENGTH implementation.

gcc/
* config/nds32/nds32.c (nds32_adjust_insn_length): Refine.
* config/nds32/nds32.h (ADJUST_INSN_LENGTH): Change the location in
file.

From-SVN: r259187

6 years ago[NDS32] Refine call and return patterns.
Chung-Ju Wu [Fri, 6 Apr 2018 18:27:51 +0000 (18:27 +0000)]
[NDS32] Refine call and return patterns.

gcc/
* config/nds32/nds32-md-auxiliary.c (nds32_output_return,
nds32_output_call, nds32_symbol_binds_local_p): New functions.
* config/nds32/nds32-protos.h (nds32_output_call,
nds32_output_return): Declare.
* config/nds32/nds32.md: Refine all the call and return patterns.

Co-Authored-By: Kito Cheng <kito.cheng@gmail.com>
From-SVN: r259186

6 years agoPR c++/85214 - ICE with alias, generic lambda, constexpr if.
Jason Merrill [Fri, 6 Apr 2018 18:09:53 +0000 (14:09 -0400)]
PR c++/85214 - ICE with alias, generic lambda, constexpr if.

Here, since the condition for the constexpr if depends on the type of 'j',
it's still dependent when we are partially instantiating the inner lambda,
so we need to defer instantiating the constexpr if.  When we instantiated
the inner lambda, we tried to substitute into the typename, which failed
because we didn't have a declaration of 'i' available.

Fixed by teaching extract_locals_r to capture local typedefs such as 'ar';
if we have the typedef handy, we don't need to substitute into its
definition.

* pt.c (extract_locals_r): Remember local typedefs.

From-SVN: r259185

6 years agoC++: more std header hints; filter on C++ dialect (PR c++/84269)
David Malcolm [Fri, 6 Apr 2018 17:36:33 +0000 (17:36 +0000)]
C++: more std header hints; filter on C++ dialect (PR c++/84269)

This patch adds more suggestions as per:
  https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84269#c10
some of which need C++14 and C++17, and some of which use headers that
exist in earlier standards.

For example, <memory> exists in C++98, but if the user attempts to
use std::make_shared with -std=c++98, they are suggested to include
<memory>, even if they've already included it.

This patch adds the missing names, and fixes the nonsensical suggestions
by detecting if the name isn't available yet, based on the user's
dialect, and reporting things more intelligently:

t.cc: In function 'void test_make_shared()':
t.cc:5:8: error: 'make_shared' is not a member of 'std'
   std::make_shared<int>();
        ^~~~~~~~~~~
t.cc:5:8: note: 'std::make_shared' is only available from C++11 onwards

gcc/cp/ChangeLog:
PR c++/84269
* name-lookup.c (struct std_name_hint): Move out of
get_std_name_hint; add field "min_dialect".
(get_std_name_hint): Add min_dialect values to all initializers.
Add <any>, <atomic>, <bitset>, <condition_variable>, <functional>,
<future>, <istream>, <iterator>, <ostream>, <mutex>, <optional>,
<shared_mutex>, <string_view>, <thread>, and <variant>.
Add fstream, ifstream, and ofstream to <fstream>.
Add istringstream, ostringstream, and stringstream to <sstream>.
Add basic_string to <string>.
Add tuple_element and tuple_size to <tuple>.
Add declval to <utility>.
Fix ordering of <queue> and <tuple>.
Return a std_name_hint, rather than a const char *.
(get_cxx_dialect_name): New function.
(maybe_suggest_missing_std_header): Detect names that aren't yet
available in the current dialect, and instead of suggesting a
missing #include, warn about the dialect.

gcc/testsuite/ChangeLog:
PR c++/84269
* g++.dg/lookup/missing-std-include-6.C: Move std::array and
std::tuple here since they need C++11.
* g++.dg/lookup/missing-std-include-8.C: New test.
* g++.dg/lookup/missing-std-include.C: Move std::array and
std::tuple test to missing-std-include-6.C to avoid failures
with C++98.

From-SVN: r259184

6 years agore PR debug/85252 (ICE with -g for static zero-length array initialization)
Jakub Jelinek [Fri, 6 Apr 2018 17:28:54 +0000 (19:28 +0200)]
re PR debug/85252 (ICE with -g for static zero-length array initialization)

PR debug/85252
* dwarf2out.c (rtl_for_decl_init): For STRING_CST initializer only
build CONST_STRING if TYPE_MAX_VALUE is non-NULL and is INTEGER_CST.

* gcc.dg/debug/pr85252.c: New test.

From-SVN: r259183

6 years agore PR rtl-optimization/84872 (ICE in create_preheader, at cfgloopmanip.c:1536)
Jakub Jelinek [Fri, 6 Apr 2018 17:28:02 +0000 (19:28 +0200)]
re PR rtl-optimization/84872 (ICE in create_preheader, at cfgloopmanip.c:1536)

PR rtl-optimization/84872
* cfgloopmanip.c (create_preheader): Use make_forwarder_block even if
nentry == 1 when CP_FALLTHRU_PREHEADERS and single_entry is
EDGE_CROSSING edge.

* gcc.dg/graphite/pr84872.c: New test.

From-SVN: r259182

6 years agore PR c++/85210 (ICE with broken structured binding in template)
Jakub Jelinek [Fri, 6 Apr 2018 17:27:01 +0000 (19:27 +0200)]
re PR c++/85210 (ICE with broken structured binding in template)

PR c++/85210
* pt.c (tsubst_decomp_names): Return error_mark_node and assert
errorcount is set if tsubst doesn't return a VAR_DECL.

* g++.dg/cpp1z/decomp42.C: New test.

From-SVN: r259181

6 years agoC++: suggest missing headers for implicit use of "std" (PR c++/85021)
David Malcolm [Fri, 6 Apr 2018 15:46:04 +0000 (15:46 +0000)]
C++: suggest missing headers for implicit use of "std" (PR c++/85021)

We provide fix-it hints for the most common "std" names when an explicit
"std::" prefix is present, however we don't yet provide fix-it hints for
this implicit case:

  using namespace std;
  void f() {  cout << "test"; }

for which we emit:

  t.cc: In function 'void f()':
  t.cc:2:13: error: 'cout' was not declared in this scope
  void f() {  cout << "test"; }
              ^~~~

This patch detects if a "using namespace std;" directive is present
in the current namespace, and if so, offers a suggestion for
unrecognized names that are in our list of common "std" names:

  t.cc: In function 'void f()':
  t.cc:2:13: error: 'cout' was not declared in this scope
   void f() {  cout << "test"; }
               ^~~~
  t.cc:2:13: note: 'std::cout' is defined in header '<iostream>'; did you forget to '#include <iostream>'?
  +#include <iostream>
   using namespace std;
   void f() {  cout << "test"; }
               ^~~~

gcc/cp/ChangeLog:
PR c++/85021
* name-lookup.c (using_directives_contain_std_p): New function.
(has_using_namespace_std_directive_p): New function.
(suggest_alternatives_for): Simplify if/else logic using early
returns.  If no candidates were found, and there's a
"using namespace std;" directive, call
maybe_suggest_missing_std_header.
(maybe_suggest_missing_header): Split later part of the function
into..
(maybe_suggest_missing_std_header): New.

gcc/testsuite/ChangeLog:
PR c++/85021
* g++.dg/lookup/missing-std-include-7.C: New test.

From-SVN: r259179

6 years agoPR c++/85242 - ICE with class definition in template parm.
Jason Merrill [Fri, 6 Apr 2018 15:12:34 +0000 (11:12 -0400)]
PR c++/85242 - ICE with class definition in template parm.

* cp-tree.h (PROCESSING_REAL_TEMPLATE_DECL_P): False if
processing_template_parmlist.

From-SVN: r259178

6 years agoPR c++/85240 - LTO ICE with using of undeduced auto fn.
Jason Merrill [Fri, 6 Apr 2018 15:12:28 +0000 (11:12 -0400)]
PR c++/85240 - LTO ICE with using of undeduced auto fn.

* cp-gimplify.c (cp_genericize_r): Discard using of undeduced auto.

From-SVN: r259177

6 years agoReverted commit r254862
Tamar Christina [Fri, 6 Apr 2018 13:16:39 +0000 (13:16 +0000)]
Reverted commit r254862

From-SVN: r259169

6 years agore PR tree-optimization/85244 (Bad optimisation with flexible array member (may be...
Richard Biener [Fri, 6 Apr 2018 11:47:18 +0000 (11:47 +0000)]
re PR tree-optimization/85244 (Bad optimisation with flexible array member (may be related to -ftree-dominator-opts))

2018-04-06  Richard Biener  <rguenther@suse.de>

PR middle-end/85244
* tree-dfa.c (get_ref_base_and_extent): Reset seen_variable_array_ref
after seeing a component reference with an adjacent field.  Treat
refs to arrays at struct end of external decls similar to
refs to unconstrained commons.

* gcc.dg/torture/pr85244-1.c: New testcase.
* gcc.dg/torture/pr85244-2.c: Likewise.

From-SVN: r259168

6 years agore PR sanitizer/85213 (-fsanitize=undefined internal compiler error: in fold_convert_...
Jakub Jelinek [Fri, 6 Apr 2018 11:24:36 +0000 (13:24 +0200)]
re PR sanitizer/85213 (-fsanitize=undefined internal compiler error: in fold_convert_loc, at fold-const.c:2402)

PR sanitizer/85213
* fold-const.c (twoval_comparison_p): Remove SAVE_P argument and don't
look through SAVE_EXPRs with non-side-effects argument.  Adjust
recursive calls.
(fold_comparison): Adjust twoval_comparison_p caller, don't handle
save_p here.

* c-c++-common/ubsan/pr85213.c: New test.

From-SVN: r259167

6 years agore PR rtl-optimization/85180 (Infinite loop in RTL DSE optimizer)
Richard Biener [Fri, 6 Apr 2018 08:30:52 +0000 (08:30 +0000)]
re PR rtl-optimization/85180 (Infinite loop in RTL DSE optimizer)

2018-04-06  Richard Biener  <rguenther@suse.de>

PR middle-end/85180
* alias.c (find_base_term): New wrapper around find_base_term
unwinding CSELIB_VAL_PTR changes.
(find_base_term): Do not restore CSELIB_VAL_PTR during the
recursion.

* gcc.dg/pr85180.c: New testcase.

From-SVN: r259166

6 years agoIBM Z: Fix vcond-shift testcase.
Andreas Krebbel [Fri, 6 Apr 2018 07:46:30 +0000 (07:46 +0000)]
IBM Z: Fix vcond-shift testcase.

gcc/testsuite/ChangeLog:

2018-04-06  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>

* gcc.target/s390/vector/vcond-shift.c: Use the proper conditions
to trigger the optimization. Do some cleanup and function
renaming.  Add more test functions.

From-SVN: r259165

6 years agoIBM Z: Use the dedicated NOP instructions for "nop"
Andreas Krebbel [Fri, 6 Apr 2018 07:45:42 +0000 (07:45 +0000)]
IBM Z: Use the dedicated NOP instructions for "nop"

We still use lr r0,r0 as a NOP instruction although we have some kind
of dedicated NOP instruction (nopr) which maps to a "branch never".

As a side-effect this fixes testcases scanning for NOPs
e.g. patchable_function_entry-*.

As another side-effect this makes it difficult to distingiush NOPs
generated for hotpatching from NOPs added when using -O0 to attach
location information to it.  Hence I had to make sure that the hotpatch
testcases get skipped when compiling without optimization.

gcc/ChangeLog:

2018-04-06  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>

* config/s390/s390.c (s390_z10_optimize_cmp): Expand dedicated NOP
instructions.
* config/s390/s390.md (UNSPECV_NOP_LR_0, UNSPECV_NOP_LR_1): New
constant definitions.
("nop"): lr 0,0 -> nopr r0
("nop_lr0", "nop_lr1"): New insn definitions.

gcc/testsuite/ChangeLog:

2018-04-06  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>

* gcc.target/s390/s390.exp: Remove -O0 from list of torture
options.
* gcc.target/s390/hotpatch-1.c: Skip when building without
optimization.
* gcc.target/s390/hotpatch-10.c: Likewise.
* gcc.target/s390/hotpatch-11.c: Likewise.
* gcc.target/s390/hotpatch-12.c: Likewise.
* gcc.target/s390/hotpatch-13.c: Likewise.
* gcc.target/s390/hotpatch-14.c: Likewise.
* gcc.target/s390/hotpatch-15.c: Likewise.
* gcc.target/s390/hotpatch-16.c: Likewise.
* gcc.target/s390/hotpatch-17.c: Likewise.
* gcc.target/s390/hotpatch-18.c: Likewise.
* gcc.target/s390/hotpatch-19.c: Likewise.
* gcc.target/s390/hotpatch-2.c: Likewise.
* gcc.target/s390/hotpatch-3.c: Likewise.
* gcc.target/s390/hotpatch-4.c: Likewise.
* gcc.target/s390/hotpatch-5.c: Likewise.
* gcc.target/s390/hotpatch-6.c: Likewise.
* gcc.target/s390/hotpatch-7.c: Likewise.
* gcc.target/s390/hotpatch-8.c: Likewise.
* gcc.target/s390/hotpatch-9.c: Likewise.

From-SVN: r259164

6 years agoWattributes.c testcase: Disable warning check for IBM Z.
Andreas Krebbel [Fri, 6 Apr 2018 07:43:53 +0000 (07:43 +0000)]
Wattributes.c testcase: Disable warning check for IBM Z.

On IBM Z we enforce function alignment to 8 bytes.  Hence we get an
error instead of a warning when trying to specify smaller alignments.

gcc/testsuite/ChangeLog:

2018-04-06  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>

* c-c++-common/Wattributes.c: Disable warning for s390* target and
check for an error instead.
* gcc.dg/Wattributes-6.c: Likewise.

From-SVN: r259163

6 years ago[NDS32] Refine condition of stack_push and stack_pop patterns.
Chung-Ju Wu [Fri, 6 Apr 2018 06:33:44 +0000 (06:33 +0000)]
[NDS32] Refine condition of stack_push and stack_pop patterns.

gcc/
* config/nds32/nds32.md (*stack_push, *stack_pop): Use
NDS32_V3PUSH_AVAILABLE_P macro.

From-SVN: r259162

6 years ago[NDS32] Add hard float support.
Monk Chiang [Fri, 6 Apr 2018 05:51:33 +0000 (05:51 +0000)]
[NDS32] Add hard float support.

gcc/
* config.gcc (nds32*-*-*): Add v2j v3f v3s checking.
(nds32*-*-*): Add float and fpu_config into supported_defaults.
* common/config/nds32/nds32-common.c (TARGET_DEFAULT_TARGET_FLAGS):
Include TARGET_DEFAULT_FPU_ISA and TARGET_DEFAULT_FPU_FMA.
* config/nds32/constants.md (unspec_element): Add UNSPEC_COPYSIGN,
UNSPEC_FCPYNSD, UNSPEC_FCPYNSS, UNSPEC_FCPYSD and UNSPEC_FCPYSS.
* config/nds32/constraints.md: New constraints and checking for hard
float configuration.
* config/nds32/iterators.md: New mode iterator and attribute for hard
float configuration.
* config/nds32/nds32-doubleword.md: Use hard float alternatives and
patterns.
* config/nds32/nds32-fpu.md: New file.
* config/nds32/nds32-md-auxiliary.c: New functions and checkings to
deal with hard float code generation.
* config/nds32/nds32-opts.h (nds32_arch_type): Add ARCH_V3F and
ARCH_V3S.
(abi_type, float_reg_number): New enum type.
* config/nds32/nds32-predicates.c: New predicates for hard float.
* config/nds32/nds32-protos.h: Declare functions for hard float.
* config/nds32/nds32.c: Implementation for hard float configuration.
* config/nds32/nds32.h: Definitions for hard float configuration.
* config/nds32/nds32.md: Include hard float machine description and
modify patterns for hard float configuration.
* config/nds32/nds32.opt: New options for hard float configuration.
* config/nds32/predicates.md: New predicates for hard float
configuration.

Co-Authored-By: Chung-Ju Wu <jasonwucj@gmail.com>
From-SVN: r259161

6 years ago[NDS32] Enable relax hint by default.
Kuan-Lin Chen [Fri, 6 Apr 2018 03:17:41 +0000 (03:17 +0000)]
[NDS32] Enable relax hint by default.

gcc/
* common/config/nds32/nds32-common.c
(nds32_option_optimization_table): Enable -mreleax-hint by default.

From-SVN: r259160

6 years agoDaily bump.
GCC Administrator [Fri, 6 Apr 2018 00:16:13 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r259159

6 years agore PR c++/85209 (ICE with lambda and structured binding)
Jakub Jelinek [Thu, 5 Apr 2018 21:30:47 +0000 (23:30 +0200)]
re PR c++/85209 (ICE with lambda and structured binding)

PR c++/85209
* pt.c (tsubst_decomp_names): Don't fail or ICE if DECL_CHAIN (decl3)
is not prev, if prev == decl.

* g++.dg/cpp1z/decomp39.C: New test.
* g++.dg/cpp1z/decomp40.C: New test.

From-SVN: r259156

6 years agore PR c++/85208 (ICE with #pragma weak and structured binding)
Jakub Jelinek [Thu, 5 Apr 2018 21:29:51 +0000 (23:29 +0200)]
re PR c++/85208 (ICE with #pragma weak and structured binding)

PR c++/85208
* decl.c (start_decl): For DECL_DECOMPOSITION_P decls, don't call
maybe_apply_pragma_weak here...
(cp_maybe_mangle_decomp): ... but call it here instead.

* g++.dg/cpp1z/decomp41.C: New test.

From-SVN: r259155

6 years agoPR c++/85136 - ICE with designated init in template.
Jason Merrill [Thu, 5 Apr 2018 19:43:39 +0000 (15:43 -0400)]
PR c++/85136 - ICE with designated init in template.

* decl.c (maybe_deduce_size_from_array_init): Handle dependent
designated initializer.
(check_array_designated_initializer): Update ce->index with the
constant value.

From-SVN: r259152

6 years agore PR middle-end/85195 (ICE: verify_gimple failed: non-trivial conversion at assignme...
Jakub Jelinek [Thu, 5 Apr 2018 18:35:16 +0000 (20:35 +0200)]
re PR middle-end/85195 (ICE: verify_gimple failed: non-trivial conversion at assignment with -O -fno-tree-ccp --param=sccvn-max-scc-size=10)

PR middle-end/85195
* match.pd (BIT_FIELD_REF CONSTRUCTOR@0 @1 @2): Use view_convert around
CONSTRUCTOR_ELT (ctor, ...)->value.

* gcc.dg/pr85195.c: New test.

From-SVN: r259149

6 years agoUse dlsym to check if libdl is needed for plugin
H.J. Lu [Thu, 5 Apr 2018 17:49:39 +0000 (17:49 +0000)]
Use dlsym to check if libdl is needed for plugin

config/plugins.m4 has

 if test "$plugins" = "yes"; then
    AC_SEARCH_LIBS([dlopen], [dl])
  fi

Plugin uses dlsym, but libasan.so only intercepts dlopen, not dlsym:

[hjl@gnu-tools-1 binutils-text]$ nm -D /lib64/libasan.so.4| grep " dl"
0000000000038580 W dlclose
                 U dl_iterate_phdr
000000000004dc50 W dlopen
                 U dlsym
                 U dlvsym
[hjl@gnu-tools-1 binutils-text]$

Testing dlopen for libdl leads to false negative when -fsanitize=address
is used.  It results in link failure:

../bfd/.libs/libbfd.a(plugin.o): undefined reference to symbol 'dlsym@@GLIBC_2.16'

dlsym should be used to check if libdl is needed for plugin.

PR gas/22318
* plugins.m4 (AC_PLUGINS): Use dlsym to check if libdl is needed.

From-SVN: r259140

6 years agoPR c++/83808 - ICE with VLA initialization.
Jason Merrill [Thu, 5 Apr 2018 17:17:11 +0000 (13:17 -0400)]
PR c++/83808 - ICE with VLA initialization.

* typeck2.c (process_init_constructor_array): Don't require a VLA
initializer to have VLA type.

From-SVN: r259138

6 years agore PR c++/80956 (ICE with abstract class vector)
Paolo Carlini [Thu, 5 Apr 2018 17:08:21 +0000 (17:08 +0000)]
re PR c++/80956 (ICE with abstract class vector)

/cp
2018-04-05  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/80956
* call.c (convert_like_real): Fail gracefully for a broken
std::initializer_list, missing a definition.

* name-lookup.c (do_pushtag): Tweak message, use %< and %>.

/testsuite
2018-04-05  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/80956
* g++.dg/cpp0x/initlist100.C: New.
* g++.dg/cpp0x/initlist101.C: Likewise.

From-SVN: r259137

6 years agore PR c++/84792 (ICE with broken typedef of a struct)
Paolo Carlini [Thu, 5 Apr 2018 17:05:03 +0000 (17:05 +0000)]
re PR c++/84792 (ICE with broken typedef of a struct)

/cp
2018-04-05  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/84792
* decl.c (grokdeclarator): Fix diagnostic about typedef name used
as nested-name-specifier, keep type and TREE_TYPE (decl) in sync.

/testsuite
2018-04-05  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/84792
* g++.dg/other/pr84792-1.C: New.
* g++.dg/other/pr84792-2.C: Likewise.

From-SVN: r259136