162306a36Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0-or-later 262306a36Sopenharmony_ci/* 362306a36Sopenharmony_ci * 462306a36Sopenharmony_ci * Copyright (C) IBM Corporation, 2009 562306a36Sopenharmony_ci */ 662306a36Sopenharmony_ci 762306a36Sopenharmony_ci#include <stdlib.h> 862306a36Sopenharmony_ci#include <stdio.h> 962306a36Sopenharmony_ci#include <string.h> 1062306a36Sopenharmony_ci#include <assert.h> 1162306a36Sopenharmony_ci#include <unistd.h> 1262306a36Sopenharmony_ci#include <stdarg.h> 1362306a36Sopenharmony_ci 1462306a36Sopenharmony_ci#define unlikely(cond) (cond) 1562306a36Sopenharmony_ci 1662306a36Sopenharmony_ci#include <asm/insn.h> 1762306a36Sopenharmony_ci#include <inat.c> 1862306a36Sopenharmony_ci#include <insn.c> 1962306a36Sopenharmony_ci 2062306a36Sopenharmony_ci/* 2162306a36Sopenharmony_ci * Test of instruction analysis in general and insn_get_length() in 2262306a36Sopenharmony_ci * particular. See if insn_get_length() and the disassembler agree 2362306a36Sopenharmony_ci * on the length of each instruction in an elf disassembly. 2462306a36Sopenharmony_ci * 2562306a36Sopenharmony_ci * Usage: objdump -d a.out | awk -f objdump_reformat.awk | ./insn_decoder_test 2662306a36Sopenharmony_ci */ 2762306a36Sopenharmony_ci 2862306a36Sopenharmony_ciconst char *prog; 2962306a36Sopenharmony_cistatic int verbose; 3062306a36Sopenharmony_cistatic int x86_64; 3162306a36Sopenharmony_ci 3262306a36Sopenharmony_cistatic void usage(void) 3362306a36Sopenharmony_ci{ 3462306a36Sopenharmony_ci fprintf(stderr, "Usage: objdump -d a.out | awk -f objdump_reformat.awk" 3562306a36Sopenharmony_ci " | %s [-y|-n] [-v]\n", prog); 3662306a36Sopenharmony_ci fprintf(stderr, "\t-y 64bit mode\n"); 3762306a36Sopenharmony_ci fprintf(stderr, "\t-n 32bit mode\n"); 3862306a36Sopenharmony_ci fprintf(stderr, "\t-v verbose mode\n"); 3962306a36Sopenharmony_ci exit(1); 4062306a36Sopenharmony_ci} 4162306a36Sopenharmony_ci 4262306a36Sopenharmony_cistatic void malformed_line(const char *line, int line_nr) 4362306a36Sopenharmony_ci{ 4462306a36Sopenharmony_ci fprintf(stderr, "%s: error: malformed line %d:\n%s", 4562306a36Sopenharmony_ci prog, line_nr, line); 4662306a36Sopenharmony_ci exit(3); 4762306a36Sopenharmony_ci} 4862306a36Sopenharmony_ci 4962306a36Sopenharmony_cistatic void pr_warn(const char *fmt, ...) 5062306a36Sopenharmony_ci{ 5162306a36Sopenharmony_ci va_list ap; 5262306a36Sopenharmony_ci 5362306a36Sopenharmony_ci fprintf(stderr, "%s: warning: ", prog); 5462306a36Sopenharmony_ci va_start(ap, fmt); 5562306a36Sopenharmony_ci vfprintf(stderr, fmt, ap); 5662306a36Sopenharmony_ci va_end(ap); 5762306a36Sopenharmony_ci} 5862306a36Sopenharmony_ci 5962306a36Sopenharmony_cistatic void dump_field(FILE *fp, const char *name, const char *indent, 6062306a36Sopenharmony_ci struct insn_field *field) 6162306a36Sopenharmony_ci{ 6262306a36Sopenharmony_ci fprintf(fp, "%s.%s = {\n", indent, name); 6362306a36Sopenharmony_ci fprintf(fp, "%s\t.value = %d, bytes[] = {%x, %x, %x, %x},\n", 6462306a36Sopenharmony_ci indent, field->value, field->bytes[0], field->bytes[1], 6562306a36Sopenharmony_ci field->bytes[2], field->bytes[3]); 6662306a36Sopenharmony_ci fprintf(fp, "%s\t.got = %d, .nbytes = %d},\n", indent, 6762306a36Sopenharmony_ci field->got, field->nbytes); 6862306a36Sopenharmony_ci} 6962306a36Sopenharmony_ci 7062306a36Sopenharmony_cistatic void dump_insn(FILE *fp, struct insn *insn) 7162306a36Sopenharmony_ci{ 7262306a36Sopenharmony_ci fprintf(fp, "Instruction = {\n"); 7362306a36Sopenharmony_ci dump_field(fp, "prefixes", "\t", &insn->prefixes); 7462306a36Sopenharmony_ci dump_field(fp, "rex_prefix", "\t", &insn->rex_prefix); 7562306a36Sopenharmony_ci dump_field(fp, "vex_prefix", "\t", &insn->vex_prefix); 7662306a36Sopenharmony_ci dump_field(fp, "opcode", "\t", &insn->opcode); 7762306a36Sopenharmony_ci dump_field(fp, "modrm", "\t", &insn->modrm); 7862306a36Sopenharmony_ci dump_field(fp, "sib", "\t", &insn->sib); 7962306a36Sopenharmony_ci dump_field(fp, "displacement", "\t", &insn->displacement); 8062306a36Sopenharmony_ci dump_field(fp, "immediate1", "\t", &insn->immediate1); 8162306a36Sopenharmony_ci dump_field(fp, "immediate2", "\t", &insn->immediate2); 8262306a36Sopenharmony_ci fprintf(fp, "\t.attr = %x, .opnd_bytes = %d, .addr_bytes = %d,\n", 8362306a36Sopenharmony_ci insn->attr, insn->opnd_bytes, insn->addr_bytes); 8462306a36Sopenharmony_ci fprintf(fp, "\t.length = %d, .x86_64 = %d, .kaddr = %p}\n", 8562306a36Sopenharmony_ci insn->length, insn->x86_64, insn->kaddr); 8662306a36Sopenharmony_ci} 8762306a36Sopenharmony_ci 8862306a36Sopenharmony_cistatic void parse_args(int argc, char **argv) 8962306a36Sopenharmony_ci{ 9062306a36Sopenharmony_ci int c; 9162306a36Sopenharmony_ci prog = argv[0]; 9262306a36Sopenharmony_ci while ((c = getopt(argc, argv, "ynv")) != -1) { 9362306a36Sopenharmony_ci switch (c) { 9462306a36Sopenharmony_ci case 'y': 9562306a36Sopenharmony_ci x86_64 = 1; 9662306a36Sopenharmony_ci break; 9762306a36Sopenharmony_ci case 'n': 9862306a36Sopenharmony_ci x86_64 = 0; 9962306a36Sopenharmony_ci break; 10062306a36Sopenharmony_ci case 'v': 10162306a36Sopenharmony_ci verbose = 1; 10262306a36Sopenharmony_ci break; 10362306a36Sopenharmony_ci default: 10462306a36Sopenharmony_ci usage(); 10562306a36Sopenharmony_ci } 10662306a36Sopenharmony_ci } 10762306a36Sopenharmony_ci} 10862306a36Sopenharmony_ci 10962306a36Sopenharmony_ci#define BUFSIZE 256 11062306a36Sopenharmony_ci 11162306a36Sopenharmony_ciint main(int argc, char **argv) 11262306a36Sopenharmony_ci{ 11362306a36Sopenharmony_ci char line[BUFSIZE], sym[BUFSIZE] = "<unknown>"; 11462306a36Sopenharmony_ci unsigned char insn_buff[16]; 11562306a36Sopenharmony_ci struct insn insn; 11662306a36Sopenharmony_ci int insns = 0; 11762306a36Sopenharmony_ci int warnings = 0; 11862306a36Sopenharmony_ci 11962306a36Sopenharmony_ci parse_args(argc, argv); 12062306a36Sopenharmony_ci 12162306a36Sopenharmony_ci while (fgets(line, BUFSIZE, stdin)) { 12262306a36Sopenharmony_ci char copy[BUFSIZE], *s, *tab1, *tab2; 12362306a36Sopenharmony_ci int nb = 0, ret; 12462306a36Sopenharmony_ci unsigned int b; 12562306a36Sopenharmony_ci 12662306a36Sopenharmony_ci if (line[0] == '<') { 12762306a36Sopenharmony_ci /* Symbol line */ 12862306a36Sopenharmony_ci strcpy(sym, line); 12962306a36Sopenharmony_ci continue; 13062306a36Sopenharmony_ci } 13162306a36Sopenharmony_ci 13262306a36Sopenharmony_ci insns++; 13362306a36Sopenharmony_ci memset(insn_buff, 0, 16); 13462306a36Sopenharmony_ci strcpy(copy, line); 13562306a36Sopenharmony_ci tab1 = strchr(copy, '\t'); 13662306a36Sopenharmony_ci if (!tab1) 13762306a36Sopenharmony_ci malformed_line(line, insns); 13862306a36Sopenharmony_ci s = tab1 + 1; 13962306a36Sopenharmony_ci s += strspn(s, " "); 14062306a36Sopenharmony_ci tab2 = strchr(s, '\t'); 14162306a36Sopenharmony_ci if (!tab2) 14262306a36Sopenharmony_ci malformed_line(line, insns); 14362306a36Sopenharmony_ci *tab2 = '\0'; /* Characters beyond tab2 aren't examined */ 14462306a36Sopenharmony_ci while (s < tab2) { 14562306a36Sopenharmony_ci if (sscanf(s, "%x", &b) == 1) { 14662306a36Sopenharmony_ci insn_buff[nb++] = (unsigned char) b; 14762306a36Sopenharmony_ci s += 3; 14862306a36Sopenharmony_ci } else 14962306a36Sopenharmony_ci break; 15062306a36Sopenharmony_ci } 15162306a36Sopenharmony_ci 15262306a36Sopenharmony_ci /* Decode an instruction */ 15362306a36Sopenharmony_ci ret = insn_decode(&insn, insn_buff, sizeof(insn_buff), 15462306a36Sopenharmony_ci x86_64 ? INSN_MODE_64 : INSN_MODE_32); 15562306a36Sopenharmony_ci 15662306a36Sopenharmony_ci if (ret < 0 || insn.length != nb) { 15762306a36Sopenharmony_ci warnings++; 15862306a36Sopenharmony_ci pr_warn("Found an x86 instruction decoder bug, " 15962306a36Sopenharmony_ci "please report this.\n", sym); 16062306a36Sopenharmony_ci pr_warn("%s", line); 16162306a36Sopenharmony_ci pr_warn("objdump says %d bytes, but insn_get_length() " 16262306a36Sopenharmony_ci "says %d\n", nb, insn.length); 16362306a36Sopenharmony_ci if (verbose) 16462306a36Sopenharmony_ci dump_insn(stderr, &insn); 16562306a36Sopenharmony_ci } 16662306a36Sopenharmony_ci } 16762306a36Sopenharmony_ci if (warnings) 16862306a36Sopenharmony_ci pr_warn("Decoded and checked %d instructions with %d " 16962306a36Sopenharmony_ci "failures\n", insns, warnings); 17062306a36Sopenharmony_ci else 17162306a36Sopenharmony_ci fprintf(stdout, "%s: success: Decoded and checked %d" 17262306a36Sopenharmony_ci " instructions\n", prog, insns); 17362306a36Sopenharmony_ci return 0; 17462306a36Sopenharmony_ci} 175