xref: /openbmc/qemu/target/avr/disas.c (revision 7fd51e68c34fcefdb4d6fd646ed3346f780f89f4)
19d8caa67SMichael Rolnik /*
29d8caa67SMichael Rolnik  * AVR disassembler
39d8caa67SMichael Rolnik  *
49d8caa67SMichael Rolnik  * Copyright (c) 2019-2020 Richard Henderson <rth@twiddle.net>
59d8caa67SMichael Rolnik  * Copyright (c) 2019-2020 Michael Rolnik <mrolnik@gmail.com>
69d8caa67SMichael Rolnik  *
79d8caa67SMichael Rolnik  * This program is free software: you can redistribute it and/or modify
89d8caa67SMichael Rolnik  * it under the terms of the GNU General Public License as published by
99d8caa67SMichael Rolnik  * the Free Software Foundation, either version 2 of the License, or
109d8caa67SMichael Rolnik  * (at your option) any later version.
119d8caa67SMichael Rolnik  *
129d8caa67SMichael Rolnik  * This program is distributed in the hope that it will be useful,
139d8caa67SMichael Rolnik  * but WITHOUT ANY WARRANTY; without even the implied warranty of
149d8caa67SMichael Rolnik  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
159d8caa67SMichael Rolnik  * GNU General Public License for more details.
169d8caa67SMichael Rolnik  *
179d8caa67SMichael Rolnik  * You should have received a copy of the GNU General Public License
189d8caa67SMichael Rolnik  * along with this program.  If not, see <http://www.gnu.org/licenses/>.
199d8caa67SMichael Rolnik  */
209d8caa67SMichael Rolnik 
219d8caa67SMichael Rolnik #include "qemu/osdep.h"
229d8caa67SMichael Rolnik #include "cpu.h"
239d8caa67SMichael Rolnik 
249d8caa67SMichael Rolnik typedef struct {
259d8caa67SMichael Rolnik     disassemble_info *info;
269d8caa67SMichael Rolnik     uint16_t next_word;
279d8caa67SMichael Rolnik     bool next_word_used;
289d8caa67SMichael Rolnik } DisasContext;
299d8caa67SMichael Rolnik 
to_regs_16_31_by_one(DisasContext * ctx,int indx)309d8caa67SMichael Rolnik static int to_regs_16_31_by_one(DisasContext *ctx, int indx)
319d8caa67SMichael Rolnik {
329d8caa67SMichael Rolnik     return 16 + (indx % 16);
339d8caa67SMichael Rolnik }
349d8caa67SMichael Rolnik 
to_regs_16_23_by_one(DisasContext * ctx,int indx)359d8caa67SMichael Rolnik static int to_regs_16_23_by_one(DisasContext *ctx, int indx)
369d8caa67SMichael Rolnik {
379d8caa67SMichael Rolnik     return 16 + (indx % 8);
389d8caa67SMichael Rolnik }
399d8caa67SMichael Rolnik 
to_regs_24_30_by_two(DisasContext * ctx,int indx)409d8caa67SMichael Rolnik static int to_regs_24_30_by_two(DisasContext *ctx, int indx)
419d8caa67SMichael Rolnik {
429d8caa67SMichael Rolnik     return 24 + (indx % 4) * 2;
439d8caa67SMichael Rolnik }
449d8caa67SMichael Rolnik 
to_regs_00_30_by_two(DisasContext * ctx,int indx)459d8caa67SMichael Rolnik static int to_regs_00_30_by_two(DisasContext *ctx, int indx)
469d8caa67SMichael Rolnik {
479d8caa67SMichael Rolnik     return (indx % 16) * 2;
489d8caa67SMichael Rolnik }
499d8caa67SMichael Rolnik 
next_word(DisasContext * ctx)509d8caa67SMichael Rolnik static uint16_t next_word(DisasContext *ctx)
519d8caa67SMichael Rolnik {
529d8caa67SMichael Rolnik     ctx->next_word_used = true;
539d8caa67SMichael Rolnik     return ctx->next_word;
549d8caa67SMichael Rolnik }
559d8caa67SMichael Rolnik 
append_16(DisasContext * ctx,int x)569d8caa67SMichael Rolnik static int append_16(DisasContext *ctx, int x)
579d8caa67SMichael Rolnik {
589d8caa67SMichael Rolnik     return x << 16 | next_word(ctx);
599d8caa67SMichael Rolnik }
609d8caa67SMichael Rolnik 
619d8caa67SMichael Rolnik /* Include the auto-generated decoder.  */
629d8caa67SMichael Rolnik static bool decode_insn(DisasContext *ctx, uint16_t insn);
63*abff1abfSPaolo Bonzini #include "decode-insn.c.inc"
649d8caa67SMichael Rolnik 
659d8caa67SMichael Rolnik #define output(mnemonic, format, ...) \
669d8caa67SMichael Rolnik     (pctx->info->fprintf_func(pctx->info->stream, "%-9s " format, \
679d8caa67SMichael Rolnik                               mnemonic, ##__VA_ARGS__))
689d8caa67SMichael Rolnik 
avr_print_insn(bfd_vma addr,disassemble_info * info)699d8caa67SMichael Rolnik int avr_print_insn(bfd_vma addr, disassemble_info *info)
709d8caa67SMichael Rolnik {
719d8caa67SMichael Rolnik     DisasContext ctx;
729d8caa67SMichael Rolnik     DisasContext *pctx = &ctx;
739d8caa67SMichael Rolnik     bfd_byte buffer[4];
749d8caa67SMichael Rolnik     uint16_t insn;
759d8caa67SMichael Rolnik     int status;
769d8caa67SMichael Rolnik 
779d8caa67SMichael Rolnik     ctx.info = info;
789d8caa67SMichael Rolnik 
799d8caa67SMichael Rolnik     status = info->read_memory_func(addr, buffer, 4, info);
809d8caa67SMichael Rolnik     if (status != 0) {
819d8caa67SMichael Rolnik         info->memory_error_func(status, addr, info);
829d8caa67SMichael Rolnik         return -1;
839d8caa67SMichael Rolnik     }
849d8caa67SMichael Rolnik     insn = bfd_getl16(buffer);
859d8caa67SMichael Rolnik     ctx.next_word = bfd_getl16(buffer + 2);
869d8caa67SMichael Rolnik     ctx.next_word_used = false;
879d8caa67SMichael Rolnik 
889d8caa67SMichael Rolnik     if (!decode_insn(&ctx, insn)) {
899d8caa67SMichael Rolnik         output(".db", "0x%02x, 0x%02x", buffer[0], buffer[1]);
909d8caa67SMichael Rolnik     }
919d8caa67SMichael Rolnik 
929d8caa67SMichael Rolnik     return ctx.next_word_used ? 4 : 2;
939d8caa67SMichael Rolnik }
949d8caa67SMichael Rolnik 
959d8caa67SMichael Rolnik 
969d8caa67SMichael Rolnik #define INSN(opcode, format, ...)                                       \
979d8caa67SMichael Rolnik static bool trans_##opcode(DisasContext *pctx, arg_##opcode * a)        \
989d8caa67SMichael Rolnik {                                                                       \
999d8caa67SMichael Rolnik     output(#opcode, format, ##__VA_ARGS__);                             \
1009d8caa67SMichael Rolnik     return true;                                                        \
1019d8caa67SMichael Rolnik }
1029d8caa67SMichael Rolnik 
1039d8caa67SMichael Rolnik #define INSN_MNEMONIC(opcode, mnemonic, format, ...)                    \
1049d8caa67SMichael Rolnik static bool trans_##opcode(DisasContext *pctx, arg_##opcode * a)        \
1059d8caa67SMichael Rolnik {                                                                       \
1069d8caa67SMichael Rolnik     output(mnemonic, format, ##__VA_ARGS__);                            \
1079d8caa67SMichael Rolnik     return true;                                                        \
1089d8caa67SMichael Rolnik }
1099d8caa67SMichael Rolnik 
1109d8caa67SMichael Rolnik /*
1119d8caa67SMichael Rolnik  *   C       Z       N       V       S       H       T       I
1129d8caa67SMichael Rolnik  *   0       1       2       3       4       5       6       7
1139d8caa67SMichael Rolnik  */
1149d8caa67SMichael Rolnik static const char brbc[][5] = {
1159d8caa67SMichael Rolnik     "BRCC", "BRNE", "BRPL", "BRVC", "BRGE", "BRHC", "BRTC", "BRID"
1169d8caa67SMichael Rolnik };
1179d8caa67SMichael Rolnik 
1189d8caa67SMichael Rolnik static const char brbs[][5] = {
1199d8caa67SMichael Rolnik     "BRCS", "BREQ", "BRMI", "BRVS", "BRLT", "BRHS", "BRTS", "BRIE"
1209d8caa67SMichael Rolnik };
1219d8caa67SMichael Rolnik 
1229d8caa67SMichael Rolnik static const char bset[][4] = {
1239d8caa67SMichael Rolnik     "SEC",  "SEZ",  "SEN",  "SEZ",  "SES",  "SEH",  "SET",  "SEI"
1249d8caa67SMichael Rolnik };
1259d8caa67SMichael Rolnik 
1269d8caa67SMichael Rolnik static const char bclr[][4] = {
1279d8caa67SMichael Rolnik     "CLC",  "CLZ",  "CLN",  "CLZ",  "CLS",  "CLH",  "CLT",  "CLI"
1289d8caa67SMichael Rolnik };
1299d8caa67SMichael Rolnik 
1309d8caa67SMichael Rolnik /*
1319d8caa67SMichael Rolnik  * Arithmetic Instructions
1329d8caa67SMichael Rolnik  */
1339d8caa67SMichael Rolnik INSN(ADD,    "r%d, r%d", a->rd, a->rr)
1349d8caa67SMichael Rolnik INSN(ADC,    "r%d, r%d", a->rd, a->rr)
1359d8caa67SMichael Rolnik INSN(ADIW,   "r%d:r%d, %d", a->rd + 1, a->rd, a->imm)
1369d8caa67SMichael Rolnik INSN(SUB,    "r%d, r%d", a->rd, a->rr)
1379d8caa67SMichael Rolnik INSN(SUBI,   "r%d, %d", a->rd, a->imm)
1389d8caa67SMichael Rolnik INSN(SBC,    "r%d, r%d", a->rd, a->rr)
1399d8caa67SMichael Rolnik INSN(SBCI,   "r%d, %d", a->rd, a->imm)
1409d8caa67SMichael Rolnik INSN(SBIW,   "r%d:r%d, %d", a->rd + 1, a->rd, a->imm)
1419d8caa67SMichael Rolnik INSN(AND,    "r%d, r%d", a->rd, a->rr)
1429d8caa67SMichael Rolnik INSN(ANDI,   "r%d, %d", a->rd, a->imm)
1439d8caa67SMichael Rolnik INSN(OR,     "r%d, r%d", a->rd, a->rr)
1449d8caa67SMichael Rolnik INSN(ORI,    "r%d, %d", a->rd, a->imm)
1459d8caa67SMichael Rolnik INSN(EOR,    "r%d, r%d", a->rd, a->rr)
1469d8caa67SMichael Rolnik INSN(COM,    "r%d", a->rd)
1479d8caa67SMichael Rolnik INSN(NEG,    "r%d", a->rd)
1489d8caa67SMichael Rolnik INSN(INC,    "r%d", a->rd)
1499d8caa67SMichael Rolnik INSN(DEC,    "r%d", a->rd)
1509d8caa67SMichael Rolnik INSN(MUL,    "r%d, r%d", a->rd, a->rr)
1519d8caa67SMichael Rolnik INSN(MULS,   "r%d, r%d", a->rd, a->rr)
1529d8caa67SMichael Rolnik INSN(MULSU,  "r%d, r%d", a->rd, a->rr)
1539d8caa67SMichael Rolnik INSN(FMUL,   "r%d, r%d", a->rd, a->rr)
1549d8caa67SMichael Rolnik INSN(FMULS,  "r%d, r%d", a->rd, a->rr)
1559d8caa67SMichael Rolnik INSN(FMULSU, "r%d, r%d", a->rd, a->rr)
1569d8caa67SMichael Rolnik INSN(DES,    "%d", a->imm)
1579d8caa67SMichael Rolnik 
1589d8caa67SMichael Rolnik /*
1599d8caa67SMichael Rolnik  * Branch Instructions
1609d8caa67SMichael Rolnik  */
1619d8caa67SMichael Rolnik INSN(RJMP,   ".%+d", a->imm * 2)
1629d8caa67SMichael Rolnik INSN(IJMP,   "")
1639d8caa67SMichael Rolnik INSN(EIJMP,  "")
1649d8caa67SMichael Rolnik INSN(JMP,    "0x%x", a->imm * 2)
1659d8caa67SMichael Rolnik INSN(RCALL,  ".%+d", a->imm * 2)
1669d8caa67SMichael Rolnik INSN(ICALL,  "")
1679d8caa67SMichael Rolnik INSN(EICALL, "")
1689d8caa67SMichael Rolnik INSN(CALL,   "0x%x", a->imm * 2)
1699d8caa67SMichael Rolnik INSN(RET,    "")
1709d8caa67SMichael Rolnik INSN(RETI,   "")
1719d8caa67SMichael Rolnik INSN(CPSE,   "r%d, r%d", a->rd, a->rr)
1729d8caa67SMichael Rolnik INSN(CP,     "r%d, r%d", a->rd, a->rr)
1739d8caa67SMichael Rolnik INSN(CPC,    "r%d, r%d", a->rd, a->rr)
1749d8caa67SMichael Rolnik INSN(CPI,    "r%d, %d", a->rd, a->imm)
1759d8caa67SMichael Rolnik INSN(SBRC,   "r%d, %d", a->rr, a->bit)
1769d8caa67SMichael Rolnik INSN(SBRS,   "r%d, %d", a->rr, a->bit)
1779d8caa67SMichael Rolnik INSN(SBIC,   "$%d, %d", a->reg, a->bit)
1789d8caa67SMichael Rolnik INSN(SBIS,   "$%d, %d", a->reg, a->bit)
1799d8caa67SMichael Rolnik INSN_MNEMONIC(BRBS,  brbs[a->bit], ".%+d", a->imm * 2)
1809d8caa67SMichael Rolnik INSN_MNEMONIC(BRBC,  brbc[a->bit], ".%+d", a->imm * 2)
1819d8caa67SMichael Rolnik 
1829d8caa67SMichael Rolnik /*
1839d8caa67SMichael Rolnik  * Data Transfer Instructions
1849d8caa67SMichael Rolnik  */
1859d8caa67SMichael Rolnik INSN(MOV,    "r%d, r%d", a->rd, a->rr)
1869d8caa67SMichael Rolnik INSN(MOVW,   "r%d:r%d, r%d:r%d", a->rd + 1, a->rd, a->rr + 1, a->rr)
1879d8caa67SMichael Rolnik INSN(LDI,    "r%d, %d", a->rd, a->imm)
1889d8caa67SMichael Rolnik INSN(LDS,    "r%d, %d", a->rd, a->imm)
1899d8caa67SMichael Rolnik INSN(LDX1,   "r%d, X", a->rd)
1909d8caa67SMichael Rolnik INSN(LDX2,   "r%d, X+", a->rd)
1919d8caa67SMichael Rolnik INSN(LDX3,   "r%d, -X", a->rd)
1929d8caa67SMichael Rolnik INSN(LDY2,   "r%d, Y+", a->rd)
1939d8caa67SMichael Rolnik INSN(LDY3,   "r%d, -Y", a->rd)
1949d8caa67SMichael Rolnik INSN(LDZ2,   "r%d, Z+", a->rd)
1959d8caa67SMichael Rolnik INSN(LDZ3,   "r%d, -Z", a->rd)
1969d8caa67SMichael Rolnik INSN(LDDY,   "r%d, Y+%d", a->rd, a->imm)
1979d8caa67SMichael Rolnik INSN(LDDZ,   "r%d, Z+%d", a->rd, a->imm)
19819b29347SPhilippe Mathieu-Daudé INSN(STS,    "%d, r%d", a->imm, a->rd)
19919b29347SPhilippe Mathieu-Daudé INSN(STX1,   "X, r%d", a->rr)
20019b29347SPhilippe Mathieu-Daudé INSN(STX2,   "X+, r%d", a->rr)
20119b29347SPhilippe Mathieu-Daudé INSN(STX3,   "-X, r%d", a->rr)
20219b29347SPhilippe Mathieu-Daudé INSN(STY2,   "Y+, r%d", a->rd)
20319b29347SPhilippe Mathieu-Daudé INSN(STY3,   "-Y, r%d", a->rd)
20419b29347SPhilippe Mathieu-Daudé INSN(STZ2,   "Z+, r%d", a->rd)
20519b29347SPhilippe Mathieu-Daudé INSN(STZ3,   "-Z, r%d", a->rd)
20619b29347SPhilippe Mathieu-Daudé INSN(STDY,   "Y+%d, r%d", a->imm, a->rd)
20719b29347SPhilippe Mathieu-Daudé INSN(STDZ,   "Z+%d, r%d", a->imm, a->rd)
2089d8caa67SMichael Rolnik INSN(LPM1,   "")
2099d8caa67SMichael Rolnik INSN(LPM2,   "r%d, Z", a->rd)
2109d8caa67SMichael Rolnik INSN(LPMX,   "r%d, Z+", a->rd)
2119d8caa67SMichael Rolnik INSN(ELPM1,  "")
2129d8caa67SMichael Rolnik INSN(ELPM2,  "r%d, Z", a->rd)
2139d8caa67SMichael Rolnik INSN(ELPMX,  "r%d, Z+", a->rd)
2149d8caa67SMichael Rolnik INSN(SPM,    "")
2159d8caa67SMichael Rolnik INSN(SPMX,   "Z+")
2169d8caa67SMichael Rolnik INSN(IN,     "r%d, $%d", a->rd, a->imm)
2179d8caa67SMichael Rolnik INSN(OUT,    "$%d, r%d", a->imm, a->rd)
2189d8caa67SMichael Rolnik INSN(PUSH,   "r%d", a->rd)
2199d8caa67SMichael Rolnik INSN(POP,    "r%d", a->rd)
2209d8caa67SMichael Rolnik INSN(XCH,    "Z, r%d", a->rd)
2219d8caa67SMichael Rolnik INSN(LAC,    "Z, r%d", a->rd)
2229d8caa67SMichael Rolnik INSN(LAS,    "Z, r%d", a->rd)
2239d8caa67SMichael Rolnik INSN(LAT,    "Z, r%d", a->rd)
2249d8caa67SMichael Rolnik 
2259d8caa67SMichael Rolnik /*
2269d8caa67SMichael Rolnik  * Bit and Bit-test Instructions
2279d8caa67SMichael Rolnik  */
2289d8caa67SMichael Rolnik INSN(LSR,    "r%d", a->rd)
2299d8caa67SMichael Rolnik INSN(ROR,    "r%d", a->rd)
2309d8caa67SMichael Rolnik INSN(ASR,    "r%d", a->rd)
2319d8caa67SMichael Rolnik INSN(SWAP,   "r%d", a->rd)
2329d8caa67SMichael Rolnik INSN(SBI,    "$%d, %d", a->reg, a->bit)
2339d8caa67SMichael Rolnik INSN(CBI,    "%d, %d", a->reg, a->bit)
2349d8caa67SMichael Rolnik INSN(BST,    "r%d, %d", a->rd, a->bit)
2359d8caa67SMichael Rolnik INSN(BLD,    "r%d, %d", a->rd, a->bit)
2369d8caa67SMichael Rolnik INSN_MNEMONIC(BSET,  bset[a->bit], "")
2379d8caa67SMichael Rolnik INSN_MNEMONIC(BCLR,  bclr[a->bit], "")
2389d8caa67SMichael Rolnik 
2399d8caa67SMichael Rolnik /*
2409d8caa67SMichael Rolnik  * MCU Control Instructions
2419d8caa67SMichael Rolnik  */
2429d8caa67SMichael Rolnik INSN(BREAK,  "")
2439d8caa67SMichael Rolnik INSN(NOP,    "")
2449d8caa67SMichael Rolnik INSN(SLEEP,  "")
2459d8caa67SMichael Rolnik INSN(WDR,    "")
246