Skip to content

RV64F Support#22

Open
uslsteen wants to merge 15 commits into
masterfrom
issue-7-rv64f-support
Open

RV64F Support#22
uslsteen wants to merge 15 commits into
masterfrom
issue-7-rv64f-support

Conversation

@uslsteen

@uslsteen uslsteen commented Jul 2, 2026

Copy link
Copy Markdown
Contributor

No description provided.

doushe821 and others added 15 commits March 10, 2026 20:22
TODO: 1. softfloat lib integration
2. Emition
3. Tests
That's it
Also improved builder and encoding. Also integration of softfloat is questionable and I might have to look for better solution.

TODO:
1. Finish builder
2. Implement Emitter.
3. Test.
Optional: search for better building method. Current one is ugly, but it might be the optimal one, since softfloat doesn't provide cmake for some reason.
DONE:
1. Extra encoding formats needed for RV64F instructions.
2. Added some helper functions in scope.rb and cpp_gen.rb
3. Added emition of RV64F instrs.
TODO:
1. Need to fix types for floating point temporaries.
2. Write tests.
3. Might need to refactor dsl implementation of this extension. Most methods can be generalized by adding their size as an attribute. It goes even further for Conversion instructions, because they all can be merged into one isntruction with 4 attributes. But this might become tidious in debug phase, so in my opinion, tests first, and then this changes.
TODO:
1. Do neg correctly.
2. Add rounding mode everywhere, for that I also need to change cpu_state emitter a bit.
3. Move most fp-relateed functions in separate module of emitter.
4. Tests.
…ions, added NaN checks that do not use isNaN from softfloat.
Also fixed a small bug in decorder, also started to write proposals (getting ready for mr)
* Exit code are passing from the exit syscall now
* Introduced Control Status Register(s) read & write interfaces
@uslsteen uslsteen added help wanted Extra attention is needed dsl long-term labels Jul 2, 2026
This was linked to issues Jul 2, 2026
@uslsteen uslsteen requested a review from egorshamshura July 2, 2026 22:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dsl help wanted Extra attention is needed long-term

Projects

None yet

Development

Successfully merging this pull request may close these issues.

RV64F Support RV64I Support RV64 Support

2 participants