|
@@ -86,7 +86,7 @@ interface
|
|
// 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
|
|
// reference instructions
|
|
- 'ref.null func', 'ref.null extern', 'ref.is_null', 'ref.func',
|
|
|
|
|
|
+ 'ref.null_func', 'ref.null_extern', 'ref.is_null', 'ref.func',
|
|
// table instructions
|
|
// table instructions
|
|
'table.get', 'table.set', 'table.size', 'table.grow', 'table.fill', 'table.copy', 'table.init', 'elem.drop',
|
|
'table.get', 'table.set', 'table.size', 'table.grow', 'table.fill', 'table.copy', 'table.init', 'elem.drop',
|
|
// saturating truncation instructions
|
|
// saturating truncation instructions
|