# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1403172153 -7200
# Node ID 8366c0c9e5c3cd5378e08584ea41de355d6a914f
# Parent  af9f3a5f091bec97ab75aeab8667c84ef11b8547
submit graphs to DebugVerifyHandlers after each phase

diff -r af9f3a5f091b -r 8366c0c9e5c3 graal/com.oracle.graal.phases/src/com/oracle/graal/phases/BasePhase.java
--- a/graal/com.oracle.graal.phases/src/com/oracle/graal/phases/BasePhase.java	Thu Jun 19 11:24:16 2014 +0200
+++ b/graal/com.oracle.graal.phases/src/com/oracle/graal/phases/BasePhase.java	Thu Jun 19 12:02:33 2014 +0200
@@ -100,6 +100,9 @@
             if (dumpGraph && Debug.isDumpEnabled()) {
                 Debug.dump(graph, "After phase %s", getName());
             }
+            if (Debug.isVerifyEnabled()) {
+                Debug.verify(graph, "After phase %s", getName());
+            }
             assert graph.verify();
         } catch (Throwable t) {
             throw Debug.handle(t);