bap-std 1.3.0 · OCaml Package

Kinds of instructions

type branch = [

| `Conditional_branch
| `Unconditional_branch
| `Indirect_branch

]

include sig ... end

val branch_of_sexp : Sexplib.Sexp.t -> branch

val __branch_of_sexp__ : Sexplib.Sexp.t -> branch

val sexp_of_branch : branch -> Sexplib.Sexp.t

val all_of_branch : branch list

val compare_branch : branch -> branch -> int

val bin_branch : branch Core_kernel.Std.Bin_prot.Type_class.t

val bin_read_branch : branch Core_kernel.Std.Bin_prot.Read.reader

val __bin_read_branch__ : (int -> branch) Core_kernel.Std.Bin_prot.Read.reader

val bin_reader_branch : branch Core_kernel.Std.Bin_prot.Type_class.reader

val bin_size_branch : branch Core_kernel.Std.Bin_prot.Size.sizer

val bin_write_branch : branch Core_kernel.Std.Bin_prot.Write.writer

val bin_writer_branch : branch Core_kernel.Std.Bin_prot.Type_class.writer

type affecting_control = [

| branch
| `Return
| `Call
| `Barrier
| `Terminator
| `May_affect_control_flow

]

include sig ... end

val affecting_control_of_sexp : Sexplib.Sexp.t -> affecting_control

val __affecting_control_of_sexp__ : Sexplib.Sexp.t -> affecting_control

val sexp_of_affecting_control : affecting_control -> Sexplib.Sexp.t

val all_of_affecting_control : affecting_control list

val compare_affecting_control : affecting_control -> affecting_control -> int

val bin_affecting_control : 
  affecting_control Core_kernel.Std.Bin_prot.Type_class.t

val bin_read_affecting_control : 
  affecting_control Core_kernel.Std.Bin_prot.Read.reader

val __bin_read_affecting_control__ : 
  (int -> affecting_control) Core_kernel.Std.Bin_prot.Read.reader

val bin_reader_affecting_control : 
  affecting_control Core_kernel.Std.Bin_prot.Type_class.reader

val bin_size_affecting_control : 
  affecting_control Core_kernel.Std.Bin_prot.Size.sizer

val bin_write_affecting_control : 
  affecting_control Core_kernel.Std.Bin_prot.Write.writer

val bin_writer_affecting_control : 
  affecting_control Core_kernel.Std.Bin_prot.Type_class.writer

type having_side_effect = [

| `May_load
| `May_store

]

include sig ... end

val having_side_effect_of_sexp : Sexplib.Sexp.t -> having_side_effect

val __having_side_effect_of_sexp__ : Sexplib.Sexp.t -> having_side_effect

val sexp_of_having_side_effect : having_side_effect -> Sexplib.Sexp.t

val all_of_having_side_effect : having_side_effect list

val compare_having_side_effect : 
  having_side_effect ->
  having_side_effect ->
  int

val bin_having_side_effect : 
  having_side_effect Core_kernel.Std.Bin_prot.Type_class.t

val bin_read_having_side_effect : 
  having_side_effect Core_kernel.Std.Bin_prot.Read.reader

val __bin_read_having_side_effect__ : 
  (int -> having_side_effect) Core_kernel.Std.Bin_prot.Read.reader

val bin_reader_having_side_effect : 
  having_side_effect Core_kernel.Std.Bin_prot.Type_class.reader

val bin_size_having_side_effect : 
  having_side_effect Core_kernel.Std.Bin_prot.Size.sizer

val bin_write_having_side_effect : 
  having_side_effect Core_kernel.Std.Bin_prot.Write.writer

val bin_writer_having_side_effect : 
  having_side_effect Core_kernel.Std.Bin_prot.Type_class.writer

type t = [

| affecting_control
| having_side_effect

]

include sig ... end

val t_of_sexp : Sexplib.Sexp.t -> t

val __t_of_sexp__ : Sexplib.Sexp.t -> t

val sexp_of_t : t -> Sexplib.Sexp.t

val all : t list

val compare : t -> t -> int

val bin_t : t Core_kernel.Std.Bin_prot.Type_class.t

val bin_read_t : t Core_kernel.Std.Bin_prot.Read.reader

val __bin_read_t__ : (int -> t) Core_kernel.Std.Bin_prot.Read.reader

val bin_reader_t : t Core_kernel.Std.Bin_prot.Type_class.reader

val bin_size_t : t Core_kernel.Std.Bin_prot.Size.sizer

val bin_write_t : t Core_kernel.Std.Bin_prot.Write.writer

val bin_writer_t : t Core_kernel.Std.Bin_prot.Type_class.writer

package bap-std