Text Format

[brendandahl]

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?

[brendandahl]

Another option, which I'm currently leaning towards since it matches call_indirect is:

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