This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

[PATCH PR71437/V2]Simplify cond with assertions in threading


Hi,
This is the second try fixing PR71437.  The old version patch tried to fix issue in VRP but it requires further non-trivial change in VRP, specifically, to better support variable value ranges.  This is not appropriate at stage 4.  Alternatively, this patch tries to fix issue by improving threading.  It additionally simplifies condition by using assertion conditions.

Bootstrap and test on x86_64 and AArch64.  Is it OK?

Thanks,
bin

2017-02-13  Bin Cheng  <bin.cheng@arm.com>

	PR tree-optimization/71437
	* tree-ssa-loop-niter.c (tree_simplify_using_condition): Only
	expand condition if new parameter says so.  Also change it to
	global.
	* tree-ssa-loop-niter.h (tree_simplify_using_condition): New
	declaration.
	* tree-ssa-threadedge.c (tree-ssa-loop-niter.h): New include file.
	(simplify_control_stmt_condition_1): Simplify condition using
	assert conditions.

gcc/testsuite/ChangeLog
2017-02-13  Bin Cheng  <bin.cheng@arm.com>

	PR tree-optimization/71437
	* gcc.dg/tree-ssa/pr71437.c: New test.

Attachment: pr71437-20170203.txt
Description: pr71437-20170203.txt


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]