# HG changeset patch
# User Roland Schatz <roland.schatz@oracle.com>
# Date 1386065416 -3600
# Node ID dca16b3416abe508a8219b483cc303a60683e66e
# Parent  3f34b8f91cc5744bac3007c57ab1a50e04538d06
Don't peel counted loops.

diff -r 3f34b8f91cc5 -r dca16b3416ab graal/com.oracle.graal.loop/src/com/oracle/graal/loop/LoopPolicies.java
--- a/graal/com.oracle.graal.loop/src/com/oracle/graal/loop/LoopPolicies.java	Mon Dec 02 20:05:24 2013 -0800
+++ b/graal/com.oracle.graal.loop/src/com/oracle/graal/loop/LoopPolicies.java	Tue Dec 03 11:10:16 2013 +0100
@@ -38,6 +38,9 @@
 
     // TODO (gd) change when inversion is available
     public static boolean shouldPeel(LoopEx loop, NodesToDoubles probabilities) {
+        if (loop.detectCounted()) {
+            return false;
+        }
         LoopBeginNode loopBegin = loop.loopBegin();
         double entryProbability = probabilities.get(loopBegin.forwardEnd());
         return entryProbability > MinimumPeelProbability.getValue() && loop.size() + loopBegin.graph().getNodeCount() < MaximumDesiredSize.getValue();