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 29*e51896b3SPeter Maydell&2scalar qd qn rm size 30507b6a50SPeter Maydell 312fc6b751SPeter Maydell@vldr_vstr ....... . . . . l:1 rn:4 ... ...... imm:7 &vldr_vstr qd=%qd u=0 322fc6b751SPeter Maydell# Note that both Rn and Qd are 3 bits only (no D bit) 332fc6b751SPeter Maydell@vldst_wn ... u:1 ... . . . . l:1 . rn:3 qd:3 . ... .. imm:7 &vldr_vstr 34507b6a50SPeter Maydell 350f0f2bd5SPeter Maydell@1op .... .... .... size:2 .. .... .... .... .... &1op qd=%qd qm=%qm 368abd3c80SPeter Maydell@1op_nosz .... .... .... .... .... .... .... .... &1op qd=%qd qm=%qm size=0 379333fe4dSPeter Maydell@2op .... .... .. size:2 .... .... .... .... .... &2op qd=%qd qm=%qm qn=%qn 3868245e44SPeter Maydell@2op_nosz .... .... .... .... .... .... .... .... &2op qd=%qd qm=%qm qn=%qn size=0 390f0f2bd5SPeter Maydell 40*e51896b3SPeter Maydell@2scalar .... .... .. size:2 .... .... .... .... rm:4 &2scalar qd=%qd qn=%qn 41*e51896b3SPeter Maydell 42507b6a50SPeter Maydell# Vector loads and stores 43507b6a50SPeter Maydell 442fc6b751SPeter Maydell# Widening loads and narrowing stores: 452fc6b751SPeter Maydell# for these P=0 W=0 is 'related encoding'; sz=11 is 'related encoding' 462fc6b751SPeter Maydell# This means we need to expand out to multiple patterns for P, W, SZ. 472fc6b751SPeter Maydell# For stores the U bit must be 0 but we catch that in the trans_ function. 482fc6b751SPeter Maydell# The naming scheme here is "VLDSTB_H == in-memory byte load/store to/from 492fc6b751SPeter Maydell# signed halfword element in register", etc. 502fc6b751SPeter MaydellVLDSTB_H 111 . 110 0 a:1 0 1 . 0 ... ... 0 111 01 ....... @vldst_wn \ 512fc6b751SPeter Maydell p=0 w=1 size=1 522fc6b751SPeter MaydellVLDSTB_H 111 . 110 1 a:1 0 w:1 . 0 ... ... 0 111 01 ....... @vldst_wn \ 532fc6b751SPeter Maydell p=1 size=1 542fc6b751SPeter MaydellVLDSTB_W 111 . 110 0 a:1 0 1 . 0 ... ... 0 111 10 ....... @vldst_wn \ 552fc6b751SPeter Maydell p=0 w=1 size=2 562fc6b751SPeter MaydellVLDSTB_W 111 . 110 1 a:1 0 w:1 . 0 ... ... 0 111 10 ....... @vldst_wn \ 572fc6b751SPeter Maydell p=1 size=2 582fc6b751SPeter MaydellVLDSTH_W 111 . 110 0 a:1 0 1 . 1 ... ... 0 111 10 ....... @vldst_wn \ 592fc6b751SPeter Maydell p=0 w=1 size=2 602fc6b751SPeter MaydellVLDSTH_W 111 . 110 1 a:1 0 w:1 . 1 ... ... 0 111 10 ....... @vldst_wn \ 612fc6b751SPeter Maydell p=1 size=2 622fc6b751SPeter Maydell 63507b6a50SPeter Maydell# Non-widening loads/stores (P=0 W=0 is 'related encoding') 64507b6a50SPeter MaydellVLDR_VSTR 1110110 0 a:1 . 1 . .... ... 111100 ....... @vldr_vstr \ 65507b6a50SPeter Maydell size=0 p=0 w=1 66507b6a50SPeter MaydellVLDR_VSTR 1110110 0 a:1 . 1 . .... ... 111101 ....... @vldr_vstr \ 67507b6a50SPeter Maydell size=1 p=0 w=1 68507b6a50SPeter MaydellVLDR_VSTR 1110110 0 a:1 . 1 . .... ... 111110 ....... @vldr_vstr \ 69507b6a50SPeter Maydell size=2 p=0 w=1 70507b6a50SPeter MaydellVLDR_VSTR 1110110 1 a:1 . w:1 . .... ... 111100 ....... @vldr_vstr \ 71507b6a50SPeter Maydell size=0 p=1 72507b6a50SPeter MaydellVLDR_VSTR 1110110 1 a:1 . w:1 . .... ... 111101 ....... @vldr_vstr \ 73507b6a50SPeter Maydell size=1 p=1 74507b6a50SPeter MaydellVLDR_VSTR 1110110 1 a:1 . w:1 . .... ... 111110 ....... @vldr_vstr \ 75507b6a50SPeter Maydell size=2 p=1 760f0f2bd5SPeter Maydell 7768245e44SPeter Maydell# Vector 2-op 7868245e44SPeter MaydellVAND 1110 1111 0 . 00 ... 0 ... 0 0001 . 1 . 1 ... 0 @2op_nosz 7968245e44SPeter MaydellVBIC 1110 1111 0 . 01 ... 0 ... 0 0001 . 1 . 1 ... 0 @2op_nosz 8068245e44SPeter MaydellVORR 1110 1111 0 . 10 ... 0 ... 0 0001 . 1 . 1 ... 0 @2op_nosz 8168245e44SPeter MaydellVORN 1110 1111 0 . 11 ... 0 ... 0 0001 . 1 . 1 ... 0 @2op_nosz 8268245e44SPeter MaydellVEOR 1111 1111 0 . 00 ... 0 ... 0 0001 . 1 . 1 ... 0 @2op_nosz 8368245e44SPeter Maydell 849333fe4dSPeter MaydellVADD 1110 1111 0 . .. ... 0 ... 0 1000 . 1 . 0 ... 0 @2op 859333fe4dSPeter MaydellVSUB 1111 1111 0 . .. ... 0 ... 0 1000 . 1 . 0 ... 0 @2op 869333fe4dSPeter MaydellVMUL 1110 1111 0 . .. ... 0 ... 0 1001 . 1 . 1 ... 0 @2op 879333fe4dSPeter Maydell 88ba62cc56SPeter MaydellVMULH_S 111 0 1110 0 . .. ...1 ... 0 1110 . 0 . 0 ... 1 @2op 89ba62cc56SPeter MaydellVMULH_U 111 1 1110 0 . .. ...1 ... 0 1110 . 0 . 0 ... 1 @2op 90ba62cc56SPeter Maydell 91fca87b78SPeter MaydellVRMULH_S 111 0 1110 0 . .. ...1 ... 1 1110 . 0 . 0 ... 1 @2op 92fca87b78SPeter MaydellVRMULH_U 111 1 1110 0 . .. ...1 ... 1 1110 . 0 . 0 ... 1 @2op 93fca87b78SPeter Maydell 94cd367ff3SPeter MaydellVMAX_S 111 0 1111 0 . .. ... 0 ... 0 0110 . 1 . 0 ... 0 @2op 95cd367ff3SPeter MaydellVMAX_U 111 1 1111 0 . .. ... 0 ... 0 0110 . 1 . 0 ... 0 @2op 96cd367ff3SPeter MaydellVMIN_S 111 0 1111 0 . .. ... 0 ... 0 0110 . 1 . 1 ... 0 @2op 97cd367ff3SPeter MaydellVMIN_U 111 1 1111 0 . .. ... 0 ... 0 0110 . 1 . 1 ... 0 @2op 98cd367ff3SPeter Maydell 99bc67aa8dSPeter MaydellVABD_S 111 0 1111 0 . .. ... 0 ... 0 0111 . 1 . 0 ... 0 @2op 100bc67aa8dSPeter MaydellVABD_U 111 1 1111 0 . .. ... 0 ... 0 0111 . 1 . 0 ... 0 @2op 101bc67aa8dSPeter Maydell 102abc48e31SPeter MaydellVHADD_S 111 0 1111 0 . .. ... 0 ... 0 0000 . 1 . 0 ... 0 @2op 103abc48e31SPeter MaydellVHADD_U 111 1 1111 0 . .. ... 0 ... 0 0000 . 1 . 0 ... 0 @2op 104abc48e31SPeter MaydellVHSUB_S 111 0 1111 0 . .. ... 0 ... 0 0010 . 1 . 0 ... 0 @2op 105abc48e31SPeter MaydellVHSUB_U 111 1 1111 0 . .. ... 0 ... 0 0010 . 1 . 0 ... 0 @2op 106abc48e31SPeter Maydell 107ac6ad1dcSPeter MaydellVMULL_BS 111 0 1110 0 . .. ... 1 ... 0 1110 . 0 . 0 ... 0 @2op 108ac6ad1dcSPeter MaydellVMULL_BU 111 1 1110 0 . .. ... 1 ... 0 1110 . 0 . 0 ... 0 @2op 109ac6ad1dcSPeter MaydellVMULL_TS 111 0 1110 0 . .. ... 1 ... 1 1110 . 0 . 0 ... 0 @2op 110ac6ad1dcSPeter MaydellVMULL_TU 111 1 1110 0 . .. ... 1 ... 1 1110 . 0 . 0 ... 0 @2op 111ac6ad1dcSPeter Maydell 1120f0f2bd5SPeter Maydell# Vector miscellaneous 1130f0f2bd5SPeter Maydell 1146437f1f7SPeter MaydellVCLS 1111 1111 1 . 11 .. 00 ... 0 0100 01 . 0 ... 0 @1op 1150f0f2bd5SPeter MaydellVCLZ 1111 1111 1 . 11 .. 00 ... 0 0100 11 . 0 ... 0 @1op 116249b5309SPeter Maydell 117249b5309SPeter MaydellVREV16 1111 1111 1 . 11 .. 00 ... 0 0001 01 . 0 ... 0 @1op 118249b5309SPeter MaydellVREV32 1111 1111 1 . 11 .. 00 ... 0 0000 11 . 0 ... 0 @1op 119249b5309SPeter MaydellVREV64 1111 1111 1 . 11 .. 00 ... 0 0000 01 . 0 ... 0 @1op 1208abd3c80SPeter Maydell 1218abd3c80SPeter MaydellVMVN 1111 1111 1 . 11 00 00 ... 0 0101 11 . 0 ... 0 @1op_nosz 12259c91773SPeter Maydell 12359c91773SPeter MaydellVABS 1111 1111 1 . 11 .. 01 ... 0 0011 01 . 0 ... 0 @1op 12459c91773SPeter MaydellVABS_fp 1111 1111 1 . 11 .. 01 ... 0 0111 01 . 0 ... 0 @1op 125399a8c76SPeter MaydellVNEG 1111 1111 1 . 11 .. 01 ... 0 0011 11 . 0 ... 0 @1op 126399a8c76SPeter MaydellVNEG_fp 1111 1111 1 . 11 .. 01 ... 0 0111 11 . 0 ... 0 @1op 127ab59362fSPeter Maydell 128ab59362fSPeter Maydell&vdup qd rt size 129ab59362fSPeter Maydell# Qd is in the fields usually named Qn 130ab59362fSPeter Maydell@vdup .... .... . . .. ... . rt:4 .... . . . . .... qd=%qn &vdup 131ab59362fSPeter Maydell 132ab59362fSPeter Maydell# B and E bits encode size, which we decode here to the usual size values 133ab59362fSPeter MaydellVDUP 1110 1110 1 1 10 ... 0 .... 1011 . 0 0 1 0000 @vdup size=0 134ab59362fSPeter MaydellVDUP 1110 1110 1 0 10 ... 0 .... 1011 . 0 1 1 0000 @vdup size=1 135ab59362fSPeter MaydellVDUP 1110 1110 1 0 10 ... 0 .... 1011 . 0 0 1 0000 @vdup size=2 1361d2386f7SPeter Maydell 1371d2386f7SPeter Maydell# multiply-add long dual accumulate 1381d2386f7SPeter Maydell# rdahi: bits [3:1] from insn, bit 0 is 1 1391d2386f7SPeter Maydell# rdalo: bits [3:1] from insn, bit 0 is 0 1401d2386f7SPeter Maydell%rdahi 20:3 !function=times_2_plus_1 1411d2386f7SPeter Maydell%rdalo 13:3 !function=times_2 1421d2386f7SPeter Maydell# size bit is 0 for 16 bit, 1 for 32 bit 1431d2386f7SPeter Maydell%size_16 16:1 !function=plus_1 1441d2386f7SPeter Maydell 1451d2386f7SPeter Maydell&vmlaldav rdahi rdalo size qn qm x a 1461d2386f7SPeter Maydell 1471d2386f7SPeter Maydell@vmlaldav .... .... . ... ... . ... . .... .... qm:3 . \ 1481d2386f7SPeter Maydell qn=%qn rdahi=%rdahi rdalo=%rdalo size=%size_16 &vmlaldav 14938548747SPeter Maydell@vmlaldav_nosz .... .... . ... ... . ... . .... .... qm:3 . \ 15038548747SPeter Maydell qn=%qn rdahi=%rdahi rdalo=%rdalo size=0 &vmlaldav 1511d2386f7SPeter MaydellVMLALDAV_S 1110 1110 1 ... ... . ... x:1 1110 . 0 a:1 0 ... 0 @vmlaldav 1521d2386f7SPeter MaydellVMLALDAV_U 1111 1110 1 ... ... . ... x:1 1110 . 0 a:1 0 ... 0 @vmlaldav 153181cd971SPeter Maydell 154181cd971SPeter MaydellVMLSLDAV 1110 1110 1 ... ... . ... x:1 1110 . 0 a:1 0 ... 1 @vmlaldav 15538548747SPeter Maydell 15638548747SPeter MaydellVRMLALDAVH_S 1110 1110 1 ... ... 0 ... x:1 1111 . 0 a:1 0 ... 0 @vmlaldav_nosz 15738548747SPeter MaydellVRMLALDAVH_U 1111 1110 1 ... ... 0 ... x:1 1111 . 0 a:1 0 ... 0 @vmlaldav_nosz 15838548747SPeter Maydell 15938548747SPeter MaydellVRMLSLDAVH 1111 1110 1 ... ... 0 ... x:1 1110 . 0 a:1 0 ... 1 @vmlaldav_nosz 160*e51896b3SPeter Maydell 161*e51896b3SPeter Maydell# Scalar operations 162*e51896b3SPeter Maydell 163*e51896b3SPeter MaydellVADD_scalar 1110 1110 0 . .. ... 1 ... 0 1111 . 100 .... @2scalar 164