Merge pull request #496 from Timmmm/user/timh/tlb_fix

Fix TLB bug with zeroed upper bits
riscv · Jul 15, 2024 · d96f89b · d96f89b
2 parents 4817b64 + 76282a9
commit d96f89b
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/model/riscv_vmem.sail b/model/riscv_vmem.sail
@@ -384,16 +384,13 @@ function translate_TLB_miss(sv_params : SV_Params,
 function translate(sv_params : SV_Params,
                    asid      : asidbits,
                    ptb       : bits(64),
-                   vAddr_arg : bits(64),
+                   vAddr     : bits(64),
                    ac        : AccessType(ext_access_type),
                    priv      : Privilege,
                    mxr       : bool,
                    do_sum    : bool,
                    ext_ptw   : ext_ptw)
                   -> TR_Result(bits(64), PTW_Error) = {
-  let va_mask : bits(64) = zero_extend(ones(sv_params.va_size_bits));
-  let vAddr              = (vAddr_arg & va_mask);
-
   // On first reading, assume lookup_TLB returns None(), since TLBs
   // are not part of RISC-V archticture spec (see TLB_NOTE above)
   match lookup_TLB(asid, vAddr) {