xref: /qemu/target/arm/tcg/mve.decode (revision 9333fe4dd39709ce9898750d517568e5c2fb2e32)
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
262fc6b751SPeter Maydell&vldr_vstr rn qd imm p a w size l u
270f0f2bd5SPeter Maydell&1op qd qm size
2868245e44SPeter Maydell&2op qd qm qn size
29507b6a50SPeter Maydell
302fc6b751SPeter Maydell@vldr_vstr ....... . . . . l:1 rn:4 ... ...... imm:7 &vldr_vstr qd=%qd u=0
312fc6b751SPeter Maydell# Note that both Rn and Qd are 3 bits only (no D bit)
322fc6b751SPeter Maydell@vldst_wn ... u:1 ... . . . . l:1 . rn:3 qd:3 . ... .. imm:7 &vldr_vstr
33507b6a50SPeter Maydell
340f0f2bd5SPeter Maydell@1op .... .... .... size:2 .. .... .... .... .... &1op qd=%qd qm=%qm
358abd3c80SPeter Maydell@1op_nosz .... .... .... .... .... .... .... .... &1op qd=%qd qm=%qm size=0
36*9333fe4dSPeter Maydell@2op .... .... .. size:2 .... .... .... .... .... &2op qd=%qd qm=%qm qn=%qn
3768245e44SPeter Maydell@2op_nosz .... .... .... .... .... .... .... .... &2op qd=%qd qm=%qm qn=%qn size=0
380f0f2bd5SPeter Maydell
39507b6a50SPeter Maydell# Vector loads and stores
40507b6a50SPeter Maydell
412fc6b751SPeter Maydell# Widening loads and narrowing stores:
422fc6b751SPeter Maydell# for these P=0 W=0 is 'related encoding'; sz=11 is 'related encoding'
432fc6b751SPeter Maydell# This means we need to expand out to multiple patterns for P, W, SZ.
442fc6b751SPeter Maydell# For stores the U bit must be 0 but we catch that in the trans_ function.
452fc6b751SPeter Maydell# The naming scheme here is "VLDSTB_H == in-memory byte load/store to/from
462fc6b751SPeter Maydell# signed halfword element in register", etc.
472fc6b751SPeter MaydellVLDSTB_H         111 . 110 0 a:1 0 1   . 0 ... ... 0 111 01 ....... @vldst_wn \
482fc6b751SPeter Maydell                 p=0 w=1 size=1
492fc6b751SPeter MaydellVLDSTB_H         111 . 110 1 a:1 0 w:1 . 0 ... ... 0 111 01 ....... @vldst_wn \
502fc6b751SPeter Maydell                 p=1 size=1
512fc6b751SPeter MaydellVLDSTB_W         111 . 110 0 a:1 0 1   . 0 ... ... 0 111 10 ....... @vldst_wn \
522fc6b751SPeter Maydell                 p=0 w=1 size=2
532fc6b751SPeter MaydellVLDSTB_W         111 . 110 1 a:1 0 w:1 . 0 ... ... 0 111 10 ....... @vldst_wn \
542fc6b751SPeter Maydell                 p=1 size=2
552fc6b751SPeter MaydellVLDSTH_W         111 . 110 0 a:1 0 1   . 1 ... ... 0 111 10 ....... @vldst_wn \
562fc6b751SPeter Maydell                 p=0 w=1 size=2
572fc6b751SPeter MaydellVLDSTH_W         111 . 110 1 a:1 0 w:1 . 1 ... ... 0 111 10 ....... @vldst_wn \
582fc6b751SPeter Maydell                 p=1 size=2
592fc6b751SPeter Maydell
60507b6a50SPeter Maydell# Non-widening loads/stores (P=0 W=0 is 'related encoding')
61507b6a50SPeter MaydellVLDR_VSTR        1110110 0 a:1 . 1   . .... ... 111100 .......   @vldr_vstr \
62507b6a50SPeter Maydell                 size=0 p=0 w=1
63507b6a50SPeter MaydellVLDR_VSTR        1110110 0 a:1 . 1   . .... ... 111101 .......   @vldr_vstr \
64507b6a50SPeter Maydell                 size=1 p=0 w=1
65507b6a50SPeter MaydellVLDR_VSTR        1110110 0 a:1 . 1   . .... ... 111110 .......   @vldr_vstr \
66507b6a50SPeter Maydell                 size=2 p=0 w=1
67507b6a50SPeter MaydellVLDR_VSTR        1110110 1 a:1 . w:1 . .... ... 111100 .......   @vldr_vstr \
68507b6a50SPeter Maydell                 size=0 p=1
69507b6a50SPeter MaydellVLDR_VSTR        1110110 1 a:1 . w:1 . .... ... 111101 .......   @vldr_vstr \
70507b6a50SPeter Maydell                 size=1 p=1
71507b6a50SPeter MaydellVLDR_VSTR        1110110 1 a:1 . w:1 . .... ... 111110 .......   @vldr_vstr \
72507b6a50SPeter Maydell                 size=2 p=1
730f0f2bd5SPeter Maydell
7468245e44SPeter Maydell# Vector 2-op
7568245e44SPeter MaydellVAND             1110 1111 0 . 00 ... 0 ... 0 0001 . 1 . 1 ... 0 @2op_nosz
7668245e44SPeter MaydellVBIC             1110 1111 0 . 01 ... 0 ... 0 0001 . 1 . 1 ... 0 @2op_nosz
7768245e44SPeter MaydellVORR             1110 1111 0 . 10 ... 0 ... 0 0001 . 1 . 1 ... 0 @2op_nosz
7868245e44SPeter MaydellVORN             1110 1111 0 . 11 ... 0 ... 0 0001 . 1 . 1 ... 0 @2op_nosz
7968245e44SPeter MaydellVEOR             1111 1111 0 . 00 ... 0 ... 0 0001 . 1 . 1 ... 0 @2op_nosz
8068245e44SPeter Maydell
81*9333fe4dSPeter MaydellVADD             1110 1111 0 . .. ... 0 ... 0 1000 . 1 . 0 ... 0 @2op
82*9333fe4dSPeter MaydellVSUB             1111 1111 0 . .. ... 0 ... 0 1000 . 1 . 0 ... 0 @2op
83*9333fe4dSPeter MaydellVMUL             1110 1111 0 . .. ... 0 ... 0 1001 . 1 . 1 ... 0 @2op
84*9333fe4dSPeter Maydell
850f0f2bd5SPeter Maydell# Vector miscellaneous
860f0f2bd5SPeter Maydell
876437f1f7SPeter MaydellVCLS             1111 1111 1 . 11 .. 00 ... 0 0100 01 . 0 ... 0 @1op
880f0f2bd5SPeter MaydellVCLZ             1111 1111 1 . 11 .. 00 ... 0 0100 11 . 0 ... 0 @1op
89249b5309SPeter Maydell
90249b5309SPeter MaydellVREV16           1111 1111 1 . 11 .. 00 ... 0 0001 01 . 0 ... 0 @1op
91249b5309SPeter MaydellVREV32           1111 1111 1 . 11 .. 00 ... 0 0000 11 . 0 ... 0 @1op
92249b5309SPeter MaydellVREV64           1111 1111 1 . 11 .. 00 ... 0 0000 01 . 0 ... 0 @1op
938abd3c80SPeter Maydell
948abd3c80SPeter MaydellVMVN             1111 1111 1 . 11 00 00 ... 0 0101 11 . 0 ... 0 @1op_nosz
9559c91773SPeter Maydell
9659c91773SPeter MaydellVABS             1111 1111 1 . 11 .. 01 ... 0 0011 01 . 0 ... 0 @1op
9759c91773SPeter MaydellVABS_fp          1111 1111 1 . 11 .. 01 ... 0 0111 01 . 0 ... 0 @1op
98399a8c76SPeter MaydellVNEG             1111 1111 1 . 11 .. 01 ... 0 0011 11 . 0 ... 0 @1op
99399a8c76SPeter MaydellVNEG_fp          1111 1111 1 . 11 .. 01 ... 0 0111 11 . 0 ... 0 @1op
100ab59362fSPeter Maydell
101ab59362fSPeter Maydell&vdup qd rt size
102ab59362fSPeter Maydell# Qd is in the fields usually named Qn
103ab59362fSPeter Maydell@vdup            .... .... . . .. ... . rt:4 .... . . . . .... qd=%qn &vdup
104ab59362fSPeter Maydell
105ab59362fSPeter Maydell# B and E bits encode size, which we decode here to the usual size values
106ab59362fSPeter MaydellVDUP             1110 1110 1 1 10 ... 0 .... 1011 . 0 0 1 0000 @vdup size=0
107ab59362fSPeter MaydellVDUP             1110 1110 1 0 10 ... 0 .... 1011 . 0 1 1 0000 @vdup size=1
108ab59362fSPeter MaydellVDUP             1110 1110 1 0 10 ... 0 .... 1011 . 0 0 1 0000 @vdup size=2
109