summaryrefslogtreecommitdiff
path: root/asmcomp/dwarf_low/value.mli
blob: f8fc3d02eb68b59de09d6f663bc6039e465b0b32 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
(***********************************************************************)
(*                                                                     *)
(*                                OCaml                                *)
(*                                                                     *)
(*                  Mark Shinwell, Jane Street Europe                  *)
(*                                                                     *)
(*  Copyright and licence information to be added.                     *)
(*                                                                     *)
(*                                                                     *)
(*                                                                     *)
(***********************************************************************)

type t

include Emittable.S with type t := t

val as_four_byte_int : int -> t
val as_four_byte_int_from_label : string -> t
val as_two_byte_int : int -> t
val as_byte : int -> t
val as_uleb128 : int -> t
val as_leb128 : int -> t
val as_string : string -> t
val as_code_address_from_label : string -> t
val as_code_address_from_label_diff : string -> string -> t
val as_code_address : Int64.t -> t