[InstCombine] Signed saturation patterns
[llvm-complete.git] / bindings / ocaml / irreader / llvm_irreader.mli
blobbdb7d040845ab6381e4a55c9d35bcb820d7c2813
1 (*===-- llvm_irreader.mli - LLVM OCaml Interface --------------*- OCaml -*-===*
3 * Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 * See https://llvm.org/LICENSE.txt for license information.
5 * SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 *===----------------------------------------------------------------------===*)
9 (** IR reader.
11 This interface provides an OCaml API for the LLVM assembly reader, the
12 classes in the IRReader library. *)
14 exception Error of string
16 (** [parse_ir context mb] parses the IR for a new module [m] from the
17 memory buffer [mb] in the context [context]. Returns [m] if successful, or
18 raises [Error msg] otherwise, where [msg] is a description of the error
19 encountered. See the function [llvm::ParseIR]. *)
20 val parse_ir : Llvm.llcontext -> Llvm.llmemorybuffer -> Llvm.llmodule