ocaml-flambda / flambda-backend

The Flambda backend project for OCaml
93 stars 67 forks source link

Float32/Int64 cast intrinsics #2681

Closed TheNumbat closed 3 weeks ago

TheNumbat commented 4 weeks ago

Adds builtin intrinsics for converting between float32s and int64s. This did not require any changes beyond cmm, because the float32<->int static casts already operate on untagged/64-bit ints.

Tests have been added to float32_lib.ml and float32_u_lib.ml.