package llvm

You can search for identifiers within the package.

in-package search v0.2.0

llvm.all_backends.shared
- Llvm_all_backends
llvm.all_backends.static
- Llvm_all_backends
llvm.analysis.shared
- Llvm_analysis
llvm.analysis.static
- Llvm_analysis
llvm.bitreader.shared
- Llvm_bitreader
llvm.bitreader.static
- Llvm_bitreader
llvm.bitwriter.shared
- Llvm_bitwriter
llvm.bitwriter.static
- Llvm_bitwriter
llvm.debuginfo.shared
- Llvm_debuginfo
llvm.debuginfo.static
- Llvm_debuginfo
llvm.executionengine.shared
- Llvm_executionengine
llvm.executionengine.static
- Llvm_executionengine
llvm.ipo.shared
- Llvm_ipo
llvm.ipo.static
- Llvm_ipo
llvm.irreader.shared
- Llvm_irreader
llvm.irreader.static
- Llvm_irreader
llvm.linker.shared
- Llvm_linker
llvm.linker.static
- Llvm_linker
llvm.passmgr_builder.shared
- Llvm_passmgr_builder
llvm.passmgr_builder.static
- Llvm_passmgr_builder
llvm.scalar_opts.shared
- Llvm_scalar_opts
llvm.scalar_opts.static
- Llvm_scalar_opts
llvm.shared
- Llvm
llvm.static
- Llvm
llvm.target.shared
- Llvm_target
llvm.target.static
- Llvm_target
llvm.transform_utils.shared
- Llvm_transform_utils
llvm.transform_utils.static
- Llvm_transform_utils
llvm.vectorize.shared
- Llvm_vectorize
llvm.vectorize.static
- Llvm_vectorize
llvm_AArch64.shared
- Llvm_AArch64
llvm_AArch64.static
- Llvm_AArch64
llvm_AMDGPU.shared
- Llvm_AMDGPU
llvm_AMDGPU.static
- Llvm_AMDGPU
llvm_ARM.shared
- Llvm_ARM
llvm_ARM.static
- Llvm_ARM
llvm_AVR.shared
- Llvm_AVR
llvm_AVR.static
- Llvm_AVR
llvm_BPF.shared
- Llvm_BPF
llvm_BPF.static
- Llvm_BPF
llvm_Hexagon.shared
- Llvm_Hexagon
llvm_Hexagon.static
- Llvm_Hexagon
llvm_Lanai.shared
- Llvm_Lanai
llvm_Lanai.static
- Llvm_Lanai
llvm_LoongArch.shared
- Llvm_LoongArch
llvm_LoongArch.static
- Llvm_LoongArch
llvm_M68k.shared
- Llvm_M68k
llvm_M68k.static
- Llvm_M68k
llvm_MSP430.shared
- Llvm_MSP430
llvm_MSP430.static
- Llvm_MSP430
llvm_Mips.shared
- Llvm_Mips
llvm_Mips.static
- Llvm_Mips
llvm_NVPTX.shared
- Llvm_NVPTX
llvm_NVPTX.static
- Llvm_NVPTX
llvm_PowerPC.shared
- Llvm_PowerPC
llvm_PowerPC.static
- Llvm_PowerPC
llvm_RISCV.shared
- Llvm_RISCV
llvm_RISCV.static
- Llvm_RISCV
llvm_Sparc.shared
- Llvm_Sparc
llvm_Sparc.static
- Llvm_Sparc
llvm_SystemZ.shared
- Llvm_SystemZ
llvm_SystemZ.static
- Llvm_SystemZ
llvm_VE.shared
- Llvm_VE
llvm_VE.static
- Llvm_VE
llvm_WebAssembly.shared
- Llvm_WebAssembly
llvm_WebAssembly.static
- Llvm_WebAssembly
llvm_X86.shared
- Llvm_X86
llvm_X86.static
- Llvm_X86
llvm_XCore.shared
- Llvm_XCore
llvm_XCore.static
- Llvm_XCore
llvm_Xtensa.shared
- Llvm_Xtensa
llvm_Xtensa.static
- Llvm_Xtensa

Legend:
Library
Module
Module type
Parameter
Class
Class type

Intermediate representation analysis.

This interface provides an OCaml API for LLVM IR analyses, the classes in the Analysis library.

val verify_module : Llvm.llmodule -> string option

verify_module m returns None if the module m is valid, and Some reason if it is invalid. reason is a string containing a human-readable validation report. See llvm::verifyModule.

val verify_function : Llvm.llvalue -> bool

verify_function f returns true if the function f is valid, and false if it is invalid. See llvm::verifyFunction.

val assert_valid_module : Llvm.llmodule -> unit

verify_module m returns if the module m is valid, but prints a validation report to stderr and aborts the program if it is invalid. See llvm::verifyModule.

val assert_valid_function : Llvm.llvalue -> unit

verify_function f returns if the function f is valid, but prints a validation report to stderr and aborts the program if it is invalid. See llvm::verifyFunction.

val view_function_cfg : Llvm.llvalue -> unit

view_function_cfg f opens up a ghostscript window displaying the CFG of the current function with the code for each basic block inside. See llvm::Function::viewCFG.

val view_function_cfg_only : Llvm.llvalue -> unit

view_function_cfg_only f works just like view_function_cfg, but does not include the contents of basic blocks into the nodes. See llvm::Function::viewCFGOnly.