aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2024-05-23zicflip: fix [ms]ret behaviorChih-Min Chao2-2/+2
Based on Spec chapter 3.5 "An MRET or SRET instruction is used to return from a trap in M-mode or S-mode, respectively. When executing an xRET instruction, if xPP holds the value y, then ELP is set to the value of xPELP if yLPE is 1; otherwise, it is set to NO_LP_EXPECTED; xPELP is set to NO_LP_EXPECTED." The change follow the last statement after semicolon "xPELP is set to NO_LP_EXPECTED" Signed-off-by: Chih-Min Chao <chihmin.chao@sifive.com>
2024-05-22Merge pull request #1257 from YenHaoChen/pr-mcontrol6-hit0-hit1Andrew Waterman3-1223/+1367
Implement mcontrol6.hit
2024-05-22triggers: introduce tinfo.versionYenHaoChen1-1/+2
2024-05-22triggers: implement mcontrol6.hitYenHaoChen1-1/+1
2024-05-22triggers: refactor: add typedef enum { ... } hit_t for mcontrol6YenHaoChen2-7/+15
Avoid using private headers, e.g., debug_defines.h, in triggers.h
2024-05-22triggers: refactor: move mcontrol_common_t::hit to mcontrol_t::hit and ↵YenHaoChen2-2/+12
mcontrol6_t::hit Add mcontrol_common_t::set_hit()
2024-05-22triggers: refactor: update debug_defines.hYenHaoChen2-1218/+1340
Update CSR_MCONTROL6_HIT to CSR_MCONTROL6_HIT0 Include CSR_TINFO_VERSION* macros
2024-05-21triggers: remove mcontrol6.timing (implement suggested trigger timings)YenHaoChen1-2/+5
2024-05-06Merge pull request #1663 from ved-rivos/zawrsAndrew Waterman6-2/+26
Add Zawrs extension
2024-05-06Add Zawrs extensionVed Shanbhogue6-2/+26
2024-05-03Merge pull request #1662 from YenHaoChen/pr-fmaxm_qAndrew Waterman1-1/+1
Zfa: fix: fmaxm.q requires Q instead of D extension
2024-05-03Zfa: fix: fmaxm.q requires Q instead of D extensionYenHaoChen1-1/+1
2024-05-01Merge pull request #1660 from riscv-software-src/remove-pAndrew Waterman337-4462/+61
Remove old P extension
2024-05-01Update encoding.hAndrew Waterman1-1116/+37
2024-05-01Remove Zbpbo, Zpn, and Zpsfoperand implementationAndrew Waterman334-3013/+24
2024-05-01Remove P, Zbpbo, Zpn, and Zpsfoperand from ISA parserAndrew Waterman1-14/+0
2024-05-01Remove Zbpbo, Zpn, and Zpsfoperand from disassemblerAndrew Waterman1-319/+0
2024-05-01Merge pull request #1655 from liuyu81/masterJerry Zhao9-31/+32
Support per-device arguments and device factory reuse
2024-04-30Support per-device arguments and device factory reuseLIU Yu9-31/+32
As proposed in #1652, we made the following changes to MMIO device (factory) plugin API, to mitigate current limitations and facilitate factory reuse. - removed `sargs` from `device_factory_t`, and introduced a new type alias `device_factory_sargs_t` to capture `<device_factory_t *, sargs>` pairs, this is used to instantiate sim_t instances; - changed the signature of `device_factory_t::generate_fdt` and `device_factory_t::parse_from_fdt` to take on an extra `sargs` argument, for instantiating devices with per-device arguments; - made `device_factory_t` const and potentially resuable across multiple `sim_t` instances.
2024-04-29Merge pull request #1648 from YenHaoChen/pr-hstateenAndrew Waterman2-6/+10
Smstateen: Ignore writes to read-only hstateen*[n] bits when mstateen*[n]=0
2024-04-29Merge pull request #1579 from tebartsch/plic-threshold-maskingAndrew Waterman1-0/+9
PLIC: Implement threshold masking
2024-04-29Merge pull request #1641 from xinyuwang-starfive/masterJerry Zhao4-9/+9
add hlvx pmp protect to fix issue 1557
2024-04-29add hlvx pmp protect to fix issue 1557xinyuwang-sifive4-9/+9
2024-04-28Merge pull request #1560 from SuHo-llrr/cfi-extAndrew Waterman24-11/+265
Support Zicfiss (shadow stack access) with CFI extension v0.4.0
2024-04-23Merge pull request #1650 from YenHaoChen/pr-imply-extAndrew Waterman1-0/+4
Make Zaamo + Zalrsc (Zba + Zbb + Zbs) imply A (B) in misa
2024-04-23Merge pull request #1649 from YenHaoChen/pr-bAndrew Waterman1-1/+1
Assert misa.B bit through --isa=...B...
2024-04-24Make Zba + Zbb + Zbs imply B in misaYenHaoChen1-0/+2
2024-04-24Make Zaamo + Zalrsc imply A in misaYenHaoChen1-0/+2
2024-04-24Implement misa.B bit through --isa=...B...YenHaoChen1-1/+1
2024-04-23Smstateen: Ignore writes to read-only hstateen*[n] bits when mstateen*[n]=0YenHaoChen2-6/+10
The specification states that writes to read-only bits in a RW CSR are ignored. The hstateen*[n] bits are read-only when mstateen*[n]=0. This PR proposes ignoring writes to read-only hstateen*[n] bits when mstateen*[n]=0 instead of writing the bits to 0.
2024-04-18Add Zicfiss extension from CFI extension, v0.4.0SuHsien Ho24-11/+265
1. Add EXT_ZICFISS for enable Zicfiss with zicfiss extension name. 2. Add new software exception with tval 3 for shadow stack. 3. Implement sspush_x1/sspush_x5/sspopchk_x1/sspopchk_x5/ssrdp/ssamoswap_w/ssamoswap_d. 4. Implement c_sspush_x1/c_sspopchk_x5 in c_lui.h which has same encoding. 5. Add new special access type ss_access in xlate_flags_t for checking special read/write permission in SS(Shadow Stack) page. 6. Add new ss_load/ss_store/ssamoswap to enable ss_access flag. 7. Check special pte(xwr=010) of SS page.
2024-04-17Merge pull request #1595 from Siudya/until-paddrAndrew Waterman1-2/+4
Interaction: Support until-mem operation on physical memory space
2024-04-08Merge pull request #1640 from YenHaoChen/pr-henvcfgAndrew Waterman2-0/+8
Ignore writes to henvcfg fields (PBMTE, STCE, and ADUE) when read-only 0
2024-04-09Ignore writes to henvcfg fields (PBMTE, STCE, and ADUE) when read-only 0YenHaoChen2-0/+8
The henvcfg fields, i.e., PBMTE, STCE, and ADUE, are read-only 0 when the corresponding bits in menvcfg are 0. Besides the reading behavior, the spec also specified the writing behavior, i.e., ignoring writes. This commit ignores writes to the henvcfg fields when read-only 0. Reference: https://github.com/riscv/riscv-isa-manual/issues/1312
2024-03-25Merge pull request #1632 from YenHaoChen/pr-scontextAndrew Waterman1-1/+1
Narrow scontext.data length to 32
2024-03-25Narrow scontext.data length to 32YenHaoChen1-1/+1
The commit provdes the change between debug spec 1.0.0-rc1 and 1.0.0-rc2 Reference: https://github.com/riscv/riscv-debug-spec/pull/981
2024-03-22Merge pull request #1631 from mylai-mtk/sys-readlinkatAndrew Waterman2-0/+15
Implement syscall readlinkat
2024-03-22Merge pull request #1630 from mylai-mtk/zicfilpAndrew Waterman1-1/+1
Allow software check exception to be delegated from M mode regardless of Zicfilp being enabled
2024-03-22Implement syscall readlinkatMing-Yi Lai2-0/+15
2024-03-22Allow software check exception to be delegated from M mode regardless of ↵Ming-Yi Lai1-1/+1
Zicfilp being enabled
2024-03-21Merge pull request #1582 from mylai-mtk/zicfilp-upstreamAndrew Waterman20-12/+140
Support Zicfilp
2024-03-12Merge pull request #1624 from rbuchner-aril/rbuchner/iss1623Andrew Waterman2-2/+5
Update vcompress.vm to not write vstart with 0 upon completion
2024-03-11Update vcompress.vm to not write vstart with 0 upon completionrbuchner2-2/+5
Vmcompress.vm requires vstart==0, so writing vstart with 0 is redundant. To do this, spin off VI_LOOP_END_BASE from VI_LOOP_END. VI_LOOP_END will contain VI_LOOP_END_BASE as well as a write of 0 to vstart. See #1623 for full discussion.
2024-03-07Merge pull request #1617 from arrv-sc/masterAndrew Waterman7-32/+165
workaround to support custom extensions that use standard prefixes
2024-03-07workaround to support custom extensions that use standard prefixesAlexander Romanov7-32/+165
RISC-V ISA states (21.1): "A standard-compatible global encoding can also use standard prefixes for non-standard extensions if the associated standard extensions are not included in the global encoding." Currently all the instructions (either from standard or custom extensions) are all being inserted into a single std::vector which is then being sorted. An instruction matching process performs linear search on that vector. The problem is that when a custom extension uses the same opcode as standard one (i.e. match and mask are equal to the standard counterparts) it is undefined which instruction will be picked. That is because in std::sort "The order of equal elements is not guaranteed to be preserved". That being said it is impossible to define custom extension (via customext) that would use the prefix of a disabled standard extension. In this change I separate custom and standard extensions in two separate std::vector's. By default we report an error if they have common elements (There're an additional processor_t constructor's argument that skips this check). If this error is disabled during instruction matching we first trying to find it among custom instructions. If it has been found the search is stopped and custom instruction is executed, otherwise we look for it among standard instructions. Overall this change does not completely fix the problem but at least makes it possible to use the feature of RISC-V ISA.
2024-03-06Zicfilp: Support delegating software check exception handlingMing-Yi Lai2-1/+3
2024-03-06Zicfilp: Preserve expected landing pad state on trapsMing-Yi Lai6-4/+26
2024-03-06Zicfilp: Support lpad instruction in disassemblerMing-Yi Lai1-0/+6
2024-03-06Zicfilp: Implement lpad insn behaviorMing-Yi Lai2-0/+10
2024-03-06Zicfilp: Check that the next insn is a lpad if ELP is LP_EXPECTEDMing-Yi Lai3-0/+19