# HG changeset patch
# User Lukas Stadler <lukas.stadler@jku.at>
# Date 1329744332 -3600
# Node ID eb2c6d2a0098ccc6367c8b64c1cd66d6970830b2
# Parent  d39cc9734e924cd3bd5e995db52f0a0f0de95ddd
let StampFactory.alwaysDistinct(...) handle interface types

diff -r d39cc9734e92 -r eb2c6d2a0098 graal/com.oracle.max.graal.nodes/src/com/oracle/max/graal/nodes/type/StampFactory.java
--- a/graal/com.oracle.max.graal.nodes/src/com/oracle/max/graal/nodes/type/StampFactory.java	Mon Feb 20 14:24:01 2012 +0100
+++ b/graal/com.oracle.max.graal.nodes/src/com/oracle/max/graal/nodes/type/StampFactory.java	Mon Feb 20 14:25:32 2012 +0100
@@ -101,7 +101,7 @@
                 return false;
             } else if (other.nonNull() || nonNull()) {
                 // One of the two values cannot be null.
-                return !other.declaredType().isSubtypeOf(declaredType()) && !declaredType().isSubtypeOf(other.declaredType());
+                return !other.declaredType().isInterface() && !declaredType().isInterface() && !other.declaredType().isSubtypeOf(declaredType()) && !declaredType().isSubtypeOf(other.declaredType());
             } else {
                 // Both values may be null.
                 return false;