package bap-std

  1. Overview
  2. Docs
package bap-std
Legend:
Library
Module
Module type
Parameter
Class
Class type

Kinds of instructions

type branch = [
  1. | `Conditional_branch
  2. | `Unconditional_branch
  3. | `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 = [
  1. | branch
  2. | `Return
  3. | `Call
  4. | `Barrier
  5. | `Terminator
  6. | `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 = [
  1. | `May_load
  2. | `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
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