This has no effect on Spike itself, but it might matter for anyone who's
using Spike as a library in a multithreaded program.

Updated README with supported Vector Cryptography Extensions

Separate RV32 and RV64 C instructions into separate files

We get better error checking if we list only the more specific
instructions and omit the more general ones (mop.r.N/mop.rr.N).

- c.fsdsp need not be listed since cm.push etc. are listed
- mop.r.28/mop.rr.7 don't have corresponding files in riscv/insns/
- the rest are just erroneous

triggers: implement tcontrol

Implement Debug spec Section 5.7.6. Trigger Control (tcontrol).

This commit lets tcontrol be read-only 0 if number of triggers is 0.

Avoid checking ELP before every instruction fetch

Serialize after setting ELP.  That way, we can hoist the check
outside of the main simulation loop.

ELP will be zero if Zicfilp is not enabled.

add support to load ET_DYN elf

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>

Require vector extension when attempting vxsat writes

Accidentally removed in c9468f6e.

See #1660.

vector: Not logging write of reduction instructions when vl = 0

zicflip: fix [ms]ret behavior

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.

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>

Implement mcontrol6.hit

Avoid using private headers, e.g., debug_defines.h, in triggers.h

Add mcontrol_common_t::set_hit()

Update CSR_MCONTROL6_HIT to CSR_MCONTROL6_HIT0

Include CSR_TINFO_VERSION* macros

Add Zawrs extension

Zfa: fix: fmaxm.q requires Q instead of D extension