Module `Llvm_ir.Instruction`

type switch_branch = {

index : Llvm_ir.Value.t;
label : Llvm_ir.Value.t;

}

type unary_op =

| Fneg

type binary_op =

| Add
| Sub
| Mul
| Udiv
| Sdiv
| Urem
| Srem
| Fadd
| Fsub
| Fmul
| Fdiv
| Frem
| Shl
| Lshr
| Ashr
| And
| Or
| Xor

type atomicrmw_op =

| Atomicrmw_add
| Atomicrmw_sub
| Atomicrmw_and
| Atomicrmw_or
| Atomicrmw_xor
| Atomicrmw_xchg

type convert_op =

| Sext
| Zext
| Trunc
| Fpext
| Fptrunc
| Fptoui
| Fptosi
| Uitofp
| Sitofp
| Inttoptr
| Ptrtoint
| Ptrtoaddr
| Addrspacecast
| Bitcast

type icmp_cond =

| Ieq
| Ine
| Iugt
| Iuge
| Iult
| Iule
| Isgt
| Isge
| Islt
| Isle

type fcmp_cond =

| Ffalse
| Foeq
| Fogt
| Foge
| Folt
| Fole
| Fone
| Ford
| Fueq
| Fugt
| Fuge
| Fult
| Fule
| Fune
| Funo
| Ftrue

val binary_op_to_string : Llvm_ir.Instruction.binary_op -> string

val unary_op_to_string : Llvm_ir.Instruction.unary_op -> string

val convert_op_to_string : Llvm_ir.Instruction.convert_op -> string

val icmp_cond_to_string : Llvm_ir.Instruction.icmp_cond -> string

val icmp_cond_of_ocaml : 
  Cmm.integer_comparison ->
  Llvm_ir.Instruction.icmp_cond

val fcmp_cond_to_string : Llvm_ir.Instruction.fcmp_cond -> string

val fcmp_cond_of_ocaml : Cmm.float_comparison -> Llvm_ir.Instruction.fcmp_cond

val atomicrmw_op_to_string : Llvm_ir.Instruction.atomicrmw_op -> string

type op

type t

val op_res_type : Llvm_ir.Instruction.op -> Llvm_ir.Type.Or_void.t

val with_res : 
  Llvm_ir.Instruction.op ->
  Llvm_ir.Ident.t ->
  Llvm_ir.Instruction.t

val without_res : Llvm_ir.Instruction.op -> Llvm_ir.Instruction.t

val get_res_value : Llvm_ir.Instruction.t -> Llvm_ir.Value.t option

val ret : Llvm_ir.Value.t -> Llvm_ir.Instruction.op

val br : Llvm_ir.Value.t -> Llvm_ir.Instruction.op

val br_cond : 
  cond:Llvm_ir.Value.t ->
  ifso:Llvm_ir.Value.t ->
  ifnot:Llvm_ir.Value.t ->
  Llvm_ir.Instruction.op

val switch : 
  discr:Llvm_ir.Value.t ->
  default:Llvm_ir.Value.t ->
  branches:Llvm_ir.Instruction.switch_branch list ->
  Llvm_ir.Instruction.op

val unreachable : Llvm_ir.Instruction.op

val unary : 
  Llvm_ir.Instruction.unary_op ->
  arg:Llvm_ir.Value.t ->
  Llvm_ir.Instruction.op

val binary : 
  Llvm_ir.Instruction.binary_op ->
  arg1:Llvm_ir.Value.t ->
  arg2:Llvm_ir.Value.t ->
  Llvm_ir.Instruction.op

val convert : 
  Llvm_ir.Instruction.convert_op ->
  arg:Llvm_ir.Value.t ->
  to_:Llvm_ir.Type.t ->
  Llvm_ir.Instruction.op

val icmp : 
  Llvm_ir.Instruction.icmp_cond ->
  arg1:Llvm_ir.Value.t ->
  arg2:Llvm_ir.Value.t ->
  Llvm_ir.Instruction.op

val fcmp : 
  Llvm_ir.Instruction.fcmp_cond ->
  arg1:Llvm_ir.Value.t ->
  arg2:Llvm_ir.Value.t ->
  Llvm_ir.Instruction.op

val extractelement : 
  vector:Llvm_ir.Value.t ->
  index:Llvm_ir.Value.t ->
  Llvm_ir.Instruction.op

val insertelement : 
  vector:Llvm_ir.Value.t ->
  index:Llvm_ir.Value.t ->
  to_insert:Llvm_ir.Value.t ->
  Llvm_ir.Instruction.op

val extractvalue : 
  aggregate:Llvm_ir.Value.t ->
  indices:int list ->
  Llvm_ir.Instruction.op

val insertvalue : 
  aggregate:Llvm_ir.Value.t ->
  indices:int list ->
  to_insert:Llvm_ir.Value.t ->
  Llvm_ir.Instruction.op

val alloca : ?count:Llvm_ir.Value.t -> Llvm_ir.Type.t -> Llvm_ir.Instruction.op

val load : ptr:Llvm_ir.Value.t -> typ:Llvm_ir.Type.t -> Llvm_ir.Instruction.op

val store : 
  ptr:Llvm_ir.Value.t ->
  to_store:Llvm_ir.Value.t ->
  Llvm_ir.Instruction.op

val getelementptr : 
  base_type:Llvm_ir.Type.t ->
  base_ptr:Llvm_ir.Value.t ->
  indices:Llvm_ir.Value.t list ->
  Llvm_ir.Instruction.op

val cmpxchg : 
  ptr:Llvm_ir.Value.t ->
  compare_with:Llvm_ir.Value.t ->
  set_if_equal:Llvm_ir.Value.t ->
  Llvm_ir.Instruction.op

val atomicrmw : 
  Llvm_ir.Instruction.atomicrmw_op ->
  ptr:Llvm_ir.Value.t ->
  arg:Llvm_ir.Value.t ->
  Llvm_ir.Instruction.op

val select : 
  cond:Llvm_ir.Value.t ->
  ifso:Llvm_ir.Value.t ->
  ifnot:Llvm_ir.Value.t ->
  Llvm_ir.Instruction.op

val call : 
  func:Llvm_ir.Ident.t ->
  args:Llvm_ir.Value.t list ->
  res_type:Llvm_ir.Type.Or_void.t ->
  attrs:Llvm_ir.Fn_attr.t list ->
  cc:Llvm_ir.Calling_conventions.t ->
  musttail:bool ->
  Llvm_ir.Instruction.op

val inline_asm : 
  args:Llvm_ir.Value.t list ->
  res_type:Llvm_ir.Type.Or_void.t ->
  asm:string ->
  constraints:string ->
  sideeffect:bool ->
  Llvm_ir.Instruction.op

val pp_t : 
  ?comment:string ->
  Stdlib.Format.formatter ->
  Llvm_ir.Instruction.t ->
  unit

Module Llvm_ir.Instruction

Module `Llvm_ir.Instruction`