|
@@ -82,7 +82,9 @@ interface
|
|
'i32.load8_u', 'i32.load16_u', 'i64.load8_u', 'i64.load16_u', 'i64.load32_u',
|
|
'i32.load8_u', 'i32.load16_u', 'i64.load8_u', 'i64.load16_u', 'i64.load32_u',
|
|
'i32.store8', 'i32.store16', 'i64.store8', 'i64.store16', 'i64.store32',
|
|
'i32.store8', 'i32.store16', 'i64.store8', 'i64.store16', 'i64.store32',
|
|
// additional memory
|
|
// additional memory
|
|
- 'memory.grow 0', 'memory.size 0'
|
|
|
|
|
|
+ 'memory.grow 0', 'memory.size 0',
|
|
|
|
+ // exceptions
|
|
|
|
+ 'try','catch','catch_all','delegate','throw','rethrow','end_try'
|
|
);
|
|
);
|
|
|
|
|
|
gas_wasm_basic_type_str : array [TWasmBasicType] of string = ('i32','i64','f32','f64');
|
|
gas_wasm_basic_type_str : array [TWasmBasicType] of string = ('i32','i64','f32','f64');
|