aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2024-06-11triggers: implement tcontrolYenHaoChen5-1/+9
Implement Debug spec Section 5.7.6. Trigger Control (tcontrol). This commit lets tcontrol be read-only 0 if number of triggers is 0.
2024-05-31Merge pull request #1684 from riscv-software-src/simplify-zicfilpAndrew Waterman6-14/+11
Avoid checking ELP before every instruction fetch
2024-05-31Avoid checking ELP before every instruction fetchAndrew Waterman6-13/+12
Serialize after setting ELP. That way, we can hoist the check outside of the main simulation loop.
2024-05-31No need to check if Zicfilp is enabled before checking ELPAndrew Waterman1-3/+1
ELP will be zero if Zicfilp is not enabled.
2024-05-29Merge pull request #1670 from clementleger/dev/cleger/et_dynJerry Zhao6-14/+25
add support to load ET_DYN elf
2024-05-29add support to load ET_DYN elfClément Léger6-14/+25
When compiled as PIE, executable can be loaded at any memory address. Lately, OpenSBI switched to such behavior and spike was not able to load it anymore. This patch add an additional load_offset parameter for load_elf(). This load_offset value is passed as DRAM_BASE and used only for ET_DYN elfs. Signed-off-by: Clément Léger <cleger@rivosinc.com>
2024-05-27Merge pull request #1678 from rbuchner-aril/rbuchner/vxsat-writeAndrew Waterman1-0/+2
Require vector extension when attempting vxsat writes
2024-05-27Require vector extension when attempting vxsat writesrbuchner1-0/+2
Accidentally removed in c9468f6e02. See #1660.
2024-05-26Merge pull request #1677 from YenHaoChen/pr-vector-reductionAndrew Waterman1-4/+4
vector: Not logging write of reduction instructions when vl = 0
2024-05-26Merge pull request #1675 from chihminchao/cfi-fixAndrew Waterman2-2/+2
zicflip: fix [ms]ret behavior
2024-05-24vector: Not logging write of reduction instructions when vl = 0YenHaoChen1-4/+4
The spec says: "If vl=0, no operation is performed and the destination register is not updated." in Section 14. Vector Reduction Operations. The commit proposes setting the variable is_write to false when vl = 0, which means not logging the write.
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