On 2020-09-04 1:18 p.m., Bill Huffman wrote:
I tentatively agree *if* "truly in order" means "as if writes were the equivalent scalar writes of the register elements processed in order from 0 to vl" .
However, RVWMO should be assumed and no further strengthening of "order" should be stipulated.
None overlapping element writes are allowed in RVWMO global memory order to freely pass each other.
I would however prefer to weaken
as #528 recommends (in addition to a mnemonic change):
... VSUXEI ... stipulate that the net result of the operation allows multiple outcomes visible to the local hart; essentially depending upon which element is last written to overlapping memory locations.
... [VSXEI] to stipulate that the data written to memory will be as if the active elements were first copied to an XLEN length buffer ... processing the elements in the order from 0 to vl, and then only the affected bytes written to memory in whatever order RVVWMO allows.
The ideas are that