Index: src/wasm/decoder.h |
diff --git a/src/wasm/decoder.h b/src/wasm/decoder.h |
index a6ede54bec2d2a8ed5185f292f2754f575970400..de91600a58baca72457108b68082f91d3049340b 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 { |