php-src/Zend/zend_ast.c

446 lines
12 KiB
C
Raw Normal View History

/*
+----------------------------------------------------------------------+
| Zend Engine |
+----------------------------------------------------------------------+
2014-01-03 11:08:10 +08:00
| Copyright (c) 1998-2014 Zend Technologies Ltd. (http://www.zend.com) |
+----------------------------------------------------------------------+
| This source file is subject to version 2.00 of the Zend 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.zend.com/license/2_00.txt. |
| If you did not receive a copy of the Zend license and are unable to |
| obtain it through the world-wide-web, please send a note to |
| license@zend.com so we can mail you a copy immediately. |
+----------------------------------------------------------------------+
| Authors: Bob Weinand <bwoebi@php.net> |
2013-11-07 02:21:07 +08:00
| Dmitry Stogov <dmitry@zend.com> |
+----------------------------------------------------------------------+
*/
/* $Id$ */
#include "zend_ast.h"
2013-11-07 02:21:07 +08:00
#include "zend_API.h"
#include "zend_operators.h"
2014-07-28 20:51:08 +08:00
static inline void *zend_ast_alloc(size_t size TSRMLS_DC) {
return zend_arena_alloc(&CG(ast_arena), size);
}
static inline void *zend_ast_realloc(void *old, size_t old_size, size_t new_size TSRMLS_DC) {
void *new = zend_ast_alloc(new_size TSRMLS_CC);
memcpy(new, old, old_size);
return new;
}
static inline size_t zend_ast_size(uint32_t children) {
return sizeof(zend_ast) - sizeof(zend_ast *) + sizeof(zend_ast *) * children;
}
static inline size_t zend_ast_list_size(uint32_t children) {
return sizeof(zend_ast_list) - sizeof(zend_ast *) + sizeof(zend_ast *) * children;
}
2014-07-28 20:51:08 +08:00
ZEND_API zend_ast *zend_ast_create_znode(znode *node) {
2014-09-01 03:50:00 +08:00
zend_ast_znode *ast;
TSRMLS_FETCH();
2014-09-01 03:50:00 +08:00
ast = zend_ast_alloc(sizeof(zend_ast_znode) TSRMLS_CC);
2014-06-07 19:06:53 +08:00
ast->kind = ZEND_AST_ZNODE;
ast->attr = 0;
ast->lineno = CG(zend_lineno);
2014-06-07 19:06:53 +08:00
ast->node = *node;
return (zend_ast *) ast;
}
2014-07-28 20:51:08 +08:00
ZEND_API zend_ast *zend_ast_create_zval_ex(zval *zv, zend_ast_attr attr) {
2014-09-01 03:50:00 +08:00
zend_ast_zval *ast;
TSRMLS_FETCH();
2014-09-01 03:50:00 +08:00
ast = zend_ast_alloc(sizeof(zend_ast_zval) TSRMLS_CC);
2014-06-29 00:03:26 +08:00
ast->kind = ZEND_AST_ZVAL;
2014-06-19 19:57:29 +08:00
ast->attr = attr;
ZVAL_COPY_VALUE(&ast->val, zv);
ast->val.u2.lineno = CG(zend_lineno);
2014-06-19 19:57:29 +08:00
return (zend_ast *) ast;
}
ZEND_API zend_ast *zend_ast_create_decl(
zend_ast_kind kind, uint32_t flags, uint32_t start_lineno, zend_string *doc_comment,
2014-07-28 20:51:08 +08:00
zend_string *name, zend_ast *child0, zend_ast *child1, zend_ast *child2
) {
2014-09-01 03:50:00 +08:00
zend_ast_decl *ast;
TSRMLS_FETCH();
2014-09-01 03:50:00 +08:00
ast = zend_ast_alloc(sizeof(zend_ast_decl) TSRMLS_CC);
ast->kind = kind;
2014-07-18 21:47:46 +08:00
ast->attr = 0;
ast->start_lineno = start_lineno;
2014-07-28 20:51:08 +08:00
ast->end_lineno = CG(zend_lineno);
2014-07-18 21:47:46 +08:00
ast->flags = flags;
2014-07-28 20:51:08 +08:00
ast->lex_pos = LANG_SCNG(yy_text);
2014-07-18 21:23:16 +08:00
ast->doc_comment = doc_comment;
ast->name = name;
ast->child[0] = child0;
ast->child[1] = child1;
ast->child[2] = child2;
return (zend_ast *) ast;
}
static zend_ast *zend_ast_create_from_va_list(zend_ast_kind kind, zend_ast_attr attr, va_list va) {
uint32_t i, children = kind >> ZEND_AST_NUM_CHILDREN_SHIFT;
2014-09-01 03:50:00 +08:00
zend_ast *ast;
TSRMLS_FETCH();
2014-09-01 03:50:00 +08:00
ast = zend_ast_alloc(zend_ast_size(children) TSRMLS_CC);
ast->kind = kind;
ast->attr = attr;
ast->lineno = (uint32_t) -1;
for (i = 0; i < children; ++i) {
ast->child[i] = va_arg(va, zend_ast *);
if (ast->child[i] != NULL) {
uint32_t lineno = zend_ast_get_lineno(ast->child[i]);
if (lineno < ast->lineno) {
ast->lineno = lineno;
}
2014-07-12 23:10:10 +08:00
}
}
2014-07-17 05:27:27 +08:00
if (ast->lineno == UINT_MAX) {
2014-07-12 23:10:10 +08:00
ast->lineno = CG(zend_lineno);
2014-07-17 05:27:27 +08:00
}
2014-07-12 23:10:10 +08:00
return ast;
}
ZEND_API zend_ast *zend_ast_create_ex(zend_ast_kind kind, zend_ast_attr attr, ...) {
va_list va;
zend_ast *ast;
va_start(va, attr);
ast = zend_ast_create_from_va_list(kind, attr, va);
va_end(va);
return ast;
}
ZEND_API zend_ast *zend_ast_create(zend_ast_kind kind, ...) {
va_list va;
zend_ast *ast;
va_start(va, kind);
ast = zend_ast_create_from_va_list(kind, 0, va);
va_end(va);
return ast;
}
ZEND_API zend_ast *zend_ast_create_list(uint32_t init_children, zend_ast_kind kind, ...) {
2014-09-01 03:50:00 +08:00
zend_ast *ast;
zend_ast_list *list;
TSRMLS_FETCH();
2014-09-01 03:50:00 +08:00
ast = zend_ast_alloc(zend_ast_list_size(4) TSRMLS_CC);
list = (zend_ast_list *) ast;
list->kind = kind;
list->attr = 0;
list->lineno = CG(zend_lineno);
list->children = 0;
{
va_list va;
uint32_t i;
va_start(va, kind);
for (i = 0; i < init_children; ++i) {
ast = zend_ast_list_add(ast, va_arg(va, zend_ast *));
}
va_end(va);
}
return ast;
}
static inline zend_bool is_power_of_two(uint32_t n) {
2014-09-15 17:59:48 +08:00
return ((n != 0) && (n == (n & (~n + 1))));
2014-06-07 04:35:21 +08:00
}
ZEND_API zend_ast *zend_ast_list_add(zend_ast *ast, zend_ast *op) {
zend_ast_list *list = zend_ast_get_list(ast);
if (list->children >= 4 && is_power_of_two(list->children)) {
TSRMLS_FETCH();
2014-07-28 20:51:08 +08:00
list = zend_ast_realloc(list,
zend_ast_list_size(list->children), zend_ast_list_size(list->children * 2) TSRMLS_CC);
}
list->child[list->children++] = op;
return (zend_ast *) list;
2013-11-07 02:21:07 +08:00
}
static void zend_ast_add_array_element(zval *result, zval *offset, zval *expr TSRMLS_DC)
{
switch (Z_TYPE_P(offset)) {
case IS_UNDEF:
zend_hash_next_index_insert(Z_ARRVAL_P(result), expr);
break;
case IS_STRING:
zend_symtable_update(Z_ARRVAL_P(result), Z_STR_P(offset), expr);
zval_dtor(offset);
break;
case IS_NULL:
zend_symtable_update(Z_ARRVAL_P(result), STR_EMPTY_ALLOC(), expr);
break;
case IS_LONG:
zend_hash_index_update(Z_ARRVAL_P(result), Z_LVAL_P(offset), expr);
break;
case IS_FALSE:
zend_hash_index_update(Z_ARRVAL_P(result), 0, expr);
break;
case IS_TRUE:
zend_hash_index_update(Z_ARRVAL_P(result), 1, expr);
break;
case IS_DOUBLE:
zend_hash_index_update(Z_ARRVAL_P(result), zend_dval_to_lval(Z_DVAL_P(offset)), expr);
break;
default:
zend_error(E_ERROR, "Illegal offset type");
break;
}
}
ZEND_API void zend_ast_evaluate(zval *result, zend_ast *ast, zend_class_entry *scope TSRMLS_DC)
2013-11-07 02:21:07 +08:00
{
zval op1, op2;
2013-11-07 02:21:07 +08:00
switch (ast->kind) {
case ZEND_AST_BINARY_OP:
{
binary_op_type op = get_binary_op(ast->attr);
2014-06-07 04:35:21 +08:00
zend_ast_evaluate(&op1, ast->child[0], scope TSRMLS_CC);
zend_ast_evaluate(&op2, ast->child[1], scope TSRMLS_CC);
op(result, &op1, &op2 TSRMLS_CC);
2013-11-07 02:21:07 +08:00
zval_dtor(&op1);
zval_dtor(&op2);
break;
}
2014-06-27 04:02:54 +08:00
case ZEND_AST_GREATER:
case ZEND_AST_GREATER_EQUAL:
{
/* op1 > op2 is the same as op2 < op1 */
binary_op_type op = ast->kind == ZEND_AST_GREATER
? is_smaller_function : is_smaller_or_equal_function;
zend_ast_evaluate(&op1, ast->child[0], scope TSRMLS_CC);
zend_ast_evaluate(&op2, ast->child[1], scope TSRMLS_CC);
op(result, &op2, &op1 TSRMLS_CC);
zval_dtor(&op1);
zval_dtor(&op2);
break;
}
case ZEND_AST_UNARY_OP:
{
unary_op_type op = get_unary_op(ast->attr);
2014-06-07 04:35:21 +08:00
zend_ast_evaluate(&op1, ast->child[0], scope TSRMLS_CC);
op(result, &op1 TSRMLS_CC);
2013-11-07 02:21:07 +08:00
zval_dtor(&op1);
break;
}
2014-06-29 00:03:26 +08:00
case ZEND_AST_ZVAL:
{
zval *zv = zend_ast_get_zval(ast);
if (scope) {
/* class constants may be updated in-place */
if (Z_OPT_CONSTANT_P(zv)) {
zval_update_constant_ex(zv, 1, scope TSRMLS_CC);
}
ZVAL_DUP(result, zv);
} else {
ZVAL_DUP(result, zv);
if (Z_OPT_CONSTANT_P(result)) {
zval_update_constant_ex(result, 1, scope TSRMLS_CC);
}
2013-11-07 02:21:07 +08:00
}
break;
}
case ZEND_AST_AND:
2014-06-07 04:35:21 +08:00
zend_ast_evaluate(&op1, ast->child[0], scope TSRMLS_CC);
if (zend_is_true(&op1 TSRMLS_CC)) {
2014-06-07 04:35:21 +08:00
zend_ast_evaluate(&op2, ast->child[1], scope TSRMLS_CC);
ZVAL_BOOL(result, zend_is_true(&op2 TSRMLS_CC));
2013-11-07 02:21:07 +08:00
zval_dtor(&op2);
} else {
ZVAL_BOOL(result, 0);
}
zval_dtor(&op1);
break;
case ZEND_AST_OR:
2014-06-07 04:35:21 +08:00
zend_ast_evaluate(&op1, ast->child[0], scope TSRMLS_CC);
if (zend_is_true(&op1 TSRMLS_CC)) {
2013-11-07 02:21:07 +08:00
ZVAL_BOOL(result, 1);
} else {
2014-06-07 04:35:21 +08:00
zend_ast_evaluate(&op2, ast->child[1], scope TSRMLS_CC);
ZVAL_BOOL(result, zend_is_true(&op2 TSRMLS_CC));
2013-11-07 02:21:07 +08:00
zval_dtor(&op2);
}
zval_dtor(&op1);
break;
case ZEND_AST_CONDITIONAL:
2014-06-07 04:35:21 +08:00
zend_ast_evaluate(&op1, ast->child[0], scope TSRMLS_CC);
if (zend_is_true(&op1 TSRMLS_CC)) {
2014-06-07 04:35:21 +08:00
if (!ast->child[1]) {
2013-11-07 02:21:07 +08:00
*result = op1;
} else {
2014-06-07 04:35:21 +08:00
zend_ast_evaluate(result, ast->child[1], scope TSRMLS_CC);
2013-11-07 02:21:07 +08:00
zval_dtor(&op1);
}
} else {
2014-06-07 04:35:21 +08:00
zend_ast_evaluate(result, ast->child[2], scope TSRMLS_CC);
2013-11-07 02:21:07 +08:00
zval_dtor(&op1);
}
break;
2014-06-26 18:43:20 +08:00
case ZEND_AST_UNARY_PLUS:
2013-11-07 02:21:07 +08:00
ZVAL_LONG(&op1, 0);
2014-06-07 04:35:21 +08:00
zend_ast_evaluate(&op2, ast->child[0], scope TSRMLS_CC);
2013-11-07 02:21:07 +08:00
add_function(result, &op1, &op2 TSRMLS_CC);
zval_dtor(&op2);
break;
2014-06-26 18:43:20 +08:00
case ZEND_AST_UNARY_MINUS:
2013-11-07 02:21:07 +08:00
ZVAL_LONG(&op1, 0);
2014-06-07 04:35:21 +08:00
zend_ast_evaluate(&op2, ast->child[0], scope TSRMLS_CC);
2013-11-07 02:21:07 +08:00
sub_function(result, &op1, &op2 TSRMLS_CC);
zval_dtor(&op2);
break;
2014-06-26 19:16:31 +08:00
case ZEND_AST_ARRAY:
array_init(result);
{
uint32_t i;
zend_ast_list *list = zend_ast_get_list(ast);
for (i = 0; i < list->children; i++) {
zend_ast *elem = list->child[i];
2014-06-26 19:16:31 +08:00
if (elem->child[1]) {
zend_ast_evaluate(&op1, elem->child[1], scope TSRMLS_CC);
} else {
ZVAL_UNDEF(&op1);
}
2014-06-26 19:16:31 +08:00
zend_ast_evaluate(&op2, elem->child[0], scope TSRMLS_CC);
zend_ast_add_array_element(result, &op1, &op2 TSRMLS_CC);
}
}
break;
2014-08-17 04:08:02 +08:00
case ZEND_AST_DIM:
zend_ast_evaluate(&op1, ast->child[0], scope TSRMLS_CC);
zend_ast_evaluate(&op2, ast->child[1], scope TSRMLS_CC);
{
zval tmp;
zend_fetch_dimension_by_zval(&tmp, &op1, &op2 TSRMLS_CC);
ZVAL_ZVAL(result, &tmp, 1, 1);
}
zval_dtor(&op1);
zval_dtor(&op2);
break;
2013-11-07 02:21:07 +08:00
default:
zend_error(E_ERROR, "Unsupported constant expression");
}
2013-11-07 02:21:07 +08:00
}
2013-11-07 02:21:07 +08:00
ZEND_API zend_ast *zend_ast_copy(zend_ast *ast)
{
if (ast == NULL) {
return NULL;
2014-06-29 00:03:26 +08:00
} else if (ast->kind == ZEND_AST_ZVAL) {
zend_ast_zval *new = emalloc(sizeof(zend_ast_zval));
new->kind = ZEND_AST_ZVAL;
new->attr = ast->attr;
2014-07-30 23:46:00 +08:00
ZVAL_COPY(&new->val, zend_ast_get_zval(ast));
return (zend_ast *) new;
} else if (zend_ast_is_list(ast)) {
zend_ast_list *list = zend_ast_get_list(ast);
zend_ast_list *new = emalloc(zend_ast_list_size(list->children));
uint32_t i;
new->kind = list->kind;
new->attr = list->attr;
new->children = list->children;
for (i = 0; i < list->children; i++) {
new->child[i] = zend_ast_copy(list->child[i]);
}
return (zend_ast *) new;
2014-07-22 00:02:31 +08:00
} else {
uint32_t i, children = zend_ast_get_num_children(ast);
zend_ast *new = emalloc(zend_ast_size(children));
new->kind = ast->kind;
2014-06-29 00:03:26 +08:00
new->attr = ast->attr;
for (i = 0; i < children; i++) {
2014-06-07 04:35:21 +08:00
new->child[i] = zend_ast_copy(ast->child[i]);
}
return new;
}
}
static void zend_ast_destroy_ex(zend_ast *ast, zend_bool free) {
if (!ast) {
return;
}
switch (ast->kind) {
case ZEND_AST_ZVAL:
2014-08-18 01:15:54 +08:00
/* Destroy value without using GC: When opcache moves arrays into SHM it will
* free the zend_array structure, so references to it from outside the op array
* become invalid. GC would cause such a reference in the root buffer. */
zval_ptr_dtor_nogc(zend_ast_get_zval(ast));
break;
case ZEND_AST_FUNC_DECL:
case ZEND_AST_CLOSURE:
case ZEND_AST_METHOD:
2014-07-21 22:34:45 +08:00
case ZEND_AST_CLASS:
{
zend_ast_decl *decl = (zend_ast_decl *) ast;
zend_string_release(decl->name);
if (decl->doc_comment) {
zend_string_release(decl->doc_comment);
2014-07-18 21:23:16 +08:00
}
zend_ast_destroy_ex(decl->child[0], free);
zend_ast_destroy_ex(decl->child[1], free);
zend_ast_destroy_ex(decl->child[2], free);
break;
}
default:
if (zend_ast_is_list(ast)) {
zend_ast_list *list = zend_ast_get_list(ast);
uint32_t i;
for (i = 0; i < list->children; i++) {
zend_ast_destroy_ex(list->child[i], free);
}
} else {
uint32_t i, children = zend_ast_get_num_children(ast);
for (i = 0; i < children; i++) {
zend_ast_destroy_ex(ast->child[i], free);
}
2013-11-07 02:21:07 +08:00
}
}
if (free) {
efree(ast);
}
}
ZEND_API void zend_ast_destroy(zend_ast *ast) {
zend_ast_destroy_ex(ast, 0);
}
ZEND_API void zend_ast_destroy_and_free(zend_ast *ast) {
zend_ast_destroy_ex(ast, 1);
}
ZEND_API void zend_ast_apply(zend_ast *ast, zend_ast_apply_func fn TSRMLS_DC) {
if (zend_ast_is_list(ast)) {
zend_ast_list *list = zend_ast_get_list(ast);
uint32_t i;
for (i = 0; i < list->children; ++i) {
fn(&list->child[i] TSRMLS_CC);
}
} else {
uint32_t i, children = zend_ast_get_num_children(ast);
for (i = 0; i < children; ++i) {
fn(&ast->child[i] TSRMLS_CC);
}
}
}