diff options
Diffstat (limited to 'src/Helium/Instructions/Core.agda')
| -rw-r--r-- | src/Helium/Instructions/Core.agda | 10 |
1 files changed, 10 insertions, 0 deletions
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₂ |