diff options
Diffstat (limited to 'src/wasm-interpreter.h')
-rw-r--r-- | src/wasm-interpreter.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/wasm-interpreter.h b/src/wasm-interpreter.h index 3d963269d..392b0c2bc 100644 --- a/src/wasm-interpreter.h +++ b/src/wasm-interpreter.h @@ -1167,6 +1167,14 @@ public: NOTE_ENTER("Nop"); return Flow(); } + Flow visitPrefetch(Prefetch* curr) { + NOTE_ENTER("Prefetch"); + Flow flow = visit(curr->ptr); + if (flow.breaking()) { + return flow; + } + return Flow(); + } Flow visitUnreachable(Unreachable* curr) { NOTE_ENTER("Unreachable"); trap("unreachable"); |