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 { |