From 0ea12d97253f1f31fc83b479278daf26006604ec Mon Sep 17 00:00:00 2001
From: Nathaniel Wesley Filardo <nfilardo@microsoft.com>
Date: Tue, 13 Sep 2022 17:10:39 +0100
Subject: [PATCH] test/func/cheri: verify representability of sizeclasses

---
 src/test/func/cheri/cheri.cc | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/src/test/func/cheri/cheri.cc b/src/test/func/cheri/cheri.cc
index eb86c3b..4efaec6 100644
--- a/src/test/func/cheri/cheri.cc
+++ b/src/test/func/cheri/cheri.cc
@@ -259,6 +259,21 @@ int main()
     }
   }
 
+  message("Verify sizeclass representability");
+  {
+    for (size_t sc = 0; sc < NUM_SMALL_SIZECLASSES; sc++)
+    {
+      size_t sz = sizeclass_full_to_size(sizeclass_t::from_small_class(sc));
+      SNMALLOC_CHECK(sz == Aal::capptr_size_round(sz));
+    }
+
+    for (size_t sc = 0; sc < bits::BITS; sc++)
+    {
+      size_t sz = sizeclass_full_to_size(sizeclass_t::from_large_class(sc));
+      SNMALLOC_CHECK(sz == Aal::capptr_size_round(sz));
+    }
+  }
+
   message("CHERI checks OK");
   return 0;
 }