1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
|
/// > Note:
/// <https://webassembly.github.io/spec/core/syntax/types.html#result-types>
public enum ResultType: Equatable {
/// Single type encoded directly.
case single(ValueType)
/// A tuple of multiple types encoded in the type section where it can be looked up
/// with a given `typeIndex`.
case multi(typeIndex: UInt8)
/// Empty result type
case empty
func arity(typeSection: [FunctionType]?) throws -> Instruction.BlockType {
switch self {
case .single:
return Instruction.BlockType(parameters: 0, results: 1)
case .empty:
return Instruction.BlockType(parameters: 0, results: 0)
case let .multi(typeIndex):
let typeIndex = Int(typeIndex)
guard let typeSection, typeIndex < typeSection.count else {
throw WasmParserError.invalidTypeSectionReference
}
let funcType = typeSection[typeIndex]
return Instruction.BlockType(
parameters: UInt16(funcType.parameters.count),
results: UInt16(funcType.results.count)
)
}
}
}
/// > Note:
/// <https://webassembly.github.io/spec/core/syntax/types.html#function-types>
public struct FunctionType: Equatable {
public init(parameters: [ValueType], results: [ValueType] = []) {
self.parameters = parameters
self.results = results
}
public let parameters: [ValueType]
public let results: [ValueType]
}
/// > Note:
/// <https://webassembly.github.io/spec/core/syntax/types.html#limits>
public struct Limits: Equatable {
public let min: UInt64
public let max: UInt64?
public let isMemory64: Bool
public init(min: UInt64, max: UInt64?, isMemory64: Bool = false) {
self.min = min
self.max = max
self.isMemory64 = isMemory64
}
}
/// > Note:
/// <https://webassembly.github.io/spec/core/syntax/types.html#memory-types>
public typealias MemoryType = Limits
/// > Note:
/// <https://webassembly.github.io/spec/core/syntax/types.html#table-types>
public struct TableType: Equatable {
public let elementType: ReferenceType
public let limits: Limits
}
/// > Note:
/// <https://webassembly.github.io/spec/core/syntax/types.html#global-types>
public enum Mutability: Equatable {
case constant
case variable
}
/// > Note:
/// <https://webassembly.github.io/spec/core/syntax/types.html#global-types>
public struct GlobalType: Equatable {
public let mutability: Mutability
public let valueType: ValueType
}
/// > Note:
/// <https://webassembly.github.io/spec/core/syntax/types.html#external-types>
public enum ExternalType {
case function(FunctionType)
case table(TableType)
case memory(MemoryType)
case global(GlobalType)
}
|
