package calli

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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

val new_name : int Stdlib.ref

val transform_cond : Llvm.llvalue -> Cond.t

val transform_lltype : Llvm.lltype -> Type.t

val transform_expr_type : Llvm.llvalue -> Type.t

val transform_e : Llvm.llvalue -> string -> Expr.t

val transform_binop : Llvm.Opcode.t -> Op.t

val transform_args : Llvm.llvalue -> string -> int -> Expr.t list

val transform_instr : Llvm.llvalue -> string -> Inst.t list

val transform_term : Llvm.llvalue -> string -> string -> Term.t

val transform_bb : Llvm.llbasicblock -> string -> Basicblock.t

val transform_bbpool : Llvm.llvalue -> unit

val transform_cfg : Llvm.llvalue -> Cfg.t

val transform_func : Llvm.llvalue -> Function.t

val transform_module : Llvm.llmodule -> Module.t