fix asm2wasm f64->f32->i32 bitcast (#412)

1 files changed, 4 insertions, 0 deletions

diff --git a/src/asm2wasm.h b/src/asm2wasm.h
index f905d2047..974a06bf3 100644
--- a/src/asm2wasm.h
+++ b/src/asm2wasm.h
@@ -1579,6 +1579,10 @@ Function* Asm2WasmBuilder::processFunction(Ref ast) {
                 auto conv = allocator.alloc<Unary>();
                 conv->op = ReinterpretFloat;
                 conv->value = process(writtenValue);
+                if (conv->value->type == f64) {
+                  // this has an implicit f64->f32 in the write to memory
+                  conv->value = builder.makeUnary(DemoteFloat64, conv->value, f32);
+                }
                 conv->type = WasmType::i32;
                 return conv;
               }