# HG changeset patch
# User Gilles Duboscq <duboscq@ssw.jku.at>
# Date 1380011023 -7200
# Node ID 8f6917d1205f4ee14ba0b9e91871a80e0ba2a525
# Parent  099748a1a93121fb233ab30c091088fe767fa647
IntegerStamp.toString: print full mask

diff -r 099748a1a931 -r 8f6917d1205f graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/type/IntegerStamp.java
--- a/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/type/IntegerStamp.java	Tue Sep 24 11:24:47 2013 +0200
+++ b/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/type/IntegerStamp.java	Tue Sep 24 10:23:43 2013 +0200
@@ -22,6 +22,8 @@
  */
 package com.oracle.graal.nodes.type;
 
+import java.util.*;
+
 import com.oracle.graal.api.meta.*;
 import com.oracle.graal.graph.*;
 import com.oracle.graal.nodes.*;
@@ -133,10 +135,12 @@
             str.append(" [").append(lowerBound).append(" - ").append(upperBound).append(']');
         }
         if (downMask != 0) {
-            str.append(" \u21ca").append(Long.toHexString(downMask));
+            str.append(" \u21ca");
+            new Formatter(str).format("%016x", downMask);
         }
         if (upMask != defaultMask(kind())) {
-            str.append(" \u21c8").append(Long.toHexString(upMask));
+            str.append(" \u21c8");
+            new Formatter(str).format("%016x", upMask);
         }
         return str.toString();
     }