| /* decode.h -- Prototypes for AArch64 simulator decoder functions. |
| |
| Copyright (C) 2015-2021 Free Software Foundation, Inc. |
| |
| Contributed by Red Hat. |
| |
| This file is part of GDB. |
| |
| This program is free software; you can redistribute it and/or modify |
| it under the terms of the GNU General Public License as published by |
| the Free Software Foundation; either version 3 of the License, or |
| (at your option) any later version. |
| |
| This program 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 General Public License for more details. |
| |
| You should have received a copy of the GNU General Public License |
| along with this program. If not, see <http://www.gnu.org/licenses/>. */ |
| |
| #ifndef _DECODE_H |
| #define _DECODE_H |
| |
| #include <sys/types.h> |
| #include "cpustate.h" |
| |
| /* Codes used in conditional instructions |
| |
| These are passed to conditional operations to identify which |
| condition to test for. */ |
| |
| typedef enum CondCode |
| { |
| EQ = 0x0, /* meaning Z == 1 */ |
| NE = 0x1, /* meaning Z == 0 */ |
| HS = 0x2, /* meaning C == 1 */ |
| CS = HS, |
| LO = 0x3, /* meaning C == 0 */ |
| CC = LO, |
| MI = 0x4, /* meaning N == 1 */ |
| PL = 0x5, /* meaning N == 0 */ |
| VS = 0x6, /* meaning V == 1 */ |
| VC = 0x7, /* meaning V == 0 */ |
| HI = 0x8, /* meaning C == 1 && Z == 0 */ |
| LS = 0x9, /* meaning !(C == 1 && Z == 0) */ |
| GE = 0xa, /* meaning N == V */ |
| LT = 0xb, /* meaning N != V */ |
| GT = 0xc, /* meaning Z == 0 && N == V */ |
| LE = 0xd, /* meaning !(Z == 0 && N == V) */ |
| AL = 0xe, /* meaning ANY */ |
| NV = 0xf /* ditto */ |
| } CondCode; |
| |
| /* Certain addressing modes for load require pre or post writeback of |
| the computed address to a base register. */ |
| |
| typedef enum WriteBack |
| { |
| Post = 0, |
| Pre = 1, |
| NoWriteBack = -1 |
| } WriteBack; |
| |
| /* Certain addressing modes for load require an offset to |
| be optionally scaled so the decode needs to pass that |
| through to the execute routine. */ |
| |
| typedef enum Scaling |
| { |
| Unscaled = 0, |
| Scaled = 1, |
| NoScaling = -1 |
| } Scaling; |
| |
| /* When we do have to scale we do so by shifting using |
| log(bytes in data element - 1) as the shift count. |
| so we don't have to scale offsets when loading |
| bytes. */ |
| |
| typedef enum ScaleShift |
| { |
| ScaleShift16 = 1, |
| ScaleShift32 = 2, |
| ScaleShift64 = 3, |
| ScaleShift128 = 4 |
| } ScaleShift; |
| |
| /* One of the addressing modes for load requires a 32-bit register |
| value to be either zero- or sign-extended for these instructions |
| UXTW or SXTW should be passed. |
| |
| Arithmetic register data processing operations can optionally |
| extend a portion of the second register value for these |
| instructions the value supplied must identify the portion of the |
| register which is to be zero- or sign-exended. */ |
| |
| typedef enum Extension |
| { |
| UXTB = 0, |
| UXTH = 1, |
| UXTW = 2, |
| UXTX = 3, |
| SXTB = 4, |
| SXTH = 5, |
| SXTW = 6, |
| SXTX = 7, |
| NoExtension = -1 |
| } Extension; |
| |
| /* Arithmetic and logical register data processing operations |
| optionally perform a shift on the second register value. */ |
| |
| typedef enum Shift |
| { |
| LSL = 0, |
| LSR = 1, |
| ASR = 2, |
| ROR = 3 |
| } Shift; |
| |
| /* Bit twiddling helpers for instruction decode. */ |
| |
| /* 32 bit mask with bits [hi,...,lo] set. */ |
| static inline uint32_t |
| mask32 (int hi, int lo) |
| { |
| int nbits = (hi + 1) - lo; |
| return ((1 << nbits) - 1) << lo; |
| } |
| |
| /* 64 bit mask with bits [hi,...,lo] set. */ |
| static inline uint64_t |
| mask64 (int hi, int lo) |
| { |
| int nbits = (hi + 1) - lo; |
| return ((1L << nbits) - 1) << lo; |
| } |
| |
| /* Pick bits [hi,...,lo] from val. */ |
| static inline uint32_t |
| pick32 (uint32_t val, int hi, int lo) |
| { |
| return val & mask32 (hi, lo); |
| } |
| |
| /* Pick bits [hi,...,lo] from val. */ |
| static inline uint64_t |
| pick64 (uint64_t val, int hi, int lo) |
| { |
| return val & mask64 (hi, lo); |
| } |
| |
| /* Pick bits [hi,...,lo] from val and shift to [(hi-(newlo - lo)),newlo]. */ |
| static inline uint32_t |
| pickshift32 (uint32_t val, int hi, int lo, int newlo) |
| { |
| uint32_t bits = pick32 (val, hi, lo); |
| |
| if (lo < newlo) |
| return bits << (newlo - lo); |
| |
| return bits >> (lo - newlo); |
| } |
| |
| /* Mask [hi,lo] and shift down to start at bit 0. */ |
| static inline uint32_t |
| pickbits32 (uint32_t val, int hi, int lo) |
| { |
| return pick32 (val, hi, lo) >> lo; |
| } |
| |
| /* Mask [hi,lo] and shift down to start at bit 0. */ |
| static inline uint64_t |
| pickbits64 (uint64_t val, int hi, int lo) |
| { |
| return pick64 (val, hi, lo) >> lo; |
| } |
| |
| static inline uint32_t |
| uimm (uint32_t val, int hi, int lo) |
| { |
| return pickbits32 (val, hi, lo); |
| } |
| |
| static inline int32_t |
| simm32 (uint32_t val, int hi, int lo) |
| { |
| union |
| { |
| uint32_t u; |
| int32_t n; |
| } x; |
| |
| x.u = val << (31 - hi); |
| return x.n >> (31 - hi + lo); |
| } |
| |
| static inline int64_t |
| simm64 (uint64_t val, int hi, int lo) |
| { |
| union |
| { |
| uint64_t u; |
| int64_t n; |
| } x; |
| |
| x.u = val << (63 - hi); |
| return x.n >> (63 - hi + lo); |
| } |
| |
| /* Operation decode. |
| Bits [28,24] are the primary dispatch vector. */ |
| |
| static inline uint32_t |
| dispatchGroup (uint32_t val) |
| { |
| return pickshift32 (val, 28, 25, 0); |
| } |
| |
| /* The 16 possible values for bits [28,25] identified by tags which |
| map them to the 5 main instruction groups LDST, DPREG, ADVSIMD, |
| BREXSYS and DPIMM. |
| |
| An extra group PSEUDO is included in one of the unallocated ranges |
| for simulator-specific pseudo-instructions. */ |
| |
| enum DispatchGroup |
| { |
| GROUP_PSEUDO_0000, |
| GROUP_UNALLOC_0001, |
| GROUP_UNALLOC_0010, |
| GROUP_UNALLOC_0011, |
| GROUP_LDST_0100, |
| GROUP_DPREG_0101, |
| GROUP_LDST_0110, |
| GROUP_ADVSIMD_0111, |
| GROUP_DPIMM_1000, |
| GROUP_DPIMM_1001, |
| GROUP_BREXSYS_1010, |
| GROUP_BREXSYS_1011, |
| GROUP_LDST_1100, |
| GROUP_DPREG_1101, |
| GROUP_LDST_1110, |
| GROUP_ADVSIMD_1111 |
| }; |
| |
| /* Bits [31, 29] of a Pseudo are the secondary dispatch vector. */ |
| |
| static inline uint32_t |
| dispatchPseudo (uint32_t val) |
| { |
| return pickshift32 (val, 31, 29, 0); |
| } |
| |
| /* The 8 possible values for bits [31,29] in a Pseudo Instruction. |
| Bits [28,25] are always 0000. */ |
| |
| enum DispatchPseudo |
| { |
| PSEUDO_UNALLOC_000, /* Unallocated. */ |
| PSEUDO_UNALLOC_001, /* Ditto. */ |
| PSEUDO_UNALLOC_010, /* Ditto. */ |
| PSEUDO_UNALLOC_011, /* Ditto. */ |
| PSEUDO_UNALLOC_100, /* Ditto. */ |
| PSEUDO_UNALLOC_101, /* Ditto. */ |
| PSEUDO_CALLOUT_110, /* CALLOUT -- bits [24,0] identify call/ret sig. */ |
| PSEUDO_HALT_111 /* HALT -- bits [24, 0] identify halt code. */ |
| }; |
| |
| /* Bits [25, 23] of a DPImm are the secondary dispatch vector. */ |
| |
| static inline uint32_t |
| dispatchDPImm (uint32_t instr) |
| { |
| return pickshift32 (instr, 25, 23, 0); |
| } |
| |
| /* The 8 possible values for bits [25,23] in a Data Processing Immediate |
| Instruction. Bits [28,25] are always 100_. */ |
| |
| enum DispatchDPImm |
| { |
| DPIMM_PCADR_000, /* PC-rel-addressing. */ |
| DPIMM_PCADR_001, /* Ditto. */ |
| DPIMM_ADDSUB_010, /* Add/Subtract (immediate). */ |
| DPIMM_ADDSUB_011, /* Ditto. */ |
| DPIMM_LOG_100, /* Logical (immediate). */ |
| DPIMM_MOV_101, /* Move Wide (immediate). */ |
| DPIMM_BITF_110, /* Bitfield. */ |
| DPIMM_EXTR_111 /* Extract. */ |
| }; |
| |
| /* Bits [29,28:26] of a LS are the secondary dispatch vector. */ |
| |
| static inline uint32_t |
| dispatchLS (uint32_t instr) |
| { |
| return ( pickshift32 (instr, 29, 28, 1) |
| | pickshift32 (instr, 26, 26, 0)); |
| } |
| |
| /* The 8 possible values for bits [29,28:26] in a Load/Store |
| Instruction. Bits [28,25] are always _1_0. */ |
| |
| enum DispatchLS |
| { |
| LS_EXCL_000, /* Load/store exclusive (includes some unallocated). */ |
| LS_ADVSIMD_001, /* AdvSIMD load/store (various -- includes some unallocated). */ |
| LS_LIT_010, /* Load register literal (includes some unallocated). */ |
| LS_LIT_011, /* Ditto. */ |
| LS_PAIR_100, /* Load/store register pair (various). */ |
| LS_PAIR_101, /* Ditto. */ |
| LS_OTHER_110, /* Other load/store formats. */ |
| LS_OTHER_111 /* Ditto. */ |
| }; |
| |
| /* Bits [28:24:21] of a DPReg are the secondary dispatch vector. */ |
| |
| static inline uint32_t |
| dispatchDPReg (uint32_t instr) |
| { |
| return ( pickshift32 (instr, 28, 28, 2) |
| | pickshift32 (instr, 24, 24, 1) |
| | pickshift32 (instr, 21, 21, 0)); |
| } |
| |
| /* The 8 possible values for bits [28:24:21] in a Data Processing |
| Register Instruction. Bits [28,25] are always _101. */ |
| |
| enum DispatchDPReg |
| { |
| DPREG_LOG_000, /* Logical (shifted register). */ |
| DPREG_LOG_001, /* Ditto. */ |
| DPREG_ADDSHF_010, /* Add/subtract (shifted register). */ |
| DPREG_ADDEXT_011, /* Add/subtract (extended register). */ |
| DPREG_ADDCOND_100, /* Add/subtract (with carry) AND |
| Cond compare/select AND |
| Data Processing (1/2 source). */ |
| DPREG_UNALLOC_101, /* Unallocated. */ |
| DPREG_3SRC_110, /* Data Processing (3 source). */ |
| DPREG_3SRC_111 /* Data Processing (3 source). */ |
| }; |
| |
| /* bits [31,29] of a BrExSys are the secondary dispatch vector. */ |
| |
| static inline uint32_t |
| dispatchBrExSys (uint32_t instr) |
| { |
| return pickbits32 (instr, 31, 29); |
| } |
| |
| /* The 8 possible values for bits [31,29] in a Branch/Exception/System |
| Instruction. Bits [28,25] are always 101_. */ |
| |
| enum DispatchBr |
| { |
| BR_IMM_000, /* Unconditional branch (immediate). */ |
| BR_IMMCMP_001, /* Compare & branch (immediate) AND |
| Test & branch (immediate). */ |
| BR_IMMCOND_010, /* Conditional branch (immediate) AND Unallocated. */ |
| BR_UNALLOC_011, /* Unallocated. */ |
| BR_IMM_100, /* Unconditional branch (immediate). */ |
| BR_IMMCMP_101, /* Compare & branch (immediate) AND |
| Test & branch (immediate). */ |
| BR_REG_110, /* Unconditional branch (register) AND System AND |
| Excn gen AND Unallocated. */ |
| BR_UNALLOC_111 /* Unallocated. */ |
| }; |
| |
| /* TODO still need to provide secondary decode and dispatch for |
| AdvSIMD Insructions with instr[28,25] = 0111 or 1111. */ |
| |
| #endif /* _DECODE_H */ |