/
expression.mli
63 lines (32 loc) · 1.44 KB
/
expression.mli
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
type t
val block : ?return_type:Type.t -> Module.t -> string -> t list -> t
val if_ : Module.t -> t -> t -> t -> t
val loop : Module.t -> string -> t -> t
val break : Module.t -> string -> t -> t -> t
val switch : Module.t -> string list -> string -> t -> t -> t
val call : Module.t -> string -> t list -> Type.t -> t
val call_indirect : Module.t -> t -> t list -> Type.t -> Type.t -> t
val return_call : Module.t -> string -> t list -> Type.t -> t
val return_call_indirect : Module.t -> t -> t list -> Type.t -> Type.t -> t
val local_get : Module.t -> int -> Type.t -> t
val local_set : Module.t -> int -> t -> t
val local_tee : Module.t -> int -> t -> Type.t -> t
val global_get : Module.t -> string -> Type.t -> t
val global_set : Module.t -> string -> t -> t
val load : Module.t -> int -> ?signed:bool -> int -> int -> Type.t -> t -> t
val store : Module.t -> int -> int -> int -> t -> t -> Type.t -> t
val const : Module.t -> Literal.t -> t
val unary : Module.t -> Op.t -> t -> t
val binary : Module.t -> Op.t -> t -> t -> t
val select : Module.t -> t -> t -> t -> t
val drop : Module.t -> t -> t
val return : Module.t -> t -> t
val nop : Module.t -> t
val unreachable : Module.t -> t
val memory_copy : Module.t -> t -> t -> t -> t
val memory_fill : Module.t -> t -> t -> t -> t
val tuple_make : Module.t -> t list -> t
val tuple_extract : Module.t -> t -> int -> t
val pop : Module.t -> Type.t -> t
val null : unit -> t
val print : t -> unit