From:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65649

diff -Nur gcc-5.4.0.orig/gcc/config/microblaze/microblaze.c gcc-5.4.0/gcc/config/microblaze/microblaze.c
--- gcc-5.4.0.orig/gcc/config/microblaze/microblaze.c	2015-01-15 14:28:42.000000000 +0100
+++ gcc-5.4.0/gcc/config/microblaze/microblaze.c	2017-01-03 19:23:38.585074457 +0100
@@ -2404,7 +2404,7 @@
 	  REAL_VALUE_TYPE value;
 	  REAL_VALUE_FROM_CONST_DOUBLE (value, op);
 	  REAL_VALUE_TO_TARGET_SINGLE (value, value_long);
-	  fprintf (file, HOST_WIDE_INT_PRINT_HEX, value_long);
+	  fprintf (file, "0x%lx", value_long);
 	}
       else
 	{
@@ -2463,7 +2463,7 @@
       print_operand_address (file, XEXP (op, 0));
     }
   else if (letter == 'm')
-    fprintf (file, HOST_WIDE_INT_PRINT_DEC, (1L << INTVAL (op)));
+    fprintf (file, "%ld", (1L << INTVAL (op)));
   else
     output_addr_const (file, op);
 }