[PATCH] Export value/mask known bits from CCP.

[Aldy Hernandez via Gcc-patches]

Currently CCP throws away the known 1 bits because VRP and irange have
traditionally only had a way of tracking known 0s (set_nonzero_bits).
With the ability to keep all the known bits in the irange, we can now
save this between passes.

OK?

gcc/ChangeLog:

        * tree-ssa-ccp.cc (ccp_finalize): Export value/mask known bits.
---
 gcc/tree-ssa-ccp.cc | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/gcc/tree-ssa-ccp.cc b/gcc/tree-ssa-ccp.cc
index 0d0f02a8442..64d5fa81334 100644
--- a/gcc/tree-ssa-ccp.cc
+++ b/gcc/tree-ssa-ccp.cc
@@ -1020,11 +1020,9 @@ ccp_finalize (bool nonzero_p)
       else
        {
          unsigned int precision = TYPE_PRECISION (TREE_TYPE (val->value));
-         wide_int nonzero_bits
-           = (wide_int::from (val->mask, precision, UNSIGNED)
-              | wi::to_wide (val->value));
-         nonzero_bits &= get_nonzero_bits (name);
-         set_nonzero_bits (name, nonzero_bits);
+         wide_int value = wi::to_wide (val->value);
+         wide_int mask = wide_int::from (val->mask, precision, UNSIGNED);
+         set_bitmask (name, value, mask);
        }
     }
 
-- 
2.40.1