finite-wasm 0.6.1

Guarantee deterministic limits on execution time and space resources made available to the WebAssembly programs in a runtime-agnostic way. 
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

open Types
open Values

type 'inst t = 'inst func
and 'inst func =
  | AstFunc of func_type * 'inst * Ast.func
  | HostFunc of func_type * (value list -> value list)
  | GasIntrinsic
  | CopyIntrinsic
  | FillIntrinsic
  | InitIntrinsic
  | StackIntrinsic
  | UnstackIntrinsic

let alloc ft inst f = AstFunc (ft, inst, f)
let alloc_host ft f = HostFunc (ft, f)

let type_of = function
  | AstFunc (ft, _, _) -> ft
  | HostFunc (ft, _) -> ft
  | GasIntrinsic -> (FuncType ([NumType I64Type], []))
  | CopyIntrinsic -> (FuncType ([NumType I32Type; NumType I64Type; NumType I64Type], [NumType I32Type]))
  | FillIntrinsic -> (FuncType ([NumType I32Type; NumType I64Type; NumType I64Type], [NumType I32Type]))
  | InitIntrinsic -> (FuncType ([NumType I32Type; NumType I64Type; NumType I64Type], [NumType I32Type]))
  | StackIntrinsic -> (FuncType ([NumType I64Type; NumType I64Type], []))
  | UnstackIntrinsic -> (FuncType ([NumType I64Type; NumType I64Type], []))