avail/avail.interpreter.levelTwoSimple/L2Simple_Permute

L2Simple_Permute

class L2Simple_Permute(val reads: IntArray, val writes: IntArray) : L2SimpleInstruction

Read from the array of reads positions in registers, and write those values to corresponding writes positions in registers. Do all reads before all writes, using temporary storage as needed.

Constructors

L2Simple_Permute

fun L2Simple_Permute(reads: IntArray, writes: IntArray)

Functions

fieldValueToString

fun fieldValueToString(value: Any?): String

Generate a suitable print representation of the value.

reenter

open fun reenter(registers: Array<AvailObject>, interpreter: Interpreter): StackReifier?

A previously constructed continuation is being resumed in some way, and the instruction just before the continuation's L2 offset has been asked to do anything specific to reentering the continuation. For example, a method call might be forced to reify the stack, but at resumption time (i.e., when "returning" into it), it will still need to check the type of the "returned" value against the expected type.

step

open override fun step(registers: Array<AvailObject>, interpreter: Interpreter): StackReifier?

Perform this instruction, a single step of an L2SimpleChunk. The mutable Array of AvailObjects acts as a simple set of registers. Element 0 is the current function, and the remaining elements correspond with the continuation slots, should one need to be constructed.

toString

open override fun toString(): String

Properties

reads

val reads: IntArray

writes

val writes: IntArray