diff options
| author | Soni L. <EnderMoneyMod@gmail.com> | 2024-10-29 18:55:48 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-29 14:55:48 -0700 |
| commit | 6b3b81d13559055830ad3e2867015e6fb78f7846 (patch) | |
| tree | c385c98634bee47c881808d0a5e376902de1df90 /src/binary-writer-spec.cc | |
| parent | 22b8252eff251845ac27cf29cf7a9126a5a58f97 (diff) | |
| download | wabt-6b3b81d13559055830ad3e2867015e6fb78f7846.tar.gz wabt-6b3b81d13559055830ad3e2867015e6fb78f7846.tar.bz2 wabt-6b3b81d13559055830ad3e2867015e6fb78f7846.zip | |
interp: Handle ref.null exn (#2497)
Diffstat (limited to 'src/binary-writer-spec.cc')
| -rw-r--r-- | src/binary-writer-spec.cc | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/binary-writer-spec.cc b/src/binary-writer-spec.cc index 3cb6674d..edcf0ba5 100644 --- a/src/binary-writer-spec.cc +++ b/src/binary-writer-spec.cc @@ -256,6 +256,14 @@ void BinaryWriterSpec::WriteConst(const Const& const_) { break; } + case Type::ExnRef: { + WriteString("exnref"); + WriteSeparator(); + WriteKey("value"); + WriteRefBits(const_.ref_bits()); + break; + } + case Type::V128: { WriteString("v128"); WriteSeparator(); |