diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 0e0267a845d8288f6b11327c69863e70bf1d7180..f17809b1ddcf7cd0fce7a2231d5cc0ee4aa3042d 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2014-04-08  Richard Biener  <rguenther@suse.de>
+
+	PR middle-end/60706
+	* tree-pretty-print.c (pp_double_int): For HWI32 hosts with
+	a 64bit widest int print double-int similar to on HWI64 hosts.
+
 2014-04-08  Richard Biener  <rguenther@suse.de>
 
 	PR tree-optimization/60785
diff --git a/gcc/tree-pretty-print.c b/gcc/tree-pretty-print.c
index 77446c5dd640f7b28a9362841ce431fec667d0e4..83d5ca62d6c5c7b79ebd381d9008f46f28a09c1e 100644
--- a/gcc/tree-pretty-print.c
+++ b/gcc/tree-pretty-print.c
@@ -3465,6 +3465,12 @@ pp_double_int (pretty_printer *pp, double_int d, bool uns)
     pp_wide_integer (pp, d.low);
   else if (d.fits_uhwi ())
     pp_unsigned_wide_integer (pp, d.low);
+  else if (HOST_BITS_PER_DOUBLE_INT == HOST_BITS_PER_WIDEST_INT)
+    pp_scalar (pp,
+	       uns
+	       ? HOST_WIDEST_INT_PRINT_UNSIGNED : HOST_WIDEST_INT_PRINT_DEC,
+	       (HOST_WIDEST_INT) ((((unsigned HOST_WIDEST_INT) d.high << 1)
+				   << (HOST_BITS_PER_WIDE_INT - 1)) | d.low));
   else
     {
       unsigned HOST_WIDE_INT low = d.low;