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.

Sign up for GitHub

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

Add ratified Zacas extension #285

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

Add ratified Zacas extension #285

wants to merge 2 commits into from

Conversation

ved-rivos
Copy link
Contributor

@ved-rivos ved-rivos commented Jul 15, 2023 •
edited
Loading

This PR adds the fast-track Zacas extension that introduces the following instructions:

  • amocas.w for RV32 and RV64
  • amocas.d for RV32 and RV64
  • amocas.q for RV64 only

The specification is here: https://github.com/riscv/riscv-zacas

All current tests pass. New tests for amocas are in this riscv-tests PR: riscv-software-src/riscv-tests#492

@ved-rivos ved-rivos mentioned this pull request Jul 15, 2023
Open
@jrtc27
Copy link
Collaborator

jrtc27 commented Aug 18, 2023

Pull requests should be a single set of related changes with a clean commit history free from merge commits.

-- https://github.com/riscv/sail-riscv/blob/master/CONTRIBUTING.md

jrtc27
jrtc27 requested changes Aug 18, 2023
View reviewed changes
model/riscv_insts_aext.sail Outdated Show resolved Hide resolved
@ved-rivos ved-rivos force-pushed the Zacas_v4 branch 2 times, most recently from ea78240 to d0cc13c Compare August 18, 2023 21:56
@ved-rivos ved-rivos changed the title Add unratified Zacas extension Add ratified Zacas extension Nov 30, 2023
@github-actions GitHub Actions
Copy link

github-actions bot commented Mar 29, 2024 •
edited
Loading

Test Results

712 tests  ±0   712 ✅ ±0   0s ⏱️ ±0s
  6 suites ±0     0 💤 ±0 
  1 files   ±0     0 ❌ ±0 

Results for commit acdf844. ± Comparison against base commit e187e02.

♻️ This comment has been updated with latest results.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jrtc27 jrtc27 jrtc27 requested changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@ved-rivos @jrtc27