diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2019-10-07 11:53:40 +0000 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@gcc.gnu.org> | 2019-10-07 11:53:40 +0000 |
| commit | 19849d1585d6ff2cef5f495a93699703cf18b335 (patch) | |
| tree | 040c8f946d696ce770c978ec37563ccdb32aad17 | |
| parent | 523fe5b61119c17d9b5adf4a6a4cffa10cfaacf7 (diff) | |
| download | gcc-19849d1585d6ff2cef5f495a93699703cf18b335.zip gcc-19849d1585d6ff2cef5f495a93699703cf18b335.tar.gz gcc-19849d1585d6ff2cef5f495a93699703cf18b335.tar.bz2 | |
* ipa-prop.c (ipa_vr::nonzero_p): Add TYPE_UNSIGNED check.
From-SVN: r276655
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ipa-prop.c | 1 |
2 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 83ad001..db122e2 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,9 @@ 2019-10-07 Aldy Hernandez <aldyh@redhat.com> + * ipa-prop.c (ipa_vr::nonzero_p): Add TYPE_UNSIGNED check. + +2019-10-07 Aldy Hernandez <aldyh@redhat.com> + * ipa-prop.c (ipa_vr::nonzero_p): New. (ipcp_update_vr): Use nonzero_p instead of open-coding check for non-zero range. diff --git a/gcc/ipa-prop.c b/gcc/ipa-prop.c index 20a0bdd..5020f4a 100644 --- a/gcc/ipa-prop.c +++ b/gcc/ipa-prop.c @@ -5117,6 +5117,7 @@ ipa_vr::nonzero_p (tree expr_type) const unsigned prec = TYPE_PRECISION (expr_type); return (type == VR_RANGE + && TYPE_UNSIGNED (expr_type) && wi::eq_p (min, wi::one (prec)) && wi::eq_p (max, wi::max_value (prec, TYPE_SIGN (expr_type)))); } |