2012-01-30 Pascal Obry <obry@adacore.com>

[pf3gnuchains/gcc-fork.git] / gcc / optc-save-gen.awk

diff --git a/gcc/optc-save-gen.awk b/gcc/optc-save-gen.awk
index 4efc115..654d869 100644 (file)
--- a/gcc/optc-save-gen.awk
+++ b/gcc/optc-save-gen.awk
@@ -363,10 +363,16 @@ print "{";
 print "  fputs (\"\\n\", file);";
 for (i = 0; i < n_target_other; i++) {
        print "  if (ptr->x_" var_target_other[i] ")";
-       print "    fprintf (file, \"%*s%s (%#lx)\\n\",";
+       if (host_wide_int[var_target_other[i]] == "yes")
+               print "    fprintf (file, \"%*s%s (%#\" HOST_WIDE_INT_PRINT \"x)\\n\",";
+       else
+               print "    fprintf (file, \"%*s%s (%#x)\\n\",";
        print "             indent, \"\",";
        print "             \"" var_target_other[i] "\",";
-       print "             (unsigned long)ptr->x_" var_target_other[i] ");";
+       if (host_wide_int[var_target_other[i]] == "yes")
+               print "             ptr->x_" var_target_other[i] ");";
+       else
+               print "             (unsigned long)ptr->x_" var_target_other[i] ");";
        print "";
 }