1b2441318SGreg Kroah-Hartman // SPDX-License-Identifier: GPL-2.0
2d8b167f9SMatt Fleming #include <linux/types.h>
38520a98dSArnaldo Carvalho de Melo #include <string.h>
4d8b167f9SMatt Fleming
5d8b167f9SMatt Fleming #include "debug.h"
6d8b167f9SMatt Fleming #include "tests/tests.h"
7d8b167f9SMatt Fleming #include "arch-tests.h"
8c1f272dfSArnaldo Carvalho de Melo #include "../../../../arch/x86/include/asm/insn.h"
9d8b167f9SMatt Fleming
10d8b167f9SMatt Fleming #include "intel-pt-decoder/intel-pt-insn-decoder.h"
11d8b167f9SMatt Fleming
12d8b167f9SMatt Fleming struct test_data {
13d8b167f9SMatt Fleming u8 data[MAX_INSN_SIZE];
14d8b167f9SMatt Fleming int expected_length;
15d8b167f9SMatt Fleming int expected_rel;
16d8b167f9SMatt Fleming const char *expected_op_str;
17d8b167f9SMatt Fleming const char *expected_branch_str;
18d8b167f9SMatt Fleming const char *asm_rep;
19d8b167f9SMatt Fleming };
20d8b167f9SMatt Fleming
21d8b167f9SMatt Fleming const struct test_data test_data_32[] = {
22d8b167f9SMatt Fleming #include "insn-x86-dat-32.c"
23d8b167f9SMatt Fleming {{0x0f, 0x01, 0xee}, 3, 0, NULL, NULL, "0f 01 ee \trdpkru"},
24d8b167f9SMatt Fleming {{0x0f, 0x01, 0xef}, 3, 0, NULL, NULL, "0f 01 ef \twrpkru"},
25d8b167f9SMatt Fleming {{0}, 0, 0, NULL, NULL, NULL},
26d8b167f9SMatt Fleming };
27d8b167f9SMatt Fleming
28d8b167f9SMatt Fleming const struct test_data test_data_64[] = {
29d8b167f9SMatt Fleming #include "insn-x86-dat-64.c"
30d8b167f9SMatt Fleming {{0x0f, 0x01, 0xee}, 3, 0, NULL, NULL, "0f 01 ee \trdpkru"},
31d8b167f9SMatt Fleming {{0x0f, 0x01, 0xef}, 3, 0, NULL, NULL, "0f 01 ef \twrpkru"},
32*052072f6SAdrian Hunter {{0xf2, 0x0f, 0x01, 0xca}, 4, 0, "erets", "indirect", "f2 0f 01 ca \terets"},
33*052072f6SAdrian Hunter {{0xf3, 0x0f, 0x01, 0xca}, 4, 0, "eretu", "indirect", "f3 0f 01 ca \teretu"},
34d8b167f9SMatt Fleming {{0}, 0, 0, NULL, NULL, NULL},
35d8b167f9SMatt Fleming };
36d8b167f9SMatt Fleming
get_op(const char * op_str)37d8b167f9SMatt Fleming static int get_op(const char *op_str)
38d8b167f9SMatt Fleming {
39d8b167f9SMatt Fleming struct val_data {
40d8b167f9SMatt Fleming const char *name;
41d8b167f9SMatt Fleming int val;
42d8b167f9SMatt Fleming } vals[] = {
43d8b167f9SMatt Fleming {"other", INTEL_PT_OP_OTHER},
44d8b167f9SMatt Fleming {"call", INTEL_PT_OP_CALL},
45d8b167f9SMatt Fleming {"ret", INTEL_PT_OP_RET},
46d8b167f9SMatt Fleming {"jcc", INTEL_PT_OP_JCC},
47d8b167f9SMatt Fleming {"jmp", INTEL_PT_OP_JMP},
48d8b167f9SMatt Fleming {"loop", INTEL_PT_OP_LOOP},
49d8b167f9SMatt Fleming {"iret", INTEL_PT_OP_IRET},
50d8b167f9SMatt Fleming {"int", INTEL_PT_OP_INT},
51d8b167f9SMatt Fleming {"syscall", INTEL_PT_OP_SYSCALL},
52d8b167f9SMatt Fleming {"sysret", INTEL_PT_OP_SYSRET},
53b7ecc2d7SAdrian Hunter {"vmentry", INTEL_PT_OP_VMENTRY},
54*052072f6SAdrian Hunter {"erets", INTEL_PT_OP_ERETS},
55*052072f6SAdrian Hunter {"eretu", INTEL_PT_OP_ERETU},
56d8b167f9SMatt Fleming {NULL, 0},
57d8b167f9SMatt Fleming };
58d8b167f9SMatt Fleming struct val_data *val;
59d8b167f9SMatt Fleming
60d8b167f9SMatt Fleming if (!op_str || !strlen(op_str))
61d8b167f9SMatt Fleming return 0;
62d8b167f9SMatt Fleming
63d8b167f9SMatt Fleming for (val = vals; val->name; val++) {
64d8b167f9SMatt Fleming if (!strcmp(val->name, op_str))
65d8b167f9SMatt Fleming return val->val;
66d8b167f9SMatt Fleming }
67d8b167f9SMatt Fleming
68d8b167f9SMatt Fleming pr_debug("Failed to get op\n");
69d8b167f9SMatt Fleming
70d8b167f9SMatt Fleming return -1;
71d8b167f9SMatt Fleming }
72d8b167f9SMatt Fleming
get_branch(const char * branch_str)73d8b167f9SMatt Fleming static int get_branch(const char *branch_str)
74d8b167f9SMatt Fleming {
75d8b167f9SMatt Fleming struct val_data {
76d8b167f9SMatt Fleming const char *name;
77d8b167f9SMatt Fleming int val;
78d8b167f9SMatt Fleming } vals[] = {
79d8b167f9SMatt Fleming {"no_branch", INTEL_PT_BR_NO_BRANCH},
80d8b167f9SMatt Fleming {"indirect", INTEL_PT_BR_INDIRECT},
81d8b167f9SMatt Fleming {"conditional", INTEL_PT_BR_CONDITIONAL},
82d8b167f9SMatt Fleming {"unconditional", INTEL_PT_BR_UNCONDITIONAL},
83d8b167f9SMatt Fleming {NULL, 0},
84d8b167f9SMatt Fleming };
85d8b167f9SMatt Fleming struct val_data *val;
86d8b167f9SMatt Fleming
87d8b167f9SMatt Fleming if (!branch_str || !strlen(branch_str))
88d8b167f9SMatt Fleming return 0;
89d8b167f9SMatt Fleming
90d8b167f9SMatt Fleming for (val = vals; val->name; val++) {
91d8b167f9SMatt Fleming if (!strcmp(val->name, branch_str))
92d8b167f9SMatt Fleming return val->val;
93d8b167f9SMatt Fleming }
94d8b167f9SMatt Fleming
95d8b167f9SMatt Fleming pr_debug("Failed to get branch\n");
96d8b167f9SMatt Fleming
97d8b167f9SMatt Fleming return -1;
98d8b167f9SMatt Fleming }
99d8b167f9SMatt Fleming
test_data_item(const struct test_data * dat,int x86_64)100d8b167f9SMatt Fleming static int test_data_item(const struct test_data *dat, int x86_64)
101d8b167f9SMatt Fleming {
102d8b167f9SMatt Fleming struct intel_pt_insn intel_pt_insn;
10362660b0fSBorislav Petkov int op, branch, ret;
104d8b167f9SMatt Fleming struct insn insn;
105d8b167f9SMatt Fleming
10662660b0fSBorislav Petkov ret = insn_decode(&insn, dat->data, MAX_INSN_SIZE,
10762660b0fSBorislav Petkov x86_64 ? INSN_MODE_64 : INSN_MODE_32);
10862660b0fSBorislav Petkov if (ret < 0) {
109d8b167f9SMatt Fleming pr_debug("Failed to decode: %s\n", dat->asm_rep);
110d8b167f9SMatt Fleming return -1;
111d8b167f9SMatt Fleming }
112d8b167f9SMatt Fleming
113d8b167f9SMatt Fleming if (insn.length != dat->expected_length) {
114d8b167f9SMatt Fleming pr_debug("Failed to decode length (%d vs expected %d): %s\n",
115d8b167f9SMatt Fleming insn.length, dat->expected_length, dat->asm_rep);
116d8b167f9SMatt Fleming return -1;
117d8b167f9SMatt Fleming }
118d8b167f9SMatt Fleming
119d8b167f9SMatt Fleming op = get_op(dat->expected_op_str);
120d8b167f9SMatt Fleming branch = get_branch(dat->expected_branch_str);
121d8b167f9SMatt Fleming
122d8b167f9SMatt Fleming if (intel_pt_get_insn(dat->data, MAX_INSN_SIZE, x86_64, &intel_pt_insn)) {
123d8b167f9SMatt Fleming pr_debug("Intel PT failed to decode: %s\n", dat->asm_rep);
124d8b167f9SMatt Fleming return -1;
125d8b167f9SMatt Fleming }
126d8b167f9SMatt Fleming
127d8b167f9SMatt Fleming if ((int)intel_pt_insn.op != op) {
128d8b167f9SMatt Fleming pr_debug("Failed to decode 'op' value (%d vs expected %d): %s\n",
129d8b167f9SMatt Fleming intel_pt_insn.op, op, dat->asm_rep);
130d8b167f9SMatt Fleming return -1;
131d8b167f9SMatt Fleming }
132d8b167f9SMatt Fleming
133d8b167f9SMatt Fleming if ((int)intel_pt_insn.branch != branch) {
134d8b167f9SMatt Fleming pr_debug("Failed to decode 'branch' value (%d vs expected %d): %s\n",
135d8b167f9SMatt Fleming intel_pt_insn.branch, branch, dat->asm_rep);
136d8b167f9SMatt Fleming return -1;
137d8b167f9SMatt Fleming }
138d8b167f9SMatt Fleming
139d8b167f9SMatt Fleming if (intel_pt_insn.rel != dat->expected_rel) {
140d8b167f9SMatt Fleming pr_debug("Failed to decode 'rel' value (%#x vs expected %#x): %s\n",
141d8b167f9SMatt Fleming intel_pt_insn.rel, dat->expected_rel, dat->asm_rep);
142d8b167f9SMatt Fleming return -1;
143d8b167f9SMatt Fleming }
144d8b167f9SMatt Fleming
145d8b167f9SMatt Fleming pr_debug("Decoded ok: %s\n", dat->asm_rep);
146d8b167f9SMatt Fleming
147d8b167f9SMatt Fleming return 0;
148d8b167f9SMatt Fleming }
149d8b167f9SMatt Fleming
test_data_set(const struct test_data * dat_set,int x86_64)150d8b167f9SMatt Fleming static int test_data_set(const struct test_data *dat_set, int x86_64)
151d8b167f9SMatt Fleming {
152d8b167f9SMatt Fleming const struct test_data *dat;
153d8b167f9SMatt Fleming int ret = 0;
154d8b167f9SMatt Fleming
155d8b167f9SMatt Fleming for (dat = dat_set; dat->expected_length; dat++) {
156d8b167f9SMatt Fleming if (test_data_item(dat, x86_64))
157d8b167f9SMatt Fleming ret = -1;
158d8b167f9SMatt Fleming }
159d8b167f9SMatt Fleming
160d8b167f9SMatt Fleming return ret;
161d8b167f9SMatt Fleming }
162d8b167f9SMatt Fleming
163d8b167f9SMatt Fleming /**
164d8b167f9SMatt Fleming * test__insn_x86 - test x86 instruction decoder - new instructions.
165d8b167f9SMatt Fleming *
166d8b167f9SMatt Fleming * This function implements a test that decodes a selection of instructions and
167d8b167f9SMatt Fleming * checks the results. The Intel PT function that further categorizes
168d8b167f9SMatt Fleming * instructions (i.e. intel_pt_get_insn()) is also checked.
169d8b167f9SMatt Fleming *
170d8b167f9SMatt Fleming * The instructions are originally in insn-x86-dat-src.c which has been
171d8b167f9SMatt Fleming * processed by scripts gen-insn-x86-dat.sh and gen-insn-x86-dat.awk to produce
172d8b167f9SMatt Fleming * insn-x86-dat-32.c and insn-x86-dat-64.c which are included into this program.
173d8b167f9SMatt Fleming * i.e. to add new instructions to the test, edit insn-x86-dat-src.c, run the
174d8b167f9SMatt Fleming * gen-insn-x86-dat.sh script, make perf, and then run the test.
175d8b167f9SMatt Fleming *
176d8b167f9SMatt Fleming * If the test passes %0 is returned, otherwise %-1 is returned. Use the
177d8b167f9SMatt Fleming * verbose (-v) option to see all the instructions and whether or not they
178adba1634SIngo Molnar * decoded successfully.
179d8b167f9SMatt Fleming */
test__insn_x86(struct test_suite * test __maybe_unused,int subtest __maybe_unused)18033f44bfdSIan Rogers int test__insn_x86(struct test_suite *test __maybe_unused, int subtest __maybe_unused)
181d8b167f9SMatt Fleming {
182d8b167f9SMatt Fleming int ret = 0;
183d8b167f9SMatt Fleming
184d8b167f9SMatt Fleming if (test_data_set(test_data_32, 0))
185d8b167f9SMatt Fleming ret = -1;
186d8b167f9SMatt Fleming
187d8b167f9SMatt Fleming if (test_data_set(test_data_64, 1))
188d8b167f9SMatt Fleming ret = -1;
189d8b167f9SMatt Fleming
190d8b167f9SMatt Fleming return ret;
191d8b167f9SMatt Fleming }
192