Class SelectTyped
Represents "select t*" instruction, which can select the values of reference types.
Assembly: WaaS.Core.dll
View Source
Declaration
[OpCode(28)]
public class SelectTyped : Instruction
Inheritance: System.Object -> WaaS.Models.Instruction
Properties
Types
View Source
Declaration
public ReadOnlyMemory<ValueType> Types { get; }
Methods
Execute(WasmStackFrame)
Executes the instruction.
View Source
Declaration
public override void Execute(WasmStackFrame current)
Parameters
| Type | Name |
|---|---|
| WaaS.Runtime.WasmStackFrame | current |
Validate(in ValidationContext)
Validates the instruction.
View Source
Declaration
public override void Validate(in ValidationContext context)
Parameters
| Type | Name |
|---|---|
| WaaS.Models.ValidationContext | context |
PreValidateStackState(in ValidationContext)
Get the number of values to pop and push from the stack to validate stack depth.
View Source
Declaration
public override (uint popCount, uint pushCount) PreValidateStackState(in ValidationContext context)
Returns
System.ValueTuple<System.UInt32,System.UInt32>
Parameters
| Type | Name |
|---|---|
| WaaS.Models.ValidationContext | context |
ValidateStackState(in ValidationContext, ref ValidationBlockStackState)
Simulates stack operations to validate the stack state.
View Source
Declaration
public override void ValidateStackState(in ValidationContext context, ref ValidationBlockStackState stackState)
Parameters
| Type | Name |
|---|---|
| WaaS.Models.ValidationContext | context |
| WaaS.Models.ValidationBlockStackState | stackState |