diff options
| author | Alon Zakai <azakai@google.com> | 2023-01-26 16:11:24 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-26 16:11:24 -0800 |
| commit | 0e4712f8dbbc43c6c55041e2359f24aa42ae0fdb (patch) | |
| tree | d6ad070bb4030ea52e4881de276f8334adb2624d /scripts | |
| parent | 07362b354b42b3c8cda2eff58fcaa9e74a2b2d18 (diff) | |
| download | binaryen-0e4712f8dbbc43c6c55041e2359f24aa42ae0fdb.tar.gz binaryen-0e4712f8dbbc43c6c55041e2359f24aa42ae0fdb.tar.bz2 binaryen-0e4712f8dbbc43c6c55041e2359f24aa42ae0fdb.zip | |
[Strings] Add experimental StringNew variants (#5459)
string.from_code_point makes a string from an int code point.
string.new_utf8*_try makes a utf8 string and returns null on a UTF8 encoding
error rather than trap.
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/gen-s-parser.py | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/scripts/gen-s-parser.py b/scripts/gen-s-parser.py index f6c8e6e28..f8ad5fce2 100755 --- a/scripts/gen-s-parser.py +++ b/scripts/gen-s-parser.py @@ -607,10 +607,13 @@ instructions = [ ("ref.as_i31", "makeRefCast(s, Type(HeapType::i31, NonNullable))"), ("extern.internalize", "makeRefAs(s, ExternInternalize)"), ("extern.externalize", "makeRefAs(s, ExternExternalize)"), - ("string.new_wtf8", "makeStringNew(s, StringNewWTF8)"), - ("string.new_wtf16", "makeStringNew(s, StringNewWTF16)"), - ("string.new_wtf8_array", "makeStringNew(s, StringNewWTF8Array)"), - ("string.new_wtf16_array", "makeStringNew(s, StringNewWTF16Array)"), + ("string.new_wtf8", "makeStringNew(s, StringNewWTF8, false)"), + ("string.new_wtf16", "makeStringNew(s, StringNewWTF16, 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_wtf8", "makeStringMeasure(s, StringMeasureWTF8)"), ("string.measure_wtf16", "makeStringMeasure(s, StringMeasureWTF16)"), |