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