# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1378977483 -7200
# Node ID b5d2a23b7f6ba0770d0f3552ea6efee97c03c309
# Parent  d351a72596a941ae31fafcf382fd4075082411d9
gave different name to per-phase timer and metric

diff -r d351a72596a9 -r b5d2a23b7f6b graal/com.oracle.graal.phases/src/com/oracle/graal/phases/BasePhase.java
--- a/graal/com.oracle.graal.phases/src/com/oracle/graal/phases/BasePhase.java	Thu Sep 12 09:13:12 2013 +0200
+++ b/graal/com.oracle.graal.phases/src/com/oracle/graal/phases/BasePhase.java	Thu Sep 12 11:18:03 2013 +0200
@@ -55,15 +55,15 @@
             name = nm;
         }
         assert checkName(name);
-        phaseTimer = Debug.timer("Phase_" + name);
-        phaseMetric = Debug.metric("Phase_" + name);
+        phaseTimer = Debug.timer("PhaseTime_" + name);
+        phaseMetric = Debug.metric("PhaseCount_" + name);
     }
 
     protected BasePhase(String name) {
         assert checkName(name);
         this.name = name;
-        phaseTimer = Debug.timer("Phase_" + name);
-        phaseMetric = Debug.metric("Phase_" + name);
+        phaseTimer = Debug.timer("PhaseTime_" + name);
+        phaseMetric = Debug.metric("PhaseCount_" + name);
     }
 
     protected String getDetailedName() {