changeset 19567:75b09b8b2b7e

The infer stamps algorithm is not guaranteed to reach a stable state.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Mon, 23 Feb 2015 23:55:23 +0100
parents 7cdd2ecd5e3a
children 5a6cdb0fc734
files graal/com.oracle.graal.phases/src/com/oracle/graal/phases/graph/InferStamps.java
diffstat 1 files changed, 4 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/graal/com.oracle.graal.phases/src/com/oracle/graal/phases/graph/InferStamps.java	Mon Feb 23 23:54:00 2015 +0100
+++ b/graal/com.oracle.graal.phases/src/com/oracle/graal/phases/graph/InferStamps.java	Mon Feb 23 23:55:23 2015 +0100
@@ -56,6 +56,8 @@
         }
 
         boolean stampChanged;
+        // The algorithm is not guaranteed to reach a stable state.
+        int z = 0;
         do {
             stampChanged = false;
             /*
@@ -72,7 +74,8 @@
                     }
                 }
             }
-        } while (stampChanged);
+            ++z;
+        } while (stampChanged && z < 10000);
 
         /*
          * Check that all the illegal stamps we introduced above are correctly replaced with real