diff mbox series

[2/2] Remove #if GIMPLE around 1 - a pattern

Message ID 20230217214538.2177094-2-apinski@marvell.com
State New
Headers show
Series [1/2] Support get_range_query with a nullptr argument | expand

Commit Message

Andrew Pinski Feb. 17, 2023, 9:45 p.m. UTC 
This removes the "#if GIMPLE" around the
"1 - a" pattern as ssa_name_has_boolean_range
(get_range_query) works when cfun is a nullptr.

OK? Bootstrapped and tested on x86_64-linux-gnu with no regressions.

gcc/ChangeLog:

	* match.pd: Remove #if GIMPLE around the
	"1 - a" pattern
---
 gcc/match.pd | 2 --
 1 file changed, 2 deletions(-)

Comments

Jeff Law Feb. 17, 2023, 10:12 p.m. UTC | #1 
On 2/17/23 14:45, Andrew Pinski via Gcc-patches wrote:
> This removes the "#if GIMPLE" around the
> "1 - a" pattern as ssa_name_has_boolean_range
> (get_range_query) works when cfun is a nullptr.
> 
> OK? Bootstrapped and tested on x86_64-linux-gnu with no regressions.
> 
> gcc/ChangeLog:
> 
> 	* match.pd: Remove #if GIMPLE around the
> 	"1 - a" pattern
Both patches in this series are OK.  They're really just a slight 
refinement on a prior approved patch that addressed a regression.

jeff
diff mbox series

Patch

diff --git a/gcc/match.pd b/gcc/match.pd
index e7b700349a6..e352bd422f5 100644
--- a/gcc/match.pd
+++ b/gcc/match.pd
@@ -1732,7 +1732,6 @@  DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
  (if (!FIXED_POINT_TYPE_P (type))
  (plus @0 (negate @1))))
 
-#if GIMPLE
 /* 1 - a is a ^ 1 if a had a bool range. */
 /* This is only enabled for gimple as sometimes
    cfun is not set for the function which contains
@@ -1743,7 +1742,6 @@  DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
   (if (INTEGRAL_TYPE_P (type)
        && ssa_name_has_boolean_range (@1))
    (bit_xor @1 @0)))
-#endif
 
 /* Other simplifications of negation (c.f. fold_negate_expr_1).  */
 (simplify