jon.recoil.org

Module Vectorize_utils.Vectorized_instruction

type register =
  1. | New_Vec128 of int
    (*

    The n-th new temporary register used in the vectorized instructions

    *)
  2. | Argument of int
    (*

    Vector version of the n-th argument's register of the scalar instruction

    *)
  3. | Result of int
    (*

    Vector version of the n-th result's register of the scalar instruction

    *)
  4. | Original of int
    (*

    Keep the original instruction in the n-th argument/result (depending on whether it is used in the argument or result of the vectorized instructions) of the scalar instruction

    *)

Registers used in vectorized instructions of one scalar instruction group.

type t = {
  1. operation : Operation.t;
  2. arguments : register array;
  3. results : register array;
}
val print : Format.formatter -> t -> unit
val make_default : arg_count:int -> res_count:int -> Operation.t -> t