Commit 10dfbcba by Jeff Law Committed by Jeff Law

re PR tree-optimization/78496 (Missed opportunities for jump threading)

	PR tree-optimization/78496
	* tree-vrp.c (simplify_assert_expr_using_ranges): Remove debugging
	code.

From-SVN: r247722
parent 973dfbb4
2017-05-06 Jeff Law <law@redhat.com> 2017-05-06 Jeff Law <law@redhat.com>
PR tree-optimization/78496 PR tree-optimization/78496
* tree-vrp.c (simplify_assert_expr_using_ranges): Remove debugging
code.
PR tree-optimization/78496
* tree-vrp.c (simplify_assert_expr_using_ranges): New function. * tree-vrp.c (simplify_assert_expr_using_ranges): New function.
(simplify_stmt_using_ranges): Call it. (simplify_stmt_using_ranges): Call it.
(vrp_dom_walker::before_dom_children): Extract equivalences (vrp_dom_walker::before_dom_children): Extract equivalences
......
...@@ -9608,7 +9608,6 @@ range_fits_type_p (value_range *vr, unsigned dest_precision, signop dest_sgn) ...@@ -9608,7 +9608,6 @@ range_fits_type_p (value_range *vr, unsigned dest_precision, signop dest_sgn)
static bool static bool
simplify_assert_expr_using_ranges (gimple *stmt) simplify_assert_expr_using_ranges (gimple *stmt)
{ {
return false;
tree cond = TREE_OPERAND (gimple_assign_rhs1 (stmt), 1); tree cond = TREE_OPERAND (gimple_assign_rhs1 (stmt), 1);
tree_code code = TREE_CODE (cond); tree_code code = TREE_CODE (cond);
tree op0 = TREE_OPERAND (cond, 0); tree op0 = TREE_OPERAND (cond, 0);
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment