gcc.git
7 years ago* tree-cfg.c (gimple_find_sub_bbs): Fix profile updating.
Jan Hubicka [Mon, 3 Jul 2017 12:43:19 +0000 (14:43 +0200)]
* tree-cfg.c (gimple_find_sub_bbs): Fix profile updating.

From-SVN: r249908

7 years agotree-cfgcleanup.c (want_merge_blocks_p): New function.
Jan Hubicka [Mon, 3 Jul 2017 12:42:07 +0000 (14:42 +0200)]
tree-cfgcleanup.c (want_merge_blocks_p): New function.

* tree-cfgcleanup.c (want_merge_blocks_p): New function.
        (cleanup_tree_cfg_bb): Use it.
* profile-count.h (profile_count::of_for_merging, profile_count::merge):
New functions.
* tree-cfg.c (gimple_merge_blocks): Use profile_count::merge.

From-SVN: r249907

7 years agore PR target/81285 (r249888 breaks bootstrap on ppc64le)
Jan Hubicka [Mon, 3 Jul 2017 12:17:59 +0000 (14:17 +0200)]
re PR target/81285 (r249888 breaks bootstrap on ppc64le)

PR bootstrap/81285
* loop-doloop.c (add_test): Update profile.

From-SVN: r249904

7 years agoASAN: handle addressable params (PR sanitize/81040).
Martin Liska [Mon, 3 Jul 2017 11:48:47 +0000 (13:48 +0200)]
ASAN: handle addressable params (PR sanitize/81040).

2017-07-03  Martin Liska  <mliska@suse.cz>

PR sanitize/81040
* g++.dg/asan/function-argument-1.C: New test.
* g++.dg/asan/function-argument-2.C: New test.
* g++.dg/asan/function-argument-3.C: New test.
2017-07-03  Martin Liska  <mliska@suse.cz>

PR sanitize/81040
* sanopt.c (rewrite_usage_of_param): New function.
(sanitize_rewrite_addressable_params): Likewise.
(pass_sanopt::execute): Call rewrite_usage_of_param.

From-SVN: r249903

7 years agotree-vect-loop.c (vect_create_epilog_for_reduction): Revert back to using VIEW_CONVER...
Richard Biener [Mon, 3 Jul 2017 09:42:22 +0000 (09:42 +0000)]
tree-vect-loop.c (vect_create_epilog_for_reduction): Revert back to using VIEW_CONVERT_EXPR.

2017-07-03  Richard Biener  <rguenther@suse.de>

* tree-vect-loop.c (vect_create_epilog_for_reduction): Revert
back to using VIEW_CONVERT_EXPR.

From-SVN: r249902

7 years agoMake stack epilogue more efficient
Martin Liska [Mon, 3 Jul 2017 09:26:31 +0000 (11:26 +0200)]
Make stack epilogue more efficient

2017-07-03  Martin Liska  <mliska@suse.cz>

* asan.c (asan_emit_stack_protection): Unpoison just red zones
and shadow memory of auto variables which are subject of
use-after-scope sanitization.
(asan_expand_mark_ifn): Add do set only when is_poison.

From-SVN: r249900

7 years agotree-vect-loop.c (vect_analyze_loop_operations): Also analyze reduction PHIs.
Richard Biener [Mon, 3 Jul 2017 07:28:28 +0000 (07:28 +0000)]
tree-vect-loop.c (vect_analyze_loop_operations): Also analyze reduction PHIs.

2016-07-03  Richard Biener  <rguenther@suse.de>

* tree-vect-loop.c (vect_analyze_loop_operations): Also analyze
reduction PHIs.
(vect_force_simple_reduction): Record reduction def -> phi mapping.
(vectorizable_reduction): Perform reduction PHI creation when
visiting a reduction PHI and adjust and simplify code generation
phase of the reduction op.  Cache dts, use fold_binary, not fold_build2.
(vect_transform_loop): Visit reduction PHIs.
* tree-vect-slp.c (vect_get_and_check_slp_defs): Record reduction
defs into the SLP tree.
(vect_build_slp_tree): Reduction defs terminate the recursion.
* tree-vect-stmts.c (vect_get_vec_def_for_operand_1): Allow lookup
of reduction defs.
(vect_get_vec_defs_for_stmt_copy): Export.
(vect_get_vec_defs): Likewise.
* tree-vectorizer.h (struct _stmt_vec_info): Amend reduc_def
purpose.
(vect_get_vec_defs_for_stmt_copy): Declare.
(vect_get_vec_defs): Likewise.

From-SVN: r249897

7 years agoTweak BB analysis for dr_analyze_innermost
Richard Sandiford [Mon, 3 Jul 2017 07:26:21 +0000 (07:26 +0000)]
Tweak BB analysis for dr_analyze_innermost

dr_analyze_innermost had a "struct loop *nest" parameter that acted
like a boolean.  This was added in r179161, with the idea that a
null nest selected BB-level analysis rather than loop analysis.

The handling seemed strange though.  If the DR was part of a loop,
we still tried to express the base and offset values as IVs, potentially
giving a nonzero step.  If that failed for any reason, we'd revert to
using the original base and offset, just as we would if we hadn't asked
for an IV in the first place.

It seems more natural to use the !in_loop handling whenever nest is null
and always set the step to zero.  This actually enables one more SLP
opportunity in bb-slp-pr65935.c.

I checked out r179161 and tried the patch there.  The test case added
in that revision still passes, so I don't think there was any particular
need to check simple_iv.

2017-06-28  Richard Sandiford  <richard.sandiford@linaro.org>

gcc/
* tree-data-ref.c (dr_analyze_innermost): Replace the "nest"
parameter with a "loop" parameter and use it instead of the
loop containing DR_STMT.  Don't check simple_iv when doing
BB analysis.  Describe the two analysis modes in the comment.

gcc/testsuite/
* gcc.dg/vect/bb-slp-pr65935.c: Expect SLP to be used in main
as well.

From-SVN: r249896

7 years agoIgnore EDGE_{DFS_BACK,EXECUTABLE} in tail-merge
Tom de Vries [Mon, 3 Jul 2017 07:23:01 +0000 (07:23 +0000)]
Ignore EDGE_{DFS_BACK,EXECUTABLE} in tail-merge

2017-07-03  Tom de Vries  <tom@codesourcery.com>

PR tree-optimization/69468
* tree-ssa-tail-merge.c (ignore_edge_flags): New constant.
(find_same_succ_bb): Handle ignore_edge_flags.

* gcc.dg/pr81192.c: Update.

From-SVN: r249895

7 years agoDon't tail-merge blocks from different loops
Tom de Vries [Mon, 3 Jul 2017 07:21:34 +0000 (07:21 +0000)]
Don't tail-merge blocks from different loops

2017-07-03  Tom de Vries  <tom@codesourcery.com>

PR tree-optimization/81192
* tree-ssa-tail-merge.c (same_succ_hash): Use bb->loop_father->num in
hash.
(same_succ::equal): Don't find bbs to be equal if bb->loop_father
differs.
(find_same_succ_bb): Remove obsolete test on bb->loop_father->latch.

* gcc.dg/pr81192.c: Update.

From-SVN: r249894

7 years agoFix sigsegv in find_same_succ_bb
Tom de Vries [Mon, 3 Jul 2017 07:20:49 +0000 (07:20 +0000)]
Fix sigsegv in find_same_succ_bb

2017-07-03  Tom de Vries  <tom@codesourcery.com>

PR tree-optimization/81192
* tree-ssa-tail-merge.c (same_succ_flush_bb): Handle
BB_SAME_SUCC (bb) == NULL.

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

From-SVN: r249893

