diff options
-rw-r--r-- | src/wasm.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/wasm.h b/src/wasm.h index 97e0bfc12..33a4587e6 100644 --- a/src/wasm.h +++ b/src/wasm.h @@ -676,11 +676,13 @@ public: std::ostream& doPrint(std::ostream &o, unsigned indent) { o << '('; prepareColor(o) << printWasmType(type) << ".load"; - if (bytes < 4) { + if (bytes < 4 || (type == i64 && bytes < 8)) { if (bytes == 1) { o << '8'; } else if (bytes == 2) { o << "16"; + } else if (bytes == 4) { + o << "32"; } else { abort(); } |