From 5feaa017ec63a96895239a564fcae4c7daf16ffb Mon Sep 17 00:00:00 2001 From: Tim Hutt Date: Wed, 21 Aug 2024 10:57:02 +0100 Subject: [PATCH] Update model/riscv_insts_zicboz.sail Co-authored-by: Alexander Richardson Signed-off-by: Tim Hutt --- model/riscv_insts_zicboz.sail | 2 -- 1 file changed, 2 deletions(-) diff --git a/model/riscv_insts_zicboz.sail b/model/riscv_insts_zicboz.sail index d2aeb24cf..768ccfa76 100644 --- a/model/riscv_insts_zicboz.sail +++ b/model/riscv_insts_zicboz.sail @@ -29,8 +29,6 @@ function clause execute(RISCV_ZICBOZ(rs1)) = { // is aligned to the cache block, or negative if rs1 is misaligned. let offset = (rs1_val & ~(zero_extend(ones(cache_block_size_exp)))) - rs1_val; - // TODO: This is not correct since CHERI treats CBO operations - // differently to normal accesses with respect to bounds checks. match ext_data_get_addr(rs1, offset, Write(Data), cache_block_size) { Ext_DataAddr_Error(e) => { ext_handle_data_check_error(e); RETIRE_FAIL }, Ext_DataAddr_OK(vaddr) => {