1 /* LoongArch opcode support.
2 Copyright (C) 2021-2023 Free Software Foundation, Inc.
3 Contributed by Loongson Ltd.
4
5 This file is part of the GNU opcodes library.
6
7 This library is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3, or (at your option)
10 any later version.
11
12 It is distributed in the hope that it will be useful, but WITHOUT
13 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
14 or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
15 License for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with this program; see the file COPYING3. If not,
19 see <http://www.gnu.org/licenses/>. */
20
21 #include "sysdep.h"
22 #include "disassemble.h"
23 #include "opintl.h"
24 #include "opcode/loongarch.h"
25 #include "libiberty.h"
26 #include <stdlib.h>
27
28 static bool loongarch_dis_show_aliases = true;
29 static const char *const *loongarch_r_disname = NULL;
30 static const char *const *loongarch_f_disname = NULL;
31 static const char *const *loongarch_fc_disname = NULL;
32 static const char *const *loongarch_c_disname = NULL;
33 static const char *const *loongarch_cr_disname = NULL;
34 static const char *const *loongarch_v_disname = NULL;
35 static const char *const *loongarch_x_disname = NULL;
36
37 static const struct loongarch_opcode *
38 get_loongarch_opcode_by_binfmt (insn_t insn)
39 {
40 const struct loongarch_opcode *it;
41 struct loongarch_ase *ase;
42 size_t i;
43 for (ase = loongarch_ASEs; ase->enabled; ase++)
44 {
45 if (!*ase->enabled || (ase->include && !*ase->include)
46 || (ase->exclude && *ase->exclude))
47 continue;
48
49 if (!ase->opc_htab_inited)
50 {
51 for (it = ase->opcodes; it->mask; it++)
52 if (!ase->opc_htab[LARCH_INSN_OPC (it->match)]
53 && it->macro == NULL
54 && (!(it->pinfo & INSN_DIS_ALIAS)
55 || loongarch_dis_show_aliases))
56 ase->opc_htab[LARCH_INSN_OPC (it->match)] = it;
57 for (i = 0; i < 16; i++)
58 if (!ase->opc_htab[i])
59 ase->opc_htab[i] = it;
60 ase->opc_htab_inited = 1;
61 }
62
63 it = ase->opc_htab[LARCH_INSN_OPC (insn)];
64 for (; it->name; it++)
65 if ((insn & it->mask) == it->match && it->mask
66 && !(it->include && !*it->include)
67 && !(it->exclude && *it->exclude))
68 return it;
69 }
70 return NULL;
71 }
72
73 static void
74 set_default_loongarch_dis_options (void)
75 {
76 LARCH_opts.ase_ilp32 = 1;
77 LARCH_opts.ase_lp64 = 1;
78 LARCH_opts.ase_sf = 1;
79 LARCH_opts.ase_df = 1;
80 LARCH_opts.ase_lsx = 1;
81 LARCH_opts.ase_lasx = 1;
82 LARCH_opts.ase_lvz = 1;
83 LARCH_opts.ase_lbt = 1;
84
85 loongarch_r_disname = loongarch_r_lp64_name;
86 loongarch_f_disname = loongarch_f_lp64_name;
87 loongarch_fc_disname = loongarch_fc_normal_name;
88 loongarch_c_disname = loongarch_c_normal_name;
89 loongarch_cr_disname = loongarch_cr_normal_name;
90 loongarch_v_disname = loongarch_v_normal_name;
91 loongarch_x_disname = loongarch_x_normal_name;
92 }
93
94 static int
95 parse_loongarch_dis_option (const char *option)
96 {
97 if (strcmp (option, "no-aliases") == 0)
98 loongarch_dis_show_aliases = false;
99
100 if (strcmp (option, "numeric") == 0)
101 {
102 loongarch_r_disname = loongarch_r_normal_name;
103 loongarch_f_disname = loongarch_f_normal_name;
104 }
105 return -1;
106 }
107
108 static int
109 parse_loongarch_dis_options (const char *opts_in)
110 {
111 set_default_loongarch_dis_options ();
112
113 if (opts_in == NULL)
114 return 0;
115
116 char *opts, *opt, *opt_end;
117 opts = xmalloc (strlen (opts_in) + 1);
118 strcpy (opts, opts_in);
119
120 for (opt = opt_end = opts; opt_end != NULL; opt = opt_end + 1)
121 {
122 if ((opt_end = strchr (opt, ',')) != NULL)
123 *opt_end = 0;
124 if (parse_loongarch_dis_option (opt) != 0)
125 return -1;
126 }
127 free (opts);
128 return 0;
129 }
130
131 static int32_t
132 dis_one_arg (char esc1, char esc2, const char *bit_field,
133 const char *arg ATTRIBUTE_UNUSED, void *context)
134 {
135 static int need_comma = 0;
136 struct disassemble_info *info = context;
137 insn_t insn = *(insn_t *) info->private_data;
138 int32_t imm, u_imm;
139 enum disassembler_style style;
140
141 if (esc1)
142 {
143 if (need_comma)
144 info->fprintf_styled_func (info->stream, dis_style_text, ", ");
145 need_comma = 1;
146 imm = loongarch_decode_imm (bit_field, insn, 1);
147 u_imm = loongarch_decode_imm (bit_field, insn, 0);
148 }
149
150 switch (esc1)
151 {
152 case 'r':
153 info->fprintf_styled_func (info->stream, dis_style_register, "%s", loongarch_r_disname[u_imm]);
154 break;
155 case 'f':
156 switch (esc2)
157 {
158 case 'c':
159 info->fprintf_styled_func (info->stream, dis_style_register, "%s", loongarch_fc_disname[u_imm]);
160 break;
161 default:
162 info->fprintf_styled_func (info->stream, dis_style_register, "%s", loongarch_f_disname[u_imm]);
163 }
164 break;
165 case 'c':
166 switch (esc2)
167 {
168 case 'r':
169 info->fprintf_styled_func (info->stream, dis_style_register, "%s", loongarch_cr_disname[u_imm]);
170 break;
171 default:
172 info->fprintf_styled_func (info->stream, dis_style_register, "%s", loongarch_c_disname[u_imm]);
173 }
174 break;
175 case 'v':
176 info->fprintf_styled_func (info->stream, dis_style_register, "%s", loongarch_v_disname[u_imm]);
177 break;
178 case 'x':
179 info->fprintf_styled_func (info->stream, dis_style_register, "%s", loongarch_x_disname[u_imm]);
180 break;
181 case 'u':
182 style = esc2 == 'o' ? dis_style_address_offset : dis_style_immediate;
183 info->fprintf_styled_func (info->stream, style, "0x%x", u_imm);
184 break;
185 case 's':
186 switch (esc2)
187 {
188 case 'b':
189 case 'o':
190 /* Both represent address offsets. */
191 style = dis_style_address_offset;
192 break;
193 default:
194 style = dis_style_immediate;
195 break;
196 }
197 info->fprintf_styled_func (info->stream, style, "%d", imm);
198 switch (esc2)
199 {
200 case 'b':
201 info->insn_type = dis_branch;
202 info->target += imm;
203 }
204 break;
205 case '\0':
206 need_comma = 0;
207 }
208 return 0;
209 }
210
211 static void
212 disassemble_one (insn_t insn, struct disassemble_info *info)
213 {
214 const struct loongarch_opcode *opc = get_loongarch_opcode_by_binfmt (insn);
215
216 #ifdef LOONGARCH_DEBUG
217 char have_space[32] = { 0 };
218 insn_t t;
219 int i;
220 const char *t_f = opc ? opc->format : NULL;
221 if (t_f)
222 while (*t_f)
223 {
224 while (('a' <= t_f[0] && t_f[0] <= 'z')
225 || ('A' <= t_f[0] && t_f[0] <= 'Z')
226 || t_f[0] == ',')
227 t_f++;
228 while (1)
229 {
230 i = strtol (t_f, &t_f, 10);
231 have_space[i] = 1;
232 t_f++; /* ':' */
233 i += strtol (t_f, &t_f, 10);
234 have_space[i] = 1;
235 if (t_f[0] == '|')
236 t_f++;
237 else
238 break;
239 }
240 if (t_f[0] == '<')
241 t_f += 2; /* '<' '<' */
242 strtol (t_f, &t_f, 10);
243 }
244
245 have_space[28] = 1;
246 have_space[0] = 0;
247 t = ~((insn_t) -1 >> 1);
248 for (i = 31; 0 <= i; i--)
249 {
250 if (t & insn)
251 info->fprintf_styled_func (info->stream, dis_style_text, "1");
252 else
253 info->fprintf_styled_func (info->stream, dis_style_text, "0");
254 if (have_space[i])
255 info->fprintf_styled_func (info->stream, dis_style_text, " ");
256 t = t >> 1;
257 }
258 info->fprintf_styled_func (info->stream, dis_style_text, "\t");
259 #endif
260
261 if (!opc)
262 {
263 info->insn_type = dis_noninsn;
264 info->fprintf_styled_func (info->stream, dis_style_assembler_directive, ".word\t\t");
265 info->fprintf_styled_func (info->stream, dis_style_immediate, "0x%08x", insn);
266 return;
267 }
268
269 info->insn_type = dis_nonbranch;
270 info->fprintf_styled_func (info->stream, dis_style_mnemonic, "%-12s", opc->name);
271
272 {
273 char *fake_args = xmalloc (strlen (opc->format) + 1);
274 const char *fake_arg_strs[MAX_ARG_NUM_PLUS_2];
275 strcpy (fake_args, opc->format);
276 if (0 < loongarch_split_args_by_comma (fake_args, fake_arg_strs))
277 info->fprintf_styled_func (info->stream, dis_style_text, "\t");
278 info->private_data = &insn;
279 loongarch_foreach_args (opc->format, fake_arg_strs, dis_one_arg, info);
280 free (fake_args);
281 }
282
283 if (info->insn_type == dis_branch || info->insn_type == dis_condbranch)
284 {
285 info->fprintf_styled_func (info->stream, dis_style_comment_start, "\t# ");
286 info->print_address_func (info->target, info);
287 }
288 }
289
290 int
291 print_insn_loongarch (bfd_vma memaddr, struct disassemble_info *info)
292 {
293 insn_t insn;
294 int status;
295
296 static int not_init_yet = 1;
297 if (not_init_yet)
298 {
299 parse_loongarch_dis_options (info->disassembler_options);
300 not_init_yet = 0;
301 }
302
303 info->bytes_per_chunk = 4;
304 info->bytes_per_line = 4;
305 info->display_endian = BFD_ENDIAN_LITTLE;
306 info->insn_info_valid = 1;
307 info->target = memaddr;
308
309 if ((status = info->read_memory_func (memaddr, (bfd_byte *) &insn,
310 sizeof (insn), info)) != 0)
311 {
312 info->memory_error_func (status, memaddr, info);
313 return -1; /* loongarch_insn_length (0); */
314 }
315
316 disassemble_one (insn, info);
317
318 return loongarch_insn_length (insn);
319 }
320
321 void
322 print_loongarch_disassembler_options (FILE *stream)
323 {
324 fprintf (stream, _("\n\
325 The following LoongArch disassembler options are supported for use\n\
326 with the -M switch (multiple options should be separated by commas):\n"));
327
328 fprintf (stream, _("\n\
329 no-aliases Use canonical instruction forms.\n"));
330 fprintf (stream, _("\n\
331 numeric Print numeric register names, rather than ABI names.\n"));
332 fprintf (stream, _("\n"));
333 }