r275405 - in /branches/gcc-7-branch/gcc: Change...

[rguenth@gcc.gnu.org]

Author: rguenth
Date: Thu Sep  5 12:11:52 2019
New Revision: 275405

URL: https://gcc.gnu.org/viewcvs?rev=275405&root=gcc&view=rev
Log:
2019-09-05  Richard Biener  <rguenther@suse.de>

	* lto-streamer.h (LTO_minor_version): Bump.

	Backport from mainline
	2019-05-06  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/90328
	* tree-data-ref.h (dr_may_alias_p): Pass in the actual loop nest.
	* tree-data-ref.c (dr_may_alias_p): Check whether the clique
	is valid in the loop nest before using it.
	(initialize_data_dependence_relation): Adjust.
	* graphite-scop-detection.c (build_alias_set): Pass the SCOP enclosing
	loop as loop-nest to dr_may_alias_p.

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

	2019-03-08  Richard Biener  <rguenther@suse.de>

	PR middle-end/89578
	* cfgloop.h (struct loop): Add owned_clique field.
	* cfgloopmanip.c (copy_loop_info): Copy it.
	* tree-cfg.c (gimple_duplicate_bb): Do not remap owned_clique
	cliques.
	* tree-inline.c (copy_loops): Remap owned_clique.
	* lto-streamer-in.c (input_cfg): Stream owned_clique.
	* lto-streamer-out.c (output_cfg): Likewise.

	2019-02-22  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/87609
	* tree-cfg.c (gimple_duplicate_bb): Only remap inlined cliques.

	2019-02-22  Richard Biener  <rguenther@suse.de>

	PR middle-end/87609
	* cfghooks.h (dependence_hash): New typedef.
	(struct copy_bb_data): New type.
	(cfg_hooks::duplicate_block): Adjust to take a copy_bb_data argument.
	(duplicate_block): Likewise.
	* cfghooks.c (duplicate_block): Pass down copy_bb_data.
	(copy_bbs): Create and pass down copy_bb_data.
	* cfgrtl.c (cfg_layout_duplicate_bb): Adjust.
	(rtl_duplicate_bb): Likewise.
	* tree-cfg.c (gimple_duplicate_bb): If the copy_bb_data arg is not NULL
	remap dependence info.

	* gcc.dg/torture/restrict-7.c: New testcase.

	2019-02-22  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/87609
	* tree-core.h (tree_base): Document special clique values.
	* tree-inline.c (remap_dependence_clique): Do not use the
	special clique value of one.
	(maybe_set_dependence_info): Use clique one.
	(clear_dependence_clique): New callback.
	(compute_dependence_clique): Clear clique one from all refs
	before assigning it (again).

Added:
    branches/gcc-7-branch/gcc/testsuite/gcc.dg/torture/pr90328.c
    branches/gcc-7-branch/gcc/testsuite/gcc.dg/torture/restrict-7.c
Modified:
    branches/gcc-7-branch/gcc/ChangeLog
    branches/gcc-7-branch/gcc/cfghooks.c
    branches/gcc-7-branch/gcc/cfghooks.h
    branches/gcc-7-branch/gcc/cfgloop.h
    branches/gcc-7-branch/gcc/cfgloopmanip.c
    branches/gcc-7-branch/gcc/cfgrtl.c
    branches/gcc-7-branch/gcc/graphite-scop-detection.c
    branches/gcc-7-branch/gcc/lto-streamer-in.c
    branches/gcc-7-branch/gcc/lto-streamer-out.c
    branches/gcc-7-branch/gcc/lto-streamer.h
    branches/gcc-7-branch/gcc/testsuite/ChangeLog
    branches/gcc-7-branch/gcc/tree-cfg.c
    branches/gcc-7-branch/gcc/tree-core.h
    branches/gcc-7-branch/gcc/tree-data-ref.c
    branches/gcc-7-branch/gcc/tree-data-ref.h
    branches/gcc-7-branch/gcc/tree-inline.c
    branches/gcc-7-branch/gcc/tree-ssa-structalias.c