Merge pull request #1415 from jordancarlin/sail_coverage

Functional coverage from Sail + Update Sail version
This commit is contained in:
David Harris 2025-05-11 05:30:52 -07:00 committed by GitHub
commit 24c605a9fc
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
47 changed files with 488 additions and 3152 deletions

View file

@ -259,9 +259,7 @@ string arch64priv[] = '{
"rv64i_m/privilege/src/misalign-blt-01.S",
"rv64i_m/privilege/src/misalign-bltu-01.S",
"rv64i_m/privilege/src/misalign-bne-01.S",
"rv64i_m/privilege/src/misalign-jal-01.S"
// commented out for now because rv64gc supports Zicclsm, but Sail does not yet. Restore when Sail supports Zicclsm.
/* -----\/----- EXCLUDED -----\/-----
"rv64i_m/privilege/src/misalign-jal-01.S",
"rv64i_m/privilege/src/misalign-ld-01.S",
"rv64i_m/privilege/src/misalign-lh-01.S",
"rv64i_m/privilege/src/misalign-lhu-01.S",
@ -270,7 +268,6 @@ string arch64priv[] = '{
"rv64i_m/privilege/src/misalign-sd-01.S",
"rv64i_m/privilege/src/misalign-sh-01.S",
"rv64i_m/privilege/src/misalign-sw-01.S"
-----/\----- EXCLUDED -----/\----- */
};
string arch64zifencei[] = '{