| Index: src/wasm/decoder.h
|
| diff --git a/src/wasm/decoder.h b/src/wasm/decoder.h
|
| index 6a99ef765084ffe2945356205ddeb0169a578fd3..d5c9f43c570f3b4ff7d8382d0fb684e3d603ee14 100644
|
| --- a/src/wasm/decoder.h
|
| +++ b/src/wasm/decoder.h
|
| @@ -208,6 +208,19 @@ class Decoder {
|
|
|
| // Consume {size} bytes and send them to the bit bucket, advancing {pc_}.
|
| void consume_bytes(int size) {
|
| + TRACE(" +%d %-20s: %d bytes\n", static_cast<int>(pc_ - start_), "skip",
|
| + size);
|
| + if (checkAvailable(size)) {
|
| + pc_ += size;
|
| + } else {
|
| + pc_ = limit_;
|
| + }
|
| + }
|
| +
|
| + // Consume {size} bytes and send them to the bit bucket, advancing {pc_}.
|
| + void consume_bytes(uint32_t size, const char* name = "skip") {
|
| + TRACE(" +%d %-20s: %d bytes\n", static_cast<int>(pc_ - start_), name,
|
| + size);
|
| if (checkAvailable(size)) {
|
| pc_ += size;
|
| } else {
|
|
|