infix
A JIT-Powered FFI Library for C
Loading...
Searching...
No Matches
emit_math.c
Go to the documentation of this file.
1
13#include "emit/emit_math.h"
14#include "emit/emit.h"
15#include "emit_internals.h"
16#include <stdio.h>
17#include <string.h>
18
19#define EMIT_CHECK(x) \
20 do { \
21 infix_status _s = (x); \
22 if (_s != INFIX_SUCCESS) \
23 return _s; \
24 } while (0)
25
26#define EMIT_REG_NEEDS_REX(reg) ((reg) >= 8)
27
28static infix_status emit_x86_rex(emit_context_t * ctx, bool w, bool r, bool x, bool b) {
29 if (ctx->arch == EMIT_ARCH_X86_64 && (w || r || x || b)) {
30 uint8_t rex = 0x40 | (w << 3) | (r << 2) | (x << 1) | b;
31 return emit_emit_u8(ctx, rex);
32 }
33 return INFIX_SUCCESS;
34}
35
36INFIX_API infix_status emit_math_mov_imm(emit_context_t * ctx, emit_register_t dest, uint64_t imm) {
37 _infix_clear_error();
38 if (!ctx)
39 return INFIX_ERROR_INVALID_ARGUMENT;
40 if (ctx->arch == EMIT_ARCH_X86_64) {
41 EMIT_CHECK(emit_x86_rex(ctx, true, false, false, EMIT_REG_NEEDS_REX(dest)));
42 EMIT_CHECK(emit_emit_u8(ctx, 0xB8 | (dest & 0x07)));
43 EMIT_CHECK(emit_emit_u64(ctx, imm));
44 }
45 return INFIX_SUCCESS;
46}
47INFIX_API infix_status emit_math_movq_gpr_xmm(emit_context_t * ctx, emit_register_t gpr_dest, emit_register_t xmm_src) {
48 if (ctx->arch == EMIT_ARCH_X86_64) {
49 /* MOVQ r64, xmm -> 66 REX.W 0F 7E /r */
50 EMIT_CHECK(emit_emit_u8(ctx, 0x66));
51 EMIT_CHECK(emit_x86_rex(ctx, true, EMIT_REG_NEEDS_REX(xmm_src), false, EMIT_REG_NEEDS_REX(gpr_dest)));
52 EMIT_CHECK(emit_emit_u8(ctx, 0x0F));
53 EMIT_CHECK(emit_emit_u8(ctx, 0x7E));
54 EMIT_CHECK(emit_emit_u8(ctx, 0xC0 | ((xmm_src & 0x07) << 3) | (gpr_dest & 0x07)));
55 }
56 return INFIX_SUCCESS;
57}
58INFIX_API infix_status emit_math_mov_reg(emit_context_t * ctx, emit_register_t dest, emit_register_t src) {
59 _infix_clear_error();
60 if (!ctx)
61 return INFIX_ERROR_INVALID_ARGUMENT;
62 if (ctx->arch == EMIT_ARCH_X86_64) {
63 EMIT_CHECK(emit_x86_rex(ctx, true, EMIT_REG_NEEDS_REX(src), false, EMIT_REG_NEEDS_REX(dest)));
64 EMIT_CHECK(emit_emit_u8(ctx, 0x89));
65 EMIT_CHECK(emit_emit_u8(ctx, 0xC0 | ((src & 0x07) << 3) | (dest & 0x07)));
66 }
67 return INFIX_SUCCESS;
68}
69
70INFIX_API infix_status emit_math_add(emit_context_t * ctx, emit_register_t dest, emit_register_t src) {
71 _infix_clear_error();
72 if (!ctx)
73 return INFIX_ERROR_INVALID_ARGUMENT;
74 if (ctx->arch == EMIT_ARCH_X86_64) {
75 EMIT_CHECK(emit_x86_rex(ctx, true, EMIT_REG_NEEDS_REX(src), false, EMIT_REG_NEEDS_REX(dest)));
76 EMIT_CHECK(emit_emit_u8(ctx, 0x01));
77 EMIT_CHECK(emit_emit_u8(ctx, 0xC0 | ((src & 0x07) << 3) | (dest & 0x07)));
78 }
79 return INFIX_SUCCESS;
80}
81
82INFIX_API infix_status emit_math_add_imm(emit_context_t * ctx, emit_register_t dest, int32_t imm) {
83 _infix_clear_error();
84 if (!ctx)
85 return INFIX_ERROR_INVALID_ARGUMENT;
86 if (ctx->arch == EMIT_ARCH_X86_64) {
87 EMIT_CHECK(emit_x86_rex(ctx, true, false, false, EMIT_REG_NEEDS_REX(dest)));
88 EMIT_CHECK(emit_emit_u8(ctx, 0x81));
89 EMIT_CHECK(emit_emit_u8(ctx, 0xC0 | (dest & 0x07)));
90 EMIT_CHECK(emit_emit_u32(ctx, (uint32_t)imm));
91 }
92 return INFIX_SUCCESS;
93}
94
95INFIX_API infix_status emit_math_sub(emit_context_t * ctx, emit_register_t dest, emit_register_t src) {
96 _infix_clear_error();
97 if (!ctx)
98 return INFIX_ERROR_INVALID_ARGUMENT;
99 if (ctx->arch == EMIT_ARCH_X86_64) {
100 EMIT_CHECK(emit_x86_rex(ctx, true, EMIT_REG_NEEDS_REX(src), false, EMIT_REG_NEEDS_REX(dest)));
101 EMIT_CHECK(emit_emit_u8(ctx, 0x29));
102 EMIT_CHECK(emit_emit_u8(ctx, 0xC0 | ((src & 0x07) << 3) | (dest & 0x07)));
103 }
104 return INFIX_SUCCESS;
105}
106
107INFIX_API infix_status emit_math_sub_imm(emit_context_t * ctx, emit_register_t dest, int32_t imm) {
108 _infix_clear_error();
109 if (!ctx)
110 return INFIX_ERROR_INVALID_ARGUMENT;
111 if (ctx->arch == EMIT_ARCH_X86_64) {
112 EMIT_CHECK(emit_x86_rex(ctx, true, false, false, EMIT_REG_NEEDS_REX(dest)));
113 EMIT_CHECK(emit_emit_u8(ctx, 0x81));
114 EMIT_CHECK(emit_emit_u8(ctx, 0xE8 | (dest & 0x07)));
115 EMIT_CHECK(emit_emit_u32(ctx, (uint32_t)imm));
116 }
117 return INFIX_SUCCESS;
118}
119
120INFIX_API infix_status emit_math_mul(emit_context_t * ctx, emit_register_t src) {
121 _infix_clear_error();
122 if (!ctx)
123 return INFIX_ERROR_INVALID_ARGUMENT;
124 if (ctx->arch == EMIT_ARCH_X86_64) {
125 EMIT_CHECK(emit_x86_rex(ctx, true, false, false, EMIT_REG_NEEDS_REX(src)));
126 EMIT_CHECK(emit_emit_u8(ctx, 0xF7));
127 EMIT_CHECK(emit_emit_u8(ctx, 0xE0 | (src & 0x07)));
128 }
129 return INFIX_SUCCESS;
130}
131
132INFIX_API infix_status emit_math_imul_imm(emit_context_t * ctx, emit_register_t dest, int32_t imm) {
133 _infix_clear_error();
134 if (!ctx)
135 return INFIX_ERROR_INVALID_ARGUMENT;
136 if (ctx->arch == EMIT_ARCH_X86_64) {
137 EMIT_CHECK(emit_x86_rex(ctx, true, EMIT_REG_NEEDS_REX(dest), false, EMIT_REG_NEEDS_REX(dest)));
138 if (imm >= -128 && imm <= 127) {
139 EMIT_CHECK(emit_emit_u8(ctx, 0x6B));
140 EMIT_CHECK(emit_emit_u8(ctx, 0xC0 | ((dest & 0x07) << 3) | (dest & 0x07)));
141 EMIT_CHECK(emit_emit_u8(ctx, (uint8_t)imm));
142 }
143 else {
144 EMIT_CHECK(emit_emit_u8(ctx, 0x69));
145 EMIT_CHECK(emit_emit_u8(ctx, 0xC0 | ((dest & 0x07) << 3) | (dest & 0x07)));
146 EMIT_CHECK(emit_emit_u32(ctx, (uint32_t)imm));
147 }
148 }
149 return INFIX_SUCCESS;
150}
151
152INFIX_API infix_status emit_math_and(emit_context_t * ctx, emit_register_t dest, emit_register_t src) {
153 _infix_clear_error();
154 if (!ctx)
155 return INFIX_ERROR_INVALID_ARGUMENT;
156 if (ctx->arch == EMIT_ARCH_X86_64) {
157 EMIT_CHECK(emit_x86_rex(ctx, true, EMIT_REG_NEEDS_REX(src), false, EMIT_REG_NEEDS_REX(dest)));
158 EMIT_CHECK(emit_emit_u8(ctx, 0x21));
159 EMIT_CHECK(emit_emit_u8(ctx, 0xC0 | ((src & 0x07) << 3) | (dest & 0x07)));
160 }
161 return INFIX_SUCCESS;
162}
163
164INFIX_API infix_status emit_math_or(emit_context_t * ctx, emit_register_t dest, emit_register_t src) {
165 _infix_clear_error();
166 if (!ctx)
167 return INFIX_ERROR_INVALID_ARGUMENT;
168 if (ctx->arch == EMIT_ARCH_X86_64) {
169 EMIT_CHECK(emit_x86_rex(ctx, true, EMIT_REG_NEEDS_REX(src), false, EMIT_REG_NEEDS_REX(dest)));
170 EMIT_CHECK(emit_emit_u8(ctx, 0x09));
171 EMIT_CHECK(emit_emit_u8(ctx, 0xC0 | ((src & 0x07) << 3) | (dest & 0x07)));
172 }
173 return INFIX_SUCCESS;
174}
175
176INFIX_API infix_status emit_math_xor(emit_context_t * ctx, emit_register_t dest, emit_register_t src) {
177 _infix_clear_error();
178 if (!ctx)
179 return INFIX_ERROR_INVALID_ARGUMENT;
180 if (ctx->arch == EMIT_ARCH_X86_64) {
181 EMIT_CHECK(emit_x86_rex(ctx, true, EMIT_REG_NEEDS_REX(src), false, EMIT_REG_NEEDS_REX(dest)));
182 EMIT_CHECK(emit_emit_u8(ctx, 0x31));
183 EMIT_CHECK(emit_emit_u8(ctx, 0xC0 | ((src & 0x07) << 3) | (dest & 0x07)));
184 }
185 return INFIX_SUCCESS;
186}
187
188INFIX_API infix_status emit_math_not(emit_context_t * ctx, emit_register_t reg) {
189 _infix_clear_error();
190 if (!ctx)
191 return INFIX_ERROR_INVALID_ARGUMENT;
192 if (ctx->arch == EMIT_ARCH_X86_64) {
193 EMIT_CHECK(emit_x86_rex(ctx, true, false, false, EMIT_REG_NEEDS_REX(reg)));
194 EMIT_CHECK(emit_emit_u8(ctx, 0xF7));
195 EMIT_CHECK(emit_emit_u8(ctx, 0xD0 | (reg & 0x07)));
196 }
197 return INFIX_SUCCESS;
198}
199
200INFIX_API infix_status emit_math_neg(emit_context_t * ctx, emit_register_t reg) {
201 _infix_clear_error();
202 if (!ctx)
203 return INFIX_ERROR_INVALID_ARGUMENT;
204 if (ctx->arch == EMIT_ARCH_X86_64) {
205 EMIT_CHECK(emit_x86_rex(ctx, true, false, false, EMIT_REG_NEEDS_REX(reg)));
206 EMIT_CHECK(emit_emit_u8(ctx, 0xF7));
207 EMIT_CHECK(emit_emit_u8(ctx, 0xD8 | (reg & 0x07)));
208 }
209 return INFIX_SUCCESS;
210}
211
212INFIX_API infix_status emit_math_shl(emit_context_t * ctx, emit_register_t dest, emit_register_t src) {
213 _infix_clear_error();
214 if (!ctx)
215 return INFIX_ERROR_INVALID_ARGUMENT;
216 if (ctx->arch == EMIT_ARCH_X86_64) {
217 if (src != EMIT_REG_RCX)
218 return INFIX_ERROR_INVALID_ARGUMENT;
219 EMIT_CHECK(emit_x86_rex(ctx, true, false, false, EMIT_REG_NEEDS_REX(dest)));
220 EMIT_CHECK(emit_emit_u8(ctx, 0xD3));
221 EMIT_CHECK(emit_emit_u8(ctx, 0xE0 | (dest & 0x07)));
222 }
223 return INFIX_SUCCESS;
224}
225
226INFIX_API infix_status emit_math_shr(emit_context_t * ctx, emit_register_t dest, emit_register_t src) {
227 _infix_clear_error();
228 if (!ctx)
229 return INFIX_ERROR_INVALID_ARGUMENT;
230 if (ctx->arch == EMIT_ARCH_X86_64) {
231 if (src != EMIT_REG_RCX)
232 return INFIX_ERROR_INVALID_ARGUMENT;
233 EMIT_CHECK(emit_x86_rex(ctx, true, false, false, EMIT_REG_NEEDS_REX(dest)));
234 EMIT_CHECK(emit_emit_u8(ctx, 0xD3));
235 EMIT_CHECK(emit_emit_u8(ctx, 0xE8 | (dest & 0x07)));
236 }
237 return INFIX_SUCCESS;
238}
239
240INFIX_API infix_status emit_math_cmp(emit_context_t * ctx, emit_register_t a, emit_register_t b) {
241 _infix_clear_error();
242 if (!ctx)
243 return INFIX_ERROR_INVALID_ARGUMENT;
244 if (ctx->arch == EMIT_ARCH_X86_64) {
245 EMIT_CHECK(emit_x86_rex(ctx, true, EMIT_REG_NEEDS_REX(b), false, EMIT_REG_NEEDS_REX(a)));
246 EMIT_CHECK(emit_emit_u8(ctx, 0x39));
247 EMIT_CHECK(emit_emit_u8(ctx, 0xC0 | ((b & 0x07) << 3) | (a & 0x07)));
248 }
249 return INFIX_SUCCESS;
250}
251
252INFIX_API infix_status emit_math_cmp_imm(emit_context_t * ctx, emit_register_t reg, int32_t imm) {
253 _infix_clear_error();
254 if (!ctx)
255 return INFIX_ERROR_INVALID_ARGUMENT;
256 if (ctx->arch == EMIT_ARCH_X86_64) {
257 EMIT_CHECK(emit_x86_rex(ctx, true, false, false, EMIT_REG_NEEDS_REX(reg)));
258 EMIT_CHECK(emit_emit_u8(ctx, 0x81));
259 EMIT_CHECK(emit_emit_u8(ctx, 0xF8 | (reg & 0x07)));
260 EMIT_CHECK(emit_emit_u32(ctx, (uint32_t)imm));
261 }
262 return INFIX_SUCCESS;
263}
264
265INFIX_API infix_status emit_math_test(emit_context_t * ctx, emit_register_t a, emit_register_t b) {
266 _infix_clear_error();
267 if (!ctx)
268 return INFIX_ERROR_INVALID_ARGUMENT;
269 if (ctx->arch == EMIT_ARCH_X86_64) {
270 EMIT_CHECK(emit_x86_rex(ctx, true, EMIT_REG_NEEDS_REX(b), false, EMIT_REG_NEEDS_REX(a)));
271 EMIT_CHECK(emit_emit_u8(ctx, 0x85));
272 EMIT_CHECK(emit_emit_u8(ctx, 0xC0 | ((b & 0x07) << 3) | (a & 0x07)));
273 }
274 return INFIX_SUCCESS;
275}
276
277static const uint8_t x86_jcc_opcodes[16] = {
278 0x80, 0x81, 0x82, 0x83, 0x84, 0x85, 0x86, 0x87, 0x88, 0x89, 0x8A, 0x8B, 0x8C, 0x8D, 0x8E, 0x8F};
279
280INFIX_API infix_status emit_math_jmp(emit_context_t * ctx, const char * label) {
281 _infix_clear_error();
282 if (!ctx)
283 return INFIX_ERROR_INVALID_ARGUMENT;
284 if (ctx->arch == EMIT_ARCH_X86_64) {
285 uint64_t jump_offset = ctx->current_section->size;
286 EMIT_CHECK(emit_emit_u8(ctx, 0xE9));
287 EMIT_CHECK(emit_emit_u32(ctx, 0));
288 EMIT_CHECK(emit_add_relocation(ctx, label, jump_offset + 1, 4, 5));
289 }
290 return INFIX_SUCCESS;
291}
292
293INFIX_API infix_status emit_math_jmp_cc(emit_context_t * ctx, emit_cc_t cc, const char * label) {
294 _infix_clear_error();
295 if (!ctx)
296 return INFIX_ERROR_INVALID_ARGUMENT;
297 if (ctx->arch == EMIT_ARCH_X86_64) {
298 uint64_t jump_offset = ctx->current_section->size;
299 EMIT_CHECK(emit_emit_u8(ctx, 0x0F));
300 EMIT_CHECK(emit_emit_u8(ctx, x86_jcc_opcodes[cc]));
301 EMIT_CHECK(emit_emit_u32(ctx, 0));
302 EMIT_CHECK(emit_add_relocation(ctx, label, jump_offset + 2, 4, 6));
303 }
304 return INFIX_SUCCESS;
305}
306
307INFIX_API infix_status emit_math_call(emit_context_t * ctx, const char * name) {
308 _infix_clear_error();
309 if (!ctx)
310 return INFIX_ERROR_INVALID_ARGUMENT;
311 if (ctx->arch == EMIT_ARCH_X86_64) {
312 uint64_t call_offset = ctx->current_section->size;
313 EMIT_CHECK(emit_emit_u8(ctx, 0xE8));
314 EMIT_CHECK(emit_emit_u32(ctx, 0));
315 EMIT_CHECK(emit_add_relocation(ctx, name, call_offset + 1, 4, 5));
316 }
317 return INFIX_SUCCESS;
318}
319
320INFIX_API infix_status emit_math_prologue(emit_context_t * ctx) {
321 if (ctx->arch == EMIT_ARCH_X86_64) {
322 EMIT_CHECK(emit_emit_u8(ctx, 0x55));
323 EMIT_CHECK(emit_emit_u8(ctx, 0x48));
324 EMIT_CHECK(emit_emit_u8(ctx, 0x8B));
325 EMIT_CHECK(emit_emit_u8(ctx, 0xEC));
326 }
327 return INFIX_SUCCESS;
328}
329
330INFIX_API infix_status emit_math_epilogue(emit_context_t * ctx) {
331 if (ctx->arch == EMIT_ARCH_X86_64) {
332 EMIT_CHECK(emit_emit_u8(ctx, 0xC9));
333 EMIT_CHECK(emit_emit_u8(ctx, 0xC3));
334 }
335 return INFIX_SUCCESS;
336}
337
343
344INFIX_API infix_status emit_math_push(emit_context_t * ctx, emit_register_t reg) {
345 if (ctx->arch == EMIT_ARCH_X86_64) {
346 EMIT_CHECK(emit_x86_rex(ctx, false, false, false, EMIT_REG_NEEDS_REX(reg)));
347 EMIT_CHECK(emit_emit_u8(ctx, 0x50 | (reg & 0x07)));
348 }
349 return INFIX_SUCCESS;
350}
351
352INFIX_API infix_status emit_math_pop(emit_context_t * ctx, emit_register_t reg) {
353 if (ctx->arch == EMIT_ARCH_X86_64) {
354 EMIT_CHECK(emit_x86_rex(ctx, false, false, false, EMIT_REG_NEEDS_REX(reg)));
355 EMIT_CHECK(emit_emit_u8(ctx, 0x58 | (reg & 0x07)));
356 }
357 return INFIX_SUCCESS;
358}
359
360INFIX_API infix_status emit_math_load_reg(emit_context_t * ctx,
361 emit_register_t dest,
362 emit_register_t base,
363 int32_t offset) {
364 if (ctx->arch == EMIT_ARCH_X86_64) {
365 uint8_t mod = (offset == 0 && (base & 0x07) != 5) ? 0x00 : ((offset >= -128 && offset <= 127) ? 0x40 : 0x80);
366 EMIT_CHECK(emit_x86_rex(ctx, true, EMIT_REG_NEEDS_REX(dest), false, EMIT_REG_NEEDS_REX(base)));
367 EMIT_CHECK(emit_emit_u8(ctx, 0x8B));
368 EMIT_CHECK(emit_emit_u8(ctx, mod | ((dest & 0x07) << 3) | (base & 0x07)));
369 if ((base & 0x07) == 4)
370 EMIT_CHECK(emit_emit_u8(ctx, 0x24));
371 if (mod == 0x40)
372 EMIT_CHECK(emit_emit_u8(ctx, (uint8_t)offset));
373 else if (mod == 0x80)
374 EMIT_CHECK(emit_emit_u32(ctx, (uint32_t)offset));
375 }
376 return INFIX_SUCCESS;
377}
378
379INFIX_API infix_status emit_math_store_reg(emit_context_t * ctx,
380 emit_register_t base,
381 int32_t offset,
382 emit_register_t src) {
383 if (ctx->arch == EMIT_ARCH_X86_64) {
384 uint8_t mod = (offset == 0 && (base & 0x07) != 5) ? 0x00 : ((offset >= -128 && offset <= 127) ? 0x40 : 0x80);
385 EMIT_CHECK(emit_x86_rex(ctx, true, EMIT_REG_NEEDS_REX(src), false, EMIT_REG_NEEDS_REX(base)));
386 EMIT_CHECK(emit_emit_u8(ctx, 0x89));
387 EMIT_CHECK(emit_emit_u8(ctx, mod | ((src & 0x07) << 3) | (base & 0x07)));
388 if ((base & 0x07) == 4)
389 EMIT_CHECK(emit_emit_u8(ctx, 0x24));
390 if (mod == 0x40)
391 EMIT_CHECK(emit_emit_u8(ctx, (uint8_t)offset));
392 else if (mod == 0x80)
393 EMIT_CHECK(emit_emit_u32(ctx, (uint32_t)offset));
394 }
395 return INFIX_SUCCESS;
396}
397
398INFIX_API infix_status emit_math_load_sym(emit_context_t * ctx, emit_register_t dest, const char * sym) {
399 if (ctx->arch == EMIT_ARCH_X86_64) {
400 uint64_t load_offset = ctx->current_section->size;
401 EMIT_CHECK(emit_x86_rex(ctx, true, EMIT_REG_NEEDS_REX(dest), false, false));
402 EMIT_CHECK(emit_emit_u8(ctx, 0x8B));
403 EMIT_CHECK(emit_emit_u8(ctx, 0x05 | ((dest & 0x07) << 3)));
404 EMIT_CHECK(emit_emit_u32(ctx, 0));
405 EMIT_CHECK(emit_add_relocation(ctx, sym, load_offset + 3, 4, 7));
406 }
407 return INFIX_SUCCESS;
408}
409
410INFIX_API infix_status emit_math_store_sym(emit_context_t * ctx, const char * sym, emit_register_t src) {
411 if (ctx->arch == EMIT_ARCH_X86_64) {
412 uint64_t store_offset = ctx->current_section->size;
413 EMIT_CHECK(emit_x86_rex(ctx, true, EMIT_REG_NEEDS_REX(src), false, false));
414 EMIT_CHECK(emit_emit_u8(ctx, 0x89));
415 EMIT_CHECK(emit_emit_u8(ctx, 0x05 | ((src & 0x07) << 3)));
416 EMIT_CHECK(emit_emit_u32(ctx, 0));
417 EMIT_CHECK(emit_add_relocation(ctx, sym, store_offset + 3, 4, 7));
418 }
419 return INFIX_SUCCESS;
420}
421
422/* Floating Point Operations */
423INFIX_API infix_status emit_math_movsd_reg(emit_context_t * ctx, emit_register_t dest, emit_register_t src) {
424 if (ctx->arch == EMIT_ARCH_X86_64) {
425 EMIT_CHECK(emit_emit_u8(ctx, 0xF2));
426 EMIT_CHECK(emit_x86_rex(ctx, false, EMIT_REG_NEEDS_REX(dest), false, EMIT_REG_NEEDS_REX(src)));
427 EMIT_CHECK(emit_emit_u8(ctx, 0x0F));
428 EMIT_CHECK(emit_emit_u8(ctx, 0x10));
429 EMIT_CHECK(emit_emit_u8(ctx, 0xC0 | ((dest & 0x07) << 3) | (src & 0x07)));
430 }
431 return INFIX_SUCCESS;
432}
433
434INFIX_API infix_status emit_math_addsd(emit_context_t * ctx, emit_register_t dest, emit_register_t src) {
435 if (ctx->arch == EMIT_ARCH_X86_64) {
436 EMIT_CHECK(emit_emit_u8(ctx, 0xF2));
437 EMIT_CHECK(emit_x86_rex(ctx, false, EMIT_REG_NEEDS_REX(dest), false, EMIT_REG_NEEDS_REX(src)));
438 EMIT_CHECK(emit_emit_u8(ctx, 0x0F));
439 EMIT_CHECK(emit_emit_u8(ctx, 0x58));
440 EMIT_CHECK(emit_emit_u8(ctx, 0xC0 | ((dest & 0x07) << 3) | (src & 0x07)));
441 }
442 return INFIX_SUCCESS;
443}
444
445INFIX_API infix_status emit_math_subsd(emit_context_t * ctx, emit_register_t dest, emit_register_t src) {
446 if (ctx->arch == EMIT_ARCH_X86_64) {
447 EMIT_CHECK(emit_emit_u8(ctx, 0xF2));
448 EMIT_CHECK(emit_x86_rex(ctx, false, EMIT_REG_NEEDS_REX(dest), false, EMIT_REG_NEEDS_REX(src)));
449 EMIT_CHECK(emit_emit_u8(ctx, 0x0F));
450 EMIT_CHECK(emit_emit_u8(ctx, 0x5C));
451 EMIT_CHECK(emit_emit_u8(ctx, 0xC0 | ((dest & 0x07) << 3) | (src & 0x07)));
452 }
453 return INFIX_SUCCESS;
454}
reg
infix_registry_t * reg
Definition 501_direct_marshalling.c:209
emit_add_relocation
INFIX_API INFIX_NODISCARD infix_status emit_add_relocation(emit_context_t *ctx, const char *name, uint64_t offset, uint8_t size, uint8_t inst_size)
Definition emit.c:333
emit.h
Public API for the emit JIT code generation system.
emit_emit_u8
INFIX_EMIT_API infix_status emit_emit_u8(emit_context_t *ctx, uint8_t value)
Definition emit.c:282
EMIT_ARCH_X86_64
@ EMIT_ARCH_X86_64
Definition emit.h:31
emit_emit_u64
INFIX_EMIT_API infix_status emit_emit_u64(emit_context_t *ctx, uint64_t value)
Definition emit.c:299
emit_emit_u32
INFIX_EMIT_API infix_status emit_emit_u32(emit_context_t *ctx, uint32_t value)
Definition emit.c:291
emit_internals.h
Internal structures for the emit JIT code generation system.
emit_math_movsd_reg
INFIX_API infix_status emit_math_movsd_reg(emit_context_t *ctx, emit_register_t dest, emit_register_t src)
Definition emit_math.c:423
emit_math_addsd
INFIX_API infix_status emit_math_addsd(emit_context_t *ctx, emit_register_t dest, emit_register_t src)
Definition emit_math.c:434
emit_math_subsd
INFIX_API infix_status emit_math_subsd(emit_context_t *ctx, emit_register_t dest, emit_register_t src)
Definition emit_math.c:445
emit_math_and
INFIX_API infix_status emit_math_and(emit_context_t *ctx, emit_register_t dest, emit_register_t src)
Definition emit_math.c:152
emit_math_movq_gpr_xmm
INFIX_API infix_status emit_math_movq_gpr_xmm(emit_context_t *ctx, emit_register_t gpr_dest, emit_register_t xmm_src)
Definition emit_math.c:47
x86_jcc_opcodes
static const uint8_t x86_jcc_opcodes[16]
Definition emit_math.c:277
emit_math_pop
INFIX_API infix_status emit_math_pop(emit_context_t *ctx, emit_register_t reg)
Definition emit_math.c:352
emit_math_add_imm
INFIX_API infix_status emit_math_add_imm(emit_context_t *ctx, emit_register_t dest, int32_t imm)
Definition emit_math.c:82
emit_math_store_reg
INFIX_API infix_status emit_math_store_reg(emit_context_t *ctx, emit_register_t base, int32_t offset, emit_register_t src)
Definition emit_math.c:379
emit_math_load_sym
INFIX_API infix_status emit_math_load_sym(emit_context_t *ctx, emit_register_t dest, const char *sym)
Definition emit_math.c:398
emit_math_jmp
INFIX_API infix_status emit_math_jmp(emit_context_t *ctx, const char *label)
Definition emit_math.c:280
emit_math_not
INFIX_API infix_status emit_math_not(emit_context_t *ctx, emit_register_t reg)
Definition emit_math.c:188
emit_math_shl
INFIX_API infix_status emit_math_shl(emit_context_t *ctx, emit_register_t dest, emit_register_t src)
Definition emit_math.c:212
emit_math_or
INFIX_API infix_status emit_math_or(emit_context_t *ctx, emit_register_t dest, emit_register_t src)
Definition emit_math.c:164
emit_math_add
INFIX_API infix_status emit_math_add(emit_context_t *ctx, emit_register_t dest, emit_register_t src)
Definition emit_math.c:70
emit_math_store_sym
INFIX_API infix_status emit_math_store_sym(emit_context_t *ctx, const char *sym, emit_register_t src)
Definition emit_math.c:410
emit_math_epilogue
INFIX_API infix_status emit_math_epilogue(emit_context_t *ctx)
Definition emit_math.c:330
emit_math_jmp_cc
INFIX_API infix_status emit_math_jmp_cc(emit_context_t *ctx, emit_cc_t cc, const char *label)
Definition emit_math.c:293
emit_math_mul
INFIX_API infix_status emit_math_mul(emit_context_t *ctx, emit_register_t src)
Definition emit_math.c:120
emit_math_test
INFIX_API infix_status emit_math_test(emit_context_t *ctx, emit_register_t a, emit_register_t b)
Definition emit_math.c:265
emit_math_load_reg
INFIX_API infix_status emit_math_load_reg(emit_context_t *ctx, emit_register_t dest, emit_register_t base, int32_t offset)
Definition emit_math.c:360
emit_math_prologue
INFIX_API infix_status emit_math_prologue(emit_context_t *ctx)
Definition emit_math.c:320
emit_math_sub
INFIX_API infix_status emit_math_sub(emit_context_t *ctx, emit_register_t dest, emit_register_t src)
Definition emit_math.c:95
emit_math_neg
INFIX_API infix_status emit_math_neg(emit_context_t *ctx, emit_register_t reg)
Definition emit_math.c:200
emit_math_xor
INFIX_API infix_status emit_math_xor(emit_context_t *ctx, emit_register_t dest, emit_register_t src)
Definition emit_math.c:176
EMIT_REG_NEEDS_REX
#define EMIT_REG_NEEDS_REX(reg)
Definition emit_math.c:26
EMIT_CHECK
#define EMIT_CHECK(x)
Definition emit_math.c:19
emit_math_imul_imm
INFIX_API infix_status emit_math_imul_imm(emit_context_t *ctx, emit_register_t dest, int32_t imm)
Definition emit_math.c:132
emit_math_mov_reg
INFIX_API infix_status emit_math_mov_reg(emit_context_t *ctx, emit_register_t dest, emit_register_t src)
Definition emit_math.c:58
emit_math_cmp
INFIX_API infix_status emit_math_cmp(emit_context_t *ctx, emit_register_t a, emit_register_t b)
Definition emit_math.c:240
emit_x86_rex
static infix_status emit_x86_rex(emit_context_t *ctx, bool w, bool r, bool x, bool b)
Definition emit_math.c:28
emit_math_shr
INFIX_API infix_status emit_math_shr(emit_context_t *ctx, emit_register_t dest, emit_register_t src)
Definition emit_math.c:226
emit_math_cmp_imm
INFIX_API infix_status emit_math_cmp_imm(emit_context_t *ctx, emit_register_t reg, int32_t imm)
Definition emit_math.c:252
emit_math_sub_imm
INFIX_API infix_status emit_math_sub_imm(emit_context_t *ctx, emit_register_t dest, int32_t imm)
Definition emit_math.c:107
emit_math_push
INFIX_API infix_status emit_math_push(emit_context_t *ctx, emit_register_t reg)
Definition emit_math.c:344
emit_math_call
INFIX_API infix_status emit_math_call(emit_context_t *ctx, const char *name)
Definition emit_math.c:307
emit_math_ret
INFIX_API infix_status emit_math_ret(emit_context_t *ctx)
Definition emit_math.c:338
emit_math_mov_imm
INFIX_API infix_status emit_math_mov_imm(emit_context_t *ctx, emit_register_t dest, uint64_t imm)
Definition emit_math.c:36
emit_math.h
Math operations for JIT code generation.
emit_cc_t
emit_cc_t
Definition emit_math.h:24
emit_register_t
emit_register_t
Definition emit_math.h:43
EMIT_REG_RCX
@ EMIT_REG_RCX
Definition emit_math.h:45
infix_status
infix_status
Enumerates the possible status codes returned by infix API functions.
Definition infix.h:435
INFIX_SUCCESS
@ INFIX_SUCCESS
Definition infix.h:436
INFIX_ERROR_INVALID_ARGUMENT
@ INFIX_ERROR_INVALID_ARGUMENT
Definition infix.h:438
INFIX_API
#define INFIX_API
Symbol visibility macro.
Definition infix.h:114
_infix_clear_error
INFIX_INTERNAL void _infix_clear_error(void)
Clears the thread-local error state.
Definition error.c:268
emit_context
Definition emit_internals.h:50
emit_context::arch
emit_architecture_t arch
Definition emit_internals.h:51
emit_context::current_section
emit_section_t * current_section
Definition emit_internals.h:55
emit_section::size
uint64_t size
Definition emit_internals.h:26