php-internal-docs 8.4.8
Unofficial docs for php/php-src
Loading...
Searching...
No Matches
zend_jit_internal.h
Go to the documentation of this file.
1/*
2 +----------------------------------------------------------------------+
3 | Zend JIT |
4 +----------------------------------------------------------------------+
5 | Copyright (c) The PHP Group |
6 +----------------------------------------------------------------------+
7 | This source file is subject to version 3.01 of the PHP license, |
8 | that is bundled with this package in the file LICENSE, and is |
9 | available through the world-wide-web at the following url: |
10 | https://www.php.net/license/3_01.txt |
11 | If you did not receive a copy of the PHP license and are unable to |
12 | obtain it through the world-wide-web, please send a note to |
13 | license@php.net so we can mail you a copy immediately. |
14 +----------------------------------------------------------------------+
15 | Authors: Dmitry Stogov <dmitry@php.net> |
16 | Xinchen Hui <laruence@php.net> |
17 | Hao Sun <hao.sun@arm.com> |
18 +----------------------------------------------------------------------+
19*/
20
21#ifndef ZEND_JIT_INTERNAL_H
22#define ZEND_JIT_INTERNAL_H
23
24/* Address Encoding */
25typedef uintptr_t zend_jit_addr;
26
27#define IS_CONST_ZVAL 0
28#define IS_MEM_ZVAL 1
29#define IS_REG 2 /* CPU register or PHP SSA variable number (for IR JIT) */
30#define IS_REF_ZVAL 3 /* IR reference */
31
32#define _ZEND_ADDR_MODE_MASK 0x3
33#define _ZEND_ADDR_REG_SHIFT 2
34#define _ZEND_ADDR_REG_MASK 0x3f /* no more than 64 registers */
35#define _ZEND_ADDR_OFFSET_SHIFT 8
36
37#define ZEND_ADDR_CONST_ZVAL(zv) \
38 (((zend_jit_addr)(uintptr_t)(zv)) | IS_CONST_ZVAL)
39#define ZEND_ADDR_MEM_ZVAL(reg, offset) \
40 ((((zend_jit_addr)(uintptr_t)(offset)) << _ZEND_ADDR_OFFSET_SHIFT) | \
41 (((zend_jit_addr)(uintptr_t)(reg)) << _ZEND_ADDR_REG_SHIFT) | \
42 IS_MEM_ZVAL)
43#define ZEND_ADDR_REG(reg) \
44 ((((zend_jit_addr)(uintptr_t)(reg)) << _ZEND_ADDR_REG_SHIFT) | \
45 IS_REG)
46
47#define Z_MODE(addr) (((addr) & _ZEND_ADDR_MODE_MASK))
48#define Z_ZV(addr) ((zval*)(addr))
49#define Z_OFFSET(addr) ((uint32_t)((addr)>>_ZEND_ADDR_OFFSET_SHIFT))
50#define Z_REG(addr) ((zend_reg)(((addr)>>_ZEND_ADDR_REG_SHIFT) & _ZEND_ADDR_REG_MASK))
51
52#define ZEND_ADDR_REF_ZVAL(ref) \
53 ((((zend_jit_addr)(uintptr_t)(ref)) << _ZEND_ADDR_REG_SHIFT) | \
54 IS_REF_ZVAL)
55
56#define Z_SSA_VAR(addr) ((addr)>>_ZEND_ADDR_REG_SHIFT)
57#define Z_IR_REF(addr) ((addr)>>_ZEND_ADDR_REG_SHIFT)
58
59#define Z_STORE(addr) \
60 ((jit->ra && jit->ra[Z_SSA_VAR(addr)].ref) ? \
61 (jit->ra[Z_SSA_VAR(addr)].flags & ZREG_STORE) : \
62 0)
63#define Z_LOAD(addr) \
64 ((jit->ra && jit->ra[Z_SSA_VAR(addr)].ref) ? \
65 (jit->ra[Z_SSA_VAR(addr)].flags & ZREG_LOAD) : \
66 0)
67
68#if ZEND_USE_ABS_CONST_ADDR
69# define OP_ADDR(opline, type, op) \
70 (((opline)->type == IS_CONST) ? \
71 ZEND_ADDR_CONST_ZVAL((opline)->op.zv) : \
72 ZEND_ADDR_MEM_ZVAL(ZREG_FP, (opline)->op.var))
73#else
74# define OP_ADDR(opline, type, op) \
75 (((opline)->type == IS_CONST) ? \
76 ZEND_ADDR_CONST_ZVAL(RT_CONSTANT(opline, (opline)->op)) : \
77 ZEND_ADDR_MEM_ZVAL(ZREG_FP, (opline)->op.var))
78#endif
79
80#define OP_REG_ADDR(opline, ssa_op, type, op, _ssa_op) \
81 ((ctx.ra && (ssa_op)->_ssa_op >= 0 && ctx.ra[(ssa_op)->_ssa_op].ref) ? \
82 ZEND_ADDR_REG((ssa_op)->_ssa_op) : \
83 OP_ADDR(opline, type, op))
84
85#define OP1_ADDR() \
86 OP_ADDR(opline, op1_type, op1)
87#define OP2_ADDR() \
88 OP_ADDR(opline, op2_type, op2)
89#define RES_ADDR() \
90 OP_ADDR(opline, result_type, result)
91#define OP1_DATA_ADDR() \
92 OP_ADDR(opline + 1, op1_type, op1)
93
94#define OP1_REG_ADDR() \
95 OP_REG_ADDR(opline, ssa_op, op1_type, op1, op1_use)
96#define OP2_REG_ADDR() \
97 OP_REG_ADDR(opline, ssa_op, op2_type, op2, op2_use)
98#define RES_REG_ADDR() \
99 OP_REG_ADDR(opline, ssa_op, result_type, result, result_def)
100#define OP1_DATA_REG_ADDR() \
101 OP_REG_ADDR(opline + 1, ssa_op + 1, op1_type, op1, op1_use)
102
103#define OP1_DEF_REG_ADDR() \
104 OP_REG_ADDR(opline, ssa_op, op1_type, op1, op1_def)
105#define OP2_DEF_REG_ADDR() \
106 OP_REG_ADDR(opline, ssa_op, op2_type, op2, op2_def)
107#define RES_USE_REG_ADDR() \
108 OP_REG_ADDR(opline, ssa_op, result_type, result, result_use)
109#define OP1_DATA_DEF_REG_ADDR() \
110 OP_REG_ADDR(opline + 1, ssa_op + 1, op1_type, op1, op1_def)
111
112static zend_always_inline bool zend_jit_same_addr(zend_jit_addr addr1, zend_jit_addr addr2)
113{
114 if (addr1 == addr2) {
115 return 1;
116 } else if (Z_MODE(addr1) == IS_REG && Z_MODE(addr2) == IS_REG) {
117 return Z_SSA_VAR(addr1) == Z_SSA_VAR(addr2);
118 } else if (Z_MODE(addr1) == IS_REF_ZVAL && Z_MODE(addr2) == IS_REF_ZVAL) {
119 return Z_IR_REF(addr1) == Z_IR_REF(addr2);
120 }
121 return 0;
122}
123
129
130/* Profiler */
133
134#define ZEND_COUNTER_INFO(op_array) \
135 ZEND_OP_ARRAY_EXTENSION(op_array, zend_jit_profile_counter_rid)
136
137/* Hot Counters */
138
139#define ZEND_HOT_COUNTERS_COUNT 128
140
142
143static zend_always_inline zend_long zend_jit_hash(const void *ptr)
144{
145 uintptr_t x;
146
147 x = (uintptr_t)ptr >> 3;
148#if SIZEOF_SIZE_T == 4
149 x = ((x >> 16) ^ x) * 0x45d9f3b;
150 x = ((x >> 16) ^ x) * 0x45d9f3b;
151 x = (x >> 16) ^ x;
152#elif SIZEOF_SIZE_T == 8
153 x = (x ^ (x >> 30)) * 0xbf58476d1ce4e5b9;
154 x = (x ^ (x >> 27)) * 0x94d049bb133111eb;
155 x = x ^ (x >> 31);
156#endif
157 return x;
158}
159
161
168
169#define zend_jit_op_array_hash(op_array) \
170 zend_jit_hash((op_array)->opcodes)
171
172extern const zend_op *zend_jit_halt_op;
173
174#ifdef HAVE_GCC_GLOBAL_REGS
175# define EXECUTE_DATA_D void
176# define EXECUTE_DATA_C
177# define EXECUTE_DATA_DC
178# define EXECUTE_DATA_CC
179# define OPLINE_D void
180# define OPLINE_C
181# define OPLINE_DC
182# define OPLINE_CC
183# define ZEND_OPCODE_HANDLER_RET void
184# define ZEND_OPCODE_HANDLER_ARGS EXECUTE_DATA_D
185# define ZEND_OPCODE_HANDLER_ARGS_PASSTHRU
186# define ZEND_OPCODE_HANDLER_ARGS_DC
187# define ZEND_OPCODE_HANDLER_ARGS_PASSTHRU_CC
188# define ZEND_OPCODE_RETURN() return
189# define ZEND_OPCODE_TAIL_CALL(handler) do { \
190 handler(ZEND_OPCODE_HANDLER_ARGS_PASSTHRU); \
191 return; \
192 } while(0)
193# define ZEND_OPCODE_TAIL_CALL_EX(handler, arg) do { \
194 handler(arg ZEND_OPCODE_HANDLER_ARGS_PASSTHRU_CC); \
195 return; \
196 } while(0)
197#else
198# define EXECUTE_DATA_D zend_execute_data* execute_data
199# define EXECUTE_DATA_C execute_data
200# define EXECUTE_DATA_DC , EXECUTE_DATA_D
201# define EXECUTE_DATA_CC , EXECUTE_DATA_C
202# define OPLINE_D const zend_op* opline
203# define OPLINE_C opline
204# define OPLINE_DC , OPLINE_D
205# define OPLINE_CC , OPLINE_C
206# define ZEND_OPCODE_HANDLER_RET int
207# define ZEND_OPCODE_HANDLER_ARGS EXECUTE_DATA_D
208# define ZEND_OPCODE_HANDLER_ARGS_PASSTHRU EXECUTE_DATA_C
209# define ZEND_OPCODE_HANDLER_ARGS_DC EXECUTE_DATA_DC
210# define ZEND_OPCODE_HANDLER_ARGS_PASSTHRU_CC EXECUTE_DATA_CC
211# define ZEND_OPCODE_RETURN() return 0
212# define ZEND_OPCODE_TAIL_CALL(handler) do { \
213 return handler(ZEND_OPCODE_HANDLER_ARGS_PASSTHRU); \
214 } while(0)
215# define ZEND_OPCODE_TAIL_CALL_EX(handler, arg) do { \
216 return handler(arg ZEND_OPCODE_HANDLER_ARGS_PASSTHRU_CC); \
217 } while(0)
218#endif
219
220/* VM handlers */
222
223/* VM helpers */
227
229
232
239
242
243/* Tracer */
244#define zend_jit_opline_hash(opline) \
245 zend_jit_hash(opline)
246
247#define ZEND_JIT_TRACE_STOP(_) \
248 _(LOOP, "loop") \
249 _(RECURSIVE_CALL, "recursive call") \
250 _(RECURSIVE_RET, "recursive return") \
251 _(RETURN, "return") \
252 _(INTERPRETER, "exit to VM interpreter") \
253 _(LINK, "link to another trace") \
254 /* compilation and linking successful */ \
255 _(COMPILED, "compiled") \
256 _(ALREADY_DONE, "already prcessed") \
257 /* failures */ \
258 _(ERROR, "error") /* not used */ \
259 _(NOT_SUPPORTED, "not supported instructions") \
260 _(EXCEPTION, "exception") \
261 _(TOO_LONG, "trace too long") \
262 _(TOO_DEEP, "trace too deep") \
263 _(TOO_DEEP_RET, "trace too deep return") \
264 _(DEEP_RECURSION, "deep recursion") \
265 _(LOOP_UNROLL, "loop unroll limit reached") \
266 _(LOOP_EXIT, "exit from loop") \
267 _(RECURSION_EXIT, "return from recursive function") \
268 _(BLACK_LIST, "trace blacklisted") \
269 _(INNER_LOOP, "inner loop") /* trace it */ \
270 _(COMPILED_LOOP, "compiled loop") \
271 _(TRAMPOLINE, "trampoline call") \
272 _(PROP_HOOK_CALL, "property hook call") \
273 _(BAD_FUNC, "bad function call") \
274 _(COMPILER_ERROR, "JIT compilation error") \
275 /* no recoverable error (blacklist immediately) */ \
276 _(NO_SHM, "insufficient shared memory") \
277 _(TOO_MANY_TRACES, "too many traces") \
278 _(TOO_MANY_CHILDREN, "too many side traces") \
279 _(TOO_MANY_EXITS, "too many side exits") \
280
281#define ZEND_JIT_TRACE_STOP_NAME(name, description) \
282 ZEND_JIT_TRACE_STOP_ ## name,
283
288
289#define ZEND_JIT_TRACE_STOP_OK(ret) \
290 (ret < ZEND_JIT_TRACE_STOP_COMPILED)
291
292#define ZEND_JIT_TRACE_STOP_DONE(ret) \
293 (ret < ZEND_JIT_TRACE_STOP_ERROR)
294
295#define ZEND_JIT_TRACE_STOP_REPEAT(ret) \
296 (ret == ZEND_JIT_TRACE_STOP_INNER_LOOP)
297
298#define ZEND_JIT_TRACE_STOP_MAY_RECOVER(ret) \
299 (ret <= ZEND_JIT_TRACE_STOP_COMPILER_ERROR)
300
301#define ZEND_JIT_TRACE_START_MASK 0xf
302
303#define ZEND_JIT_TRACE_START_LOOP (1<<0)
304#define ZEND_JIT_TRACE_START_ENTER (1<<1)
305#define ZEND_JIT_TRACE_START_RETURN (1<<2)
306#define ZEND_JIT_TRACE_START_SIDE (1<<3) /* used for side traces */
307
308#define ZEND_JIT_TRACE_JITED (1<<4)
309#define ZEND_JIT_TRACE_BLACKLISTED (1<<5)
310#define ZEND_JIT_TRACE_UNSUPPORTED (1<<6)
311
312#define ZEND_JIT_TRACE_SUPPORTED 0
313
314#define ZEND_JIT_EXIT_JITED (1<<0)
315#define ZEND_JIT_EXIT_BLACKLISTED (1<<1)
316#define ZEND_JIT_EXIT_TO_VM (1<<2) /* exit to VM without attempt to create a side trace */
317#define ZEND_JIT_EXIT_RESTORE_CALL (1<<3) /* deoptimizer should restore EX(call) chain */
318#define ZEND_JIT_EXIT_POLYMORPHISM (1<<4) /* exit because of polymorphic call */
319#define ZEND_JIT_EXIT_FREE_OP1 (1<<5)
320#define ZEND_JIT_EXIT_FREE_OP2 (1<<6)
321#define ZEND_JIT_EXIT_PACKED_GUARD (1<<7)
322#define ZEND_JIT_EXIT_CLOSURE_CALL (1<<8) /* exit because of polymorphic INIT_DYNAMIC_CALL call */
323#define ZEND_JIT_EXIT_METHOD_CALL (1<<9) /* exit because of polymorphic INIT_METHOD_CALL call */
324#define ZEND_JIT_EXIT_INVALIDATE (1<<10) /* invalidate current trace */
325#define ZEND_JIT_EXIT_CHECK_EXCEPTION (1<<11)
326
327#define ZEND_JIT_EXIT_FIXED (1U<<31) /* the exit_info can't be changed by zend_jit_snapshot_handler() */
328
329typedef union _zend_op_trace_info {
330 zend_op dummy; /* the size of this structure must be the same as zend_op */
331 struct {
332 const void *orig_handler;
333 const void *call_handler;
334 int16_t *counter;
335 uint8_t trace_flags;
336 };
338
345
346#define ZEND_OP_TRACE_INFO(opline, offset) \
347 ((zend_op_trace_info*)(((char*)opline) + offset))
348
349/* Recorder */
362
363#define IS_UNKNOWN 255 /* may be used for zend_jit_trace_rec.op?_type */
364#define IS_TRACE_PACKED (1<<4)
365#define IS_TRACE_REFERENCE (1<<5)
366#define IS_TRACE_INDIRECT (1<<6)
367
368#define IS_TRACE_TYPE_MASK 0xf
369
370#define ZEND_JIT_TRACE_FAKE_INIT_CALL 0x00000100
371#define ZEND_JIT_TRACE_RETURN_VALUE_USED 0x00000100
372
373#define ZEND_JIT_TRACE_MAX_SSA_VAR 0x7ffffe
374#define ZEND_JIT_TRACE_SSA_VAR_SHIFT 9
375
376#define ZEND_JIT_TRACE_FAKE_LEVEL_MASK 0xffff0000
377#define ZEND_JIT_TRACE_FAKE_LEVEL_SHIFT 16
378
379#define ZEND_JIT_TRACE_FAKE_LEVEL(info) \
380 (((info) & ZEND_JIT_TRACE_FAKE_LEVEL_MASK) >> ZEND_JIT_TRACE_FAKE_LEVEL_SHIFT)
381
382#define ZEND_JIT_TRACE_FAKE_INFO(level) \
383 (((level) << ZEND_JIT_TRACE_FAKE_LEVEL_SHIFT) | ZEND_JIT_TRACE_FAKE_INIT_CALL)
384
385#define ZEND_JIT_TRACE_SET_FIRST_SSA_VAR(_info, var) do { \
386 _info |= (var << ZEND_JIT_TRACE_SSA_VAR_SHIFT); \
387 } while (0)
388#define ZEND_JIT_TRACE_GET_FIRST_SSA_VAR(_info) \
389 (_info >> ZEND_JIT_TRACE_SSA_VAR_SHIFT)
390
392 union {
393 struct { ZEND_ENDIAN_LOHI(
394 uint8_t op, /* zend_jit_trace_op */
395 union {
396 struct {
397 uint8_t op1_type;/* recorded zval op1_type for ZEND_JIT_TRACE_VM */
398 uint8_t op2_type;/* recorded zval op2_type for ZEND_JIT_TRACE_VM */
399 uint8_t op3_type;/* recorded zval for op_data.op1_type for ZEND_JIT_TRACE_VM */
400 };
401 struct {
402 uint8_t start; /* ZEND_JIT_TRACE_START_MASK for ZEND_JIT_TRACE_START/END */
403 uint8_t stop; /* zend_jit_trace_stop for ZEND_JIT_TRACE_START/END */
404 uint8_t level; /* recursive return level for ZEND_JIT_TRACE_START */
405 };
406 })
407 };
408 uint32_t last;
409 uint32_t info; /* "first_ssa_var" for ZEND_JIT_TRACE_ENTER and ZEND_JIT_TRACE_BACK,
410 * "return_value_used" for ZEND_JIT_TRACE_ENTER,
411 * "fake" for ZEND_JIT_TRACE_INIT_CALL */
412 };
413 union {
414 const void *ptr;
419 };
420};
421
422#define ZEND_JIT_TRACE_START_REC_SIZE 2
423
425 union {
426 int32_t ref; /* While generating code: The ir_ref to snapshot */
427 int32_t offset; /* After compilation / during deopt: C stack offset if 'reg' is spilled */
428 };
429 int8_t reg; /* Set after compilation by zend_jit_snapshot_handler() */
431
433 const zend_op *opline; /* opline where VM should continue execution */
435 uint32_t flags; /* set of ZEND_JIT_EXIT_... */
436 uint32_t stack_size;
437 uint32_t stack_offset;
441
442typedef struct _zend_jit_trace_stack {
443 union {
444 uint32_t info;
445 struct {
446 uint8_t type; /* variable type (for type inference) */
447 uint8_t mem_type; /* stack slot type (for eliminate dead type store) */
448 int8_t reg;
449 uint8_t flags;
450 };
451 };
452 int32_t ref;
454
455#define STACK_VAR(_stack, _slot) \
456 ((int32_t*)(_stack))[_slot]
457#define SET_STACK_VAR(_stack, _slot, _ssa_var) do { \
458 ((int32_t*)(_stack))[_slot] = _ssa_var; \
459 } while (0)
460
461#define CLEAR_STACK_REF(_stack, _slot) do { \
462 (_stack)[_slot].ref = IR_UNUSED; \
463 (_stack)[_slot].flags = 0; \
464 } while (0)
465#define STACK_REF(_stack, _slot) \
466 (_stack)[_slot].ref
467#define SET_STACK_REF(_stack, _slot, _ref) do { \
468 (_stack)[_slot].ref = (_ref); \
469 (_stack)[_slot].flags = 0; \
470 } while (0)
471#define SET_STACK_REF_EX(_stack, _slot, _ref, _flags) do { \
472 (_stack)[_slot].ref = (_ref); \
473 (_stack)[_slot].flags = _flags; \
474 } while (0)
475
476#define STACK_INFO(_stack, _slot) \
477 (_stack)[_slot].info
478#define STACK_TYPE(_stack, _slot) \
479 (_stack)[_slot].type
480#define STACK_MEM_TYPE(_stack, _slot) \
481 (_stack)[_slot].mem_type
482#define STACK_REG(_stack, _slot) \
483 (_stack)[_slot].reg
484#define STACK_FLAGS(_stack, _slot) \
485 (_stack)[_slot].flags
486#define SET_STACK_INFO(_stack, _slot, _info) do { \
487 (_stack)[_slot].info = _info; \
488 } while (0)
489#define SET_STACK_TYPE(_stack, _slot, _type, _set_mem_type) do { \
490 uint8_t __type = (_type); \
491 (_stack)[_slot].type = __type; \
492 if (_set_mem_type) { \
493 (_stack)[_slot].mem_type = __type; \
494 } \
495 (_stack)[_slot].reg = ZREG_NONE; \
496 (_stack)[_slot].flags = 0; \
497 CLEAR_STACK_REF(_stack, _slot); \
498 } while (0)
499#define SET_STACK_REG(_stack, _slot, _reg) do { \
500 (_stack)[_slot].reg = _reg; \
501 (_stack)[_slot].flags = 0; \
502 } while (0)
503#define SET_STACK_REG_EX(_stack, _slot, _reg, _flags) do { \
504 (_stack)[_slot].reg = _reg; \
505 (_stack)[_slot].flags = _flags; \
506 } while (0)
507#define RESET_STACK_MEM_TYPE(_stack, _slot) do { \
508 (_stack)[_slot].mem_type = IS_UNKNOWN; \
509 } while (0)
510
511/* trace info flags */
512#define ZEND_JIT_TRACE_CHECK_INTERRUPT (1<<0)
513#define ZEND_JIT_TRACE_LOOP (1<<1)
514#define ZEND_JIT_TRACE_USES_INITIAL_IP (1<<2)
515
516typedef union _zend_jit_exit_const {
517 int64_t i;
518 double d;
520
521typedef struct _zend_jit_trace_info {
522 uint32_t id; /* trace id */
523 uint32_t root; /* root trace id or self id for root traces */
524 uint32_t parent; /* parent trace id or 0 for root traces */
525 uint32_t link; /* link trace id or self id for loop) */
526 uint32_t exit_count; /* number of side exits */
527 uint32_t child_count; /* number of side traces for root traces */
528 uint32_t code_size; /* size of native code */
529 uint32_t exit_counters; /* offset in exit counters array */
531 uint32_t flags; /* See ZEND_JIT_TRACE_... defines above */
532 uint32_t polymorphism; /* Counter of polymorphic calls */
533 uint32_t jmp_table_size;/* number of jmp_table slots */
534 const zend_op_array *op_array; /* function */
535 const zend_op *opline; /* first opline */
536 const void *code_start; /* address of native code */
537 zend_jit_trace_exit_info *exit_info; /* info about side exits */
539 //uint32_t loop_offset;
540 uint32_t consts_count; /* number of side exits */
543
557
558#define TRACE_FRAME_SHIFT_NUM_ARGS 16
559#define TRACE_FRAME_MAX_NUM_ARGS 32767
560
561#define TRACE_FRAME_MASK_NUM_ARGS 0xffff0000
562#define TRACE_FRAME_MASK_NESTED 0x00000001
563#define TRACE_FRAME_MASK_LAST_SEND_BY_REF 0x00000002
564#define TRACE_FRAME_MASK_LAST_SEND_BY_VAL 0x00000004
565#define TRACE_FRAME_MASK_RETURN_VALUE_USED 0x00000008
566#define TRACE_FRAME_MASK_RETURN_VALUE_UNUSED 0x00000010
567#define TRACE_FRAME_MASK_THIS_CHECKED 0x00000020
568#define TRACE_FRAME_MASK_UNKNOWN_RETURN 0x00000040
569#define TRACE_FRAME_MASK_NO_NEED_RELEASE_THIS 0x00000080
570#define TRACE_FRAME_MASK_THIS_CLASS_CHECKED 0x00000100
571#define TRACE_FRAME_MASK_CLOSURE_CALL 0x00000200
572#define TRACE_FRAME_MASK_ALWAYS_RELEASE_THIS 0x00000400
573
574
575#define TRACE_FRAME_INIT(frame, _func, _flags, num_args) do { \
576 zend_jit_trace_stack_frame *_frame = (frame); \
577 _frame->call = NULL; \
578 _frame->prev = NULL; \
579 _frame->func = (const zend_function*)_func; \
580 _frame->call_opline = NULL; \
581 _frame->call_level = 0; \
582 _frame->_info = (((uint32_t)(num_args)) << TRACE_FRAME_SHIFT_NUM_ARGS) & TRACE_FRAME_MASK_NUM_ARGS; \
583 _frame->_info |= _flags; \
584 } while (0)
585
586#define TRACE_FRAME_RETURN_SSA_VAR(frame) \
587 ((int)(frame)->_info)
588#define TRACE_FRAME_NUM_ARGS(frame) \
589 ((int)((frame)->_info) >> TRACE_FRAME_SHIFT_NUM_ARGS)
590#define TRACE_FRAME_IS_NESTED(frame) \
591 ((frame)->_info & TRACE_FRAME_MASK_NESTED)
592#define TRACE_FRAME_IS_LAST_SEND_BY_REF(frame) \
593 ((frame)->_info & TRACE_FRAME_MASK_LAST_SEND_BY_REF)
594#define TRACE_FRAME_IS_LAST_SEND_BY_VAL(frame) \
595 ((frame)->_info & TRACE_FRAME_MASK_LAST_SEND_BY_VAL)
596#define TRACE_FRAME_IS_RETURN_VALUE_USED(frame) \
597 ((frame)->_info & TRACE_FRAME_MASK_RETURN_VALUE_USED)
598#define TRACE_FRAME_IS_RETURN_VALUE_UNUSED(frame) \
599 ((frame)->_info & TRACE_FRAME_MASK_RETURN_VALUE_UNUSED)
600#define TRACE_FRAME_IS_THIS_CHECKED(frame) \
601 ((frame)->_info & TRACE_FRAME_MASK_THIS_CHECKED)
602#define TRACE_FRAME_IS_UNKNOWN_RETURN(frame) \
603 ((frame)->_info & TRACE_FRAME_MASK_UNKNOWN_RETURN)
604#define TRACE_FRAME_NO_NEED_RELEASE_THIS(frame) \
605 ((frame)->_info & TRACE_FRAME_MASK_NO_NEED_RELEASE_THIS)
606#define TRACE_FRAME_IS_THIS_CLASS_CHECKED(frame) \
607 ((frame)->_info & TRACE_FRAME_MASK_THIS_CLASS_CHECKED)
608#define TRACE_FRAME_IS_CLOSURE_CALL(frame) \
609 ((frame)->_info & TRACE_FRAME_MASK_CLOSURE_CALL)
610#define TRACE_FRAME_ALWAYS_RELEASE_THIS(frame) \
611 ((frame)->_info & TRACE_FRAME_MASK_ALWAYS_RELEASE_THIS)
612
613#define TRACE_FRAME_SET_UNKNOWN_NUM_ARGS(frame) do { \
614 (frame)->_info |= (0xffffu << TRACE_FRAME_SHIFT_NUM_ARGS); \
615 } while (0)
616#define TRACE_FRAME_SET_RETURN_SSA_VAR(frame, var) do { \
617 (frame)->_info = var; \
618 } while (0)
619#define TRACE_FRAME_SET_LAST_SEND_BY_REF(frame) do { \
620 (frame)->_info |= TRACE_FRAME_MASK_LAST_SEND_BY_REF; \
621 (frame)->_info &= ~TRACE_FRAME_MASK_LAST_SEND_BY_VAL; \
622 } while (0)
623#define TRACE_FRAME_SET_LAST_SEND_BY_VAL(frame) do { \
624 (frame)->_info |= TRACE_FRAME_MASK_LAST_SEND_BY_VAL; \
625 (frame)->_info &= ~TRACE_FRAME_MASK_LAST_SEND_BY_REF; \
626 } while (0)
627#define TRACE_FRAME_SET_LAST_SEND_UNKNOWN(frame) do { \
628 (frame)->_info &= ~TRACE_FRAME_MASK_LAST_SEND_BY_VAL; \
629 (frame)->_info &= ~TRACE_FRAME_MASK_LAST_SEND_BY_REF; \
630 } while (0)
631#define TRACE_FRAME_SET_RETURN_VALUE_USED(frame) do { \
632 (frame)->_info |= TRACE_FRAME_MASK_RETURN_VALUE_USED; \
633 (frame)->_info &= ~TRACE_FRAME_MASK_RETURN_VALUE_UNUSED; \
634 } while (0)
635#define TRACE_FRAME_SET_RETURN_VALUE_UNUSED(frame) do { \
636 (frame)->_info |= TRACE_FRAME_MASK_RETURN_VALUE_UNUSED; \
637 (frame)->_info &= ~TRACE_FRAME_MASK_RETURN_VALUE_USED; \
638 } while (0)
639#define TRACE_FRAME_SET_THIS_CHECKED(frame) do { \
640 (frame)->_info |= TRACE_FRAME_MASK_THIS_CHECKED; \
641 } while (0)
642#define TRACE_FRAME_SET_NO_NEED_RELEASE_THIS(frame) do { \
643 (frame)->_info |= TRACE_FRAME_MASK_NO_NEED_RELEASE_THIS; \
644 } while (0)
645#define TRACE_FRAME_SET_THIS_CLASS_CHECKED(frame) do { \
646 (frame)->_info |= TRACE_FRAME_MASK_THIS_CLASS_CHECKED; \
647 } while (0)
648#define TRACE_FRAME_SET_CLOSURE_CALL(frame) do { \
649 (frame)->_info |= TRACE_FRAME_MASK_CLOSURE_CALL; \
650 } while (0)
651#define TRACE_FRAME_SET_ALWAYS_RELEASE_THIS(frame) do { \
652 (frame)->_info |= TRACE_FRAME_MASK_ALWAYS_RELEASE_THIS; \
653 } while (0)
654
658
661 const zend_op *opline,
662 zend_jit_trace_rec *trace_buffer,
663 uint8_t start,
664 uint32_t is_megamorphc,
665 int ret_depth);
666
667static zend_always_inline const zend_op* zend_jit_trace_get_exit_opline(zend_jit_trace_rec *trace, const zend_op *opline, bool *exit_if_true)
668{
669 if (trace->op == ZEND_JIT_TRACE_VM || trace->op == ZEND_JIT_TRACE_END) {
670 if (trace->opline == opline + 1) {
671 /* not taken branch */
672 *exit_if_true = opline->opcode == ZEND_JMPNZ;
673 return OP_JMP_ADDR(opline, opline->op2);
674 } else if (trace->opline == OP_JMP_ADDR(opline, opline->op2)) {
675 /* taken branch */
676 *exit_if_true = opline->opcode == ZEND_JMPZ;
677 return opline + 1;
678 } else {
680 }
681 } else {
683 }
684 *exit_if_true = 0;
685 return NULL;
686}
687
688static inline bool zend_jit_may_be_modified(const zend_function *func, const zend_op_array *called_from)
689{
690 if (func->type == ZEND_INTERNAL_FUNCTION) {
691#ifdef _WIN32
692 /* ASLR */
693 return 1;
694#else
695 return 0;
696#endif
697 } else if (func->type == ZEND_USER_FUNCTION) {
698 if (func->common.fn_flags & ZEND_ACC_PRELOADED) {
699 return 0;
700 }
701 if (func->op_array.filename == called_from->filename && !func->op_array.scope) {
702 return 0;
703 }
704 }
705 return 1;
706}
707
708static zend_always_inline bool zend_jit_may_be_polymorphic_call(const zend_op *opline)
709{
710 if (opline->opcode == ZEND_INIT_FCALL
711 || opline->opcode == ZEND_INIT_FCALL_BY_NAME
714 return 0;
715 } else if (opline->opcode == ZEND_INIT_METHOD_CALL
716 || opline->opcode == ZEND_INIT_DYNAMIC_CALL) {
717 return 1;
718 } else if (opline->opcode == ZEND_INIT_STATIC_METHOD_CALL) {
719 return (opline->op1_type != IS_CONST || opline->op2_type != IS_CONST);
720 } else if (opline->opcode == ZEND_INIT_USER_CALL) {
721 return (opline->op2_type != IS_CONST);
722 } else if (opline->opcode == ZEND_NEW) {
723 return (opline->op1_type != IS_CONST);
724 } else {
726 return 0;
727 }
728}
729
730/* Instruction cache flush */
731#ifndef JIT_CACHE_FLUSH
732# if ZEND_JIT_TARGET_ARM64
733# if ((defined(__GNUC__) && ZEND_GCC_VERSION >= 4003) || __has_builtin(__builtin___clear_cache))
734# define JIT_CACHE_FLUSH(from, to) __builtin___clear_cache((char*)(from), (char*)(to))
735# else
736# error "Missing builtin to flush instruction cache for AArch64"
737# endif
738# else /* Not required to implement on archs with unified caches */
739# define JIT_CACHE_FLUSH(from, to)
740# endif
741#endif /* !JIT_CACHE_FLUSH */
742
743/* bit helpers */
744
745static zend_always_inline bool zend_long_is_power_of_two(zend_long x)
746{
747 return (x > 0) && !(x & (x - 1));
748}
749
750/* from http://aggregate.org/MAGIC/ */
751static zend_always_inline uint32_t ones32(uint32_t x)
752{
753 x -= ((x >> 1) & 0x55555555);
754 x = (((x >> 2) & 0x33333333) + (x & 0x33333333));
755 x = (((x >> 4) + x) & 0x0f0f0f0f);
756 x += (x >> 8);
757 x += (x >> 16);
758 return x & 0x0000003f;
759}
760
761static zend_always_inline uint32_t floor_log2(uint32_t x)
762{
763 ZEND_ASSERT(x != 0);
764 x |= (x >> 1);
765 x |= (x >> 2);
766 x |= (x >> 4);
767 x |= (x >> 8);
768 x |= (x >> 16);
769 return ones32(x) - 1;
770}
771
772static zend_always_inline bool is_power_of_two(uint32_t x)
773{
774 return !(x & (x - 1)) && x != 0;
775}
776
777static zend_always_inline bool has_concrete_type(uint32_t value_type)
778{
779 return is_power_of_two (value_type & (MAY_BE_ANY|MAY_BE_UNDEF));
780}
781
782static zend_always_inline uint32_t concrete_type(uint32_t value_type)
783{
784 return floor_log2(value_type & (MAY_BE_ANY|MAY_BE_UNDEF));
785}
786
787static zend_always_inline bool is_signed(double d)
788{
789 return (((unsigned char*)&d)[sizeof(double)-1] & 0x80) != 0;
790}
791
792#endif /* ZEND_JIT_INTERNAL_H */
void * ptr
Definition ffi.c:3814
buf start
Definition ffi.c:4687
#define NULL
Definition gdcache.h:45
unsigned char key[REFLECTION_KEY_LEN]
const zend_op_array * op_array
zend_jit_ref_snapshot poly_this
const zend_op_array * op_array
zend_jit_ref_snapshot poly_func
zend_jit_exit_const * constants
const zend_op_array * op_array
zend_jit_trace_exit_info * exit_info
zend_jit_trace_stack * stack_map
const zend_op_array * op_array
const zend_class_entry * ce
const zend_function * func
zend_jit_trace_stack_frame * prev
zend_jit_trace_stack_frame * call
zend_jit_trace_stack stack[1]
zend_string * filename
znode_op op2
uint8_t opcode
uint8_t op1_type
uint8_t op2_type
struct _zval_struct zval
execute_data func
struct _zend_op zend_op
#define IS_CONST
#define ZEND_INTERNAL_FUNCTION
#define ZEND_USER_FUNCTION
struct _zend_op_array zend_op_array
#define ZEND_ACC_PRELOADED
#define OP_JMP_ADDR(opline, node)
struct _zend_constant zend_constant
#define EXECUTE_DATA_D
#define EXECUTE_DATA_DC
#define OPLINE_D
union _zend_function zend_function
struct _zend_func_info zend_func_info
struct _zend_jit_trace_rec zend_jit_trace_rec
Definition zend_jit.h:99
struct _zend_jit_trace_stack_frame zend_jit_trace_stack_frame
Definition zend_jit.h:100
void ZEND_FASTCALL zend_jit_hot_func(zend_execute_data *execute_data, const zend_op *opline)
#define ZEND_JIT_TRACE_STOP_NAME(name, description)
ZEND_OPCODE_HANDLER_RET ZEND_FASTCALL zend_jit_profile_helper(ZEND_OPCODE_HANDLER_ARGS)
#define ZEND_JIT_TRACE_STOP(_)
ZEND_OPCODE_HANDLER_RET ZEND_FASTCALL zend_jit_leave_func_helper(EXECUTE_DATA_D)
zend_ulong zend_jit_profile_counter
void ZEND_FASTCALL zend_jit_undefined_string_key(EXECUTE_DATA_D)
#define ZEND_OPCODE_HANDLER_RET
struct _zend_jit_trace_exit_info zend_jit_trace_exit_info
uintptr_t zend_jit_addr
zend_constant *ZEND_FASTCALL zend_jit_get_constant(const zval *key, uint32_t flags)
_zend_jit_trace_stop
@ ZEND_JIT_TRACE_HALT
#define Z_SSA_VAR(addr)
void ZEND_FASTCALL zend_jit_undefined_long_key(EXECUTE_DATA_D)
void ZEND_FASTCALL zend_jit_undefined_long_key_ex(zend_long key EXECUTE_DATA_DC)
#define Z_MODE(addr)
struct _zend_jit_trace_info zend_jit_trace_info
bool ZEND_FASTCALL zend_jit_deprecated_helper(OPLINE_D)
#define IS_REF_ZVAL
struct _zend_jit_ref_snapshot zend_jit_ref_snapshot
ZEND_OPCODE_HANDLER_RET ZEND_FASTCALL zend_jit_leave_top_func_helper(uint32_t call_info EXECUTE_DATA_DC)
_zend_jit_trace_op
@ ZEND_JIT_TRACE_ENTER
@ ZEND_JIT_TRACE_VAL_INFO
@ ZEND_JIT_TRACE_OP2_TYPE
@ ZEND_JIT_TRACE_START
@ ZEND_JIT_TRACE_OP1_TYPE
@ ZEND_JIT_TRACE_END
@ ZEND_JIT_TRACE_DO_ICALL
@ ZEND_JIT_TRACE_VM
@ ZEND_JIT_TRACE_INIT_CALL
@ ZEND_JIT_TRACE_BACK
ZEND_OPCODE_HANDLER_RET ZEND_FASTCALL zend_jit_func_counter_helper(ZEND_OPCODE_HANDLER_ARGS)
int zend_jit_profile_counter_rid
zend_jit_trace_stop ZEND_FASTCALL zend_jit_trace_execute(zend_execute_data *execute_data, const zend_op *opline, zend_jit_trace_rec *trace_buffer, uint8_t start, uint32_t is_megamorphc, int ret_depth)
struct _zend_jit_op_array_trace_extension zend_jit_op_array_trace_extension
void ZEND_FASTCALL zend_jit_copy_extra_args_helper(EXECUTE_DATA_D)
const zend_op * zend_jit_halt_op
void ZEND_FASTCALL zend_jit_copy_extra_args_helper_no_skip_recv(EXECUTE_DATA_D)
ZEND_OPCODE_HANDLER_RET ZEND_FASTCALL zend_jit_leave_nested_func_helper(uint32_t call_info EXECUTE_DATA_DC)
enum _zend_jit_trace_op zend_jit_trace_op
ZEND_OPCODE_HANDLER_RET ZEND_FASTCALL zend_jit_ret_trace_helper(ZEND_OPCODE_HANDLER_ARGS)
#define Z_IR_REF(addr)
union _zend_jit_exit_const zend_jit_exit_const
ZEND_OPCODE_HANDLER_RET(ZEND_FASTCALL * zend_vm_opcode_handler_t)(ZEND_OPCODE_HANDLER_ARGS)
ZEND_OPCODE_HANDLER_RET ZEND_FASTCALL zend_jit_loop_trace_helper(ZEND_OPCODE_HANDLER_ARGS)
ZEND_OPCODE_HANDLER_RET ZEND_FASTCALL zend_jit_loop_counter_helper(ZEND_OPCODE_HANDLER_ARGS)
struct _zend_jit_trace_stack zend_jit_trace_stack
ZEND_OPCODE_HANDLER_RET ZEND_FASTCALL zend_jit_func_trace_helper(ZEND_OPCODE_HANDLER_ARGS)
#define IS_REG
struct _zend_jit_op_array_hot_extension zend_jit_op_array_hot_extension
zend_constant *ZEND_FASTCALL zend_jit_check_constant(const zval *key)
enum _zend_jit_trace_stop zend_jit_trace_stop
#define ZEND_HOT_COUNTERS_COUNT
struct _zend_jit_op_array_extension zend_jit_op_array_extension
union _zend_op_trace_info zend_op_trace_info
int ZEND_FASTCALL zend_jit_trace_hot_root(zend_execute_data *execute_data, const zend_op *opline)
int16_t zend_jit_hot_counters[ZEND_HOT_COUNTERS_COUNT]
int32_t zend_long
Definition zend_long.h:42
uint32_t zend_ulong
Definition zend_long.h:43
#define zend_always_inline
#define ZEND_FASTCALL
#define ZEND_ASSERT(c)
#define ZEND_UNREACHABLE()
struct _zend_class_entry zend_class_entry
#define MAY_BE_UNDEF
#define MAY_BE_ANY
#define ZEND_ENDIAN_LOHI(lo, hi)
Definition zend_types.h:49
struct _zend_execute_data zend_execute_data
Definition zend_types.h:91
uint32_t call_info
execute_data
#define ZEND_OPCODE_HANDLER_RET
#define ZEND_OPCODE_HANDLER_ARGS
#define ZEND_NEW
#define ZEND_INIT_USER_CALL
#define ZEND_INIT_FCALL
#define ZEND_JMPZ
#define ZEND_INIT_NS_FCALL_BY_NAME
#define ZEND_INIT_FCALL_BY_NAME
#define ZEND_INIT_DYNAMIC_CALL
#define ZEND_INIT_PARENT_PROPERTY_HOOK_CALL
#define ZEND_JMPNZ
#define ZEND_INIT_METHOD_CALL
#define ZEND_INIT_STATIC_METHOD_CALL