Fixup possible address offsets for constant double integers
also when using Maverick to handle 64-bit integers.

--- gcc-4.3.2/gcc/config/arm/arm.c-original	2007-06-12 14:46:20.000000000 +1000
+++ gcc-4.3.2/gcc/config/arm/arm.c	2007-06-12 14:48:06.000000000 +1000
@@ -3815,7 +3815,8 @@
 
   use_ldrd = (TARGET_LDRD
 	      && (mode == DImode
-		  || (mode == DFmode && (TARGET_SOFT_FLOAT || TARGET_VFP))));
+		  || (mode == DFmode
+		      && (TARGET_SOFT_FLOAT || TARGET_VFP || TARGET_MAVERICK))));
 
   if (code == POST_INC || code == PRE_DEC
       || ((code == PRE_INC || code == POST_DEC)
@@ -4424,7 +4424,8 @@
 	  /* VFP addressing modes actually allow greater offsets, but for
 	     now we just stick with the lowest common denominator.  */
 	  if (mode == DImode
-	      || ((TARGET_SOFT_FLOAT || TARGET_VFP) && mode == DFmode))
+	      || (mode == DFmode
+		  && (TARGET_SOFT_FLOAT || TARGET_VFP || TARGET_MAVERICK)))
 	    {
 	      low_n = n & 0x0f;
 	      n &= ~0x0f;