Module `Vectorize_utils`

module Width_in_bits : sig ... end

module Memory_access : sig ... end

module Vectorized_instruction : sig ... end

val vectorizable_machtypes : Reg.t -> Reg.t -> bool

Given two registers of non-vector types, return true iff there exist a vector type that can contain both of them. Currently distinguishes between Val and other types. Mixing Val with non-Val in a vector is not yet supported.

val vectorize_machtypes : Reg.t list -> Cmm.machtype_component

Module Vectorize_utils

Module `Vectorize_utils`