# HG changeset patch
# User Christian Wimmer <christian.wimmer@oracle.com>
# Date 1367440387 25200
# Node ID 2b663d5893d3c66d60cc51dd2d750e62ee222190
# Parent  e577da5a49f2eba49e42d324eff93d13161e49fe
Allow rounding errors in probabilities

diff -r e577da5a49f2 -r 2b663d5893d3 graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/IfNode.java
--- a/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/IfNode.java	Wed May 01 12:06:01 2013 -0700
+++ b/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/IfNode.java	Wed May 01 13:33:07 2013 -0700
@@ -122,8 +122,8 @@
     }
 
     public void setTrueSuccessorProbability(double prob) {
-        assert prob >= 0.0 && prob <= 1.0 : "Probability out of bounds: " + prob;
-        trueSuccessorProbability = prob;
+        assert prob >= -0.000000001 && prob <= 1.000000001 : "Probability out of bounds: " + prob;
+        trueSuccessorProbability = Math.min(1.0, Math.max(0.0, prob));
     }
 
     @Override