lpw25
commented
8 years ago I think that for 4.03 I'm just going to make the names of the arguments more consistent (e.g. all starting with -inline-) and we can look and giving them clearer semantics after the release. This means that the names and semantics of these parameters may change between 4.03 and 4.04, and we should try to make this clear in the docs/release notes.
Leo and I briefly discussed the possibility of changing the inlining compiler flags to have a clear, explicit split between "speculation" parameters (how the search operates) and the ones that are related to evaluating benefit / code size. We mentioned that perhaps "-inline" should be deprecated completely when using flambda to avoid confusion.