chipsalliance / chipsalliance/riscv-vector-tests

Potential issue with test case for indexed-unordered segment stores due to variance in storage order

Open
#61 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Go
Stars
118
Forks
40
PR merge metrics
No merged PRs in 30d

Description

### Description:
When testing the vsuxseg2ei16 instruction, the test case fails under specific conditions. Upon further analysis, it was found that address overlap in the test cases, according to the RISC-V spec description for vsuxseg2ei16,

![image](https://github.com/user-attachments/assets/fd6fe7d6-fa13-45ef-b967-1273598a27be)

When the data in v5 has a sequence of difference 2, for example, v5={2,4,... }, the addresses of v3[0] and v2[1] overlap. There exists a scenario where v2[1] can **overwrite** the value stored by v3[0].

Since the instruction is **Indexed-unordered** segment stores, when address overlap occurs, the addressable data is theoretically unpredictable

Based on the results of my tests and my personal understanding, I think the test of Indexed-unordered segment stores directive may need further improvement.

Contributor guide

No contributing guide indexed for this repository

Research direction

The issue identifies the vsuxseg2ei16 test and the RISC-V specification as the relevant entry points; start by locating that test and reviewing the specification's indexed-unordered overlap behavior. Reproduce the failure with overlapping addresses, then verify that the test's expectations match the outcomes permitted by the specification.

Written by the indexing model from the issue text.

Assessment

Tech stack
go
Domain
testing-qa
Issue type
Bug
Difficulty
3/5
Estimated time
1-2 days
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.