changeset 14738:8fa7da4a2c43

Add verification code
author Christian Wimmer <christian.wimmer@oracle.com>
date Tue, 25 Mar 2014 11:26:50 -0700
parents c4903a8f6ef4
children 553527010fc4
files graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/calc/CompareNode.java
diffstat 1 files changed, 6 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/calc/CompareNode.java	Tue Mar 25 11:15:37 2014 -0700
+++ b/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/calc/CompareNode.java	Tue Mar 25 11:26:50 2014 -0700
@@ -197,4 +197,10 @@
     public boolean generate(MemoryArithmeticLIRLowerer gen, Access access) {
         return false;
     }
+
+    @Override
+    public boolean verify() {
+        assertTrue(x.stamp().isCompatible(y.stamp()), "stamps not compatible: %s, %s", x.stamp(), y.stamp());
+        return super.verify();
+    }
 }