]> matita.cs.unibo.it Git - helm.git/commitdiff
New "global performances" bench (for native code).
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 28 Oct 2005 21:35:00 +0000 (21:35 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 28 Oct 2005 21:35:00 +0000 (21:35 +0000)
helm/matita/scripts/public_html/bench.php

index 07b468cc83c9b68964fddc353e478897dd967baf..49bfe6235c74c0621494013a9021d15455b8ff39 100644 (file)
@@ -35,6 +35,8 @@ $query_auto = urlencode(
 
 $query_csc = urlencode("Performances (byte and GC) per mark@@@select mark, SEC_TO_TIME(SUM(TIME_TO_SEC(time))) as sum_time, SEC_TO_TIME(SUM(TIME_TO_SEC(timeuser))) as sum_timeuser from bench where options = 'gc-on' and compilation = 'byte'group by mark order by mark desc;");
 
+$query_csc_opt = urlencode("Performances (opt and GC) per mark@@@select mark, SEC_TO_TIME(SUM(TIME_TO_SEC(time))) as sum_time, SEC_TO_TIME(SUM(TIME_TO_SEC(timeuser))) as sum_timeuser from bench where options = 'gc-on' and compilation = 'opt'group by mark order by mark desc;");
+
 ?>
 
 <html>
@@ -49,7 +51,8 @@ $query_csc = urlencode("Performances (byte and GC) per mark@@@select mark, SEC_T
       <li><a href="showquery.php?query=<? echo $query_fail; ?>">Broken tests</a></li>
       <li><a href="showquery.php?query=<? echo $query_gc; ?>">Garbage collector killer</a></li>
       <li><a href="showquery.php?query=<? echo $query_auto; ?>">Auto performances</a></li>
-      <li><a href="showquery.php?query=<? echo $query_csc; ?>">Global performances</a></li>
+      <li><a href="showquery.php?query=<? echo $query_csc; ?>">Global performances (bytecode)</a></li>
+      <li><a href="showquery.php?query=<? echo $query_csc_opt; ?>">Global performances (nativecode)</a></li>
       <li><a href="showquery.php?query=<? echo $quey_all; ?>">All table contents</a></li>
       </ul>
     </p>