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
]
val __bin_read_branch__ : (int -> branch) Core_kernel.Bin_prot.Read.reader
val bin_shape_branch : Core_kernel.Bin_prot.Shape.t
val compare_branch : branch -> branch -> int
val all_of_branch : branch list
val branch_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> branch
val __branch_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> branch
val sexp_of_branch : branch -> Ppx_sexp_conv_lib.Sexp.t
type affecting_control = [
  1. | branch
  2. | `Return
  3. | `Call
  4. | `Barrier
  5. | `Terminator
  6. | `May_affect_control_flow
]
val bin_read_affecting_control : affecting_control Core_kernel.Bin_prot.Read.reader
val __bin_read_affecting_control__ : (int -> affecting_control) Core_kernel.Bin_prot.Read.reader
val bin_size_affecting_control : affecting_control Core_kernel.Bin_prot.Size.sizer
val bin_write_affecting_control : affecting_control Core_kernel.Bin_prot.Write.writer
val bin_shape_affecting_control : Core_kernel.Bin_prot.Shape.t
val compare_affecting_control : affecting_control -> affecting_control -> int
val all_of_affecting_control : affecting_control list
val affecting_control_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> affecting_control
val __affecting_control_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> affecting_control
val sexp_of_affecting_control : affecting_control -> Ppx_sexp_conv_lib.Sexp.t
type having_side_effect = [
  1. | `May_load
  2. | `May_store
]
val bin_read_having_side_effect : having_side_effect Core_kernel.Bin_prot.Read.reader
val __bin_read_having_side_effect__ : (int -> having_side_effect) Core_kernel.Bin_prot.Read.reader
val bin_size_having_side_effect : having_side_effect Core_kernel.Bin_prot.Size.sizer
val bin_write_having_side_effect : having_side_effect Core_kernel.Bin_prot.Write.writer
val bin_shape_having_side_effect : Core_kernel.Bin_prot.Shape.t
val compare_having_side_effect : having_side_effect -> having_side_effect -> int
val all_of_having_side_effect : having_side_effect list
val having_side_effect_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> having_side_effect
val __having_side_effect_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> having_side_effect
val sexp_of_having_side_effect : having_side_effect -> Ppx_sexp_conv_lib.Sexp.t
val __bin_read_t__ : (int -> t) Core_kernel.Bin_prot.Read.reader
val compare : t -> t -> int
val all : t list
val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t
val __t_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> t
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct