add amocas specific addr check

riscv · Aug 18, 2023 · ea78240 · ea78240
1 parent cd3f3e1
commit ea78240
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/model/riscv_insts_aext.sail b/model/riscv_insts_aext.sail
@@ -298,7 +298,6 @@ function clause execute (AMO(op, aq, rl, rs2, rs1, width, rd)) = {
  if haveAtomics() then {
  /* Get the address, X(rs1) (no offset).
  * Some extensions perform additional checks on address validity.
- * For obtaining virtual address, the width is not needed.
  */
  match ext_data_get_amo_addr(rs1, ReadWrite(Data, Data), width) {
  Ext_DataAddr_Error(e) => { ext_handle_data_check_error(e); RETIRE_FAIL },