18c2ecf20Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0
28c2ecf20Sopenharmony_ci#include <linux/types.h>
38c2ecf20Sopenharmony_ci#include "../../../../arch/x86/include/asm/insn.h"
48c2ecf20Sopenharmony_ci#include <string.h>
58c2ecf20Sopenharmony_ci
68c2ecf20Sopenharmony_ci#include "debug.h"
78c2ecf20Sopenharmony_ci#include "tests/tests.h"
88c2ecf20Sopenharmony_ci#include "arch-tests.h"
98c2ecf20Sopenharmony_ci
108c2ecf20Sopenharmony_ci#include "intel-pt-decoder/intel-pt-insn-decoder.h"
118c2ecf20Sopenharmony_ci
128c2ecf20Sopenharmony_cistruct test_data {
138c2ecf20Sopenharmony_ci	u8 data[MAX_INSN_SIZE];
148c2ecf20Sopenharmony_ci	int expected_length;
158c2ecf20Sopenharmony_ci	int expected_rel;
168c2ecf20Sopenharmony_ci	const char *expected_op_str;
178c2ecf20Sopenharmony_ci	const char *expected_branch_str;
188c2ecf20Sopenharmony_ci	const char *asm_rep;
198c2ecf20Sopenharmony_ci};
208c2ecf20Sopenharmony_ci
218c2ecf20Sopenharmony_cistruct test_data test_data_32[] = {
228c2ecf20Sopenharmony_ci#include "insn-x86-dat-32.c"
238c2ecf20Sopenharmony_ci	{{0x0f, 0x01, 0xee}, 3, 0, NULL, NULL, "0f 01 ee             \trdpkru"},
248c2ecf20Sopenharmony_ci	{{0x0f, 0x01, 0xef}, 3, 0, NULL, NULL, "0f 01 ef             \twrpkru"},
258c2ecf20Sopenharmony_ci	{{0}, 0, 0, NULL, NULL, NULL},
268c2ecf20Sopenharmony_ci};
278c2ecf20Sopenharmony_ci
288c2ecf20Sopenharmony_cistruct test_data test_data_64[] = {
298c2ecf20Sopenharmony_ci#include "insn-x86-dat-64.c"
308c2ecf20Sopenharmony_ci	{{0x0f, 0x01, 0xee}, 3, 0, NULL, NULL, "0f 01 ee             \trdpkru"},
318c2ecf20Sopenharmony_ci	{{0x0f, 0x01, 0xef}, 3, 0, NULL, NULL, "0f 01 ef             \twrpkru"},
328c2ecf20Sopenharmony_ci	{{0}, 0, 0, NULL, NULL, NULL},
338c2ecf20Sopenharmony_ci};
348c2ecf20Sopenharmony_ci
358c2ecf20Sopenharmony_cistatic int get_op(const char *op_str)
368c2ecf20Sopenharmony_ci{
378c2ecf20Sopenharmony_ci	struct val_data {
388c2ecf20Sopenharmony_ci		const char *name;
398c2ecf20Sopenharmony_ci		int val;
408c2ecf20Sopenharmony_ci	} vals[] = {
418c2ecf20Sopenharmony_ci		{"other",   INTEL_PT_OP_OTHER},
428c2ecf20Sopenharmony_ci		{"call",    INTEL_PT_OP_CALL},
438c2ecf20Sopenharmony_ci		{"ret",     INTEL_PT_OP_RET},
448c2ecf20Sopenharmony_ci		{"jcc",     INTEL_PT_OP_JCC},
458c2ecf20Sopenharmony_ci		{"jmp",     INTEL_PT_OP_JMP},
468c2ecf20Sopenharmony_ci		{"loop",    INTEL_PT_OP_LOOP},
478c2ecf20Sopenharmony_ci		{"iret",    INTEL_PT_OP_IRET},
488c2ecf20Sopenharmony_ci		{"int",     INTEL_PT_OP_INT},
498c2ecf20Sopenharmony_ci		{"syscall", INTEL_PT_OP_SYSCALL},
508c2ecf20Sopenharmony_ci		{"sysret",  INTEL_PT_OP_SYSRET},
518c2ecf20Sopenharmony_ci		{NULL, 0},
528c2ecf20Sopenharmony_ci	};
538c2ecf20Sopenharmony_ci	struct val_data *val;
548c2ecf20Sopenharmony_ci
558c2ecf20Sopenharmony_ci	if (!op_str || !strlen(op_str))
568c2ecf20Sopenharmony_ci		return 0;
578c2ecf20Sopenharmony_ci
588c2ecf20Sopenharmony_ci	for (val = vals; val->name; val++) {
598c2ecf20Sopenharmony_ci		if (!strcmp(val->name, op_str))
608c2ecf20Sopenharmony_ci			return val->val;
618c2ecf20Sopenharmony_ci	}
628c2ecf20Sopenharmony_ci
638c2ecf20Sopenharmony_ci	pr_debug("Failed to get op\n");
648c2ecf20Sopenharmony_ci
658c2ecf20Sopenharmony_ci	return -1;
668c2ecf20Sopenharmony_ci}
678c2ecf20Sopenharmony_ci
688c2ecf20Sopenharmony_cistatic int get_branch(const char *branch_str)
698c2ecf20Sopenharmony_ci{
708c2ecf20Sopenharmony_ci	struct val_data {
718c2ecf20Sopenharmony_ci		const char *name;
728c2ecf20Sopenharmony_ci		int val;
738c2ecf20Sopenharmony_ci	} vals[] = {
748c2ecf20Sopenharmony_ci		{"no_branch",     INTEL_PT_BR_NO_BRANCH},
758c2ecf20Sopenharmony_ci		{"indirect",      INTEL_PT_BR_INDIRECT},
768c2ecf20Sopenharmony_ci		{"conditional",   INTEL_PT_BR_CONDITIONAL},
778c2ecf20Sopenharmony_ci		{"unconditional", INTEL_PT_BR_UNCONDITIONAL},
788c2ecf20Sopenharmony_ci		{NULL, 0},
798c2ecf20Sopenharmony_ci	};
808c2ecf20Sopenharmony_ci	struct val_data *val;
818c2ecf20Sopenharmony_ci
828c2ecf20Sopenharmony_ci	if (!branch_str || !strlen(branch_str))
838c2ecf20Sopenharmony_ci		return 0;
848c2ecf20Sopenharmony_ci
858c2ecf20Sopenharmony_ci	for (val = vals; val->name; val++) {
868c2ecf20Sopenharmony_ci		if (!strcmp(val->name, branch_str))
878c2ecf20Sopenharmony_ci			return val->val;
888c2ecf20Sopenharmony_ci	}
898c2ecf20Sopenharmony_ci
908c2ecf20Sopenharmony_ci	pr_debug("Failed to get branch\n");
918c2ecf20Sopenharmony_ci
928c2ecf20Sopenharmony_ci	return -1;
938c2ecf20Sopenharmony_ci}
948c2ecf20Sopenharmony_ci
958c2ecf20Sopenharmony_cistatic int test_data_item(struct test_data *dat, int x86_64)
968c2ecf20Sopenharmony_ci{
978c2ecf20Sopenharmony_ci	struct intel_pt_insn intel_pt_insn;
988c2ecf20Sopenharmony_ci	struct insn insn;
998c2ecf20Sopenharmony_ci	int op, branch;
1008c2ecf20Sopenharmony_ci
1018c2ecf20Sopenharmony_ci	insn_init(&insn, dat->data, MAX_INSN_SIZE, x86_64);
1028c2ecf20Sopenharmony_ci	insn_get_length(&insn);
1038c2ecf20Sopenharmony_ci
1048c2ecf20Sopenharmony_ci	if (!insn_complete(&insn)) {
1058c2ecf20Sopenharmony_ci		pr_debug("Failed to decode: %s\n", dat->asm_rep);
1068c2ecf20Sopenharmony_ci		return -1;
1078c2ecf20Sopenharmony_ci	}
1088c2ecf20Sopenharmony_ci
1098c2ecf20Sopenharmony_ci	if (insn.length != dat->expected_length) {
1108c2ecf20Sopenharmony_ci		pr_debug("Failed to decode length (%d vs expected %d): %s\n",
1118c2ecf20Sopenharmony_ci			 insn.length, dat->expected_length, dat->asm_rep);
1128c2ecf20Sopenharmony_ci		return -1;
1138c2ecf20Sopenharmony_ci	}
1148c2ecf20Sopenharmony_ci
1158c2ecf20Sopenharmony_ci	op = get_op(dat->expected_op_str);
1168c2ecf20Sopenharmony_ci	branch = get_branch(dat->expected_branch_str);
1178c2ecf20Sopenharmony_ci
1188c2ecf20Sopenharmony_ci	if (intel_pt_get_insn(dat->data, MAX_INSN_SIZE, x86_64, &intel_pt_insn)) {
1198c2ecf20Sopenharmony_ci		pr_debug("Intel PT failed to decode: %s\n", dat->asm_rep);
1208c2ecf20Sopenharmony_ci		return -1;
1218c2ecf20Sopenharmony_ci	}
1228c2ecf20Sopenharmony_ci
1238c2ecf20Sopenharmony_ci	if ((int)intel_pt_insn.op != op) {
1248c2ecf20Sopenharmony_ci		pr_debug("Failed to decode 'op' value (%d vs expected %d): %s\n",
1258c2ecf20Sopenharmony_ci			 intel_pt_insn.op, op, dat->asm_rep);
1268c2ecf20Sopenharmony_ci		return -1;
1278c2ecf20Sopenharmony_ci	}
1288c2ecf20Sopenharmony_ci
1298c2ecf20Sopenharmony_ci	if ((int)intel_pt_insn.branch != branch) {
1308c2ecf20Sopenharmony_ci		pr_debug("Failed to decode 'branch' value (%d vs expected %d): %s\n",
1318c2ecf20Sopenharmony_ci			 intel_pt_insn.branch, branch, dat->asm_rep);
1328c2ecf20Sopenharmony_ci		return -1;
1338c2ecf20Sopenharmony_ci	}
1348c2ecf20Sopenharmony_ci
1358c2ecf20Sopenharmony_ci	if (intel_pt_insn.rel != dat->expected_rel) {
1368c2ecf20Sopenharmony_ci		pr_debug("Failed to decode 'rel' value (%#x vs expected %#x): %s\n",
1378c2ecf20Sopenharmony_ci			 intel_pt_insn.rel, dat->expected_rel, dat->asm_rep);
1388c2ecf20Sopenharmony_ci		return -1;
1398c2ecf20Sopenharmony_ci	}
1408c2ecf20Sopenharmony_ci
1418c2ecf20Sopenharmony_ci	pr_debug("Decoded ok: %s\n", dat->asm_rep);
1428c2ecf20Sopenharmony_ci
1438c2ecf20Sopenharmony_ci	return 0;
1448c2ecf20Sopenharmony_ci}
1458c2ecf20Sopenharmony_ci
1468c2ecf20Sopenharmony_cistatic int test_data_set(struct test_data *dat_set, int x86_64)
1478c2ecf20Sopenharmony_ci{
1488c2ecf20Sopenharmony_ci	struct test_data *dat;
1498c2ecf20Sopenharmony_ci	int ret = 0;
1508c2ecf20Sopenharmony_ci
1518c2ecf20Sopenharmony_ci	for (dat = dat_set; dat->expected_length; dat++) {
1528c2ecf20Sopenharmony_ci		if (test_data_item(dat, x86_64))
1538c2ecf20Sopenharmony_ci			ret = -1;
1548c2ecf20Sopenharmony_ci	}
1558c2ecf20Sopenharmony_ci
1568c2ecf20Sopenharmony_ci	return ret;
1578c2ecf20Sopenharmony_ci}
1588c2ecf20Sopenharmony_ci
1598c2ecf20Sopenharmony_ci/**
1608c2ecf20Sopenharmony_ci * test__insn_x86 - test x86 instruction decoder - new instructions.
1618c2ecf20Sopenharmony_ci *
1628c2ecf20Sopenharmony_ci * This function implements a test that decodes a selection of instructions and
1638c2ecf20Sopenharmony_ci * checks the results.  The Intel PT function that further categorizes
1648c2ecf20Sopenharmony_ci * instructions (i.e. intel_pt_get_insn()) is also checked.
1658c2ecf20Sopenharmony_ci *
1668c2ecf20Sopenharmony_ci * The instructions are originally in insn-x86-dat-src.c which has been
1678c2ecf20Sopenharmony_ci * processed by scripts gen-insn-x86-dat.sh and gen-insn-x86-dat.awk to produce
1688c2ecf20Sopenharmony_ci * insn-x86-dat-32.c and insn-x86-dat-64.c which are included into this program.
1698c2ecf20Sopenharmony_ci * i.e. to add new instructions to the test, edit insn-x86-dat-src.c, run the
1708c2ecf20Sopenharmony_ci * gen-insn-x86-dat.sh script, make perf, and then run the test.
1718c2ecf20Sopenharmony_ci *
1728c2ecf20Sopenharmony_ci * If the test passes %0 is returned, otherwise %-1 is returned.  Use the
1738c2ecf20Sopenharmony_ci * verbose (-v) option to see all the instructions and whether or not they
1748c2ecf20Sopenharmony_ci * decoded successfully.
1758c2ecf20Sopenharmony_ci */
1768c2ecf20Sopenharmony_ciint test__insn_x86(struct test *test __maybe_unused, int subtest __maybe_unused)
1778c2ecf20Sopenharmony_ci{
1788c2ecf20Sopenharmony_ci	int ret = 0;
1798c2ecf20Sopenharmony_ci
1808c2ecf20Sopenharmony_ci	if (test_data_set(test_data_32, 0))
1818c2ecf20Sopenharmony_ci		ret = -1;
1828c2ecf20Sopenharmony_ci
1838c2ecf20Sopenharmony_ci	if (test_data_set(test_data_64, 1))
1848c2ecf20Sopenharmony_ci		ret = -1;
1858c2ecf20Sopenharmony_ci
1868c2ecf20Sopenharmony_ci	return ret;
1878c2ecf20Sopenharmony_ci}
188