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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
(* SPDX-License-Identifier: AGPL-3.0-or-later *)
(* Copyright © 2021-2024 OCamlPro *)
(* Written by the Owi programmers *)
open Types
open Syntax
module IMap = Map.Make (Int)
type data = { mutable value : string }
let drop_data data = data.value <- ""
type elem = { mutable value : Concrete_value.ref_value array }
let drop_elem (elem : elem) = elem.value <- [||]
type extern_funcs = Concrete_value.Func.extern_func Func_id.collection
type t' = Env_id.t
type 'ext t =
{ globals : Concrete_global.t IMap.t
; memories : Concrete_memory.t IMap.t
; tables : Concrete_table.t IMap.t
; functions : Func_intf.t IMap.t
; data : data IMap.t
; elem : elem IMap.t
; extern_funcs : 'ext Func_id.collection
; id : Env_id.t
}
let id (env : _ t) = env.id
let get_global (env : _ t) id = IMap.find id env.globals
let get_memory (env : _ t) id = IMap.find id env.memories
let get_table (env : _ t) id = IMap.find id env.tables
let get_func (env : _ t) id = IMap.find id env.functions
let get_data (env : _ t) id = IMap.find id env.data
let get_elem (env : _ t) id = IMap.find id env.elem
let get_extern_func env id = Func_id.get id env.extern_funcs
module Build = struct
type t =
{ globals : Concrete_global.t IMap.t
; memories : Concrete_memory.t IMap.t
; tables : Concrete_table.t IMap.t
; functions : Func_intf.t IMap.t
; data : data IMap.t
; elem : elem IMap.t
}
let empty =
{ globals = IMap.empty
; memories = IMap.empty
; tables = IMap.empty
; functions = IMap.empty
; data = IMap.empty
; elem = IMap.empty
}
let add_global id const (env : t) =
{ env with globals = IMap.add id const env.globals }
let add_memory id mem (env : t) =
{ env with memories = IMap.add id mem env.memories }
let add_table id table (env : t) =
{ env with tables = IMap.add id table env.tables }
let add_func id func (env : t) =
{ env with functions = IMap.add id func env.functions }
let add_data id data (env : t) = { env with data = IMap.add id data env.data }
let add_elem id elem (env : t) = { env with elem = IMap.add id elem env.elem }
let get_global (env : t) id =
match IMap.find_opt id env.globals with
| None -> Error `Unknown_global
| Some v -> Ok v
let get_const_global (env : t) id =
let* g = get_global env id in
match g.mut with
| Const -> ok g.value
| Var -> Error `Constant_expression_required
let get_func (env : t) id =
match IMap.find_opt id env.functions with
| None -> Error (`Unknown_function id)
| Some v -> Ok v
end
module type T = sig
type extern_func
type t
type elem = { mutable value : Concrete_value.ref_value array }
type data = { mutable value : string }
type func := Func_intf.t
val get_memory : t -> int -> Concrete_memory.t Result.t
val get_func : t -> int -> func Result.t
val get_table : t -> int -> Concrete_table.t Result.t
val get_elem : t -> int -> elem Result.t
val get_data : t -> int -> data Result.t
val get_global : t -> int -> Concrete_global.t Result.t
val drop_elem : elem -> unit
val drop_data : data -> unit
val get_extern_func : t -> Func_id.t -> Concrete_value.Func.extern_func
val get_func_typ : t -> func -> binary func_type
val pp : Format.formatter -> t -> unit
val freeze : Build.t -> extern_func Func_id.collection -> t
end
module type P = sig
val const_i32 : Int32.t -> V.int32
val const_i64 : Int64.t -> V.int64
val const_f32 : Float32.t -> V.float32
val const_f64 : Float64.t -> V.float64
end
let freeze id ({ globals; memories; tables; functions; data; elem } : Build.t)
extern_funcs =
{ id; globals; memories; tables; functions; data; elem; extern_funcs }