ollvm 0.99 · OCaml Package

type t = Type.t * Ollvm_ast.instr

val call : Value.t -> Value.t list -> t

val phi : (Value.t * Value.t) list -> t

val select : Value.t -> Value.t -> Value.t -> t

val alloca : ?nb:Value.t option -> ?align:int option -> Type.t -> t

val load : ?volatile:bool -> ?align:int option -> Value.t -> t

val store : ?volatile:bool -> ?align:int option -> Value.t -> Value.t -> t

val eq : Value.t -> Value.t -> t

val ne : Value.t -> Value.t -> t

val ugt : Value.t -> Value.t -> t

val uge : Value.t -> Value.t -> t

val ult : Value.t -> Value.t -> t

val ule : Value.t -> Value.t -> t

val sgt : Value.t -> Value.t -> t

val sge : Value.t -> Value.t -> t

val slt : Value.t -> Value.t -> t

val sle : Value.t -> Value.t -> t

val ffalse : Value.t -> Value.t -> t

val foeq : Value.t -> Value.t -> t

val fogt : Value.t -> Value.t -> t

val foge : Value.t -> Value.t -> t

val folt : Value.t -> Value.t -> t

val fole : Value.t -> Value.t -> t

val fone : Value.t -> Value.t -> t

val ord : Value.t -> Value.t -> t

val fueq : Value.t -> Value.t -> t

val fugt : Value.t -> Value.t -> t

val fuge : Value.t -> Value.t -> t

val fult : Value.t -> Value.t -> t

val fule : Value.t -> Value.t -> t

val fune : Value.t -> Value.t -> t

val funo : Value.t -> Value.t -> t

val ftrue : Value.t -> Value.t -> t

val add : ?nsw:bool -> ?nuw:bool -> Value.t -> Value.t -> t

val sub : ?nsw:bool -> ?nuw:bool -> Value.t -> Value.t -> t

val mul : ?nsw:bool -> ?nuw:bool -> Value.t -> Value.t -> t

val udiv : ?exact:bool -> Value.t -> Value.t -> t

val sdiv : ?exact:bool -> Value.t -> Value.t -> t

val urem : Value.t -> Value.t -> t

val srem : Value.t -> Value.t -> t

val shl : ?nsw:bool -> ?nuw:bool -> Value.t -> Value.t -> t

val lshr : ?exact:bool -> Value.t -> Value.t -> t

val ashr : ?exact:bool -> Value.t -> Value.t -> t

val and_ : Value.t -> Value.t -> t

val or_ : Value.t -> Value.t -> t

val xor : Value.t -> Value.t -> t

val fadd : ?flags:Ollvm_ast.fast_math list -> Value.t -> Value.t -> t

val fsub : ?flags:Ollvm_ast.fast_math list -> Value.t -> Value.t -> t

val fmul : ?flags:Ollvm_ast.fast_math list -> Value.t -> Value.t -> t

val fdiv : ?flags:Ollvm_ast.fast_math list -> Value.t -> Value.t -> t

val frem : ?flags:Ollvm_ast.fast_math list -> Value.t -> Value.t -> t

val extractelement : Value.t -> Value.t -> t

val insertelement : Value.t -> Value.t -> Value.t -> t

val shufflevector : Value.t -> Value.t -> Value.t -> t

val trunc : Value.t -> Type.t -> t

val zext : Value.t -> Type.t -> t

val sext : Value.t -> Type.t -> t

val fptrunc : Value.t -> Type.t -> t

val fpext : Value.t -> Type.t -> t

val fptoui : Value.t -> Type.t -> t

val fptosi : Value.t -> Type.t -> t

val uitofp : Value.t -> Type.t -> t

val sitofp : Value.t -> Type.t -> t

val extractvalue : Value.t -> int list -> t

val insertvalue : Value.t -> Value.t -> int list -> t

val br : Value.t -> Value.t -> Value.t -> Ollvm_ast.instr

val br1 : Value.t -> Ollvm_ast.instr

val switch : Value.t -> Value.t -> (Value.t * Value.t) list -> Ollvm_ast.instr

val indirectbr : Value.t -> Value.t list -> Ollvm_ast.instr

val ret : Value.t -> Ollvm_ast.instr

val ret_void : Ollvm_ast.instr

val assign : Value.t -> t -> Ollvm_ast.instr

val (<--) : Value.t -> t -> Ollvm_ast.instr

val ignore : t -> Ollvm_ast.instr

package ollvm