From d84082ef65e311626e73af8e860723dd9d1e6b4f Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown@cl.cam.ac.uk>
Date: Fri, 7 Jan 2022 10:07:18 +0000
Subject: Introduce semantics for sequences of instructions.

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

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

diff --git a/src/Helium/Instructions.agda b/src/Helium/Instructions.agda
index 4bd02ac..41bc74d 100644
--- a/src/Helium/Instructions.agda
+++ b/src/Helium/Instructions.agda
@@ -88,3 +88,10 @@ record VQDMulH : Set where
     rounding : Bool
 
   open VecOp₂ op₂ public
+
+data Instruction : Set where
+  vadd : VAdd → Instruction
+  vsub : VSub → Instruction
+  vmul : VMul → Instruction
+  vmulh : VMulH → Instruction
+  vqdmulh : VQDMulH → Instruction
-- 
cgit v1.2.3