Index: src/flag-definitions.h |
diff --git a/src/flag-definitions.h b/src/flag-definitions.h |
index 713ce0f50184679732b4306acb5b371296e55424..b88c9dea014eb1002266f83c8054aa0d730b4339 100644 |
--- a/src/flag-definitions.h |
+++ b/src/flag-definitions.h |
@@ -216,7 +216,7 @@ DEFINE_bool(weighted_back_edges, false, |
"weight back edges by jump distance for interrupt triggering") |
DEFINE_int(interrupt_budget, 5900, |
"execution budget before interrupt is triggered") |
-DEFINE_int(type_info_threshold, 40, |
+DEFINE_int(type_info_threshold, 15, |
"percentage of ICs that must have type info to allow optimization") |
DEFINE_int(self_opt_count, 130, "call count before self-optimization") |