package ollvm

  1. Overview
  2. Docs
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 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_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