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 63a1f51..417a925 100644 (file)
--- 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 bcc4c3d..d62dff5 100644 (file)
--- 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;
     }