summaryrefslogtreecommitdiff
path: root/Zend/zend_compile.c
diff options
context:
space:
mode:
Diffstat (limited to 'Zend/zend_compile.c')
-rw-r--r--Zend/zend_compile.c1822
1 files changed, 1822 insertions, 0 deletions
diff --git a/Zend/zend_compile.c b/Zend/zend_compile.c
new file mode 100644
index 0000000000..f666adeea7
--- /dev/null
+++ b/Zend/zend_compile.c
@@ -0,0 +1,1822 @@
+/*
+ +----------------------------------------------------------------------+
+ | Zend Engine |
+ +----------------------------------------------------------------------+
+ | Copyright (c) 1998, 1999 Andi Gutmans, Zeev Suraski |
+ +----------------------------------------------------------------------+
+ | This source file is subject to the Zend license, that is bundled |
+ | with this package in the file LICENSE. If you did not receive a |
+ | copy of the Zend license, please mail us at zend@zend.com so we can |
+ | send you a copy immediately. |
+ +----------------------------------------------------------------------+
+ | Authors: Andi Gutmans <andi@zend.com> |
+ | Zeev Suraski <zeev@zend.com> |
+ +----------------------------------------------------------------------+
+*/
+
+#include "zend.h"
+#include "zend_compile.h"
+#include "zend_llist.h"
+#include "zend_API.h"
+#include "zend_variables.h"
+#include "zend_operators.h"
+
+
+zend_op_array *(*zend_compile_files)(int mark_as_ref CLS_DC, int file_count, ...);
+
+
+#ifndef ZTS
+ZEND_API zend_compiler_globals compiler_globals;
+ZEND_API zend_executor_globals executor_globals;
+#endif
+
+
+#define SET_UNUSED(op) (op).op_type = IS_UNUSED
+
+static int is_not_internal_function(zend_function *function)
+{
+ return(function->type != ZEND_INTERNAL_FUNCTION);
+}
+
+
+static int is_not_internal_class(zend_class_entry *ce)
+{
+ return(ce->type != ZEND_INTERNAL_CLASS);
+}
+
+
+static void free_filename(void *p)
+{
+ efree(*((char **) p));
+}
+
+
+void init_compiler(CLS_D ELS_DC)
+{
+ zend_stack_init(&CG(bp_stack));
+ zend_stack_init(&CG(function_call_stack));
+ zend_stack_init(&CG(switch_cond_stack));
+ zend_stack_init(&CG(object_stack));
+ CG(active_class_entry) = NULL;
+ zend_llist_init(&CG(list_llist), sizeof(list_llist_element), NULL, 0);
+ zend_llist_init(&CG(dimension_llist), sizeof(int), NULL, 0);
+ zend_llist_init(&CG(filenames_list), sizeof(char *), free_filename, 0);
+ CG(short_tags) = ZEND_UV(short_tags);
+ CG(asp_tags) = ZEND_UV(asp_tags);
+ CG(handle_op_arrays) = 1;
+ zend_hash_apply(&module_registry, (int (*)(void *)) module_registry_request_startup);
+ init_resource_list();
+}
+
+
+void shutdown_compiler(CLS_D)
+{
+ zend_stack_destroy(&CG(bp_stack));
+ zend_stack_destroy(&CG(function_call_stack));
+ zend_stack_destroy(&CG(switch_cond_stack));
+ zend_stack_destroy(&CG(object_stack));
+ zend_llist_destroy(&CG(filenames_list));
+ zend_hash_apply(CG(function_table), (int (*)(void *)) is_not_internal_function);
+ zend_hash_apply(CG(class_table), (int (*)(void *)) is_not_internal_class);
+ destroy_resource_list();
+ zend_hash_apply(&module_registry, (int (*)(void *)) module_registry_cleanup);
+}
+
+
+ZEND_API void zend_set_compiled_filename(char *new_compiled_filename)
+{
+ char *p = estrdup(new_compiled_filename);
+ CLS_FETCH();
+
+ zend_llist_add_element(&CG(filenames_list), &p);
+ CG(compiled_filename) = p;
+}
+
+
+ZEND_API void zend_restore_compiled_filename(char *original_compiled_filename)
+{
+ CLS_FETCH();
+
+ CG(compiled_filename) = original_compiled_filename;
+}
+
+ZEND_API char *zend_get_compiled_filename()
+{
+ CLS_FETCH();
+
+ return CG(compiled_filename);
+}
+
+
+static int get_temporary_variable(zend_op_array *op_array)
+{
+ return (op_array->T)++;
+}
+
+
+void do_binary_op(int op, znode *result, znode *op1, znode *op2 CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = op;
+ opline->result.op_type = IS_TMP_VAR;
+ opline->result.u.var = get_temporary_variable(CG(active_op_array));
+ opline->op1 = *op1;
+ opline->op2 = *op2;
+ *result = opline->result;
+}
+
+
+void do_unary_op(int op, znode *result, znode *op1 CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = op;
+ opline->result.op_type = IS_TMP_VAR;
+ opline->result.u.var = get_temporary_variable(CG(active_op_array));
+ opline->op1 = *op1;
+ *result = opline->result;
+ SET_UNUSED(opline->op2);
+}
+
+
+void do_binary_assign_op(int op, znode *result, znode *op1, znode *op2 CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = op;
+ opline->result.op_type = IS_VAR;
+ opline->result.u.EA.type = 0;
+ opline->result.u.var = get_temporary_variable(CG(active_op_array));
+ opline->op1 = *op1;
+ opline->op2 = *op2;
+ *result = opline->result;
+}
+
+
+void fetch_simple_variable(znode *result, znode *varname, int bp CLS_DC)
+{
+ int next_op_number = get_next_op_number(CG(active_op_array));
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+ zend_llist *fetch_list_ptr;
+
+ opline->opcode = ZEND_FETCH_W; /* the default mode must be Write, since fetch_simple_variable() is used to define function arguments */
+ opline->result.op_type = IS_VAR;
+ opline->result.u.EA.type = 0;
+ opline->result.u.var = get_temporary_variable(CG(active_op_array));
+ opline->op1 = *varname;
+ *result = opline->result;
+ SET_UNUSED(opline->op2);
+ opline->op2.u.constant.value.lval = ZEND_FETCH_LOCAL;
+
+ if (bp) {
+ zend_stack_top(&CG(bp_stack), (void **) &fetch_list_ptr);
+ zend_llist_add_element(fetch_list_ptr, &next_op_number);
+ }
+}
+
+
+void fetch_array_begin(znode *result, znode *varname, znode *first_dim CLS_DC)
+{
+ fetch_simple_variable(result, varname, 1 CLS_CC);
+
+ fetch_array_dim(result, result, first_dim CLS_CC);
+}
+
+
+void fetch_array_dim(znode *result, znode *parent, znode *dim CLS_DC)
+{
+ int next_op_number = get_next_op_number(CG(active_op_array));
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+ zend_llist *fetch_list_ptr;
+
+ opline->opcode = ZEND_FETCH_DIM_W; /* the backpatching routine assumes W */
+ opline->result.op_type = IS_VAR;
+ opline->result.u.EA.type = 0;
+ opline->result.u.var = get_temporary_variable(CG(active_op_array));
+ opline->op1 = *parent;
+ opline->op2 = *dim;
+ *result = opline->result;
+
+ zend_stack_top(&CG(bp_stack), (void **) &fetch_list_ptr);
+ zend_llist_add_element(fetch_list_ptr, &next_op_number);
+}
+
+
+void do_print(znode *result, znode *arg CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->result.op_type = IS_TMP_VAR;
+ opline->result.u.var = get_temporary_variable(CG(active_op_array));
+ opline->opcode = ZEND_PRINT_OP;
+ opline->op1 = *arg;
+ SET_UNUSED(opline->op2);
+ *result = opline->result;
+}
+
+
+void do_echo(znode *arg CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_ECHO_OP;
+ opline->op1 = *arg;
+ SET_UNUSED(opline->op2);
+}
+
+
+void do_assign(znode *result, znode *variable, znode *value CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_ASSIGN;
+ opline->result.op_type = IS_VAR;
+ opline->result.u.EA.type = 0;
+ opline->result.u.var = get_temporary_variable(CG(active_op_array));
+ opline->op1 = *variable;
+ opline->op2 = *value;
+ *result = opline->result;
+}
+
+
+void do_assign_ref(znode *result, znode *lvar, znode *rvar CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_ASSIGN_REF;
+ if (result) {
+ opline->result.op_type = IS_VAR;
+ opline->result.u.EA.type = 0;
+ opline->result.u.var = get_temporary_variable(CG(active_op_array));
+ *result = opline->result;
+ } else {
+ SET_UNUSED(opline->result);
+ }
+ opline->op1 = *lvar;
+ opline->op2 = *rvar;
+}
+
+
+static inline void do_begin_loop(CLS_D)
+{
+ zend_brk_cont_element *brk_cont_element;
+ int parent;
+
+ parent = CG(active_op_array)->current_brk_cont;
+ CG(active_op_array)->current_brk_cont = CG(active_op_array)->last_brk_cont;
+ brk_cont_element = get_next_brk_cont_element(CG(active_op_array));
+ brk_cont_element->parent = parent;
+}
+
+
+static inline void do_end_loop(int cont_addr CLS_DC)
+{
+ CG(active_op_array)->brk_cont_array[CG(active_op_array)->current_brk_cont].cont = cont_addr;
+ CG(active_op_array)->brk_cont_array[CG(active_op_array)->current_brk_cont].brk = get_next_op_number(CG(active_op_array));
+ CG(active_op_array)->current_brk_cont = CG(active_op_array)->brk_cont_array[CG(active_op_array)->current_brk_cont].parent;
+}
+
+
+void do_while_cond(znode *expr, znode *close_bracket_token CLS_DC)
+{
+ int while_cond_op_number = get_next_op_number(CG(active_op_array));
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_JMPZ;
+ opline->op1 = *expr;
+ close_bracket_token->u.opline_num = while_cond_op_number;
+ SET_UNUSED(opline->op2);
+
+ do_begin_loop(CLS_C);
+ INC_BPC(CG(active_op_array));
+}
+
+
+void do_while_end(znode *while_token, znode *close_bracket_token CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ /* add unconditional jump */
+ opline->opcode = ZEND_JMP;
+ opline->op1.u.opline_num = while_token->u.opline_num;
+ SET_UNUSED(opline->op1);
+ SET_UNUSED(opline->op2);
+
+ /* update while's conditional jmp */
+ CG(active_op_array)->opcodes[close_bracket_token->u.opline_num].op2.u.opline_num = get_next_op_number(CG(active_op_array));
+
+ do_end_loop(while_token->u.opline_num CLS_CC);
+
+ DEC_BPC(CG(active_op_array));
+}
+
+
+void do_for_cond(znode *expr, znode *second_semicolon_token CLS_DC)
+{
+ int for_cond_op_number = get_next_op_number(CG(active_op_array));
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_JMPZNZ;
+ opline->result = *expr; /* the conditional expression */
+ second_semicolon_token->u.opline_num = for_cond_op_number;
+ SET_UNUSED(opline->op1);
+ SET_UNUSED(opline->op2);
+}
+
+
+void do_for_before_statement(znode *cond_start, znode *second_semicolon_token CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_JMP;
+ opline->op1.u.opline_num = cond_start->u.opline_num;
+ CG(active_op_array)->opcodes[second_semicolon_token->u.opline_num].op1.u.opline_num = get_next_op_number(CG(active_op_array));
+ SET_UNUSED(opline->op1);
+ SET_UNUSED(opline->op2);
+
+ do_begin_loop(CLS_C);
+
+ INC_BPC(CG(active_op_array));
+}
+
+
+void do_for_end(znode *second_semicolon_token CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_JMP;
+ opline->op1.u.opline_num = second_semicolon_token->u.opline_num+1;
+ CG(active_op_array)->opcodes[second_semicolon_token->u.opline_num].op2.u.opline_num = get_next_op_number(CG(active_op_array));
+ SET_UNUSED(opline->op1);
+ SET_UNUSED(opline->op2);
+
+ do_end_loop(second_semicolon_token->u.opline_num+1 CLS_CC);
+
+ DEC_BPC(CG(active_op_array));
+}
+
+
+void do_pre_incdec(znode *result, znode *op1, int op CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = op;
+ opline->result.op_type = IS_VAR;
+ opline->result.u.EA.type = 0;
+ opline->result.u.var = get_temporary_variable(CG(active_op_array));
+ opline->op1 = *op1;
+ *result = opline->result;
+ SET_UNUSED(opline->op2);
+}
+
+
+void do_post_incdec(znode *result, znode *op1, int op CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = op;
+ opline->result.op_type = IS_TMP_VAR;
+ opline->result.u.var = get_temporary_variable(CG(active_op_array));
+ opline->op1 = *op1;
+ *result = opline->result;
+ SET_UNUSED(opline->op2);
+}
+
+
+void do_if_cond(znode *cond, znode *closing_bracket_token CLS_DC)
+{
+ int if_cond_op_number = get_next_op_number(CG(active_op_array));
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_JMPZ;
+ opline->op1 = *cond;
+ closing_bracket_token->u.opline_num = if_cond_op_number;
+ SET_UNUSED(opline->op2);
+ INC_BPC(CG(active_op_array));
+}
+
+
+void do_if_after_statement(znode *closing_bracket_token, unsigned char initialize CLS_DC)
+{
+ int if_end_op_number = get_next_op_number(CG(active_op_array));
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+ zend_llist *jmp_list_ptr;
+
+ opline->opcode = ZEND_JMP;
+ /* save for backpatching */
+ if (initialize) {
+ zend_llist jmp_list;
+
+ zend_llist_init(&jmp_list, sizeof(int), NULL, 0);
+ zend_stack_push(&CG(bp_stack), (void *) &jmp_list, sizeof(zend_llist));
+ }
+ zend_stack_top(&CG(bp_stack), (void **) &jmp_list_ptr);
+ zend_llist_add_element(jmp_list_ptr, &if_end_op_number);
+
+ CG(active_op_array)->opcodes[closing_bracket_token->u.opline_num].op2.u.opline_num = if_end_op_number+1;
+ SET_UNUSED(opline->op1);
+ SET_UNUSED(opline->op2);
+}
+
+
+void do_if_end(CLS_D)
+{
+ int next_op_number = get_next_op_number(CG(active_op_array));
+ zend_llist *jmp_list_ptr;
+ zend_llist_element *le;
+
+ zend_stack_top(&CG(bp_stack), (void **) &jmp_list_ptr);
+ for (le=jmp_list_ptr->head; le; le = le->next) {
+ CG(active_op_array)->opcodes[*((int *) le->data)].op1.u.opline_num = next_op_number;
+ }
+ zend_llist_destroy(jmp_list_ptr);
+ zend_stack_del_top(&CG(bp_stack));
+ DEC_BPC(CG(active_op_array));
+}
+
+
+void do_begin_variable_parse(CLS_D)
+{
+ zend_llist fetch_list;
+
+ zend_llist_init(&fetch_list, sizeof(int), NULL, 0);
+ zend_stack_push(&CG(bp_stack), (void *) &fetch_list, sizeof(zend_llist));
+}
+
+
+void do_end_variable_parse(int type CLS_DC)
+{
+ zend_llist *fetch_list_ptr;
+ zend_llist_element *le;
+ zend_op *opline;
+
+ zend_stack_top(&CG(bp_stack), (void **) &fetch_list_ptr);
+
+ le = fetch_list_ptr->head;
+
+ while (le) {
+ opline = &CG(active_op_array)->opcodes[*((int *) le->data)];
+ switch (type) {
+ case BP_VAR_R:
+ if (opline->opcode == ZEND_FETCH_DIM_W && opline->op2.op_type == IS_UNUSED) {
+ zend_error(E_COMPILE_ERROR, "Cannot use [] for reading");
+ }
+ opline->opcode -= 3;
+ break;
+ case BP_VAR_W:
+ break;
+ case BP_VAR_RW:
+ opline->opcode += 3;
+ break;
+ case BP_VAR_IS:
+ opline->opcode += 6; /* 3+3 */
+ }
+ le = le->next;
+ }
+ zend_llist_destroy(fetch_list_ptr);
+ zend_stack_del_top(&CG(bp_stack));
+}
+
+
+void do_init_string(znode *result)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_INIT_STRING;
+ opline->result.op_type = IS_TMP_VAR;
+ opline->result.u.var = get_temporary_variable(CG(active_op_array));
+ *result = opline->result;
+ SET_UNUSED(opline->op1);
+ SET_UNUSED(opline->op2);
+}
+
+
+void do_add_char(znode *result, znode *op1, znode *op2 CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_ADD_CHAR;
+ opline->op1 = *op1;
+ opline->op2 = *op2;
+ opline->op2.op_type = IS_CONST;
+ opline->result = opline->op1;
+ *result = opline->result;
+}
+
+
+void do_add_string(znode *result, znode *op1, znode *op2 CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_ADD_STRING;
+ opline->op1 = *op1;
+ opline->op2 = *op2;
+ opline->op2.op_type = IS_CONST;
+ opline->result = opline->op1;
+ *result = opline->result;
+}
+
+
+void do_add_variable(znode *result, znode *op1, znode *op2 CLS_DC)
+{
+ zend_op *opline;
+
+ if (op1->op_type == IS_CONST) {
+ opline = get_next_op(CG(active_op_array) CLS_CC);
+ opline->opcode = ZEND_INIT_STRING;
+ opline->result.op_type = IS_TMP_VAR;
+ opline->result.u.var = get_temporary_variable(CG(active_op_array));
+ *result = opline->result;
+ SET_UNUSED(opline->op1);
+ SET_UNUSED(opline->op2);
+
+ if (op1->u.constant.value.str.len>0) {
+ opline = get_next_op(CG(active_op_array) CLS_CC);
+ opline->opcode = ZEND_ADD_STRING;
+ opline->result = *result;
+ opline->op1 = *result;
+ opline->op2 = *op1;
+ opline->result = opline->op1;
+ } else {
+ zval_dtor(&op1->u.constant);
+ }
+ } else {
+ *result = *op1;
+ }
+
+ opline = get_next_op(CG(active_op_array) CLS_CC);
+ opline->opcode = ZEND_ADD_VAR;
+ opline->result = *result;
+ opline->op1 = *result;
+ opline->op2 = *op2;
+ *result = opline->result;
+}
+
+
+void do_free(znode *op1 CLS_DC)
+{
+ if (op1->op_type==IS_TMP_VAR) {
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_FREE;
+ opline->op1 = *op1;
+ SET_UNUSED(opline->op2);
+ } else if (op1->op_type==IS_VAR) {
+ zend_op *opline = &CG(active_op_array)->opcodes[CG(active_op_array)->last-1];
+
+ if (opline->result.op_type == op1->op_type
+ && opline->result.u.var == op1->u.var) {
+ opline->result.u.EA.type |= EXT_TYPE_UNUSED;
+ } else {
+
+ /* This should be an object instanciation
+ * Find JMP_NO_CTOR, mark the preceding ASSIGN and the
+ * proceeding INIT_FCALL_BY_NAME as unused
+ */
+ while (opline>CG(active_op_array)->opcodes) {
+ if (opline->opcode == ZEND_JMP_NO_CTOR) {
+ (opline-1)->result.u.EA.type |= EXT_TYPE_UNUSED;
+ (opline+1)->op1.u.EA.type |= EXT_TYPE_UNUSED;
+ break;
+ }
+ opline--;
+ }
+ }
+ }
+}
+
+
+void do_begin_function_declaration(znode *function_token, znode *function_name, int is_method CLS_DC)
+{
+ zend_op_array op_array;
+ char *name = function_name->u.constant.value.str.val;
+ int name_len = function_name->u.constant.value.str.len;
+ int function_begin_line = function_token->u.opline_num;
+
+ function_token->u.op_array = CG(active_op_array);
+ zend_str_tolower(name, name_len);
+
+ init_op_array(&op_array, INITIAL_OP_ARRAY_SIZE);
+ op_array.function_name = name;
+ op_array.arg_types = NULL;
+
+ if (is_method) {
+ zend_hash_update(&CG(active_class_entry)->function_table, name, name_len+1, &op_array, sizeof(zend_op_array), (void **) &CG(active_op_array));
+ } else {
+ zend_hash_add(CG(function_table), name, name_len+1, &op_array, sizeof(zend_op_array), (void **) &CG(active_op_array));
+ }
+
+ if (CG(extended_info)) {
+ zend_op *opline = get_next_op(CG(active_op_array));
+
+ opline->opcode = ZEND_EXT_NOP;
+ opline->lineno = function_begin_line;
+ SET_UNUSED(opline->op1);
+ SET_UNUSED(opline->op2);
+ }
+}
+
+
+void do_end_function_declaration(znode *function_token CLS_DC)
+{
+ pass_two(CG(active_op_array));
+ CG(active_op_array) = function_token->u.op_array;
+}
+
+
+void do_receive_arg(int op, znode *var, znode *offset, znode *initialization, unsigned char pass_type CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = op;
+ opline->result = *var;
+ opline->op1 = *offset;
+ if (initialization) {
+ opline->op2 = *initialization;
+ } else {
+ SET_UNUSED(opline->op2);
+ }
+ if (pass_type==BYREF_FORCE && !CG(active_op_array)->arg_types) {
+ int i;
+
+ CG(active_op_array)->arg_types = (unsigned char *) emalloc(sizeof(unsigned char)*(offset->u.constant.value.lval+2));
+ for (i=1; i<=offset->u.constant.value.lval; i++) {
+ CG(active_op_array)->arg_types[i] = BYREF_NONE;
+ }
+ CG(active_op_array)->arg_types[0]=(unsigned char) offset->u.constant.value.lval;
+ }
+ if (CG(active_op_array)->arg_types) {
+ CG(active_op_array)->arg_types = (unsigned char *) erealloc(CG(active_op_array)->arg_types, sizeof(unsigned char)*(offset->u.constant.value.lval+2));
+ CG(active_op_array)->arg_types[offset->u.constant.value.lval+1] = pass_type;
+ CG(active_op_array)->arg_types[0]++;
+ }
+}
+
+
+void do_begin_function_call(znode *function_name CLS_DC)
+{
+ zend_op *opline ;
+ zend_function *function;
+
+ zend_str_tolower(function_name->u.constant.value.str.val, function_name->u.constant.value.str.len);
+ if (zend_hash_find(CG(function_table), function_name->u.constant.value.str.val,function_name->u.constant.value.str.len+1, (void **) &function)==FAILURE) {
+ znode tmp = *function_name;
+
+ zval_copy_ctor(&tmp.u.constant);
+ do_begin_dynamic_function_call(&tmp CLS_CC);
+ return;
+ }
+
+ opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ switch (function->type) {
+ case ZEND_USER_FUNCTION: {
+ zend_op_array *op_array = (zend_op_array *) function;
+
+ zend_stack_push(&CG(function_call_stack), (void *) &op_array->arg_types, sizeof(unsigned char *));
+ }
+ break;
+ case ZEND_INTERNAL_FUNCTION: {
+ zend_internal_function *internal_function = (zend_internal_function *) function;
+
+ zend_stack_push(&CG(function_call_stack), (void *) &internal_function->arg_types, sizeof(unsigned char *));
+ }
+ break;
+ }
+
+ opline->opcode = ZEND_INIT_FCALL;
+ SET_UNUSED(opline->op1);
+ SET_UNUSED(opline->op2);
+}
+
+
+void do_begin_dynamic_function_call(znode *function_name CLS_DC)
+{
+ unsigned char *ptr = NULL;
+ int last_op_number = get_next_op_number(CG(active_op_array))-1;
+
+ if (CG(active_op_array)->opcodes[last_op_number].opcode == ZEND_FETCH_OBJ_R) {
+ CG(active_op_array)->opcodes[last_op_number].opcode = ZEND_INIT_FCALL_BY_NAME;
+ } else {
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_INIT_FCALL_BY_NAME;
+ opline->op2 = *function_name;
+ SET_UNUSED(opline->op1);
+ }
+ zend_stack_push(&CG(function_call_stack), (void *) &ptr, sizeof(unsigned char *));
+}
+
+
+void do_begin_class_member_function_call(znode *class_name, znode *function_name CLS_DC)
+{
+ unsigned char *ptr = NULL;
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_INIT_FCALL_BY_NAME;
+ zend_str_tolower(class_name->u.constant.value.str.val, class_name->u.constant.value.str.len);
+ opline->op1 = *class_name;
+ opline->op2 = *function_name;
+ zval_copy_ctor(&opline->op2.u.constant);
+ zend_stack_push(&CG(function_call_stack), (void *) &ptr, sizeof(unsigned char *));
+}
+
+
+void do_end_function_call(znode *function_name, znode *result, int is_method CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+ ELS_FETCH();
+
+ opline->opcode = ZEND_DO_FCALL;
+ opline->op1 = *function_name;
+ opline->result.u.var = get_temporary_variable(CG(active_op_array));
+ opline->result.op_type = IS_TMP_VAR;
+ *result = opline->result;
+ SET_UNUSED(opline->op2);
+ opline->op2.u.constant.value.lval = is_method;
+ zend_stack_del_top(&CG(function_call_stack));
+}
+
+
+void do_pass_param(znode *param, int op, int offset CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+ unsigned char **arg_types_ptr, *arg_types;
+ int original_op=op;
+
+ zend_stack_top(&CG(function_call_stack), (void **) &arg_types_ptr);
+ arg_types = *arg_types_ptr;
+
+ if (op == ZEND_SEND_VAL) {
+ switch (param->op_type) {
+ case IS_CONST: /* constants behave like variables when passed to functions,
+ * as far as reference counting is concerned. Treat them
+ * as if they were variables here.
+ */
+ case IS_VAR:
+ op = ZEND_SEND_VAR;
+ break;
+ }
+ }
+ if (arg_types && offset<arg_types[0]
+ && arg_types[1+offset]==BYREF_FORCE) {
+ /* change to passing by reference */
+ switch (param->op_type) {
+ case IS_VAR:
+ op = ZEND_SEND_REF;
+ break;
+ default:
+ zend_error(E_COMPILE_ERROR, "Only variables can be passed by reference");
+ break;
+ }
+ }
+
+ if (original_op==ZEND_SEND_VAR) {
+ switch(op) {
+ case ZEND_SEND_VAR:
+ do_end_variable_parse(BP_VAR_R CLS_CC);
+ break;
+ case ZEND_SEND_REF:
+ do_end_variable_parse(BP_VAR_W CLS_CC);
+ break;
+ }
+ }
+
+ opline->opcode = op;
+ opline->op1 = *param;
+ opline->op2.u.opline_num = offset;
+ SET_UNUSED(opline->op2);
+}
+
+
+void do_return(znode *expr CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_RETURN;
+ if (expr) {
+ opline->op1 = *expr;
+ } else {
+ var_uninit(&opline->op1.u.constant);
+ opline->op1.op_type = IS_CONST;
+ opline->op1.u.constant.refcount=1;
+ opline->op1.u.constant.is_ref=0;
+ }
+ SET_UNUSED(opline->op2);
+}
+
+
+void do_boolean_or_begin(znode *expr1, znode *op_token CLS_DC)
+{
+ int next_op_number = get_next_op_number(CG(active_op_array));
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_JMPNZ_EX;
+ if (expr1->op_type == IS_TMP_VAR) {
+ opline->result = *expr1;
+ } else {
+ opline->result.u.var = get_temporary_variable(CG(active_op_array));
+ opline->result.op_type = IS_TMP_VAR;
+ }
+ opline->op1 = *expr1;
+ SET_UNUSED(opline->op2);
+
+ op_token->u.opline_num = next_op_number;
+
+ *expr1 = opline->result;
+}
+
+
+void do_boolean_or_end(znode *result, znode *expr1, znode *expr2, znode *op_token CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ *result = *expr1; /* we saved the original result in expr1 */
+ opline->opcode = ZEND_BOOL;
+ opline->result = *result;
+ opline->op1 = *expr2;
+ SET_UNUSED(opline->op2);
+
+ CG(active_op_array)->opcodes[op_token->u.opline_num].op2.u.opline_num = get_next_op_number(CG(active_op_array));
+}
+
+
+void do_boolean_and_begin(znode *expr1, znode *op_token CLS_DC)
+{
+ int next_op_number = get_next_op_number(CG(active_op_array));
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_JMPZ_EX;
+ if (expr1->op_type == IS_TMP_VAR) {
+ opline->result = *expr1;
+ } else {
+ opline->result.u.var = get_temporary_variable(CG(active_op_array));
+ opline->result.op_type = IS_TMP_VAR;
+ }
+ opline->op1 = *expr1;
+ SET_UNUSED(opline->op2);
+
+ op_token->u.opline_num = next_op_number;
+
+ *expr1 = opline->result;
+}
+
+
+void do_boolean_and_end(znode *result, znode *expr1, znode *expr2, znode *op_token CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ *result = *expr1; /* we saved the original result in expr1 */
+ opline->opcode = ZEND_BOOL;
+ opline->result = *result;
+ opline->op1 = *expr2;
+ SET_UNUSED(opline->op2);
+
+ CG(active_op_array)->opcodes[op_token->u.opline_num].op2.u.opline_num = get_next_op_number(CG(active_op_array));
+}
+
+
+void do_do_while_begin(CLS_D)
+{
+ do_begin_loop(CLS_C);
+ INC_BPC(CG(active_op_array));
+}
+
+
+void do_do_while_end(znode *do_token, znode *expr CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_JMPNZ;
+ opline->op1 = *expr;
+ opline->op2.u.opline_num = do_token->u.opline_num;
+
+ do_end_loop(do_token->u.opline_num CLS_CC);
+
+ DEC_BPC(CG(active_op_array));
+}
+
+
+void do_brk_cont(int op, znode *expr CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = op;
+ opline->op1.u.opline_num = CG(active_op_array)->current_brk_cont;
+ SET_UNUSED(opline->op1);
+ if (expr) {
+ opline->op2 = *expr;
+ } else {
+ opline->op2.u.constant.type = IS_LONG;
+ opline->op2.u.constant.value.lval = 1;
+ opline->op2.u.constant.refcount=1;
+ opline->op2.u.constant.is_ref=0;
+ opline->op2.op_type = IS_CONST;
+ }
+}
+
+
+void do_switch_cond(znode *cond CLS_DC)
+{
+ zend_switch_entry switch_entry;
+
+ switch_entry.cond = *cond;
+ switch_entry.default_case = -1;
+ switch_entry.control_var = -1;
+ zend_stack_push(&CG(switch_cond_stack), (void *) &switch_entry, sizeof(switch_entry));
+
+ do_begin_loop(CLS_C);
+
+ INC_BPC(CG(active_op_array));
+}
+
+
+
+void do_switch_end(znode *case_list CLS_DC)
+{
+ zend_op *opline;
+ zend_switch_entry *switch_entry_ptr;
+
+ zend_stack_top(&CG(switch_cond_stack), (void **) &switch_entry_ptr);
+
+ if (case_list->u.opline_num != -1) { /* empty switch */
+ int next_op_number = get_next_op_number(CG(active_op_array));
+
+ CG(active_op_array)->opcodes[case_list->u.opline_num].op1.u.opline_num = next_op_number;
+ }
+
+ /* add code to jmp to default case */
+ if (switch_entry_ptr->default_case != -1) {
+ opline = get_next_op(CG(active_op_array) CLS_CC);
+ opline->opcode = ZEND_JMPZ;
+ opline->op1.op_type = IS_TMP_VAR;
+ opline->op1.u.var = switch_entry_ptr->control_var;
+ opline->op2.u.opline_num = switch_entry_ptr->default_case;
+ SET_UNUSED(opline->op2);
+ }
+
+
+ /* remember break/continue loop information */
+ CG(active_op_array)->brk_cont_array[CG(active_op_array)->current_brk_cont].cont = CG(active_op_array)->brk_cont_array[CG(active_op_array)->current_brk_cont].brk = get_next_op_number(CG(active_op_array));
+ CG(active_op_array)->current_brk_cont = CG(active_op_array)->brk_cont_array[CG(active_op_array)->current_brk_cont].parent;
+
+ /* emit free for the switch condition*/
+ do_free(&switch_entry_ptr->cond CLS_CC);
+ if (switch_entry_ptr->cond.op_type == IS_CONST) {
+ zval_dtor(&switch_entry_ptr->cond.u.constant);
+ }
+
+ zend_stack_del_top(&CG(switch_cond_stack));
+
+ DEC_BPC(CG(active_op_array));
+}
+
+
+void do_case_before_statement(znode *case_list, znode *case_token, znode *case_expr CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+ int next_op_number;
+ zend_switch_entry *switch_entry_ptr;
+ znode result;
+
+ zend_stack_top(&CG(switch_cond_stack), (void **) &switch_entry_ptr);
+
+ opline->opcode = ZEND_CASE;
+ if (switch_entry_ptr->control_var==-1) {
+ switch_entry_ptr->control_var = get_temporary_variable(CG(active_op_array));
+ }
+ opline->result.u.var = switch_entry_ptr->control_var;
+ opline->result.op_type = IS_TMP_VAR;
+ opline->op1 = switch_entry_ptr->cond;
+ opline->op2 = *case_expr;
+ if (opline->op1.op_type == IS_CONST) {
+ zval_copy_ctor(&opline->op1.u.constant);
+ }
+ result = opline->result;
+
+ next_op_number = get_next_op_number(CG(active_op_array));
+ opline = get_next_op(CG(active_op_array) CLS_CC);
+ opline->opcode = ZEND_JMPZ;
+ opline->op1 = result;
+ SET_UNUSED(opline->op2);
+ case_token->u.opline_num = next_op_number;
+
+ if (case_list->u.opline_num==-1) {
+ return;
+ }
+ next_op_number = get_next_op_number(CG(active_op_array));
+ CG(active_op_array)->opcodes[case_list->u.opline_num].op1.u.opline_num = next_op_number;
+}
+
+
+void do_case_after_statement(znode *result, znode *case_token CLS_DC)
+{
+ int next_op_number = get_next_op_number(CG(active_op_array));
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_JMP;
+ SET_UNUSED(opline->op1);
+ SET_UNUSED(opline->op2);
+ result->u.opline_num = next_op_number;
+
+ switch (CG(active_op_array)->opcodes[case_token->u.opline_num].opcode) {
+ case ZEND_JMP:
+ CG(active_op_array)->opcodes[case_token->u.opline_num].op1.u.opline_num = get_next_op_number(CG(active_op_array));
+ break;
+ case ZEND_JMPZ:
+ CG(active_op_array)->opcodes[case_token->u.opline_num].op2.u.opline_num = get_next_op_number(CG(active_op_array));
+ break;
+ }
+}
+
+
+
+void do_default_before_statement(znode *case_list, znode *default_token CLS_DC)
+{
+ int next_op_number = get_next_op_number(CG(active_op_array));
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+ zend_switch_entry *switch_entry_ptr;
+
+ zend_stack_top(&CG(switch_cond_stack), (void **) &switch_entry_ptr);
+
+ opline->opcode = ZEND_JMP;
+ SET_UNUSED(opline->op1);
+ SET_UNUSED(opline->op2);
+ default_token->u.opline_num = next_op_number;
+
+ next_op_number = get_next_op_number(CG(active_op_array));
+ opline = get_next_op(CG(active_op_array) CLS_CC);
+ opline->opcode = ZEND_BOOL;
+ if (switch_entry_ptr->control_var==-1) {
+ switch_entry_ptr->control_var = get_temporary_variable(CG(active_op_array));
+ }
+ opline->result.u.var = switch_entry_ptr->control_var;
+ opline->result.op_type = IS_TMP_VAR;
+ opline->op1.op_type = IS_CONST;
+ opline->op1.u.constant.type = IS_LONG;
+ opline->op1.u.constant.value.lval = 1;
+ opline->op1.u.constant.refcount=1;
+ opline->op1.u.constant.is_ref=0;
+ SET_UNUSED(opline->op2);
+ switch_entry_ptr->default_case = next_op_number;
+
+ next_op_number = get_next_op_number(CG(active_op_array));
+ if (case_list->u.opline_num==-1) {
+ return;
+ }
+ CG(active_op_array)->opcodes[case_list->u.opline_num].op1.u.opline_num = next_op_number;
+}
+
+static void function_add_ref(zend_function *function)
+{
+ if (function->type == ZEND_USER_FUNCTION) {
+ (*((zend_op_array *) function)->refcount)++;
+ }
+}
+
+
+void do_begin_class_declaration(znode *class_name, znode *parent_class_name CLS_DC)
+{
+ if (CG(active_class_entry)) {
+ zend_error(E_COMPILE_ERROR, "Class declarations may not be nested");
+ return;
+ }
+ CG(class_entry).type = ZEND_USER_CLASS;
+ CG(class_entry).name = class_name->u.constant.value.str.val;
+ CG(class_entry).name_length = class_name->u.constant.value.str.len;
+
+ zend_str_tolower(CG(class_entry).name, CG(class_entry).name_length);
+
+ zend_hash_init(&CG(class_entry).function_table, 10, NULL, (void (*)(void *)) destroy_zend_function, 0);
+ zend_hash_init(&CG(class_entry).default_properties, 10, NULL, PVAL_PTR_DTOR, 0);
+
+ /* code for inheritance from parent class */
+ if (parent_class_name) {
+ zend_class_entry *parent_class;
+ zend_function tmp_zend_function;
+ zval *tmp;
+
+ if (zend_hash_find(CG(class_table), parent_class_name->u.constant.value.str.val, parent_class_name->u.constant.value.str.len+1, (void **) &parent_class)==FAILURE) {
+ zend_error(E_ERROR, "Undefined parent class '%s'", parent_class_name->u.constant.value.str.val);
+ return;
+ }
+ /* copy functions */
+ zend_hash_copy(&CG(class_entry).function_table, &parent_class->function_table, (void (*)(void *)) function_add_ref, &tmp_zend_function, sizeof(zend_function));
+
+ /* copy default properties */
+ zend_hash_copy(&CG(class_entry).default_properties, &parent_class->default_properties, (void (*)(void *)) zval_add_ref, (void *) &tmp, sizeof(zval *));
+
+ zval_dtor(&parent_class_name->u.constant);
+ } else {
+ CG(class_entry).parent = NULL;
+ }
+
+ CG(class_entry).handle_function_call = NULL;
+ CG(class_entry).handle_property_set = NULL;
+ CG(class_entry).handle_property_get = NULL;
+
+ zend_hash_add(CG(class_table), CG(class_entry).name, CG(class_entry).name_length+1, &CG(class_entry), sizeof(zend_class_entry), (void **) &CG(active_class_entry));
+}
+
+
+void do_end_class_declaration(CLS_D)
+{
+ CG(active_class_entry) = NULL;
+}
+
+
+void do_declare_property(znode *var_name, znode *value CLS_DC)
+{
+ if (value) {
+ zval *property = (zval *) emalloc(sizeof(zval));
+
+ *property = value->u.constant;
+ zend_hash_update(&CG(active_class_entry)->default_properties, var_name->u.constant.value.str.val, var_name->u.constant.value.str.len+1, &property, sizeof(zval *), NULL);
+ }
+ FREE_PNODE(var_name);
+}
+
+
+void do_fetch_property(znode *result, znode *object, znode *property CLS_DC)
+{
+ int next_op_number = get_next_op_number(CG(active_op_array));
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+ zend_llist *fetch_list_ptr;
+
+ opline->opcode = ZEND_FETCH_OBJ_W; /* the backpatching routine assumes W */
+ opline->result.op_type = IS_VAR;
+ opline->result.u.EA.type = 0;
+ opline->result.u.var = get_temporary_variable(CG(active_op_array));
+ opline->op1 = *object;
+ opline->op2 = *property;
+ *result = opline->result;
+
+ zend_stack_top(&CG(bp_stack), (void **) &fetch_list_ptr);
+ zend_llist_add_element(fetch_list_ptr, &next_op_number);
+}
+
+
+void do_push_object(znode *object CLS_DC)
+{
+ zend_stack_push(&CG(object_stack), object, sizeof(znode));
+}
+
+
+void do_pop_object(znode *object CLS_DC)
+{
+ znode *tmp;
+
+ zend_stack_top(&CG(object_stack), (void **) &tmp);
+ *object = *tmp;
+ zend_stack_del_top(&CG(object_stack));
+}
+
+
+void do_begin_new_object(znode *result, znode *variable, znode *new_token, znode *class_name CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+ unsigned char *ptr = NULL;
+
+ opline->opcode = ZEND_NEW;
+ opline->result.op_type = IS_TMP_VAR;
+ opline->result.u.var = get_temporary_variable(CG(active_op_array));
+ opline->op1 = *class_name;
+ SET_UNUSED(opline->op2);
+
+ do_assign(result, variable, &opline->result CLS_CC);
+
+ new_token->u.opline_num = get_next_op_number(CG(active_op_array));
+ opline = get_next_op(CG(active_op_array) CLS_CC);
+ opline->opcode = ZEND_JMP_NO_CTOR;
+ opline->op1 = *result;
+ SET_UNUSED(opline->op2);
+
+ if (class_name->op_type == IS_CONST) {
+ zval_copy_ctor(&class_name->u.constant);
+ }
+ opline = get_next_op(CG(active_op_array) CLS_CC);
+ opline->opcode = ZEND_INIT_FCALL_BY_NAME;
+ opline->op1 = *result;
+ opline->op2 = *class_name;
+ zend_stack_push(&CG(function_call_stack), (void *) &ptr, sizeof(unsigned char *));
+}
+
+
+void do_end_new_object(znode *class_name, znode *new_token CLS_DC)
+{
+ znode ctor_result;
+
+ if (class_name->op_type == IS_CONST) {
+ zval_copy_ctor(&class_name->u.constant);
+ }
+ do_end_function_call(class_name, &ctor_result, 1 CLS_CC);
+ do_free(&ctor_result CLS_CC);
+
+ CG(active_op_array)->opcodes[new_token->u.opline_num].op2.u.opline_num = get_next_op_number(CG(active_op_array));
+}
+
+
+void do_fetch_constant(znode *result, znode *constant_name, int mode CLS_DC)
+{
+ switch (mode) {
+ case ZEND_CT:
+ *result = *constant_name;
+ result->u.constant.type = IS_CONSTANT;
+ printf("Fetching compiletime constant: '%s'\n", result->u.constant.value.str.val);
+ break;
+ case ZEND_RT: {
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_FETCH_CONSTANT;
+ opline->result.op_type = IS_TMP_VAR;
+ opline->result.u.var = get_temporary_variable(CG(active_op_array));
+ opline->op1 = *constant_name;
+ *result = opline->result;
+ SET_UNUSED(opline->op2);
+ }
+ break;
+ }
+}
+
+
+void do_shell_exec(znode *result, znode *cmd CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_INIT_FCALL;
+ SET_UNUSED(opline->op1);
+ SET_UNUSED(opline->op2);
+
+ opline = get_next_op(CG(active_op_array) CLS_CC);
+ switch (cmd->op_type) {
+ case IS_TMP_VAR:
+ opline->opcode = ZEND_SEND_VAL;
+ break;
+ default:
+ opline->opcode = ZEND_SEND_VAR;
+ break;
+ }
+ opline->op1 = *cmd;
+ opline->op2.u.opline_num = 0;
+ SET_UNUSED(opline->op2);
+
+ opline = get_next_op(CG(active_op_array) CLS_CC);
+ opline->opcode = ZEND_DO_FCALL;
+ opline->result.u.var = get_temporary_variable(CG(active_op_array));
+ opline->result.op_type = IS_TMP_VAR;
+ opline->op1.u.constant.value.str.val = estrndup("shell_exec",sizeof("shell_exec")-1);
+ opline->op1.u.constant.value.str.len = sizeof("shell_exec")-1;
+ opline->op1.u.constant.refcount = 1;
+ opline->op1.u.constant.is_ref = 0;
+ opline->op1.u.constant.type = IS_STRING;
+ opline->op1.op_type = IS_CONST;
+ SET_UNUSED(opline->op2);
+ *result = opline->result;
+}
+
+
+
+void do_init_array(znode *result, znode *expr, znode *offset CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_INIT_ARRAY;
+ opline->result.u.var = get_temporary_variable(CG(active_op_array));
+ opline->result.op_type = IS_TMP_VAR;
+ *result = opline->result;
+ if (expr) {
+ opline->op1 = *expr;
+ if (offset) {
+ opline->op2 = *offset;
+ } else {
+ SET_UNUSED(opline->op2);
+ }
+ } else {
+ SET_UNUSED(opline->op1);
+ SET_UNUSED(opline->op2);
+ }
+}
+
+
+void do_add_array_element(znode *result, znode *expr, znode *offset CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_ADD_ARRAY_ELEMENT;
+ opline->result = *result;
+ opline->op1 = *expr;
+ if (offset) {
+ opline->op2 = *offset;
+ } else {
+ SET_UNUSED(opline->op2);
+ }
+}
+
+
+
+void do_add_static_array_element(znode *result, znode *expr, znode *offset)
+{
+ zval *element = (zval *) emalloc(sizeof(zval));
+
+ *element = expr->u.constant;
+ if (offset) {
+ switch (offset->u.constant.type) {
+ case IS_STRING:
+ zend_hash_update(result->u.constant.value.ht, offset->u.constant.value.str.val, offset->u.constant.value.str.len+1, &element, sizeof(zval *), NULL);
+ break;
+ case IS_LONG:
+ zend_hash_index_update(result->u.constant.value.ht, offset->u.constant.value.lval, &element, sizeof(zval *), NULL);
+ break;
+ }
+ } else {
+ zend_hash_next_index_insert(result->u.constant.value.ht, &element, sizeof(zval *), NULL);
+ }
+}
+
+
+void do_add_list_element(znode *element CLS_DC)
+{
+ list_llist_element lle;
+
+ if(element) {
+ lle.var = *element;
+ zend_llist_copy(&lle.dimensions, &CG(dimension_llist));
+ zend_llist_add_element(&CG(list_llist), &lle);
+ }
+ (*((int *)CG(dimension_llist).tail->data))++;
+}
+
+
+void do_new_list_begin(CLS_D)
+{
+ int current_dimension = 0;
+ zend_llist_add_element(&CG(dimension_llist), &current_dimension);
+}
+
+
+void do_new_list_end(CLS_D)
+{
+
+ zend_llist_remove_tail(&CG(dimension_llist));
+ (*((int *)CG(dimension_llist).tail->data))++;
+}
+
+
+void do_list_init(CLS_D)
+{
+ zend_llist_init(&CG(list_llist), sizeof(list_llist_element), NULL, 0);
+ zend_llist_init(&CG(dimension_llist), sizeof(int), NULL, 0);
+ do_new_list_begin(CLS_C);
+}
+
+
+void do_list_end(znode *result, znode *expr CLS_DC)
+{
+ zend_llist_element *le;
+ zend_llist_element *dimension;
+ zend_op *opline;
+ znode last_container;
+
+ le = CG(list_llist).head;
+ while (le) {
+ zend_llist *tmp_dimension_llist = &((list_llist_element *)le->data)->dimensions;
+ dimension = tmp_dimension_llist->head;
+ while (dimension) {
+ opline = get_next_op(CG(active_op_array) CLS_CC);
+ if (dimension == tmp_dimension_llist->head) { /* first */
+ last_container = *expr;
+ switch(expr->op_type) {
+ case IS_VAR:
+ opline->opcode = ZEND_FETCH_DIM_R;
+ break;
+ case IS_TMP_VAR:
+ case IS_CONST: /* fetch_dim_tmp_var will handle this bogus fetch */
+ opline->opcode = ZEND_FETCH_DIM_TMP_VAR;
+ break;
+ }
+ } else {
+ opline->opcode = ZEND_FETCH_DIM_R;
+ }
+ opline->result.op_type = IS_VAR;
+ opline->result.u.EA.type = 0;
+ opline->result.u.var = get_temporary_variable(CG(active_op_array));
+ opline->op1 = last_container;
+ opline->op2.op_type = IS_CONST;
+ opline->op2.u.constant.type = IS_LONG;
+ opline->op2.u.constant.value.lval = *((int *) dimension->data);
+ opline->op2.u.constant.refcount = 1;
+ opline->op2.u.constant.is_ref = 0;
+ last_container = opline->result;
+ dimension = dimension->next;
+ }
+ ((list_llist_element *) le->data)->value = last_container;
+ zend_llist_destroy(&((list_llist_element *) le->data)->dimensions);
+ le = le->next;
+ }
+
+ le = CG(list_llist).head;
+ while (le) {
+ do_assign(result, &((list_llist_element *) le->data)->var, &((list_llist_element *) le->data)->value CLS_CC);
+ le = le->next;
+ }
+ zend_llist_destroy(&CG(dimension_llist));
+ zend_llist_destroy(&CG(list_llist));
+ *result = *expr;
+}
+
+
+void do_fetch_global_or_static_variable(znode *varname, znode *static_assignment, int fetch_type CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+ znode lval;
+
+ if (fetch_type==ZEND_FETCH_STATIC) {
+ zval *tmp = (zval *) emalloc(sizeof(zval));
+
+ convert_to_string(&varname->u.constant);
+ *tmp = static_assignment->u.constant;
+ if (!CG(active_op_array)->static_variables) {
+ CG(active_op_array)->static_variables = (HashTable *) emalloc(sizeof(HashTable));
+ zend_hash_init(CG(active_op_array)->static_variables, 2, NULL, PVAL_PTR_DTOR, 0);
+ }
+ zend_hash_update_ptr(CG(active_op_array)->static_variables, varname->u.constant.value.str.val, varname->u.constant.value.str.len+1, tmp, sizeof(zval *), NULL);
+ }
+
+
+ opline->opcode = ZEND_FETCH_W; /* the default mode must be Write, since fetch_simple_variable() is used to define function arguments */
+ opline->result.op_type = IS_VAR;
+ opline->result.u.EA.type = 0;
+ opline->result.u.var = get_temporary_variable(CG(active_op_array));
+ opline->op1 = *varname;
+ SET_UNUSED(opline->op2);
+ opline->op2.u.constant.value.lval = fetch_type;
+
+ if (varname->op_type == IS_CONST) {
+ zval_copy_ctor(&varname->u.constant);
+ }
+ fetch_simple_variable(&lval, varname, 0 CLS_CC); /* Relies on the fact that the default fetch is BP_VAR_W */
+
+
+ do_assign_ref(NULL, &lval, &opline->result CLS_CC);
+}
+
+
+void do_cast(znode *result, znode *expr, int type CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_CAST;
+ opline->result.op_type = IS_TMP_VAR;
+ opline->result.u.var = get_temporary_variable(CG(active_op_array));
+ opline->op1 = *expr;
+ SET_UNUSED(opline->op2);
+ opline->op2.u.constant.type = type;
+ *result = opline->result;
+}
+
+
+void do_include_or_eval(int type, znode *result, znode *op1 CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_INCLUDE_OR_EVAL;
+ opline->result.op_type = IS_TMP_VAR;
+ opline->result.u.var = get_temporary_variable(CG(active_op_array));
+ opline->op1 = *op1;
+ SET_UNUSED(opline->op2);
+ opline->op2.u.constant.value.lval = type;
+ *result = opline->result;
+}
+
+
+void do_indirect_references(znode *result, znode *num_references, znode *variable CLS_DC)
+{
+ int i;
+
+ for (i=1; i<=num_references->u.constant.value.lval; i++) {
+ fetch_simple_variable(result, variable, 1 CLS_CC);
+ *variable = *result;
+ }
+}
+
+
+void do_unset(znode *variable CLS_DC)
+{
+ zend_op *last_op;
+
+ last_op = &CG(active_op_array)->opcodes[get_next_op_number(CG(active_op_array))-1];
+
+ switch (last_op->opcode) {
+ case ZEND_FETCH_R:
+ last_op->opcode = ZEND_UNSET_VAR;
+ break;
+ case ZEND_FETCH_DIM_R:
+ case ZEND_FETCH_OBJ_R:
+ last_op->opcode = ZEND_UNSET_DIM_OBJ;
+ break;
+
+ }
+}
+
+
+void do_isset_or_isempty(int type, znode *result, znode *variable CLS_DC)
+{
+ zend_op *opline;
+
+ do_end_variable_parse(BP_VAR_IS CLS_CC);
+ opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_ISSET_ISEMPTY;
+ opline->result.op_type = IS_TMP_VAR;
+ opline->result.u.var = get_temporary_variable(CG(active_op_array));
+ opline->op1 = *variable;
+ opline->op2.u.constant.value.lval = type;
+ SET_UNUSED(opline->op2);
+ *result = opline->result;
+}
+
+
+void do_foreach_begin(znode *foreach_token, znode *array, znode *open_brackets_token, znode *as_token CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ /* Preform array reset */
+ opline->opcode = ZEND_FE_RESET;
+ opline->result.op_type = IS_TMP_VAR;
+ opline->result.u.var = get_temporary_variable(CG(active_op_array));
+ opline->op1 = *array;
+ SET_UNUSED(opline->op2);
+ *open_brackets_token = opline->result;
+
+ /* save the location of the beginning of the loop (array fetching) */
+ foreach_token->u.opline_num = get_next_op_number(CG(active_op_array));
+
+ opline = get_next_op(CG(active_op_array) CLS_CC);
+ opline->opcode = ZEND_FE_FETCH;
+ opline->result.op_type = IS_TMP_VAR;
+ opline->result.u.var = get_temporary_variable(CG(active_op_array));
+ opline->op1 = *open_brackets_token;
+ SET_UNUSED(opline->op2);
+ *as_token = opline->result;
+}
+
+
+void do_foreach_cont(znode *value, znode *key, znode *as_token CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+ znode result_value, result_key, dummy;
+
+ if (key->op_type != IS_UNUSED) {
+ znode *tmp;
+
+ /* switch between the key and value... */
+ tmp = key;
+ key = value;
+ value = tmp;
+ }
+
+ opline->opcode = ZEND_FETCH_DIM_TMP_VAR;
+ opline->result.op_type = IS_VAR;
+ opline->result.u.EA.type = 0;
+ opline->result.u.opline_num = get_temporary_variable(CG(active_op_array));
+ opline->op1 = *as_token;
+ opline->op2.op_type = IS_CONST;
+ opline->op2.u.constant.type = IS_LONG;
+ opline->op2.u.constant.value.lval = 0;
+ result_value = opline->result;
+
+ if (key->op_type != IS_UNUSED) {
+ opline = get_next_op(CG(active_op_array) CLS_CC);
+ opline->opcode = ZEND_FETCH_DIM_TMP_VAR;
+ opline->result.op_type = IS_VAR;
+ opline->result.u.EA.type = 0;
+ opline->result.u.opline_num = get_temporary_variable(CG(active_op_array));
+ opline->op1 = *as_token;
+ opline->op2.op_type = IS_CONST;
+ opline->op2.u.constant.type = IS_LONG;
+ opline->op2.u.constant.value.lval = 1;
+ result_key = opline->result;
+ }
+
+ do_assign(&dummy, value, &result_value CLS_CC);
+ CG(active_op_array)->opcodes[CG(active_op_array)->last-1].result.u.EA.type |= EXT_TYPE_UNUSED;
+ if (key->op_type != IS_UNUSED) {
+ do_assign(&dummy, key, &result_key CLS_CC);
+ CG(active_op_array)->opcodes[CG(active_op_array)->last-1].result.u.EA.type |= EXT_TYPE_UNUSED;
+ }
+ do_free(as_token CLS_CC);
+
+ do_begin_loop(CLS_C);
+ INC_BPC(CG(active_op_array));
+}
+
+
+void do_foreach_end(znode *foreach_token, znode *open_brackets_token CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_JMP;
+ opline->op1.u.opline_num = foreach_token->u.opline_num;
+ SET_UNUSED(opline->op2);
+
+ CG(active_op_array)->opcodes[foreach_token->u.opline_num].op2.u.opline_num = get_next_op_number(CG(active_op_array));
+
+ do_end_loop(foreach_token->u.opline_num CLS_CC);
+
+ do_free(open_brackets_token CLS_CC);
+
+ DEC_BPC(CG(active_op_array));
+}
+
+
+void do_end_heredoc(CLS_D)
+{
+ int opline_num = get_next_op_number(CG(active_op_array))-1;
+ zend_op *opline = &CG(active_op_array)->opcodes[opline_num];
+
+ if (opline->opcode != ZEND_ADD_STRING) {
+ return;
+ }
+
+ opline->op2.u.constant.value.str.val[(opline->op2.u.constant.value.str.len--)-1] = 0;
+ if (opline->op2.u.constant.value.str.len>0) {
+ if (opline->op2.u.constant.value.str.val[opline->op2.u.constant.value.str.len-1]=='\r') {
+ opline->op2.u.constant.value.str.val[(opline->op2.u.constant.value.str.len--)-1] = 0;
+ }
+ }
+}
+
+
+void do_exit(znode *result, znode *message CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_EXIT;
+ opline->op1 = *message;
+ SET_UNUSED(opline->op2);
+
+ result->op_type = IS_CONST;
+ result->u.constant.type = IS_BOOL;
+ result->u.constant.value.lval = 1;
+}
+
+
+void do_begin_silence(znode *strudel_token CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_BEGIN_SILENCE;
+ opline->result.op_type = IS_TMP_VAR;
+ opline->result.u.var = get_temporary_variable(CG(active_op_array));
+ SET_UNUSED(opline->op1);
+ SET_UNUSED(opline->op2);
+ *strudel_token = opline->result;
+}
+
+
+void do_end_silence(znode *strudel_token CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_END_SILENCE;
+ opline->op1 = *strudel_token;
+ SET_UNUSED(opline->op2);
+}
+
+
+void do_begin_qm_op(znode *cond, znode *qm_token CLS_DC)
+{
+ int jmpz_op_number = get_next_op_number(CG(active_op_array));
+ zend_op *opline;
+
+ opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_JMPZ;
+ opline->op1 = *cond;
+ SET_UNUSED(opline->op2);
+ opline->op2.u.opline_num = jmpz_op_number;
+ *qm_token = opline->op2;
+
+ INC_BPC(CG(active_op_array));
+}
+
+
+void do_qm_true(znode *true_value, znode *qm_token, znode *colon_token CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ CG(active_op_array)->opcodes[qm_token->u.opline_num].op2.u.opline_num = get_next_op_number(CG(active_op_array))+1; /* jmp over the ZEND_JMP */
+
+ opline->opcode = ZEND_QM_ASSIGN;
+ opline->result.op_type = IS_TMP_VAR;
+ opline->result.u.var = get_temporary_variable(CG(active_op_array));
+ opline->op1 = *true_value;
+ SET_UNUSED(opline->op2);
+
+ *qm_token = opline->result;
+ colon_token->u.opline_num = get_next_op_number(CG(active_op_array));
+
+ opline = get_next_op(CG(active_op_array) CLS_CC);
+ opline->opcode = ZEND_JMP;
+ SET_UNUSED(opline->op1);
+ SET_UNUSED(opline->op2);
+}
+
+
+void do_qm_false(znode *result, znode *false_value, znode *qm_token, znode *colon_token CLS_DC)
+{
+ zend_op *opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_QM_ASSIGN;
+ opline->result = *qm_token;
+ opline->op1 = *false_value;
+ SET_UNUSED(opline->op2);
+
+ CG(active_op_array)->opcodes[colon_token->u.opline_num].op1.u.opline_num = get_next_op_number(CG(active_op_array));
+
+ *result = opline->result;
+
+ DEC_BPC(CG(active_op_array));
+}
+
+void do_extended_info(CLS_D)
+{
+ zend_op *opline;
+
+ if (!CG(extended_info)) {
+ return;
+ }
+
+ opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_EXT_STMT;
+ SET_UNUSED(opline->op1);
+ SET_UNUSED(opline->op2);
+}
+
+void do_extended_fcall_begin(CLS_D)
+{
+ zend_op *opline;
+
+ if (!CG(extended_info)) {
+ return;
+ }
+
+ opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_EXT_FCALL_BEGIN;
+ SET_UNUSED(opline->op1);
+ SET_UNUSED(opline->op2);
+}
+
+
+void do_extended_fcall_end(CLS_D)
+{
+ zend_op *opline;
+
+ if (!CG(extended_info)) {
+ return;
+ }
+
+ opline = get_next_op(CG(active_op_array) CLS_CC);
+
+ opline->opcode = ZEND_EXT_FCALL_END;
+ SET_UNUSED(opline->op1);
+ SET_UNUSED(opline->op2);
+}
+
+
+int zendlex(znode *zendlval CLS_DC)
+{
+ int retval;
+
+#if 0
+#if (WIN32|WINNT)
+ if (GLOBAL(wintimer) && !(++GLOBAL(wintimer_counter) & 0xff) && (GLOBAL(wintimer) < (unsigned int) clock())) {
+ zend_error(E_WARNING, "PHP Timed out!<br>\n");
+ }
+#endif
+#endif
+
+ zendlval->u.constant.type = IS_LONG;
+ retval = lex_scan(&zendlval->u.constant CLS_CC);
+ switch(retval) {
+ case ZEND_COMMENT:
+ case PHP_OPEN_TAG:
+ case T_WHITESPACE:
+ retval = zendlex(zendlval CLS_CC);
+ break;
+ case PHP_CLOSE_TAG:
+ retval = ';'; /* implicit ; */
+ break;
+ case PHP_OPEN_TAG_WITH_ECHO:
+ retval = ZEND_ECHO;
+ break;
+ }
+
+ zendlval->u.constant.refcount = 1;
+ zendlval->u.constant.is_ref = 0;
+ zendlval->op_type = IS_CONST;
+ return retval;
+}