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

Fix RV64F compilation, simplify fmv implementation, and make nan boxing functions generic #594

Open
wants to merge 4 commits into
base: master
Choose a base branch
from

Commits on Oct 31, 2024

  1. Make nan boxing functions generic

    This simplifies the code and allows easily supporting the Q extension.
    Timmmm committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    c7902ae View commit details
    Browse the repository at this point in the history
  2. Fix and simplify fmv execute clauses

    Simplify the implementations with fewer intermediate variables, and fix compilation of RV64F.
    
    I also added relevant quote from the spec because the spec for these instructions is very confusing. This is a prime candidate for getting Sail code into the spec.
    Timmmm committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    0b8ff1e View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2024

  1. Update model/riscv_insts_fext.sail

    Co-authored-by: Jessica Clarke <[email protected]>
    Signed-off-by: Tim Hutt <[email protected]>
    Timmmm and jrtc27 authored Nov 1, 2024
    Configuration menu
    Copy the full SHA
    cb4e1a1 View commit details
    Browse the repository at this point in the history
  2. Update model/riscv_fdext_regs.sail

    Co-authored-by: Jessica Clarke <[email protected]>
    Signed-off-by: Tim Hutt <[email protected]>
    Timmmm and jrtc27 authored Nov 1, 2024
    Configuration menu
    Copy the full SHA
    e204f5e View commit details
    Browse the repository at this point in the history