[wasm] Prepare WasmThrow to use wasm-gc types

By removing the types from the WasmThrow, this prepares Fuzzilli to
adapt the tags as a next step to use wasm-gc signatures instead of
static parameter types (there might be more dependencies for that).

Bug: 445356784
Change-Id: I852a84efd928ed593bbb84105a95ab7a09cde9a7
Reviewed-on: https://chrome-internal-review.googlesource.com/c/v8/fuzzilli/+/8926696
Commit-Queue: Matthias Liedtke <mliedtke@google.com>
Reviewed-by: Doga Yüksel <dyuksel@google.com>

Author: Liedtke

Sources/Fuzzilli/Base/ProgramBuilder.swift

@@ -4115,7 +4115,7 @@ public class ProgramBuilder {
 
         public func WasmBuildThrow(tag: Variable, inputs: [Variable]) {
             let tagType = b.type(of: tag).wasmType as! WasmTagType
-            b.emit(WasmThrow(parameterTypes: tagType.parameters), withInputs: [tag] + inputs, types: [.object(ofGroup: "WasmTag")] + tagType.parameters)
+            b.emit(WasmThrow(parameterCount: tagType.parameters.count), withInputs: [tag] + inputs, types: [.object(ofGroup: "WasmTag")] + tagType.parameters)
         }
 
         public func wasmBuildThrowRef(exception: Variable) {

Sources/Fuzzilli/FuzzIL/Instruction.swift

@@ -1437,10 +1437,8 @@ extension Instruction: ProtobufConvertible {
                 $0.wasmEndTryDelegate = Fuzzilli_Protobuf_WasmEndTryDelegate.with {
                     $0.outputTypes = op.outputTypes.map(ILTypeToWasmTypeEnum)
                 }
-            case .wasmThrow(let op):
-                $0.wasmThrow = Fuzzilli_Protobuf_WasmThrow.with {
-                    $0.parameterTypes = op.parameterTypes.map(ILTypeToWasmTypeEnum)
-                }
+            case .wasmThrow(_):
+                $0.wasmThrow = Fuzzilli_Protobuf_WasmThrow()
             case .wasmThrowRef(_):
                 $0.wasmThrowRef = Fuzzilli_Protobuf_WasmThrowRef()
             case .wasmRethrow(_):
@@ -2488,8 +2486,8 @@ extension Instruction: ProtobufConvertible {
             op = WasmBeginTryDelegate(with: parameters => outputs)
         case .wasmEndTryDelegate(let p):
             op = WasmEndTryDelegate(outputTypes: p.outputTypes.map(WasmTypeEnumToILType))
-        case .wasmThrow(let p):
-            op = WasmThrow(parameterTypes: p.parameterTypes.map(WasmTypeEnumToILType))
+        case .wasmThrow(_):
+            op = WasmThrow(parameterCount: inouts.count - 1)
         case .wasmThrowRef(_):
             op = WasmThrowRef()
         case .wasmRethrow(_):

Sources/Fuzzilli/FuzzIL/WasmOperations.swift

@@ -1467,12 +1467,10 @@ final class WasmEndTryDelegate: WasmOperation {
 
 final class WasmThrow: WasmOperation {
     override var opcode: Opcode { .wasmThrow(self) }
-    public let parameterTypes: [ILType]
 
-    init(parameterTypes: [ILType]) {
-        self.parameterTypes = parameterTypes
+    init(parameterCount: Int) {
         // Inputs: the tag to be thrown plus the arguments for each parameter type of the tag.
-        super.init(numInputs: 1 + parameterTypes.count, attributes: [.isJump], requiredContext: [.wasmFunction])
+        super.init(numInputs: 1 + parameterCount, attributes: [.isJump], requiredContext: [.wasmFunction])
     }
 }
 

Sources/Fuzzilli/Protobuf/operations.pb.swift

@@ -5301,8 +5301,6 @@ public struct Fuzzilli_Protobuf_WasmThrow: Sendable {
   // `Message` and `Message+*Additions` files in the SwiftProtobuf library for
   // methods supported on all messages.
 
-  public var parameterTypes: [Fuzzilli_Protobuf_WasmILType] = []
-
   public var unknownFields = SwiftProtobuf.UnknownStorage()
 
   public init() {}
@@ -14054,29 +14052,18 @@ extension Fuzzilli_Protobuf_WasmEndTryDelegate: SwiftProtobuf.Message, SwiftProt
 
 extension Fuzzilli_Protobuf_WasmThrow: SwiftProtobuf.Message, SwiftProtobuf._MessageImplementationBase, SwiftProtobuf._ProtoNameProviding {
   public static let protoMessageName: String = _protobuf_package + ".WasmThrow"
-  public static let _protobuf_nameMap = SwiftProtobuf._NameMap(bytecode: "\0\u{1}parameterTypes\0")
+  public static let _protobuf_nameMap = SwiftProtobuf._NameMap()
 
   public mutating func decodeMessage<D: SwiftProtobuf.Decoder>(decoder: inout D) throws {
-    while let fieldNumber = try decoder.nextFieldNumber() {
-      // The use of inline closures is to circumvent an issue where the compiler
-      // allocates stack space for every case branch when no optimizations are
-      // enabled. https://github.com/apple/swift-protobuf/issues/1034
-      switch fieldNumber {
-      case 1: try { try decoder.decodeRepeatedMessageField(value: &self.parameterTypes) }()
-      default: break
-      }
-    }
+    // Load everything into unknown fields
+    while try decoder.nextFieldNumber() != nil {}
   }
 
   public func traverse<V: SwiftProtobuf.Visitor>(visitor: inout V) throws {
-    if !self.parameterTypes.isEmpty {
-      try visitor.visitRepeatedMessageField(value: self.parameterTypes, fieldNumber: 1)
-    }
     try unknownFields.traverse(visitor: &visitor)
   }
 
   public static func ==(lhs: Fuzzilli_Protobuf_WasmThrow, rhs: Fuzzilli_Protobuf_WasmThrow) -> Bool {
-    if lhs.parameterTypes != rhs.parameterTypes {return false}
     if lhs.unknownFields != rhs.unknownFields {return false}
     return true
   }

Sources/Fuzzilli/Protobuf/operations.proto

@@ -1298,7 +1298,6 @@ message WasmEndTryDelegate {
 }
 
 message WasmThrow {
-  repeated WasmILType parameterTypes = 1;
 }
 
 message WasmThrowRef {