From ed3c730a0f967a0b7e80b4ce6cb1c69ec926ac24 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown@cl.cam.ac.uk>
Date: Sun, 13 Feb 2022 15:14:26 +0000
Subject: Define vmla instruction.

---
 src/Helium/Instructions/Core.agda | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'src/Helium/Instructions/Core.agda')

diff --git a/src/Helium/Instructions/Core.agda b/src/Helium/Instructions/Core.agda
index 466a396..6c9363d 100644
--- a/src/Helium/Instructions/Core.agda
+++ b/src/Helium/Instructions/Core.agda
@@ -85,6 +85,16 @@ record VRMulH : Set where
 
   open VecOp₂ op₂ public
 
+record VMlA : Set where
+  field
+    size     : VecOpSize
+    unsigned : Bool
+    acc      : VecReg
+    src₁     : VecReg
+    src₂     : GenReg
+
+  open Size size public
+
 VQDMulH = VecOp₂
 VQRDMulH = VecOp₂
 
-- 
cgit v1.2.3