Calli (p.calli.0.2.doc.calli.Calli)

module AbstractDomain : sig ... end

module AbstractMemory : sig ... end

module AbstractSemantics : sig ... end

module Basicblock : sig ... end

module Bbpool : sig ... end

module CallGraph : sig ... end

module CallSiteContext : sig ... end

module Cfg : sig ... end

The CFG module represents the Control Flow Graph of CaLLi IR.

module Cond : sig ... end

module Context : sig ... end

module Dot : sig ... end

module Env : sig ... end

module Expr : sig ... end

module Function : sig ... end

module Global : sig ... end

module Icfg : sig ... end

module Inst : sig ... end

module LlvmAnalyzer : sig ... end

module Metadata : sig ... end

module Module : sig ... end

module Op : sig ... end

module Pp : sig ... end

module States : sig ... end

module Stmt : sig ... end

The Stmt module is a module that adds additional information to Inst. It includes bb_name (the name of the basicblock to which the instruction belongs), and index (the index of the instruction within the basicblock)

module Term : sig ... end

module To_dot : sig ... end

module Transform : sig ... end

The Transform module utilize the LLVM-OCaml binding to convert LLVM IR into CaLLI IR. *

module Transform2 : sig ... end

Seperate Call instructions into CallSite and ReturnSite instructions

module Transform3 : sig ... end

Add Prune Node as a first instruction in the next basicblock of the conditional branch

module Transform_meta : sig ... end

module Transform_select : sig ... end

module Type : sig ... end

module Util : sig ... end

module Val : sig ... end

module Worklist : sig ... end