Module `Function.Emitter`

type funcdef = Llvm_ir.Function.t

type t = {

ident_gen : Llvm_ir.Ident.Gen.t;
funcdef : Llvm_ir.Function.Emitter.funcdef;

}

val create : 
  name:string ->
  args:Llvm_ir.Type.t list ->
  res:Llvm_ir.Type.Or_void.t ->
  cc:Llvm_ir.Calling_conventions.t ->
  attrs:Llvm_ir.Fn_attr.t list ->
  dbg:Debuginfo.t ->
  private_:bool ->
  Llvm_ir.Function.Emitter.t

val get_fun : Llvm_ir.Function.Emitter.t -> Llvm_ir.Function.Emitter.funcdef

val get_args_as_values : Llvm_ir.Function.Emitter.t -> Llvm_ir.Value.t list

val get_res_type : Llvm_ir.Function.Emitter.t -> Llvm_ir.Type.Or_void.t

val get_fun_ident : Llvm_ir.Function.Emitter.t -> Llvm_ir.Ident.t

val ins : 
  ?comment:string ->
  ?res_ident:Llvm_ir.Ident.t ->
  Llvm_ir.Function.Emitter.t ->
  Llvm_ir.Instruction.op ->
  Llvm_ir.Value.t

val ins_no_res : 
  ?comment:string ->
  Llvm_ir.Function.Emitter.t ->
  Llvm_ir.Instruction.op ->
  unit

val comment : Llvm_ir.Function.Emitter.t -> string -> unit

val label_def : Llvm_ir.Function.Emitter.t -> Llvm_ir.Ident.t -> unit

Module Function.Emitter

Module `Function.Emitter`