package sarek

  1. Overview
  2. Docs

Module Sarek.ProfileSource

Sourceval target_name : string
Sourceval global_function : string
Sourceval device_function : string
Sourceval host_function : string
Sourceval global_parameter : string
Sourceval global_variable : string
Sourceval local_variable : string
Sourceval shared_variable : string
Sourceval kern_start : string
Sourceval kern_end : string
Sourceval parse_intrinsics : ('a * string) -> string
Sourceval space : int -> string
Sourceval indent : int -> string
Sourceval default_parser : bool
Sourceval prof_counter : int ref
Sourceval generated_functions : (Kirc_Ast.k_ext, string * string) Hashtbl.t
Sourceval gmem_store : unit -> string
Sourceval gmem_load : unit -> string
Sourceval smem_store : unit -> string
Sourceval smem_load : unit -> string
Sourceval prof_string : unit -> string
Sourceval prof_time_string : unit -> string
Sourceval branches_string : unit -> string
Sourceval branch_analysis_string : int -> string
Sourceval memory_div_string : unit -> string
Sourceval profile_head : unit -> string
Sourceval fun_counter : int ref
Sourceval parse_fun : int -> Kirc_Ast.k_ext -> string -> string -> Spoc.Devices.device -> string
Sourceval parse : 'a -> Kirc_Ast.k_ext -> Spoc.Devices.device -> string