Gecko [ www.ctm-euromeuble.fr ]

Name	Size	Permission	Date
.libs	[ DIR ]	drwxr-xr-x	2024-03-12 14:21
block_pass.c	62.85 KB	-rw-rw-r--	2022-10-31 11:36
block_pass.lo	343 B	-rw-r--r--	2024-03-12 14:20
block_pass.o	190.32 KB	-rw-r--r--	2024-03-12 14:20
compact_literals.c	26.82 KB	-rw-rw-r--	2022-10-31 11:36
compact_literals.lo	361 B	-rw-r--r--	2024-03-12 14:20
compact_literals.o	119.45 KB	-rw-r--r--	2024-03-12 14:20
compact_vars.c	4.32 KB	-rw-rw-r--	2022-10-31 11:36
compact_vars.lo	349 B	-rw-r--r--	2024-03-12 14:21
compact_vars.o	64.34 KB	-rw-r--r--	2024-03-12 14:21
dce.c	20.51 KB	-rw-rw-r--	2022-10-31 11:36
dce.lo	322 B	-rw-r--r--	2024-03-12 14:21
dce.o	146.59 KB	-rw-r--r--	2024-03-12 14:21
dfa_pass.c	41.96 KB	-rw-rw-r--	2022-10-31 11:36
dfa_pass.lo	337 B	-rw-r--r--	2024-03-12 14:20
dfa_pass.o	160.44 KB	-rw-r--r--	2024-03-12 14:20
escape_analysis.c	14.67 KB	-rw-rw-r--	2022-10-31 11:36
escape_analysis.lo	358 B	-rw-r--r--	2024-03-12 14:21
escape_analysis.o	127.1 KB	-rw-r--r--	2024-03-12 14:21
nop_removal.c	3.75 KB	-rw-rw-r--	2022-10-31 11:36
nop_removal.lo	346 B	-rw-r--r--	2024-03-12 14:20
nop_removal.o	71.97 KB	-rw-r--r--	2024-03-12 14:20
optimize_func_calls.c	10.06 KB	-rw-rw-r--	2022-10-31 11:36
optimize_func_calls.lo	370 B	-rw-r--r--	2024-03-12 14:20
optimize_func_calls.o	92.51 KB	-rw-r--r--	2024-03-12 14:20
optimize_temp_vars_5.c	6.25 KB	-rw-rw-r--	2022-10-31 11:36
optimize_temp_vars_5.lo	373 B	-rw-r--r--	2024-03-12 14:20
optimize_temp_vars_5.o	84.93 KB	-rw-r--r--	2024-03-12 14:20
pass1_5.c	20.27 KB	-rw-rw-r--	2022-10-31 11:36
pass1_5.lo	334 B	-rw-r--r--	2024-03-12 14:20
pass1_5.o	111.31 KB	-rw-r--r--	2024-03-12 14:20
pass2.c	8.03 KB	-rw-rw-r--	2022-10-31 11:36
pass2.lo	328 B	-rw-r--r--	2024-03-12 14:20
pass2.o	78.8 KB	-rw-r--r--	2024-03-12 14:20
pass3.c	13.99 KB	-rw-rw-r--	2022-10-31 11:36
pass3.lo	328 B	-rw-r--r--	2024-03-12 14:20
pass3.o	77.67 KB	-rw-r--r--	2024-03-12 14:20
sccp.c	71.32 KB	-rw-rw-r--	2022-10-31 11:36
sccp.lo	325 B	-rw-r--r--	2024-03-12 14:21
sccp.o	537.66 KB	-rw-r--r--	2024-03-12 14:21
scdf.c	9.43 KB	-rw-rw-r--	2022-10-31 11:36
scdf.h	3.46 KB	-rw-rw-r--	2022-10-31 11:36
scdf.lo	325 B	-rw-r--r--	2024-03-12 14:21
scdf.o	87.01 KB	-rw-r--r--	2024-03-12 14:21
ssa_integrity.c	12.62 KB	-rw-rw-r--	2022-10-31 11:36
zend_call_graph.c	9.27 KB	-rw-rw-r--	2022-10-31 11:36
zend_call_graph.h	3.17 KB	-rw-rw-r--	2022-10-31 11:36
zend_call_graph.lo	358 B	-rw-r--r--	2024-03-12 14:21
zend_call_graph.o	107.78 KB	-rw-r--r--	2024-03-12 14:21
zend_cfg.c	25.16 KB	-rw-rw-r--	2022-10-31 11:36
zend_cfg.h	5.57 KB	-rw-rw-r--	2022-10-31 11:36
zend_cfg.lo	337 B	-rw-r--r--	2024-03-12 14:20
zend_cfg.o	131.81 KB	-rw-r--r--	2024-03-12 14:20
zend_dfg.c	8.25 KB	-rw-rw-r--	2022-10-31 11:36
zend_dfg.h	1.85 KB	-rw-rw-r--	2022-10-31 11:36
zend_dfg.lo	337 B	-rw-r--r--	2024-03-12 14:20
zend_dfg.o	90.51 KB	-rw-r--r--	2024-03-12 14:20
zend_dump.c	35.72 KB	-rw-rw-r--	2022-10-31 11:36
zend_dump.h	2.27 KB	-rw-rw-r--	2022-10-31 11:36
zend_dump.lo	340 B	-rw-r--r--	2024-03-12 14:21
zend_dump.o	182.13 KB	-rw-r--r--	2024-03-12 14:21
zend_func_info.c	113.3 KB	-rw-rw-r--	2022-10-31 11:36
zend_func_info.h	2.59 KB	-rw-rw-r--	2022-10-31 11:36
zend_func_info.lo	355 B	-rw-r--r--	2024-03-12 14:21
zend_func_info.o	202.44 KB	-rw-r--r--	2024-03-12 14:21
zend_inference.c	142.98 KB	-rw-rw-r--	2022-10-31 11:36
zend_inference.h	11.71 KB	-rw-rw-r--	2022-10-31 11:36
zend_inference.lo	355 B	-rw-r--r--	2024-03-12 14:20
zend_inference.o	994.6 KB	-rw-r--r--	2024-03-12 14:20
zend_optimizer.c	49.12 KB	-rw-rw-r--	2022-10-31 11:36
zend_optimizer.h	4.58 KB	-rw-rw-r--	2022-10-31 11:36
zend_optimizer.lo	355 B	-rw-r--r--	2024-03-12 14:20
zend_optimizer.o	227.7 KB	-rw-r--r--	2024-03-12 14:20
zend_optimizer_internal.h	6.36 KB	-rw-rw-r--	2022-10-31 11:36
zend_ssa.c	51.56 KB	-rw-rw-r--	2022-10-31 11:36
zend_ssa.h	11.23 KB	-rw-rw-r--	2022-10-31 11:36
zend_ssa.lo	337 B	-rw-r--r--	2024-03-12 14:20
zend_ssa.o	196.41 KB	-rw-r--r--	2024-03-12 14:20
zend_worklist.h	3.82 KB	-rw-rw-r--	2022-10-31 11:36

