cva6 icon indicating copy to clipboard operation
cva6 copied to clipboard

[TASK] Add a test for misaligned branches

Open cathales opened this issue 1 year ago • 9 comments

Is there an existing CVA6 task for this?

  • [X] I have searched the existing task issues

Task Description

Issue #1300 should be fixed by PR #1719. There is no regression, but we lack a test to verify that the bug is actually fixed. (With TDD we would have added this test before fixing the bug)

Required Changes

Add a test branching to a target_address such as target_address[1:0] is 2’b10.

A misaligned address exception shall be raised if RVC extension is disabled, but not if RVC extension is enabled.

cathales avatar Dec 19 '23 08:12 cathales

@AyoubJalali Can you tell me whether this test should be linked to ISACOV ? Is it possible to generate it with riscv-dv ?

JeanRochCoulon avatar Dec 27 '23 10:12 JeanRochCoulon

👋 Hi there!

This issue seems inactive. Need more help? Feel free to update us. If there are no updates within the next few days, we'll go ahead and close this issue. 😊

github-actions[bot] avatar Jan 27 '24 01:01 github-actions[bot]

@AyoubJalali Any idea ?

JeanRochCoulon avatar Jan 27 '24 21:01 JeanRochCoulon

👋 Hi there!

This issue seems inactive. Need more help? Feel free to update us. If there are no updates within the next few days, we'll go ahead and close this issue. 😊

github-actions[bot] avatar Feb 27 '24 01:02 github-actions[bot]

👋 Hi there!

This issue seems inactive. Need more help? Feel free to update us. If there are no updates within the next few days, we'll go ahead and close this issue. 😊

github-actions[bot] avatar Mar 29 '24 01:03 github-actions[bot]

👋 Hi there!

This issue seems inactive. Need more help? Feel free to update us. If there are no updates within the next few days, we'll go ahead and close this issue. 😊

github-actions[bot] avatar Apr 29 '24 01:04 github-actions[bot]

👋 Hi there!

This issue seems inactive. Need more help? Feel free to update us. If there are no updates within the next few days, we'll go ahead and close this issue. 😊

github-actions[bot] avatar May 30 '24 01:05 github-actions[bot]

@AyoubJalali Any idea ?

we can't raise this exception, because we support C extension, so it means that we should Execute on an address half-work misaligned LSB bit != 0 -> and this can't never happen in the RISC-V architecture because The jump and branch interuction always clear the LSB bit

AyoubJalali avatar Jun 03 '24 20:06 AyoubJalali

As it is not 65x, we keep the github issu eopen but I change the assignee

JeanRochCoulon avatar Jun 03 '24 21:06 JeanRochCoulon