changeset 12724:b1e7e4ffead1

UnsafeAccessNode: add assert to ensure a proper graph state
author Bernhard Urban <bernhard.urban@jku.at>
date Fri, 08 Nov 2013 13:52:00 +0100
parents bbf6407458ee
children 7b457ecd18c3
files graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/extended/UnsafeAccessNode.java
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/extended/UnsafeAccessNode.java	Fri Nov 08 13:45:06 2013 +0100
+++ b/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/extended/UnsafeAccessNode.java	Fri Nov 08 13:52:00 2013 +0100
@@ -73,6 +73,7 @@
                 // the null check and if a field is found, the offset is so small that this is
                 // never a valid access of an arbitrary address.
                 if (field != null && field.getKind() == this.accessKind()) {
+                    assert !graph().isAfterFloatingReadPhase() : "cannot add more precise memory location after floating read phase";
                     return cloneAsFieldAccess(field);
                 }
             }