changeset 16363:a7d11e1c7387

LSRA spill optimization: relax probability assertion.
author Josef Eisl <josef.eisl@jku.at>
date Thu, 05 Jun 2014 13:25:51 +0200
parents b100bd079fff
children a54a64af1e82
files graal/com.oracle.graal.compiler/src/com/oracle/graal/compiler/alloc/LinearScan.java
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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();