diff options
Diffstat (limited to 'scripts/gen-s-parser.py')
| -rwxr-xr-x | scripts/gen-s-parser.py | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/scripts/gen-s-parser.py b/scripts/gen-s-parser.py index f82156b43..7e8a5b830 100755 --- a/scripts/gen-s-parser.py +++ b/scripts/gen-s-parser.py @@ -597,20 +597,29 @@ instructions = [ ("ref.as_non_null", "makeRefAs(s, RefAsNonNull)"), ("extern.internalize", "makeRefAs(s, ExternInternalize)"), ("extern.externalize", "makeRefAs(s, ExternExternalize)"), + ("string.new_utf8", "makeStringNew(s, StringNewUTF8, false)"), + ("string.new_lossy_utf8", "makeStringNew(s, StringNewLossyUTF8, false)"), ("string.new_wtf8", "makeStringNew(s, StringNewWTF8, false)"), ("string.new_wtf16", "makeStringNew(s, StringNewWTF16, false)"), + ("string.new_utf8_array", "makeStringNew(s, StringNewUTF8Array, false)"), + ("string.new_lossy_utf8_array", "makeStringNew(s, StringNewLossyUTF8Array, false)"), ("string.new_wtf8_array", "makeStringNew(s, StringNewWTF8Array, false)"), ("string.new_wtf16_array", "makeStringNew(s, StringNewWTF16Array, false)"), ("string.from_code_point", "makeStringNew(s, StringNewFromCodePoint, false)"), ("string.new_utf8_try", "makeStringNew(s, StringNewUTF8, true)"), ("string.new_utf8_array_try", "makeStringNew(s, StringNewUTF8Array, true)"), ("string.const", "makeStringConst(s)"), + ("string.measure_utf8", "makeStringMeasure(s, StringMeasureUTF8)"), ("string.measure_wtf8", "makeStringMeasure(s, StringMeasureWTF8)"), ("string.measure_wtf16", "makeStringMeasure(s, StringMeasureWTF16)"), ("string.is_usv_sequence", "makeStringMeasure(s, StringMeasureIsUSV)"), ("string.hash", "makeStringMeasure(s, StringMeasureHash)"), + ("string.encode_utf8", "makeStringEncode(s, StringEncodeUTF8)"), + ("string.encode_lossy_utf8", "makeStringEncode(s, StringEncodeLossyUTF8)"), ("string.encode_wtf8", "makeStringEncode(s, StringEncodeWTF8)"), ("string.encode_wtf16", "makeStringEncode(s, StringEncodeWTF16)"), + ("string.encode_utf8_array", "makeStringEncode(s, StringEncodeUTF8Array)"), + ("string.encode_lossy_utf8_array", "makeStringEncode(s, StringEncodeLossyUTF8Array)"), ("string.encode_wtf8_array", "makeStringEncode(s, StringEncodeWTF8Array)"), ("string.encode_wtf16_array", "makeStringEncode(s, StringEncodeWTF16Array)"), ("string.concat", "makeStringConcat(s)"), |