From 9f4cdeeffac0f5235a3443bd4454f3621d0993b1 Mon Sep 17 00:00:00 2001 From: Marina Bellido Rodriguez Date: Tue, 24 Jun 2025 10:49:58 -0700 Subject: [PATCH] including Zifencei into the coverage report --- config/rv32gc/coverage.svh | 13 +++++++------ config/rv64gc/coverage.svh | 13 +++++++------ 2 files changed, 14 insertions(+), 12 deletions(-) diff --git a/config/rv32gc/coverage.svh b/config/rv32gc/coverage.svh index 3d1ee93c4..102d1e538 100644 --- a/config/rv32gc/coverage.svh +++ b/config/rv32gc/coverage.svh @@ -17,10 +17,10 @@ `define M_COVERAGE `define F_COVERAGE `define D_COVERAGE -`define VX8_COVERAGE -`define VX16_COVERAGE -`define VX32_COVERAGE -`define VX64_COVERAGE +// `define VX8_COVERAGE +// `define VX16_COVERAGE +// `define VX32_COVERAGE +// `define VX64_COVERAGE `define ZBA_COVERAGE `define ZBB_COVERAGE `define ZBC_COVERAGE @@ -45,6 +45,7 @@ `define ZKNH_COVERAGE `define ZAAMO_COVERAGE `define ZALRSC_COVERAGE +`define ZIFENCEI_COVERAGE // Privileged extensions `define RV32VM_COVERAGE @@ -61,7 +62,7 @@ `define EXCEPTIONSM_COVERAGE `define EXCEPTIONSS_COVERAGE `define EXCEPTIONSU_COVERAGE -`define EXCEPTIONSV_COVERAGE +// `define EXCEPTIONSV_COVERAGE `define EXCEPTIONSF_COVERAGE `define EXCEPTIONSZC_COVERAGE `define EXCEPTIONSZAAMO_COVERAGE @@ -78,4 +79,4 @@ `define INTERRUPTSSSTC_COVERAGE `define SSSTRICTS_COVERAGE `define SSSTRICTM_COVERAGE -`define SSSTRICTV_COVERAGE \ No newline at end of file +// `define SSSTRICTV_COVERAGE \ No newline at end of file diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh index 6cdb97905..88e69ede9 100644 --- a/config/rv64gc/coverage.svh +++ b/config/rv64gc/coverage.svh @@ -17,10 +17,10 @@ `define M_COVERAGE `define F_COVERAGE `define D_COVERAGE -`define VX8_COVERAGE -`define VX16_COVERAGE -`define VX32_COVERAGE -`define VX64_COVERAGE +//`define VX8_COVERAGE +//`define VX16_COVERAGE +//`define VX32_COVERAGE +//`define VX64_COVERAGE `define ZBA_COVERAGE `define ZBB_COVERAGE `define ZBC_COVERAGE @@ -44,6 +44,7 @@ `define ZKNH_COVERAGE `define ZAAMO_COVERAGE `define ZALRSC_COVERAGE +`define ZIFENCEI_COVERAGE // Privileged extensions `define RV64VM_COVERAGE @@ -58,7 +59,7 @@ `define EXCEPTIONSM_COVERAGE `define EXCEPTIONSS_COVERAGE `define EXCEPTIONSU_COVERAGE -`define EXCEPTIONSV_COVERAGE +// `define EXCEPTIONSV_COVERAGE `define EXCEPTIONSF_COVERAGE `define EXCEPTIONSZC_COVERAGE `define EXCEPTIONSVM_COVERAGE @@ -75,7 +76,7 @@ `define INTERRUPTSSSTC_COVERAGE `define SSSTRICTS_COVERAGE `define SSSTRICTM_COVERAGE -`define SSSTRICTV_COVERAGE +// `define SSSTRICTV_COVERAGE // `define RV64VM_PMP_COVERAGE // `define RV64CBO_VM_COVERAGE