5724e131ca
Implement the following PowerISA v3.1 instructions: xvbf16ger2: VSX Vector bfloat16 GER (rank-2 update) xvbf16ger2nn: VSX Vector bfloat16 GER (rank-2 update) Negative multiply, Negative accumulate xvbf16ger2np: VSX Vector bfloat16 GER (rank-2 update) Negative multiply, Positive accumulate xvbf16ger2pn: VSX Vector bfloat16 GER (rank-2 update) Positive multiply, Negative accumulate xvbf16ger2pp: VSX Vector bfloat16 GER (rank-2 update) Positive multiply, Positive accumulate pmxvbf16ger2: Prefixed Masked VSX Vector bfloat16 GER (rank-2 update) pmxvbf16ger2nn: Prefixed Masked VSX Vector bfloat16 GER (rank-2 update) Negative multiply, Negative accumulate pmxvbf16ger2np: Prefixed Masked VSX Vector bfloat16 GER (rank-2 update) Negative multiply, Positive accumulate pmxvbf16ger2pn: Prefixed Masked VSX Vector bfloat16 GER (rank-2 update) Positive multiply, Negative accumulate pmxvbf16ger2pp: Prefixed Masked VSX Vector bfloat16 GER (rank-2 update) Positive multiply, Positive accumulate Signed-off-by: Lucas Mateus Castro (alqotel) <lucas.araujo@eldorado.org.br> Reviewed-by: Richard Henderson <richard.henderson@linaro.org> Message-Id: <20220524140537.27451-8-lucas.araujo@eldorado.org.br> Signed-off-by: Daniel Henrique Barboza <danielhb413@gmail.com>
308 lines
14 KiB
Plaintext
308 lines
14 KiB
Plaintext
#
|
|
# Power ISA decode for 64-bit prefixed insns (opcode space 0 and 1)
|
|
#
|
|
# Copyright (c) 2021 Instituto de Pesquisas Eldorado (eldorado.org.br)
|
|
#
|
|
# This library is free software; you can redistribute it and/or
|
|
# modify it under the terms of the GNU Lesser General Public
|
|
# License as published by the Free Software Foundation; either
|
|
# version 2.1 of the License, or (at your option) any later version.
|
|
#
|
|
# This library is distributed in the hope that it will be useful,
|
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
# Lesser General Public License for more details.
|
|
#
|
|
# You should have received a copy of the GNU Lesser General Public
|
|
# License along with this library; if not, see <http://www.gnu.org/licenses/>.
|
|
#
|
|
|
|
# Format MLS:D and 8LS:D
|
|
&PLS_D rt ra si:int64_t r:bool
|
|
%pls_si 32:s18 0:16
|
|
@PLS_D ...... .. ... r:1 .. .................. \
|
|
...... rt:5 ra:5 ................ \
|
|
&PLS_D si=%pls_si
|
|
@8LS_D_TSX ...... .. . .. r:1 .. .................. \
|
|
..... rt:6 ra:5 ................ \
|
|
&PLS_D si=%pls_si
|
|
|
|
%rt_tsxp 21:1 22:4 !function=times_2
|
|
@8LS_D_TSXP ...... .. . .. r:1 .. .................. \
|
|
...... ..... ra:5 ................ \
|
|
&PLS_D si=%pls_si rt=%rt_tsxp
|
|
|
|
@8LS_D ...... .. . .. r:1 .. .................. \
|
|
...... rt:5 ra:5 ................ \
|
|
&PLS_D si=%pls_si
|
|
|
|
# Format 8RR:D
|
|
%8rr_si 32:s16 0:16
|
|
%8rr_xt 16:1 21:5
|
|
&8RR_D_IX xt ix si
|
|
@8RR_D_IX ...... .. .... .. .. ................ \
|
|
...... ..... ... ix:1 . ................ \
|
|
&8RR_D_IX si=%8rr_si xt=%8rr_xt
|
|
&8RR_D xt si:int32_t
|
|
@8RR_D ...... .. .... .. .. ................ \
|
|
...... ..... .... . ................ \
|
|
&8RR_D si=%8rr_si xt=%8rr_xt
|
|
|
|
# Format 8RR:XX4
|
|
%8rr_xx_xt 0:1 21:5
|
|
%8rr_xx_xa 2:1 16:5
|
|
%8rr_xx_xb 1:1 11:5
|
|
%8rr_xx_xc 3:1 6:5
|
|
&8RR_XX4 xt xa xb xc
|
|
@8RR_XX4 ........ ........ ........ ........ \
|
|
...... ..... ..... ..... ..... .. .... \
|
|
&8RR_XX4 xt=%8rr_xx_xt xa=%8rr_xx_xa xb=%8rr_xx_xb xc=%8rr_xx_xc
|
|
|
|
&8RR_XX4_imm xt xa xb xc imm
|
|
@8RR_XX4_imm ........ ........ ........ imm:8 \
|
|
...... ..... ..... ..... ..... .. .... \
|
|
&8RR_XX4_imm xt=%8rr_xx_xt xa=%8rr_xx_xa xb=%8rr_xx_xb xc=%8rr_xx_xc
|
|
|
|
&8RR_XX4_uim3 xt xa xb xc uim3
|
|
@8RR_XX4_uim3 ...... .. .... .. ............... uim3:3 \
|
|
...... ..... ..... ..... ..... .. .... \
|
|
&8RR_XX4_uim3 xt=%8rr_xx_xt xa=%8rr_xx_xa xb=%8rr_xx_xb xc=%8rr_xx_xc
|
|
|
|
# Format MMIRR:XX3
|
|
&MMIRR_XX3 !extern xa xb xt pmsk xmsk ymsk
|
|
%xx3_xa 2:1 16:5
|
|
%xx3_xb 1:1 11:5
|
|
%xx3_at 23:3
|
|
%xx3_xa_pair 2:1 17:4 !function=times_2
|
|
@MMIRR_XX3 ...... .. .... .. . . ........ xmsk:4 ymsk:4 \
|
|
...... ... .. ..... ..... ........ ... \
|
|
&MMIRR_XX3 xa=%xx3_xa xb=%xx3_xb xt=%xx3_at
|
|
|
|
@MMIRR_XX3_NO_P ...... .. .... .. . . ........ xmsk:4 .... \
|
|
...... ... .. ..... ..... ........ ... \
|
|
&MMIRR_XX3 xb=%xx3_xb xt=%xx3_at pmsk=1
|
|
|
|
### Fixed-Point Load Instructions
|
|
|
|
PLBZ 000001 10 0--.-- .................. \
|
|
100010 ..... ..... ................ @PLS_D
|
|
PLHZ 000001 10 0--.-- .................. \
|
|
101000 ..... ..... ................ @PLS_D
|
|
PLHA 000001 10 0--.-- .................. \
|
|
101010 ..... ..... ................ @PLS_D
|
|
PLWZ 000001 10 0--.-- .................. \
|
|
100000 ..... ..... ................ @PLS_D
|
|
PLWA 000001 00 0--.-- .................. \
|
|
101001 ..... ..... ................ @PLS_D
|
|
PLD 000001 00 0--.-- .................. \
|
|
111001 ..... ..... ................ @PLS_D
|
|
PLQ 000001 00 0--.-- .................. \
|
|
111000 ..... ..... ................ @PLS_D
|
|
|
|
### Fixed-Point Store Instructions
|
|
|
|
PSTW 000001 10 0--.-- .................. \
|
|
100100 ..... ..... ................ @PLS_D
|
|
PSTB 000001 10 0--.-- .................. \
|
|
100110 ..... ..... ................ @PLS_D
|
|
PSTH 000001 10 0--.-- .................. \
|
|
101100 ..... ..... ................ @PLS_D
|
|
|
|
PSTD 000001 00 0--.-- .................. \
|
|
111101 ..... ..... ................ @PLS_D
|
|
PSTQ 000001 00 0--.-- .................. \
|
|
111100 ..... ..... ................ @PLS_D
|
|
|
|
### Fixed-Point Arithmetic Instructions
|
|
|
|
PADDI 000001 10 0--.-- .................. \
|
|
001110 ..... ..... ................ @PLS_D
|
|
|
|
### Float-Point Load and Store Instructions
|
|
|
|
PLFS 000001 10 0--.-- .................. \
|
|
110000 ..... ..... ................ @PLS_D
|
|
PLFD 000001 10 0--.-- .................. \
|
|
110010 ..... ..... ................ @PLS_D
|
|
PSTFS 000001 10 0--.-- .................. \
|
|
110100 ..... ..... ................ @PLS_D
|
|
PSTFD 000001 10 0--.-- .................. \
|
|
110110 ..... ..... ................ @PLS_D
|
|
|
|
## VSX GER instruction
|
|
|
|
PMXVI4GER8 000001 11 1001 -- - - pmsk:8 ........ \
|
|
111011 ... -- ..... ..... 00100011 ..- @MMIRR_XX3
|
|
PMXVI4GER8PP 000001 11 1001 -- - - pmsk:8 ........ \
|
|
111011 ... -- ..... ..... 00100010 ..- @MMIRR_XX3
|
|
PMXVI8GER4 000001 11 1001 -- - - pmsk:4 ---- ........ \
|
|
111011 ... -- ..... ..... 00000011 ..- @MMIRR_XX3
|
|
PMXVI8GER4PP 000001 11 1001 -- - - pmsk:4 ---- ........ \
|
|
111011 ... -- ..... ..... 00000010 ..- @MMIRR_XX3
|
|
PMXVI16GER2 000001 11 1001 -- - - pmsk:2 ------ ........ \
|
|
111011 ... -- ..... ..... 01001011 ..- @MMIRR_XX3
|
|
PMXVI16GER2PP 000001 11 1001 -- - - pmsk:2 ------ ........ \
|
|
111011 ... -- ..... ..... 01101011 ..- @MMIRR_XX3
|
|
PMXVI8GER4SPP 000001 11 1001 -- - - pmsk:4 ---- ........ \
|
|
111011 ... -- ..... ..... 01100011 ..- @MMIRR_XX3
|
|
PMXVI16GER2S 000001 11 1001 -- - - pmsk:2 ------ ........ \
|
|
111011 ... -- ..... ..... 00101011 ..- @MMIRR_XX3
|
|
PMXVI16GER2SPP 000001 11 1001 -- - - pmsk:2 ------ ........ \
|
|
111011 ... -- ..... ..... 00101010 ..- @MMIRR_XX3
|
|
|
|
PMXVBF16GER2 000001 11 1001 -- - - pmsk:2 ------ ........ \
|
|
111011 ... -- ..... ..... 00110011 ..- @MMIRR_XX3
|
|
PMXVBF16GER2PP 000001 11 1001 -- - - pmsk:2 ------ ........ \
|
|
111011 ... -- ..... ..... 00110010 ..- @MMIRR_XX3
|
|
PMXVBF16GER2PN 000001 11 1001 -- - - pmsk:2 ------ ........ \
|
|
111011 ... -- ..... ..... 10110010 ..- @MMIRR_XX3
|
|
PMXVBF16GER2NP 000001 11 1001 -- - - pmsk:2 ------ ........ \
|
|
111011 ... -- ..... ..... 01110010 ..- @MMIRR_XX3
|
|
PMXVBF16GER2NN 000001 11 1001 -- - - pmsk:2 ------ ........ \
|
|
111011 ... -- ..... ..... 11110010 ..- @MMIRR_XX3
|
|
|
|
PMXVF16GER2 000001 11 1001 -- - - pmsk:2 ------ ........ \
|
|
111011 ... -- ..... ..... 00010011 ..- @MMIRR_XX3
|
|
PMXVF16GER2PP 000001 11 1001 -- - - pmsk:2 ------ ........ \
|
|
111011 ... -- ..... ..... 00010010 ..- @MMIRR_XX3
|
|
PMXVF16GER2PN 000001 11 1001 -- - - pmsk:2 ------ ........ \
|
|
111011 ... -- ..... ..... 10010010 ..- @MMIRR_XX3
|
|
PMXVF16GER2NP 000001 11 1001 -- - - pmsk:2 ------ ........ \
|
|
111011 ... -- ..... ..... 01010010 ..- @MMIRR_XX3
|
|
PMXVF16GER2NN 000001 11 1001 -- - - pmsk:2 ------ ........ \
|
|
111011 ... -- ..... ..... 11010010 ..- @MMIRR_XX3
|
|
|
|
PMXVF32GER 000001 11 1001 -- - - -------- .... ymsk:4 \
|
|
111011 ... -- ..... ..... 00011011 ..- @MMIRR_XX3_NO_P xa=%xx3_xa
|
|
PMXVF32GERPP 000001 11 1001 -- - - -------- .... ymsk:4 \
|
|
111011 ... -- ..... ..... 00011010 ..- @MMIRR_XX3_NO_P xa=%xx3_xa
|
|
PMXVF32GERPN 000001 11 1001 -- - - -------- .... ymsk:4 \
|
|
111011 ... -- ..... ..... 10011010 ..- @MMIRR_XX3_NO_P xa=%xx3_xa
|
|
PMXVF32GERNP 000001 11 1001 -- - - -------- .... ymsk:4 \
|
|
111011 ... -- ..... ..... 01011010 ..- @MMIRR_XX3_NO_P xa=%xx3_xa
|
|
PMXVF32GERNN 000001 11 1001 -- - - -------- .... ymsk:4 \
|
|
111011 ... -- ..... ..... 11011010 ..- @MMIRR_XX3_NO_P xa=%xx3_xa
|
|
|
|
PMXVF64GER 000001 11 1001 -- - - -------- .... ymsk:2 -- \
|
|
111011 ... -- ....0 ..... 00111011 ..- @MMIRR_XX3_NO_P xa=%xx3_xa_pair
|
|
PMXVF64GERPP 000001 11 1001 -- - - -------- .... ymsk:2 -- \
|
|
111011 ... -- ....0 ..... 00111010 ..- @MMIRR_XX3_NO_P xa=%xx3_xa_pair
|
|
PMXVF64GERPN 000001 11 1001 -- - - -------- .... ymsk:2 -- \
|
|
111011 ... -- ....0 ..... 10111010 ..- @MMIRR_XX3_NO_P xa=%xx3_xa_pair
|
|
PMXVF64GERNP 000001 11 1001 -- - - -------- .... ymsk:2 -- \
|
|
111011 ... -- ....0 ..... 01111010 ..- @MMIRR_XX3_NO_P xa=%xx3_xa_pair
|
|
PMXVF64GERNN 000001 11 1001 -- - - -------- .... ymsk:2 -- \
|
|
111011 ... -- ....0 ..... 11111010 ..- @MMIRR_XX3_NO_P xa=%xx3_xa_pair
|
|
|
|
### Prefixed No-operation Instruction
|
|
|
|
@PNOP 000001 11 0000-- 000000000000000000 \
|
|
................................
|
|
|
|
{
|
|
[
|
|
## Invalid suffixes: Branch instruction
|
|
# bc[l][a]
|
|
INVALID ................................ \
|
|
010000-------------------------- @PNOP
|
|
# b[l][a]
|
|
INVALID ................................ \
|
|
010010-------------------------- @PNOP
|
|
# bclr[l]
|
|
INVALID ................................ \
|
|
010011---------------0000010000- @PNOP
|
|
# bcctr[l]
|
|
INVALID ................................ \
|
|
010011---------------1000010000- @PNOP
|
|
# bctar[l]
|
|
INVALID ................................ \
|
|
010011---------------1000110000- @PNOP
|
|
|
|
## Invalid suffixes: rfebb
|
|
INVALID ................................ \
|
|
010011---------------0010010010- @PNOP
|
|
|
|
## Invalid suffixes: context synchronizing other than isync
|
|
# sc
|
|
INVALID ................................ \
|
|
010001------------------------1- @PNOP
|
|
# scv
|
|
INVALID ................................ \
|
|
010001------------------------01 @PNOP
|
|
# rfscv
|
|
INVALID ................................ \
|
|
010011---------------0001010010- @PNOP
|
|
# rfid
|
|
INVALID ................................ \
|
|
010011---------------0000010010- @PNOP
|
|
# hrfid
|
|
INVALID ................................ \
|
|
010011---------------0100010010- @PNOP
|
|
# urfid
|
|
INVALID ................................ \
|
|
010011---------------0100110010- @PNOP
|
|
# stop
|
|
INVALID ................................ \
|
|
010011---------------0101110010- @PNOP
|
|
# mtmsr w/ L=0
|
|
INVALID ................................ \
|
|
011111---------0-----0010010010- @PNOP
|
|
# mtmsrd w/ L=0
|
|
INVALID ................................ \
|
|
011111---------0-----0010110010- @PNOP
|
|
|
|
## Invalid suffixes: Service Processor Attention
|
|
INVALID ................................ \
|
|
000000----------------100000000- @PNOP
|
|
]
|
|
|
|
## Valid suffixes
|
|
PNOP ................................ \
|
|
-------------------------------- @PNOP
|
|
}
|
|
|
|
### VSX instructions
|
|
|
|
PLXSD 000001 00 0--.-- .................. \
|
|
101010 ..... ..... ................ @8LS_D
|
|
|
|
PSTXSD 000001 00 0--.-- .................. \
|
|
101110 ..... ..... ................ @8LS_D
|
|
|
|
PLXSSP 000001 00 0--.-- .................. \
|
|
101011 ..... ..... ................ @8LS_D
|
|
|
|
PSTXSSP 000001 00 0--.-- .................. \
|
|
101111 ..... ..... ................ @8LS_D
|
|
|
|
PLXV 000001 00 0--.-- .................. \
|
|
11001 ...... ..... ................ @8LS_D_TSX
|
|
PSTXV 000001 00 0--.-- .................. \
|
|
11011 ...... ..... ................ @8LS_D_TSX
|
|
PLXVP 000001 00 0--.-- .................. \
|
|
111010 ..... ..... ................ @8LS_D_TSXP
|
|
PSTXVP 000001 00 0--.-- .................. \
|
|
111110 ..... ..... ................ @8LS_D_TSXP
|
|
|
|
XXEVAL 000001 01 0000 -- ---------- ........ \
|
|
100010 ..... ..... ..... ..... 01 .... @8RR_XX4_imm
|
|
|
|
XXSPLTIDP 000001 01 0000 -- -- ................ \
|
|
100000 ..... 0010 . ................ @8RR_D
|
|
XXSPLTIW 000001 01 0000 -- -- ................ \
|
|
100000 ..... 0011 . ................ @8RR_D
|
|
XXSPLTI32DX 000001 01 0000 -- -- ................ \
|
|
100000 ..... 000 .. ................ @8RR_D_IX
|
|
|
|
XXBLENDVD 000001 01 0000 -- ------------------ \
|
|
100001 ..... ..... ..... ..... 11 .... @8RR_XX4
|
|
XXBLENDVW 000001 01 0000 -- ------------------ \
|
|
100001 ..... ..... ..... ..... 10 .... @8RR_XX4
|
|
XXBLENDVH 000001 01 0000 -- ------------------ \
|
|
100001 ..... ..... ..... ..... 01 .... @8RR_XX4
|
|
XXBLENDVB 000001 01 0000 -- ------------------ \
|
|
100001 ..... ..... ..... ..... 00 .... @8RR_XX4
|
|
|
|
XXPERMX 000001 01 0000 -- --------------- ... \
|
|
100010 ..... ..... ..... ..... 00 .... @8RR_XX4_uim3
|