Fix missing SIMD validation error

src/wasm-type.h

@@ -928,6 +928,8 @@ struct TypeBuilder {
     InvalidSharedType,
     // A string type with strings disabled.
     InvalidStringType,
+    // A SIMD type with SIMD disabled.
+    InvalidSIMDType,
     // A non-shared field of a shared heap type.
     InvalidUnsharedField,
     // A describes clause on a non-struct type.

src/wasm/wasm-type.cpp

@@ -1468,6 +1468,8 @@ std::ostream& operator<<(std::ostream& os,
       return os << "Shared types require shared-everything";
     case TypeBuilder::ErrorReasonKind::InvalidStringType:
       return os << "String types require strings feature";
+    case TypeBuilder::ErrorReasonKind::InvalidSIMDType:
+      return os << "SIMD types require SIMD feature";
     case TypeBuilder::ErrorReasonKind::InvalidUnsharedField:
       return os << "Heap type has an invalid unshared field";
     case TypeBuilder::ErrorReasonKind::NonStructDescribes:
@@ -2387,6 +2389,9 @@ bool isValidSupertype(const HeapTypeInfo& sub, const HeapTypeInfo& super) {
 
 std::optional<TypeBuilder::ErrorReason>
 validateType(Type type, FeatureSet feats, bool isShared) {
+  if (type == Type::v128 && !feats.hasSIMD()) {
+    return TypeBuilder::ErrorReasonKind::InvalidSIMDType;
+  }
   if (type.isRef()) {
     auto heapType = type.getHeapType();
     if (isShared && !heapType.isShared()) {

test/lit/validation/ref-func-simd.wast

@@ -1,7 +1,7 @@
 ;; A function type that uses a SIMD type requires the SIMD feature.
 ;; RUN: not wasm-opt --enable-reference-types %s 2>&1 | filecheck %s
 
-;; CHECK: all used types should be allowed
+;; CHECK: invalid type: SIMD types require SIMD feature
 
 (module
   (type $simd-user (func (param v128)))

test/lit/validation/ref-gc-simd.wast

@@ -1,7 +1,7 @@
 ;; A gc type that uses a SIMD type requires the SIMD feature.
 ;; RUN: not wasm-opt --enable-reference-types --enable-gc %s 2>&1 | filecheck %s
 
-;; CHECK: all used types should be allowed
+;; CHECK: invalid type: SIMD types require SIMD feature
 
 (module
   (type $simd-user (struct (field v128)))