Hello Nikos Nikoleris,

I'd like you to do a code review. Please visit

    https://gem5-review.googlesource.com/8821

to review the following change.


Change subject: arch-arm: Implement missing aarch32 TLBI registers
......................................................................

arch-arm: Implement missing aarch32 TLBI registers

In the pool of TLB Invalidate system register a category of instruction
was missing: the ones operating on entries added to the TLB during the
last level only of a table walk.  (E.g. TLBIVMAL).  This patch is not
considering this matching criteria when invalidating the entries and it
is rather performing the invalidation on all levels.

Change-Id: I5f2186cfdd73793e76c90b260f7128be187903fe
Signed-off-by: Giacomo Travaglini <giacomo.travagl...@arm.com>
Reviewed-by: Nikos Nikoleris <nikos.nikole...@arm.com>
---
M src/arch/arm/isa.cc
M src/arch/arm/miscregs.cc
M src/arch/arm/utility.cc
3 files changed, 33 insertions(+), 8 deletions(-)



diff --git a/src/arch/arm/isa.cc b/src/arch/arm/isa.cc
index f667732..7c6a25c 100644
--- a/src/arch/arm/isa.cc
+++ b/src/arch/arm/isa.cc
@@ -1062,8 +1062,13 @@
             getDTBPtr(tc)->flushAllSecurity(secure_lookup, target_el);
             return;
           // TLBI based on VA, EL0&1 inner sharable (ignored)
-          case MISCREG_TLBIMVAIS:
+          case MISCREG_TLBIMVAL:
+          case MISCREG_TLBIMVALIS:
+            // mcr tlbimval(is) is invalidating all matching entries
+            // regardless of the level of lookup, since in gem5 we cache
+            // in the tlb the last level of lookup only.
           case MISCREG_TLBIMVA:
+          case MISCREG_TLBIMVAIS:
             assert32(tc);
             target_el = 1; // el 0 and 1 are handled together
             scr = readMiscReg(MISCREG_SCR, tc);
@@ -1111,8 +1116,13 @@
             }
             return;
           // TLBI by address, EL0&1, inner sharable (ignored)
-          case MISCREG_TLBIMVAAIS:
+          case MISCREG_TLBIMVAAL:
+          case MISCREG_TLBIMVAALIS:
+            // mcr tlbimvaal(is) is invalidating all matching entries
+            // regardless of the level of lookup, since in gem5 we cache
+            // in the tlb the last level of lookup only.
           case MISCREG_TLBIMVAA:
+          case MISCREG_TLBIMVAAIS:
             assert32(tc);
             target_el = 1; // el 0 and 1 are handled together
             scr = readMiscReg(MISCREG_SCR, tc);
@@ -1121,6 +1131,11 @@
             tlbiMVA(tc, newVal, secure_lookup, hyp, target_el);
             return;
           // TLBI by address, EL2, hypervisor mode
+          case MISCREG_TLBIMVALH:
+          case MISCREG_TLBIMVALHIS:
+            // mcr tlbimvalh(is) is invalidating all matching entries
+            // regardless of the level of lookup, since in gem5 we cache
+            // in the tlb the last level of lookup only.
           case MISCREG_TLBIMVAH:
           case MISCREG_TLBIMVAHIS:
             assert32(tc);
diff --git a/src/arch/arm/miscregs.cc b/src/arch/arm/miscregs.cc
index 7d5441c..5a1ef5a 100644
--- a/src/arch/arm/miscregs.cc
+++ b/src/arch/arm/miscregs.cc
@@ -444,6 +444,10 @@
                     return MISCREG_TLBIASIDIS;
                   case 3:
                     return MISCREG_TLBIMVAAIS;
+                  case 5:
+                    return MISCREG_TLBIMVALIS;
+                  case 7:
+                    return MISCREG_TLBIMVAALIS;
                 }
                 break;
               case 5:
@@ -476,6 +480,10 @@
                     return MISCREG_TLBIASID;
                   case 3:
                     return MISCREG_TLBIMVAA;
+                  case 5:
+                    return MISCREG_TLBIMVAL;
+                  case 7:
+                    return MISCREG_TLBIMVAAL;
                 }
                 break;
             }
