diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2020-08-04 06:58:26 +0200 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@redhat.com> | 2020-08-04 07:23:42 +0200 |
| commit | 5220219922c41dd574de83f3334b2ca5db9a722d (patch) | |
| tree | 13d79eeab8110838ab84583fa5c5714a5f5585e5 /gcc | |
| parent | 967c966f212a3a05ae88715231cd8dba1e452e2e (diff) | |
| download | gcc-5220219922c41dd574de83f3334b2ca5db9a722d.zip gcc-5220219922c41dd574de83f3334b2ca5db9a722d.tar.gz gcc-5220219922c41dd574de83f3334b2ca5db9a722d.tar.bz2 | |
Adjust op_with_boolean_value_range_p for irange API.
gcc/ChangeLog:
* vr-values.c (simplify_using_ranges::op_with_boolean_value_range_p): Adjust
for irange API.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/vr-values.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/gcc/vr-values.c b/gcc/vr-values.c index 609375c..1190fa9 100644 --- a/gcc/vr-values.c +++ b/gcc/vr-values.c @@ -448,10 +448,11 @@ simplify_using_ranges::op_with_boolean_value_range_p (tree op) if (TREE_CODE (op) != SSA_NAME) return false; + /* ?? Errr, this should probably check for [0,0] and [1,1] as well + as [0,1]. */ const value_range *vr = get_value_range (op); - return (vr->kind () == VR_RANGE - && integer_zerop (vr->min ()) - && integer_onep (vr->max ())); + return *vr == value_range (build_zero_cst (TREE_TYPE (op)), + build_one_cst (TREE_TYPE (op))); } /* Extract value range information for VAR when (OP COND_CODE LIMIT) is |