Module `Dwarf_low.Dwarf_operator`

module Int8 = Numbers.Int8

module Int16 = Numbers.Int16

module Uint8 = Numbers.Uint8

module Uint16 = Numbers.Uint16

module Uint32 = Numbers.Uint32

module Uint64 = Numbers.Uint64

module I = Dwarf_low.Dwarf_int

module V = Dwarf_low.Dwarf_value

type implicit_value =

| Int of Targetint.t
| Symbol of Asm_targets.Asm_symbol.t

type t =

| DW_op_lit0
| DW_op_lit1
| DW_op_lit2
| DW_op_lit3
| DW_op_lit4
| DW_op_lit5
| DW_op_lit6
| DW_op_lit7
| DW_op_lit8
| DW_op_lit9
| DW_op_lit10
| DW_op_lit11
| DW_op_lit12
| DW_op_lit13
| DW_op_lit14
| DW_op_lit15
| DW_op_lit16
| DW_op_lit17
| DW_op_lit18
| DW_op_lit19
| DW_op_lit20
| DW_op_lit21
| DW_op_lit22
| DW_op_lit23
| DW_op_lit24
| DW_op_lit25
| DW_op_lit26
| DW_op_lit27
| DW_op_lit28
| DW_op_lit29
| DW_op_lit30
| DW_op_lit31
| DW_op_addr of Dwarf_low.Dwarf_operator.implicit_value
| DW_op_const1u of Uint8.t
| DW_op_const2u of Uint16.t
| DW_op_const4u of Uint32.t
| DW_op_const8u of Uint64.t
| DW_op_const1s of Int8.t
| DW_op_const2s of Int16.t
| DW_op_const4s of Stdlib.Int32.t
| DW_op_const8s of Stdlib.Int64.t
| DW_op_constu of Uint64.t
| DW_op_consts of Stdlib.Int64.t
| DW_op_fbreg of {
1. offset_in_bytes : Targetint.t;
}
| DW_op_breg0 of {
1. offset_in_bytes : Targetint.t;
}
| DW_op_breg1 of {
1. offset_in_bytes : Targetint.t;
}
| DW_op_breg2 of {
1. offset_in_bytes : Targetint.t;
}
| DW_op_breg3 of {
1. offset_in_bytes : Targetint.t;
}
| DW_op_breg4 of {
1. offset_in_bytes : Targetint.t;
}
| DW_op_breg5 of {
1. offset_in_bytes : Targetint.t;
}
| DW_op_breg6 of {
1. offset_in_bytes : Targetint.t;
}
| DW_op_breg7 of {
1. offset_in_bytes : Targetint.t;
}
| DW_op_breg8 of {
1. offset_in_bytes : Targetint.t;
}
| DW_op_breg9 of {
1. offset_in_bytes : Targetint.t;
}
| DW_op_breg10 of {
1. offset_in_bytes : Targetint.t;
}
| DW_op_breg11 of {
1. offset_in_bytes : Targetint.t;
}
| DW_op_breg12 of {
1. offset_in_bytes : Targetint.t;
}
| DW_op_breg13 of {
1. offset_in_bytes : Targetint.t;
}
| DW_op_breg14 of {
1. offset_in_bytes : Targetint.t;
}
| DW_op_breg15 of {
1. offset_in_bytes : Targetint.t;
}
| DW_op_breg16 of {
1. offset_in_bytes : Targetint.t;
}
| DW_op_breg17 of {
1. offset_in_bytes : Targetint.t;
}
| DW_op_breg18 of {
1. offset_in_bytes : Targetint.t;
}
| DW_op_breg19 of {
1. offset_in_bytes : Targetint.t;
}
| DW_op_breg20 of {
1. offset_in_bytes : Targetint.t;
}
| DW_op_breg21 of {
1. offset_in_bytes : Targetint.t;
}
| DW_op_breg22 of {
1. offset_in_bytes : Targetint.t;
}
| DW_op_breg23 of {
1. offset_in_bytes : Targetint.t;
}
| DW_op_breg24 of {
1. offset_in_bytes : Targetint.t;
}
| DW_op_breg25 of {
1. offset_in_bytes : Targetint.t;
}
| DW_op_breg26 of {
1. offset_in_bytes : Targetint.t;
}
| DW_op_breg27 of {
1. offset_in_bytes : Targetint.t;
}
| DW_op_breg28 of {
1. offset_in_bytes : Targetint.t;
}
| DW_op_breg29 of {
1. offset_in_bytes : Targetint.t;
}
| DW_op_breg30 of {
1. offset_in_bytes : Targetint.t;
}
| DW_op_breg31 of {
1. offset_in_bytes : Targetint.t;
}
| DW_op_bregx of {
1. reg_number : int;
2. offset_in_bytes : Targetint.t;
}
| DW_op_dup
| DW_op_drop
| DW_op_pick
| DW_op_over
| DW_op_swap
| DW_op_rot
| DW_op_deref
| DW_op_deref_size of Uint8.t
| DW_op_xderef
| DW_op_xderef_size of Uint8.t
| DW_op_push_object_address
| DW_op_form_tls_address
| DW_op_call_frame_cfa
| DW_op_abs
| DW_op_and
| DW_op_div
| DW_op_minus
| DW_op_mod
| DW_op_mul
| DW_op_neg
| DW_op_not
| DW_op_or
| DW_op_plus
| DW_op_plus_uconst of Uint64.t
| DW_op_shl
| DW_op_shr
| DW_op_shra
| DW_op_xor
| DW_op_le
| DW_op_ge
| DW_op_eq
| DW_op_lt
| DW_op_gt
| DW_op_ne
| DW_op_skip of {
1. num_bytes_forward : Int16.t;
}
| DW_op_bra of {
1. num_bytes_forward : Int16.t;
}
| DW_op_call2 of {
1. label : Asm_targets.Asm_label.t;
2. compilation_unit_header_label : Asm_targets.Asm_label.t;
}
| DW_op_call4 of {
1. label : Asm_targets.Asm_label.t;
2. compilation_unit_header_label : Asm_targets.Asm_label.t;
}
| DW_op_call_ref of {
1. label : Asm_targets.Asm_label.t;
2. compilation_unit_header_label : Asm_targets.Asm_label.t;
}
| DW_op_nop
| DW_op_reg0
| DW_op_reg1
| DW_op_reg2
| DW_op_reg3
| DW_op_reg4
| DW_op_reg5
| DW_op_reg6
| DW_op_reg7
| DW_op_reg8
| DW_op_reg9
| DW_op_reg10
| DW_op_reg11
| DW_op_reg12
| DW_op_reg13
| DW_op_reg14
| DW_op_reg15
| DW_op_reg16
| DW_op_reg17
| DW_op_reg18
| DW_op_reg19
| DW_op_reg20
| DW_op_reg21
| DW_op_reg22
| DW_op_reg23
| DW_op_reg24
| DW_op_reg25
| DW_op_reg26
| DW_op_reg27
| DW_op_reg28
| DW_op_reg29
| DW_op_reg30
| DW_op_reg31
| DW_op_regx of {
1. reg_number : int;
}
| DW_op_implicit_value of Dwarf_low.Dwarf_operator.implicit_value
| DW_op_stack_value
| DW_op_piece of {
1. size_in_bytes : Targetint.t;
}
| DW_op_bit_piece of {
1. size_in_bits : Targetint.t;
2. offset_in_bits : Targetint.t;
}
| DW_op_implicit_pointer of {
1. label : Asm_targets.Asm_label.t;
2. offset_in_bytes : Targetint.t;
}
| DW_op_GNU_implicit_pointer of {
1. label : Asm_targets.Asm_label.t;
2. offset_in_bytes : Targetint.t;
}

val opcode_name : Dwarf_low.Dwarf_operator.t -> string

val opcode : Dwarf_low.Dwarf_operator.t -> int

val caml_string_set32 : bytes -> index:int -> Stdlib.Int32.t -> unit

val caml_string_set64 : bytes -> index:int -> Stdlib.Int64.t -> unit

module Make (M : sig ... end) : sig ... end

module Print : sig ... end

module Size : sig ... end

module Emit : sig ... end

val print : Stdlib.Format.formatter -> Dwarf_low.Dwarf_operator.t -> unit

val size : Dwarf_low.Dwarf_operator.t -> I.t

val emit : 
  asm_directives:Asm_targets.Asm_directives_dwarf.t ->
  Dwarf_low.Dwarf_operator.t ->
  unit

Module Dwarf_low.Dwarf_operator

Module `Dwarf_low.Dwarf_operator`