Add Ext_Zcmp to extensionEnabled_measure

nadime15 · Feb 12, 2025 · 5d6df07 · 5d6df07
1 parent 4c9e992
commit 5d6df07
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/model/riscv_termination.sail b/model/riscv_termination.sail
@@ -56,6 +56,7 @@ function extensionEnabled_measure(ext : extension) -> int =
     Ext_Zcb => 2, // Ext_Zca
     Ext_Zcd => 2, // Ext_Zca, (Ext_D)
     Ext_Zcf => 2, // Ext_Zca, (Ext_F)
+    Ext_Zcmp => 2, // Ext_Zca
     _ => 0
   }
 termination_measure extensionEnabled(ext) = extensionEnabled_measure(ext)