From 290f4bc9ee1922b347427c24b901f8ebd7d7918f Mon Sep 17 00:00:00 2001
From: Adam Bratschi-Kaye <adam.bratschikaye@dfinity.org>
Date: Wed, 9 Nov 2022 16:11:22 +0100
Subject: [PATCH] Change the I64xLeS instruction encoding (#811)

Change the u32 field of the I64x2LeS instruction from 0xDD to 0xDA to
match the spec.
---
 crates/wasm-encoder/src/core/code.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/crates/wasm-encoder/src/core/code.rs b/crates/wasm-encoder/src/core/code.rs
index e27ed69372..eb3f7c03e9 100644
--- a/crates/wasm-encoder/src/core/code.rs
+++ b/crates/wasm-encoder/src/core/code.rs
@@ -2331,7 +2331,7 @@ impl Encode for Instruction<'_> {
             }
             Instruction::I64x2LeS => {
                 sink.push(0xFD);
-                0xDDu32.encode(sink);
+                0xDAu32.encode(sink);
             }
             Instruction::I64x2GeS => {
                 sink.push(0xFD);