aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2020-04-01Set mtval to 0 on ebreak. Fixes #44.Prashanth Mundkur2-1/+8
2020-04-01Add a clarifying comment.Prashanth Mundkur1-1/+2
2020-04-01Add clarifying comment.Prashanth Mundkur1-1/+1
2020-04-01Merge pull request #45 from scottj97/pmpcfgPrashanth Mundkur2-9/+9
Fix several pmpcfg issues. This is the simplest way to mask, the alternative is to create a custom function to set each field. I'll add a comment for that magic value.
2020-03-29Mask pmpXcfg bits as required by specScott Johnson1-1/+1
See "Figure 3.28: PMP configuration register format." in RISC-V Privileged Spec. Bits 6 and 5 are required to be 0.
2020-03-29Read pmpcfg* value back out when reporting its valueScott Johnson1-4/+4
So that the reported value will see the masked bits that I am going to add next.
2020-03-29Fix typos that made pmp8cfg and pmp9cfg unwritableScott Johnson1-4/+4
I'm not sure why this didn't cause a Sail compile error.
2020-03-03Add bit negation to preludeThomas Bauereiss1-1/+5
For bounds calculation in sail-cheri-riscv.
2020-02-28Make types of min/max more preciseThomas Bauereiss1-8/+6
Might help typechecking sail-cheri-riscv code.
2020-02-26Add convenience 'osim' target for ocaml emulator.Robert Norton1-0/+2
2020-02-25Change operand order for csr instructions assembly to match spec. Fixes #34.Robert Norton1-2/+2
2020-02-25Re-instate csr names in assembly with an alternative workaround for sail bug ↵Robert Norton2-1/+6
https://github.com/rems-project/sail/issues/62 . This reverts 82c7152b7374d9c24b2464a055aa4cd140048717. Fixes #35.
2020-02-25Revert "Further workaround for Sail mapping bug."Robert Norton1-2/+2
This reverts commit 82c7152b7374d9c24b2464a055aa4cd140048717.
2020-02-19Merge pull request #42 from arichardson/loopbackPrashanth Mundkur1-1/+1
Only listen for RVFI-DII messages on 127.0.0.1
2020-02-19Only listen for RVFI-DII messages on 127.0.0.1Alex Richardson1-1/+1
2020-02-14Change RVFI ram size to 8MB as requested by Jon Woodruff. TODO: should make ↵Robert Norton1-1/+1
it possible to override this using the -z option.
2020-02-13Merge pull request #41 from scottj97/fcsr-fixPrashanth Mundkur2-5/+4
Report correct value in trace for CSR writes to frm and fflags
2020-02-13Report correct value in trace for CSR writes to frm and fflagsScott Johnson2-5/+4
Previously it was always reporting the entire fcsr value as the new value of fflags/frm. Fixes #40.
2020-02-06Update mstatus.SD bit as well when dirtying the floating-point status.Prashanth Mundkur1-5/+9
2020-02-06Handle locked TOR entries when writing PMP addresses.Prashanth Mundkur3-22/+28
Fixes #36.
2020-02-06Initialize fdregs for rvfi.Prashanth Mundkur1-0/+1
2020-02-06Improve handling of fcsr by making it a bitfield.Prashanth Mundkur4-55/+75
Also properly dirty the FS bit in mstatus when writing to floating-point state. Fixes #38.
2020-02-04Add a very minimal spec derived from full spec for experimental use with Iris.Robert Norton1-0/+1176
2020-02-03Add softfloat fdext defs for rmem build.Prashanth Mundkur1-1/+1
2020-01-31Merge pull request #37 from scottj97/recursive-makeRobert Norton1-2/+2
Invoke recursive make using $(MAKE) as GNU recommends
2020-01-30Invoke recursive make using $(MAKE) as GNU recommendsScott Johnson1-2/+2
"Recursive make commands should always use the variable MAKE, not the explicit command name ‘make’" See: https://www.gnu.org/software/make/manual/make.html#MAKE-Variable
2020-01-30Add missing effect from ext_rvfi_init.Robert Norton1-1/+1
2020-01-29Fix rvfi build.Prashanth Mundkur2-2/+4
2020-01-23Add lem stubs for softfloat externs.rsnikhilPrashanth Mundkur4-32/+250
2020-01-22Some fixes for lem build.Prashanth Mundkur2-0/+8
2020-01-22Fix coq build.Prashanth Mundkur1-0/+1
2020-01-22Merge branch 'master' into rsnikhilPrashanth Mundkur11-61/+84
2020-01-21Fix effects on encdec.Prashanth Mundkur2-2/+2
2020-01-20Merge pull request #33 from jrtc27/ext-exc-typeRobert Norton4-7/+18
Allow extensions to provide their own exception codes/names
2020-01-20Add reporting of >64-bit RVFI mem accessesPeter Rugg1-1/+5
2020-01-18Allow extensions to provide their own exception codes/namesJames Clarke4-7/+18
2020-01-17Update handwritten Coq to use boolean predicatesBrian Campbell2-11/+13
Matches recent changes to Sail
2020-01-14Remove code duplication in mem_readmem_meta_mergeThomas Bauereiss1-27/+17
2020-01-13Fix 32-bit AMO min/max operations on RV64. Closes #27.Prashanth Mundkur1-10/+23
2020-01-13Further workaround for Sail mapping bug.Robert Norton1-2/+2
The workaround from previous commit did not work for sail-cheri-riscv (I think it is a problem with topological sorting that is highly dependent on the order in which functions are defined and used). Unfortunately this means we no longer have CSR names in disassembly, only numbers.
2020-01-10Re-instate the catch-all csr_name_map clause and workaround the Sail bug ↵Robert Norton2-3/+6
that prevented this from compiling previously. This will stop crashes on invalid CSRs in TestRIG. I have a reduced test case for the Sail bug and will investigate.
2020-01-08Add softfloat to rvfi build.Prashanth Mundkur1-1/+1
2020-01-07Merge branch 'master' into rsnikhil.Prashanth Mundkur25-145/+267
2020-01-07Merge pull request #32 from jrtc27/getopt-longPrashanth Mundkur2-7/+7
Fix parsing long options in the C emulator for RVFI-DII
2020-01-07Fix parsing long options in the C emulator for RVFI-DIIJames Clarke1-3/+3
idx, passed as longindex to getopt_long, is updated every time a long option is parsed to be the index of that option in the options array, not argv. We should instead use optind as in the non-RVFI-DII case, and we can remove the variable to avoid confusion since it is unused.
2020-01-07Separate out RVFI simulators like non-RVFIJames Clarke1-4/+4
2020-01-07Merge pull request #22 from rems-project/rvfi_fixRobert Norton1-35/+29
Attempt to fix RVFI for instruction fetch exceptions.
2020-01-06Merge pull request #30 from jrtc27/amo-faultPrashanth Mundkur3-14/+30
Generate correct cause for AMO faults
2020-01-02improve pppes201-1/+1
2020-01-01add location and type info to pp-rawpes201-1/+1
generated by cgit v1.1 at 2024-09-18 11:06:38 +0000