From 7d7f92889b79484dc5e13f63e396a9f540b6206a Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Wed, 12 Oct 2016 07:16:01 +0000 Subject: [PATCH] match.pd ((X /[ex] A) * A -> X): Remove unnecessary constraint on the conversion. 2016-10-12 Richard Biener * match.pd ((X /[ex] A) * A -> X): Remove unnecessary constraint on the conversion. From-SVN: r241022 --- gcc/ChangeLog | 5 +++++ gcc/match.pd | 6 ++---- 2 files changed, 7 insertions(+), 4 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 30c186a9b27..a50d32d6ef8 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2016-10-12 Richard Biener + + * match.pd ((X /[ex] A) * A -> X): Remove unnecessary constraint + on the conversion. + 2016-10-12 Richard Biener * tree-ssa-propagate.c diff --git a/gcc/match.pd b/gcc/match.pd index 1d80613fdf8..894cc14e5f2 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -1783,10 +1783,8 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) (simplify (mult (convert1? (exact_div @0 @1)) (convert2? @2)) /* We cannot use matching captures here, since in the case of - constants we don't see the second conversion. Look through - a sign-changing or widening conversions. */ - (if (operand_equal_p (@1, @2, 0) - && element_precision (@0) <= element_precision (type)) + constants we don't see the second conversion. */ + (if (operand_equal_p (@1, @2, 0)) (convert @0))) /* Canonicalization of binary operations. */ -- 2.30.2