Remove #if GIMPLE around 1 - a pattern
authorAndrew Pinski <apinski@marvell.com>
Fri, 17 Feb 2023 16:43:27 +0000 (16:43 +0000)
committerAndrew Pinski <apinski@marvell.com>
Sat, 18 Feb 2023 01:48:33 +0000 (01:48 +0000)
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

index e7b7003..e352bd4 100644 (file)
@@ -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