Specialization of Generic Array Accesses After Inlining

Ryohei Tokuda, Eijiro Sumii, Akinori Abe

We have implemented an optimization that specializes type-generic array accesses after inlining of polymorphic functions in the native-code OCaml compiler. Polymorphic array operat…