Coverage Report

Created: 2026-11-12 06:22

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/capstonenext/arch/X86/X86InstPrinterCommon.c
Line
Count
Source
1
//===--- X86InstPrinterCommon.cpp - X86 assembly instruction printing -----===//
2
//
3
//                     The LLVM Compiler Infrastructure
4
//
5
// This file is distributed under the University of Illinois Open Source
6
// License. See LICENSE.TXT for details.
7
//
8
//===----------------------------------------------------------------------===//
9
//
10
// This file includes common code for rendering MCInst instances as Intel-style
11
// and Intel-style assembly.
12
//
13
//===----------------------------------------------------------------------===//
14
15
/* Capstone Disassembly Engine */
16
/* By Nguyen Anh Quynh <aquynh@gmail.com>, 2013-2019 */
17
18
#ifdef _MSC_VER
19
// disable MSVC's warning on strncpy()
20
#pragma warning(disable : 4996)
21
// disable MSVC's warning on strncpy()
22
#pragma warning(disable : 28719)
23
#endif
24
25
#if !defined(CAPSTONE_HAS_OSXKERNEL)
26
#include <ctype.h>
27
#endif
28
#include <capstone/platform.h>
29
30
#if defined(CAPSTONE_HAS_OSXKERNEL)
31
#include <Availability.h>
32
#include <libkern/libkern.h>
33
#else
34
#include <stdio.h>
35
#include <stdlib.h>
36
#endif
37
38
#include <string.h>
39
40
#include "../../utils.h"
41
#include "../../MCInst.h"
42
#include "../../SStream.h"
43
44
#include "X86InstPrinterCommon.h"
45
#include "X86Mapping.h"
46
47
#ifndef CAPSTONE_X86_REDUCE
48
void printSSEAVXCC(MCInst *MI, unsigned Op, SStream *O)
49
21.7k
{
50
21.7k
  uint8_t Imm =
51
21.7k
    (uint8_t)(MCOperand_getImm(MCInst_getOperand(MI, Op)) & 0x1f);
52
21.7k
  switch (Imm) {
53
0
  default:
54
0
    break; //printf("Invalid avxcc argument!\n"); break;
55
10.9k
  case 0:
56
10.9k
    SStream_concat0(O, "eq");
57
10.9k
    op_addAvxCC(MI, X86_AVX_CC_EQ);
58
10.9k
    break;
59
1.52k
  case 1:
60
1.52k
    SStream_concat0(O, "lt");
61
1.52k
    op_addAvxCC(MI, X86_AVX_CC_LT);
62
1.52k
    break;
63
1.20k
  case 2:
64
1.20k
    SStream_concat0(O, "le");
65
1.20k
    op_addAvxCC(MI, X86_AVX_CC_LE);
66
1.20k
    break;
67
618
  case 3:
68
618
    SStream_concat0(O, "unord");
69
618
    op_addAvxCC(MI, X86_AVX_CC_UNORD);
70
618
    break;
71
161
  case 4:
72
161
    SStream_concat0(O, "neq");
73
161
    op_addAvxCC(MI, X86_AVX_CC_NEQ);
74
161
    break;
75
396
  case 5:
76
396
    SStream_concat0(O, "nlt");
77
396
    op_addAvxCC(MI, X86_AVX_CC_NLT);
78
396
    break;
79
583
  case 6:
80
583
    SStream_concat0(O, "nle");
81
583
    op_addAvxCC(MI, X86_AVX_CC_NLE);
82
583
    break;
83
324
  case 7:
84
324
    SStream_concat0(O, "ord");
85
324
    op_addAvxCC(MI, X86_AVX_CC_ORD);
86
324
    break;
87
128
  case 8:
88
128
    SStream_concat0(O, "eq_uq");
89
128
    op_addAvxCC(MI, X86_AVX_CC_EQ_UQ);
90
128
    break;
91
281
  case 9:
92
281
    SStream_concat0(O, "nge");
93
281
    op_addAvxCC(MI, X86_AVX_CC_NGE);
94
281
    break;
95
87
  case 0xa:
96
87
    SStream_concat0(O, "ngt");
97
87
    op_addAvxCC(MI, X86_AVX_CC_NGT);
98
87
    break;
99
366
  case 0xb:
100
366
    SStream_concat0(O, "false");
101
366
    op_addAvxCC(MI, X86_AVX_CC_FALSE);
102
366
    break;
103
28
  case 0xc:
104
28
    SStream_concat0(O, "neq_oq");
105
28
    op_addAvxCC(MI, X86_AVX_CC_NEQ_OQ);
106
28
    break;
107
491
  case 0xd:
108
491
    SStream_concat0(O, "ge");
109
491
    op_addAvxCC(MI, X86_AVX_CC_GE);
110
491
    break;
111
180
  case 0xe:
112
180
    SStream_concat0(O, "gt");
113
180
    op_addAvxCC(MI, X86_AVX_CC_GT);
114
180
    break;
115
222
  case 0xf:
116
222
    SStream_concat0(O, "true");
117
222
    op_addAvxCC(MI, X86_AVX_CC_TRUE);
118
222
    break;
119
266
  case 0x10:
120
266
    SStream_concat0(O, "eq_os");
121
266
    op_addAvxCC(MI, X86_AVX_CC_EQ_OS);
122
266
    break;
123
688
  case 0x11:
124
688
    SStream_concat0(O, "lt_oq");
125
688
    op_addAvxCC(MI, X86_AVX_CC_LT_OQ);
126
688
    break;
127
216
  case 0x12:
128
216
    SStream_concat0(O, "le_oq");
129
216
    op_addAvxCC(MI, X86_AVX_CC_LE_OQ);
130
216
    break;
131
212
  case 0x13:
132
212
    SStream_concat0(O, "unord_s");
133
212
    op_addAvxCC(MI, X86_AVX_CC_UNORD_S);
134
212
    break;
135
175
  case 0x14:
136
175
    SStream_concat0(O, "neq_us");
137
175
    op_addAvxCC(MI, X86_AVX_CC_NEQ_US);
138
175
    break;
139
687
  case 0x15:
140
687
    SStream_concat0(O, "nlt_uq");
141
687
    op_addAvxCC(MI, X86_AVX_CC_NLT_UQ);
142
687
    break;
143
119
  case 0x16:
144
119
    SStream_concat0(O, "nle_uq");
145
119
    op_addAvxCC(MI, X86_AVX_CC_NLE_UQ);
146
119
    break;
147
37
  case 0x17:
148
37
    SStream_concat0(O, "ord_s");
149
37
    op_addAvxCC(MI, X86_AVX_CC_ORD_S);
150
37
    break;
151
376
  case 0x18:
152
376
    SStream_concat0(O, "eq_us");
153
376
    op_addAvxCC(MI, X86_AVX_CC_EQ_US);
154
376
    break;
155
249
  case 0x19:
156
249
    SStream_concat0(O, "nge_uq");
157
249
    op_addAvxCC(MI, X86_AVX_CC_NGE_UQ);
158
249
    break;
159
58
  case 0x1a:
160
58
    SStream_concat0(O, "ngt_uq");
161
58
    op_addAvxCC(MI, X86_AVX_CC_NGT_UQ);
162
58
    break;
163
309
  case 0x1b:
164
309
    SStream_concat0(O, "false_os");
165
309
    op_addAvxCC(MI, X86_AVX_CC_FALSE_OS);
166
309
    break;
167
90
  case 0x1c:
168
90
    SStream_concat0(O, "neq_os");
169
90
    op_addAvxCC(MI, X86_AVX_CC_NEQ_OS);
170
90
    break;
171
311
  case 0x1d:
172
311
    SStream_concat0(O, "ge_oq");
173
311
    op_addAvxCC(MI, X86_AVX_CC_GE_OQ);
174
311
    break;
175
263
  case 0x1e:
176
263
    SStream_concat0(O, "gt_oq");
177
263
    op_addAvxCC(MI, X86_AVX_CC_GT_OQ);
178
263
    break;
179
163
  case 0x1f:
180
163
    SStream_concat0(O, "true_us");
181
163
    op_addAvxCC(MI, X86_AVX_CC_TRUE_US);
182
163
    break;
183
21.7k
  }
184
185
21.7k
  MI->popcode_adjust = Imm + 1;
186
21.7k
}
187
188
void printXOPCC(MCInst *MI, unsigned Op, SStream *O)
189
4.40k
{
190
4.40k
  int64_t Imm = MCOperand_getImm(MCInst_getOperand(MI, Op));
191
192
4.40k
  switch (Imm) {
193
0
  default: // llvm_unreachable("Invalid xopcc argument!");
194
1.25k
  case 0:
195
1.25k
    SStream_concat0(O, "lt");
196
1.25k
    op_addXopCC(MI, X86_XOP_CC_LT);
197
1.25k
    break;
198
284
  case 1:
199
284
    SStream_concat0(O, "le");
200
284
    op_addXopCC(MI, X86_XOP_CC_LE);
201
284
    break;
202
506
  case 2:
203
506
    SStream_concat0(O, "gt");
204
506
    op_addXopCC(MI, X86_XOP_CC_GT);
205
506
    break;
206
108
  case 3:
207
108
    SStream_concat0(O, "ge");
208
108
    op_addXopCC(MI, X86_XOP_CC_GE);
209
108
    break;
210
358
  case 4:
211
358
    SStream_concat0(O, "eq");
212
358
    op_addXopCC(MI, X86_XOP_CC_EQ);
213
358
    break;
214
202
  case 5:
215
202
    SStream_concat0(O, "neq");
216
202
    op_addXopCC(MI, X86_XOP_CC_NEQ);
217
202
    break;
218
395
  case 6:
219
395
    SStream_concat0(O, "false");
220
395
    op_addXopCC(MI, X86_XOP_CC_FALSE);
221
395
    break;
222
1.29k
  case 7:
223
1.29k
    SStream_concat0(O, "true");
224
1.29k
    op_addXopCC(MI, X86_XOP_CC_TRUE);
225
1.29k
    break;
226
4.40k
  }
227
4.40k
}
228
229
void printRoundingControl(MCInst *MI, unsigned Op, SStream *O)
230
5.74k
{
231
5.74k
  int64_t Imm = MCOperand_getImm(MCInst_getOperand(MI, Op)) & 0x3;
232
5.74k
  switch (Imm) {
233
2.41k
  case 0:
234
2.41k
    SStream_concat0(O, "{rn-sae}");
235
2.41k
    op_addAvxSae(MI);
236
2.41k
    op_addAvxRoundingMode(MI, X86_AVX_RM_RN);
237
2.41k
    break;
238
1.26k
  case 1:
239
1.26k
    SStream_concat0(O, "{rd-sae}");
240
1.26k
    op_addAvxSae(MI);
241
1.26k
    op_addAvxRoundingMode(MI, X86_AVX_RM_RD);
242
1.26k
    break;
243
1.09k
  case 2:
244
1.09k
    SStream_concat0(O, "{ru-sae}");
245
1.09k
    op_addAvxSae(MI);
246
1.09k
    op_addAvxRoundingMode(MI, X86_AVX_RM_RU);
247
1.09k
    break;
248
961
  case 3:
249
961
    SStream_concat0(O, "{rz-sae}");
250
961
    op_addAvxSae(MI);
251
961
    op_addAvxRoundingMode(MI, X86_AVX_RM_RZ);
252
961
    break;
253
0
  default:
254
0
    break; // never reach
255
5.74k
  }
256
5.74k
}
257
#endif
258
259
#if !defined(CAPSTONE_DIET) && !defined(CAPSTONE_X86_ATT_DISABLE)
260
// text with detail off, then the detail from the other syntax's printer
261
void X86_printInst_detail_syntax(MCInst *MI, SStream *OS, void *info,
262
         void (*text)(MCInst *, SStream *, void *),
263
         void (*detail)(MCInst *, SStream *, void *),
264
         int detail_syntax)
265
0
{
266
0
  MCInst before = *MI;
267
0
  cs_opt_value detail_opt = MI->csh->detail_opt;
268
0
  int syntax = MI->csh->syntax;
269
0
  SStream scratch;
270
271
0
  MI->csh->detail_opt = CS_OPT_OFF;
272
0
  text(MI, OS, info);
273
0
  *MI = before;
274
  // order flags masked so the other printer's wrapper does not bounce back
275
0
  MI->csh->detail_opt =
276
0
    (cs_opt_value)((detail_opt & ~(CS_OPT_DETAIL_INTEL_ORDER |
277
0
                 CS_OPT_DETAIL_ATT_ORDER)) |
278
0
             CS_OPT_ON);
279
0
  MI->csh->syntax = detail_syntax;
280
0
  SStream_Init(&scratch);
281
0
  detail(MI, &scratch, info);
282
0
  MI->csh->syntax = syntax;
283
0
  MI->csh->detail_opt = detail_opt;
284
0
}
285
#endif