Skip to content

/ riscv-formal

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

Jump to bottom

Don't use rd_wdata of instructions that trapped in the reg check #26

Closed
wants to merge 1 commit into from
Closed

Don't use rd_wdata of instructions that trapped in the reg check #26

wants to merge 1 commit into from

Commits on Jul 17, 2019

  1. Don't use rd_wdata of instructions that trapped in the reg check 

    The reg check used rd_wdata of any valid instruction as the value for
register_shadow. However, for instructions that trapped, this value is
invalid. This commit ensures that rd_wdata of trapped instructions is
never used for register_shadow.
    @JobNoorman
    JobNoorman committed Jul 17, 2019
    498a10a