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