7 years agoDaily bump.
GCC Administrator [Mon, 3 Jul 2017 00:16:42 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r249892

7 years agocfgrtl.c (rtl_verify_edges): Enable checking of profile_probability consistency.
Jan Hubicka [Sun, 2 Jul 2017 22:27:50 +0000 (00:27 +0200)]
cfgrtl.c (rtl_verify_edges): Enable checking of profile_probability consistency.

* cfgrtl.c (rtl_verify_edges): Enable checking of profile_probability
consistency.

From-SVN: r249888

7 years agodumpfile.c: Include profile-count.h
Jan Hubicka [Sun, 2 Jul 2017 22:25:59 +0000 (00:25 +0200)]
dumpfile.c: Include profile-count.h

* dumpfile.c: Include profile-count.h
* tree-cfg.c (gimple_duplicate_sese_tail): Drop UNUSED attributes; update
profile.
(insert_cond_bb): Update profile.
* tree-cfg.h (insert_cond_bb): Update prototype.
* tree-chkp-opt.c (chkp_optimize_string_function_calls): Update.
* tree-dump.c: Do not include tree-cfg.

From-SVN: r249887

7 years ago* bb-reorder.c (fix_up_crossing_landing_pad): Update profile.
Jan Hubicka [Sun, 2 Jul 2017 22:18:21 +0000 (00:18 +0200)]
* bb-reorder.c (fix_up_crossing_landing_pad): Update profile.

From-SVN: r249886

7 years agoexpect.c (dw2_build_landing_pads): Update profile of the landing pad bb.
Jan Hubicka [Sun, 2 Jul 2017 22:16:30 +0000 (00:16 +0200)]
expect.c (dw2_build_landing_pads): Update profile of the landing pad bb.

* expect.c (dw2_build_landing_pads): Update profile of the landing pad
bb.

From-SVN: r249885

7 years ago* tree-complex.c (expand_complex_div_wide): update profile.
Jan Hubicka [Sun, 2 Jul 2017 22:11:14 +0000 (00:11 +0200)]
* tree-complex.c (expand_complex_div_wide): update profile.

From-SVN: r249884

7 years agoinclude/ChangeLog
Jan Kratochvil [Sun, 2 Jul 2017 20:00:48 +0000 (20:00 +0000)]
include/ChangeLog
2017-07-02  Jan Kratochvil  <jan.kratochvil@redhat.com>

        * dwarf2.def (DW_IDX_compile_unit, DW_IDX_type_unit, DW_IDX_die_offset)
        (DW_IDX_parent, DW_IDX_type_hash, DW_IDX_lo_user, DW_IDX_hi_user)
        (DW_IDX_GNU_internal, DW_IDX_GNU_external): New.
        * dwarf2.h (DW_IDX, DW_IDX_DUP, DW_FIRST_IDX, DW_END_IDX): New.
        (enum dwarf_name_index_attribute): Remove.
        (get_DW_IDX_name): New declaration.

libiberty/ChangeLog
2017-07-02  Jan Kratochvil  <jan.kratochvil@redhat.com>

        * dwarfnames.c (DW_FIRST_IDX, DW_END_IDX, DW_IDX, DW_IDX_DUP): New.

From-SVN: r249883

7 years agoeoshift0.c: For contiguous arrays, use block algorithm.
Thomas Koenig [Sun, 2 Jul 2017 12:34:52 +0000 (12:34 +0000)]
eoshift0.c: For contiguous arrays, use block algorithm.

2017-07-02  Thomas Koenig  <tkoenig@gcc.gnu.org>

* intrinsics/eoshift0.c:  For contiguous arrays, use
block algorithm.  Use memcpy where possible.

2017-07-02  Thomas Koenig  <tkoenig@gcc.gnu.org>

* gfortran/eoshift_3.f90:  New test.

From-SVN: r249882

7 years agoReorganise machmode.h headers
Richard Sandiford [Sun, 2 Jul 2017 09:06:10 +0000 (09:06 +0000)]
Reorganise machmode.h headers

This patch splits the auto-generated inline functions out of
insn-modes.h and puts them in a new header file, insn-modes-inline.h.
It also makes coretypes.h include these files directly, rather than
indirectly via machmode.h.  This in turn allows insn-modes-inline.h
and machmode.h to come later in the include list, after wide-int.h.
This is useful for later patches.

insn-modes.h itself still needs to come first, since it provides
configuration information like MAX_BITSIZE_MODE_ANY_INT, which is
used to control the size of a wide_int.

The patch also makes the generator files include machmode.h
via coretypes.h.  Previously they did it by more indirect means.

Finally, the patch makes wide-int-print.h available via coretypes.h
too.  There didn't seem to be any reason to force only the print
routines to be included directly, and it would be painful to extend
that approach to the SVE patches.

[Based on the code ARM contributed in branches/ARM/sve-branch@242100]

2017-07-02  Richard Sandiford  <richard.sandiford@linaro.org>
    Alan Hayward  <alan.hayward@arm.com>
    David Sherwood  <david.sherwood@arm.com>

contrib/header-tools/
* graph-header-logs (ignore): Update coretypes.h header list.

gcc/
* Makefile.in (MACHMODE_H): Remove insn-modes.h
(CORETYPES_H): New define.
(MOSTLYCLEANFILES): Add insn-modes-inline.h.
(insn-modes-inline.h, s-modes-inline-h): New rules.
(generated_files): Add insn-modes-inline.h.
(RTL_BASE_H, TREE_CORE_H): Use CORETYPES_H instead of coretypes.h.
(build/gensupport.o, build/ggc-none.o, build/print-rtl.o): Likewise.
(build/read-md.o, build/read-rtl.o, build/rtl.o): Likewise.
(build/vec.o, build/hash-table.o, build/inchash.o): Likewise.
(build/gencondmd.o, build/genattr.o, build/genattr-common.o): Likewise.
(build/genattrtab.o, build/genautomata.o, build/gencheck.o): Likewise.
(build/gencodes.o, build/genconditions.o): Likewise.
(build/genconfig.o, build/genconstants.o, build/genemit.o): Likewise.
(build/genenums.o, build/genextract.o, build/genflags.o): Likewise.
(build/gentarget-def.o, build/genmddeps.o, build/genopinit.o)
(build/genoutput.o, build/genpeep.o, build/genpreds.o): Likewise.
(build/genrecog.o, build/genmddump.o, build/genmatch.o): Likewise.
(build/gencfn-macros.o, build/gcov-iov.o): Likewise.
* coretypes.h: Include everything up to real.h for generators.
Include insn-modes.h first.  Include wide-int-print.h after
wide-int.h.  Include insn-modes-inline.h and then machmode.h.
* machmode.h: Don't include insn-modes.h here.
* function-tests.c: Remove includes of signop.h, machmode.h,
double-int.h and wide-int.h.
* rtl.h: Likewise.
* gcc-rich-location.c: Remove includes of machmode.h, double-int.h
and wide-int.h.
* optc-save-gen.awk: Likewise.
* gencheck.c (BITS_PER_UNIT): Delete dummy definition.
* godump.c: Remove include of wide-int-print.h.
* pretty-print.h: Likewise.
* wide-int-print.cc: Likewise.
* wide-int.cc: Likewise.
* hash-map-tests.c: Remove include of signop.h.
* hash-set-tests.c: Likewise.
* rtl-tests.c: Likewise.
* mkconfig.sh: Remove include of machmode.h.
* genmodes.c (emit_insn_modes_h): Split emission of inline functions
into...
(emit_insn_modes_inline_h): ...this new function.  Emit the code
into an insn-modes-inline.h header file, adding appropriate
include guards and end comments.
(emit_insn_modes_c_header): Remove include of machmode.h.
(emit_min_insn_modes_c_header): Include coretypes.h rather than
machmode.h.
(main): Handle -i flag and call emit_insn_modes_inline_h when
it is passed.

Co-Authored-By: Alan Hayward <alan.hayward@arm.com>
Co-Authored-By: David Sherwood <david.sherwood@arm.com>
From-SVN: r249881

7 years agoMake tree-ssa-strlen.c handle partial unterminated strings
Richard Sandiford [Sun, 2 Jul 2017 08:52:42 +0000 (08:52 +0000)]
Make tree-ssa-strlen.c handle partial unterminated strings

tree-ssa-strlen.c looks for cases in which a string is built up using
operations like:

    memcpy (a, "foo", 4);
    memcpy (a + 3, "bar", 4);
    int x = strlen (a);

As a side-effect, it optimises the non-final memcpys so that they don't
include the nul terminator.

However, after removing some "& ~0x1"s from tree-ssa-dse.c, the DSE pass
does this optimisation itself (because it can tell that later memcpys
overwrite the terminators).  The strlen pass wasn't able to handle these
pre-optimised calls in the same way as the unoptimised ones.

This patch adds support for tracking unterminated strings.

[Based on the code ARM contributed in branches/ARM/sve-branch@246236]

2017-07-02  Richard Sandiford  <richard.sandiford@linaro.org>

gcc/
* tree-ssa-strlen.c (strinfo): Rename the length field to
nonzero_chars.  Add a full_string_p field.
(compare_nonzero_chars, zero_length_string_p): New functions.
(get_addr_stridx): Add an offset_out parameter.
Use compare_nonzero_chars.
(get_stridx): Update accordingly.  Use compare_nonzero_chars.
(new_strinfo): Update after above changes to strinfo.
(set_endptr_and_length): Set full_string_p.
(get_string_length): Update after above changes to strinfo.
(unshare_strinfo): Update call to new_strinfo.
(maybe_invalidate): Likewise.
(get_stridx_plus_constant): Change off to unsigned HOST_WIDE_INT.
Use compare_nonzero_chars and zero_string_p.  Treat nonzero_chars
as a uhwi instead of an shwi.  Update after above changes to
strinfo and new_strinfo.
(zero_length_string): Assert that chainsi contains full strings.
Use zero_length_string_p.  Update call to new_strinfo.
(adjust_related_strinfos): Update after above changes to strinfo.
Copy full_string_p from origsi.
(adjust_last_stmt): Use zero_length_string_p.
(handle_builtin_strlen): Update after above changes to strinfo and
new_strinfo.  Install the lhs as the string length if the previous
entry didn't describe a full string.
(handle_builtin_strchr): Update after above changes to strinfo
and new_strinfo.
(handle_builtin_strcpy): Likewise.
(handle_builtin_strcat): Likewise.
(handle_builtin_malloc): Likewise.
(handle_pointer_plus): Likewise.
(handle_builtin_memcpy): Likewise.  Track nonzero characters
that aren't necessarily followed by a nul terminator.
(handle_char_store): Likewise.

gcc/testsuite/
* gcc.dg/strlenopt-32.c: New testcase.
* gcc.dg/strlenopt-33.c: Likewise.
* gcc.dg/strlenopt-33g.c: Likewise.
* gcc.dg/strlenopt-34.c: Likewise.
* gcc.dg/strlenopt-35.c: Likewise.

From-SVN: r249880

7 years agoPR 80769: Incorrect strlen optimisation
Richard Sandiford [Sun, 2 Jul 2017 08:43:11 +0000 (08:43 +0000)]
PR 80769: Incorrect strlen optimisation

In this testcase, we (correctly) record after:

  strcpy (p1, "abcde");
  char *p2 = strchr (p1, '\0');
  strcpy (p2, q);

that the length of p1 and p2 can be calculated by converting the
second strcpy to:

  tmp = stpcpy (p2, q)

and then doing tmp - p1 for p1 and tmp - p2 for p2.  This is delayed
until we know whether we actually need it.  Then:

  char *p3 = strchr (p2, '\0');

forces us to calculate the length of p2 in this way.  At this point
we had three related strinfos:

  p1: delayed length, calculated from tmp = stpcpy (p2, q)
  p2: known length, tmp - p2
  p3: known length, 0

After:

  memcpy (p3, "x", 2);

we use adjust_related_strinfos to add 1 to each length.  However,
that didn't do anything for delayed lengths because:

  else if (si->stmt != NULL)
    /* Delayed length computation is unaffected.  */
    ;

So after the memcpy we had:

  p1: delayed length, calculated from tmp = stpcpy (p2, q)
  p2: known length, tmp - p2 + 1
  p3: known length, 1

where the length of p1 was no longer correct.

2017-05-16  Richard Sandiford  <richard.sandiford@linaro.org>

gcc/
PR tree-optimization/80769
* tree-ssa-strlen.c (strinfo): Document that "stmt" is also used
for malloc and calloc.  Document the new invariant that all related
strinfos have delayed lengths or none do.
(verify_related_strinfos): Move earlier in file.
(set_endptr_and_length): New function, split out from...
(get_string_length): ...here.  Also set the lengths of related
strinfos.
(zero_length_string): Assert that chainsi has known (rather than
delayed) lengths.
(adjust_related_strinfos): Likewise.

gcc/testsuite/
PR tree-optimization/80769
* gcc.dg/strlenopt-31.c: New test.
* gcc.dg/strlenopt-31g.c: Likewise.

From-SVN: r249879

7 years agoPR81136: ICE from inconsistent DR_MISALIGNMENTs
Richard Sandiford [Sun, 2 Jul 2017 08:37:07 +0000 (08:37 +0000)]
PR81136: ICE from inconsistent DR_MISALIGNMENTs

The test case triggered this assert in vect_update_misalignment_for_peel:

      gcc_assert (DR_MISALIGNMENT (dr) / dr_size ==
                  DR_MISALIGNMENT (dr_peel) / dr_peel_size);

The problem was that:

- one memory reference guaranteed a high base alignment, when considering
  that reference in isolation.  This meant that we could calculate the
  vector misalignment for its DR at compile time.

- the other memory reference only guaranteed a low base alignment,
  when considering that reference in isolation.  We therefore couldn't
  calculate the vector misalignment for its DR at compile time.

- when looking at the values of the two addresses as a pair (rather
  than the memory references), it was obvious that they had the same
  misalignment, whatever that misalignment happened to be.

This is working as designed, so the patch restricts the assert to cases
in which both addresses have a compile-time misalignment.

In the test case this looks like a missed opportunity.  Both references
are unconditional, so it should be possible to use the highest of the
available base alignment guarantees when analyzing each reference.
A later patch does this, but the problem would still remain for
conditional references.

2017-07-02  Richard Sandiford  <richard.sandiford@linaro.org>

gcc/
PR tree-optimization/81136
* tree-vect-data-refs.c (vect_update_misalignment_for_peel): Only
assert that two references with the same misalignment have the same
compile-time misalignment if those compile-time misalignments
are known.

gcc/testsuite/
PR tree-optimization/81136
* gcc.dg/vect/pr81136.c: New test.

From-SVN: r249878

7 years agoAlways print attributes when dumping tree
Andi Kleen [Sun, 2 Jul 2017 00:18:37 +0000 (00:18 +0000)]
Always print attributes when dumping tree

A tree type dump currently doesn't print the attributes. Since we have
so many now and they do many interesting things dumping them can be
useful. So dump them by default for tree type dumps.

gcc/:

2017-07-01  Andi Kleen  <ak@linux.intel.com>

        * print-tree.c (print_node): Print all attributes.

From-SVN: r249877

7 years agoDaily bump.
GCC Administrator [Sun, 2 Jul 2017 00:16:34 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r249876

7 years agocfg.c (scale_bbs_frequencies): New function.
Jan Hubicka [Sat, 1 Jul 2017 20:46:40 +0000 (22:46 +0200)]
cfg.c (scale_bbs_frequencies): New function.

* cfg.c (scale_bbs_frequencies): New function.
* cfg.h (scale_bbs_frequencies): Declare it.
* cfgloopanal.c (single_likely_exit): Cleanup.
* cfgloopmanip.c (scale_loop_frequencies): Take profile_probability
as parameter.
(scale_loop_profile): Likewise.
(loop_version): Likewise.
(create_empty_loop_on_edge): Update.
* cfgloopmanip.h (scale_loop_frequencies, scale_loop_profile,
scale_loop_frequencies, scale_loop_profile, loopify,
loop_version): Update prototypes.
* modulo-sched.c (sms_schedule): Update.
* predict.c (unlikely_executed_edge_p): Also check probability.
(probably_never_executed_edge_p): Fix typo.
* tree-if-conv.c (version_loop_for_if_conversion): Update.
* tree-parloops.c (gen_parallel_loop): Update.
* tree-ssa-loop-ivcanon.c (try_peel_loop): Update.
* tree-ssa-loop-manip.c (tree_transform_and_unroll_loop): Update.
* tree-ssa-loop-split.c (split_loop): Update.
* tree-ssa-loop-unswitch.c (tree_unswitch_loop): Update.
* tree-vect-loop-manip.c (vect_do_peeling): Update.
(vect_loop_versioning): Update.
* tree-vect-loop.c (scale_profile_for_vect_loop): Update.

From-SVN: r249872

7 years ago* trans-mem.c (split_bb_make_tm_edge): Update profile.
Jan Hubicka [Sat, 1 Jul 2017 14:56:21 +0000 (16:56 +0200)]
* trans-mem.c (split_bb_make_tm_edge): Update profile.

From-SVN: r249871

7 years agotree-if-conv.c (combine_blocks): Use make_single_succ_edge to keep profile consistent.
Jan Hubicka [Sat, 1 Jul 2017 14:55:28 +0000 (16:55 +0200)]
tree-if-conv.c (combine_blocks): Use make_single_succ_edge to keep profile consistent.

* tree-if-conv.c (combine_blocks): Use make_single_succ_edge
to keep profile consistent.

From-SVN: r249870

7 years agocfgrtl.c (rtl_flow_call_edges_add): Update profile.
Jan Hubicka [Sat, 1 Jul 2017 12:31:25 +0000 (14:31 +0200)]
cfgrtl.c (rtl_flow_call_edges_add): Update profile.

* cfgrtl.c (rtl_flow_call_edges_add): Update profile.
* tree-cfg.c (gimple_flow_call_edges_add): Likewise.
* profile-count.h (max_safe_multiplier): Make unsigned.
(profile_count::guessed_zero): New.

From-SVN: r249869

7 years agobb-reorder.c (fix_up_crossing_landing_pad, [...]): Use make_single_succ_edge to keep...
Jan Hubicka [Sat, 1 Jul 2017 12:29:55 +0000 (14:29 +0200)]
bb-reorder.c (fix_up_crossing_landing_pad, [...]): Use make_single_succ_edge to keep profile consistent.

* bb-reorder.c (fix_up_crossing_landing_pad,
fix_crossing_conditional_branches): Use make_single_succ_edge
to keep profile consistent.

From-SVN: r249868

7 years agotree-vect-loop.c (optimize_mask_stores): Use make_single_succ_edge to update profile.
Jan Hubicka [Sat, 1 Jul 2017 12:05:29 +0000 (14:05 +0200)]
tree-vect-loop.c (optimize_mask_stores): Use make_single_succ_edge to update profile.

* tree-vect-loop.c (optimize_mask_stores): Use make_single_succ_edge
to update profile.

From-SVN: r249867

7 years agore PR sanitizer/81262 (verify_flow_info failed for asmgoto test-case with -fsanitize...
Jakub Jelinek [Sat, 1 Jul 2017 10:11:16 +0000 (12:11 +0200)]
re PR sanitizer/81262 (verify_flow_info failed for asmgoto test-case with -fsanitize=undefined)

PR sanitizer/81262
* bb-reorder.c (fix_up_fall_thru_edges): Move variable declarations to
the right scopes, make sure cond_jump isn't preserved between multiple
iterations.  Search for fallthru edge whenever there are 3+ edges and
use find_fallthru_edge for it.

From-SVN: r249866

7 years agore PR sanitizer/81262 (verify_flow_info failed for asmgoto test-case with -fsanitize...
Jakub Jelinek [Sat, 1 Jul 2017 08:16:27 +0000 (10:16 +0200)]
re PR sanitizer/81262 (verify_flow_info failed for asmgoto test-case with -fsanitize=undefined)

PR sanitizer/81262
* bb-reorder.c (fix_up_fall_thru_edges): Move variable declarations to
the right scopes, make sure cond_jump isn't preserved between multiple
iterations.  Search for fallthru edge whenever there are 3+ edges and
use find_fallthru_edge for it.

* gcc.c-torture/compile/pr81262.c: New test.
* g++.dg/ubsan/pr81262.C: New test.

From-SVN: r249865

7 years agoPatch by Alexander Monakov <amonakov@ispras.ru>
Jan Hubicka [Sat, 1 Jul 2017 07:47:22 +0000 (09:47 +0200)]
Patch by Alexander Monakov <amonakov@ispras.ru>

Patch by Alexander Monakov <amonakov@ispras.ru>
* sel-sched-ir.c (compute_succs_info): Handle uninitialized
probabilities consistently.

From-SVN: r249864

7 years agosel-sched-ir.c (compute_succs_info): Handle uninitialized probabilities consistently.
Jan Hubicka [Sat, 1 Jul 2017 07:44:45 +0000 (09:44 +0200)]
sel-sched-ir.c (compute_succs_info): Handle uninitialized probabilities consistently.

* sel-sched-ir.c (compute_succs_info): Handle uninitialized
probabilities consistently.

From-SVN: r249863

7 years agopa.c (pa_expand_compare_and_swap_loop): Update call of emit_cmp_and_jump_insns.
Jan Hubicka [Sat, 1 Jul 2017 07:28:27 +0000 (09:28 +0200)]
pa.c (pa_expand_compare_and_swap_loop): Update call of emit_cmp_and_jump_insns.

* pa.c (pa_expand_compare_and_swap_loop): Update call of
emit_cmp_and_jump_insns.

From-SVN: r249862

7 years agoDaily bump.
GCC Administrator [Sat, 1 Jul 2017 00:16:33 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r249861

7 years agore PR ipa/81261 (ICE with -fno-guess-branch-probability)
Jan Hubicka [Fri, 30 Jun 2017 21:09:13 +0000 (23:09 +0200)]
re PR ipa/81261 (ICE with -fno-guess-branch-probability)

PR ipa/81261
* tree-inline.c (expand_call_inline): Combine profile statuses.

From-SVN: r249856

7 years agoPR c++/81257 - ICE with invalid ::template.
Jason Merrill [Fri, 30 Jun 2017 21:08:53 +0000 (17:08 -0400)]
PR c++/81257 - ICE with invalid ::template.

PR c++/54769 - wrong lookup of dependent template-name.
* parser.c (cp_parser_template_name): Revert part of last change.

From-SVN: r249855

7 years agotree-if-conv.c (predicate_scalar_phi): Update new_stmt if fold_stmt returned true.
Andrew Pinski [Fri, 30 Jun 2017 20:40:38 +0000 (20:40 +0000)]
tree-if-conv.c (predicate_scalar_phi): Update new_stmt if fold_stmt returned true.

2017-06-30  Andrew Pinski  <apinski@cavium.com>

        * tree-if-conv.c (predicate_scalar_phi): Update new_stmt if
        fold_stmt returned true.
2017-06-30  Andrew Pinski  <apinski@cavium.com>

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

From-SVN: r249854

7 years agoconfig-lang.in (gtfiles): Add cp/lex.c.
Nathan Sidwell [Fri, 30 Jun 2017 18:46:01 +0000 (18:46 +0000)]
config-lang.in (gtfiles): Add cp/lex.c.

* config-lang.in (gtfiles): Add cp/lex.c.
* cp-tree.h (mangle_convop_name_for_type): Rename ...
(make_conv_op_name): ... here.  Move to lex.
* lambda.c (maybe_add_lambda_conv_op): Update.
* parser.c (cp_parser_conversion_function_id): Update.
* pt.c (tsubst_decl, tsubst_baselink, tsubst_copy,
tsubst_copy_and_build): Update.
* semantics.c (apply_deduced_return_type): Update.
* mangle.c (conv_type_hasher, conv_type_names,
mangle_conv_op_name_for_type): Move to ...
* lex.c (conv_type_hasher, conv_type_names, make_convop_name):
... here.  Rename.

* libcp1plugin.cc (plugin_build_decl): Use make_conv_op_name.
(plugin_build_dependent_expr): Likewise.

From-SVN: r249852

7 years agoggc.h (empty_string): Delete.
Nathan Sidwell [Fri, 30 Jun 2017 17:00:46 +0000 (17:00 +0000)]
ggc.h (empty_string): Delete.

* ggc.h (empty_string): Delete.
* cfgexpand.c (expand_asm_stmt): Use plain "".
* optabs.c (expand_asm_memory_barrier): Likewise.
* stringpool.c (empty_string): Delete.
(digit_vector, digit_string): Delete.
(ggc_alloc_string): Use plain "", don't optimize single digit
strings.  Use ggc_alloc_atomic.

From-SVN: r249851

7 years ago[rtlanal] Do a better job of costing parallel sets containing flag-setting operations.
Richard Earnshaw [Fri, 30 Jun 2017 16:36:57 +0000 (16:36 +0000)]
[rtlanal] Do a better job of costing parallel sets containing flag-setting operations.

Many parallel set insns are of the form of a single set that also sets
the condition code flags.  In this case the cost of such an insn is
normally the cost of the part that doesn't set the flags, since
updating the condition flags is simply a side effect.

At present all such insns are treated as having unknown cost (ie 0)
and combine assumes that such insns are infinitely more expensive than
any other insn sequence with a non-zero cost.

This patch addresses this problem by allowing insn_rtx_cost to ignore
the condition setting part of a PARALLEL iff there is exactly one
comparison set and one non-comparison set.  If the only set operation
is a comparison we still use that as the basis of the insn cost.

* rtlanal.c (insn_rtx_cost): If a parallel contains exactly one
comparison set and one other set, use the cost of the non-comparison
set.

Bootstrapped on aarch64-none-linuxgnu

From-SVN: r249850

7 years agoggc.h: Replace all 'static inline' with plain 'inline'.
Nathan Sidwell [Fri, 30 Jun 2017 16:10:13 +0000 (16:10 +0000)]
ggc.h: Replace all 'static inline' with plain 'inline'.

* ggc.h: Replace all 'static inline' with plain 'inline'.  Fix
some formatting.

From-SVN: r249848

7 years agotree-cfg.c (group_case_labels_stmt): Merge scanning and compressing loops.
Peter Bergner [Fri, 30 Jun 2017 16:04:08 +0000 (11:04 -0500)]
tree-cfg.c (group_case_labels_stmt): Merge scanning and compressing loops.

* tree-cfg.c (group_case_labels_stmt): Merge scanning and compressing
loops.  Remove now unneeded calls to gimple_switch_set_label() that
just set removed labels to NULL_TREE.

From-SVN: r249847

7 years agotree-ssanames.c (set_range_info_raw): Abstract from ...
Aldy Hernandez [Fri, 30 Jun 2017 15:36:41 +0000 (15:36 +0000)]
tree-ssanames.c (set_range_info_raw): Abstract from ...

* tree-ssanames.c (set_range_info_raw): Abstract from ...
(set_range_info): ...here.  Only call set_range_info_raw if domain
is useful.
(set_nonzero_bits): Call set_range_info_raw.
* tree-ssanames.h (set_range_info_raw): New.
testsuite/
* gcc.dg/Walloca-14.c: Adapt test to recognize new complaint of
unbounded use.

From-SVN: r249846

7 years agoFix location of typeid() (PR c++/80014)
David Malcolm [Fri, 30 Jun 2017 15:20:55 +0000 (15:20 +0000)]
Fix location of typeid() (PR c++/80014)

gcc/cp/ChangeLog:
PR c++/80014
* parser.c (cp_parser_postfix_expression): Construct a location
for typeid expressions.

gcc/testsuite/ChangeLog:
PR c++/80014
* g++.dg/plugin/diagnostic-test-expressions-1.C (std::type_info):
Add declaration.
(test_typeid): New test function.

From-SVN: r249845

7 years agore PR target/81225 (ICE with -mavx512ifma -O3 -ffloat-store)
Jakub Jelinek [Fri, 30 Jun 2017 14:52:24 +0000 (16:52 +0200)]
re PR target/81225 (ICE with -mavx512ifma -O3 -ffloat-store)

PR target/81225
* config/i386/sse.md (vec_extract_lo_<mode><mask_name>): For
V8FI, V16FI and VI8F_256 iterators, use <store_mask_predicate> instead
of nonimmediate_operand and <store_mask_constraint> instead of m for
the input operand.  For V8FI iterator, always split if input is a MEM.
For V16FI and V8SF_256 iterators, don't test if both operands are MEM
if <mask_applied>.  For VI4F_256 iterator, use <store_mask_predicate>
instead of register_operand and <store_mask_constraint> instead of v for
        the input operand.  Make sure both operands aren't MEMs for if not
<mask_applied>.

* gcc.target/i386/pr81225.c: New test.

From-SVN: r249844

7 years agocp-tree.h (lookup_fnfields_1, [...]): Don't declare.
Nathan Sidwell [Fri, 30 Jun 2017 14:50:48 +0000 (14:50 +0000)]
cp-tree.h (lookup_fnfields_1, [...]): Don't declare.

* cp-tree.h (lookup_fnfields_1, class_method_index_for_fn): Don't
declare.
(lookup_all_conversions): Declare.
* class.c (get_basefndecls): Use lookup_fnfields_slot.
* decl.c (register_dtor_fn): Use lookup_fnfields_slot.
* decl2.c (check_class_fn): Use lookup_fnfields_slot.  Rework
diagnostics.
* pt.c (retrieve_specialization): Use lookup_fnfields_slot.
(check_explicit_specialization): Use lookup_fnfields_slot_nolazy,
lookup_all_conversions.
* search.c (lookup_fnfields_1): Make static.
(lookup_all_conversions): New.
(class_method_index_for_fn): Delete.
* semantics.c (classtype_has_nothrow_assign_or_copy_p): Use
lookup_fnfields_slot.

* g++.dg/concepts/memfun-err.C: Adjust diagnostics.
* g++.dg/cpp0x/decltype9.C: Likewise.
* g++.dg/cpp0x/forw_enum9.C: Likewise.
* g++.dg/lookup/decl1.C: Likewise.
* g++.dg/lookup/extern-c-redecl.C: Likewise.
* g++.dg/other/pr28432.C: Likewise.
* g++.dg/parse/crash12.C: Likewise.
* g++.dg/parse/enum3.C: Likewise.
* g++.dg/parse/operator6.C: Likewise.
* g++.dg/template/crash69.C: Likewise.
* g++.dg/template/error27.C: Likewise.
* g++.dg/template/error28.C: Likewise.
* g++.dg/template/memfriend6.C: Likewise.
* g++.old-deja/g++.mike/err1.C: Likewise.
* g++.old-deja/g++.mike/p811.C: Likewise.
* g++.old-deja/g++.other/crash25.C: Likewise.
* g++.old-deja/g++.other/dtor4.C: Likewise.
* g++.old-deja/g++.pt/t37.C: Likewise.

From-SVN: r249843

7 years ago* lto-wrapper.c (copy_file) Close both file descriptors before
Sylvestre Ledru [Fri, 30 Jun 2017 14:17:54 +0000 (14:17 +0000)]
* lto-wrapper.c (copy_file) Close both file descriptors before
exiting normally.

From-SVN: r249841

7 years agoFix removal of ifunc (PR ipa/81214).
Martin Liska [Fri, 30 Jun 2017 13:51:19 +0000 (15:51 +0200)]
Fix removal of ifunc (PR ipa/81214).

2017-06-30  Martin Liska  <mliska@suse.cz>

PR ipa/81214
* gcc.target/i386/pr81214.c: New test.
2017-06-30  Martin Liska  <mliska@suse.cz>

PR ipa/81214
* multiple_target.c (create_dispatcher_calls): Make ifunc
also for function that don't have calls or are not referenced.

From-SVN: r249840

7 years agotree-vect-slp.c (vect_slp_analyze_node_operations): Only analyze the first scalar...
Richard Biener [Fri, 30 Jun 2017 13:19:29 +0000 (13:19 +0000)]
tree-vect-slp.c (vect_slp_analyze_node_operations): Only analyze the first scalar stmt.

2017-06-30  Richard Biener  <rguenther@suse.de>

* tree-vect-slp.c (vect_slp_analyze_node_operations): Only
analyze the first scalar stmt.  Move vector type computation
for the BB case here from ...
* tree-vect-stmts.c (vect_analyze_stmt): ... here.  Guard
live operation processing in the SLP case properly.

From-SVN: r249839

7 years agocall.c (build_new_method_call_1): Use constructo_name to get ctor name.
Nathan Sidwell [Fri, 30 Jun 2017 13:11:01 +0000 (13:11 +0000)]
call.c (build_new_method_call_1): Use constructo_name to get ctor name.

* call.c (build_new_method_call_1): Use constructo_name to get
ctor name.  Move argument processing earlier to merge cdtor
handling blocks.
* decl.c (grokfndecl): Cdtors have special names.
* method.c (implicitly_declare_fn): Likewise. Simplify flag setting.
* pt.c (check_explicit_specialization): Cdtor name is already
special.
* search.c (class_method_index_for_fn): Likewise.

* g++.dg/plugin/decl-plugin-test.C: Expect special ctor name.

From-SVN: r249838

7 years agore PR c++/81229 (ICE in c_tree_chain_next on aarch64)
Nathan Sidwell [Fri, 30 Jun 2017 11:40:08 +0000 (11:40 +0000)]
re PR c++/81229 (ICE in c_tree_chain_next on aarch64)

PR c++/81229
* name-lookup.c (do_pushdecl): Reset IDENTIFIER_TYPE when finding
a matching TYPE_DECL.

* g++.dg/lookup/pr81229.C: New.

From-SVN: r249835

7 years agograph.c (draw_cfg_node_succ_edges): Fix broken dot syntax.
Richard Biener [Fri, 30 Jun 2017 09:49:44 +0000 (09:49 +0000)]
graph.c (draw_cfg_node_succ_edges): Fix broken dot syntax.

2017-06-30  Richard Biener  <rguenther@suse.de>

* graph.c (draw_cfg_node_succ_edges): Fix broken dot syntax.

From-SVN: r249834

7 years agoCall BUILT_IN_ASAN_HANDLE_NO_RETURN before BUILT_IN_UNWIND_RESUME (PR sanitizer/81021).
Martin Liska [Fri, 30 Jun 2017 08:51:00 +0000 (10:51 +0200)]
Call BUILT_IN_ASAN_HANDLE_NO_RETURN before BUILT_IN_UNWIND_RESUME (PR sanitizer/81021).

2017-06-30  Martin Liska  <mliska@suse.cz>

PR sanitizer/81021
* g++.dg/asan/pr81021.C: New test.
2017-06-30  Martin Liska  <mliska@suse.cz>

PR sanitizer/81021
* tree-eh.c (lower_resx): Call BUILT_IN_ASAN_HANDLE_NO_RETURN
before BUILT_IN_UNWIND_RESUME when ASAN is used.

From-SVN: r249833

7 years agoDocumentation: Clean up AArch64 options.
Yvan Roux [Fri, 30 Jun 2017 08:36:57 +0000 (08:36 +0000)]
Documentation: Clean up AArch64 options.

gcc/
2017-06-30  Yvan Roux  <yvan.roux@linaro.org>

* doc/invoke.texi (AArch64): Add missing options and remove redundant
ones.

From-SVN: r249832

7 years agore PR tree-optimization/81249 (ICE: error: incompatible types in PHI argument 0)
Richard Biener [Fri, 30 Jun 2017 08:08:33 +0000 (08:08 +0000)]
re PR tree-optimization/81249 (ICE: error: incompatible types in PHI argument 0)

2017-06-30  Richard Biener  <rguenther@suse.de>

PR tree-optimization/81249
* tree-vect-loop.c (vect_create_epilog_for_reduction): Convert
condition reduction result to original scalar type.

* g++.dg/torture/pr81249.C: New testcase.

From-SVN: r249831

7 years agoprofile-count.h: Fix typos and whitespace issues.
Andreas Krebbel [Fri, 30 Jun 2017 06:46:42 +0000 (06:46 +0000)]
profile-count.h: Fix typos and whitespace issues.

gcc/ChangeLog:

2017-06-30  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>

* profile-count.h (enum profile_quality): Fix typos and whitespace
issues.

From-SVN: r249830

7 years agoS/390: Adjust to the recent branch probability changes.
Andreas Krebbel [Fri, 30 Jun 2017 06:45:51 +0000 (06:45 +0000)]
S/390: Adjust to the recent branch probability changes.

This fixes the bootstrap failure triggered by the recent changes wrt
branch probabilities aka emit_cmp_and_jump_insns does not accept
integers as branch probability anymore.

gcc/ChangeLog:

2017-06-30  Andreas Krebbel  <krebbel@linux.vnet.ibm.com>

* config/s390/s390.c (s390_expand_setmem): Adjust to the new data
type for branch probabilities.

From-SVN: r249829

7 years agoaarch64-fusion-pairs.def: Add ALU_BRANCH entry.
Julian Brown [Fri, 30 Jun 2017 03:58:48 +0000 (03:58 +0000)]
aarch64-fusion-pairs.def: Add ALU_BRANCH entry.

2017-06-29  Julian Brown  <julian@codesourcery.com>
    Naveen H.S  <Naveen.Hurugalawadi@cavium.com>

* config/aarch64/aarch64-fusion-pairs.def: Add ALU_BRANCH entry.
* config/aarch64/aarch64.c (AARCH64_FUSE_ALU_BRANCH): New fusion type.
(thunderx2t99_tunings): Set AARCH64_FUSE_ALU_BRANCH flag.
(aarch_macro_fusion_pair_p): Add support for AARCH64_FUSE_ALU_BRANCH.

Co-Authored-By: Naveen H.S <Naveen.Hurugalawadi@cavium.com>
From-SVN: r249828

7 years agoaarch64.c (aarch_macro_fusion_pair_p): Push the check for CC usage into AARCH64_FUSE_...
Naveen H.S [Fri, 30 Jun 2017 03:50:44 +0000 (03:50 +0000)]
aarch64.c (aarch_macro_fusion_pair_p): Push the check for CC usage into AARCH64_FUSE_CMP_BRANCH.

2017-06-29  Naveen H.S  <Naveen.Hurugalawadi@cavium.com>

* config/aarch64/aarch64.c (aarch_macro_fusion_pair_p): Push the
check for CC usage into AARCH64_FUSE_CMP_BRANCH.
* config/i386/i386.c (ix86_macro_fusion_pair_p): Push the check for
CC usage from generic code to here.
* sched-deps.c (sched_macro_fuse_insns): Move the condition for
CC usage into the target macros.

From-SVN: r249827

7 years agoDaily bump.
GCC Administrator [Fri, 30 Jun 2017 00:16:27 +0000 (00:16 +0000)]
Daily bump.

From-SVN: r249826

7 years agonetbsd.h (NETBSD_LIB_SPEC): Add -lc when creating shared objects.
Maya Rashish [Thu, 29 Jun 2017 23:23:06 +0000 (23:23 +0000)]
netbsd.h (NETBSD_LIB_SPEC): Add -lc when creating shared objects.

2017-06-29  Maya Rashish  <coypu@sdf.org>

* config/netbsd.h (NETBSD_LIB_SPEC): Add -lc when creating shared
objects.

From-SVN: r249822

7 years agoarm-builtins.c: Include profile-count.h
Jan Hubicka [Thu, 29 Jun 2017 22:38:30 +0000 (00:38 +0200)]
arm-builtins.c: Include profile-count.h

* arm/arm-builtins.c: Include profile-count.h
* except.c (sjlj_emit_function_enter): Use
profile_probability::unlikely.

From-SVN: r249821

7 years agoclass.c (add_method): Change pair of errors to error + inform.
Paolo Carlini [Thu, 29 Jun 2017 22:32:33 +0000 (22:32 +0000)]
class.c (add_method): Change pair of errors to error + inform.

/cp
2017-06-29  Paolo Carlini  <paolo.carlini@oracle.com>

* class.c (add_method): Change pair of errors to error + inform.
(handle_using_decl): Likewise.

/testsuite
2017-06-29  Paolo Carlini  <paolo.carlini@oracle.com>

* g++.dg/cpp0x/inh-ctor3.C: Adjust for dg-message vs dg-error.
* g++.dg/diagnostic/variadic1.C: Likewise.
* g++.dg/gomp/udr-3.C: Likewise.
* g++.dg/overload/error1.C: Likewise.
* g++.dg/overload/error2.C: Likewise.
* g++.dg/template/duplicate1.C: Likewise.
* g++.old-deja/g++.benjamin/warn02.C: Likewise.
* g++.old-deja/g++.brendan/arm2.C: Likewise.
* g++.old-deja/g++.other/redecl2.C: Likewise.
* g++.old-deja/g++.other/redecl4.C: Likewise.
* g++.old-deja/g++.pt/memtemp78.C: Likewise.

From-SVN: r249820

7 years ago* constexpr.c, error.c, tree.c: Remove WITH_CLEANUP_EXPR handling.
Jason Merrill [Thu, 29 Jun 2017 21:44:11 +0000 (17:44 -0400)]
* constexpr.c, error.c, tree.c: Remove WITH_CLEANUP_EXPR handling.

From-SVN: r249818

7 years agoPR c++/81180 - ICE with C++17 deduction of member class template.
Jason Merrill [Thu, 29 Jun 2017 21:13:43 +0000 (17:13 -0400)]
PR c++/81180 - ICE with C++17 deduction of member class template.

* pt.c (build_deduction_guide): Correct member template handling.

From-SVN: r249816

7 years agors6000.c (toc_relative_expr_p): Make tocrel_base and tocrel_offset be pointer args...
Aaron Sawdey [Thu, 29 Jun 2017 20:10:05 +0000 (20:10 +0000)]
rs6000.c (toc_relative_expr_p): Make tocrel_base and tocrel_offset be pointer args rather than implicitly using...

2017-06-29  Aaron Sawdey  <acsawdey@linux.vnet.ibm.com>

        * config/rs6000/rs6000.c (toc_relative_expr_p): Make tocrel_base
        and tocrel_offset be pointer args rather than implicitly using
        static versions.
        (legitimate_constant_pool_address_p, rs6000_emit_move,
        const_load_sequence_p, adjust_vperm): Add local tocrel_base and
        tocrel_offset and use in toc_relative_expr_p call.
        (print_operand, print_operand_address): Use static tocrel_base_oac
        and tocrel_offset_oac.
        (rs6000_output_addr_const_extra): Use static tocrel_base_oac and
        tocrel_offset_oac.

From-SVN: r249815

7 years agoPR c++/81188 - matching decltype of member function call.
Jason Merrill [Thu, 29 Jun 2017 19:44:12 +0000 (15:44 -0400)]
PR c++/81188 - matching decltype of member function call.

* tree.c (cp_tree_equal): Remove COMPONENT_REF special case.

From-SVN: r249813

7 years agobuiltins.md (ffssi2_internal): Correct constraint.
Maya Rashish [Thu, 29 Jun 2017 19:43:15 +0000 (19:43 +0000)]
builtins.md (ffssi2_internal): Correct constraint.

2017-06-29  Maya Rashish  <coypu@sdf.org>

* config/vax/builtins.md (ffssi2_internal): Correct constraint.

From-SVN: r249812

7 years agoexpr.c (expand_expr): When testing for unaligned objects...
Eric Botcazou [Thu, 29 Jun 2017 19:21:25 +0000 (19:21 +0000)]
expr.c (expand_expr): When testing for unaligned objects...

* expr.c (expand_expr) <normal_inner_ref>: When testing for unaligned
objects, take into account only the alignment of 'op0' and 'mode1' if
'op0' is a MEM.

From-SVN: r249811

7 years agore PR fortran/77765 (ICE in gfc_match_oacc_routine, at fortran/openmp.c:1781)
Cesar Philippidis [Thu, 29 Jun 2017 19:03:43 +0000 (12:03 -0700)]
re PR fortran/77765 (ICE in gfc_match_oacc_routine, at fortran/openmp.c:1781)

PR fortran/77765

gcc/fortran/
* openmp.c (gfc_match_oacc_routine): Check if proc_name exist before
comparing the routine name against it.

gcc/testsuite/
* gfortran.dg/goacc/pr77765.f90: New test.

From-SVN: r249809

7 years agoccmp_2.c: New test.
Steve Ellcey [Thu, 29 Jun 2017 18:23:40 +0000 (18:23 +0000)]
ccmp_2.c: New test.

2017-06-29  Steve Ellcey  <sellcey@cavium.com>

* gcc.target/aarch64/ccmp_2.c: New test.

From-SVN: r249806

7 years agoccmp.c (ccmp_tree_comparison_p): New function.
Steve Ellcey [Thu, 29 Jun 2017 18:20:14 +0000 (18:20 +0000)]
ccmp.c (ccmp_tree_comparison_p): New function.

2017-06-29  Steve Ellcey  <sellcey@cavium.com>

* ccmp.c (ccmp_tree_comparison_p): New function.
(ccmp_candidate_p): Update to use above function.
(get_compare_parts): New function.
(expand_ccmp_next): Update to use new functions.
(expand_ccmp_expr_1): Take tree arg instead of gimple, update to use
new functions.
(expand_ccmp_expr): Pass tree instead of gimple to expand_ccmp_expr_1,
take mode as argument.
* ccmp.h (expand_ccmp_expr): Add mode as argument.
* expr.c (expand_expr_real_1): Pass mode as argument.

From-SVN: r249805

7 years agore PR c++/81247 (ICE on invalid C++ code with malformed namespace declaration: in...
Nathan Sidwell [Thu, 29 Jun 2017 18:20:13 +0000 (18:20 +0000)]
re PR c++/81247 (ICE on invalid C++ code with malformed namespace declaration: in do_push_nested_namespace, at cp/name-lookup.c:6002)

PR c++/81247
* parser.c (cp_parser_namespace_definition): Immediately close the
namespace if there's no open-brace.
* name-lookup.c (do_pushdecl): Reset OLD when pushing into new
namespace.

From-SVN: r249804

7 years agobid2dpd_dpd2bid.c (_bid_to_dpd32): Fix whitespace.
Sylvestre Ledru [Thu, 29 Jun 2017 17:35:03 +0000 (17:35 +0000)]
bid2dpd_dpd2bid.c (_bid_to_dpd32): Fix whitespace.

* bid/bid2dpd_dpd2bid.c (_bid_to_dpd32): Fix whitespace.
(_dpd_to_bid32): Simplify identical code on multiple branches.
Fix whitespace.
(_bid_to_dpd64, _dpd_to_bid64): Likewise.
(_bid_to_dpd128, _dpd_to_bid128): Likewise.

From-SVN: r249803

7 years agocombine: Print insns with the cost dump
Segher Boessenkool [Thu, 29 Jun 2017 17:28:47 +0000 (19:28 +0200)]
combine: Print insns with the cost dump

In the combine dump file, at the start there is a list of the RTL cost
of every insn.  The only thing listed about the insns is the UID though.
To make it more useful, this patch prints the insn itself as well (in
slim format).

* combine.c (combine_instructions): Print insns to dump_file, together
with their costs.

From-SVN: r249802

7 years agoasan.c (asan_emit_stack_protection): Update.
Jan Hubicka [Thu, 29 Jun 2017 16:40:53 +0000 (18:40 +0200)]
asan.c (asan_emit_stack_protection): Update.

* asan.c (asan_emit_stack_protection): Update.
(create_cond_insert_point): Update.
* auto-profile.c (afdo_propagate_circuit): Update.
* basic-block.h (struct edge_def): Turn probability to
profile_probability.
(EDGE_FREQUENCY): Update.
* bb-reorder.c (find_traces_1_round): Update.
(better_edge_p): Update.
(sanitize_hot_paths): Update.
* cfg.c (unchecked_make_edge): Initialize probability to uninitialized.
(make_single_succ_edge): Update.
(check_bb_profile): Update.
(dump_edge_info): Update.
(update_bb_profile_for_threading): Update.
* cfganal.c (connect_infinite_loops_to_exit): Initialize new edge
probabilitycount to 0.
* cfgbuild.c (compute_outgoing_frequencies): Update.
* cfgcleanup.c (try_forward_edges): Update.
(outgoing_edges_match): Update.
(try_crossjump_to_edge): Update.
* cfgexpand.c (expand_gimple_cond): Update make_single_succ_edge.
(expand_gimple_tailcall): Update.
(construct_init_block): Use make_single_succ_edge.
(construct_exit_block): Use make_single_succ_edge.
* cfghooks.c (verify_flow_info): Update.
(redirect_edge_succ_nodup): Update.
(split_edge): Update.
(account_profile_record): Update.
* cfgloopanal.c (single_likely_exit): Update.
* cfgloopmanip.c (scale_loop_profile): Update.
(set_zero_probability): Remove.
(duplicate_loop_to_header_edge): Update.
* cfgloopmanip.h (loop_version): Update prototype.
* cfgrtl.c (try_redirect_by_replacing_jump): Update.
(force_nonfallthru_and_redirect): Update.
(update_br_prob_note): Update.
(rtl_verify_edges): Update.
(purge_dead_edges): Update.
(rtl_lv_add_condition_to_bb): Update.
* cgraph.c: (cgraph_edge::redirect_call_stmt_to_calle): Update.
* cgraphunit.c (init_lowered_empty_function): Update.
(cgraph_node::expand_thunk): Update.
* cilk-common.c: Include profile-count.h
* dojump.c (inv): Remove.
(jumpifnot): Update.
(jumpifnot_1): Update.
(do_jump_1): Update.
(do_jump): Update.
(do_jump_by_parts_greater_rtx): Update.
(do_compare_rtx_and_jump): Update.
* dojump.h (jumpifnot, jumpifnot_1, jumpif_1, jumpif, do_jump,
do_jump_1. do_compare_rtx_and_jump): Update prototype.
* dwarf2cfi.c: Include profile-count.h
* except.c (dw2_build_landing_pads): Use make_single_succ_edge.
(sjlj_emit_dispatch_table): Likewise.
* explow.c: Include profile-count.h
* expmed.c (emit_store_flag_force): Update.
(do_cmp_and_jump): Update.
* expr.c (compare_by_pieces_d::generate): Update.
(compare_by_pieces_d::finish_mode): Update.
(emit_block_move_via_loop): Update.
(store_expr_with_bounds): Update.
(store_constructor): Update.
(expand_expr_real_2): Update.
(expand_expr_real_1): Update.
* expr.h (try_casesi, try_tablejump): Update prototypes.
* gimple-pretty-print.c (dump_probability): Update.
(dump_profile): New.
(dump_gimple_label): Update.
(dump_gimple_bb_header): Update.
* graph.c (draw_cfg_node_succ_edges): Update.
* hsa-gen.c (convert_switch_statements): Update.
* ifcvt.c (cheap_bb_rtx_cost_p): Update.
(find_if_case_1): Update.
(find_if_case_2): Update.
* internal-fn.c (expand_arith_overflow_result_store): Update.
(expand_addsub_overflow): Update.
(expand_neg_overflow): Update.
(expand_mul_overflow): Update.
(expand_vector_ubsan_overflow): Update.
* ipa-cp.c (good_cloning_opportunity_p): Update.
* ipa-split.c (split_function): Use make_single_succ_edge.
* ipa-utils.c (ipa_merge_profiles): Update.
* loop-doloop.c (add_test): Update.
(doloop_modify): Update.
* loop-unroll.c (compare_and_jump_seq): Update.
(unroll_loop_runtime_iterations): Update.
* lra-constraints.c (lra_inheritance): Update.
* lto-streamer-in.c (input_cfg): Update.
* lto-streamer-out.c (output_cfg): Update.
* mcf.c (adjust_cfg_counts): Update.
* modulo-sched.c (sms_schedule): Update.
* omp-expand.c (expand_omp_for_init_counts): Update.
(extract_omp_for_update_vars): Update.
(expand_omp_ordered_sink): Update.
(expand_omp_for_ordered_loops): Update.
(expand_omp_for_generic): Update.
(expand_omp_for_static_nochunk): Update.
(expand_omp_for_static_chunk): Update.
(expand_cilk_for): Update.
(expand_omp_simd): Update.
(expand_omp_taskloop_for_outer): Update.
(expand_omp_taskloop_for_inner): Update.
* omp-simd-clone.c (simd_clone_adjust): Update.
* optabs.c (expand_doubleword_shift): Update.
(expand_abs): Update.
(emit_cmp_and_jump_insn_1): Update.
(expand_compare_and_swap_loop): Update.
* optabs.h (emit_cmp_and_jump_insns): Update prototype.
* predict.c (predictable_edge_p): Update.
(edge_probability_reliable_p): Update.
(set_even_probabilities): Update.
(combine_predictions_for_insn): Update.
(combine_predictions_for_bb): Update.
(propagate_freq): Update.
(estimate_bb_frequencies): Update.
(force_edge_cold): Update.
* profile-count.c (profile_count::dump): Add missing space into dump.
(profile_count::debug): Add newline.
(profile_count::differs_from_p): Explicitly convert to unsigned.
(profile_count::stream_in): Update.
(profile_probability::dump): New member function.
(profile_probability::debug): New member function.
(profile_probability::differs_from_p): New member function.
(profile_probability::differs_lot_from_p): New member function.
(profile_probability::stream_in): New member function.
(profile_probability::stream_out): New member function.
* profile-count.h (profile_count_quality): Rename to ...
(profile_quality): ... this one.
(profile_probability): New.
(profile_count): Update.
* profile.c (compute_branch_probabilities): Update.
* recog.c (peep2_attempt): Update.
* sched-ebb.c (schedule_ebbs): Update.
* sched-rgn.c (find_single_block_region): Update.
(compute_dom_prob_ps): Update.
(schedule_region): Update.
* sel-sched-ir.c (compute_succs_info): Update.
* stmt.c (struct case_node): Update.
(do_jump_if_equal): Update.
(get_outgoing_edge_probs): Update.
(conditional_probability): Update.
(emit_case_dispatch_table): Update.
(expand_case): Update.
(expand_sjlj_dispatch_table): Update.
(emit_case_nodes): Update.
* targhooks.c: Update.
* tracer.c (better_p): Update.
(find_best_successor): Update.
* trans-mem.c (expand_transaction): Update.
* tree-call-cdce.c: Update.
* tree-cfg.c (gimple_split_edge): Upate.
(move_sese_region_to_fn): Upate.
* tree-cfgcleanup.c (cleanup_control_expr_graph): Upate.
* tree-eh.c (lower_resx): Upate.
(cleanup_empty_eh_move_lp): Upate.
* tree-if-conv.c (version_loop_for_if_conversion): Update.
* tree-inline.c (copy_edges_for_bb): Update.
(copy_cfg_body): Update.
* tree-parloops.c (gen_parallel_loop): Update.
* tree-profile.c (gimple_gen_ic_func_profiler): Update.
(gimple_gen_time_profiler): Update.
* tree-ssa-dce.c (remove_dead_stmt): Update.
* tree-ssa-ifcombine.c (update_profile_after_ifcombine): Update.
* tree-ssa-loop-im.c (execute_sm_if_changed): Update.
* tree-ssa-loop-ivcanon.c (remove_exits_and_undefined_stmts): Update.
(unloop_loops): Update.
(try_peel_loop): Update.
* tree-ssa-loop-manip.c (tree_transform_and_unroll_loop): Update.
* tree-ssa-loop-split.c (connect_loops): Update.
(split_loop): Update.
* tree-ssa-loop-unswitch.c (tree_unswitch_loop): Update.
(hoist_guard): Update.
* tree-ssa-phionlycprop.c (propagate_rhs_into_lhs): Update.
* tree-ssa-phiopt.c (replace_phi_edge_with_variable): Update.
(value_replacement): Update.
* tree-ssa-reassoc.c (branch_fixup): Update.
* tree-ssa-tail-merge.c (replace_block_by): Update.
* tree-ssa-threadupdate.c (remove_ctrl_stmt_and_useless_edges): Update.
(create_edge_and_update_destination_phis): Update.
(compute_path_counts): Update.
(recompute_probabilities): Update.
(update_joiner_offpath_counts): Update.
(freqs_to_counts_path): Update.
(duplicate_thread_path): Update.
* tree-switch-conversion.c (hoist_edge_and_branch_if_true): Update.
(struct switch_conv_info): Update.
(gen_inbound_check): Update.
* tree-vect-loop-manip.c (slpeel_add_loop_guard): Update.
(vect_do_peeling): Update.
(vect_loop_versioning): Update.
* tree-vect-loop.c (scale_profile_for_vect_loop): Update.
(optimize_mask_stores): Update.
* ubsan.c (ubsan_expand_null_ifn): Update.
* value-prof.c (gimple_divmod_fixed_value): Update.
(gimple_divmod_fixed_value_transform): Update.
(gimple_mod_pow2): Update.
(gimple_mod_pow2_value_transform): Update.
(gimple_mod_subtract): Update.
(gimple_mod_subtract_transform): Update.
(gimple_ic): Update.
(gimple_stringop_fixed_value): Update.
(gimple_stringops_transform): Update.
* value-prof.h: Update.

From-SVN: r249800

7 years agoMakefile.am (MOSTLYCLEANFILES): Remove testing files and logs.
Ian Lance Taylor [Thu, 29 Jun 2017 16:01:38 +0000 (16:01 +0000)]
Makefile.am (MOSTLYCLEANFILES): Remove testing files and logs.

* Makefile.am (MOSTLYCLEANFILES): Remove testing files and logs.
(mostlyclean-local): Remove check-runtime-dir, cgo-test-dir,
carchive-test-dir.
(ECHO_ENV): Define.
(check-go-tool): Depend on cgo.  Write command to testlog.
(check-runtime): New target.
(check-cgo-test): New target.
(check-carchive-test): New target.
(check): Depend on check-runtime, check-cgo-test,
check-carchive-test.  Add @ to prettify output.
(.PHONY): Add check-runtime, check-cgo-test, check-carchive-test.
* Makefile.in: Rebuild.

From-SVN: r249799

7 years agors6000-c.c: Add support for built-in functions vector signed int vec_signed (vector...
Carl Love [Thu, 29 Jun 2017 15:39:57 +0000 (15:39 +0000)]
rs6000-c.c: Add support for built-in functions vector signed int vec_signed (vector float)...

gcc/ChangeLog:

2017-06-29  Carl Love  <cel@us.ibm.com>

* config/rs6000/rs6000-c.c: Add support for built-in functions
vector signed int vec_signed (vector float);
vector signed long long vec_signed (vector double);
vector signed int vec_signed2 (vector double, vector double);
vector signed int vec_signede (vector double);
vector signed int vec_signedo (vector double);
* config/rs6000/rs6000.c (rs6000_generate_vsigned2_code): Add
instruction generator.
* config/rs6000/vsx.md (UNSPEC_VSX_XVCVSPSXWS, UNSPEC_VSX_XVCVSPSXDS,
UNSPEC_VSX_VSIGNED2): Add UNSPECS.
(vsx_xvcvspsxws, vsx_xvcvdpuxds_scale, vsx_xvcvspuxws, vsigned2_v2df):
Add define_insn.
(vsignedo_v2df, vsignede_v2df, vunsigned2_v2df, vunsignedo_v2df,
vunsignede_v2df): Add define_expands.
* config/rs6000/rs6000-builtin.def (VEC_SIGNED, VEC_UNSIGNED,
VEC_SIGNED2, VEC_UNSIGNED2, VEC_SIGNEDE, VEC_UNSIGNEDE, VEC_SIGNEDO,
VEC_UNSIGNEDO): Add definitions.
* config/vsx.md (UNSPEC_VSX_XVCVSPSXWS, UNSPEC_VSX_XVCVSPSXDS,
UNSPEC_VSX_VSIGNED2): Add UNSPECs.
(vsx_xvcvspsxws, vsx_xvcvspuxws): Add define_insn.
(vsigned2_v2df, vsigendo_v2df, vsignede_v2df,
vunsigned2_v2df, vunsignedo_v2df, vunsignede_v2df): Add define_expands.
* config/rs6000/altivec.h (vec_signed, vec_signed2,
vec_signede and vec_signedo, vec_unsigned, vec_unsigned2,
vec_unsignede, vec_unsignedo): Add builtin defines.
* config/rs6000-protos.h (rs6000_generate_vsigned2_code): Add extern
declaration.
* doc/extend.texi: Update the built-in documentation file for the
new built-in functions.

gcc/testsuite/ChangeLog:

2017-06-29  Carl Love  <cel@us.ibm.com>

* gcc.target/powerpc/builtins-3-runnable.c (test_int_result,
test_unsigned_int_result, test_ll_int_result,
test_ll_unsigned_int_result): Add result checking functions, add
debug support.
(main): Add builtin function tests.

From-SVN: r249798

7 years agoPR c++/81164 - ICE with invalid inherited constructor.
Jason Merrill [Thu, 29 Jun 2017 15:30:11 +0000 (11:30 -0400)]
PR c++/81164 - ICE with invalid inherited constructor.

* search.c (binfo_direct_p): New.
* name-lookup.c (do_class_using_decl): Use it.

From-SVN: r249797

7 years agomisc/cgo/testcarchive: fix test to work for gccgo
Ian Lance Taylor [Thu, 29 Jun 2017 15:17:20 +0000 (15:17 +0000)]
misc/cgo/testcarchive: fix test to work for gccgo

    This test is not yet run, but it will be soon.

    Reviewed-on: https://go-review.googlesource.com/47038

From-SVN: r249795

7 years agocmd/go: fix -buildmode={c-archive,c-shared,pie} for gccgo
Ian Lance Taylor [Thu, 29 Jun 2017 15:14:05 +0000 (15:14 +0000)]
cmd/go: fix -buildmode={c-archive,c-shared,pie} for gccgo

    The tests are misc/cgo tests that are not currently run but will be
    run soon.

    Reviewed-on: https://go-review.googlesource.com/47037

From-SVN: r249794

7 years agobuiltins-3-vec_reve-runnable.c (dg-options, dg-skip-if): Add -mvsx -mcpu=power7.
Carl Love [Thu, 29 Jun 2017 15:11:25 +0000 (15:11 +0000)]
builtins-3-vec_reve-runnable.c (dg-options, dg-skip-if): Add -mvsx -mcpu=power7.

gcc/testsuite/ChangeLog:

2017-06-29  Carl Love  <cel@us.ibm.com>

* gcc.target/powerpc/builtins-3-vec_reve-runnable.c (dg-options,
dg-skip-if): Add -mvsx -mcpu=power7.

From-SVN: r249792

7 years agocp-tree.h (THIS_NAME, [...]): Delete.
Nathan Sidwell [Thu, 29 Jun 2017 14:49:46 +0000 (14:49 +0000)]
cp-tree.h (THIS_NAME, [...]): Delete.

* cp-tree.h (THIS_NAME, IN_CHARGE_NAME, VTBL_PTR_TYPE,
VTABLE_DELTA_NAME, VTABLE_PFN_NAME): Delete.
* decl.c (initialize_predefined_identifiers): Name cdtor special
names consistently.  Use literals for above deleted defines.
(cxx_init_decl_processing): Use literal for vtbl_ptr_type name,

From-SVN: r249791

7 years agolex.c (maybe_add_lang_type_raw): Exit early, rather than use a flag.
Nathan Sidwell [Thu, 29 Jun 2017 14:45:44 +0000 (14:45 +0000)]
lex.c (maybe_add_lang_type_raw): Exit early, rather than use a flag.

* lex.c (maybe_add_lang_type_raw): Exit early, rather than use a
flag.

From-SVN: r249790

7 years agocall.c (check_dtor_name): Use constructor_name for enums too.
Nathan Sidwell [Thu, 29 Jun 2017 14:38:09 +0000 (14:38 +0000)]
call.c (check_dtor_name): Use constructor_name for enums too.

* call.c (check_dtor_name): Use constructor_name for enums too.
(build_new_method_call_1): Use constructor_name for cdtors and
show ~ for dtor.
* class.c (build_self_reference): Use TYPE_NAME to get name of
self reference.
* name-lookup (constructor_name): Use DECL_NAME directly.
(constructor_name_p): Reimplement.
(push_class_level_binding_1): Use TYPE_NAME directly.

From-SVN: r249789

7 years agoclass.c (finish_struct): Use OVL_P.
Nathan Sidwell [Thu, 29 Jun 2017 14:28:24 +0000 (14:28 +0000)]
class.c (finish_struct): Use OVL_P.

* class.c (finish_struct): Use OVL_P.
(get_vfield_name): Measure constructor_name length.
* cp-tree.h (SET_CLASS_TYPE_P): Add RECORD_OR_UNION_CHECK.
(NON_UNION_CLASS_TYPE_P): Check RECORD_TYPE up front.
* cxx-pretty-print.c (is_destructor_name): Delete.
(pp_cxx_unqualified_id): Remove bogus destructor name checking.
* decl.c (grokfndecl): Move cheap checks first when looking for
implicit extern cness.

From-SVN: r249788

7 years agoparser.c (cp_parser_direct_declarator): Reorder if to avoid indentation.
Nathan Sidwell [Thu, 29 Jun 2017 14:16:58 +0000 (14:16 +0000)]
parser.c (cp_parser_direct_declarator): Reorder if to avoid indentation.

* parser.c (cp_parser_direct_declarator): Reorder if to avoid
indentation. Remove unnecessary assignment of constructor name.

From-SVN: r249787

7 years agoWhitespace cleanups.
Nathan Sidwell [Thu, 29 Jun 2017 14:13:11 +0000 (14:13 +0000)]
Whitespace cleanups.

* call.c (name_as_c_string): Move CONST_CAST to return.
(build_new_method_call_1): Remove unneeded bracing.
* class.c (include_empty_classes): Unbreak line.
* constraint.cc (tsubst_check_constraint): Add space.
* cp-tree.h (lang_decl_ns): Add comment.
(PTRMEM_CST_MEMBER): Break line.
* decl.c (grokfndecl): Add blank lines. Unbreak some others.
(grokdeclarator): Remove lines, move declaration to first use.
* decl2.c (decl_needed_p): Fix indentation.
(c_parse_final_cleanups): Remove blank line.
* method.c (implicitly_declare_fn): Move declaration to first use.
* search.c (current_scope): Add blank lines.

From-SVN: r249786

7 years agotree-vect-loop.c (vect_analyze_scalar_cycles_1): Do not add reduction chains to LOOP_...
Richard Biener [Thu, 29 Jun 2017 14:04:02 +0000 (14:04 +0000)]
tree-vect-loop.c (vect_analyze_scalar_cycles_1): Do not add reduction chains to LOOP_VINFO_REDUCTIONS.

2017-06-29  Richard Biener  <rguenther@suse.de>

* tree-vect-loop.c (vect_analyze_scalar_cycles_1): Do not add
reduction chains to LOOP_VINFO_REDUCTIONS.
* tree-vect-slp.c (vect_analyze_slp): Continue looking for
SLP reductions after processing reduction chains.

* gcc.dg/vect/slp-reduc-8.c: New testcase.

From-SVN: r249785

7 years agobuiltins.c (fold_builtin_FUNCTION): Use lang_hooks.decl_printable_name.
Nathan Sidwell [Thu, 29 Jun 2017 14:00:44 +0000 (14:00 +0000)]
builtins.c (fold_builtin_FUNCTION): Use lang_hooks.decl_printable_name.

gcc/
* builtins.c (fold_builtin_FUNCTION): Use
lang_hooks.decl_printable_name.

gcc/cp/
* g++.dg/cpp1y/builtin_FUNCTION.C: New.

From-SVN: r249784

7 years agore PR middle-end/81194 (ICE during RTL pass: expand)
Peter Bergner [Thu, 29 Jun 2017 12:58:32 +0000 (07:58 -0500)]
re PR middle-end/81194 (ICE during RTL pass: expand)

gcc/
PR middle-end/81194
* cfgexpand.c (expand_gimple_stmt_1): Handle switch statements
with only one label.
* stmt.c (expand_case): Assert NCASES is greater than one.

gcc/testsuite/
PR middle-end/81194
* g++.dg/pr81194.C: New test.

From-SVN: r249783

7 years agoAdd a testcase for PR ipa/80565
H.J. Lu [Thu, 29 Jun 2017 12:53:47 +0000 (12:53 +0000)]
Add a testcase for PR ipa/80565

The testcase in

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80565

is passing now.  Check in the testcase and resolve it as fixed.

PR ipa/80565
* gcc.dg/torture/pr80565.c: New file.

From-SVN: r249782

7 years agotree-cfg.c (group_case_labels_stmt): Return whether we changed anything.
Richard Biener [Thu, 29 Jun 2017 11:25:29 +0000 (11:25 +0000)]
tree-cfg.c (group_case_labels_stmt): Return whether we changed anything.

2017-06-29  Richard Biener  <rguenther@suse.de>

* tree-cfg.c (group_case_labels_stmt): Return whether we changed
anything.
(group_case_labels): Likewise.
(find_taken_edge): Push sanity checking on val to workers...
(find_taken_edge_cond_expr): ... here
(find_taken_edge_switch_expr): ... and here, handle cases
with just a default label.
* tree-cfg.h (group_case_labels_stmt): Adjust prototype.
(group_case_labels): Likewise.
* tree-cfgcleanup.c (execute_cleanup_cfg_post_optimizing): When
group_case_labels does anything cleanup the CFG again.

From-SVN: r249780

7 years agore PR tree-optimization/81196 (Number of iterations found for p!=q but not for p<q)
Bin Cheng [Thu, 29 Jun 2017 10:41:28 +0000 (10:41 +0000)]
re PR tree-optimization/81196 (Number of iterations found for p!=q but not for p<q)

PR tree-optimization/81196
* tree-ssa-loop-niter.c (number_of_iterations_cond): Handle loop
exit condition comparing two IVs.

gcc/testsuite
* gcc.dg/vect/pr81196.c: New.

From-SVN: r249778

7 years ago[arm] Fix bootstrap - missing initializer in tail entry of autogenerated code
Richard Earnshaw [Thu, 29 Jun 2017 10:24:04 +0000 (10:24 +0000)]
[arm] Fix bootstrap - missing initializer in tail entry of autogenerated code

My patch yesterday accidentally missed a hunk that added the
update to the tail entry of the autogenerated data structure
produced by parsecpu.awk.  This causes native bootstraps to
fail.

This patch adds back the missing hunk.

2017-06-29  Richard Earnshaw  <rearnsha@arm.com>

* config/arm/parsecpu.awk (gen_comm_data): Add initializer for
profile to the dummy entry at the end of the list of architectures.
* config/arm/arm-cpu-cdata.h: Regenerated.

From-SVN: r249777

7 years ago2017-06-29 Michael Collison <michael.collison@arm.com>
Michael Collison [Thu, 29 Jun 2017 09:24:45 +0000 (09:24 +0000)]
2017-06-29  Michael Collison  <michael.collison@arm.com>

Fix date on prevfious ChangeLog entry.

From-SVN: r249775

7 years agore PR target/70119 (AArch64 should take advantage of implicit truncation of variable...
Kyrylo Tkachov [Thu, 29 Jun 2017 09:21:57 +0000 (09:21 +0000)]
re PR target/70119 (AArch64 should take advantage of implicit truncation of variable shift amount without defining SHIFT_COUNT_TRUNCATED)

2017-06-29  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>
    Michael Collison <michael.collison@arm.com>

PR target/70119
* config/aarch64/aarch64.md (*aarch64_<optab>_reg_<mode>3_mask1):
New pattern.
(*aarch64_reg_<mode>3_neg_mask2): New pattern.
(*aarch64_reg_<mode>3_minus_mask): New pattern.
(*aarch64_<optab>_reg_di3_mask2): New pattern.
* config/aarch64/aarch64.c (aarch64_rtx_costs): Account for cost
of shift when the shift amount is masked with constant equal to
the size of the mode.
* config/aarch64/predicates.md (subreg_lowpart_operator): New
predicate.

2017-06-29  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>
    Michael Collison <michael.collison@arm.com>

PR target/70119
* gcc.target/aarch64/var_shift_mask_1.c: New test.

Co-Authored-By: Michael Collison <michael.collison@arm.com>
From-SVN: r249774