Minimal SIMD types support

kateinoigakukun · kateinoigakukun · commit 3895c4afbd13 · 2024-12-21T21:42:52.000+09:00
Nothing is implemented yet but just not to prevent parsing a name
section of a module with SIMD types.
diff --git a/Sources/WAT/Encoder.swift b/Sources/WAT/Encoder.swift
@@ -119,6 +119,7 @@ extension ValueType: WasmEncodable {
         case .i64: encoder.output.append(0x7E)
         case .f32: encoder.output.append(0x7D)
         case .f64: encoder.output.append(0x7C)
+        case .v128: encoder.output.append(0x7B)
         case .ref(let refType): refType.encode(to: &encoder)
         }
     }
diff --git a/Sources/WasmKit/Execution/UntypedValue.swift b/Sources/WasmKit/Execution/UntypedValue.swift
@@ -142,6 +142,8 @@ struct UntypedValue: Equatable, Hashable {
         case .i64: return .i64(i64)
         case .f32: return .f32(rawF32)
         case .f64: return .f64(rawF64)
+        case .v128:
+            fatalError("v128 value type is not supported yet.")
         case .ref(let referenceType):
             return .ref(asReference(referenceType))
         }
diff --git a/Sources/WasmParser/WasmParser.swift b/Sources/WasmParser/WasmParser.swift
@@ -430,6 +430,7 @@ extension Parser {
         case 0x7E: return .i64
         case 0x7D: return .f32
         case 0x7C: return .f64
+        case 0x7B: return .f64
         case 0x70: return .ref(.funcRef)
         case 0x6F: return .ref(.externRef)
         default:
diff --git a/Sources/WasmTypes/WasmTypes.swift b/Sources/WasmTypes/WasmTypes.swift
@@ -31,6 +31,8 @@ public enum ValueType: Equatable, Hashable {
     case f32
     /// 64-bit IEEE 754 floating-point number.
     case f64
+    /// 128-bit vector of packed integer or floating-point data.
+    case v128
     /// Reference value type.
     case ref(ReferenceType)
 }

Original file line number	Diff line number	Diff line change
`@@ -119,6 +119,7 @@ extension ValueType: WasmEncodable {`
`119`	`119`	`case .i64: encoder.output.append(0x7E)`
`120`	`120`	`case .f32: encoder.output.append(0x7D)`
`121`	`121`	`case .f64: encoder.output.append(0x7C)`
	`122`	`+ case .v128: encoder.output.append(0x7B)`
`122`	`123`	`case .ref(let refType): refType.encode(to: &encoder)`
`123`	`124`	`}`
`124`	`125`	`}`
Original file line number	Diff line number	Diff line change
`@@ -142,6 +142,8 @@ struct UntypedValue: Equatable, Hashable {`
`142`	`142`	`case .i64: return .i64(i64)`
`143`	`143`	`case .f32: return .f32(rawF32)`
`144`	`144`	`case .f64: return .f64(rawF64)`
	`145`	`+ case .v128:`
	`146`	`+ fatalError("v128 value type is not supported yet.")`
`145`	`147`	`case .ref(let referenceType):`
`146`	`148`	`return .ref(asReference(referenceType))`
`147`	`149`	`}`
Original file line number	Diff line number	Diff line change
`@@ -31,6 +31,8 @@ public enum ValueType: Equatable, Hashable {`
`31`	`31`	`case f32`
`32`	`32`	`/// 64-bit IEEE 754 floating-point number.`
`33`	`33`	`case f64`
	`34`	`+ /// 128-bit vector of packed integer or floating-point data.`
	`35`	`+ case v128`
`34`	`36`	`/// Reference value type.`
`35`	`37`	`case ref(ReferenceType)`
`36`	`38`	`}`