From 1559013ae7aec58b7d0dddc100ea325630492d83 Mon Sep 17 00:00:00 2001 From: Jordan Carlin Date: Mon, 28 Oct 2024 06:07:11 -0700 Subject: [PATCH] Zcb requires Zca Per section 29.8 of the Unprivileged ISA manual, extension Zcb requires Zca. This updates the extensionEnabled clause to capture this requirement. --- model/riscv_insts_zcb.sail | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/model/riscv_insts_zcb.sail b/model/riscv_insts_zcb.sail index 821ce0bd6..3bef3464c 100644 --- a/model/riscv_insts_zcb.sail +++ b/model/riscv_insts_zcb.sail @@ -7,7 +7,7 @@ /*=======================================================================================*/ enum clause extension = Ext_Zcb -function clause extensionEnabled(Ext_Zcb) = sys_enable_zcb() +function clause extensionEnabled(Ext_Zcb) = sys_enable_zcb() & extensionEnabled(Ext_Zca) union clause ast = C_LBU : (bits(2), cregidx, cregidx)