601c84a9796022459b4af5a93fcb5ebfbcdd3018
[b43-tools.git] / disassembler / main.c
1 /*
2  *   Copyright (C) 2006-2010  Michael Buesch <mb@bu3sch.de>
3  *
4  *   This program is free software; you can redistribute it and/or modify
5  *   it under the terms of the GNU General Public License version 2
6  *   as published by the Free Software Foundation.
7  *
8  *   This program is distributed in the hope that it will be useful,
9  *   but WITHOUT ANY WARRANTY; without even the implied warranty of
10  *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
11  *   GNU General Public License for more details.
12  */
13
14 #include "main.h"
15 #include "list.h"
16 #include "util.h"
17 #include "args.h"
18
19 #include <stdio.h>
20 #include <stdint.h>
21 #include <stdlib.h>
22 #include <string.h>
23
24
25 struct bin_instruction {
26         unsigned int opcode;
27         unsigned int operands[3];
28 };
29
30 struct statement {
31         enum {
32                 STMT_INSN,
33                 STMT_LABEL,
34         } type;
35
36         union {
37                 struct {
38                         struct bin_instruction *bin;
39                         const char *name;
40                         const char *operands[5];
41
42                         int is_labelref;
43                         unsigned int labeladdr;
44                         struct statement *labelref;
45                 } insn;
46                 struct {
47                         char *name;
48                 } label;
49         } u;
50
51         struct list_head list;
52 };
53
54 struct disassembler_context {
55         /* The architecture of the input file. */
56         unsigned int arch;
57
58         struct bin_instruction *code;
59         size_t nr_insns;
60
61         struct list_head stmt_list;
62 };
63
64
65 FILE *infile;
66 FILE *outfile;
67 const char *infile_name;
68 const char *outfile_name;
69
70
71 #define _msg_helper(type, msg, x...)    do {            \
72         fprintf(stderr, "Disassembler " type            \
73                 ":\n  " msg "\n" ,##x);                 \
74                                         } while (0)
75
76 #define dasm_error(msg, x...)   do {            \
77         _msg_helper("ERROR", msg ,##x);         \
78         exit(1);                                \
79                                 } while (0)
80
81 #define dasm_int_error(msg, x...) \
82         dasm_error("Internal error (bug): " msg ,##x)
83
84 #define dasm_warn(msg, x...)    \
85         _msg_helper("warning", msg ,##x)
86
87 #define asm_info(msg, x...)     \
88         _msg_helper("info", msg ,##x)
89
90 static const char * gen_raw_code(unsigned int operand)
91 {
92         char *ret;
93
94         ret = xmalloc(6);
95         snprintf(ret, 6, "@%X", operand);
96
97         return ret;
98 }
99
100 static const char * disasm_mem_operand(unsigned int operand)
101 {
102         char *ret;
103
104         ret = xmalloc(9);
105         snprintf(ret, 9, "[0x%X]", operand);
106
107         return ret;
108 }
109
110 static const char * disasm_indirect_mem_operand(unsigned int operand)
111 {
112         char *ret;
113         unsigned int offset, reg;
114
115         switch (cmdargs.arch) {
116         case 5:
117                 offset = (operand & 0x3F);
118                 reg = ((operand >> 6) & 0x7);
119                 break;
120         case 15:
121                 offset = (operand & 0x7F);
122                 reg = ((operand >> 7) & 0x7);
123                 break;
124         default:
125                 dasm_int_error("disasm_indirect_mem_operand invalid arch");
126         }
127         ret = xmalloc(12);
128         snprintf(ret, 12, "[0x%02X,off%u]", offset, reg);
129
130         return ret;
131 }
132
133 static const char * disasm_imm_operand(unsigned int operand)
134 {
135         char *ret;
136         unsigned int signmask;
137         unsigned int mask;
138
139         switch (cmdargs.arch) {
140         case 5:
141                 signmask = (1 << 9);
142                 mask = 0x3FF;
143                 break;
144         case 15:
145                 signmask = (1 << 10);
146                 mask = 0x7FF;
147                 break;
148         default:
149                 dasm_int_error("disasm_imm_operand invalid arch");
150         }
151
152         operand &= mask;
153
154         ret = xmalloc(7);
155         if (operand & signmask)
156                 operand = (operand | (~mask & 0xFFFF));
157         snprintf(ret, 7, "0x%X", operand);
158
159         return ret;
160 }
161
162 static const char * disasm_spr_operand(unsigned int operand)
163 {
164         char *ret;
165         unsigned int mask;
166
167         switch (cmdargs.arch) {
168         case 5:
169                 mask = 0x1FF;
170                 break;
171         case 15:
172                 mask = 0x7FF;
173                 break;
174         default:
175                 dasm_int_error("disasm_spr_operand invalid arch");
176         }
177
178         ret = xmalloc(8);
179         snprintf(ret, 8, "spr%X", (operand & mask));
180
181         return ret;
182 }
183
184 static const char * disasm_gpr_operand(unsigned int operand)
185 {
186         char *ret;
187         unsigned int mask;
188
189         switch (cmdargs.arch) {
190         case 5:
191                 mask = 0x3F;
192                 break;
193         case 15:
194                 mask = 0x7F;
195                 break;
196         default:
197                 dasm_int_error("disasm_gpr_operand invalid arch");
198         }
199
200         ret = xmalloc(5);
201         snprintf(ret, 5, "r%u", (operand & mask));
202
203         return ret;
204 }
205
206 static void disasm_raw_operand(struct statement *stmt,
207                                int oper_idx,
208                                int out_idx)
209 {
210         unsigned int operand = stmt->u.insn.bin->operands[oper_idx];
211
212         stmt->u.insn.operands[out_idx] = gen_raw_code(operand);
213 }
214
215 static void disasm_std_operand(struct statement *stmt,
216                                int oper_idx,
217                                int out_idx)
218 {
219         unsigned int operand = stmt->u.insn.bin->operands[oper_idx];
220
221         switch (cmdargs.arch) {
222         case 5:
223                 if (!(operand & 0x800)) {
224                         stmt->u.insn.operands[out_idx] = disasm_mem_operand(operand);
225                         return;
226                 } else if ((operand & 0xC00) == 0xC00) { 
227                         stmt->u.insn.operands[out_idx] = disasm_imm_operand(operand);
228                         return;
229                 } else if ((operand & 0xFC0) == 0xBC0) {
230                         stmt->u.insn.operands[out_idx] = disasm_gpr_operand(operand);
231                         return;
232                 } else if ((operand & 0xE00) == 0x800) {
233                         stmt->u.insn.operands[out_idx] = disasm_spr_operand(operand);
234                         return;
235                 } else if ((operand & 0xE00) == 0xA00) {
236                         stmt->u.insn.operands[out_idx] = disasm_indirect_mem_operand(operand);
237                         return;
238                 }
239                 break;
240         case 15:
241                 if (!(operand & 0x1000)) {
242                         stmt->u.insn.operands[out_idx] = disasm_mem_operand(operand);
243                         return;
244                 } else if ((operand & 0x1800) == 0x1800) { 
245                         stmt->u.insn.operands[out_idx] = disasm_imm_operand(operand);
246                         return;
247                 } else if ((operand & 0x1F80) == 0x1780) {
248                         stmt->u.insn.operands[out_idx] = disasm_gpr_operand(operand);
249                         return;
250                 } else if ((operand & 0x1C00) == 0x1000) {
251                         stmt->u.insn.operands[out_idx] = disasm_spr_operand(operand);
252                         return;
253                 } else if ((operand & 0x1C00) == 0x1400) {
254                         stmt->u.insn.operands[out_idx] = disasm_indirect_mem_operand(operand);
255                         return;
256                 }
257                 break;
258         default:
259                 dasm_int_error("disasm_std_operand invalid arch");
260         }
261         /* No luck. Disassemble to raw operand. */
262         disasm_raw_operand(stmt, oper_idx, out_idx);
263 }
264
265 static void disasm_opcode_raw(struct disassembler_context *ctx,
266                               struct statement *stmt,
267                               int raw_operands)
268 {
269         stmt->u.insn.name = gen_raw_code(stmt->u.insn.bin->opcode);
270         if (raw_operands) {
271                 disasm_raw_operand(stmt, 0, 0);
272                 disasm_raw_operand(stmt, 1, 1);
273                 disasm_raw_operand(stmt, 2, 2);
274         } else {
275                 disasm_std_operand(stmt, 0, 0);
276                 disasm_std_operand(stmt, 1, 1);
277                 disasm_std_operand(stmt, 2, 2);
278         }
279 }
280
281 static void disasm_constant_opcodes(struct disassembler_context *ctx,
282                                     struct statement *stmt)
283 {
284         struct bin_instruction *bin = stmt->u.insn.bin;
285
286         switch (bin->opcode) {
287         case 0x1C0:
288                 stmt->u.insn.name = "add";
289                 disasm_std_operand(stmt, 0, 0);
290                 disasm_std_operand(stmt, 1, 1);
291                 disasm_std_operand(stmt, 2, 2);
292                 break;
293         case 0x1C2:
294                 stmt->u.insn.name = "add.";
295                 disasm_std_operand(stmt, 0, 0);
296                 disasm_std_operand(stmt, 1, 1);
297                 disasm_std_operand(stmt, 2, 2);
298                 break;
299         case 0x1C1:
300                 stmt->u.insn.name = "addc";
301                 disasm_std_operand(stmt, 0, 0);
302                 disasm_std_operand(stmt, 1, 1);
303                 disasm_std_operand(stmt, 2, 2);
304                 break;
305         case 0x1C3:
306                 stmt->u.insn.name = "addc.";
307                 disasm_std_operand(stmt, 0, 0);
308                 disasm_std_operand(stmt, 1, 1);
309                 disasm_std_operand(stmt, 2, 2);
310                 break;
311         case 0x1D0:
312                 stmt->u.insn.name = "sub";
313                 disasm_std_operand(stmt, 0, 0);
314                 disasm_std_operand(stmt, 1, 1);
315                 disasm_std_operand(stmt, 2, 2);
316                 break;
317         case 0x1D2:
318                 stmt->u.insn.name = "sub.";
319                 disasm_std_operand(stmt, 0, 0);
320                 disasm_std_operand(stmt, 1, 1);
321                 disasm_std_operand(stmt, 2, 2);
322                 break;
323         case 0x1D1:
324                 stmt->u.insn.name = "subc";
325                 disasm_std_operand(stmt, 0, 0);
326                 disasm_std_operand(stmt, 1, 1);
327                 disasm_std_operand(stmt, 2, 2);
328                 break;
329         case 0x1D3:
330                 stmt->u.insn.name = "subc.";
331                 disasm_std_operand(stmt, 0, 0);
332                 disasm_std_operand(stmt, 1, 1);
333                 disasm_std_operand(stmt, 2, 2);
334                 break;
335         case 0x130:
336                 stmt->u.insn.name = "sra";
337                 disasm_std_operand(stmt, 0, 0);
338                 disasm_std_operand(stmt, 1, 1);
339                 disasm_std_operand(stmt, 2, 2);
340                 break;
341         case 0x160:
342                 stmt->u.insn.name = "or";
343                 disasm_std_operand(stmt, 0, 0);
344                 disasm_std_operand(stmt, 1, 1);
345                 disasm_std_operand(stmt, 2, 2);
346                 break;
347         case 0x140:
348                 stmt->u.insn.name = "and";
349                 disasm_std_operand(stmt, 0, 0);
350                 disasm_std_operand(stmt, 1, 1);
351                 disasm_std_operand(stmt, 2, 2);
352                 break;
353         case 0x170:
354                 stmt->u.insn.name = "xor";
355                 disasm_std_operand(stmt, 0, 0);
356                 disasm_std_operand(stmt, 1, 1);
357                 disasm_std_operand(stmt, 2, 2);
358                 break;
359         case 0x120:
360                 stmt->u.insn.name = "sr";
361                 disasm_std_operand(stmt, 0, 0);
362                 disasm_std_operand(stmt, 1, 1);
363                 disasm_std_operand(stmt, 2, 2);
364                 break;
365         case 0x110:
366                 stmt->u.insn.name = "sl";
367                 disasm_std_operand(stmt, 0, 0);
368                 disasm_std_operand(stmt, 1, 1);
369                 disasm_std_operand(stmt, 2, 2);
370                 break;
371         case 0x1A0:
372                 stmt->u.insn.name = "rl";
373                 disasm_std_operand(stmt, 0, 0);
374                 disasm_std_operand(stmt, 1, 1);
375                 disasm_std_operand(stmt, 2, 2);
376                 break;
377         case 0x1B0:
378                 stmt->u.insn.name = "rr";
379                 disasm_std_operand(stmt, 0, 0);
380                 disasm_std_operand(stmt, 1, 1);
381                 disasm_std_operand(stmt, 2, 2);
382                 break;
383         case 0x150:
384                 stmt->u.insn.name = "nand";
385                 disasm_std_operand(stmt, 0, 0);
386                 disasm_std_operand(stmt, 1, 1);
387                 disasm_std_operand(stmt, 2, 2);
388                 break;
389         case 0x040:
390                 stmt->u.insn.name = "jand";
391                 stmt->u.insn.is_labelref = 2;
392                 stmt->u.insn.labeladdr = stmt->u.insn.bin->operands[2];
393                 disasm_std_operand(stmt, 0, 0);
394                 disasm_std_operand(stmt, 1, 1);
395                 break;
396         case (0x040 | 0x1):
397                 stmt->u.insn.name = "jnand";
398                 stmt->u.insn.is_labelref = 2;
399                 stmt->u.insn.labeladdr = stmt->u.insn.bin->operands[2];
400                 disasm_std_operand(stmt, 0, 0);
401                 disasm_std_operand(stmt, 1, 1);
402                 break;
403         case 0x050:
404                 stmt->u.insn.name = "js";
405                 stmt->u.insn.is_labelref = 2;
406                 stmt->u.insn.labeladdr = stmt->u.insn.bin->operands[2];
407                 disasm_std_operand(stmt, 0, 0);
408                 disasm_std_operand(stmt, 1, 1);
409                 break;
410         case (0x050 | 0x1):
411                 stmt->u.insn.name = "jns";
412                 stmt->u.insn.is_labelref = 2;
413                 stmt->u.insn.labeladdr = stmt->u.insn.bin->operands[2];
414                 disasm_std_operand(stmt, 0, 0);
415                 disasm_std_operand(stmt, 1, 1);
416                 break;
417         case 0x0D0:
418                 stmt->u.insn.name = "je";
419                 stmt->u.insn.is_labelref = 2;
420                 stmt->u.insn.labeladdr = stmt->u.insn.bin->operands[2];
421                 disasm_std_operand(stmt, 0, 0);
422                 disasm_std_operand(stmt, 1, 1);
423                 break;
424         case (0x0D0 | 0x1):
425                 stmt->u.insn.name = "jne";
426                 stmt->u.insn.is_labelref = 2;
427                 stmt->u.insn.labeladdr = stmt->u.insn.bin->operands[2];
428                 disasm_std_operand(stmt, 0, 0);
429                 disasm_std_operand(stmt, 1, 1);
430                 break;
431         case 0x0D2:
432                 stmt->u.insn.name = "jls";
433                 stmt->u.insn.is_labelref = 2;
434                 stmt->u.insn.labeladdr = stmt->u.insn.bin->operands[2];
435                 disasm_std_operand(stmt, 0, 0);
436                 disasm_std_operand(stmt, 1, 1);
437                 break;
438         case (0x0D2 | 0x1):
439                 stmt->u.insn.name = "jges";
440                 stmt->u.insn.is_labelref = 2;
441                 stmt->u.insn.labeladdr = stmt->u.insn.bin->operands[2];
442                 disasm_std_operand(stmt, 0, 0);
443                 disasm_std_operand(stmt, 1, 1);
444                 break;
445         case 0x0D4:
446                 stmt->u.insn.name = "jgs";
447                 stmt->u.insn.is_labelref = 2;
448                 stmt->u.insn.labeladdr = stmt->u.insn.bin->operands[2];
449                 disasm_std_operand(stmt, 0, 0);
450                 disasm_std_operand(stmt, 1, 1);
451                 break;
452         case (0x0D4 | 0x1):
453                 stmt->u.insn.name = "jles";
454                 stmt->u.insn.is_labelref = 2;
455                 stmt->u.insn.labeladdr = stmt->u.insn.bin->operands[2];
456                 disasm_std_operand(stmt, 0, 0);
457                 disasm_std_operand(stmt, 1, 1);
458                 break;
459         case 0x0DA:
460                 stmt->u.insn.name = "jl";
461                 stmt->u.insn.is_labelref = 2;
462                 stmt->u.insn.labeladdr = stmt->u.insn.bin->operands[2];
463                 disasm_std_operand(stmt, 0, 0);
464                 disasm_std_operand(stmt, 1, 1);
465                 break;
466         case (0x0DA | 0x1):
467                 stmt->u.insn.name = "jge";
468                 stmt->u.insn.is_labelref = 2;
469                 stmt->u.insn.labeladdr = stmt->u.insn.bin->operands[2];
470                 disasm_std_operand(stmt, 0, 0);
471                 disasm_std_operand(stmt, 1, 1);
472                 break;
473         case 0x0DC:
474                 stmt->u.insn.name = "jg";
475                 stmt->u.insn.is_labelref = 2;
476                 stmt->u.insn.labeladdr = stmt->u.insn.bin->operands[2];
477                 disasm_std_operand(stmt, 0, 0);
478                 disasm_std_operand(stmt, 1, 1);
479                 break;
480         case (0x0DC | 0x1):
481                 stmt->u.insn.name = "jle";
482                 stmt->u.insn.is_labelref = 2;
483                 stmt->u.insn.labeladdr = stmt->u.insn.bin->operands[2];
484                 disasm_std_operand(stmt, 0, 0);
485                 disasm_std_operand(stmt, 1, 1);
486                 break;
487         case 0x002: {
488                 char *str;
489
490                 switch (cmdargs.arch) {
491                 case 5:
492                         stmt->u.insn.name = "call";
493                         stmt->u.insn.is_labelref = 1;
494                         stmt->u.insn.labeladdr = stmt->u.insn.bin->operands[2];
495                         str = xmalloc(4);
496                         snprintf(str, 4, "lr%u", stmt->u.insn.bin->operands[0]);
497                         stmt->u.insn.operands[0] = str;
498                         break;
499                 case 15:
500                         //FIXME: This opcode is different on r15. Decode raw for now.
501                         disasm_opcode_raw(ctx, stmt, 1);
502                         break;
503                 }
504                 break;
505         }
506         case 0x003: {
507                 char *str;
508
509                 stmt->u.insn.name = "ret";
510                 str = xmalloc(4);
511                 snprintf(str, 4, "lr%u", stmt->u.insn.bin->operands[0]);
512                 stmt->u.insn.operands[0] = str;
513                 str = xmalloc(4);
514                 snprintf(str, 4, "lr%u", stmt->u.insn.bin->operands[2]);
515                 stmt->u.insn.operands[2] = str;
516                 break;
517         }
518         case 0x004: {
519                 if (cmdargs.arch != 15) {
520                         dasm_error("arch 15 'calls' instruction found in arch %d binary",
521                                    cmdargs.arch);
522                 }
523                 stmt->u.insn.name = "calls";
524                 stmt->u.insn.is_labelref = 0;
525                 stmt->u.insn.labeladdr = stmt->u.insn.bin->operands[2];
526                 if (stmt->u.insn.bin->operands[0] != 0x1780 ||
527                     stmt->u.insn.bin->operands[1] != 0x1780)
528                         dasm_warn("r15 calls: Invalid first or second argument");
529                 break;
530         }
531         case 0x005: {
532                 if (cmdargs.arch != 15) {
533                         dasm_error("arch 15 'rets' instruction found in arch %d binary",
534                                    cmdargs.arch);
535                 }
536                 stmt->u.insn.name = "rets";
537                 if (stmt->u.insn.bin->operands[0] != 0x1780 ||
538                     stmt->u.insn.bin->operands[1] != 0x1780 ||
539                     stmt->u.insn.bin->operands[2] != 0)
540                         dasm_warn("r15 rets: Invalid argument(s)");
541                 break;
542         }
543         case 0x1E0: {
544                 unsigned int flags, mask;
545
546                 switch (cmdargs.arch) {
547                 case 5:
548                         mask = 0x3FF;
549                         break;
550                 case 15:
551                         mask = 0x7FF;
552                         break;
553                 default:
554                         dasm_int_error("TKIP invalid arch");
555                 }
556
557                 flags = stmt->u.insn.bin->operands[1];
558                 switch (flags & mask) {
559                 case 0x1:
560                         stmt->u.insn.name = "tkiph";
561                         break;
562                 case (0x1 | 0x2):
563                         stmt->u.insn.name = "tkiphs";
564                         break;
565                 case 0x0:
566                         stmt->u.insn.name = "tkipl";
567                         break;
568                 case (0x0 | 0x2):
569                         stmt->u.insn.name = "tkipls";
570                         break;
571                 default:
572                         dasm_error("Invalid TKIP flags %X", flags);
573                 }
574                 disasm_std_operand(stmt, 0, 0);
575                 disasm_std_operand(stmt, 2, 2);
576                 break;
577         }
578         case 0x001: {
579                 unsigned int mask;
580
581                 stmt->u.insn.name = "nap";
582                 switch (cmdargs.arch) {
583                 case 5:
584                         mask = 0xBC0;
585                         break;
586                 case 15:
587                         mask = 0x1780;
588                         break;
589                 default:
590                         dasm_int_error("NAP invalid arch");
591                 }
592                 if (stmt->u.insn.bin->operands[0] != mask) {
593                         dasm_warn("NAP: invalid first argument 0x%04X\n",
594                                   stmt->u.insn.bin->operands[0]);
595                 }
596                 if (stmt->u.insn.bin->operands[1] != mask) {
597                         dasm_warn("NAP: invalid second argument 0x%04X\n",
598                                   stmt->u.insn.bin->operands[1]);
599                 }
600                 if (stmt->u.insn.bin->operands[2] != 0) {
601                         dasm_warn("NAP: invalid third argument 0x%04X\n",
602                                   stmt->u.insn.bin->operands[2]);
603                 }
604                 break;
605         }
606         case 0x000:
607                 disasm_opcode_raw(ctx, stmt, 1);
608                 break;
609         default:
610                 disasm_opcode_raw(ctx, stmt, (cmdargs.unknown_decode == 0));
611                 break;
612         }
613 }
614
615 static void disasm_opcodes(struct disassembler_context *ctx)
616 {
617         struct bin_instruction *bin;
618         size_t i;
619         struct statement *stmt;
620         char *str;
621
622         for (i = 0; i < ctx->nr_insns; i++) {
623                 bin = &(ctx->code[i]);
624
625                 stmt = xmalloc(sizeof(struct statement));
626                 stmt->type = STMT_INSN;
627                 INIT_LIST_HEAD(&stmt->list);
628                 stmt->u.insn.bin = bin;
629                 stmt->u.insn.is_labelref = -1;
630
631                 switch (bin->opcode & 0xF00) {
632                 case 0x200:
633                         stmt->u.insn.name = "srx";
634
635                         str = xmalloc(3);
636                         snprintf(str, 3, "%d", (bin->opcode & 0x0F0) >> 4);
637                         stmt->u.insn.operands[0] = str;
638                         str = xmalloc(3);
639                         snprintf(str, 3, "%d", (bin->opcode & 0x00F));
640                         stmt->u.insn.operands[1] = str;
641
642                         disasm_std_operand(stmt, 0, 2);
643                         disasm_std_operand(stmt, 1, 3);
644                         disasm_std_operand(stmt, 2, 4);
645                         break;
646                 case 0x300:
647                         stmt->u.insn.name = "orx";
648
649                         str = xmalloc(3);
650                         snprintf(str, 3, "%d", (bin->opcode & 0x0F0) >> 4);
651                         stmt->u.insn.operands[0] = str;
652                         str = xmalloc(3);
653                         snprintf(str, 3, "%d", (bin->opcode & 0x00F));
654                         stmt->u.insn.operands[1] = str;
655
656                         disasm_std_operand(stmt, 0, 2);
657                         disasm_std_operand(stmt, 1, 3);
658                         disasm_std_operand(stmt, 2, 4);
659                         break;
660                 case 0x400:
661                         stmt->u.insn.name = "jzx";
662
663                         str = xmalloc(3);
664                         snprintf(str, 3, "%d", (bin->opcode & 0x0F0) >> 4);
665                         stmt->u.insn.operands[0] = str;
666                         str = xmalloc(3);
667                         snprintf(str, 3, "%d", (bin->opcode & 0x00F));
668                         stmt->u.insn.operands[1] = str;
669
670                         disasm_std_operand(stmt, 0, 2);
671                         disasm_std_operand(stmt, 1, 3);
672                         stmt->u.insn.is_labelref = 4;
673                         stmt->u.insn.labeladdr = stmt->u.insn.bin->operands[2];
674                         break;
675                 case 0x500:
676                         stmt->u.insn.name = "jnzx";
677
678                         str = xmalloc(3);
679                         snprintf(str, 3, "%d", (bin->opcode & 0x0F0) >> 4);
680                         stmt->u.insn.operands[0] = str;
681                         str = xmalloc(3);
682                         snprintf(str, 3, "%d", (bin->opcode & 0x00F));
683                         stmt->u.insn.operands[1] = str;
684
685                         disasm_std_operand(stmt, 0, 2);
686                         disasm_std_operand(stmt, 1, 3);
687                         stmt->u.insn.is_labelref = 4;
688                         stmt->u.insn.labeladdr = stmt->u.insn.bin->operands[2];
689                         break;
690                 case 0x600:
691                         stmt->u.insn.name = "jnext";
692
693                         str = xmalloc(5);
694                         snprintf(str, 5, "0x%02X", (bin->opcode & 0x0FF));
695                         stmt->u.insn.operands[0] = str;
696
697                         /* We don't disassemble the first and second operand, as
698                          * that always is a dummy r0 operand.
699                          * disasm_std_operand(stmt, 0, 1);
700                          * disasm_std_operand(stmt, 1, 2);
701                          * stmt->u.insn.is_labelref = 3;
702                          */
703                         stmt->u.insn.is_labelref = 1;
704                         stmt->u.insn.labeladdr = stmt->u.insn.bin->operands[2];
705                         break;
706                 case 0x700:
707                         stmt->u.insn.name = "jext";
708
709                         str = xmalloc(5);
710                         snprintf(str, 5, "0x%02X", (bin->opcode & 0x0FF));
711                         stmt->u.insn.operands[0] = str;
712
713                         /* We don't disassemble the first and second operand, as
714                          * that always is a dummy r0 operand.
715                          * disasm_std_operand(stmt, 0, 1);
716                          * disasm_std_operand(stmt, 1, 2);
717                          * stmt->u.insn.is_labelref = 3;
718                          */
719                         stmt->u.insn.is_labelref = 1;
720                         stmt->u.insn.labeladdr = stmt->u.insn.bin->operands[2];
721                         break;
722                 default:
723                         disasm_constant_opcodes(ctx, stmt);
724                         break;
725                 }
726
727                 list_add_tail(&stmt->list, &ctx->stmt_list);
728         }
729 }
730
731 static struct statement * get_label_at(struct disassembler_context *ctx,
732                                        unsigned int addr)
733 {
734         unsigned int addrcnt = 0;
735         struct statement *stmt, *ret, *prev;
736
737         list_for_each_entry(stmt, &ctx->stmt_list, list) {
738                 if (stmt->type != STMT_INSN)
739                         continue;
740                 if (addrcnt == addr) {
741                         prev = list_entry(stmt->list.prev, struct statement, list);
742                         if (prev->type == STMT_LABEL)
743                                 return prev;
744                         ret = xmalloc(sizeof(struct statement));
745                         INIT_LIST_HEAD(&ret->list);
746                         ret->type = STMT_LABEL;
747                         list_add(&ret->list, &prev->list);
748
749                         return ret;
750                 }
751                 addrcnt++;
752         }
753
754         return NULL;
755 }
756
757 static void resolve_labels(struct disassembler_context *ctx)
758 {
759         struct statement *stmt;
760         struct statement *label;
761         struct statement *n;
762         unsigned int labeladdr;
763         unsigned int namecnt = 0;
764
765         /* Resolve label references */
766         list_for_each_entry_safe(stmt, n, &ctx->stmt_list, list) {
767                 if (stmt->type != STMT_INSN)
768                         continue;
769                 if (stmt->u.insn.is_labelref == -1)
770                         continue;
771                 labeladdr = stmt->u.insn.labeladdr;
772                 label = get_label_at(ctx, labeladdr);
773                 if (!label)
774                         dasm_error("Labeladdress %X out of bounds", labeladdr);
775                 stmt->u.insn.labelref = label;
776         }
777
778         /* Name the labels */
779         list_for_each_entry(stmt, &ctx->stmt_list, list) {
780                 if (stmt->type != STMT_LABEL)
781                         continue;
782                 stmt->u.label.name = xmalloc(20);
783                 snprintf(stmt->u.label.name, 20, "L%u", namecnt);
784                 namecnt++;
785         }
786 }
787
788 static void emit_asm(struct disassembler_context *ctx)
789 {
790         struct statement *stmt;
791         int first, i;
792         int err;
793         unsigned int addr = 0;
794
795         err = open_output_file();
796         if (err)
797                 exit(1);
798
799         fprintf(outfile, "%%arch %u\n", ctx->arch);
800         fprintf(outfile, "%%start entry\n\n");
801         fprintf(outfile, "entry:\n");
802         list_for_each_entry(stmt, &ctx->stmt_list, list) {
803                 switch (stmt->type) {
804                 case STMT_INSN:
805                         if (cmdargs.print_addresses)
806                                 fprintf(outfile, "/* %03X */", addr);
807                         fprintf(outfile, "\t%s", stmt->u.insn.name);
808                         first = 1;
809                         for (i = 0; i < ARRAY_SIZE(stmt->u.insn.operands); i++) {
810                                 if (!stmt->u.insn.operands[i] &&
811                                     stmt->u.insn.is_labelref != i)
812                                         continue;
813                                 if (first)
814                                         fprintf(outfile, "\t");
815                                 if (!first)
816                                         fprintf(outfile, ", ");
817                                 first = 0;
818                                 if (stmt->u.insn.is_labelref == i) {
819                                         fprintf(outfile, "%s",
820                                                 stmt->u.insn.labelref->u.label.name);
821                                 } else {
822                                         fprintf(outfile, "%s",
823                                                 stmt->u.insn.operands[i]);
824                                 }
825                         }
826                         fprintf(outfile, "\n");
827                         addr++;
828                         break;
829                 case STMT_LABEL:
830                         fprintf(outfile, "%s:\n", stmt->u.label.name);
831                         break;
832                 }
833         }
834
835         close_output_file();
836 }
837
838 static int read_input(struct disassembler_context *ctx)
839 {
840         size_t size = 0, pos = 0;
841         size_t ret;
842         struct bin_instruction *code = NULL;
843         unsigned char tmp[sizeof(uint64_t)];
844         uint64_t codeword;
845         struct fw_header hdr;
846         int err;
847
848         err = open_input_file();
849         if (err)
850                 goto error;
851
852         switch (cmdargs.informat) {
853         case FMT_RAW_LE32:
854         case FMT_RAW_BE32:
855                 /* Nothing */
856                 break;
857         case FMT_B43:
858                 ret = fread(&hdr, 1, sizeof(hdr), infile);
859                 if (ret != sizeof(hdr)) {
860                         fprintf(stderr, "Corrupt input file (not fwcutter output)\n");
861                         goto err_close;
862                 }
863                 if (hdr.type != FW_TYPE_UCODE) {
864                         fprintf(stderr, "Corrupt input file. Not a microcode image.\n");
865                         goto err_close;
866                 }
867                 if (hdr.ver != FW_HDR_VER) {
868                         fprintf(stderr, "Invalid input file header version.\n");
869                         goto err_close;
870                 }
871                 break;
872         }
873
874         while (1) {
875                 if (pos >= size) {
876                         size += 512;
877                         code = xrealloc(code, size * sizeof(struct bin_instruction));
878                 }
879                 ret = fread(tmp, 1, sizeof(uint64_t), infile);
880                 if (!ret)
881                         break;
882                 if (ret != sizeof(uint64_t)) {
883                         fprintf(stderr, "Corrupt input file (not 8 byte aligned)\n");
884                         goto err_free_code;
885                 }
886
887                 switch (cmdargs.informat) {
888                 case FMT_B43:
889                 case FMT_RAW_BE32:
890                         codeword = 0;
891                         codeword |= ((uint64_t)tmp[0]) << 56;
892                         codeword |= ((uint64_t)tmp[1]) << 48;
893                         codeword |= ((uint64_t)tmp[2]) << 40;
894                         codeword |= ((uint64_t)tmp[3]) << 32;
895                         codeword |= ((uint64_t)tmp[4]) << 24;
896                         codeword |= ((uint64_t)tmp[5]) << 16;
897                         codeword |= ((uint64_t)tmp[6]) << 8;
898                         codeword |= ((uint64_t)tmp[7]);
899                         codeword = ((codeword & (uint64_t)0xFFFFFFFF00000000ULL) >> 32) |
900                                    ((codeword & (uint64_t)0x00000000FFFFFFFFULL) << 32);
901                         break;
902                 case FMT_RAW_LE32:
903                         codeword = 0;
904                         codeword |= ((uint64_t)tmp[7]) << 56;
905                         codeword |= ((uint64_t)tmp[6]) << 48;
906                         codeword |= ((uint64_t)tmp[5]) << 40;
907                         codeword |= ((uint64_t)tmp[4]) << 32;
908                         codeword |= ((uint64_t)tmp[3]) << 24;
909                         codeword |= ((uint64_t)tmp[2]) << 16;
910                         codeword |= ((uint64_t)tmp[1]) << 8;
911                         codeword |= ((uint64_t)tmp[0]);
912                         break;
913                 }
914
915                 switch (cmdargs.arch) {
916                 case 5:
917                         if (codeword >> 48) {
918                                 fprintf(stderr, "Instruction format error at 0x%X (upper not clear). "
919                                         "Wrong input format or architecture?\n", (unsigned int)pos);
920                                 goto err_free_code;
921                         }
922                         code[pos].opcode = (codeword >> 36) & 0xFFF;
923                         code[pos].operands[2] = codeword & 0xFFF;
924                         code[pos].operands[1] = (codeword >> 12) & 0xFFF;
925                         code[pos].operands[0] = (codeword >> 24) & 0xFFF;
926                         break;
927                 case 15:
928                         if (codeword >> 51) {
929                                 fprintf(stderr, "Instruction format error at 0x%X (upper not clear). "
930                                         "Wrong input format or architecture?\n", (unsigned int)pos);
931                                 goto err_free_code;
932                         }
933                         code[pos].opcode = (codeword >> 39) & 0xFFF;
934                         code[pos].operands[2] = codeword & 0x1FFF;
935                         code[pos].operands[1] = (codeword >> 13) & 0x1FFF;
936                         code[pos].operands[0] = (codeword >> 26) & 0x1FFF;
937                         break;
938                 default:
939                         fprintf(stderr, "Internal error: read_input unknown arch %u\n",
940                                 cmdargs.arch);
941                         goto err_free_code;
942                 }
943
944                 pos++;
945         }
946
947         ctx->code = code;
948         ctx->nr_insns = pos;
949
950         close_input_file();
951
952         return 0;
953
954 err_free_code:
955         free(code);
956 err_close:
957         close_input_file();
958 error:
959         return -1;
960 }
961
962 static void disassemble(void)
963 {
964         struct disassembler_context ctx;
965         int err;
966
967         memset(&ctx, 0, sizeof(ctx));
968         INIT_LIST_HEAD(&ctx.stmt_list);
969         ctx.arch = cmdargs.arch;
970
971         err = read_input(&ctx);
972         if (err)
973                 exit(1);
974         disasm_opcodes(&ctx);
975         resolve_labels(&ctx);
976         emit_asm(&ctx);
977 }
978
979 int main(int argc, char **argv)
980 {
981         int err, res = 1;
982
983         err = parse_args(argc, argv);
984         if (err < 0)
985                 goto out;
986         if (err > 0) {
987                 res = 0;
988                 goto out;
989         }
990         disassemble();
991         res = 0;
992 out:
993         /* Lazyman simply leaks all allocated memory. */
994         return res;
995 }