jon.recoil.org

Module Cmm_helpers.Extended_machtype

val typ_tagged_int : Cmm_helpers.Extended_machtype.t

Conversion from a normal Cmm machtype.

Conversion from a Lambda layout.

Conversion to a normal Cmm machtype.

val change_tagged_int_to_val : Cmm_helpers.Extended_machtype.t -> Cmm.machtype

Like to_machtype but tagged integer extended machtypes are mapped to value machtypes. This is used to avoid excessive numbers of generic functions being generated (see comments in cmm_helpers.ml).