|
@@ -85,6 +85,8 @@ interface
|
|
'memory.grow 0', 'memory.size 0',
|
|
'memory.grow 0', 'memory.size 0',
|
|
// bulk memory operations
|
|
// bulk memory operations
|
|
'memory.copy 0,0', 'memory.fill 0', 'memory.init', 'data.drop',
|
|
'memory.copy 0,0', 'memory.fill 0', 'memory.init', 'data.drop',
|
|
|
|
+ // reference instructions
|
|
|
|
+ 'ref.null', 'ref.is_null', 'ref.func',
|
|
// exceptions
|
|
// exceptions
|
|
'try','catch','catch_all','delegate','throw','rethrow','end_try',
|
|
'try','catch','catch_all','delegate','throw','rethrow','end_try',
|
|
// atomic memory accesses - load/store
|
|
// atomic memory accesses - load/store
|