diff options
Diffstat (limited to 'src/wasm-io.h')
| -rw-r--r-- | src/wasm-io.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/wasm-io.h b/src/wasm-io.h index 77d2506c4..fbc8947c6 100644 --- a/src/wasm-io.h +++ b/src/wasm-io.h @@ -33,6 +33,8 @@ public: // the binary, so that we can update DWARF sections later when writing. void setDWARF(bool DWARF_) { DWARF = DWARF_; } + void setProfile(IRProfile profile_) { profile = profile_; } + // read text void readText(std::string filename, Module& wasm); // read binary @@ -49,6 +51,8 @@ public: private: bool DWARF = false; + IRProfile profile = IRProfile::Normal; + void readStdin(Module& wasm, std::string sourceMapFilename); void readBinaryData(std::vector<char>& input, |