diff options
Diffstat (limited to 'src/wasm-io.h')
| -rw-r--r-- | src/wasm-io.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/wasm-io.h b/src/wasm-io.h index fbc8947c6..04fe90b51 100644 --- a/src/wasm-io.h +++ b/src/wasm-io.h @@ -35,6 +35,11 @@ public: void setProfile(IRProfile profile_) { profile = profile_; } + // TODO: add support for this in the text format as well + void setSkipFunctionBodies(bool skipFunctionBodies_) { + skipFunctionBodies = skipFunctionBodies_; + } + // read text void readText(std::string filename, Module& wasm); // read binary @@ -53,6 +58,8 @@ private: IRProfile profile = IRProfile::Normal; + bool skipFunctionBodies = false; + void readStdin(Module& wasm, std::string sourceMapFilename); void readBinaryData(std::vector<char>& input, |