| 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")
|
|
|
|
|