// SPDX-License-Identifier: GPL-2.0
// Copyright (C) 2019 Hangzhou C-SKY Microsystems co.,ltd.
// Mapping of DWARF debug register numbers into register names.

#include <stddef.h>
#include <dwarf-regs.h>

#define CSKY_ABIV2_MAX_REGS 73
const char *csky_dwarf_regs_table_abiv2[CSKY_ABIV2_MAX_REGS] = {
 /* r0 ~ r8 */
 "%a0", "%a1", "%a2", "%a3", "%regs0", "%regs1", "%regs2", "%regs3",
 /* r9 ~ r15 */
 "%regs4", "%regs5", "%regs6", "%regs7", "%regs8", "%regs9", "%sp",
 "%lr",
 /* r16 ~ r23 */
 "%exregs0", "%exregs1", "%exregs2", "%exregs3", "%exregs4",
 "%exregs5", "%exregs6", "%exregs7",
 /* r24 ~ r31 */
 "%exregs8", "%exregs9", "%exregs10", "%exregs11", "%exregs12",
 "%exregs13", "%exregs14", "%tls",
 "%pc", NULL, NULL, NULL, "%hi", "%lo", NULL, NULL,
 NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL,
 NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL,
 NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL,
 NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL,
 "%epc",
};

#define CSKY_ABIV1_MAX_REGS 57
const char *csky_dwarf_regs_table_abiv1[CSKY_ABIV1_MAX_REGS] = {
 /* r0 ~ r8 */
 "%sp", "%regs9", "%a0", "%a1", "%a2", "%a3", "%regs0", "%regs1",
 /* r9 ~ r15 */
 "%regs2", "%regs3", "%regs4", "%regs5", "%regs6", "%regs7", "%regs8",
 "%lr",
 NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL,
 NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL,
 NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL,
 NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL,
 NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL,
 "%epc",
};

const char *get_csky_regstr(unsigned int n, unsigned int flags)
{
 if (flags & EF_CSKY_ABIV2)
  return (n < CSKY_ABIV2_MAX_REGS) ? csky_dwarf_regs_table_abiv2[n] : NULL;

 return (n < CSKY_ABIV1_MAX_REGS) ? csky_dwarf_regs_table_abiv1[n] : NULL;
}