File tree Expand file tree Collapse file tree 1 file changed +5
-5
lines changed Expand file tree Collapse file tree 1 file changed +5
-5
lines changed Original file line number Diff line number Diff line change @@ -606,7 +606,7 @@ module Flambda2 = struct
606
606
}
607
607
608
608
let o2_arguments = {
609
- max_depth = Some 2 ;
609
+ max_depth = Some 10 ;
610
610
call_cost = Some (2.0 *. Default. call_cost);
611
611
alloc_cost = Some (2.0 *. Default. alloc_cost);
612
612
prim_cost = Some (2.0 *. Default. prim_cost);
@@ -619,16 +619,16 @@ module Flambda2 = struct
619
619
}
620
620
621
621
let o3_arguments = {
622
- max_depth = Some 3 ;
622
+ max_depth = Some 20 ;
623
623
call_cost = Some (3.0 *. Default. call_cost);
624
624
alloc_cost = Some (3.0 *. Default. alloc_cost);
625
625
prim_cost = Some (3.0 *. Default. prim_cost);
626
626
branch_cost = Some (3.0 *. Default. branch_cost);
627
627
indirect_call_cost = Some (3.0 *. Default. indirect_call_cost);
628
628
poly_compare_cost = Some (3.0 *. Default. poly_compare_cost);
629
- small_function_size = Some (3 * Default. small_function_size);
630
- large_function_size = Some (8 * Default. large_function_size);
631
- threshold = Some 50 . ;
629
+ small_function_size = Some (10 * Default. small_function_size);
630
+ large_function_size = Some (100 * Default. large_function_size);
631
+ threshold = Some 100 . ;
632
632
}
633
633
end
634
634
You can’t perform that action at this time.
0 commit comments