builtins.c (expand_builtin_signbit): Use extract_bit_field instead of…

builtins.c (expand_builtin_signbit): Use extract_bit_field instead of gen_highpart or gen_lowpart when...


	* builtins.c (expand_builtin_signbit): Use extract_bit_field instead
	of gen_highpart or gen_lowpart when the floating point format is
	wider than the result mode.

Co-Authored-By: Ulrich Weigand <uweigand@de.ibm.com>

From-SVN: r77439

gcc/ChangeLog

+2004-02-06  Roger Sayle  <roger@eyesopen.com>
+	    Ulrich Weigand  <uweigand@de.ibm.com>
+
+	* builtins.c (expand_builtin_signbit): Use extract_bit_field instead
+	of gen_highpart or gen_lowpart when the floating point format is
+	wider than the result mode.
+
 2004-02-06  Andrew Pinski  <pinskia@physics.uc.edu>
 
 	* dwarf2out.c (loclabel_num): Move into #ifdef 

gcc/builtins.c

@@ -4986,34 +4986,35 @@ expand_builtin_signbit (tree exp, rtx target)
   temp = expand_expr (arg, NULL_RTX, VOIDmode, 0);
   temp = gen_lowpart (imode, temp);
 
-  if (GET_MODE_BITSIZE (imode) < GET_MODE_BITSIZE (rmode))
-    temp = gen_lowpart (rmode, temp);
-  else if (GET_MODE_BITSIZE (imode) > GET_MODE_BITSIZE (rmode))
+  if (GET_MODE_BITSIZE (imode) > GET_MODE_BITSIZE (rmode))
     {
-      if (bitpos > GET_MODE_BITSIZE (rmode))
+      if (BITS_BIG_ENDIAN)
+	bitpos = GET_MODE_BITSIZE (imode) - 1 - bitpos;
+      temp = copy_to_mode_reg (imode, temp);
+      temp = extract_bit_field (temp, 1, bitpos, 1,
+				NULL_RTX, rmode, rmode,
+				GET_MODE_SIZE (imode));
+    }
+  else
+    {
+      if (GET_MODE_BITSIZE (imode) < GET_MODE_BITSIZE (rmode))
+	temp = gen_lowpart (rmode, temp);
+      if (bitpos < HOST_BITS_PER_WIDE_INT)
 	{
-	  temp = gen_highpart (rmode, temp);
-	  bitpos %= GET_MODE_BITSIZE (rmode);
+	  hi = 0;
+	  lo = (HOST_WIDE_INT) 1 << bitpos;
 	}
       else
-	temp = gen_lowpart (rmode, temp);
-    }
+	{
+	  hi = (HOST_WIDE_INT) 1 << (bitpos - HOST_BITS_PER_WIDE_INT);
+	  lo = 0;
+	}
 
-  if (bitpos < HOST_BITS_PER_WIDE_INT)
-    {
-      hi = 0;
-      lo = (HOST_WIDE_INT) 1 << bitpos;
+      temp = force_reg (rmode, temp);
+      temp = expand_binop (rmode, and_optab, temp,
+			   immed_double_const (lo, hi, rmode),
+			   target, 1, OPTAB_LIB_WIDEN);
     }
-  else
-    {
-      hi = (HOST_WIDE_INT) 1 << (bitpos - HOST_BITS_PER_WIDE_INT);
-      lo = 0;
-    }
-
-  temp = force_reg (rmode, temp);
-  temp = expand_binop (rmode, and_optab, temp,
-		       immed_double_const (lo, hi, rmode),
-		       target, 1, OPTAB_LIB_WIDEN);
   return temp;
 }