Array.get could be separated in the test and the unsafe get earlier during the compilation, like for the integer division.
To avoid performances degradation, we would to add a lambda checkbound primitive to represent the test (or be able to recognize the pattern in cmmgen, but this seems unlikely as checkbound can merge the exceptions).
Array.get
could be separated in the test and the unsafe get earlier during the compilation, like for the integer division.To avoid performances degradation, we would to add a lambda checkbound primitive to represent the test (or be able to recognize the pattern in cmmgen, but this seems unlikely as checkbound can merge the exceptions).
see https://github.com/OCamlPro/flambda-task-force/issues/160