wasmi_ir: add support for the Wasm simd proposal (#1409)

* add simd crate feature to wasmi_ir

* make wasmi_ir::Instruction non_exhaustive

* adjust Wasmi executor for non-exhaustive Instruction

* make it possible to feature guard instruction definitions

* add simd splat instruction variants

* add extract_lane SIMD ops

* make wasmi_ir compile without simd feature

* add result and docs for extract_lanes ops

* import V128 for docs

* add replace_lane SIMD ops

* add i8x16.{swizzle,shuffle} ops

* add lanewise binary int arithmetic ops

* add i32x4.dot_i16x8_s op

* add missing comma

* add integer lanewise neg ops

* add extmul SIMD ops

* add extadd pairwise SIMD ops

* add {add,sub}_sat SIMD ops

* add Wasm i16x8.q15mulr_sat_s op

* add integer min, max SIMD ops

* add avgr_u SIMD ops

* add integer abs SIMD ops

* add shift SIMD ops

* add bitwise SIMD ops

* fix spelling of new ops

* add missing comma

* add v128.bitselect SIMD op

* add all_true, any_true, bitmask and popcnt SIMD ops

* add SIMD comparison ops

* add f{32,64} neg and abs SIMD ops

* add f{32,64} binary math SIMD ops

* add f{32,64} unary math SIMD ops

* add conversion SIMD ops

* add narrowing conversion SIMD ops

* add extend_{low,high} SIMD ops

* add v128.store SIMD op

* fix inconsistencies in V128Store instructions

* add missing `value: Reg` to V128StoreOffset16 op

* add Offset8 utility type

* add Wasm v128.storeN_lane SIMD ops

* add most v128 load SIMD ops

* add v128.loadN_lane SIMD ops

Author: Robbepop

crates/ir/Cargo.toml

@@ -26,3 +26,4 @@ default = ["std"]
 std = [
     "wasmi_core/std",
 ]
+simd = ["wasmi_core/simd"]

crates/ir/src/enum.rs

@@ -1,10 +1,15 @@
+#[cfg(all(feature = "simd", doc))]
+use crate::core::simd::V128;
+#[cfg(feature = "simd")]
+use crate::core::simd::{ImmLaneIdx16, ImmLaneIdx2, ImmLaneIdx4, ImmLaneIdx8};
 use crate::{core::TrapCode, for_each_op, index::*, primitive::Offset64Hi, *};
 use ::core::num::{NonZeroI32, NonZeroI64, NonZeroU32, NonZeroU64};
 
 macro_rules! define_enum {
     (
         $(
             $( #[doc = $doc:literal] )*
+            $( #[cfg(feature = $feature_name:literal)] )?
             #[snake_name($snake_name:ident)]
             $name:ident
             $(
@@ -37,10 +42,12 @@ macro_rules! define_enum {
         /// `#Encoding` section of its documentation if it requires more than a single
         /// instruction for its encoding.
         #[derive(Debug, Copy, Clone, PartialEq, Eq)]
+        #[non_exhaustive]
         #[repr(u16)]
         pub enum Instruction {
             $(
                 $( #[doc = $doc] )*
+                $( #[cfg(feature = $feature_name)] )?
                 $name
                 $(
                     {
@@ -60,6 +67,7 @@ macro_rules! define_enum {
         impl Instruction {
             $(
                 #[doc = concat!("Creates a new [`Instruction::", stringify!($name), "`].")]
+                $( #[cfg(feature = $feature_name)] )?
                 pub fn $snake_name(
                     $(
                         $( $result_name: impl Into<$result_ty>, )?
@@ -101,6 +109,7 @@ macro_rules! define_result {
     (
         $(
             $( #[doc = $doc:literal] )*
+            $( #[cfg(feature = $feature_name:literal)] )?
             #[snake_name($snake_name:ident)]
             $name:ident
             $(
@@ -124,6 +133,7 @@ macro_rules! define_result {
             pub fn result(&self) -> Option<$crate::Reg> {
                 match *self {
                     $(
+                        $( #[cfg(feature = $feature_name)] )?
                         Self::$name { $( $( $result_name, )? )* .. } => {
                             IntoReg::into_reg((
                                 $( $( $result_name )? )*