Delete unused stats

src/browser/print_stats.js

@@ -25,9 +25,6 @@ const print_stats = {
             "RUN_INTERPRETED",
             "RUN_FROM_CACHE",
             "CACHE_MISMATCH",
-            "CACHE_DROP",
-            "CACHE_SKIPPED",
-            "COMPILE_WITH_LINK",
             "NONFAULTING_OPTIMIZATION",
             "CLEAR_TLB",
             "FULL_CLEAR_TLB",

src/native/profiler/profiler.h

@@ -30,9 +30,6 @@ enum stat_name {
     S_RUN_INTERPRETED,
     S_RUN_FROM_CACHE,
     S_CACHE_MISMATCH,
-    S_CACHE_DROP,
-    S_CACHE_SKIPPED,
-    S_COMPILE_WITH_LINK,
     S_NONFAULTING_OPTIMIZATION,
 
     S_CLEAR_TLB,

tests/benchmark/linux-boot.js

@@ -60,10 +60,11 @@ emulator.add_listener("serial0-output-char", function(chr)
             "RUN_INTERPRETED",
             "RUN_FROM_CACHE",
             "CACHE_MISMATCH",
-            "CACHE_DROP",
-            "CACHE_SKIPPED",
-            "COMPILE_WITH_LINK",
             "NONFAULTING_OPTIMIZATION",
+            "CLEAR_TLB",
+            "FULL_CLEAR_TLB",
+            "TLB_FULL",
+            "TLB_GLOBAL_FULL",
         ];
         const total = cpu.wm.exports["_profiler_get_total"]();
         let text = "";