# HG changeset patch
# User Christos Kotselidis <christos.kotselidis@oracle.com>
# Date 1367184453 -7200
# Node ID 0a94f51ed31bc429f70aa731fa912504b11733a7
# Parent  3270cbd45e039e724a28cb6803a13142e322edef# Parent  6a2a9eac243a748ae7f2d26e381d98e4ffafdea2
Merge

diff -r 3270cbd45e03 -r 0a94f51ed31b 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	Sun Apr 28 22:59:46 2013 +0200
+++ b/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/IfNode.java	Sun Apr 28 23:27:33 2013 +0200
@@ -187,6 +187,9 @@
                     nextIf.setFalseSuccessor(intermediateBegin);
                     intermediateBegin.setNext(this);
                     this.setFalseSuccessor(bothFalseBegin);
+                    nextIf.setTrueSuccessorProbability(probabilityB);
+                    double newProbability = this.trueSuccessorProbability / (1.0 - probabilityB);
+                    this.setTrueSuccessorProbability(newProbability);
                     return;
                 }
             }