From: Andrew MacLeod <amacleod@redhat.com>
Date: Wed, 21 Sep 2022 13:29:40 +0000 (-0400)
Subject: Convert CFN_BUILT_IN_SIGNBIT to range-ops.
X-Git-Tag: basepoints/gcc-14~4417
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=eb82b9f68eb8d0cc65a1a022154c8e729860ea59;p=thirdparty%2Fgcc.git

Convert CFN_BUILT_IN_SIGNBIT to range-ops.

	* gimple-range-fold.cc (range_of_builtin_int_call): Remove case
	for CFN_BUILT_IN_SIGNBIT.
	* gimple-range-op.cc (class cfn_signbit): New.
	(gimple_range_op_handler::maybe_builtin_call): Set arguments.
---

diff --git a/gcc/gimple-range-fold.cc b/gcc/gimple-range-fold.cc
index 63a1f517d288..417a925ac9fa 100644
--- a/gcc/gimple-range-fold.cc
+++ b/gcc/gimple-range-fold.cc
@@ -944,26 +944,6 @@ fold_using_range::range_of_builtin_int_call (irange &r, gcall *call,
 
   switch (func)
     {
-    case CFN_BUILT_IN_SIGNBIT:
-      {
-	arg = gimple_call_arg (call, 0);
-	frange tmp;
-	if (src.get_operand (tmp, arg))
-	  {
-	    bool signbit;
-	    if (tmp.signbit_p (signbit))
-	      {
-		if (signbit)
-		  r.set_nonzero (type);
-		else
-		  r.set_zero (type);
-		return true;
-	      }
-	    return false;
-	  }
-	break;
-      }
-
     case CFN_BUILT_IN_TOUPPER:
       {
 	arg = gimple_call_arg (call, 0);
diff --git a/gcc/gimple-range-op.cc b/gcc/gimple-range-op.cc
index bcc4c3d778ca..d62dff5f92eb 100644
--- a/gcc/gimple-range-op.cc
+++ b/gcc/gimple-range-op.cc
@@ -301,6 +301,27 @@ public:
   }
 } op_cfn_constant_p;
 
+// Implement range operator for CFN_BUILT_IN_SIGNBIT.
+class cfn_signbit : public range_operator_float
+{
+public:
+  using range_operator_float::fold_range;
+  virtual bool fold_range (irange &r, tree type, const frange &lh,
+			   const irange &, relation_kind) const
+  {
+    bool signbit;
+    if (lh.signbit_p (signbit))
+      {
+	if (signbit)
+	  r.set_nonzero (type);
+	else
+	  r.set_zero (type);
+	return true;
+      }
+   return false;
+  }
+} op_cfn_signbit;
+
 // Set up a gimple_range_op_handler for any built in function which can be
 // supported via range-ops.
 
@@ -331,6 +352,12 @@ gimple_range_op_handler::maybe_builtin_call ()
 	m_valid = false;
       break;
 
+    case CFN_BUILT_IN_SIGNBIT:
+      m_op1 = gimple_call_arg (call, 0);
+      m_float = &op_cfn_signbit;
+      m_valid = true;
+      break;
+
     default:
       break;
     }