Index: gcc-4.4.7/gcc/config/arm/cirrus.md
===================================================================
--- gcc-4.4.7.orig/gcc/config/arm/cirrus.md	2013-06-09 16:04:51.000000000 +0200
+++ gcc-4.4.7/gcc/config/arm/cirrus.md	2013-06-09 16:06:17.000000000 +0200
@@ -419,7 +419,8 @@
   "TARGET_32BIT && TARGET_HARD_FLOAT && TARGET_MAVERICK"
   "cftruncd32%?\\t%Y2, %V1\;cfmvr64l%?\\t%0, %Z2"
   [(set_attr "type" "f_cvt")
-   (set_attr "length" "8")]
+   (set_attr "length" "8")
+   (set_attr "cirrus" "normal")]
 )
 
 ; Cirrus hardware bugs: denormalized values on input are truncated to zero