@@ -488,6 +496,8 @@
                     return MISCREG_TLBIMVAHIS;
                   case 4:
                     return MISCREG_TLBIALLNSNHIS;
+                  case 5:
+                    return MISCREG_TLBIMVALHIS;
                 }
             } else if (crm == 7) {
                 switch (opc2) {
@@ -497,6 +507,8 @@
                     return MISCREG_TLBIMVAH;
                   case 4:
                     return MISCREG_TLBIALLNSNH;
+                  case 5:
+                    return MISCREG_TLBIMVALH;
                 }
             }
         }
@@ -2892,10 +2904,8 @@
     InitReg(MISCREG_TLBIMVAAIS)
       .writes(1).exceptUserMode();
     InitReg(MISCREG_TLBIMVALIS)
-      .unimplemented()
       .writes(1).exceptUserMode();
     InitReg(MISCREG_TLBIMVAALIS)
-      .unimplemented()
       .writes(1).exceptUserMode();
     InitReg(MISCREG_ITLBIALL)
       .writes(1).exceptUserMode();
@@ -2918,10 +2928,8 @@
     InitReg(MISCREG_TLBIMVAA)
       .writes(1).exceptUserMode();
     InitReg(MISCREG_TLBIMVAL)
-      .unimplemented()
       .writes(1).exceptUserMode();
     InitReg(MISCREG_TLBIMVAAL)
-      .unimplemented()
       .writes(1).exceptUserMode();
     InitReg(MISCREG_TLBIIPAS2IS)
       .unimplemented()
@@ -2936,7 +2944,6 @@
     InitReg(MISCREG_TLBIALLNSNHIS)
       .monNonSecureWrite().hypWrite();
     InitReg(MISCREG_TLBIMVALHIS)
-      .unimplemented()
       .monNonSecureWrite().hypWrite();
     InitReg(MISCREG_TLBIIPAS2)
       .unimplemented()
@@ -2951,7 +2958,6 @@
     InitReg(MISCREG_TLBIALLNSNH)
       .monNonSecureWrite().hypWrite();
     InitReg(MISCREG_TLBIMVALH)
-      .unimplemented()
       .monNonSecureWrite().hypWrite();
     InitReg(MISCREG_PMCR)
       .allPrivileges();
diff --git a/src/arch/arm/utility.cc b/src/arch/arm/utility.cc
index 4e99d98..c272ef6 100644
--- a/src/arch/arm/utility.cc
+++ b/src/arch/arm/utility.cc
@@ -464,6 +464,8 @@
               case MISCREG_TLBIMVAIS:
               case MISCREG_TLBIASIDIS:
               case MISCREG_TLBIMVAAIS:
+              case MISCREG_TLBIMVALIS:
+              case MISCREG_TLBIMVAALIS:
               case MISCREG_DTLBIALL:
               case MISCREG_ITLBIALL:
               case MISCREG_DTLBIMVA:
@@ -473,6 +475,8 @@
               case MISCREG_TLBIMVAA:
               case MISCREG_TLBIALL:
               case MISCREG_TLBIMVA:
+              case MISCREG_TLBIMVAL:
+              case MISCREG_TLBIMVAAL:
               case MISCREG_TLBIASID:
                 trapToHype = hcr.ttlb;
                 break;

--
To view, visit https://gem5-review.googlesource.com/8821
To unsubscribe, or for help writing mail filters, visit https://gem5-review.googlesource.com/settings

Gerrit-Project: public/gem5
Gerrit-Branch: master
Gerrit-Change-Id: I5f2186cfdd73793e76c90b260f7128be187903fe
Gerrit-Change-Number: 8821
Gerrit-PatchSet: 1
Gerrit-Owner: Giacomo Travaglini <giacomo.travagl...@arm.com>
Gerrit-Reviewer: Nikos Nikoleris <nikos.nikole...@arm.com>
Gerrit-MessageType: newchange
_______________________________________________
gem5-dev mailing list
gem5-dev@gem5.org
http://m5sim.org/mailman/listinfo/gem5-dev

Reply via email to