Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[BUG] CVA6 core throw Store Address Misaligned while address for Load-Reserved is misaligned #2455

Open
1 task done
riscv914 opened this issue Aug 19, 2024 · 1 comment
Open
1 task done
Labels
notCV32A65X It is not an CV32A65X issue PARAM:AMO Atomic extension Type:Bug For bugs in the RTL, Documentation, Verification environment or Tool and Build system

Comments

@riscv914
Copy link

Is there an existing CVA6 bug for this?

  • I have searched the existing bug issues

Bug Description

When executing Load-Reserved instructions (e.g. LR.D) with a misaligned address, CVA6 core throw Store Address Misaligned while it should throw Load Address Misaligned.

To reproduce, execute following instruction:

int main(void){
    // Load an address in ra which is not 8-bytes aligned e.g. 0x0000000080001054
    asm volatile ("lr.d    s1, (ra)");
    // Exception @ Cause: Store Address Misaligned,
}

However, if you execute same code on Spike you will get trap_load_address_misaligned exception.

- Spike version: `1.1.1-dev`
- version: `CVA6 commit: 7435cb310ee98c246edd15d00ec236ad2c6ff490`
- OS: `CentOS Linux release 7.9.2009 kernel: 5.15.0-78-generic`
- Simulator: `VCS_2023`
@riscv914 riscv914 added the Type:Bug For bugs in the RTL, Documentation, Verification environment or Tool and Build system label Aug 19, 2024
@JeanRochCoulon JeanRochCoulon added PARAM:AMO Atomic extension notCV32A65X It is not an CV32A65X issue labels Sep 22, 2024
@JeanRochCoulon
Copy link
Contributor

Thank you @riscv914 for this input.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
notCV32A65X It is not an CV32A65X issue PARAM:AMO Atomic extension Type:Bug For bugs in the RTL, Documentation, Verification environment or Tool and Build system
Projects
None yet
Development

No branches or pull requests

2 participants