Module LlvmSledge.LlvmSledgeFrontend

Translate LLVM to LLAIR

module F = Stdlib.Format
exception Invalid_llvm of string
val translate : ?dump_bitcode:string -> string -> Llair.program

Translate the compilation units in the named (llvm or bitcode) files to LLAIR. Attempts to raise Invalid_llvm when the input is invalid LLVM.