search

OCamlPro / flambda-task-force

13 stars 1 forks source link

-classic-heuristic changes #117

Closed mshinwell closed 8 years ago

mshinwell commented 8 years ago
  1. Rename this flag.
  2. Make the flag imply numbers for -inline and -inline-toplevel that match the old compiler (whose inline level is unfortunately not expressible, it's 10/8). I suggest "-inline 1".
mshinwell commented 8 years ago

Three. Make classic_heuristic imply "not inline_recursive_functions"

mshinwell commented 8 years ago

Actually, maybe we should ignore 3. no_inline_recursive_functions doesn't prevent the unrolling code from running, and we don't want that in classic mode. So the existing code is ok.

I'm doing 2 now.

We also have:

  1. Don't run Augment_closures in classic mode which is pushed.
mshinwell commented 8 years ago

I've renamed -classic-heuristic to -classic-inlining.