perf: make sure to use some decent level of inlining even without flambda

This commit is contained in:
Simon Cruanes 2022-02-03 18:51:09 -05:00
parent f540a6d7e5
commit 7ec9e50f74
No known key found for this signature in database
GPG key ID: 4AC01D0849AA62B6

View file

@ -13,7 +13,7 @@ let () =
if after_4_3 then (
["-O3"; "-unbox-closures"; "-unbox-closures-factor"; "20"; "-color"; "always"]
) else (
[]
["-inline"; "100"]
) in
C.Flags.write_sexp "flambda.flags" sexp
)