Module `Cfg_cse_target_intf`

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

Classification of operations

type op_class =

| Op_pure
(*
pure arithmetic, produce one or several result
*)
| Op_load of Operation.mutable_flag
(*
memory load
*)
| Op_store of bool
(*
memory store, false = init, true = assign
*)
| Op_other
(*
anything else that does not allocate nor store in memory
*)

type class_of_operation_result =

| Class of Cfg_cse_target_intf.op_class
| Use_default

type is_cheap_operation_result =

| Cheap of bool
| Use_default

module type S = sig ... end