zend_jit_internal.h 29 KB

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