From 60b201d0c8752b84194753bb72eee777bf245fe3 Mon Sep 17 00:00:00 2001 From: Greg Brown Date: Thu, 17 Feb 2022 16:34:54 +0000 Subject: Make call and invoke take All instead of tuple. --- src/Helium/Instructions/Instances/Barrett.agda | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/Helium/Instructions/Instances') diff --git a/src/Helium/Instructions/Instances/Barrett.agda b/src/Helium/Instructions/Instances/Barrett.agda index 5ec9ba4..606a9e9 100644 --- a/src/Helium/Instructions/Instances/Barrett.agda +++ b/src/Helium/Instructions/Instances/Barrett.agda @@ -25,9 +25,9 @@ open import Helium.Instructions.Core barret : (m -n : Expression [] (bits 32)) (t z : VecReg) (im : GenReg) → Procedure [] barret m -n t z im = index R (lit (im ′f)) ≔ m ∙ - invoke vqrdmulh-s32,t,z,m (tup []) ∙ + invoke vqrdmulh-s32,t,z,m [] ∙ index R (lit (im ′f)) ≔ -n ∙ - invoke vmla-s32,z,t,-n (tup []) ∙end + invoke vmla-s32,z,t,-n [] ∙end where vqrdmulh-s32,t,z,m = ExecBeats (vqrdmulh (record -- cgit v1.2.3