xref: /aosp_15_r20/external/capstone/suite/cstest/src/arm64_detail.c (revision 9a0e4156d50a75a99ec4f1653a0e9602a5d45c18)
1*9a0e4156SSadaf Ebrahimi /* Capstone testing regression */
2*9a0e4156SSadaf Ebrahimi /* By Do Minh Tuan <[email protected]>, 02-2019 */
3*9a0e4156SSadaf Ebrahimi 
4*9a0e4156SSadaf Ebrahimi 
5*9a0e4156SSadaf Ebrahimi #include "factory.h"
6*9a0e4156SSadaf Ebrahimi 
get_detail_arm64(csh * handle,cs_mode mode,cs_insn * ins)7*9a0e4156SSadaf Ebrahimi char *get_detail_arm64(csh *handle, cs_mode mode, cs_insn *ins)
8*9a0e4156SSadaf Ebrahimi {
9*9a0e4156SSadaf Ebrahimi 	cs_arm64 *arm64;
10*9a0e4156SSadaf Ebrahimi 	int i;
11*9a0e4156SSadaf Ebrahimi 	cs_regs regs_read, regs_write;
12*9a0e4156SSadaf Ebrahimi 	uint8_t regs_read_count, regs_write_count;
13*9a0e4156SSadaf Ebrahimi 	uint8_t access;
14*9a0e4156SSadaf Ebrahimi 	char *result;
15*9a0e4156SSadaf Ebrahimi 
16*9a0e4156SSadaf Ebrahimi 	result = (char *)malloc(sizeof(char));
17*9a0e4156SSadaf Ebrahimi 	result[0] = '\0';
18*9a0e4156SSadaf Ebrahimi 
19*9a0e4156SSadaf Ebrahimi 	// detail can be NULL if SKIPDATA option is turned ON
20*9a0e4156SSadaf Ebrahimi 	if (ins->detail == NULL)
21*9a0e4156SSadaf Ebrahimi 		return result;
22*9a0e4156SSadaf Ebrahimi 
23*9a0e4156SSadaf Ebrahimi 	arm64 = &(ins->detail->arm64);
24*9a0e4156SSadaf Ebrahimi 	if (arm64->op_count)
25*9a0e4156SSadaf Ebrahimi 		add_str(&result, " ; op_count: %u", arm64->op_count);
26*9a0e4156SSadaf Ebrahimi 
27*9a0e4156SSadaf Ebrahimi 	for (i = 0; i < arm64->op_count; i++) {
28*9a0e4156SSadaf Ebrahimi 		cs_arm64_op *op = &(arm64->operands[i]);
29*9a0e4156SSadaf Ebrahimi 		switch(op->type) {
30*9a0e4156SSadaf Ebrahimi 			default:
31*9a0e4156SSadaf Ebrahimi 				break;
32*9a0e4156SSadaf Ebrahimi 			case ARM64_OP_REG:
33*9a0e4156SSadaf Ebrahimi 				add_str(&result, " ; operands[%u].type: REG = %s", i, cs_reg_name(*handle, op->reg));
34*9a0e4156SSadaf Ebrahimi 				break;
35*9a0e4156SSadaf Ebrahimi 			case ARM64_OP_IMM:
36*9a0e4156SSadaf Ebrahimi 				add_str(&result, " ; operands[%u].type: IMM = 0x%" PRIx64 "", i, op->imm);
37*9a0e4156SSadaf Ebrahimi 				break;
38*9a0e4156SSadaf Ebrahimi 			case ARM64_OP_FP:
39*9a0e4156SSadaf Ebrahimi #if defined(_KERNEL_MODE)
40*9a0e4156SSadaf Ebrahimi 				// Issue #681: Windows kernel does not support formatting float point
41*9a0e4156SSadaf Ebrahimi 				add_str(&result, " ; operands[%u].type: FP = <float_point_unsupported>", i);
42*9a0e4156SSadaf Ebrahimi #else
43*9a0e4156SSadaf Ebrahimi 				add_str(&result, " ; operands[%u].type: FP = %f", i, op->fp);
44*9a0e4156SSadaf Ebrahimi #endif
45*9a0e4156SSadaf Ebrahimi 				break;
46*9a0e4156SSadaf Ebrahimi 			case ARM64_OP_MEM:
47*9a0e4156SSadaf Ebrahimi 				add_str(&result, " ; operands[%u].type: MEM", i);
48*9a0e4156SSadaf Ebrahimi 				if (op->mem.base != ARM64_REG_INVALID)
49*9a0e4156SSadaf Ebrahimi 					add_str(&result, " ; operands[%u].mem.base: REG = %s", i, cs_reg_name(*handle, op->mem.base));
50*9a0e4156SSadaf Ebrahimi 				if (op->mem.index != ARM64_REG_INVALID)
51*9a0e4156SSadaf Ebrahimi 					add_str(&result, " ; operands[%u].mem.index: REG = %s", i, cs_reg_name(*handle, op->mem.index));
52*9a0e4156SSadaf Ebrahimi 				if (op->mem.disp != 0)
53*9a0e4156SSadaf Ebrahimi 					add_str(&result, " ; operands[%u].mem.disp: 0x%x", i, op->mem.disp);
54*9a0e4156SSadaf Ebrahimi 
55*9a0e4156SSadaf Ebrahimi 				break;
56*9a0e4156SSadaf Ebrahimi 			case ARM64_OP_CIMM:
57*9a0e4156SSadaf Ebrahimi 				add_str(&result, " ; operands[%u].type: C-IMM = %u", i, (int)op->imm);
58*9a0e4156SSadaf Ebrahimi 				break;
59*9a0e4156SSadaf Ebrahimi 			case ARM64_OP_REG_MRS:
60*9a0e4156SSadaf Ebrahimi 				add_str(&result, " ; operands[%u].type: REG_MRS = 0x%x", i, op->reg);
61*9a0e4156SSadaf Ebrahimi 				break;
62*9a0e4156SSadaf Ebrahimi 			case ARM64_OP_REG_MSR:
63*9a0e4156SSadaf Ebrahimi 				add_str(&result, " ; operands[%u].type: REG_MSR = 0x%x", i, op->reg);
64*9a0e4156SSadaf Ebrahimi 				break;
65*9a0e4156SSadaf Ebrahimi 			case ARM64_OP_PSTATE:
66*9a0e4156SSadaf Ebrahimi 				add_str(&result, " ; operands[%u].type: PSTATE = 0x%x", i, op->pstate);
67*9a0e4156SSadaf Ebrahimi 				break;
68*9a0e4156SSadaf Ebrahimi 			case ARM64_OP_SYS:
69*9a0e4156SSadaf Ebrahimi 				add_str(&result, " ; operands[%u].type: SYS = 0x%x", i, op->sys);
70*9a0e4156SSadaf Ebrahimi 				break;
71*9a0e4156SSadaf Ebrahimi 			case ARM64_OP_PREFETCH:
72*9a0e4156SSadaf Ebrahimi 				add_str(&result, " ; operands[%u].type: PREFETCH = 0x%x", i, op->prefetch);
73*9a0e4156SSadaf Ebrahimi 				break;
74*9a0e4156SSadaf Ebrahimi 			case ARM64_OP_BARRIER:
75*9a0e4156SSadaf Ebrahimi 				add_str(&result, " ; operands[%u].type: BARRIER = 0x%x", i, op->barrier);
76*9a0e4156SSadaf Ebrahimi 				break;
77*9a0e4156SSadaf Ebrahimi 		}
78*9a0e4156SSadaf Ebrahimi 
79*9a0e4156SSadaf Ebrahimi 		access = op->access;
80*9a0e4156SSadaf Ebrahimi 		switch(access) {
81*9a0e4156SSadaf Ebrahimi 			default:
82*9a0e4156SSadaf Ebrahimi 				break;
83*9a0e4156SSadaf Ebrahimi 			case CS_AC_READ:
84*9a0e4156SSadaf Ebrahimi 				add_str(&result, " ; operands[%u].access: READ", i);
85*9a0e4156SSadaf Ebrahimi 				break;
86*9a0e4156SSadaf Ebrahimi 			case CS_AC_WRITE:
87*9a0e4156SSadaf Ebrahimi 				add_str(&result, " ; operands[%u].access: WRITE", i);
88*9a0e4156SSadaf Ebrahimi 				break;
89*9a0e4156SSadaf Ebrahimi 			case CS_AC_READ | CS_AC_WRITE:
90*9a0e4156SSadaf Ebrahimi 				add_str(&result, " ; operands[%u].access: READ | WRITE", i);
91*9a0e4156SSadaf Ebrahimi 				break;
92*9a0e4156SSadaf Ebrahimi 		}
93*9a0e4156SSadaf Ebrahimi 
94*9a0e4156SSadaf Ebrahimi 		if (op->shift.type != ARM64_SFT_INVALID && op->shift.value)
95*9a0e4156SSadaf Ebrahimi 			add_str(&result, " ; Shift: type = %u, value = %u", op->shift.type, op->shift.value);
96*9a0e4156SSadaf Ebrahimi 
97*9a0e4156SSadaf Ebrahimi 		if (op->ext != ARM64_EXT_INVALID)
98*9a0e4156SSadaf Ebrahimi 			add_str(&result, " ; Ext: %u", op->ext);
99*9a0e4156SSadaf Ebrahimi 
100*9a0e4156SSadaf Ebrahimi 		if (op->vas != ARM64_VAS_INVALID)
101*9a0e4156SSadaf Ebrahimi 			add_str(&result, " ; Vector Arrangement Specifier: 0x%x", op->vas);
102*9a0e4156SSadaf Ebrahimi 
103*9a0e4156SSadaf Ebrahimi 		if (op->vess != ARM64_VESS_INVALID)
104*9a0e4156SSadaf Ebrahimi 			add_str(&result, " ; Vector Element Size Specifier: %u", op->vess);
105*9a0e4156SSadaf Ebrahimi 
106*9a0e4156SSadaf Ebrahimi 		if (op->vector_index != -1)
107*9a0e4156SSadaf Ebrahimi 			add_str(&result, " ; Vector Index: %u", op->vector_index);
108*9a0e4156SSadaf Ebrahimi 	}
109*9a0e4156SSadaf Ebrahimi 
110*9a0e4156SSadaf Ebrahimi 	if (arm64->update_flags)
111*9a0e4156SSadaf Ebrahimi 		add_str(&result, " ; Update-flags: True");
112*9a0e4156SSadaf Ebrahimi 
113*9a0e4156SSadaf Ebrahimi 	if (arm64->writeback)
114*9a0e4156SSadaf Ebrahimi 		add_str(&result, " ; Write-back: True");
115*9a0e4156SSadaf Ebrahimi 
116*9a0e4156SSadaf Ebrahimi 	if (arm64->cc)
117*9a0e4156SSadaf Ebrahimi 		add_str(&result, " ; Code-condition: %u", arm64->cc);
118*9a0e4156SSadaf Ebrahimi 
119*9a0e4156SSadaf Ebrahimi 	if (!cs_regs_access(*handle, ins, regs_read, &regs_read_count, regs_write, &regs_write_count)) {
120*9a0e4156SSadaf Ebrahimi 		if (regs_read_count) {
121*9a0e4156SSadaf Ebrahimi 			add_str(&result, " ; Registers read:");
122*9a0e4156SSadaf Ebrahimi 			for(i = 0; i < regs_read_count; i++) {
123*9a0e4156SSadaf Ebrahimi 				add_str(&result, " %s", cs_reg_name(*handle, regs_read[i]));
124*9a0e4156SSadaf Ebrahimi 			}
125*9a0e4156SSadaf Ebrahimi 		}
126*9a0e4156SSadaf Ebrahimi 
127*9a0e4156SSadaf Ebrahimi 		if (regs_write_count) {
128*9a0e4156SSadaf Ebrahimi 			add_str(&result, " ; Registers modified:");
129*9a0e4156SSadaf Ebrahimi 			for(i = 0; i < regs_write_count; i++) {
130*9a0e4156SSadaf Ebrahimi 				add_str(&result, " %s", cs_reg_name(*handle, regs_write[i]));
131*9a0e4156SSadaf Ebrahimi 			}
132*9a0e4156SSadaf Ebrahimi 		}
133*9a0e4156SSadaf Ebrahimi 	}
134*9a0e4156SSadaf Ebrahimi 
135*9a0e4156SSadaf Ebrahimi 	return result;
136*9a0e4156SSadaf Ebrahimi }
137