diff options
author | Sam Clegg <sbc@chromium.org> | 2019-11-26 09:45:14 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-11-26 09:45:14 -0600 |
commit | f1716357df721cbbaeacfcf8b1e7a12d4cb99459 (patch) | |
tree | f34fc05f9963956db564904c4ebe7abfabb67d05 /src/interp/interp-trace.cc | |
parent | 4386b19e2854e8d5f303bd7236a20092ff77cb9a (diff) | |
download | wabt-f1716357df721cbbaeacfcf8b1e7a12d4cb99459.tar.gz wabt-f1716357df721cbbaeacfcf8b1e7a12d4cb99459.tar.bz2 wabt-f1716357df721cbbaeacfcf8b1e7a12d4cb99459.zip |
reference-types: add support for typed select (#1253)
Diffstat (limited to 'src/interp/interp-trace.cc')
-rw-r--r-- | src/interp/interp-trace.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/interp/interp-trace.cc b/src/interp/interp-trace.cc index ec2211fe..a9952cdf 100644 --- a/src/interp/interp-trace.cc +++ b/src/interp/interp-trace.cc @@ -34,6 +34,7 @@ void Thread::Trace(Stream* stream) { assert(!opcode.IsInvalid()); switch (opcode) { case Opcode::Select: + case Opcode::SelectT: // TODO(binji): We don't know the type here so we can't display the value // to the user. This used to display the full 64-bit value, but that // will potentially display garbage if the value is 32-bit. |