diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-02-10 18:10:37 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2016-02-10 18:10:37 -0800 |
| commit | 67c4675514ec9c220a74274f6fea10a47c7d5bac (patch) | |
| tree | 858133be92bd71d9ac60d2b9eae118d7a4a763d3 /src | |
| parent | b528843ea6b68fe932ccad1d2ff5611b7c27a6d8 (diff) | |
| download | binaryen-67c4675514ec9c220a74274f6fea10a47c7d5bac.tar.gz binaryen-67c4675514ec9c220a74274f6fea10a47c7d5bac.tar.bz2 binaryen-67c4675514ec9c220a74274f6fea10a47c7d5bac.zip | |
fix store printing
Diffstat (limited to 'src')
| -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 e30a891b9..8701bd2f4 100644 --- a/src/wasm.h +++ b/src/wasm.h @@ -758,11 +758,13 @@ public: std::ostream& doPrint(std::ostream &o, unsigned indent) { o << '('; prepareColor(o) << printWasmType(type) << ".store"; - 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(); } |