diff options
Diffstat (limited to 'Zend/Optimizer/optimize_temp_vars_5.c')
| -rw-r--r-- | Zend/Optimizer/optimize_temp_vars_5.c | 187 |
1 files changed, 187 insertions, 0 deletions
diff --git a/Zend/Optimizer/optimize_temp_vars_5.c b/Zend/Optimizer/optimize_temp_vars_5.c new file mode 100644 index 0000000000..6f7400159d --- /dev/null +++ b/Zend/Optimizer/optimize_temp_vars_5.c @@ -0,0 +1,187 @@ +/* + +----------------------------------------------------------------------+ + | Zend OPcache | + +----------------------------------------------------------------------+ + | 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: | + | http://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: Andi Gutmans <andi@php.net> | + | Zeev Suraski <zeev@php.net> | + | Stanislav Malyshev <stas@zend.com> | + | Dmitry Stogov <dmitry@php.net> | + +----------------------------------------------------------------------+ +*/ + +#include "php.h" +#include "Optimizer/zend_optimizer.h" +#include "Optimizer/zend_optimizer_internal.h" +#include "zend_API.h" +#include "zend_constants.h" +#include "zend_execute.h" +#include "zend_vm.h" +#include "zend_bitset.h" + +#define GET_AVAILABLE_T() \ + for (i = 0; i < T; i++) { \ + if (!zend_bitset_in(taken_T, i)) { \ + break; \ + } \ + } \ + zend_bitset_incl(taken_T, i); \ + if (i > max) { \ + max = i; \ + } + +void zend_optimize_temporary_variables(zend_op_array *op_array, zend_optimizer_ctx *ctx) +{ + int T = op_array->T; + int offset = op_array->last_var; + uint32_t bitset_len; + zend_bitset taken_T; /* T index in use */ + zend_op **start_of_T; /* opline where T is first used */ + zend_bitset valid_T; /* Is the map_T valid */ + int *map_T; /* Map's the T to its new index */ + zend_op *opline, *end; + int currT; + int i; + int max = -1; + void *checkpoint = zend_arena_checkpoint(ctx->arena); + + bitset_len = zend_bitset_len(T); + taken_T = (zend_bitset) zend_arena_alloc(&ctx->arena, bitset_len * ZEND_BITSET_ELM_SIZE); + start_of_T = (zend_op **) zend_arena_alloc(&ctx->arena, T * sizeof(zend_op *)); + valid_T = (zend_bitset) zend_arena_alloc(&ctx->arena, bitset_len * ZEND_BITSET_ELM_SIZE); + map_T = (int *) zend_arena_alloc(&ctx->arena, T * sizeof(int)); + + end = op_array->opcodes; + opline = &op_array->opcodes[op_array->last - 1]; + + /* Find T definition points */ + while (opline >= end) { + if (opline->result_type & (IS_VAR | IS_TMP_VAR)) { + start_of_T[VAR_NUM(opline->result.var) - offset] = opline; + } + opline--; + } + + zend_bitset_clear(valid_T, bitset_len); + zend_bitset_clear(taken_T, bitset_len); + + end = op_array->opcodes; + opline = &op_array->opcodes[op_array->last - 1]; + + while (opline >= end) { + if ((opline->op1_type & (IS_VAR | IS_TMP_VAR))) { + currT = VAR_NUM(opline->op1.var) - offset; + if (opline->opcode == ZEND_ROPE_END) { + int num = (((opline->extended_value + 1) * sizeof(zend_string*)) + (sizeof(zval) - 1)) / sizeof(zval); + int var; + + var = max; + while (var >= 0 && !zend_bitset_in(taken_T, var)) { + var--; + } + max = MAX(max, var + num); + var = var + 1; + map_T[currT] = var; + zend_bitset_incl(valid_T, currT); + zend_bitset_incl(taken_T, var); + opline->op1.var = NUM_VAR(var + offset); + while (num > 1) { + num--; + zend_bitset_incl(taken_T, var + num); + } + } else { + if (!zend_bitset_in(valid_T, currT)) { + int use_new_var = 0; + + /* Code in "finally" blocks may modify temporary variables. + * We allocate new temporaries for values that need to + * relive FAST_CALLs. + */ + if ((op_array->fn_flags & ZEND_ACC_HAS_FINALLY_BLOCK) && + (opline->opcode == ZEND_RETURN || + opline->opcode == ZEND_GENERATOR_RETURN || + opline->opcode == ZEND_RETURN_BY_REF || + opline->opcode == ZEND_FREE || + opline->opcode == ZEND_FE_FREE)) { + zend_op *curr = opline; + + while (--curr >= end) { + if (curr->opcode == ZEND_FAST_CALL) { + use_new_var = 1; + break; + } else if (curr->opcode != ZEND_FREE && + curr->opcode != ZEND_FE_FREE && + curr->opcode != ZEND_VERIFY_RETURN_TYPE && + curr->opcode != ZEND_DISCARD_EXCEPTION) { + break; + } + } + } + if (use_new_var) { + i = ++max; + zend_bitset_incl(taken_T, i); + } else { + GET_AVAILABLE_T(); + } + map_T[currT] = i; + zend_bitset_incl(valid_T, currT); + } + opline->op1.var = NUM_VAR(map_T[currT] + offset); + } + } + + if ((opline->op2_type & (IS_VAR | IS_TMP_VAR))) { + currT = VAR_NUM(opline->op2.var) - offset; + if (!zend_bitset_in(valid_T, currT)) { + GET_AVAILABLE_T(); + map_T[currT] = i; + zend_bitset_incl(valid_T, currT); + } + opline->op2.var = NUM_VAR(map_T[currT] + offset); + } + + if (opline->result_type & (IS_VAR | IS_TMP_VAR)) { + currT = VAR_NUM(opline->result.var) - offset; + if (zend_bitset_in(valid_T, currT)) { + if (start_of_T[currT] == opline) { + /* ZEND_FAST_CALL can not share temporary var with others + * since the fast_var could also be set by ZEND_HANDLE_EXCEPTION + * which could be ahead of it */ + if (opline->opcode != ZEND_FAST_CALL) { + zend_bitset_excl(taken_T, map_T[currT]); + } + } + opline->result.var = NUM_VAR(map_T[currT] + offset); + if (opline->opcode == ZEND_ROPE_INIT) { + if (start_of_T[currT] == opline) { + uint32_t num = ((opline->extended_value * sizeof(zend_string*)) + (sizeof(zval) - 1)) / sizeof(zval); + while (num > 1) { + num--; + zend_bitset_excl(taken_T, map_T[currT]+num); + } + } + } + } else { + /* Code which gets here is using a wrongly built opcode such as RECV() */ + GET_AVAILABLE_T(); + map_T[currT] = i; + zend_bitset_incl(valid_T, currT); + opline->result.var = NUM_VAR(i + offset); + } + } + + opline--; + } + + zend_arena_release(&ctx->arena, checkpoint); + op_array->T = max + 1; +} |