Text Format

The current plan to reuse the existing load/store memory instructions for arrays will require some new WAT syntax to signal that the load/store instruction is operating on an array. Some options:

Option 1 - array Keyword

i32.load array $type_index (<array ref>) (<address>)

Option 2 - backing=array

i32.load backing=array $type_index (<array ref>) (<address>)

Option 3 - type=$type_index

i32.load type=$type_index (<array ref>) (<address>)

(Won't work) Option 4 - Use Presence Type Index to Signal Array Read

i32.load $type_index (<array ref>) (<address>)

Unfortunately, this won't work because there is no way to differentiate this from i32.load $memory_index.

Option 5 - ???

Any other proposals?

Start by reviewing the issue's proposed WAT forms for array-aware load/store instructions and compare them with the existing memory-index syntax described in the body. No files or tests are named. Done means reaching agreement on a syntax that distinguishes array access from memory access.