#
# 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