16390eed4SPeter Maydell# M-profile MVE instruction descriptions 26390eed4SPeter Maydell# 36390eed4SPeter Maydell# Copyright (c) 2021 Linaro, Ltd 46390eed4SPeter Maydell# 56390eed4SPeter Maydell# This library is free software; you can redistribute it and/or 66390eed4SPeter Maydell# modify it under the terms of the GNU Lesser General Public 76390eed4SPeter Maydell# License as published by the Free Software Foundation; either 86390eed4SPeter Maydell# version 2.1 of the License, or (at your option) any later version. 96390eed4SPeter Maydell# 106390eed4SPeter Maydell# This library is distributed in the hope that it will be useful, 116390eed4SPeter Maydell# but WITHOUT ANY WARRANTY; without even the implied warranty of 126390eed4SPeter Maydell# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 136390eed4SPeter Maydell# Lesser General Public License for more details. 146390eed4SPeter Maydell# 156390eed4SPeter Maydell# You should have received a copy of the GNU Lesser General Public 166390eed4SPeter Maydell# License along with this library; if not, see <http://www.gnu.org/licenses/>. 176390eed4SPeter Maydell 186390eed4SPeter Maydell# 196390eed4SPeter Maydell# This file is processed by scripts/decodetree.py 206390eed4SPeter Maydell# 21507b6a50SPeter Maydell 22507b6a50SPeter Maydell%qd 22:1 13:3 230f0f2bd5SPeter Maydell%qm 5:1 1:3 24ab59362fSPeter Maydell%qn 7:1 17:3 25507b6a50SPeter Maydell 26a8890353SPeter Maydell# VQDMULL has size in bit 28: 0 for 16 bit, 1 for 32 bit 27a8890353SPeter Maydell%size_28 28:1 !function=plus_1 28a8890353SPeter Maydell 29eab84139SPeter Maydell# 1imm format immediate 30eab84139SPeter Maydell%imm_28_16_0 28:1 16:3 0:4 31eab84139SPeter Maydell 322fc6b751SPeter Maydell&vldr_vstr rn qd imm p a w size l u 330f0f2bd5SPeter Maydell&1op qd qm size 3468245e44SPeter Maydell&2op qd qm qn size 35e51896b3SPeter Maydell&2scalar qd qn rm size 36eab84139SPeter Maydell&1imm qd imm cmode op 37f9ed6174SPeter Maydell&2shift qd qm shift size 38507b6a50SPeter Maydell 392fc6b751SPeter Maydell@vldr_vstr ....... . . . . l:1 rn:4 ... ...... imm:7 &vldr_vstr qd=%qd u=0 402fc6b751SPeter Maydell# Note that both Rn and Qd are 3 bits only (no D bit) 412fc6b751SPeter Maydell@vldst_wn ... u:1 ... . . . . l:1 . rn:3 qd:3 . ... .. imm:7 &vldr_vstr 42507b6a50SPeter Maydell 430f0f2bd5SPeter Maydell@1op .... .... .... size:2 .. .... .... .... .... &1op qd=%qd qm=%qm 448abd3c80SPeter Maydell@1op_nosz .... .... .... .... .... .... .... .... &1op qd=%qd qm=%qm size=0 459333fe4dSPeter Maydell@2op .... .... .. size:2 .... .... .... .... .... &2op qd=%qd qm=%qm qn=%qn 4668245e44SPeter Maydell@2op_nosz .... .... .... .... .... .... .... .... &2op qd=%qd qm=%qm qn=%qn size=0 4743364321SPeter Maydell@2op_sz28 .... .... .... .... .... .... .... .... &2op qd=%qd qm=%qm qn=%qn \ 4843364321SPeter Maydell size=%size_28 49eab84139SPeter Maydell@1imm .... .... .... .... .... cmode:4 .. op:1 . .... &1imm qd=%qd imm=%imm_28_16_0 500f0f2bd5SPeter Maydell 51483da661SPeter Maydell# The _rev suffix indicates that Vn and Vm are reversed. This is 52483da661SPeter Maydell# the case for shifts. In the Arm ARM these insns are documented 53483da661SPeter Maydell# with the Vm and Vn fields in their usual places, but in the 54483da661SPeter Maydell# assembly the operands are listed "backwards", ie in the order 55483da661SPeter Maydell# Qd, Qm, Qn where other insns use Qd, Qn, Qm. For QEMU we choose 56483da661SPeter Maydell# to consider Vm and Vn as being in different fields in the insn. 57483da661SPeter Maydell# This gives us consistency with A64 and Neon. 58483da661SPeter Maydell@2op_rev .... .... .. size:2 .... .... .... .... .... &2op qd=%qd qm=%qn qn=%qm 59483da661SPeter Maydell 60e51896b3SPeter Maydell@2scalar .... .... .. size:2 .... .... .... .... rm:4 &2scalar qd=%qd qn=%qn 61a8890353SPeter Maydell@2scalar_nosz .... .... .... .... .... .... .... rm:4 &2scalar qd=%qd qn=%qn 62e51896b3SPeter Maydell 63f9ed6174SPeter Maydell@2_shl_b .... .... .. 001 shift:3 .... .... .... .... &2shift qd=%qd qm=%qm size=0 64f9ed6174SPeter Maydell@2_shl_h .... .... .. 01 shift:4 .... .... .... .... &2shift qd=%qd qm=%qm size=1 65f9ed6174SPeter Maydell@2_shl_w .... .... .. 1 shift:5 .... .... .... .... &2shift qd=%qd qm=%qm size=2 66f9ed6174SPeter Maydell 67c2262707SPeter Maydell@2_shll_b .... .... ... 01 shift:3 .... .... .... .... &2shift qd=%qd qm=%qm size=0 68c2262707SPeter Maydell@2_shll_h .... .... ... 1 shift:4 .... .... .... .... &2shift qd=%qd qm=%qm size=1 69c2262707SPeter Maydell# VSHLL encoding T2 where shift == esize 70c2262707SPeter Maydell@2_shll_esize_b .... .... .... 00 .. .... .... .... .... &2shift \ 71c2262707SPeter Maydell qd=%qd qm=%qm size=0 shift=8 72c2262707SPeter Maydell@2_shll_esize_h .... .... .... 01 .. .... .... .... .... &2shift \ 73c2262707SPeter Maydell qd=%qd qm=%qm size=1 shift=16 74c2262707SPeter Maydell 753394116fSPeter Maydell# Right shifts are encoded as N - shift, where N is the element size in bits. 763394116fSPeter Maydell%rshift_i5 16:5 !function=rsub_32 773394116fSPeter Maydell%rshift_i4 16:4 !function=rsub_16 783394116fSPeter Maydell%rshift_i3 16:3 !function=rsub_8 793394116fSPeter Maydell 803394116fSPeter Maydell@2_shr_b .... .... .. 001 ... .... .... .... .... &2shift qd=%qd qm=%qm \ 813394116fSPeter Maydell size=0 shift=%rshift_i3 823394116fSPeter Maydell@2_shr_h .... .... .. 01 .... .... .... .... .... &2shift qd=%qd qm=%qm \ 833394116fSPeter Maydell size=1 shift=%rshift_i4 843394116fSPeter Maydell@2_shr_w .... .... .. 1 ..... .... .... .... .... &2shift qd=%qd qm=%qm \ 853394116fSPeter Maydell size=2 shift=%rshift_i5 863394116fSPeter Maydell 87507b6a50SPeter Maydell# Vector loads and stores 88507b6a50SPeter Maydell 892fc6b751SPeter Maydell# Widening loads and narrowing stores: 902fc6b751SPeter Maydell# for these P=0 W=0 is 'related encoding'; sz=11 is 'related encoding' 912fc6b751SPeter Maydell# This means we need to expand out to multiple patterns for P, W, SZ. 922fc6b751SPeter Maydell# For stores the U bit must be 0 but we catch that in the trans_ function. 932fc6b751SPeter Maydell# The naming scheme here is "VLDSTB_H == in-memory byte load/store to/from 942fc6b751SPeter Maydell# signed halfword element in register", etc. 952fc6b751SPeter MaydellVLDSTB_H 111 . 110 0 a:1 0 1 . 0 ... ... 0 111 01 ....... @vldst_wn \ 962fc6b751SPeter Maydell p=0 w=1 size=1 972fc6b751SPeter MaydellVLDSTB_H 111 . 110 1 a:1 0 w:1 . 0 ... ... 0 111 01 ....... @vldst_wn \ 982fc6b751SPeter Maydell p=1 size=1 992fc6b751SPeter MaydellVLDSTB_W 111 . 110 0 a:1 0 1 . 0 ... ... 0 111 10 ....... @vldst_wn \ 1002fc6b751SPeter Maydell p=0 w=1 size=2 1012fc6b751SPeter MaydellVLDSTB_W 111 . 110 1 a:1 0 w:1 . 0 ... ... 0 111 10 ....... @vldst_wn \ 1022fc6b751SPeter Maydell p=1 size=2 1032fc6b751SPeter MaydellVLDSTH_W 111 . 110 0 a:1 0 1 . 1 ... ... 0 111 10 ....... @vldst_wn \ 1042fc6b751SPeter Maydell p=0 w=1 size=2 1052fc6b751SPeter MaydellVLDSTH_W 111 . 110 1 a:1 0 w:1 . 1 ... ... 0 111 10 ....... @vldst_wn \ 1062fc6b751SPeter Maydell p=1 size=2 1072fc6b751SPeter Maydell 108507b6a50SPeter Maydell# Non-widening loads/stores (P=0 W=0 is 'related encoding') 109507b6a50SPeter MaydellVLDR_VSTR 1110110 0 a:1 . 1 . .... ... 111100 ....... @vldr_vstr \ 110507b6a50SPeter Maydell size=0 p=0 w=1 111507b6a50SPeter MaydellVLDR_VSTR 1110110 0 a:1 . 1 . .... ... 111101 ....... @vldr_vstr \ 112507b6a50SPeter Maydell size=1 p=0 w=1 113507b6a50SPeter MaydellVLDR_VSTR 1110110 0 a:1 . 1 . .... ... 111110 ....... @vldr_vstr \ 114507b6a50SPeter Maydell size=2 p=0 w=1 115507b6a50SPeter MaydellVLDR_VSTR 1110110 1 a:1 . w:1 . .... ... 111100 ....... @vldr_vstr \ 116507b6a50SPeter Maydell size=0 p=1 117507b6a50SPeter MaydellVLDR_VSTR 1110110 1 a:1 . w:1 . .... ... 111101 ....... @vldr_vstr \ 118507b6a50SPeter Maydell size=1 p=1 119507b6a50SPeter MaydellVLDR_VSTR 1110110 1 a:1 . w:1 . .... ... 111110 ....... @vldr_vstr \ 120507b6a50SPeter Maydell size=2 p=1 1210f0f2bd5SPeter Maydell 12268245e44SPeter Maydell# Vector 2-op 12368245e44SPeter MaydellVAND 1110 1111 0 . 00 ... 0 ... 0 0001 . 1 . 1 ... 0 @2op_nosz 12468245e44SPeter MaydellVBIC 1110 1111 0 . 01 ... 0 ... 0 0001 . 1 . 1 ... 0 @2op_nosz 12568245e44SPeter MaydellVORR 1110 1111 0 . 10 ... 0 ... 0 0001 . 1 . 1 ... 0 @2op_nosz 12668245e44SPeter MaydellVORN 1110 1111 0 . 11 ... 0 ... 0 0001 . 1 . 1 ... 0 @2op_nosz 12768245e44SPeter MaydellVEOR 1111 1111 0 . 00 ... 0 ... 0 0001 . 1 . 1 ... 0 @2op_nosz 12868245e44SPeter Maydell 1299333fe4dSPeter MaydellVADD 1110 1111 0 . .. ... 0 ... 0 1000 . 1 . 0 ... 0 @2op 1309333fe4dSPeter MaydellVSUB 1111 1111 0 . .. ... 0 ... 0 1000 . 1 . 0 ... 0 @2op 1319333fe4dSPeter MaydellVMUL 1110 1111 0 . .. ... 0 ... 0 1001 . 1 . 1 ... 0 @2op 1329333fe4dSPeter Maydell 133c2262707SPeter Maydell# The VSHLL T2 encoding is not a @2op pattern, but is here because it 134c2262707SPeter Maydell# overlaps what would be size=0b11 VMULH/VRMULH 135c2262707SPeter Maydell{ 136c2262707SPeter Maydell VSHLL_BS 111 0 1110 0 . 11 .. 01 ... 0 1110 0 0 . 0 ... 1 @2_shll_esize_b 137c2262707SPeter Maydell VSHLL_BS 111 0 1110 0 . 11 .. 01 ... 0 1110 0 0 . 0 ... 1 @2_shll_esize_h 138c2262707SPeter Maydell 139ba62cc56SPeter Maydell VMULH_S 111 0 1110 0 . .. ...1 ... 0 1110 . 0 . 0 ... 1 @2op 140c2262707SPeter Maydell} 141c2262707SPeter Maydell 142c2262707SPeter Maydell{ 143c2262707SPeter Maydell VSHLL_BU 111 1 1110 0 . 11 .. 01 ... 0 1110 0 0 . 0 ... 1 @2_shll_esize_b 144c2262707SPeter Maydell VSHLL_BU 111 1 1110 0 . 11 .. 01 ... 0 1110 0 0 . 0 ... 1 @2_shll_esize_h 145c2262707SPeter Maydell 146ba62cc56SPeter Maydell VMULH_U 111 1 1110 0 . .. ...1 ... 0 1110 . 0 . 0 ... 1 @2op 147c2262707SPeter Maydell} 148c2262707SPeter Maydell 149c2262707SPeter Maydell{ 150c2262707SPeter Maydell VSHLL_TS 111 0 1110 0 . 11 .. 01 ... 1 1110 0 0 . 0 ... 1 @2_shll_esize_b 151c2262707SPeter Maydell VSHLL_TS 111 0 1110 0 . 11 .. 01 ... 1 1110 0 0 . 0 ... 1 @2_shll_esize_h 152ba62cc56SPeter Maydell 153fca87b78SPeter Maydell VRMULH_S 111 0 1110 0 . .. ...1 ... 1 1110 . 0 . 0 ... 1 @2op 154c2262707SPeter Maydell} 155c2262707SPeter Maydell 156c2262707SPeter Maydell{ 157c2262707SPeter Maydell VSHLL_TU 111 1 1110 0 . 11 .. 01 ... 1 1110 0 0 . 0 ... 1 @2_shll_esize_b 158c2262707SPeter Maydell VSHLL_TU 111 1 1110 0 . 11 .. 01 ... 1 1110 0 0 . 0 ... 1 @2_shll_esize_h 159c2262707SPeter Maydell 160fca87b78SPeter Maydell VRMULH_U 111 1 1110 0 . .. ...1 ... 1 1110 . 0 . 0 ... 1 @2op 161c2262707SPeter Maydell} 162fca87b78SPeter Maydell 163cd367ff3SPeter MaydellVMAX_S 111 0 1111 0 . .. ... 0 ... 0 0110 . 1 . 0 ... 0 @2op 164cd367ff3SPeter MaydellVMAX_U 111 1 1111 0 . .. ... 0 ... 0 0110 . 1 . 0 ... 0 @2op 165cd367ff3SPeter MaydellVMIN_S 111 0 1111 0 . .. ... 0 ... 0 0110 . 1 . 1 ... 0 @2op 166cd367ff3SPeter MaydellVMIN_U 111 1 1111 0 . .. ... 0 ... 0 0110 . 1 . 1 ... 0 @2op 167cd367ff3SPeter Maydell 168bc67aa8dSPeter MaydellVABD_S 111 0 1111 0 . .. ... 0 ... 0 0111 . 1 . 0 ... 0 @2op 169bc67aa8dSPeter MaydellVABD_U 111 1 1111 0 . .. ... 0 ... 0 0111 . 1 . 0 ... 0 @2op 170bc67aa8dSPeter Maydell 171abc48e31SPeter MaydellVHADD_S 111 0 1111 0 . .. ... 0 ... 0 0000 . 1 . 0 ... 0 @2op 172abc48e31SPeter MaydellVHADD_U 111 1 1111 0 . .. ... 0 ... 0 0000 . 1 . 0 ... 0 @2op 173abc48e31SPeter MaydellVHSUB_S 111 0 1111 0 . .. ... 0 ... 0 0010 . 1 . 0 ... 0 @2op 174abc48e31SPeter MaydellVHSUB_U 111 1 1111 0 . .. ... 0 ... 0 0010 . 1 . 0 ... 0 @2op 175abc48e31SPeter Maydell 176*c1bd78cbSPeter Maydell{ 177*c1bd78cbSPeter Maydell VMULLP_B 111 . 1110 0 . 11 ... 1 ... 0 1110 . 0 . 0 ... 0 @2op_sz28 178ac6ad1dcSPeter Maydell VMULL_BS 111 0 1110 0 . .. ... 1 ... 0 1110 . 0 . 0 ... 0 @2op 179ac6ad1dcSPeter Maydell VMULL_BU 111 1 1110 0 . .. ... 1 ... 0 1110 . 0 . 0 ... 0 @2op 180*c1bd78cbSPeter Maydell} 181*c1bd78cbSPeter Maydell{ 182*c1bd78cbSPeter Maydell VMULLP_T 111 . 1110 0 . 11 ... 1 ... 1 1110 . 0 . 0 ... 0 @2op_sz28 183ac6ad1dcSPeter Maydell VMULL_TS 111 0 1110 0 . .. ... 1 ... 1 1110 . 0 . 0 ... 0 @2op 184ac6ad1dcSPeter Maydell VMULL_TU 111 1 1110 0 . .. ... 1 ... 1 1110 . 0 . 0 ... 0 @2op 185*c1bd78cbSPeter Maydell} 186ac6ad1dcSPeter Maydell 187380caf6cSPeter MaydellVQDMULH 1110 1111 0 . .. ... 0 ... 0 1011 . 1 . 0 ... 0 @2op 188380caf6cSPeter MaydellVQRDMULH 1111 1111 0 . .. ... 0 ... 0 1011 . 1 . 0 ... 0 @2op 189380caf6cSPeter Maydell 190f741707bSPeter MaydellVQADD_S 111 0 1111 0 . .. ... 0 ... 0 0000 . 1 . 1 ... 0 @2op 191f741707bSPeter MaydellVQADD_U 111 1 1111 0 . .. ... 0 ... 0 0000 . 1 . 1 ... 0 @2op 192f741707bSPeter MaydellVQSUB_S 111 0 1111 0 . .. ... 0 ... 0 0010 . 1 . 1 ... 0 @2op 193f741707bSPeter MaydellVQSUB_U 111 1 1111 0 . .. ... 0 ... 0 0010 . 1 . 1 ... 0 @2op 194f741707bSPeter Maydell 1950372cad8SPeter MaydellVSHL_S 111 0 1111 0 . .. ... 0 ... 0 0100 . 1 . 0 ... 0 @2op_rev 1960372cad8SPeter MaydellVSHL_U 111 1 1111 0 . .. ... 0 ... 0 0100 . 1 . 0 ... 0 @2op_rev 1970372cad8SPeter Maydell 198bb002345SPeter MaydellVRSHL_S 111 0 1111 0 . .. ... 0 ... 0 0101 . 1 . 0 ... 0 @2op_rev 199bb002345SPeter MaydellVRSHL_U 111 1 1111 0 . .. ... 0 ... 0 0101 . 1 . 0 ... 0 @2op_rev 200bb002345SPeter Maydell 201483da661SPeter MaydellVQSHL_S 111 0 1111 0 . .. ... 0 ... 0 0100 . 1 . 1 ... 0 @2op_rev 202483da661SPeter MaydellVQSHL_U 111 1 1111 0 . .. ... 0 ... 0 0100 . 1 . 1 ... 0 @2op_rev 203483da661SPeter Maydell 2049dc868c4SPeter MaydellVQRSHL_S 111 0 1111 0 . .. ... 0 ... 0 0101 . 1 . 1 ... 0 @2op_rev 2059dc868c4SPeter MaydellVQRSHL_U 111 1 1111 0 . .. ... 0 ... 0 0101 . 1 . 1 ... 0 @2op_rev 2069dc868c4SPeter Maydell 207fd677f80SPeter MaydellVQDMLADH 1110 1110 0 . .. ... 0 ... 0 1110 . 0 . 0 ... 0 @2op 208fd677f80SPeter MaydellVQDMLADHX 1110 1110 0 . .. ... 0 ... 1 1110 . 0 . 0 ... 0 @2op 209fd677f80SPeter MaydellVQRDMLADH 1110 1110 0 . .. ... 0 ... 0 1110 . 0 . 0 ... 1 @2op 210fd677f80SPeter MaydellVQRDMLADHX 1110 1110 0 . .. ... 0 ... 1 1110 . 0 . 0 ... 1 @2op 211fd677f80SPeter Maydell 21292f11732SPeter MaydellVQDMLSDH 1111 1110 0 . .. ... 0 ... 0 1110 . 0 . 0 ... 0 @2op 21392f11732SPeter MaydellVQDMLSDHX 1111 1110 0 . .. ... 0 ... 1 1110 . 0 . 0 ... 0 @2op 21492f11732SPeter MaydellVQRDMLSDH 1111 1110 0 . .. ... 0 ... 0 1110 . 0 . 0 ... 1 @2op 21592f11732SPeter MaydellVQRDMLSDHX 1111 1110 0 . .. ... 0 ... 1 1110 . 0 . 0 ... 1 @2op 21692f11732SPeter Maydell 21743364321SPeter MaydellVQDMULLB 111 . 1110 0 . 11 ... 0 ... 0 1111 . 0 . 0 ... 1 @2op_sz28 21843364321SPeter MaydellVQDMULLT 111 . 1110 0 . 11 ... 0 ... 1 1111 . 0 . 0 ... 1 @2op_sz28 21943364321SPeter Maydell 2201eb987a8SPeter MaydellVRHADD_S 111 0 1111 0 . .. ... 0 ... 0 0001 . 1 . 0 ... 0 @2op 2211eb987a8SPeter MaydellVRHADD_U 111 1 1111 0 . .. ... 0 ... 0 0001 . 1 . 0 ... 0 @2op 2221eb987a8SPeter Maydell 2238625693aSPeter Maydell{ 22489bc4c4fSPeter Maydell VADC 1110 1110 0 . 11 ... 0 ... 0 1111 . 0 . 0 ... 0 @2op_nosz 22589bc4c4fSPeter Maydell VADCI 1110 1110 0 . 11 ... 0 ... 1 1111 . 0 . 0 ... 0 @2op_nosz 2268625693aSPeter Maydell VHCADD90 1110 1110 0 . .. ... 0 ... 0 1111 . 0 . 0 ... 0 @2op 2278625693aSPeter Maydell VHCADD270 1110 1110 0 . .. ... 0 ... 1 1111 . 0 . 0 ... 0 @2op 2288625693aSPeter Maydell} 22967ec113bSPeter Maydell 23067ec113bSPeter Maydell{ 23167ec113bSPeter Maydell VSBC 1111 1110 0 . 11 ... 0 ... 0 1111 . 0 . 0 ... 0 @2op_nosz 23289bc4c4fSPeter Maydell VSBCI 1111 1110 0 . 11 ... 0 ... 1 1111 . 0 . 0 ... 0 @2op_nosz 23367ec113bSPeter Maydell VCADD90 1111 1110 0 . .. ... 0 ... 0 1111 . 0 . 0 ... 0 @2op 23467ec113bSPeter Maydell VCADD270 1111 1110 0 . .. ... 0 ... 1 1111 . 0 . 0 ... 0 @2op 23567ec113bSPeter Maydell} 23689bc4c4fSPeter Maydell 2370f0f2bd5SPeter Maydell# Vector miscellaneous 2380f0f2bd5SPeter Maydell 2396437f1f7SPeter MaydellVCLS 1111 1111 1 . 11 .. 00 ... 0 0100 01 . 0 ... 0 @1op 2400f0f2bd5SPeter MaydellVCLZ 1111 1111 1 . 11 .. 00 ... 0 0100 11 . 0 ... 0 @1op 241249b5309SPeter Maydell 242249b5309SPeter MaydellVREV16 1111 1111 1 . 11 .. 00 ... 0 0001 01 . 0 ... 0 @1op 243249b5309SPeter MaydellVREV32 1111 1111 1 . 11 .. 00 ... 0 0000 11 . 0 ... 0 @1op 244249b5309SPeter MaydellVREV64 1111 1111 1 . 11 .. 00 ... 0 0000 01 . 0 ... 0 @1op 2458abd3c80SPeter Maydell 2468abd3c80SPeter MaydellVMVN 1111 1111 1 . 11 00 00 ... 0 0101 11 . 0 ... 0 @1op_nosz 24759c91773SPeter Maydell 24859c91773SPeter MaydellVABS 1111 1111 1 . 11 .. 01 ... 0 0011 01 . 0 ... 0 @1op 24959c91773SPeter MaydellVABS_fp 1111 1111 1 . 11 .. 01 ... 0 0111 01 . 0 ... 0 @1op 250399a8c76SPeter MaydellVNEG 1111 1111 1 . 11 .. 01 ... 0 0011 11 . 0 ... 0 @1op 251399a8c76SPeter MaydellVNEG_fp 1111 1111 1 . 11 .. 01 ... 0 0111 11 . 0 ... 0 @1op 252ab59362fSPeter Maydell 253ab59362fSPeter Maydell&vdup qd rt size 254ab59362fSPeter Maydell# Qd is in the fields usually named Qn 255ab59362fSPeter Maydell@vdup .... .... . . .. ... . rt:4 .... . . . . .... qd=%qn &vdup 256ab59362fSPeter Maydell 257ab59362fSPeter Maydell# B and E bits encode size, which we decode here to the usual size values 258ab59362fSPeter MaydellVDUP 1110 1110 1 1 10 ... 0 .... 1011 . 0 0 1 0000 @vdup size=0 259ab59362fSPeter MaydellVDUP 1110 1110 1 0 10 ... 0 .... 1011 . 0 1 1 0000 @vdup size=1 260ab59362fSPeter MaydellVDUP 1110 1110 1 0 10 ... 0 .... 1011 . 0 0 1 0000 @vdup size=2 2611d2386f7SPeter Maydell 2621d2386f7SPeter Maydell# multiply-add long dual accumulate 2631d2386f7SPeter Maydell# rdahi: bits [3:1] from insn, bit 0 is 1 2641d2386f7SPeter Maydell# rdalo: bits [3:1] from insn, bit 0 is 0 2651d2386f7SPeter Maydell%rdahi 20:3 !function=times_2_plus_1 2661d2386f7SPeter Maydell%rdalo 13:3 !function=times_2 2671d2386f7SPeter Maydell# size bit is 0 for 16 bit, 1 for 32 bit 2681d2386f7SPeter Maydell%size_16 16:1 !function=plus_1 2691d2386f7SPeter Maydell 2701d2386f7SPeter Maydell&vmlaldav rdahi rdalo size qn qm x a 2711d2386f7SPeter Maydell 2721d2386f7SPeter Maydell@vmlaldav .... .... . ... ... . ... . .... .... qm:3 . \ 2731d2386f7SPeter Maydell qn=%qn rdahi=%rdahi rdalo=%rdalo size=%size_16 &vmlaldav 27438548747SPeter Maydell@vmlaldav_nosz .... .... . ... ... . ... . .... .... qm:3 . \ 27538548747SPeter Maydell qn=%qn rdahi=%rdahi rdalo=%rdalo size=0 &vmlaldav 2761d2386f7SPeter MaydellVMLALDAV_S 1110 1110 1 ... ... . ... x:1 1110 . 0 a:1 0 ... 0 @vmlaldav 2771d2386f7SPeter MaydellVMLALDAV_U 1111 1110 1 ... ... . ... x:1 1110 . 0 a:1 0 ... 0 @vmlaldav 278181cd971SPeter Maydell 279181cd971SPeter MaydellVMLSLDAV 1110 1110 1 ... ... . ... x:1 1110 . 0 a:1 0 ... 1 @vmlaldav 28038548747SPeter Maydell 28138548747SPeter MaydellVRMLALDAVH_S 1110 1110 1 ... ... 0 ... x:1 1111 . 0 a:1 0 ... 0 @vmlaldav_nosz 28238548747SPeter MaydellVRMLALDAVH_U 1111 1110 1 ... ... 0 ... x:1 1111 . 0 a:1 0 ... 0 @vmlaldav_nosz 28338548747SPeter Maydell 28438548747SPeter MaydellVRMLSLDAVH 1111 1110 1 ... ... 0 ... x:1 1110 . 0 a:1 0 ... 1 @vmlaldav_nosz 285e51896b3SPeter Maydell 286e51896b3SPeter Maydell# Scalar operations 287e51896b3SPeter Maydell 288e51896b3SPeter MaydellVADD_scalar 1110 1110 0 . .. ... 1 ... 0 1111 . 100 .... @2scalar 28991a358fdSPeter MaydellVSUB_scalar 1110 1110 0 . .. ... 1 ... 1 1111 . 100 .... @2scalar 29091a358fdSPeter MaydellVMUL_scalar 1110 1110 0 . .. ... 1 ... 1 1110 . 110 .... @2scalar 291644f717cSPeter MaydellVHADD_S_scalar 1110 1110 0 . .. ... 0 ... 0 1111 . 100 .... @2scalar 292644f717cSPeter MaydellVHADD_U_scalar 1111 1110 0 . .. ... 0 ... 0 1111 . 100 .... @2scalar 293644f717cSPeter MaydellVHSUB_S_scalar 1110 1110 0 . .. ... 0 ... 1 1111 . 100 .... @2scalar 294644f717cSPeter MaydellVHSUB_U_scalar 1111 1110 0 . .. ... 0 ... 1 1111 . 100 .... @2scalar 29539f2ec85SPeter Maydell 296a8890353SPeter Maydell{ 29739f2ec85SPeter Maydell VQADD_S_scalar 1110 1110 0 . .. ... 0 ... 0 1111 . 110 .... @2scalar 29839f2ec85SPeter Maydell VQADD_U_scalar 1111 1110 0 . .. ... 0 ... 0 1111 . 110 .... @2scalar 299a8890353SPeter Maydell VQDMULLB_scalar 111 . 1110 0 . 11 ... 0 ... 0 1111 . 110 .... @2scalar_nosz \ 300a8890353SPeter Maydell size=%size_28 301a8890353SPeter Maydell} 302a8890353SPeter Maydell 303a8890353SPeter Maydell{ 30439f2ec85SPeter Maydell VQSUB_S_scalar 1110 1110 0 . .. ... 0 ... 1 1111 . 110 .... @2scalar 30539f2ec85SPeter Maydell VQSUB_U_scalar 1111 1110 0 . .. ... 0 ... 1 1111 . 110 .... @2scalar 306a8890353SPeter Maydell VQDMULLT_scalar 111 . 1110 0 . 11 ... 0 ... 1 1111 . 110 .... @2scalar_nosz \ 307a8890353SPeter Maydell size=%size_28 308a8890353SPeter Maydell} 309a8890353SPeter Maydell 310b050543bSPeter MaydellVBRSR 1111 1110 0 . .. ... 1 ... 1 1110 . 110 .... @2scalar 311387debdbSPeter Maydell 31266c05767SPeter MaydellVQDMULH_scalar 1110 1110 0 . .. ... 1 ... 0 1110 . 110 .... @2scalar 31366c05767SPeter MaydellVQRDMULH_scalar 1111 1110 0 . .. ... 1 ... 0 1110 . 110 .... @2scalar 31466c05767SPeter Maydell 3156f060a63SPeter Maydell# Vector add across vector 316d43ebd9dSPeter Maydell{ 3176f060a63SPeter Maydell VADDV 111 u:1 1110 1111 size:2 01 ... 0 1111 0 0 a:1 0 qm:3 0 rda=%rdalo 318d43ebd9dSPeter Maydell VADDLV 111 u:1 1110 1 ... 1001 ... 0 1111 00 a:1 0 qm:3 0 \ 319d43ebd9dSPeter Maydell rdahi=%rdahi rdalo=%rdalo 320d43ebd9dSPeter Maydell} 321a8890353SPeter Maydell 322387debdbSPeter Maydell# Predicate operations 323387debdbSPeter Maydell%mask_22_13 22:1 13:3 324387debdbSPeter MaydellVPST 1111 1110 0 . 11 000 1 ... 0 1111 0100 1101 mask=%mask_22_13 325eab84139SPeter Maydell 326eab84139SPeter Maydell# Logical immediate operations (1 reg and modified-immediate) 327eab84139SPeter Maydell 328eab84139SPeter Maydell# The cmode/op bits here decode VORR/VBIC/VMOV/VMVN, but 329eab84139SPeter Maydell# not in a way we can conveniently represent in decodetree without 330eab84139SPeter Maydell# a lot of repetition: 331eab84139SPeter Maydell# VORR: op=0, (cmode & 1) && cmode < 12 332eab84139SPeter Maydell# VBIC: op=1, (cmode & 1) && cmode < 12 333eab84139SPeter Maydell# VMOV: everything else 334eab84139SPeter Maydell# So we have a single decode line and check the cmode/op in the 335eab84139SPeter Maydell# trans function. 336eab84139SPeter MaydellVimm_1r 111 . 1111 1 . 00 0 ... ... 0 .... 0 1 . 1 .... @1imm 337f9ed6174SPeter Maydell 338f9ed6174SPeter Maydell# Shifts by immediate 339f9ed6174SPeter Maydell 340f9ed6174SPeter MaydellVSHLI 111 0 1111 1 . ... ... ... 0 0101 0 1 . 1 ... 0 @2_shl_b 341f9ed6174SPeter MaydellVSHLI 111 0 1111 1 . ... ... ... 0 0101 0 1 . 1 ... 0 @2_shl_h 342f9ed6174SPeter MaydellVSHLI 111 0 1111 1 . ... ... ... 0 0101 0 1 . 1 ... 0 @2_shl_w 343f9ed6174SPeter Maydell 344f9ed6174SPeter MaydellVQSHLI_S 111 0 1111 1 . ... ... ... 0 0111 0 1 . 1 ... 0 @2_shl_b 345f9ed6174SPeter MaydellVQSHLI_S 111 0 1111 1 . ... ... ... 0 0111 0 1 . 1 ... 0 @2_shl_h 346f9ed6174SPeter MaydellVQSHLI_S 111 0 1111 1 . ... ... ... 0 0111 0 1 . 1 ... 0 @2_shl_w 347f9ed6174SPeter Maydell 348f9ed6174SPeter MaydellVQSHLI_U 111 1 1111 1 . ... ... ... 0 0111 0 1 . 1 ... 0 @2_shl_b 349f9ed6174SPeter MaydellVQSHLI_U 111 1 1111 1 . ... ... ... 0 0111 0 1 . 1 ... 0 @2_shl_h 350f9ed6174SPeter MaydellVQSHLI_U 111 1 1111 1 . ... ... ... 0 0111 0 1 . 1 ... 0 @2_shl_w 351f9ed6174SPeter Maydell 352f9ed6174SPeter MaydellVQSHLUI 111 1 1111 1 . ... ... ... 0 0110 0 1 . 1 ... 0 @2_shl_b 353f9ed6174SPeter MaydellVQSHLUI 111 1 1111 1 . ... ... ... 0 0110 0 1 . 1 ... 0 @2_shl_h 354f9ed6174SPeter MaydellVQSHLUI 111 1 1111 1 . ... ... ... 0 0110 0 1 . 1 ... 0 @2_shl_w 3553394116fSPeter Maydell 3563394116fSPeter MaydellVSHRI_S 111 0 1111 1 . ... ... ... 0 0000 0 1 . 1 ... 0 @2_shr_b 3573394116fSPeter MaydellVSHRI_S 111 0 1111 1 . ... ... ... 0 0000 0 1 . 1 ... 0 @2_shr_h 3583394116fSPeter MaydellVSHRI_S 111 0 1111 1 . ... ... ... 0 0000 0 1 . 1 ... 0 @2_shr_w 3593394116fSPeter Maydell 3603394116fSPeter MaydellVSHRI_U 111 1 1111 1 . ... ... ... 0 0000 0 1 . 1 ... 0 @2_shr_b 3613394116fSPeter MaydellVSHRI_U 111 1 1111 1 . ... ... ... 0 0000 0 1 . 1 ... 0 @2_shr_h 3623394116fSPeter MaydellVSHRI_U 111 1 1111 1 . ... ... ... 0 0000 0 1 . 1 ... 0 @2_shr_w 3633394116fSPeter Maydell 3643394116fSPeter MaydellVRSHRI_S 111 0 1111 1 . ... ... ... 0 0010 0 1 . 1 ... 0 @2_shr_b 3653394116fSPeter MaydellVRSHRI_S 111 0 1111 1 . ... ... ... 0 0010 0 1 . 1 ... 0 @2_shr_h 3663394116fSPeter MaydellVRSHRI_S 111 0 1111 1 . ... ... ... 0 0010 0 1 . 1 ... 0 @2_shr_w 3673394116fSPeter Maydell 3683394116fSPeter MaydellVRSHRI_U 111 1 1111 1 . ... ... ... 0 0010 0 1 . 1 ... 0 @2_shr_b 3693394116fSPeter MaydellVRSHRI_U 111 1 1111 1 . ... ... ... 0 0010 0 1 . 1 ... 0 @2_shr_h 3703394116fSPeter MaydellVRSHRI_U 111 1 1111 1 . ... ... ... 0 0010 0 1 . 1 ... 0 @2_shr_w 371c2262707SPeter Maydell 372c2262707SPeter Maydell# VSHLL T1 encoding; the T2 VSHLL encoding is elsewhere in this file 3739dacf076SPeter Maydell# Note that VMOVL is encoded as "VSHLL with a zero shift count"; we 3749dacf076SPeter Maydell# implement it that way rather than special-casing it in the decode. 375c2262707SPeter MaydellVSHLL_BS 111 0 1110 1 . 1 .. ... ... 0 1111 0 1 . 0 ... 0 @2_shll_b 376c2262707SPeter MaydellVSHLL_BS 111 0 1110 1 . 1 .. ... ... 0 1111 0 1 . 0 ... 0 @2_shll_h 377c2262707SPeter Maydell 378c2262707SPeter MaydellVSHLL_BU 111 1 1110 1 . 1 .. ... ... 0 1111 0 1 . 0 ... 0 @2_shll_b 379c2262707SPeter MaydellVSHLL_BU 111 1 1110 1 . 1 .. ... ... 0 1111 0 1 . 0 ... 0 @2_shll_h 380c2262707SPeter Maydell 381c2262707SPeter MaydellVSHLL_TS 111 0 1110 1 . 1 .. ... ... 1 1111 0 1 . 0 ... 0 @2_shll_b 382c2262707SPeter MaydellVSHLL_TS 111 0 1110 1 . 1 .. ... ... 1 1111 0 1 . 0 ... 0 @2_shll_h 383c2262707SPeter Maydell 384c2262707SPeter MaydellVSHLL_TU 111 1 1110 1 . 1 .. ... ... 1 1111 0 1 . 0 ... 0 @2_shll_b 385c2262707SPeter MaydellVSHLL_TU 111 1 1110 1 . 1 .. ... ... 1 1111 0 1 . 0 ... 0 @2_shll_h 386a78b25faSPeter Maydell 387a78b25faSPeter Maydell# Shift-and-insert 388a78b25faSPeter MaydellVSRI 111 1 1111 1 . ... ... ... 0 0100 0 1 . 1 ... 0 @2_shr_b 389a78b25faSPeter MaydellVSRI 111 1 1111 1 . ... ... ... 0 0100 0 1 . 1 ... 0 @2_shr_h 390a78b25faSPeter MaydellVSRI 111 1 1111 1 . ... ... ... 0 0100 0 1 . 1 ... 0 @2_shr_w 391a78b25faSPeter Maydell 392a78b25faSPeter MaydellVSLI 111 1 1111 1 . ... ... ... 0 0101 0 1 . 1 ... 0 @2_shl_b 393a78b25faSPeter MaydellVSLI 111 1 1111 1 . ... ... ... 0 0101 0 1 . 1 ... 0 @2_shl_h 394a78b25faSPeter MaydellVSLI 111 1 1111 1 . ... ... ... 0 0101 0 1 . 1 ... 0 @2_shl_w 395162e2655SPeter Maydell 396162e2655SPeter Maydell# Narrowing shifts (which only support b and h sizes) 397162e2655SPeter MaydellVSHRNB 111 0 1110 1 . ... ... ... 0 1111 1 1 . 0 ... 1 @2_shr_b 398162e2655SPeter MaydellVSHRNB 111 0 1110 1 . ... ... ... 0 1111 1 1 . 0 ... 1 @2_shr_h 399162e2655SPeter MaydellVSHRNT 111 0 1110 1 . ... ... ... 1 1111 1 1 . 0 ... 1 @2_shr_b 400162e2655SPeter MaydellVSHRNT 111 0 1110 1 . ... ... ... 1 1111 1 1 . 0 ... 1 @2_shr_h 401162e2655SPeter Maydell 402162e2655SPeter MaydellVRSHRNB 111 1 1110 1 . ... ... ... 0 1111 1 1 . 0 ... 1 @2_shr_b 403162e2655SPeter MaydellVRSHRNB 111 1 1110 1 . ... ... ... 0 1111 1 1 . 0 ... 1 @2_shr_h 404162e2655SPeter MaydellVRSHRNT 111 1 1110 1 . ... ... ... 1 1111 1 1 . 0 ... 1 @2_shr_b 405162e2655SPeter MaydellVRSHRNT 111 1 1110 1 . ... ... ... 1 1111 1 1 . 0 ... 1 @2_shr_h 406d6f9e011SPeter Maydell 407d6f9e011SPeter MaydellVQSHRNB_S 111 0 1110 1 . ... ... ... 0 1111 0 1 . 0 ... 0 @2_shr_b 408d6f9e011SPeter MaydellVQSHRNB_S 111 0 1110 1 . ... ... ... 0 1111 0 1 . 0 ... 0 @2_shr_h 409d6f9e011SPeter MaydellVQSHRNT_S 111 0 1110 1 . ... ... ... 1 1111 0 1 . 0 ... 0 @2_shr_b 410d6f9e011SPeter MaydellVQSHRNT_S 111 0 1110 1 . ... ... ... 1 1111 0 1 . 0 ... 0 @2_shr_h 411d6f9e011SPeter MaydellVQSHRNB_U 111 1 1110 1 . ... ... ... 0 1111 0 1 . 0 ... 0 @2_shr_b 412d6f9e011SPeter MaydellVQSHRNB_U 111 1 1110 1 . ... ... ... 0 1111 0 1 . 0 ... 0 @2_shr_h 413d6f9e011SPeter MaydellVQSHRNT_U 111 1 1110 1 . ... ... ... 1 1111 0 1 . 0 ... 0 @2_shr_b 414d6f9e011SPeter MaydellVQSHRNT_U 111 1 1110 1 . ... ... ... 1 1111 0 1 . 0 ... 0 @2_shr_h 415d6f9e011SPeter Maydell 416d6f9e011SPeter MaydellVQSHRUNB 111 0 1110 1 . ... ... ... 0 1111 1 1 . 0 ... 0 @2_shr_b 417d6f9e011SPeter MaydellVQSHRUNB 111 0 1110 1 . ... ... ... 0 1111 1 1 . 0 ... 0 @2_shr_h 418d6f9e011SPeter MaydellVQSHRUNT 111 0 1110 1 . ... ... ... 1 1111 1 1 . 0 ... 0 @2_shr_b 419d6f9e011SPeter MaydellVQSHRUNT 111 0 1110 1 . ... ... ... 1 1111 1 1 . 0 ... 0 @2_shr_h 420d6f9e011SPeter Maydell 421d6f9e011SPeter MaydellVQRSHRNB_S 111 0 1110 1 . ... ... ... 0 1111 0 1 . 0 ... 1 @2_shr_b 422d6f9e011SPeter MaydellVQRSHRNB_S 111 0 1110 1 . ... ... ... 0 1111 0 1 . 0 ... 1 @2_shr_h 423d6f9e011SPeter MaydellVQRSHRNT_S 111 0 1110 1 . ... ... ... 1 1111 0 1 . 0 ... 1 @2_shr_b 424d6f9e011SPeter MaydellVQRSHRNT_S 111 0 1110 1 . ... ... ... 1 1111 0 1 . 0 ... 1 @2_shr_h 425d6f9e011SPeter MaydellVQRSHRNB_U 111 1 1110 1 . ... ... ... 0 1111 0 1 . 0 ... 1 @2_shr_b 426d6f9e011SPeter MaydellVQRSHRNB_U 111 1 1110 1 . ... ... ... 0 1111 0 1 . 0 ... 1 @2_shr_h 427d6f9e011SPeter MaydellVQRSHRNT_U 111 1 1110 1 . ... ... ... 1 1111 0 1 . 0 ... 1 @2_shr_b 428d6f9e011SPeter MaydellVQRSHRNT_U 111 1 1110 1 . ... ... ... 1 1111 0 1 . 0 ... 1 @2_shr_h 429d6f9e011SPeter Maydell 430d6f9e011SPeter MaydellVQRSHRUNB 111 1 1110 1 . ... ... ... 0 1111 1 1 . 0 ... 0 @2_shr_b 431d6f9e011SPeter MaydellVQRSHRUNB 111 1 1110 1 . ... ... ... 0 1111 1 1 . 0 ... 0 @2_shr_h 432d6f9e011SPeter MaydellVQRSHRUNT 111 1 1110 1 . ... ... ... 1 1111 1 1 . 0 ... 0 @2_shr_b 433d6f9e011SPeter MaydellVQRSHRUNT 111 1 1110 1 . ... ... ... 1 1111 1 1 . 0 ... 0 @2_shr_h 4342e6a4ce0SPeter Maydell 4352e6a4ce0SPeter MaydellVSHLC 111 0 1110 1 . 1 imm:5 ... 0 1111 1100 rdm:4 qd=%qd 436