Module `To_cmm_shared.Update_kind`

type t

val field_size_in_words : t -> int

The number of words written when applying this update to a block.

val pointers : t

val tagged_immediates : t

val naked_int8_fields : t

Assumes each field is a word; the byte offset is index * size_addr.

val naked_int8s : t

Tightly packed; the byte offset is index * 1. (index is as for make_update, below.)

val naked_int16_fields : t

Assumes each field is a word; the byte offset is index * size_addr.

val naked_int16s : t

Tightly packed; the byte offset is index * 2. (index is as for make_update, below.)

val naked_int32s : t

Tightly packed; the byte offset is index * 4. (index is as for make_update, below.)

val naked_int32_fields : t

Assumes each field is a word; the byte offset is index * size_addr.

val naked_int64s : t

Tightly packed; the byte offset is index * 8.

val naked_floats : t

Tightly packed; the byte offset is index * size_float.

val naked_float32s : t

Tightly packed; the byte offset is index * 4.

val naked_float32_fields : t

Assumes each field is a word; the byte offset is index * size_addr.

val naked_vec128s : t

Tightly packed (two words each); the byte offset is index * 16.

val naked_vec256s : t

Tightly packed (four words each); the byte offset is index * 32.

val naked_vec512s : t

Tightly packed (eight words each); the byte offset is index * 64.

val naked_vec128_fields : t

Assumes each field is a word; the byte offset is index * size_addr. Note that in this case the index is still based on word-width fields!

val naked_vec256_fields : t

Assumes each field is a word; the byte offset is index * size_addr. Note that in this case the index is still based on word-width fields!

val naked_vec512_fields : t

Assumes each field is a word; the byte offset is index * size_addr. Note that in this case the index is still based on word-width fields!

Module To_cmm_shared.Update_kind