1 files changed, 3 insertions, 0 deletions
diff --git a/kvx/Asm.v b/kvx/Asm.v
index 6d8736af..fd20316c 100644
--- a/kvx/Asm.v
+++ b/kvx/Asm.v
@@ -104,6 +104,9 @@ Inductive instruction : Type :=
   | Palclrd (dst: ireg) (addr: ireg)
   | Palclrw (dst: ireg) (addr: ireg)
   | Pclzll (rd rs: ireg)
+  | Pclzw  (rd rs: ireg)
+  | Pctzll (rd rs: ireg)
+  | Pctzw  (rd rs: ireg)
   | Pstsud (rd rs1 rs2: ireg)
             
   (** Loads *)