Module Cfg_cse_target_intf

Interface to be satisfied by target-specific code, for common subexpression elimination.

Classification of operations

type op_class =
  1. | Op_pure
    (*

    pure arithmetic, produce one or several result

    *)
  2. | Op_load of Operation.mutable_flag
    (*

    memory load

    *)
  3. | Op_store of bool
    (*

    memory store, false = init, true = assign

    *)
  4. | Op_other
    (*

    anything else that does not allocate nor store in memory

    *)
type class_of_operation_result =
  1. | Class of op_class
  2. | Use_default
type is_cheap_operation_result =
  1. | Cheap of bool
  2. | Use_default
module type S = sig ... end