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] |
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] |