feat: i32.rotr bitwise operation

DLR-FT · Jul 2, 2024 · b980739 · b980739
1 parent 35b39da
commit b980739
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 0 deletions.
diff --git a/src/execution/mod.rs b/src/execution/mod.rs
@@ -282,6 +282,16 @@ impl<'b> RuntimeInstance<'b> {
                     trace!("Instruction: i32.rotl [{v2} {v1}] -> [{res}]");
                     stack.push_value(res.into());
                 }
+                // i32.rotr: [i32 i32] -> [i32]
+                0x78 => {
+                    let v1: i32 = stack.pop_value(ValType::NumType(NumType::I32)).into();
+                    let v2: i32 = stack.pop_value(ValType::NumType(NumType::I32)).into();
+
+                    let res = v2.rotate_right(v1 as u32);
+
+                    trace!("Instruction: i32.rotr [{v2} {v1}] -> [{res}]");
+                    stack.push_value(res.into());
+                }
                 other => {
                     trace!("Unknown instruction {other:#x}, skipping..");
                 }

diff --git a/src/validation/code.rs b/src/validation/code.rs
@@ -230,6 +230,13 @@ fn read_instructions(
 
                 value_stack.push_back(ValType::NumType(NumType::I32));
             }
+            // i32.rotr: [i32 i32] -> [i32]
+            0x78 => {
+                assert_pop_value_stack(value_stack, ValType::NumType(NumType::I32))?;
+                assert_pop_value_stack(value_stack, ValType::NumType(NumType::I32))?;
+
+                value_stack.push_back(ValType::NumType(NumType::I32));
+            }
             other => {
                 return Err(Error::InvalidInstr(other));
             }