diff options
| author | Richard Biener <rguenther@suse.de> | 2016-10-12 07:16:01 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2016-10-12 07:16:01 +0000 |
| commit | 7d7f92889b79484dc5e13f63e396a9f540b6206a (patch) | |
| tree | 490dd7f4dceb854d8f5a451e533a840016ea9ee6 /gcc | |
| parent | 8a7c91cd629edc20ddefe13bc8d0872a18a9ad9a (diff) | |
| download | gcc-7d7f92889b79484dc5e13f63e396a9f540b6206a.zip gcc-7d7f92889b79484dc5e13f63e396a9f540b6206a.tar.gz gcc-7d7f92889b79484dc5e13f63e396a9f540b6206a.tar.bz2 | |
match.pd ((X /[ex] A) * A -> X): Remove unnecessary constraint on the conversion.
2016-10-12 Richard Biener <rguenther@suse.de>
* match.pd ((X /[ex] A) * A -> X): Remove unnecessary constraint
on the conversion.
From-SVN: r241022
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/match.pd | 6 |
2 files changed, 7 insertions, 4 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 30c186a..a50d32d 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,10 @@ 2016-10-12 Richard Biener <rguenther@suse.de> + * match.pd ((X /[ex] A) * A -> X): Remove unnecessary constraint + on the conversion. + +2016-10-12 Richard Biener <rguenther@suse.de> + * tree-ssa-propagate.c (substitute_and_fold_dom_walker::before_dom_children): Do not ignore ASSERT_EXPRs but only preserve them. diff --git a/gcc/match.pd b/gcc/match.pd index 1d80613..894cc14 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. */ |