search

OCamlPro / flambda-task-force

13 stars 1 forks source link

Move unboxing code from Cmmgen to Flambda #153

Open mshinwell opened 8 years ago

mshinwell commented 8 years ago

In the future

bluddy commented 8 years ago

This would be really nice. I envision a cost model where if no generic operations are detected, the value can be safely unboxed, and the cost goes up relative to the number of generic operations along the way.

Ideally, of course, we could monomorphize most generic ops, making almost all floats/int64s unboxed all the time (with the obvious exception of functions stored inside data structures).