diff options
| author | Yury Delendik <ydelendik@mozilla.com> | 2019-09-12 07:35:32 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-12 07:35:32 -0500 |
| commit | 99bb044a796b3c4bd3c292c11092de0e21d59ea9 (patch) | |
| tree | d7ef95ff8f91856753ed944401dfaffc375670cb /src/binary-writer-spec.cc | |
| parent | 3e938b7a10cc6738037dce5f18675cc5d267992d (diff) | |
| download | wabt-99bb044a796b3c4bd3c292c11092de0e21d59ea9.tar.gz wabt-99bb044a796b3c4bd3c292c11092de0e21d59ea9.tar.bz2 wabt-99bb044a796b3c4bd3c292c11092de0e21d59ea9.zip | |
Add ref.* to the (invoke) (#1156)
Diffstat (limited to 'src/binary-writer-spec.cc')
| -rw-r--r-- | src/binary-writer-spec.cc | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/binary-writer-spec.cc b/src/binary-writer-spec.cc index 816c050b..07f09fca 100644 --- a/src/binary-writer-spec.cc +++ b/src/binary-writer-spec.cc @@ -201,6 +201,17 @@ void BinaryWriterSpec::WriteConst(const Const& const_) { break; } + case Type::Nullref: + case Type::Funcref: + case Type::Anyref: { + WriteString("ref"); + WriteSeparator(); + WriteKey("value"); + int64_t ref_bits = static_cast<int64_t>(const_.ref_bits); + json_stream_->Writef("\"%" PRIu64 "\"", ref_bits); + break; + } + case Type::V128: { WriteString("v128"); WriteSeparator(); |