Rename

/*
   +----------------------------------------------------------------------+
   | 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>                              |
   +----------------------------------------------------------------------+
*/

/* pass 2:
 * - convert non-numeric constants to numeric constants in numeric operators
 * - optimize constant conditional JMPs
 */

#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"

void zend_optimizer_pass2(zend_op_array *op_array)
{
	zend_op *opline;
	zend_op *end = op_array->opcodes + op_array->last;

opline = op_array->opcodes;
	while (opline < end) {
		switch (opline->opcode) {
			case ZEND_ADD:
			case ZEND_SUB:
			case ZEND_MUL:
			case ZEND_DIV:
			case ZEND_POW:
				if (opline->op1_type == IS_CONST) {
					if (Z_TYPE(ZEND_OP1_LITERAL(opline)) == IS_STRING) {
						/* don't optimise if it should produce a runtime numeric string error */
						if (is_numeric_string(Z_STRVAL(ZEND_OP1_LITERAL(opline)), Z_STRLEN(ZEND_OP1_LITERAL(opline)), NULL, NULL, 0)) {
							convert_scalar_to_number(&ZEND_OP1_LITERAL(opline));
						}
					}
				}
				if (opline->op2_type == IS_CONST) {
					if (Z_TYPE(ZEND_OP2_LITERAL(opline)) == IS_STRING) {
						/* don't optimise if it should produce a runtime numeric string error */
						if (is_numeric_string(Z_STRVAL(ZEND_OP2_LITERAL(opline)), Z_STRLEN(ZEND_OP2_LITERAL(opline)), NULL, NULL, 0)) {
							convert_scalar_to_number(&ZEND_OP2_LITERAL(opline));
						}
					}
				}
				break;

case ZEND_MOD:
			case ZEND_SL:
			case ZEND_SR:
				if (opline->op1_type == IS_CONST) {
					if (Z_TYPE(ZEND_OP1_LITERAL(opline)) != IS_LONG) {
						/* don't optimise if it should produce a runtime numeric string error */
						if (!(Z_TYPE(ZEND_OP1_LITERAL(opline)) == IS_STRING
							&& !is_numeric_string(Z_STRVAL(ZEND_OP1_LITERAL(opline)), Z_STRLEN(ZEND_OP1_LITERAL(opline)), NULL, NULL, 0))) {
							convert_to_long(&ZEND_OP1_LITERAL(opline));
						}
					}
				}
				if (opline->op2_type == IS_CONST) {
					if (Z_TYPE(ZEND_OP2_LITERAL(opline)) != IS_LONG) {
						/* don't optimise if it should produce a runtime numeric string error */
						if (!(Z_TYPE(ZEND_OP2_LITERAL(opline)) == IS_STRING
							&& !is_numeric_string(Z_STRVAL(ZEND_OP2_LITERAL(opline)), Z_STRLEN(ZEND_OP2_LITERAL(opline)), NULL, NULL, 0))) {
							convert_to_long(&ZEND_OP2_LITERAL(opline));
						}
					}
				}
				break;

case ZEND_CONCAT:
			case ZEND_FAST_CONCAT:
				if (opline->op1_type == IS_CONST) {
					if (Z_TYPE(ZEND_OP1_LITERAL(opline)) != IS_STRING) {
						convert_to_string(&ZEND_OP1_LITERAL(opline));
					}
				}
				if (opline->op2_type == IS_CONST) {
					if (Z_TYPE(ZEND_OP2_LITERAL(opline)) != IS_STRING) {
						convert_to_string(&ZEND_OP2_LITERAL(opline));
					}
				}
				break;

case ZEND_ASSIGN_OP:
				if (opline->op2_type == IS_CONST) {
					if (opline->extended_value == ZEND_ADD
					 || opline->extended_value == ZEND_SUB
					 || opline->extended_value == ZEND_MUL
					 || opline->extended_value == ZEND_DIV
					 || opline->extended_value == ZEND_POW) {
						if (Z_TYPE(ZEND_OP2_LITERAL(opline)) == IS_STRING) {
							/* don't optimise if it should produce a runtime numeric string error */
							if (is_numeric_string(Z_STRVAL(ZEND_OP2_LITERAL(opline)), Z_STRLEN(ZEND_OP2_LITERAL(opline)), NULL, NULL, 0)) {
								convert_scalar_to_number(&ZEND_OP2_LITERAL(opline));
							}
						}
					} else if (opline->extended_value == ZEND_MOD
					 || opline->extended_value == ZEND_SL
					 || opline->extended_value == ZEND_SR) {
						if (Z_TYPE(ZEND_OP2_LITERAL(opline)) != IS_LONG) {
							/* don't optimise if it should produce a runtime numeric string error */
							if (!(Z_TYPE(ZEND_OP2_LITERAL(opline)) == IS_STRING
								&& !is_numeric_string(Z_STRVAL(ZEND_OP2_LITERAL(opline)), Z_STRLEN(ZEND_OP2_LITERAL(opline)), NULL, NULL, 0))) {
								convert_to_long(&ZEND_OP2_LITERAL(opline));
							}
						}
					} else if (opline->extended_value == ZEND_CONCAT) {
						if (Z_TYPE(ZEND_OP2_LITERAL(opline)) != IS_STRING) {
							convert_to_string(&ZEND_OP2_LITERAL(opline));
						}
					}
				}
				break;

case ZEND_JMPZ_EX:
			case ZEND_JMPNZ_EX:
				/* convert Ti = JMPZ_EX(Ti, L) to JMPZ(Ti, L) */
#if 0
				/* Disabled unsafe pattern: in conjunction with
				 * ZEND_VM_SMART_BRANCH() this may improperly eliminate
				 * assignment to Ti.
				 */
				if (opline->op1_type == IS_TMP_VAR &&
				    opline->result_type == IS_TMP_VAR &&
				    opline->op1.var == opline->result.var) {
					opline->opcode -= 3;
					SET_UNUSED(opline->result);
				} else
#endif
				/* convert Ti = JMPZ_EX(C, L) => Ti = QM_ASSIGN(C)
				   in case we know it wouldn't jump */
				if (opline->op1_type == IS_CONST) {
					int should_jmp = zend_is_true(&ZEND_OP1_LITERAL(opline));
					if (opline->opcode == ZEND_JMPZ_EX) {
						should_jmp = !should_jmp;
					}
					if (!should_jmp) {
						opline->opcode = ZEND_QM_ASSIGN;
						SET_UNUSED(opline->op2);
					}
				}
				break;

case ZEND_JMPZ:
			case ZEND_JMPNZ:
				if (opline->op1_type == IS_CONST) {
					int should_jmp = zend_is_true(&ZEND_OP1_LITERAL(opline));

if (opline->opcode == ZEND_JMPZ) {
						should_jmp = !should_jmp;
					}
					literal_dtor(&ZEND_OP1_LITERAL(opline));
					opline->op1_type = IS_UNUSED;
					if (should_jmp) {
						opline->opcode = ZEND_JMP;
						COPY_NODE(opline->op1, opline->op2);
					} else {
						MAKE_NOP(opline);
					}
					break;
				}
				if ((opline + 1)->opcode == ZEND_JMP) {
					/* JMPZ(X, L1), JMP(L2) => JMPZNZ(X, L1, L2) */
					/* JMPNZ(X, L1), JMP(L2) => JMPZNZ(X, L2, L1) */
					if (ZEND_OP2_JMP_ADDR(opline) == ZEND_OP1_JMP_ADDR(opline + 1)) {
						/* JMPZ(X, L1), JMP(L1) => NOP, JMP(L1) */
						if (opline->op1_type == IS_CV) {
							opline->opcode = ZEND_CHECK_VAR;
							opline->op2.num = 0;
						} else if (opline->op1_type & (IS_TMP_VAR|IS_VAR)) {
							opline->opcode = ZEND_FREE;
							opline->op2.num = 0;
						} else {
							MAKE_NOP(opline);
						}
					} else {
						if (opline->opcode == ZEND_JMPZ) {
							opline->extended_value = ZEND_OPLINE_TO_OFFSET(opline, ZEND_OP1_JMP_ADDR(opline + 1));
						} else {
							opline->extended_value = ZEND_OPLINE_TO_OFFSET(opline, ZEND_OP2_JMP_ADDR(opline));
							ZEND_SET_OP_JMP_ADDR(opline, opline->op2, ZEND_OP1_JMP_ADDR(opline + 1));
						}
						opline->opcode = ZEND_JMPZNZ;
					}
				}
				break;

case ZEND_JMPZNZ:
				if (opline->op1_type == IS_CONST) {
					zend_op *target_opline;

if (zend_is_true(&ZEND_OP1_LITERAL(opline))) {
						target_opline = ZEND_OFFSET_TO_OPLINE(opline, opline->extended_value); /* JMPNZ */
					} else {
						target_opline = ZEND_OP2_JMP_ADDR(opline); /* JMPZ */
					}
					literal_dtor(&ZEND_OP1_LITERAL(opline));
					ZEND_SET_OP_JMP_ADDR(opline, opline->op1, target_opline);
					opline->op1_type = IS_UNUSED;
					opline->opcode = ZEND_JMP;
				}
				break;
		}
		opline++;
	}
}