package hardcaml-llvmsim

You can search for identifiers within the package.

in-package search v0.2.0

hardcaml-llvmsim
- HardCamlLlvmsim
  - Compile
  - Globals
  - Info
  - Sim
    
    Gen
    
    Make
  - Utils

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Sc = HardCaml.Signal.Comb

val compile_comb : 
  Llvm.llmodule ->
  Globals.func ->
  Llvm.llvalue ->
  Llvm.llbuilder ->
  Llvm.llvalue HardCaml.Signal.Types.UidMap.t ->
  HardCaml.Signal.Types.signal ->
  Llvm.llvalue HardCaml.Signal.Types.UidMap.t * Llvm.llvalue

val compile_comb_list : 
  Llvm.llmodule ->
  Globals.func ->
  Llvm.llvalue ->
  Llvm.llbuilder ->
  Llvm.llvalue HardCaml.Signal.Types.UidMap.t ->
  HardCaml.Signal.Types.signal list ->
  Llvm.llvalue HardCaml.Signal.Types.UidMap.t

val compile_reg : 
  Llvm.llbuilder ->
  (HardCaml.Signal.Types.signal -> Llvm.llvalue) ->
  (Llvm.llvalue -> HardCaml.Signal.Types.signal -> 'a) ->
  HardCaml.Signal.Types.signal ->
  'a

val compile_mem : 
  Llvm.llbuilder ->
  (HardCaml.Signal.Types.signal -> Llvm.llvalue) ->
  (Llvm.llvalue -> HardCaml.Signal.Types.signal -> unit) ->
  HardCaml.Signal.Types.signal ->
  unit