From 23da7b35d0edf98f271401ac93a1fa06adb062a2 Mon Sep 17 00:00:00 2001 From: Cyril SIX Date: Mon, 7 Dec 2020 15:35:20 +0100 Subject: Fixing test/regression for KVX --- kvx/Asm.v | 3 +++ 1 file changed, 3 insertions(+) (limited to 'kvx/Asm.v') 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 *) -- cgit