# HG changeset patch
# User Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
# Date 1367182734 -7200
# Node ID 6a2a9eac243a748ae7f2d26e381d98e4ffafdea2
# Parent  5a74cbafe5b9cf7acf0804ef16dd0ecfee0e62e4
Correctly adjust probabilities when swapping if nodes.

diff -r 5a74cbafe5b9 -r 6a2a9eac243a 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 19:17:56 2013 +0200
+++ b/graal/com.oracle.graal.nodes/src/com/oracle/graal/nodes/IfNode.java	Sun Apr 28 22:58:54 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;
                 }
             }