diff options
| author | Andrew MacLeod <amacleod@redhat.com> | 2020-10-22 15:39:37 -0400 |
|---|---|---|
| committer | Andrew MacLeod <amacleod@redhat.com> | 2020-10-22 16:50:23 -0400 |
| commit | 76d6782207c44f95f77a185228ca7a1e15a9f615 (patch) | |
| tree | 40da07c835d0bbedae936ffbfb46aa2c887975c3 /gcc | |
| parent | f5d9bc8ae81abe46640477bc9e655aa093947f5f (diff) | |
| download | gcc-76d6782207c44f95f77a185228ca7a1e15a9f615.zip gcc-76d6782207c44f95f77a185228ca7a1e15a9f615.tar.gz gcc-76d6782207c44f95f77a185228ca7a1e15a9f615.tar.bz2 | |
Use precision and sign to compare types for ranges
Updated to only use range_compatible_p in range assert sanity checks,
not for actual type cmpatibility.
* gimple-range-gori.cc (is_gimple_logical_p): Use types_compatible_p
for logical compatibility.
(logical_stmt_cache::cacheable_p): Ditto.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/gimple-range-gori.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/gimple-range-gori.cc b/gcc/gimple-range-gori.cc index 983f4c9..5d50b11 100644 --- a/gcc/gimple-range-gori.cc +++ b/gcc/gimple-range-gori.cc @@ -552,7 +552,7 @@ is_gimple_logical_p (const gimple *gs) case BIT_AND_EXPR: case BIT_IOR_EXPR: // Bitwise operations on single bits are logical too. - if (range_compatible_p (TREE_TYPE (gimple_assign_rhs1 (gs)), + if (types_compatible_p (TREE_TYPE (gimple_assign_rhs1 (gs)), boolean_type_node)) return true; break; @@ -1165,7 +1165,7 @@ bool logical_stmt_cache::cacheable_p (gimple *stmt, const irange *lhs_range) const { if (gimple_code (stmt) == GIMPLE_ASSIGN - && range_compatible_p (TREE_TYPE (gimple_assign_lhs (stmt)), + && types_compatible_p (TREE_TYPE (gimple_assign_lhs (stmt)), boolean_type_node) && TREE_CODE (gimple_assign_rhs1 (stmt)) == SSA_NAME) { |