From df10192f3445648b797977e54ae64ae955d5e21c Mon Sep 17 00:00:00 2001
From: Alon Zakai <alonzakai@gmail.com>
Date: Fri, 29 Jan 2016 15:21:17 -0800
Subject: fix printing of i64 loads of 4 bytes

---
 src/wasm.h | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src')

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();
       }
-- 
cgit v1.2.3