# HG changeset patch
# User Josef Eisl <josef.eisl@jku.at>
# Date 1401967551 -7200
# Node ID a7d11e1c738792a7b1a3c9f77bdc9bd15d40de19
# Parent  b100bd079fff853ff26fb8e9e056c0d9fd24cfd3
LSRA spill optimization: relax probability assertion.

diff -r b100bd079fff -r a7d11e1c7387 graal/com.oracle.graal.compiler/src/com/oracle/graal/compiler/alloc/LinearScan.java
--- a/graal/com.oracle.graal.compiler/src/com/oracle/graal/compiler/alloc/LinearScan.java	Thu Jun 05 10:36:59 2014 +0200
+++ b/graal/com.oracle.graal.compiler/src/com/oracle/graal/compiler/alloc/LinearScan.java	Thu Jun 05 13:25:51 2014 +0200
@@ -1942,7 +1942,7 @@
 
                             if (defBlock.probability() <= spillBlock.probability()) {
                                 // better spill block has the same probability -> do nothing
-                                assert defBlock.probability() == spillBlock.probability();
+                                assert spillBlock.probability() - defBlock.probability() < 0.00000001 : "Check whether the probability difference is within epsilon";
                                 interval.setSpillState(SpillState.StoreAtDefinition);
                             } else {
                                 betterSpillPosWithLowerProbability.increment();