zend_jit.c

Go to the documentation of this file.

/*
   +----------------------------------------------------------------------+
   | Zend JIT                                                             |
   +----------------------------------------------------------------------+
   | 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:           |
   | https://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: Dmitry Stogov <dmitry@php.net>                              |
   +----------------------------------------------------------------------+
*/
 
#include "main/php.h"
#include "main/SAPI.h"
#include "php_version.h"
#include <ZendAccelerator.h>
#include "zend_shared_alloc.h"
#include "Zend/zend_execute.h"
#include "Zend/zend_vm.h"
#include "Zend/zend_exceptions.h"
#include "Zend/zend_constants.h"
#include "Zend/zend_closures.h"
#include "Zend/zend_ini.h"
#include "Zend/zend_observer.h"
#include "zend_smart_str.h"
#include "jit/zend_jit.h"
 
#ifdef HAVE_JIT
 
#include "Optimizer/zend_func_info.h"
#include "Optimizer/zend_ssa.h"
#include "Optimizer/zend_inference.h"
#include "Optimizer/zend_call_graph.h"
#include "Optimizer/zend_dump.h"
#include "Optimizer/zend_worklist.h"
 
#include "jit/zend_jit_internal.h"
 
#ifdef HAVE_PTHREAD_JIT_WRITE_PROTECT_NP
#include <pthread.h>
#endif
 
#ifdef ZTS
int jit_globals_id;
#else
zend_jit_globals jit_globals;
#endif
 
//#define CONTEXT_THREADED_JIT
#define ZEND_JIT_USE_RC_INFERENCE
 
#ifdef ZEND_JIT_USE_RC_INFERENCE
# define ZEND_SSA_RC_INFERENCE_FLAG ZEND_SSA_RC_INFERENCE
# define RC_MAY_BE_1(info)          (((info) & (MAY_BE_RC1|MAY_BE_REF)) != 0)
# define RC_MAY_BE_N(info)          (((info) & (MAY_BE_RCN|MAY_BE_REF)) != 0)
#else
# define ZEND_SSA_RC_INFERENCE_FLAG 0
# define RC_MAY_BE_1(info)          1
# define RC_MAY_BE_N(info)          1
#endif
 
#define JIT_PREFIX      "JIT$"
#define JIT_STUB_PREFIX "JIT$$"
#define TRACE_PREFIX    "TRACE-"
 
bool zend_jit_startup_ok = false;
 
zend_ulong zend_jit_profile_counter = 0;
int zend_jit_profile_counter_rid = -1;
 
int16_t zend_jit_hot_counters[ZEND_HOT_COUNTERS_COUNT];
 
const zend_op *zend_jit_halt_op = NULL;
static int zend_jit_vm_kind = 0;
#ifdef HAVE_PTHREAD_JIT_WRITE_PROTECT_NP
static int zend_write_protect = 1;
#endif
 
static void *dasm_buf = NULL;
static void *dasm_end = NULL;
static void **dasm_ptr = NULL;
 
static size_t dasm_size = 0;
 
static zend_long jit_bisect_pos = 0;
 
static const void *zend_jit_runtime_jit_handler = NULL;
static const void *zend_jit_profile_jit_handler = NULL;
static const void *zend_jit_func_hot_counter_handler = NULL;
static const void *zend_jit_loop_hot_counter_handler = NULL;
static const void *zend_jit_func_trace_counter_handler = NULL;
static const void *zend_jit_ret_trace_counter_handler = NULL;
static const void *zend_jit_loop_trace_counter_handler = NULL;
 
static int ZEND_FASTCALL zend_runtime_jit(void);
 
static int zend_jit_trace_op_len(const zend_op *opline);
static int zend_jit_trace_may_exit(const zend_op_array *op_array, const zend_op *opline);
static uint32_t zend_jit_trace_get_exit_point(const zend_op *to_opline, uint32_t flags);
static const void *zend_jit_trace_get_exit_addr(uint32_t n);
static void zend_jit_trace_add_code(const void *start, uint32_t size);
static zend_string *zend_jit_func_name(const zend_op_array *op_array);
 
static bool zend_jit_needs_arg_dtor(const zend_function *func, uint32_t arg_num, zend_call_info *call_info);
static bool zend_jit_supported_binary_op(uint8_t op, uint32_t op1_info, uint32_t op2_info);
 
static bool dominates(const zend_basic_block *blocks, int a, int b) {
    while (blocks[b].level > blocks[a].level) {
        b = blocks[b].idom;
    }
    return a == b;
}
 
static bool zend_ssa_is_last_use(const zend_op_array *op_array, const zend_ssa *ssa, int var, int use)
{
    int next_use;
 
    if (ssa->vars[var].phi_use_chain) {
        zend_ssa_phi *phi = ssa->vars[var].phi_use_chain;
        do {
            if (!ssa->vars[phi->ssa_var].no_val) {
                return 0;
            }
            phi = zend_ssa_next_use_phi(ssa, var, phi);
        } while (phi);
    }
 
    if (ssa->cfg.blocks[ssa->cfg.map[use]].loop_header > 0
     || (ssa->cfg.blocks[ssa->cfg.map[use]].flags & ZEND_BB_LOOP_HEADER)) {
        int b = ssa->cfg.map[use];
        int prev_use = ssa->vars[var].use_chain;
        int def_block;
 
        if (ssa->vars[var].definition >= 0) {
            def_block =ssa->cfg.map[ssa->vars[var].definition];
        } else {
            ZEND_ASSERT(ssa->vars[var].definition_phi);
            def_block = ssa->vars[var].definition_phi->block;
        }
        if (dominates(ssa->cfg.blocks, def_block,
                (ssa->cfg.blocks[b].flags & ZEND_BB_LOOP_HEADER) ? b : ssa->cfg.blocks[b].loop_header)) {
            return 0;
        }
 
        while (prev_use >= 0 && prev_use != use) {
            if (b != ssa->cfg.map[prev_use]
             && dominates(ssa->cfg.blocks, b, ssa->cfg.map[prev_use])
             && !zend_ssa_is_no_val_use(op_array->opcodes + prev_use, ssa->ops + prev_use, var)) {
                return 0;
            }
            prev_use = zend_ssa_next_use(ssa->ops, var, prev_use);
        }
    }
 
    next_use = zend_ssa_next_use(ssa->ops, var, use);
    if (next_use < 0) {
        return 1;
    } else if (zend_ssa_is_no_val_use(op_array->opcodes + next_use, ssa->ops + next_use, var)) {
        return 1;
    }
    return 0;
}
 
static int zend_jit_is_constant_cmp_long_long(const zend_op  *opline,
                                              zend_ssa_range *op1_range,
                                              zend_jit_addr   op1_addr,
                                              zend_ssa_range *op2_range,
                                              zend_jit_addr   op2_addr,
                                              bool           *result)
{
    zend_long op1_min;
    zend_long op1_max;
    zend_long op2_min;
    zend_long op2_max;
 
    if (op1_range) {
        op1_min = op1_range->min;
        op1_max = op1_range->max;
    } else if (Z_MODE(op1_addr) == IS_CONST_ZVAL) {
        ZEND_ASSERT(Z_TYPE_P(Z_ZV(op1_addr)) == IS_LONG);
        op1_min = op1_max = Z_LVAL_P(Z_ZV(op1_addr));
    } else {
        return 0;
    }
 
    if (op2_range) {
        op2_min = op2_range->min;
        op2_max = op2_range->max;
    } else if (Z_MODE(op2_addr) == IS_CONST_ZVAL) {
        ZEND_ASSERT(Z_TYPE_P(Z_ZV(op2_addr)) == IS_LONG);
        op2_min = op2_max = Z_LVAL_P(Z_ZV(op2_addr));
    } else {
        return 0;
    }
 
    switch (opline->opcode) {
        case ZEND_IS_EQUAL:
        case ZEND_IS_IDENTICAL:
        case ZEND_CASE:
        case ZEND_CASE_STRICT:
            if (op1_min == op1_max && op2_min == op2_max && op1_min == op2_min) {
                *result = 1;
                return 1;
            } else if (op1_max < op2_min || op1_min > op2_max) {
                *result = 0;
                return 1;
            }
            return 0;
        case ZEND_IS_NOT_EQUAL:
        case ZEND_IS_NOT_IDENTICAL:
            if (op1_min == op1_max && op2_min == op2_max && op1_min == op2_min) {
                *result = 0;
                return 1;
            } else if (op1_max < op2_min || op1_min > op2_max) {
                *result = 1;
                return 1;
            }
            return 0;
        case ZEND_IS_SMALLER:
            if (op1_max < op2_min) {
                *result = 1;
                return 1;
            } else if (op1_min >= op2_max) {
                *result = 0;
                return 1;
            }
            return 0;
        case ZEND_IS_SMALLER_OR_EQUAL:
            if (op1_max <= op2_min) {
                *result = 1;
                return 1;
            } else if (op1_min > op2_max) {
                *result = 0;
                return 1;
            }
            return 0;
        default:
            ZEND_UNREACHABLE();
    }
    return 0;
}
 
#define ADVANCE_SSA_OP(ssa_op, offset) \
    do { \
        if (ssa_op) ssa_op += offset; \
    } while (0)
 
static int zend_jit_needs_call_chain(zend_call_info *call_info, uint32_t b, const zend_op_array *op_array, zend_ssa *ssa, const zend_ssa_op *ssa_op, const zend_op *opline, int call_level, zend_jit_trace_rec *trace)
{
    int skip;
 
    if (trace) {
        zend_jit_trace_rec *p = trace;
 
        ADVANCE_SSA_OP(ssa_op, 1);
        while (1) {
            if (p->op == ZEND_JIT_TRACE_VM) {
                switch (p->opline->opcode) {
                    case ZEND_SEND_ARRAY:
                    case ZEND_SEND_USER:
                    case ZEND_SEND_UNPACK:
                    case ZEND_INIT_FCALL:
                    case ZEND_INIT_METHOD_CALL:
                    case ZEND_INIT_STATIC_METHOD_CALL:
                    case ZEND_INIT_PARENT_PROPERTY_HOOK_CALL:
                    case ZEND_INIT_FCALL_BY_NAME:
                    case ZEND_INIT_NS_FCALL_BY_NAME:
                    case ZEND_INIT_DYNAMIC_CALL:
                    case ZEND_NEW:
                    case ZEND_INIT_USER_CALL:
                    case ZEND_FAST_CALL:
                    case ZEND_JMP:
                    case ZEND_JMPZ:
                    case ZEND_JMPNZ:
                    case ZEND_JMPZ_EX:
                    case ZEND_JMPNZ_EX:
                    case ZEND_FE_RESET_R:
                    case ZEND_FE_RESET_RW:
                    case ZEND_JMP_SET:
                    case ZEND_COALESCE:
                    case ZEND_JMP_NULL:
                    case ZEND_ASSERT_CHECK:
                    case ZEND_CATCH:
                    case ZEND_DECLARE_ANON_CLASS:
                    case ZEND_FE_FETCH_R:
                    case ZEND_FE_FETCH_RW:
                    case ZEND_BIND_INIT_STATIC_OR_JMP:
                    case ZEND_JMP_FRAMELESS:
                        return 1;
                    case ZEND_DO_ICALL:
                    case ZEND_DO_UCALL:
                    case ZEND_DO_FCALL_BY_NAME:
                    case ZEND_DO_FCALL:
                    case ZEND_CALLABLE_CONVERT:
                        return 0;
                    case ZEND_SEND_VAL:
                    case ZEND_SEND_VAR:
                    case ZEND_SEND_VAL_EX:
                    case ZEND_SEND_VAR_EX:
                    case ZEND_SEND_FUNC_ARG:
                    case ZEND_SEND_REF:
                    case ZEND_SEND_VAR_NO_REF:
                    case ZEND_SEND_VAR_NO_REF_EX:
                        /* skip */
                        break;
                    default:
                        if (zend_may_throw(opline, ssa_op, op_array, ssa)) {
                            return 1;
                        }
                }
                ADVANCE_SSA_OP(ssa_op, zend_jit_trace_op_len(opline));
            } else if (p->op == ZEND_JIT_TRACE_ENTER ||
                       p->op == ZEND_JIT_TRACE_BACK ||
                       p->op == ZEND_JIT_TRACE_END) {
                return 1;
            }
            p++;
        }
    }
 
    if (!call_info) {
        const zend_op *end = op_array->opcodes + op_array->last;
 
        opline++;
        ADVANCE_SSA_OP(ssa_op, 1);
        skip = (call_level == 1);
        while (opline != end) {
            if (!skip) {
                if (zend_may_throw(opline, ssa_op, op_array, ssa)) {
                    return 1;
                }
            }
            switch (opline->opcode) {
                case ZEND_SEND_VAL:
                case ZEND_SEND_VAR:
                case ZEND_SEND_VAL_EX:
                case ZEND_SEND_VAR_EX:
                case ZEND_SEND_FUNC_ARG:
                case ZEND_SEND_REF:
                case ZEND_SEND_VAR_NO_REF:
                case ZEND_SEND_VAR_NO_REF_EX:
                    skip = 0;
                    break;
                case ZEND_SEND_ARRAY:
                case ZEND_SEND_USER:
                case ZEND_SEND_UNPACK:
                case ZEND_INIT_FCALL:
                case ZEND_INIT_METHOD_CALL:
                case ZEND_INIT_STATIC_METHOD_CALL:
                case ZEND_INIT_PARENT_PROPERTY_HOOK_CALL:
                case ZEND_INIT_FCALL_BY_NAME:
                case ZEND_INIT_NS_FCALL_BY_NAME:
                case ZEND_INIT_DYNAMIC_CALL:
                case ZEND_NEW:
                case ZEND_INIT_USER_CALL:
                case ZEND_FAST_CALL:
                case ZEND_JMP:
                case ZEND_JMPZ:
                case ZEND_JMPNZ:
                case ZEND_JMPZ_EX:
                case ZEND_JMPNZ_EX:
                case ZEND_FE_RESET_R:
                case ZEND_FE_RESET_RW:
                case ZEND_JMP_SET:
                case ZEND_COALESCE:
                case ZEND_JMP_NULL:
                case ZEND_ASSERT_CHECK:
                case ZEND_CATCH:
                case ZEND_DECLARE_ANON_CLASS:
                case ZEND_FE_FETCH_R:
                case ZEND_FE_FETCH_RW:
                case ZEND_BIND_INIT_STATIC_OR_JMP:
                case ZEND_JMP_FRAMELESS:
                    return 1;
                case ZEND_DO_ICALL:
                case ZEND_DO_UCALL:
                case ZEND_DO_FCALL_BY_NAME:
                case ZEND_DO_FCALL:
                case ZEND_CALLABLE_CONVERT:
                    end = opline;
                    if (end - op_array->opcodes >= ssa->cfg.blocks[b].start + ssa->cfg.blocks[b].len) {
                        /* INIT_FCALL and DO_FCALL in different BasicBlocks */
                        return 1;
                    }
                    return 0;
            }
            opline++;
            ADVANCE_SSA_OP(ssa_op, 1);
        }
 
        return 1;
    } else {
        const zend_op *end = call_info->caller_call_opline;
 
        /* end may be null if an opcode like EXIT is part of the argument list. */
        if (!end || end - op_array->opcodes >= ssa->cfg.blocks[b].start + ssa->cfg.blocks[b].len) {
            /* INIT_FCALL and DO_FCALL in different BasicBlocks */
            return 1;
        }
 
        opline++;
        ADVANCE_SSA_OP(ssa_op, 1);
        skip = (call_level == 1);
        while (opline != end) {
            if (skip) {
                switch (opline->opcode) {
                    case ZEND_SEND_VAL:
                    case ZEND_SEND_VAR:
                    case ZEND_SEND_VAL_EX:
                    case ZEND_SEND_VAR_EX:
                    case ZEND_SEND_FUNC_ARG:
                    case ZEND_SEND_REF:
                    case ZEND_SEND_VAR_NO_REF:
                    case ZEND_SEND_VAR_NO_REF_EX:
                        skip = 0;
                        break;
                    case ZEND_SEND_ARRAY:
                    case ZEND_SEND_USER:
                    case ZEND_SEND_UNPACK:
                        return 1;
                }
            } else {
                if (zend_may_throw(opline, ssa_op, op_array, ssa)) {
                    return 1;
                }
            }
            opline++;
            ADVANCE_SSA_OP(ssa_op, 1);
        }
 
        return 0;
    }
}
 
static uint32_t skip_valid_arguments(const zend_op_array *op_array, zend_ssa *ssa, const zend_call_info *call_info)
{
    uint32_t num_args = 0;
    zend_function *func = call_info->callee_func;
 
    /* It's okay to handle prototypes here, because they can only increase the accepted arguments.
     * Anything legal for the parent method is also legal for the parent method. */
    while (num_args < call_info->num_args) {
        zend_arg_info *arg_info = func->op_array.arg_info + num_args;
 
        if (ZEND_TYPE_IS_SET(arg_info->type)) {
            if (ZEND_TYPE_IS_ONLY_MASK(arg_info->type)) {
                zend_op *opline = call_info->arg_info[num_args].opline;
                zend_ssa_op *ssa_op = ssa->ops ? &ssa->ops[opline - op_array->opcodes] : NULL;
                uint32_t type_mask = ZEND_TYPE_PURE_MASK(arg_info->type);
                if ((OP1_INFO() & (MAY_BE_ANY|MAY_BE_UNDEF)) & ~type_mask) {
                    break;
                }
            } else {
                break;
            }
        }
        num_args++;
    }
    return num_args;
}
 
static uint32_t zend_ssa_cv_info(const zend_op_array *op_array, zend_ssa *ssa, uint32_t var)
{
    uint32_t j, info;
 
    if (ssa->vars && ssa->var_info) {
        info = ssa->var_info[var].type;
        for (j = op_array->last_var; j < ssa->vars_count; j++) {
            if (ssa->vars[j].var == var) {
                info |= ssa->var_info[j].type;
            }
        }
    } else {
        info = MAY_BE_RC1 | MAY_BE_RCN | MAY_BE_REF | MAY_BE_ANY | MAY_BE_UNDEF |
            MAY_BE_ARRAY_KEY_ANY | MAY_BE_ARRAY_OF_ANY | MAY_BE_ARRAY_OF_REF;
    }
 
#ifdef ZEND_JIT_USE_RC_INFERENCE
    /* Refcount may be increased by RETURN opcode */
    if ((info & MAY_BE_RC1) && !(info & MAY_BE_RCN)) {
        for (j = 0; j < ssa->cfg.blocks_count; j++) {
            if ((ssa->cfg.blocks[j].flags & ZEND_BB_REACHABLE) &&
                ssa->cfg.blocks[j].len > 0) {
                const zend_op *opline = op_array->opcodes + ssa->cfg.blocks[j].start + ssa->cfg.blocks[j].len - 1;
 
                if (opline->opcode == ZEND_RETURN) {
                    if (opline->op1_type == IS_CV && opline->op1.var == EX_NUM_TO_VAR(var)) {
                        info |= MAY_BE_RCN;
                        break;
                    }
                }
            }
        }
    }
#endif
 
    return info;
}
 
static bool zend_jit_may_avoid_refcounting(const zend_op *opline, uint32_t op1_info)
{
    switch (opline->opcode) {
        case ZEND_FETCH_OBJ_FUNC_ARG:
            if (!JIT_G(current_frame) ||
                !JIT_G(current_frame)->call->func ||
                !TRACE_FRAME_IS_LAST_SEND_BY_VAL(JIT_G(current_frame)->call)) {
                return 0;
            }
            /* break missing intentionally */
        case ZEND_FETCH_OBJ_R:
        case ZEND_FETCH_OBJ_IS:
            if ((op1_info & MAY_BE_OBJECT)
             && opline->op2_type == IS_CONST
             && Z_TYPE_P(RT_CONSTANT(opline, opline->op2)) == IS_STRING
             && Z_STRVAL_P(RT_CONSTANT(opline, opline->op2))[0] != '\0') {
                return 1;
            }
            break;
        case ZEND_FETCH_DIM_FUNC_ARG:
            if (!JIT_G(current_frame) ||
                !JIT_G(current_frame)->call->func ||
                !TRACE_FRAME_IS_LAST_SEND_BY_VAL(JIT_G(current_frame)->call)) {
                return 0;
            }
            /* break missing intentionally */
        case ZEND_FETCH_DIM_R:
        case ZEND_FETCH_DIM_IS:
            return 1;
        case ZEND_ISSET_ISEMPTY_DIM_OBJ:
            if (!(opline->extended_value & ZEND_ISEMPTY)) {
                return 1;
            }
            break;
    }
    return 0;
}
 
static bool zend_jit_is_persistent_constant(zval *key, uint32_t flags)
{
    zval *zv;
    zend_constant *c = NULL;
 
    /* null/true/false are resolved during compilation, so don't check for them here. */
    zv = zend_hash_find_known_hash(EG(zend_constants), Z_STR_P(key));
    if (zv) {
        c = (zend_constant*)Z_PTR_P(zv);
    } else if (flags & IS_CONSTANT_UNQUALIFIED_IN_NAMESPACE) {
        key++;
        zv = zend_hash_find_known_hash(EG(zend_constants), Z_STR_P(key));
        if (zv) {
            c = (zend_constant*)Z_PTR_P(zv);
        }
    }
    return c && (ZEND_CONSTANT_FLAGS(c) & CONST_PERSISTENT);
}
 
static zend_property_info* zend_get_known_property_info(const zend_op_array *op_array, zend_class_entry *ce, zend_string *member, bool on_this, zend_string *filename)
{
    zend_property_info *info = NULL;
 
    if ((on_this && (op_array->fn_flags & ZEND_ACC_TRAIT_CLONE)) ||
        !ce ||
        !(ce->ce_flags & ZEND_ACC_LINKED) ||
        (ce->ce_flags & ZEND_ACC_TRAIT) ||
        ce->create_object) {
        return NULL;
    }
 
    if (!(ce->ce_flags & ZEND_ACC_IMMUTABLE)) {
        if (ce->info.user.filename != filename) {
            /* class declaration might be changed independently */
            return NULL;
        }
 
        if (ce->parent) {
            zend_class_entry *parent = ce->parent;
 
            do {
                if (parent->type == ZEND_INTERNAL_CLASS) {
                    break;
                } else if (parent->info.user.filename != filename) {
                    /* some of parents class declarations might be changed independently */
                    /* TODO: this check may be not enough, because even
                     * in the same it's possible to conditionally define
                     * few classes with the same name, and "parent" may
                     * change from request to request.
                     */
                    return NULL;
                }
                parent = parent->parent;
            } while (parent);
        }
    }
 
    // TODO: Treat property hooks more precisely.
    info = (zend_property_info*)zend_hash_find_ptr(&ce->properties_info, member);
    if (info == NULL ||
        !IS_VALID_PROPERTY_OFFSET(info->offset) ||
        (info->flags & ZEND_ACC_STATIC) ||
        info->hooks) {
        return NULL;
    }
 
    if (info->flags & ZEND_ACC_PUBLIC) {
        return info;
    } else if (on_this) {
        if (ce == info->ce) {
            if (ce == op_array->scope) {
                return info;
            } else {
                return NULL;
            }
        } else if ((info->flags & ZEND_ACC_PROTECTED)
                && instanceof_function_slow(ce, info->ce)) {
            return info;
        }
    }
 
    return NULL;
}
 
static bool zend_may_be_dynamic_property(zend_class_entry *ce, zend_string *member, bool on_this, const zend_op_array *op_array)
{
    zend_property_info *info;
 
    if (!ce || (ce->ce_flags & ZEND_ACC_TRAIT) || (op_array->fn_flags & ZEND_ACC_TRAIT_CLONE)) {
        return 1;
    }
 
    if (!(ce->ce_flags & ZEND_ACC_IMMUTABLE)) {
        if (ce->info.user.filename != op_array->filename) {
            /* class declaration might be changed independently */
            return 1;
        }
    }
 
    // TODO: Treat property hooks more precisely.
    info = (zend_property_info*)zend_hash_find_ptr(&ce->properties_info, member);
    if (info == NULL ||
        !IS_VALID_PROPERTY_OFFSET(info->offset) ||
        (info->flags & ZEND_ACC_STATIC) ||
        info->hooks) {
        return 1;
    }
 
    if (!(info->flags & ZEND_ACC_PUBLIC) &&
        (!on_this || info->ce != ce)) {
        return 1;
    }
 
    return 0;
}
 
#define OP_RANGE(ssa_op, opN) \
    (((opline->opN##_type & (IS_TMP_VAR|IS_VAR|IS_CV)) && \
      ssa->var_info && \
      (ssa_op)->opN##_use >= 0 && \
      ssa->var_info[(ssa_op)->opN##_use].has_range) ? \
     &ssa->var_info[(ssa_op)->opN##_use].range : NULL)
 
#define OP1_RANGE()      OP_RANGE(ssa_op, op1)
#define OP2_RANGE()      OP_RANGE(ssa_op, op2)
#define OP1_DATA_RANGE() OP_RANGE(ssa_op + 1, op1)
 
#include "jit/zend_jit_helpers.c"
#include "Zend/zend_cpuinfo.h"
 
#ifdef HAVE_GCC_GLOBAL_REGS
# define GCC_GLOBAL_REGS 1
#else
# define GCC_GLOBAL_REGS 0
#endif
 
/* By default avoid JITing inline handlers if it does not seem profitable due to lack of
 * type information. Disabling this option allows testing some JIT handlers in the
 * presence of try/catch blocks, which prevent SSA construction. */
#ifndef PROFITABILITY_CHECKS
# define PROFITABILITY_CHECKS 1
#endif
 
#define BP_JIT_IS 6 /* Used for ISSET_ISEMPTY_DIM_OBJ. see BP_VAR_*defines in Zend/zend_compile.h */
 
/* The generated code may contain tautological comparisons, ignore them. */
#if defined(__clang__)
# pragma clang diagnostic push
# pragma clang diagnostic ignored "-Wtautological-compare"
# pragma clang diagnostic ignored "-Wstring-compare"
#endif
 
#include "jit/zend_jit_ir.c"
 
#if defined(__clang__)
# pragma clang diagnostic pop
#endif
 
#ifdef _WIN32
# include <Windows.h>
#else
# include <sys/mman.h>
# if !defined(MAP_ANONYMOUS) && defined(MAP_ANON)
#   define MAP_ANONYMOUS MAP_ANON
# endif
#endif
 
ZEND_EXT_API void zend_jit_status(zval *ret)
{
    zval stats;
    array_init(&stats);
    add_assoc_bool(&stats, "enabled", JIT_G(enabled));
    add_assoc_bool(&stats, "on", JIT_G(on));
    add_assoc_long(&stats, "kind", JIT_G(trigger));
    add_assoc_long(&stats, "opt_level", JIT_G(opt_level));
    add_assoc_long(&stats, "opt_flags", JIT_G(opt_flags));
    if (dasm_buf) {
        add_assoc_long(&stats, "buffer_size", (char*)dasm_end - (char*)dasm_buf);
        add_assoc_long(&stats, "buffer_free", (char*)dasm_end - (char*)*dasm_ptr);
    } else {
        add_assoc_long(&stats, "buffer_size", 0);
        add_assoc_long(&stats, "buffer_free", 0);
    }
    add_assoc_zval(ret, "jit", &stats);
}
 
static bool zend_jit_inc_call_level(uint8_t opcode)
{
    switch (opcode) {
        case ZEND_INIT_FCALL:
        case ZEND_INIT_FCALL_BY_NAME:
        case ZEND_INIT_NS_FCALL_BY_NAME:
        case ZEND_INIT_METHOD_CALL:
        case ZEND_INIT_DYNAMIC_CALL:
        case ZEND_INIT_STATIC_METHOD_CALL:
        case ZEND_INIT_PARENT_PROPERTY_HOOK_CALL:
        case ZEND_INIT_USER_CALL:
        case ZEND_NEW:
            return true;
        default:
            return false;
    }
}
 
static bool zend_jit_dec_call_level(uint8_t opcode)
{
    switch (opcode) {
        case ZEND_DO_FCALL:
        case ZEND_DO_ICALL:
        case ZEND_DO_UCALL:
        case ZEND_DO_FCALL_BY_NAME:
        case ZEND_CALLABLE_CONVERT:
            return true;
        default:
            return false;
    }
}
 
static zend_string *zend_jit_func_name(const zend_op_array *op_array)
{
    smart_str buf = {0};
 
    if (op_array->function_name) {
        smart_str_appends(&buf, JIT_PREFIX);
        if (op_array->scope) {
            smart_str_appendl(&buf, ZSTR_VAL(op_array->scope->name), ZSTR_LEN(op_array->scope->name));
            smart_str_appends(&buf, "::");
        }
        smart_str_appendl(&buf, ZSTR_VAL(op_array->function_name), ZSTR_LEN(op_array->function_name));
        if (op_array->fn_flags & ZEND_ACC_CLOSURE) {
            smart_str_appends(&buf, ":");
            smart_str_appendl(&buf, ZSTR_VAL(op_array->filename), ZSTR_LEN(op_array->filename));
            smart_str_appends(&buf, ":");
            smart_str_append_long(&buf, op_array->line_start);
        }
        smart_str_0(&buf);
        return buf.s;
    } else if (op_array->filename) {
        smart_str_appends(&buf, JIT_PREFIX);
        smart_str_appendl(&buf, ZSTR_VAL(op_array->filename), ZSTR_LEN(op_array->filename));
        smart_str_0(&buf);
        return buf.s;
    } else {
        return NULL;
    }
}
 
static int zend_may_overflow(const zend_op *opline, const zend_ssa_op *ssa_op, const zend_op_array *op_array, zend_ssa *ssa)
{
    int res;
    zend_long op1_min, op1_max, op2_min, op2_max;
 
    if (!ssa->ops || !ssa->var_info) {
        return 1;
    }
    switch (opline->opcode) {
        case ZEND_PRE_INC:
        case ZEND_POST_INC:
            res = ssa_op->op1_def;
            if (res < 0
             || !ssa->var_info[res].has_range
             || ssa->var_info[res].range.overflow) {
                if (!OP1_HAS_RANGE()) {
                    return 1;
                }
                op1_max = OP1_MAX_RANGE();
                if (op1_max == ZEND_LONG_MAX) {
                    return 1;
                }
            }
            return 0;
        case ZEND_PRE_DEC:
        case ZEND_POST_DEC:
            res = ssa_op->op1_def;
            if (res < 0
             || !ssa->var_info[res].has_range
             || ssa->var_info[res].range.underflow) {
                if (!OP1_HAS_RANGE()) {
                    return 1;
                }
                op1_min = OP1_MIN_RANGE();
                if (op1_min == ZEND_LONG_MIN) {
                    return 1;
                }
            }
            return 0;
        case ZEND_ADD:
            res = ssa_op->result_def;
            if (res < 0
             || !ssa->var_info[res].has_range
             || ssa->var_info[res].range.underflow) {
                if (!OP1_HAS_RANGE() || !OP2_HAS_RANGE()) {
                    return 1;
                }
                op1_min = OP1_MIN_RANGE();
                op2_min = OP2_MIN_RANGE();
                if (zend_add_will_overflow(op1_min, op2_min)) {
                    return 1;
                }
            }
            if (res < 0
             || !ssa->var_info[res].has_range
             || ssa->var_info[res].range.overflow) {
                if (!OP1_HAS_RANGE() || !OP2_HAS_RANGE()) {
                    return 1;
                }
                op1_max = OP1_MAX_RANGE();
                op2_max = OP2_MAX_RANGE();
                if (zend_add_will_overflow(op1_max, op2_max)) {
                    return 1;
                }
            }
            return 0;
        case ZEND_SUB:
            res = ssa_op->result_def;
            if (res < 0
             || !ssa->var_info[res].has_range
             || ssa->var_info[res].range.underflow) {
                if (!OP1_HAS_RANGE() || !OP2_HAS_RANGE()) {
                    return 1;
                }
                op1_min = OP1_MIN_RANGE();
                op2_max = OP2_MAX_RANGE();
                if (zend_sub_will_overflow(op1_min, op2_max)) {
                    return 1;
                }
            }
            if (res < 0
             || !ssa->var_info[res].has_range
             || ssa->var_info[res].range.overflow) {
                if (!OP1_HAS_RANGE() || !OP2_HAS_RANGE()) {
                    return 1;
                }
                op1_max = OP1_MAX_RANGE();
                op2_min = OP2_MIN_RANGE();
                if (zend_sub_will_overflow(op1_max, op2_min)) {
                    return 1;
                }
            }
            return 0;
        case ZEND_MUL:
            res = ssa_op->result_def;
            return (res < 0 ||
                !ssa->var_info[res].has_range ||
                ssa->var_info[res].range.underflow ||
                ssa->var_info[res].range.overflow);
        case ZEND_ASSIGN_OP:
            if (opline->extended_value == ZEND_ADD) {
                res = ssa_op->op1_def;
                if (res < 0
                 || !ssa->var_info[res].has_range
                 || ssa->var_info[res].range.underflow) {
                    if (!OP1_HAS_RANGE() || !OP2_HAS_RANGE()) {
                        return 1;
                    }
                    op1_min = OP1_MIN_RANGE();
                    op2_min = OP2_MIN_RANGE();
                    if (zend_add_will_overflow(op1_min, op2_min)) {
                        return 1;
                    }
                }
                if (res < 0
                 || !ssa->var_info[res].has_range
                 || ssa->var_info[res].range.overflow) {
                    if (!OP1_HAS_RANGE() || !OP2_HAS_RANGE()) {
                        return 1;
                    }
                    op1_max = OP1_MAX_RANGE();
                    op2_max = OP2_MAX_RANGE();
                    if (zend_add_will_overflow(op1_max, op2_max)) {
                        return 1;
                    }
                }
                return 0;
            } else if (opline->extended_value == ZEND_SUB) {
                res = ssa_op->op1_def;
                if (res < 0
                 || !ssa->var_info[res].has_range
                 || ssa->var_info[res].range.underflow) {
                    if (!OP1_HAS_RANGE() || !OP2_HAS_RANGE()) {
                        return 1;
                    }
                    op1_min = OP1_MIN_RANGE();
                    op2_max = OP2_MAX_RANGE();
                    if (zend_sub_will_overflow(op1_min, op2_max)) {
                        return 1;
                    }
                }
                if (res < 0
                 || !ssa->var_info[res].has_range
                 || ssa->var_info[res].range.overflow) {
                    if (!OP1_HAS_RANGE() || !OP2_HAS_RANGE()) {
                        return 1;
                    }
                    op1_max = OP1_MAX_RANGE();
                    op2_min = OP2_MIN_RANGE();
                    if (zend_sub_will_overflow(op1_max, op2_min)) {
                        return 1;
                    }
                }
                return 0;
            } else if (opline->extended_value == ZEND_MUL) {
                res = ssa_op->op1_def;
                return (res < 0 ||
                    !ssa->var_info[res].has_range ||
                    ssa->var_info[res].range.underflow ||
                    ssa->var_info[res].range.overflow);
            }
            ZEND_FALLTHROUGH;
        default:
            return 1;
    }
}
 
static int zend_jit_build_cfg(const zend_op_array *op_array, zend_cfg *cfg)
{
    uint32_t flags;
 
    flags = ZEND_CFG_STACKLESS | ZEND_CFG_NO_ENTRY_PREDECESSORS | ZEND_SSA_RC_INFERENCE_FLAG | ZEND_SSA_USE_CV_RESULTS | ZEND_CFG_RECV_ENTRY;
 
    zend_build_cfg(&CG(arena), op_array, flags, cfg);
 
    /* Don't JIT huge functions. Apart from likely being detrimental due to the amount of
     * generated code, some of our analysis is recursive and will stack overflow with many
     * blocks. */
    if (cfg->blocks_count > 100000) {
        return FAILURE;
    }
 
    zend_cfg_build_predecessors(&CG(arena), cfg);
 
    /* Compute Dominators Tree */
    zend_cfg_compute_dominators_tree(op_array, cfg);
 
    /* Identify reducible and irreducible loops */
    zend_cfg_identify_loops(op_array, cfg);
 
    return SUCCESS;
}
 
static int zend_jit_op_array_analyze1(const zend_op_array *op_array, zend_script *script, zend_ssa *ssa)
{
    if (zend_jit_build_cfg(op_array, &ssa->cfg) != SUCCESS) {
        return FAILURE;
    }
 
#if 0
    /* TODO: debugger and profiler supports? */
    if ((ssa->cfg.flags & ZEND_FUNC_HAS_EXTENDED_INFO)) {
        return FAILURE;
    }
#endif
 
    /* TODO: move this to zend_cfg.c ? */
    if (!op_array->function_name) {
        ssa->cfg.flags |= ZEND_FUNC_INDIRECT_VAR_ACCESS;
    }
 
    if ((JIT_G(opt_level) >= ZEND_JIT_LEVEL_OPT_FUNC)
     && ssa->cfg.blocks
     && op_array->last_try_catch == 0
     && !(op_array->fn_flags & ZEND_ACC_GENERATOR)
     && !(ssa->cfg.flags & ZEND_FUNC_INDIRECT_VAR_ACCESS)) {
        if (zend_build_ssa(&CG(arena), script, op_array, ZEND_SSA_RC_INFERENCE | ZEND_SSA_USE_CV_RESULTS, ssa) != SUCCESS) {
            return FAILURE;
        }
 
        zend_ssa_compute_use_def_chains(&CG(arena), op_array, ssa);
 
        zend_ssa_find_false_dependencies(op_array, ssa);
 
        zend_ssa_find_sccs(op_array, ssa);
    }
 
    return SUCCESS;
}
 
static int zend_jit_op_array_analyze2(const zend_op_array *op_array, zend_script *script, zend_ssa *ssa, uint32_t optimization_level)
{
    if ((JIT_G(opt_level) >= ZEND_JIT_LEVEL_OPT_FUNC)
     && ssa->cfg.blocks
     && op_array->last_try_catch == 0
     && !(op_array->fn_flags & ZEND_ACC_GENERATOR)
     && !(ssa->cfg.flags & ZEND_FUNC_INDIRECT_VAR_ACCESS)) {
        if (zend_ssa_inference(&CG(arena), op_array, script, ssa,
                optimization_level & ~ZEND_OPTIMIZER_NARROW_TO_DOUBLE) != SUCCESS) {
            return FAILURE;
        }
    }
 
    return SUCCESS;
}
 
static void zend_jit_allocate_registers(zend_jit_ctx *ctx, const zend_op_array *op_array, zend_ssa *ssa)
{
    void *checkpoint;
    int candidates_count, i;
    zend_jit_reg_var *ra;
 
    checkpoint = zend_arena_checkpoint(CG(arena));
    ra = zend_arena_calloc(&CG(arena), ssa->vars_count, sizeof(zend_jit_reg_var));
    candidates_count = 0;
    for (i = 0; i < ssa->vars_count; i++) {
        if (zend_jit_may_be_in_reg(op_array, ssa, i)) {
            ra[i].ref = IR_NULL;
            candidates_count++;
        }
    }
    if (!candidates_count) {
        zend_arena_release(&CG(arena), checkpoint);
        return;
    }
 
    if (JIT_G(opt_flags) & ZEND_JIT_REG_ALLOC_GLOBAL) {
        /* Naive SSA resolution */
        for (i = 0; i < ssa->vars_count; i++) {
            if (ssa->vars[i].definition_phi && !ssa->vars[i].no_val) {
                zend_ssa_phi *phi = ssa->vars[i].definition_phi;
                int k, src;
 
                if (phi->pi >= 0) {
                    src = phi->sources[0];
                    if (ra[i].ref) {
                        if (!ra[src].ref) {
                            ra[i].flags |= ZREG_LOAD;
                        } else {
                            ra[i].flags |= ZREG_PI;
                        }
                    } else if (ra[src].ref) {
                        ra[src].flags |= ZREG_STORE;
                    }
                } else {
                    int need_move = 0;
 
                    for (k = 0; k < ssa->cfg.blocks[phi->block].predecessors_count; k++) {
                        src = phi->sources[k];
                        if (src >= 0) {
                            if (ssa->vars[src].definition_phi
                             && ssa->vars[src].definition_phi->pi >= 0
                             && phi->block == ssa->vars[src].definition_phi->block) {
                                /* Skip zero-length interval for Pi variable */
                                src = ssa->vars[src].definition_phi->sources[0];
                            }
                            if (ra[i].ref) {
                                if (!ra[src].ref) {
                                    need_move = 1;
                                }
                            } else if (ra[src].ref) {
                                need_move = 1;
                            }
                        }
                    }
                    if (need_move) {
                        if (ra[i].ref) {
                            ra[i].flags |= ZREG_LOAD;
                        }
                        for (k = 0; k < ssa->cfg.blocks[phi->block].predecessors_count; k++) {
                            src = phi->sources[k];
                            if (src >= 0) {
                                if (ssa->vars[src].definition_phi
                                 && ssa->vars[src].definition_phi->pi >= 0
                                 && phi->block == ssa->vars[src].definition_phi->block) {
                                    /* Skip zero-length interval for Pi variable */
                                    src = ssa->vars[src].definition_phi->sources[0];
                                }
                                if (ra[src].ref) {
                                    ra[src].flags |= ZREG_STORE;
                                }
                            }
                        }
                    } else {
                        ra[i].flags |= ZREG_PHI;
                    }
                }
            }
        }
 
        /* Remove useless register allocation */
        for (i = 0; i < ssa->vars_count; i++) {
            if (ra[i].ref &&
                ((ra[i].flags & ZREG_LOAD) ||
                 ((ra[i].flags & ZREG_STORE) && ssa->vars[i].definition >= 0)) &&
                ssa->vars[i].use_chain < 0) {
                bool may_remove = 1;
                zend_ssa_phi *phi = ssa->vars[i].phi_use_chain;
 
                while (phi) {
                    if (ra[phi->ssa_var].ref &&
                        !(ra[phi->ssa_var].flags & ZREG_LOAD)) {
                        may_remove = 0;
                        break;
                    }
                    phi = zend_ssa_next_use_phi(ssa, i, phi);
                }
                if (may_remove) {
                    ra[i].ref = IR_UNUSED;
                }
            }
        }
 
        /* Remove intervals used once */
        for (i = 0; i < ssa->vars_count; i++) {
            if (ra[i].ref) {
                if (!(ra[i].flags & (ZREG_LOAD|ZREG_STORE))) {
                    uint32_t var_num = ssa->vars[i].var;
                    uint32_t op_num = ssa->vars[i].definition;
 
                    /* Check if a tempoary variable may be freed by exception handler */
                    if (op_array->last_live_range
                     && var_num >= op_array->last_var
                     && ssa->vars[i].definition >= 0
                     && ssa->ops[op_num].result_def == i) {
                        const zend_live_range *range = op_array->live_range;
                        int j;
 
                        op_num++;
                        if (op_array->opcodes[op_num].opcode == ZEND_OP_DATA) {
                            op_num++;
                        }
                        for (j = 0; j < op_array->last_live_range; range++, j++) {
                            if (range->start > op_num) {
                                /* further blocks will not be relevant... */
                                break;
                            } else if (op_num < range->end && var_num == (range->var & ~ZEND_LIVE_MASK)) {
                                /* check if opcodes in range may throw */
                                do {
                                    if (zend_may_throw(op_array->opcodes + op_num, ssa->ops + op_num, op_array, ssa)) {
                                        ra[i].flags |= ZREG_STORE;
                                        break;
                                    }
                                    op_num++;
                                    if (op_array->opcodes[op_num].opcode == ZEND_OP_DATA) {
                                        op_num++;
                                    }
                                } while (op_num < range->end);
                                break;
                            }
                        }
                    }
                }
                if ((ra[i].flags & ZREG_LOAD)
                 && (ra[i].flags & ZREG_STORE)
                 && (ssa->vars[i].use_chain < 0
                  || zend_ssa_next_use(ssa->ops, i, ssa->vars[i].use_chain) < 0)) {
                    bool may_remove = 1;
                    zend_ssa_phi *phi = ssa->vars[i].phi_use_chain;
 
                    while (phi) {
                        if (ra[phi->ssa_var].ref &&
                            !(ra[phi->ssa_var].flags & ZREG_LOAD)) {
                            may_remove = 0;
                            break;
                        }
                        phi = zend_ssa_next_use_phi(ssa, i, phi);
                    }
                    if (may_remove) {
                        ra[i].ref = IR_UNUSED;
                    }
                }
            }
        }
    }
 
    if (JIT_G(debug) & ZEND_JIT_DEBUG_REG_ALLOC) {
        fprintf(stderr, "Live Ranges \"%s\"\n", op_array->function_name ? ZSTR_VAL(op_array->function_name) : "[main]");
        for (i = 0; i < ssa->vars_count; i++) {
            if (ra[i].ref) {
                fprintf(stderr, "#%d.", i);
                uint32_t var_num = ssa->vars[i].var;
                zend_dump_var(op_array, (var_num < op_array->last_var ? IS_CV : 0), var_num);
                if (ra[i].flags & ZREG_LOAD) {
                    fprintf(stderr, " load");
                }
                if (ra[i].flags & ZREG_STORE) {
                    fprintf(stderr, " store");
                }
                fprintf(stderr, "\n");
            }
        }
        fprintf(stderr, "\n");
    }
 
    ctx->ra = ra;
}
 
static int zend_jit_compute_post_order(zend_cfg *cfg, int start, int *post_order)
{
    int count = 0;
    int b, n, *p;
    zend_basic_block *bb;
    zend_worklist worklist;
    ALLOCA_FLAG(use_heap)
 
    ZEND_WORKLIST_ALLOCA(&worklist, cfg->blocks_count, use_heap);
    zend_worklist_push(&worklist, start);
 
    while (zend_worklist_len(&worklist) != 0) {
next:
        b = zend_worklist_peek(&worklist);
        bb = &cfg->blocks[b];
        n = bb->successors_count;
        if (n > 0) {
            p = bb->successors;
            do {
                if (cfg->blocks[*p].flags & (ZEND_BB_CATCH|ZEND_BB_FINALLY|ZEND_BB_FINALLY_END)) {
                    /* skip */
                } else if (zend_worklist_push(&worklist, *p)) {
                    goto next;
                }
                p++;
                n--;
            } while (n > 0);
        }
        zend_worklist_pop(&worklist);
        post_order[count++] = b;
    }
    ZEND_WORKLIST_FREE_ALLOCA(&worklist, use_heap);
    return count;
}
 
static bool zend_jit_next_is_send_result(const zend_op *opline)
{
    if (opline->result_type == IS_TMP_VAR
     && (opline+1)->opcode == ZEND_SEND_VAL
     && (opline+1)->op1_type == IS_TMP_VAR
     && (opline+1)->op2_type != IS_CONST
     && (opline+1)->op1.var == opline->result.var) {
        return 1;
    }
    return 0;
}
 
static bool zend_jit_supported_binary_op(uint8_t op, uint32_t op1_info, uint32_t op2_info)
{
    if ((op1_info & MAY_BE_UNDEF) || (op2_info & MAY_BE_UNDEF)) {
        return false;
    }
    switch (op) {
        case ZEND_POW:
        case ZEND_DIV:
            // TODO: check for division by zero ???
            return false;
        case ZEND_ADD:
        case ZEND_SUB:
        case ZEND_MUL:
            return (op1_info & (MAY_BE_LONG|MAY_BE_DOUBLE))
                && (op2_info & (MAY_BE_LONG|MAY_BE_DOUBLE));
        case ZEND_BW_OR:
        case ZEND_BW_AND:
        case ZEND_BW_XOR:
        case ZEND_SL:
        case ZEND_SR:
        case ZEND_MOD:
            return (op1_info & MAY_BE_LONG) && (op2_info & MAY_BE_LONG);
        case ZEND_CONCAT:
            return (op1_info & MAY_BE_STRING) && (op2_info & MAY_BE_STRING);
        EMPTY_SWITCH_DEFAULT_CASE()
    }
}
 
static int zend_jit(const zend_op_array *op_array, zend_ssa *ssa, const zend_op *rt_opline)
{
    int b, i, end;
    zend_op *opline;
    zend_jit_ctx ctx;
    zend_jit_ctx *jit = &ctx;
    zend_jit_reg_var *ra = NULL;
    void *handler;
    int call_level = 0;
    void *checkpoint = NULL;
    bool recv_emitted = 0;   /* emitted at least one RECV opcode */
    uint8_t smart_branch_opcode;
    uint32_t target_label, target_label2;
    uint32_t op1_info, op1_def_info, op2_info, res_info, res_use_info, op1_mem_info;
    zend_jit_addr op1_addr, op1_def_addr, op2_addr, op2_def_addr, res_addr;
    zend_class_entry *ce = NULL;
    bool ce_is_instanceof;
    bool on_this;
 
    ZEND_ASSERT(!(op_array->fn_flags & ZEND_ACC_CLOSURE) || !(op_array->scope));
 
    if (JIT_G(bisect_limit)) {
        jit_bisect_pos++;
        if (jit_bisect_pos >= JIT_G(bisect_limit)) {
            if (jit_bisect_pos == JIT_G(bisect_limit)) {
                fprintf(stderr, "Not JITing %s%s%s in %s:%d and after due to jit_bisect_limit\n",
                    op_array->scope ? ZSTR_VAL(op_array->scope->name) : "",
                    op_array->scope ? "::" : "",
                    op_array->function_name ? ZSTR_VAL(op_array->function_name) : "{main}",
                    ZSTR_VAL(op_array->filename), op_array->line_start);
            }
            return FAILURE;
        }
    }
 
    if (ssa->cfg.flags & ZEND_FUNC_IRREDUCIBLE) {
        /* We can't order blocks properly */
        return FAILURE;
    }
 
    if (rt_opline) {
        /* Set BB_ENTRY flag to limit register usage across the OSR ENTRY point */
        ssa->cfg.blocks[ssa->cfg.map[rt_opline - op_array->opcodes]].flags |= ZEND_BB_ENTRY;
    }
 
    zend_jit_start(&ctx, op_array, ssa);
    if (JIT_G(opt_flags) & (ZEND_JIT_REG_ALLOC_LOCAL|ZEND_JIT_REG_ALLOC_GLOBAL)) {
        checkpoint = zend_arena_checkpoint(CG(arena));
        zend_jit_allocate_registers(&ctx, op_array, ssa);
        ra = ctx.ra;
    }
 
    /* Process blocks in Reverse Post Order */
    int *sorted_blocks = alloca(sizeof(int) * ssa->cfg.blocks_count);
    int n = zend_jit_compute_post_order(&ssa->cfg, 0, sorted_blocks);
 
    while (n > 0) {
        b = sorted_blocks[--n];
        if ((ssa->cfg.blocks[b].flags & ZEND_BB_REACHABLE) == 0) {
            continue;
        }
 
        if (ssa->cfg.blocks[b].flags & (ZEND_BB_START|ZEND_BB_RECV_ENTRY)) {
            opline = op_array->opcodes + ssa->cfg.blocks[b].start;
            if (ssa->cfg.flags & ZEND_CFG_RECV_ENTRY) {
                if (opline->opcode == ZEND_RECV_INIT) {
                    if (JIT_G(opt_level) < ZEND_JIT_LEVEL_INLINE) {
                        if (opline != op_array->opcodes && (opline-1)->opcode != ZEND_RECV_INIT) {
                            zend_jit_recv_entry(&ctx, b);
                        }
                    } else {
                        if (opline != op_array->opcodes && recv_emitted) {
                            zend_jit_recv_entry(&ctx, b);
                        }
                    }
                    recv_emitted = 1;
                } else if (opline->opcode == ZEND_RECV) {
                    if (!(op_array->fn_flags & ZEND_ACC_HAS_TYPE_HINTS)) {
                        /* skip */
                        zend_jit_bb_start(&ctx, b);
                        zend_jit_bb_end(&ctx, b);
                        continue;
                    } else if (recv_emitted) {
                        zend_jit_recv_entry(&ctx, b);
                    } else {
                        recv_emitted = 1;
                    }
                } else {
                    if (recv_emitted) {
                        zend_jit_recv_entry(&ctx, b);
                    } else if (JIT_G(opt_level) < ZEND_JIT_LEVEL_INLINE &&
                               ssa->cfg.blocks[b].len == 1 &&
                               (ssa->cfg.blocks[b].flags & ZEND_BB_EXIT)) {
                        /* don't generate code for BB with single opcode */
                        zend_jit_free_ctx(&ctx);
 
                        if (JIT_G(opt_flags) & (ZEND_JIT_REG_ALLOC_LOCAL|ZEND_JIT_REG_ALLOC_GLOBAL)) {
                            zend_arena_release(&CG(arena), checkpoint);
                        }
                        return SUCCESS;
                    }
                }
            } else if (JIT_G(opt_level) < ZEND_JIT_LEVEL_INLINE &&
                       ssa->cfg.blocks[b].len == 1 &&
                       (ssa->cfg.blocks[b].flags & ZEND_BB_EXIT)) {
                /* don't generate code for BB with single opcode */
                zend_jit_free_ctx(&ctx);
 
                if (JIT_G(opt_flags) & (ZEND_JIT_REG_ALLOC_LOCAL|ZEND_JIT_REG_ALLOC_GLOBAL)) {
                    zend_arena_release(&CG(arena), checkpoint);
                }
                return SUCCESS;
            }
        }
 
        zend_jit_bb_start(&ctx, b);
 
        if ((JIT_G(opt_flags) & ZEND_JIT_REG_ALLOC_GLOBAL) && ctx.ra) {
            zend_ssa_phi *phi = ssa->blocks[b].phis;
 
            /* First try to insert IR Phi */
            while (phi) {
                zend_jit_reg_var *ival = &ctx.ra[phi->ssa_var];
 
                if (ival->ref) {
                    if (ival->flags & ZREG_PI) {
                        zend_jit_gen_pi(jit, phi);
                    } else if (ival->flags & ZREG_PHI) {
                        zend_jit_gen_phi(jit, phi);
                    }
                }
                phi = phi->next;
            }
        }
 
        if (rt_opline
         && (ssa->cfg.blocks[b].flags & (ZEND_BB_START|ZEND_BB_RECV_ENTRY)) == 0
         && rt_opline == op_array->opcodes + ssa->cfg.blocks[b].start) {
            zend_jit_osr_entry(&ctx, b); /* OSR (On-Stack-Replacement) Entry-Point */
        }
 
        if (JIT_G(opt_level) < ZEND_JIT_LEVEL_INLINE) {
            if ((ssa->cfg.blocks[b].flags & ZEND_BB_FOLLOW)
              && ssa->cfg.blocks[b].start != 0
              && (op_array->opcodes[ssa->cfg.blocks[b].start - 1].opcode == ZEND_NOP
               || op_array->opcodes[ssa->cfg.blocks[b].start - 1].opcode == ZEND_SWITCH_LONG
               || op_array->opcodes[ssa->cfg.blocks[b].start - 1].opcode == ZEND_SWITCH_STRING
               || op_array->opcodes[ssa->cfg.blocks[b].start - 1].opcode == ZEND_MATCH)) {
                zend_jit_reset_last_valid_opline(&ctx);
            } else {
                zend_jit_set_last_valid_opline(&ctx, op_array->opcodes + ssa->cfg.blocks[b].start);
            }
        } else if (ssa->cfg.blocks[b].flags & ZEND_BB_TARGET) {
            zend_jit_reset_last_valid_opline(&ctx);
        } else if (ssa->cfg.blocks[b].flags & ZEND_BB_RECV_ENTRY) {
            zend_jit_reset_last_valid_opline(&ctx);
        } else if (ssa->cfg.blocks[b].flags & (ZEND_BB_START|ZEND_BB_ENTRY)) {
            zend_jit_set_last_valid_opline(&ctx, op_array->opcodes + ssa->cfg.blocks[b].start);
        }
        if (ssa->cfg.blocks[b].flags & ZEND_BB_LOOP_HEADER) {
            zend_jit_check_timeout(&ctx, op_array->opcodes + ssa->cfg.blocks[b].start, NULL);
        }
        if (!ssa->cfg.blocks[b].len) {
            zend_jit_bb_end(&ctx, b);
            continue;
        }
        if ((JIT_G(opt_flags) & ZEND_JIT_REG_ALLOC_GLOBAL) && ra) {
            zend_ssa_phi *phi = ssa->blocks[b].phis;
 
            while (phi) {
                zend_jit_reg_var *ival = &ra[phi->ssa_var];
 
                if (ival->ref) {
                    if (ival->flags & ZREG_LOAD) {
                        ZEND_ASSERT(ival->ref == IR_NULL);
 
                        if (!zend_jit_load_var(&ctx, ssa->var_info[phi->ssa_var].type, ssa->vars[phi->ssa_var].var, phi->ssa_var)) {
                            goto jit_failure;
                        }
                    } else if (ival->flags & ZREG_STORE) {
                        ZEND_ASSERT(ival->ref != IR_NULL);
 
                        if (!zend_jit_store_var(&ctx, ssa->var_info[phi->ssa_var].type, ssa->vars[phi->ssa_var].var, phi->ssa_var, 1)) {
                            goto jit_failure;
                        }
                    }
                }
                phi = phi->next;
            }
        }
        end = ssa->cfg.blocks[b].start + ssa->cfg.blocks[b].len - 1;
        for (i = ssa->cfg.blocks[b].start; i <= end; i++) {
            zend_ssa_op *ssa_op = ssa->ops ? &ssa->ops[i] : NULL;
            opline = op_array->opcodes + i;
            if (zend_jit_inc_call_level(opline->opcode)) {
                call_level++;
            }
 
            if (JIT_G(opt_level) >= ZEND_JIT_LEVEL_INLINE) {
                switch (opline->opcode) {
                    case ZEND_PRE_INC:
                    case ZEND_PRE_DEC:
                    case ZEND_POST_INC:
                    case ZEND_POST_DEC:
                        if (opline->op1_type != IS_CV) {
                            break;
                        }
                        op1_info = OP1_INFO();
                        if (!(op1_info & MAY_BE_LONG)) {
                            break;
                        }
                        if (opline->result_type != IS_UNUSED) {
                            res_use_info = -1;
 
                            if (opline->result_type == IS_CV
                             && ssa->vars
                             && ssa_op->result_use >= 0
                             && !ssa->vars[ssa_op->result_use].no_val) {
                                zend_jit_addr res_use_addr = RES_USE_REG_ADDR();
 
                                if (Z_MODE(res_use_addr) != IS_REG
                                 || Z_LOAD(res_use_addr)
                                 || Z_STORE(res_use_addr)) {
                                    res_use_info = RES_USE_INFO();
                                }
                            }
                            res_info = RES_INFO();
                            res_addr = RES_REG_ADDR();
                        } else {
                            res_use_info = -1;
                            res_info = -1;
                            res_addr = 0;
                        }
                        op1_def_info = OP1_DEF_INFO();
                        if (!zend_jit_inc_dec(&ctx, opline,
                                op1_info, OP1_REG_ADDR(),
                                op1_def_info, OP1_DEF_REG_ADDR(),
                                res_use_info, res_info,
                                res_addr,
                                (op1_info & MAY_BE_LONG) && (op1_def_info & MAY_BE_DOUBLE) && zend_may_overflow(opline, ssa_op, op_array, ssa),
                                zend_may_throw(opline, ssa_op, op_array, ssa))) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_BW_OR:
                    case ZEND_BW_AND:
                    case ZEND_BW_XOR:
                    case ZEND_SL:
                    case ZEND_SR:
                    case ZEND_MOD:
                        if (PROFITABILITY_CHECKS && (!ssa->ops || !ssa->var_info)) {
                            break;
                        }
                        op1_info = OP1_INFO();
                        op2_info = OP2_INFO();
                        if (!(op1_info & MAY_BE_LONG)
                         || !(op2_info & MAY_BE_LONG)) {
                            break;
                        }
                        res_addr = RES_REG_ADDR();
                        if (Z_MODE(res_addr) != IS_REG
                         && (i + 1) <= end
                         && zend_jit_next_is_send_result(opline)) {
                            i++;
                            res_use_info = -1;
                            res_addr = ZEND_ADDR_MEM_ZVAL(ZREG_RX, (opline+1)->result.var);
                            if (!zend_jit_reuse_ip(&ctx)) {
                                goto jit_failure;
                            }
                        } else {
                            res_use_info = -1;
 
                            if (opline->result_type == IS_CV
                             && ssa->vars
                             && ssa_op->result_use >= 0
                             && !ssa->vars[ssa_op->result_use].no_val) {
                                zend_jit_addr res_use_addr = RES_USE_REG_ADDR();
 
                                if (Z_MODE(res_use_addr) != IS_REG
                                 || Z_LOAD(res_use_addr)
                                 || Z_STORE(res_use_addr)) {
                                    res_use_info = RES_USE_INFO();
                                }
                            }
                        }
                        if (!zend_jit_long_math(&ctx, opline,
                                op1_info, OP1_RANGE(), OP1_REG_ADDR(),
                                op2_info, OP2_RANGE(), OP2_REG_ADDR(),
                                res_use_info, RES_INFO(), res_addr,
                                zend_may_throw(opline, ssa_op, op_array, ssa))) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_ADD:
                    case ZEND_SUB:
                    case ZEND_MUL:
//                  case ZEND_DIV: // TODO: check for division by zero ???
                        if (PROFITABILITY_CHECKS && (!ssa->ops || !ssa->var_info)) {
                            break;
                        }
                        op1_info = OP1_INFO();
                        op2_info = OP2_INFO();
                        if ((op1_info & MAY_BE_UNDEF) || (op2_info & MAY_BE_UNDEF)) {
                            break;
                        }
                        if (opline->opcode == ZEND_ADD &&
                            (op1_info & (MAY_BE_ANY|MAY_BE_UNDEF)) == MAY_BE_ARRAY &&
                            (op2_info & (MAY_BE_ANY|MAY_BE_UNDEF)) == MAY_BE_ARRAY) {
                            /* pass */
                        } else if (!(op1_info & (MAY_BE_LONG|MAY_BE_DOUBLE)) ||
                            !(op2_info & (MAY_BE_LONG|MAY_BE_DOUBLE))) {
                            break;
                        }
                        res_addr = RES_REG_ADDR();
                        if (Z_MODE(res_addr) != IS_REG
                         && (i + 1) <= end
                         && zend_jit_next_is_send_result(opline)) {
                            i++;
                            res_use_info = -1;
                            res_addr = ZEND_ADDR_MEM_ZVAL(ZREG_RX, (opline+1)->result.var);
                            if (!zend_jit_reuse_ip(&ctx)) {
                                goto jit_failure;
                            }
                        } else {
                            res_use_info = -1;
 
                            if (opline->result_type == IS_CV
                             && ssa->vars
                             && ssa_op->result_use >= 0
                             && !ssa->vars[ssa_op->result_use].no_val) {
                                zend_jit_addr res_use_addr = RES_USE_REG_ADDR();
 
                                if (Z_MODE(res_use_addr) != IS_REG
                                 || Z_LOAD(res_use_addr)
                                 || Z_STORE(res_use_addr)) {
                                    res_use_info = RES_USE_INFO();
                                }
                            }
                        }
                        res_info = RES_INFO();
                        if (opline->opcode == ZEND_ADD &&
                            (op1_info & (MAY_BE_ANY|MAY_BE_UNDEF)) == MAY_BE_ARRAY &&
                            (op2_info & (MAY_BE_ANY|MAY_BE_UNDEF)) == MAY_BE_ARRAY) {
                            if (!zend_jit_add_arrays(&ctx, opline, op1_info, OP1_REG_ADDR(), op2_info, OP2_REG_ADDR(), res_addr)) {
                                goto jit_failure;
                            }
                        } else {
                            if (!zend_jit_math(&ctx, opline,
                                    op1_info, OP1_REG_ADDR(),
                                    op2_info, OP2_REG_ADDR(),
                                    res_use_info, res_info, res_addr,
                                    (op1_info & MAY_BE_LONG) && (op2_info & MAY_BE_LONG) && (res_info & MAY_BE_DOUBLE) && zend_may_overflow(opline, ssa_op, op_array, ssa),
                                    zend_may_throw(opline, ssa_op, op_array, ssa))) {
                                goto jit_failure;
                            }
                        }
                        goto done;
                    case ZEND_CONCAT:
                    case ZEND_FAST_CONCAT:
                        if (PROFITABILITY_CHECKS && (!ssa->ops || !ssa->var_info)) {
                            break;
                        }
                        op1_info = OP1_INFO();
                        op2_info = OP2_INFO();
                        if ((op1_info & MAY_BE_UNDEF) || (op2_info & MAY_BE_UNDEF)) {
                            break;
                        }
                        if (!(op1_info & MAY_BE_STRING) ||
                            !(op2_info & MAY_BE_STRING)) {
                            break;
                        }
                        res_addr = RES_REG_ADDR();
                        if ((i + 1) <= end
                         && zend_jit_next_is_send_result(opline)) {
                            i++;
                            res_addr = ZEND_ADDR_MEM_ZVAL(ZREG_RX, (opline+1)->result.var);
                            if (!zend_jit_reuse_ip(&ctx)) {
                                goto jit_failure;
                            }
                        }
                        if (!zend_jit_concat(&ctx, opline,
                                op1_info, op2_info, res_addr,
                                zend_may_throw(opline, ssa_op, op_array, ssa))) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_ASSIGN_OP:
                        if (opline->op1_type != IS_CV || opline->result_type != IS_UNUSED) {
                            break;
                        }
                        if (PROFITABILITY_CHECKS && (!ssa->ops || !ssa->var_info)) {
                            break;
                        }
                        op1_info = OP1_INFO();
                        op2_info = OP2_INFO();
                        if (!zend_jit_supported_binary_op(
                                opline->extended_value, op1_info, op2_info)) {
                            break;
                        }
                        op1_addr = OP1_REG_ADDR();
                        op1_mem_info = -1;
                        if (Z_MODE(op1_addr) != IS_REG
                         || Z_LOAD(op1_addr)
                         || Z_STORE(op1_addr)) {
                            op1_mem_info = op1_info;
                        }
                        op1_def_info = OP1_DEF_INFO();
                        if (!zend_jit_assign_op(&ctx, opline,
                                op1_info, op1_addr, OP1_RANGE(),
                                op1_def_info, OP1_DEF_REG_ADDR(), op1_mem_info,
                                op2_info, OP2_REG_ADDR(), OP2_RANGE(),
                                (op1_info & MAY_BE_LONG) && (op2_info & MAY_BE_LONG) && (op1_def_info & MAY_BE_DOUBLE) && zend_may_overflow(opline, ssa_op, op_array, ssa),
                                zend_may_throw(opline, ssa_op, op_array, ssa))) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_ASSIGN_DIM_OP:
                        if (opline->op1_type != IS_CV || opline->result_type != IS_UNUSED) {
                            break;
                        }
                        if (PROFITABILITY_CHECKS && (!ssa->ops || !ssa->var_info)) {
                            break;
                        }
                        if (!zend_jit_supported_binary_op(
                                opline->extended_value, MAY_BE_ANY, OP1_DATA_INFO())) {
                            break;
                        }
                        if (!zend_jit_assign_dim_op(&ctx, opline,
                                OP1_INFO(), OP1_DEF_INFO(), OP1_REG_ADDR(),
                                OP2_INFO(), (opline->op2_type != IS_UNUSED) ? OP2_REG_ADDR() : 0,
                                (opline->op2_type != IS_UNUSED) ? OP2_RANGE() : NULL,
                                OP1_DATA_INFO(), OP1_DATA_REG_ADDR(), OP1_DATA_RANGE(), IS_UNKNOWN,
                                zend_may_throw(opline, ssa_op, op_array, ssa))) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_ASSIGN_DIM:
                        if (opline->op1_type != IS_CV) {
                            break;
                        }
                        if (PROFITABILITY_CHECKS && (!ssa->ops || !ssa->var_info)) {
                            break;
                        }
                        if (!zend_jit_assign_dim(&ctx, opline,
                                OP1_INFO(), OP1_REG_ADDR(),
                                OP2_INFO(), (opline->op2_type != IS_UNUSED) ? OP2_REG_ADDR() : 0,
                                (opline->op2_type != IS_UNUSED) ? OP2_RANGE() : NULL,
                                OP1_DATA_INFO(), OP1_DATA_REG_ADDR(),
                                (ctx.ra && (ssa_op+1)->op1_def >= 0) ? OP1_DATA_DEF_REG_ADDR() : 0,
                                (opline->result_type != IS_UNUSED) ? RES_REG_ADDR() : 0,
                                IS_UNKNOWN,
                                zend_may_throw(opline, ssa_op, op_array, ssa))) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_PRE_INC_OBJ:
                    case ZEND_PRE_DEC_OBJ:
                    case ZEND_POST_INC_OBJ:
                    case ZEND_POST_DEC_OBJ:
                        if (opline->op2_type != IS_CONST
                         || Z_TYPE_P(RT_CONSTANT(opline, opline->op2)) != IS_STRING
                         || Z_STRVAL_P(RT_CONSTANT(opline, opline->op2))[0] == '\0') {
                            break;
                        }
                        if (PROFITABILITY_CHECKS && (!ssa->ops || !ssa->var_info)) {
                            break;
                        }
                        ce = NULL;
                        ce_is_instanceof = 0;
                        on_this = 0;
                        if (opline->op1_type == IS_UNUSED) {
                            op1_info = MAY_BE_OBJECT|MAY_BE_RC1|MAY_BE_RCN;
                            ce = op_array->scope;
                            /* scope is NULL for closures. */
                            if (ce) {
                                ce_is_instanceof = !(ce->ce_flags & ZEND_ACC_FINAL);
                            }
                            op1_addr = 0;
                            on_this = 1;
                        } else {
                            op1_info = OP1_INFO();
                            if (!(op1_info & MAY_BE_OBJECT)) {
                                break;
                            }
                            op1_addr = OP1_REG_ADDR();
                            if (ssa->var_info && ssa->ops) {
                                zend_ssa_op *ssa_op = &ssa->ops[opline - op_array->opcodes];
                                if (ssa_op->op1_use >= 0) {
                                    zend_ssa_var_info *op1_ssa = ssa->var_info + ssa_op->op1_use;
                                    if (op1_ssa->ce && !op1_ssa->ce->create_object) {
                                        ce = op1_ssa->ce;
                                        ce_is_instanceof = op1_ssa->is_instanceof;
                                    }
                                }
                            }
                        }
                        if (!zend_jit_incdec_obj(&ctx, opline, op_array, ssa, ssa_op,
                                op1_info, op1_addr,
                                0, ce, ce_is_instanceof, on_this, 0, NULL, IS_UNKNOWN)) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_ASSIGN_OBJ_OP:
                        if (opline->result_type != IS_UNUSED) {
                            break;
                        }
                        if (opline->op2_type != IS_CONST
                         || Z_TYPE_P(RT_CONSTANT(opline, opline->op2)) != IS_STRING
                         || Z_STRVAL_P(RT_CONSTANT(opline, opline->op2))[0] == '\0') {
                            break;
                        }
                        if (PROFITABILITY_CHECKS && (!ssa->ops || !ssa->var_info)) {
                            break;
                        }
                        if (!zend_jit_supported_binary_op(
                                opline->extended_value, MAY_BE_ANY, OP1_DATA_INFO())) {
                            break;
                        }
                        ce = NULL;
                        ce_is_instanceof = 0;
                        on_this = 0;
                        if (opline->op1_type == IS_UNUSED) {
                            op1_info = MAY_BE_OBJECT|MAY_BE_RC1|MAY_BE_RCN;
                            ce = op_array->scope;
                            /* scope is NULL for closures. */
                            if (ce) {
                                ce_is_instanceof = !(ce->ce_flags & ZEND_ACC_FINAL);
                            }
                            op1_addr = 0;
                            on_this = 1;
                        } else {
                            op1_info = OP1_INFO();
                            if (!(op1_info & MAY_BE_OBJECT)) {
                                break;
                            }
                            op1_addr = OP1_REG_ADDR();
                            if (ssa->var_info && ssa->ops) {
                                zend_ssa_op *ssa_op = &ssa->ops[opline - op_array->opcodes];
                                if (ssa_op->op1_use >= 0) {
                                    zend_ssa_var_info *op1_ssa = ssa->var_info + ssa_op->op1_use;
                                    if (op1_ssa->ce && !op1_ssa->ce->create_object) {
                                        ce = op1_ssa->ce;
                                        ce_is_instanceof = op1_ssa->is_instanceof;
                                    }
                                }
                            }
                        }
                        if (!zend_jit_assign_obj_op(&ctx, opline, op_array, ssa, ssa_op,
                                op1_info, op1_addr, OP1_DATA_INFO(), OP1_DATA_REG_ADDR(), OP1_DATA_RANGE(),
                                0, ce, ce_is_instanceof, on_this, 0, NULL, IS_UNKNOWN)) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_ASSIGN_OBJ:
                        if (opline->op2_type != IS_CONST
                         || Z_TYPE_P(RT_CONSTANT(opline, opline->op2)) != IS_STRING
                         || Z_STRVAL_P(RT_CONSTANT(opline, opline->op2))[0] == '\0') {
                            break;
                        }
                        if (PROFITABILITY_CHECKS && (!ssa->ops || !ssa->var_info)) {
                            break;
                        }
                        ce = NULL;
                        ce_is_instanceof = 0;
                        on_this = 0;
                        if (opline->op1_type == IS_UNUSED) {
                            op1_info = MAY_BE_OBJECT|MAY_BE_RC1|MAY_BE_RCN;
                            ce = op_array->scope;
                            /* scope is NULL for closures. */
                            if (ce) {
                                ce_is_instanceof = !(ce->ce_flags & ZEND_ACC_FINAL);
                            }
                            op1_addr = 0;
                            on_this = 1;
                        } else {
                            op1_info = OP1_INFO();
                            if (!(op1_info & MAY_BE_OBJECT)) {
                                break;
                            }
                            op1_addr = OP1_REG_ADDR();
                            if (ssa->var_info && ssa->ops) {
                                zend_ssa_op *ssa_op = &ssa->ops[opline - op_array->opcodes];
                                if (ssa_op->op1_use >= 0) {
                                    zend_ssa_var_info *op1_ssa = ssa->var_info + ssa_op->op1_use;
                                    if (op1_ssa->ce && !op1_ssa->ce->create_object) {
                                        ce = op1_ssa->ce;
                                        ce_is_instanceof = op1_ssa->is_instanceof;
                                    }
                                }
                            }
                        }
                        if (!zend_jit_assign_obj(&ctx, opline, op_array, ssa, ssa_op,
                                op1_info, op1_addr, OP1_DATA_INFO(), OP1_DATA_REG_ADDR(), OP1_DATA_DEF_REG_ADDR(),
                                (opline->result_type != IS_UNUSED) ? RES_REG_ADDR() : 0,
                                0, ce, ce_is_instanceof, on_this, 0, NULL, IS_UNKNOWN,
                                zend_may_throw(opline, ssa_op, op_array, ssa))) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_ASSIGN:
                        if (opline->op1_type != IS_CV) {
                            break;
                        }
                        if (PROFITABILITY_CHECKS && (!ssa->ops || !ssa->var_info)) {
                            break;
                        }
                        op2_addr = OP2_REG_ADDR();
                        if (ra
                         && ssa->ops[opline - op_array->opcodes].op2_def >= 0
                         && !ssa->vars[ssa->ops[opline - op_array->opcodes].op2_def].no_val) {
                            op2_def_addr = OP2_DEF_REG_ADDR();
                        } else {
                            op2_def_addr = op2_addr;
                        }
                        op1_info = OP1_INFO();
                        if (ra && ssa->vars[ssa_op->op1_use].no_val) {
                            op1_info |= MAY_BE_UNDEF; // requres type assignment
                        }
                        if (opline->result_type == IS_UNUSED) {
                            res_addr = 0;
                            res_info = -1;
                        } else {
                            res_addr = RES_REG_ADDR();
                            res_info = RES_INFO();
                            if (Z_MODE(res_addr) != IS_REG
                             && (i + 1) <= end
                             && zend_jit_next_is_send_result(opline)
                             && (!(op1_info & MAY_HAVE_DTOR) || !(op1_info & MAY_BE_RC1))) {
                                i++;
                                res_addr = ZEND_ADDR_MEM_ZVAL(ZREG_RX, (opline+1)->result.var);
                                if (!zend_jit_reuse_ip(&ctx)) {
                                    goto jit_failure;
                                }
                            }
                        }
                        if (!zend_jit_assign(&ctx, opline,
                                op1_info, OP1_REG_ADDR(),
                                OP1_DEF_INFO(), OP1_DEF_REG_ADDR(),
                                OP2_INFO(), op2_addr, op2_def_addr,
                                res_info, res_addr,
                                0,
                                zend_may_throw(opline, ssa_op, op_array, ssa))) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_QM_ASSIGN:
                        op1_addr = OP1_REG_ADDR();
                        if (ra
                         && ssa->ops[opline - op_array->opcodes].op1_def >= 0
                         && !ssa->vars[ssa->ops[opline - op_array->opcodes].op1_def].no_val) {
                            op1_def_addr = OP1_DEF_REG_ADDR();
                        } else {
                            op1_def_addr = op1_addr;
                        }
                        if (!zend_jit_qm_assign(&ctx, opline,
                                OP1_INFO(), op1_addr, op1_def_addr,
                                -1, RES_INFO(), RES_REG_ADDR())) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_INIT_FCALL:
                    case ZEND_INIT_FCALL_BY_NAME:
                    case ZEND_INIT_NS_FCALL_BY_NAME:
                        if (!zend_jit_init_fcall(&ctx, opline, b, op_array, ssa, ssa_op, call_level, NULL, 0)) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_SEND_VAL:
                    case ZEND_SEND_VAL_EX:
                        if (opline->op2_type == IS_CONST) {
                            /* Named parameters not supported in JIT (yet) */
                            break;
                        }
                        if (opline->opcode == ZEND_SEND_VAL_EX
                         && opline->op2.num > MAX_ARG_FLAG_NUM) {
                            break;
                        }
                        if (!zend_jit_send_val(&ctx, opline,
                                OP1_INFO(), OP1_REG_ADDR())) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_SEND_REF:
                        if (opline->op2_type == IS_CONST) {
                            /* Named parameters not supported in JIT (yet) */
                            break;
                        }
                        if (!zend_jit_send_ref(&ctx, opline, op_array,
                                OP1_INFO(), 0)) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_SEND_VAR:
                    case ZEND_SEND_VAR_EX:
                    case ZEND_SEND_VAR_NO_REF:
                    case ZEND_SEND_VAR_NO_REF_EX:
                    case ZEND_SEND_FUNC_ARG:
                        if (opline->op2_type == IS_CONST) {
                            /* Named parameters not supported in JIT (yet) */
                            break;
                        }
                        if ((opline->opcode == ZEND_SEND_VAR_EX
                          || opline->opcode == ZEND_SEND_VAR_NO_REF_EX)
                         && opline->op2.num > MAX_ARG_FLAG_NUM) {
                            break;
                        }
                        op1_addr = OP1_REG_ADDR();
                        if (ra
                         && ssa->ops[opline - op_array->opcodes].op1_def >= 0
                         && !ssa->vars[ssa->ops[opline - op_array->opcodes].op1_def].no_val) {
                            op1_def_addr = OP1_DEF_REG_ADDR();
                        } else {
                            op1_def_addr = op1_addr;
                        }
                        if (!zend_jit_send_var(&ctx, opline, op_array,
                                OP1_INFO(), op1_addr, op1_def_addr)) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_CHECK_FUNC_ARG:
                        if (opline->op2_type == IS_CONST) {
                            /* Named parameters not supported in JIT (yet) */
                            break;
                        }
                        if (opline->op2.num > MAX_ARG_FLAG_NUM) {
                            break;
                        }
                        if (!zend_jit_check_func_arg(&ctx, opline)) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_CHECK_UNDEF_ARGS:
                        if (!zend_jit_check_undef_args(&ctx, opline)) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_DO_UCALL:
                        ZEND_FALLTHROUGH;
                    case ZEND_DO_ICALL:
                    case ZEND_DO_FCALL_BY_NAME:
                    case ZEND_DO_FCALL:
                        if (!zend_jit_do_fcall(&ctx, opline, op_array, ssa, call_level, b + 1, NULL)) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_IS_EQUAL:
                    case ZEND_IS_NOT_EQUAL:
                    case ZEND_IS_SMALLER:
                    case ZEND_IS_SMALLER_OR_EQUAL:
                    case ZEND_CASE: {
                        res_addr = RES_REG_ADDR();
                        if ((opline->result_type & IS_TMP_VAR)
                         && (i + 1) <= end
                         && ((opline+1)->opcode == ZEND_JMPZ
                          || (opline+1)->opcode == ZEND_JMPNZ
                          || (opline+1)->opcode == ZEND_JMPZ_EX
                          || (opline+1)->opcode == ZEND_JMPNZ_EX)
                         && (opline+1)->op1_type == IS_TMP_VAR
                         && (opline+1)->op1.var == opline->result.var) {
                            i++;
                            smart_branch_opcode = (opline+1)->opcode;
                            target_label = ssa->cfg.blocks[b].successors[0];
                            target_label2 = ssa->cfg.blocks[b].successors[1];
                            /* For EX variant write into the result of EX opcode. */
                            if ((opline+1)->opcode == ZEND_JMPZ_EX
                                    || (opline+1)->opcode == ZEND_JMPNZ_EX) {
                                res_addr = OP_REG_ADDR(opline + 1, ssa_op + 1, result_type, result, result_def);
                            }
                        } else {
                            smart_branch_opcode = 0;
                            target_label = target_label2 = (uint32_t)-1;
                        }
                        if (!zend_jit_cmp(&ctx, opline,
                                OP1_INFO(), OP1_RANGE(), OP1_REG_ADDR(),
                                OP2_INFO(), OP2_RANGE(), OP2_REG_ADDR(),
                                res_addr,
                                zend_may_throw(opline, ssa_op, op_array, ssa),
                                smart_branch_opcode, target_label, target_label2,
                                NULL, 0)) {
                            goto jit_failure;
                        }
                        goto done;
                    }
                    case ZEND_IS_IDENTICAL:
                    case ZEND_IS_NOT_IDENTICAL:
                    case ZEND_CASE_STRICT:
                        res_addr = RES_REG_ADDR();
                        if ((opline->result_type & IS_TMP_VAR)
                         && (i + 1) <= end
                         && ((opline+1)->opcode == ZEND_JMPZ
                          || (opline+1)->opcode == ZEND_JMPZ_EX
                          || (opline+1)->opcode == ZEND_JMPNZ_EX
                          || (opline+1)->opcode == ZEND_JMPNZ)
                         && (opline+1)->op1_type == IS_TMP_VAR
                         && (opline+1)->op1.var == opline->result.var) {
                            i++;
                            smart_branch_opcode = (opline+1)->opcode;
                            target_label = ssa->cfg.blocks[b].successors[0];
                            target_label2 = ssa->cfg.blocks[b].successors[1];
                            /* For EX variant write into the result of EX opcode. */
                            if ((opline+1)->opcode == ZEND_JMPZ_EX
                                    || (opline+1)->opcode == ZEND_JMPNZ_EX) {
                                res_addr = OP_REG_ADDR(opline + 1, ssa_op + 1, result_type, result, result_def);
                            }
                        } else {
                            smart_branch_opcode = 0;
                            target_label = target_label2 = (uint32_t)-1;
                        }
                        if (!zend_jit_identical(&ctx, opline,
                                OP1_INFO(), OP1_RANGE(), OP1_REG_ADDR(),
                                OP2_INFO(), OP2_RANGE(), OP2_REG_ADDR(),
                                res_addr,
                                zend_may_throw(opline, ssa_op, op_array, ssa),
                                smart_branch_opcode, target_label, target_label2,
                                NULL, 0)) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_DEFINED:
                        if ((opline->result_type & IS_TMP_VAR)
                         && (i + 1) <= end
                         && ((opline+1)->opcode == ZEND_JMPZ
                          || (opline+1)->opcode == ZEND_JMPNZ)
                         && (opline+1)->op1_type == IS_TMP_VAR
                         && (opline+1)->op1.var == opline->result.var) {
                            i++;
                            smart_branch_opcode = (opline+1)->opcode;
                            target_label = ssa->cfg.blocks[b].successors[0];
                            target_label2 = ssa->cfg.blocks[b].successors[1];
                        } else {
                            smart_branch_opcode = 0;
                            target_label = target_label2 = (uint32_t)-1;
                        }
                        if (!zend_jit_defined(&ctx, opline, smart_branch_opcode, target_label, target_label2, NULL)) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_TYPE_CHECK:
                        if (opline->extended_value == MAY_BE_RESOURCE) {
                            // TODO: support for is_resource() ???
                            break;
                        }
                        if ((opline->result_type & IS_TMP_VAR)
                         && (i + 1) <= end
                         && ((opline+1)->opcode == ZEND_JMPZ
                          || (opline+1)->opcode == ZEND_JMPNZ)
                         && (opline+1)->op1_type == IS_TMP_VAR
                         && (opline+1)->op1.var == opline->result.var) {
                            i++;
                            smart_branch_opcode = (opline+1)->opcode;
                            target_label = ssa->cfg.blocks[b].successors[0];
                            target_label2 = ssa->cfg.blocks[b].successors[1];
                        } else {
                            smart_branch_opcode = 0;
                            target_label = target_label2 = (uint32_t)-1;
                        }
                        if (!zend_jit_type_check(&ctx, opline, OP1_INFO(), smart_branch_opcode, target_label, target_label2, NULL)) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_RETURN:
                        op1_info = OP1_INFO();
                        if ((PROFITABILITY_CHECKS && (!ssa->ops || !ssa->var_info))
                         || op_array->type == ZEND_EVAL_CODE
                         // TODO: support for top-level code
                         || !op_array->function_name
                         // TODO: support for IS_UNDEF ???
                         || (op1_info & MAY_BE_UNDEF)) {
                            if (!zend_jit_tail_handler(&ctx, opline)) {
                                goto jit_failure;
                            }
                        } else {
                            if (!zend_jit_return(&ctx, opline, op_array,
                                    op1_info, OP1_REG_ADDR())) {
                                goto jit_failure;
                            }
                        }
                        goto done;
                    case ZEND_BOOL:
                    case ZEND_BOOL_NOT:
                        if (!zend_jit_bool_jmpznz(&ctx, opline,
                                OP1_INFO(), OP1_REG_ADDR(), RES_REG_ADDR(),
                                -1, -1,
                                zend_may_throw(opline, ssa_op, op_array, ssa),
                                opline->opcode, NULL)) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_JMPZ:
                    case ZEND_JMPNZ:
                        if (opline > op_array->opcodes + ssa->cfg.blocks[b].start &&
                            ((opline-1)->result_type & (IS_SMART_BRANCH_JMPZ|IS_SMART_BRANCH_JMPNZ)) != 0) {
                            /* smart branch */
                            if (!zend_jit_cond_jmp(&ctx, opline + 1, ssa->cfg.blocks[b].successors[0])) {
                                goto jit_failure;
                            }
                            goto done;
                        }
                        ZEND_FALLTHROUGH;
                    case ZEND_JMPZ_EX:
                    case ZEND_JMPNZ_EX:
                        if (opline->result_type == IS_UNDEF) {
                            res_addr = 0;
                        } else {
                            res_addr = RES_REG_ADDR();
                        }
                        if (!zend_jit_bool_jmpznz(&ctx, opline,
                                OP1_INFO(), OP1_REG_ADDR(), res_addr,
                                ssa->cfg.blocks[b].successors[0], ssa->cfg.blocks[b].successors[1],
                                zend_may_throw(opline, ssa_op, op_array, ssa),
                                opline->opcode, NULL)) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_ISSET_ISEMPTY_CV:
                        if ((opline->extended_value & ZEND_ISEMPTY)) {
                            // TODO: support for empty() ???
                            break;
                        }
                        if ((opline->result_type & IS_TMP_VAR)
                         && (i + 1) <= end
                         && ((opline+1)->opcode == ZEND_JMPZ
                          || (opline+1)->opcode == ZEND_JMPNZ)
                         && (opline+1)->op1_type == IS_TMP_VAR
                         && (opline+1)->op1.var == opline->result.var) {
                            i++;
                            smart_branch_opcode = (opline+1)->opcode;
                            target_label = ssa->cfg.blocks[b].successors[0];
                            target_label2 = ssa->cfg.blocks[b].successors[1];
                        } else {
                            smart_branch_opcode = 0;
                            target_label = target_label2 = (uint32_t)-1;
                        }
                        if (!zend_jit_isset_isempty_cv(&ctx, opline,
                                OP1_INFO(), OP1_REG_ADDR(),
                                smart_branch_opcode, target_label, target_label2,
                                NULL)) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_IN_ARRAY:
                        if (opline->op1_type == IS_VAR || opline->op1_type == IS_TMP_VAR) {
                            break;
                        }
                        op1_info = OP1_INFO();
                        if ((op1_info & (MAY_BE_ANY|MAY_BE_UNDEF|MAY_BE_REF)) != MAY_BE_STRING) {
                            break;
                        }
                        if ((opline->result_type & IS_TMP_VAR)
                         && (i + 1) <= end
                         && ((opline+1)->opcode == ZEND_JMPZ
                          || (opline+1)->opcode == ZEND_JMPNZ)
                         && (opline+1)->op1_type == IS_TMP_VAR
                         && (opline+1)->op1.var == opline->result.var) {
                            i++;
                            smart_branch_opcode = (opline+1)->opcode;
                            target_label = ssa->cfg.blocks[b].successors[0];
                            target_label2 = ssa->cfg.blocks[b].successors[1];
                        } else {
                            smart_branch_opcode = 0;
                            target_label = target_label2 = (uint32_t)-1;
                        }
                        if (!zend_jit_in_array(&ctx, opline,
                                op1_info, OP1_REG_ADDR(),
                                smart_branch_opcode, target_label, target_label2,
                                NULL)) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_FETCH_DIM_R:
                    case ZEND_FETCH_DIM_IS:
                    case ZEND_FETCH_LIST_R:
                        if (PROFITABILITY_CHECKS && (!ssa->ops || !ssa->var_info)) {
                            break;
                        }
                        if (!zend_jit_fetch_dim_read(&ctx, opline, ssa, ssa_op,
                                OP1_INFO(), OP1_REG_ADDR(), 0,
                                OP2_INFO(), OP2_REG_ADDR(), OP2_RANGE(),
                                RES_INFO(), RES_REG_ADDR(), IS_UNKNOWN)) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_FETCH_DIM_W:
                    case ZEND_FETCH_DIM_RW:
//                  case ZEND_FETCH_DIM_UNSET:
                    case ZEND_FETCH_LIST_W:
                        if (PROFITABILITY_CHECKS && (!ssa->ops || !ssa->var_info)) {
                            break;
                        }
                        if (opline->op1_type != IS_CV) {
                            break;
                        }
                        if (!zend_jit_fetch_dim(&ctx, opline,
                                OP1_INFO(), OP1_REG_ADDR(),
                                OP2_INFO(), (opline->op2_type != IS_UNUSED) ? OP2_REG_ADDR() : 0,
                                (opline->op2_type != IS_UNUSED) ? OP2_RANGE() : 0,
                                RES_REG_ADDR(), IS_UNKNOWN)) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_ISSET_ISEMPTY_DIM_OBJ:
                        if ((opline->extended_value & ZEND_ISEMPTY)) {
                            // TODO: support for empty() ???
                            break;
                        }
                        if (PROFITABILITY_CHECKS && (!ssa->ops || !ssa->var_info)) {
                            break;
                        }
                        if ((opline->result_type & IS_TMP_VAR)
                         && (i + 1) <= end
                         && ((opline+1)->opcode == ZEND_JMPZ
                          || (opline+1)->opcode == ZEND_JMPNZ)
                         && (opline+1)->op1_type == IS_TMP_VAR
                         && (opline+1)->op1.var == opline->result.var) {
                            i++;
                            smart_branch_opcode = (opline+1)->opcode;
                            target_label = ssa->cfg.blocks[b].successors[0];
                            target_label2 = ssa->cfg.blocks[b].successors[1];
                        } else {
                            smart_branch_opcode = 0;
                            target_label = target_label2 = (uint32_t)-1;
                        }
                        if (!zend_jit_isset_isempty_dim(&ctx, opline,
                                OP1_INFO(), OP1_REG_ADDR(), 0,
                                OP2_INFO(), OP2_REG_ADDR(), OP2_RANGE(), IS_UNKNOWN,
                                zend_may_throw(opline, ssa_op, op_array, ssa),
                                smart_branch_opcode, target_label, target_label2,
                                NULL)) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_FETCH_OBJ_R:
                    case ZEND_FETCH_OBJ_IS:
                    case ZEND_FETCH_OBJ_W:
                        ce = NULL;
                        ce_is_instanceof = 0;
                        on_this = 0;
                        if (opline->op1_type == IS_UNUSED) {
                            op1_info = MAY_BE_OBJECT|MAY_BE_RC1|MAY_BE_RCN;
                            op1_addr = 0;
                            ce = op_array->scope;
                            /* scope is NULL for closures. */
                            if (ce) {
                                ce_is_instanceof = !(ce->ce_flags & ZEND_ACC_FINAL);
                            }
                            on_this = 1;
                        } else {
                            op1_info = OP1_INFO();
                            if (!(op1_info & MAY_BE_OBJECT)) {
                                break;
                            }
                            op1_addr = OP1_REG_ADDR();
                            if (ssa->var_info && ssa->ops) {
                                zend_ssa_op *ssa_op = &ssa->ops[opline - op_array->opcodes];
                                if (ssa_op->op1_use >= 0) {
                                    zend_ssa_var_info *op1_ssa = ssa->var_info + ssa_op->op1_use;
                                    if (op1_ssa->ce && !op1_ssa->ce->create_object) {
                                        ce = op1_ssa->ce;
                                        ce_is_instanceof = op1_ssa->is_instanceof;
                                    }
                                }
                            }
                        }
                        if (opline->op2_type != IS_CONST
                         || Z_TYPE_P(RT_CONSTANT(opline, opline->op2)) != IS_STRING
                         || Z_STRVAL_P(RT_CONSTANT(opline, opline->op2))[0] == '\0') {
                            break;
                        }
                        if (!zend_jit_fetch_obj(&ctx, opline, op_array, ssa, ssa_op,
                                op1_info, op1_addr, 0, ce, ce_is_instanceof, on_this, 0, 0, NULL,
                                RES_REG_ADDR(), IS_UNKNOWN,
                                zend_may_throw(opline, ssa_op, op_array, ssa))) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_BIND_GLOBAL:
                        if (!ssa->ops || !ssa->var_info) {
                            op1_info = MAY_BE_ANY|MAY_BE_REF;
                        } else {
                            op1_info = OP1_INFO();
                        }
                        if (!zend_jit_bind_global(&ctx, opline, op1_info)) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_RECV:
                        if (!zend_jit_recv(&ctx, opline, op_array)) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_RECV_INIT:
                        if (!zend_jit_recv_init(&ctx, opline, op_array,
                                (opline + 1)->opcode != ZEND_RECV_INIT,
                                zend_may_throw(opline, ssa_op, op_array, ssa))) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_FREE:
                    case ZEND_FE_FREE:
                        if (!zend_jit_free(&ctx, opline, OP1_INFO(),
                                zend_may_throw(opline, ssa_op, op_array, ssa))) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_ECHO:
                        op1_info = OP1_INFO();
                        if ((op1_info & (MAY_BE_UNDEF|MAY_BE_ANY|MAY_BE_REF)) != MAY_BE_STRING) {
                            break;
                        }
                        if (!zend_jit_echo(&ctx, opline, op1_info)) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_STRLEN:
                        op1_info = OP1_INFO();
                        if ((op1_info & (MAY_BE_UNDEF|MAY_BE_ANY|MAY_BE_REF)) != MAY_BE_STRING) {
                            break;
                        }
                        if (!zend_jit_strlen(&ctx, opline, op1_info, OP1_REG_ADDR(), RES_REG_ADDR())) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_COUNT:
                        op1_info = OP1_INFO();
                        if ((op1_info & (MAY_BE_UNDEF|MAY_BE_ANY|MAY_BE_REF)) != MAY_BE_ARRAY) {
                            break;
                        }
                        if (!zend_jit_count(&ctx, opline, op1_info, OP1_REG_ADDR(), RES_REG_ADDR(), zend_may_throw(opline, ssa_op, op_array, ssa))) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_FETCH_THIS:
                        if (!zend_jit_fetch_this(&ctx, opline, op_array, 0)) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_SWITCH_LONG:
                    case ZEND_SWITCH_STRING:
                    case ZEND_MATCH:
                        if (!zend_jit_switch(&ctx, opline, op_array, ssa, NULL, NULL)) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_VERIFY_RETURN_TYPE:
                        if (opline->op1_type == IS_UNUSED) {
                            /* Always throws */
                            break;
                        }
                        if (opline->op1_type == IS_CONST) {
                            /* TODO Different instruction format, has return value */
                            break;
                        }
                        if (op_array->fn_flags & ZEND_ACC_RETURN_REFERENCE) {
                            /* Not worth bothering with */
                            break;
                        }
                        if (OP1_INFO() & MAY_BE_REF) {
                            /* TODO May need reference unwrapping. */
                            break;
                        }
                        if (!zend_jit_verify_return_type(&ctx, opline, op_array, OP1_INFO())) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_FE_RESET_R:
                        op1_info = OP1_INFO();
                        if ((op1_info & (MAY_BE_ANY|MAY_BE_REF|MAY_BE_UNDEF)) != MAY_BE_ARRAY) {
                            break;
                        }
                        if (!zend_jit_fe_reset(&ctx, opline, op1_info)) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_FE_FETCH_R:
                        op1_info = OP1_INFO();
                        if ((op1_info & MAY_BE_ANY) != MAY_BE_ARRAY) {
                            break;
                        }
                        if (!zend_jit_fe_fetch(&ctx, opline, op1_info, OP2_INFO(),
                                ssa->cfg.blocks[b].successors[0], opline->opcode, NULL)) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_FETCH_CONSTANT:
                        if (!zend_jit_fetch_constant(&ctx, opline, op_array, ssa, ssa_op, RES_REG_ADDR())) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_JMP_FRAMELESS:
                        if (!zend_jit_jmp_frameless(&ctx, opline, /* exit_addr */ NULL, /* guard */ 0)) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_INIT_METHOD_CALL:
                        if (opline->op2_type != IS_CONST
                         || Z_TYPE_P(RT_CONSTANT(opline, opline->op2)) != IS_STRING) {
                            break;
                        }
                        ce = NULL;
                        ce_is_instanceof = 0;
                        on_this = 0;
                        if (opline->op1_type == IS_UNUSED) {
                            op1_info = MAY_BE_OBJECT|MAY_BE_RC1|MAY_BE_RCN;
                            op1_addr = 0;
                            ce = op_array->scope;
                            /* scope is NULL for closures. */
                            if (ce) {
                                ce_is_instanceof = !(ce->ce_flags & ZEND_ACC_FINAL);
                            }
                            on_this = 1;
                        } else {
                            op1_info = OP1_INFO();
                            if (!(op1_info & MAY_BE_OBJECT)) {
                                break;
                            }
                            op1_addr = OP1_REG_ADDR();
                            if (ssa->var_info && ssa->ops) {
                                zend_ssa_op *ssa_op = &ssa->ops[opline - op_array->opcodes];
                                if (ssa_op->op1_use >= 0) {
                                    zend_ssa_var_info *op1_ssa = ssa->var_info + ssa_op->op1_use;
                                    if (op1_ssa->ce && !op1_ssa->ce->create_object) {
                                        ce = op1_ssa->ce;
                                        ce_is_instanceof = op1_ssa->is_instanceof;
                                    }
                                }
                            }
                        }
                        if (!zend_jit_init_method_call(&ctx, opline, b, op_array, ssa, ssa_op, call_level,
                                op1_info, op1_addr, ce, ce_is_instanceof, on_this, 0, NULL,
                                NULL, 0,
                                -1, -1,
                                0)) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_ROPE_INIT:
                    case ZEND_ROPE_ADD:
                    case ZEND_ROPE_END:
                        op2_info = OP2_INFO();
                        if ((op2_info & (MAY_BE_UNDEF|MAY_BE_ANY|MAY_BE_REF)) != MAY_BE_STRING) {
                            break;
                        }
                        if (!zend_jit_rope(&ctx, opline, op2_info)) {
                            goto jit_failure;
                        }
                        goto done;
                    case ZEND_FRAMELESS_ICALL_0:
                        jit_frameless_icall0(jit, opline);
                        goto done;
                    case ZEND_FRAMELESS_ICALL_1:
                        op1_info = OP1_INFO();
                        jit_frameless_icall1(jit, opline, op1_info);
                        goto done;
                    case ZEND_FRAMELESS_ICALL_2:
                        op1_info = OP1_INFO();
                        op2_info = OP2_INFO();
                        jit_frameless_icall2(jit, opline, op1_info, op2_info);
                        goto done;
                    case ZEND_FRAMELESS_ICALL_3:
                        op1_info = OP1_INFO();
                        op2_info = OP2_INFO();
                        jit_frameless_icall3(jit, opline, op1_info, op2_info, OP1_DATA_INFO());
                        goto done;
                    default:
                        break;
                }
            }
 
            switch (opline->opcode) {
                case ZEND_RECV_INIT:
                case ZEND_BIND_GLOBAL:
                    if (opline == op_array->opcodes ||
                        opline->opcode != op_array->opcodes[i-1].opcode) {
                        /* repeatable opcodes */
                        if (!zend_jit_handler(&ctx, opline,
                                zend_may_throw(opline, ssa_op, op_array, ssa))) {
                            goto jit_failure;
                        }
                    }
                    zend_jit_set_last_valid_opline(&ctx, opline+1);
                    break;
                case ZEND_NOP:
                case ZEND_OP_DATA:
                case ZEND_SWITCH_LONG:
                case ZEND_SWITCH_STRING:
                    break;
                case ZEND_MATCH:
                    /* We have to exit to the VM because the MATCH handler performs an N-way jump for
                     * which we can't generate simple (opcache.jit=1201) JIT code. */
                    if (!zend_jit_tail_handler(&ctx, opline)) {
                        goto jit_failure;
                    }
                    break;
                case ZEND_JMP:
                    if (JIT_G(opt_level) < ZEND_JIT_LEVEL_INLINE) {
                        const zend_op *target = OP_JMP_ADDR(opline, opline->op1);
 
                        if (!zend_jit_set_ip(&ctx, target)) {
                            goto jit_failure;
                        }
                    }
                    break;
                case ZEND_CATCH:
                case ZEND_FAST_CALL:
                case ZEND_FAST_RET:
                case ZEND_GENERATOR_CREATE:
                case ZEND_GENERATOR_RETURN:
                case ZEND_RETURN_BY_REF:
                case ZEND_RETURN:
                case ZEND_MATCH_ERROR:
                /* switch through trampoline */
                case ZEND_YIELD:
                case ZEND_YIELD_FROM:
                case ZEND_THROW:
                case ZEND_VERIFY_NEVER_TYPE:
                    if (!zend_jit_tail_handler(&ctx, opline)) {
                        goto jit_failure;
                    }
                    /* THROW and EXIT may be used in the middle of BB */
                    /* don't generate code for the rest of BB */
 
                    /* Skip current opline for call_level computation because it does not influence call_level.
                     * Don't include last opline because end of loop already checks call level of last opline. */
                    i++;
                    for (; i < end; i++) {
                        opline = op_array->opcodes + i;
                        if (zend_jit_inc_call_level(opline->opcode)) {
                            call_level++;
                        } else if (zend_jit_dec_call_level(opline->opcode)) {
                            call_level--;
                        }
                    }
                    opline = op_array->opcodes + end;
                    break;
                /* stackless execution */
                case ZEND_INCLUDE_OR_EVAL:
                case ZEND_DO_FCALL:
                case ZEND_DO_UCALL:
                case ZEND_DO_FCALL_BY_NAME:
                    if (!zend_jit_call(&ctx, opline, b + 1)) {
                        goto jit_failure;
                    }
                    break;
                case ZEND_JMPZ:
                case ZEND_JMPNZ:
                    if (opline > op_array->opcodes + ssa->cfg.blocks[b].start &&
                        ((opline-1)->result_type & (IS_SMART_BRANCH_JMPZ|IS_SMART_BRANCH_JMPNZ)) != 0) {
                        /* smart branch */
                        if (!zend_jit_cond_jmp(&ctx, opline + 1, ssa->cfg.blocks[b].successors[0])) {
                            goto jit_failure;
                        }
                        goto done;
                    }
                    ZEND_FALLTHROUGH;
                case ZEND_JMPZ_EX:
                case ZEND_JMPNZ_EX:
                case ZEND_JMP_SET:
                case ZEND_COALESCE:
                case ZEND_JMP_NULL:
                case ZEND_FE_RESET_R:
                case ZEND_FE_RESET_RW:
                case ZEND_ASSERT_CHECK:
                case ZEND_FE_FETCH_R:
                case ZEND_FE_FETCH_RW:
                case ZEND_BIND_INIT_STATIC_OR_JMP:
                case ZEND_JMP_FRAMELESS:
                    if (!zend_jit_handler(&ctx, opline,
                            zend_may_throw(opline, ssa_op, op_array, ssa)) ||
                        !zend_jit_cond_jmp(&ctx, opline + 1, ssa->cfg.blocks[b].successors[0])) {
                        goto jit_failure;
                    }
                    break;
                case ZEND_NEW:
                    if (!zend_jit_handler(&ctx, opline, 1)) {
                        return 0;
                    }
                    if (opline->extended_value == 0 && (opline+1)->opcode == ZEND_DO_FCALL) {
                        zend_class_entry *ce = NULL;
 
                        if (JIT_G(opt_level) >= ZEND_JIT_LEVEL_OPT_FUNC) {
                            if (ssa->ops && ssa->var_info) {
                                zend_ssa_var_info *res_ssa = &ssa->var_info[ssa->ops[opline - op_array->opcodes].result_def];
                                if (res_ssa->ce && !res_ssa->is_instanceof) {
                                    ce = res_ssa->ce;
                                }
                            }
                        } else {
                            if (opline->op1_type == IS_CONST) {
                                zval *zv = RT_CONSTANT(opline, opline->op1);
                                if (Z_TYPE_P(zv) == IS_STRING) {
                                    zval *lc = zv + 1;
                                    ce = (zend_class_entry*)zend_hash_find_ptr(EG(class_table), Z_STR_P(lc));
                                }
                            }
                        }
 
                        i++;
 
                        if (!ce || !(ce->ce_flags & ZEND_ACC_LINKED) || ce->constructor) {
                            const zend_op *next_opline = opline + 1;
 
                            ZEND_ASSERT(b + 1 == ssa->cfg.blocks[b].successors[0]);
                            zend_jit_constructor(&ctx, next_opline, op_array, ssa, call_level, b + 1);
                        }
 
                        /* We skip over the DO_FCALL, so decrement call_level ourselves. */
                        call_level--;
                    }
                    break;
                case ZEND_FETCH_OBJ_R:
                    if (!zend_jit_handler(&ctx, opline,
                        zend_may_throw(opline, ssa_op, op_array, ssa))) {
                        goto jit_failure;
                    }
 
                    /* Cache slot is only used for IS_CONST op2, so only that can result in hook fast path. */
                    if (opline->op2_type == IS_CONST) {
                        if (JIT_G(opt_level) < ZEND_JIT_LEVEL_INLINE) {
                            if (opline->op1_type == IS_UNUSED) {
                                ce = op_array->scope;
                            } else {
                                ce = NULL;
                            }
                        }
 
                        if (!ce || !(ce->ce_flags & ZEND_ACC_FINAL) || ce->num_hooked_props > 0) {
                            /* If a simple hook is called, exit to the VM. */
                            ir_ref if_hook_enter = ir_IF(jit_CMP_IP(jit, IR_EQ, opline + 1));
                            ir_IF_FALSE(if_hook_enter);
                            if (GCC_GLOBAL_REGS) {
                                ir_TAILCALL(IR_VOID, ir_LOAD_A(jit_IP(jit)));
                            } else {
                                ir_RETURN(ir_CONST_I32(1)); /* ZEND_VM_ENTER */
                            }
                            ir_IF_TRUE(if_hook_enter);
                        }
                    }
 
                    break;
                default:
                    if (!zend_jit_handler(&ctx, opline,
                            zend_may_throw(opline, ssa_op, op_array, ssa))) {
                        goto jit_failure;
                    }
                    if (i == end
                     && (opline->result_type & (IS_SMART_BRANCH_JMPZ|IS_SMART_BRANCH_JMPNZ)) != 0) {
                        /* smart branch split across basic blocks */
                        if (!zend_jit_set_cond(&ctx, opline + 2, opline->result.var)) {
                            goto jit_failure;
                        }
                    }
            }
done:
            if (zend_jit_dec_call_level(opline->opcode)) {
                call_level--;
            }
        }
        zend_jit_bb_end(&ctx, b);
    }
 
    if (jit->return_inputs) {
        zend_jit_common_return(jit);
 
        bool left_frame = 0;
        if (op_array->last_var > 100) {
            /* To many CVs to unroll */
            if (!zend_jit_free_cvs(&ctx)) {
                goto jit_failure;
            }
            left_frame = 1;
        }
        if (!left_frame) {
            int j;
 
            for (j = 0 ; j < op_array->last_var; j++) {
                uint32_t info = zend_ssa_cv_info(op_array, ssa, j);
 
                if (info & (MAY_BE_STRING|MAY_BE_ARRAY|MAY_BE_OBJECT|MAY_BE_RESOURCE|MAY_BE_REF)) {
                    if (!left_frame) {
                        left_frame = 1;
                        if (!zend_jit_leave_frame(&ctx)) {
                            goto jit_failure;
                        }
                    }
                    if (!zend_jit_free_cv(&ctx, info, j)) {
                        goto jit_failure;
                    }
                }
            }
        }
        if (!zend_jit_leave_func(&ctx, op_array, NULL, MAY_BE_ANY, left_frame,
                NULL, NULL, (ssa->cfg.flags & ZEND_FUNC_INDIRECT_VAR_ACCESS) != 0, 1)) {
            goto jit_failure;
        }
    }
 
    handler = zend_jit_finish(&ctx);
    if (!handler) {
        goto jit_failure;
    }
    zend_jit_free_ctx(&ctx);
 
    if (JIT_G(opt_flags) & (ZEND_JIT_REG_ALLOC_LOCAL|ZEND_JIT_REG_ALLOC_GLOBAL)) {
        zend_arena_release(&CG(arena), checkpoint);
    }
    return SUCCESS;
 
jit_failure:
    zend_jit_free_ctx(&ctx);
    if (JIT_G(opt_flags) & (ZEND_JIT_REG_ALLOC_LOCAL|ZEND_JIT_REG_ALLOC_GLOBAL)) {
        zend_arena_release(&CG(arena), checkpoint);
    }
    return FAILURE;
}
 
static void zend_jit_collect_calls(zend_op_array *op_array, zend_script *script)
{
    zend_func_info *func_info;
 
    if (JIT_G(trigger) == ZEND_JIT_ON_FIRST_EXEC ||
        JIT_G(trigger) == ZEND_JIT_ON_PROF_REQUEST ||
        JIT_G(trigger) == ZEND_JIT_ON_HOT_COUNTERS) {
        func_info = ZEND_FUNC_INFO(op_array);
    } else {
        func_info = zend_arena_calloc(&CG(arena), 1, sizeof(zend_func_info));
        ZEND_SET_FUNC_INFO(op_array, func_info);
    }
    zend_analyze_calls(&CG(arena), script, ZEND_CALL_TREE, op_array, func_info);
}
 
static void zend_jit_cleanup_func_info(zend_op_array *op_array)
{
    zend_func_info *func_info = ZEND_FUNC_INFO(op_array);
    zend_call_info *caller_info, *callee_info;
 
    if (func_info) {
        caller_info = func_info->caller_info;
        callee_info = func_info->callee_info;
 
        if (JIT_G(trigger) == ZEND_JIT_ON_FIRST_EXEC ||
            JIT_G(trigger) == ZEND_JIT_ON_PROF_REQUEST ||
            JIT_G(trigger) == ZEND_JIT_ON_HOT_COUNTERS) {
            func_info->num = 0;
            func_info->flags &= ZEND_FUNC_JIT_ON_FIRST_EXEC
                | ZEND_FUNC_JIT_ON_PROF_REQUEST
                | ZEND_FUNC_JIT_ON_HOT_COUNTERS
                | ZEND_FUNC_JIT_ON_HOT_TRACE;
            memset(&func_info->ssa, 0, sizeof(zend_func_info) - offsetof(zend_func_info, ssa));
        } else {
            ZEND_SET_FUNC_INFO(op_array, NULL);
        }
 
        while (caller_info) {
            if (caller_info->caller_op_array) {
                zend_jit_cleanup_func_info(caller_info->caller_op_array);
            }
            caller_info = caller_info->next_caller;
        }
        while (callee_info) {
            if (callee_info->callee_func && callee_info->callee_func->type == ZEND_USER_FUNCTION) {
                zend_jit_cleanup_func_info(&callee_info->callee_func->op_array);
            }
            callee_info = callee_info->next_callee;
        }
    }
}
 
static int zend_real_jit_func(zend_op_array *op_array, zend_script *script, const zend_op *rt_opline, uint8_t trigger)
{
    zend_ssa ssa;
    void *checkpoint;
    zend_func_info *func_info;
    uint8_t orig_trigger;
 
    if (*dasm_ptr == dasm_end) {
        return FAILURE;
    }
 
    orig_trigger = JIT_G(trigger);
    JIT_G(trigger) = trigger;
    checkpoint = zend_arena_checkpoint(CG(arena));
 
    /* Build SSA */
    memset(&ssa, 0, sizeof(zend_ssa));
 
    if (op_array->fn_flags & ZEND_ACC_CLOSURE) {
        if (trigger == ZEND_JIT_ON_FIRST_EXEC) {
            zend_jit_op_array_extension *jit_extension = (zend_jit_op_array_extension*)ZEND_FUNC_INFO(op_array);
            op_array = (zend_op_array*) jit_extension->op_array;
        } else if (trigger == ZEND_JIT_ON_HOT_COUNTERS) {
            zend_jit_op_array_hot_extension *jit_extension = (zend_jit_op_array_hot_extension*)ZEND_FUNC_INFO(op_array);
            op_array = (zend_op_array*) jit_extension->op_array;
        } else {
            ZEND_ASSERT(!op_array->scope);
        }
    }
 
    if (zend_jit_op_array_analyze1(op_array, script, &ssa) != SUCCESS) {
        goto jit_failure;
    }
 
    if (JIT_G(opt_level) >= ZEND_JIT_LEVEL_OPT_FUNCS) {
        zend_jit_collect_calls(op_array, script);
        func_info = ZEND_FUNC_INFO(op_array);
        func_info->call_map = zend_build_call_map(&CG(arena), func_info, op_array);
        if (op_array->fn_flags & ZEND_ACC_HAS_RETURN_TYPE) {
            zend_init_func_return_info(op_array, script, &func_info->return_info);
        }
    }
 
    if (zend_jit_op_array_analyze2(op_array, script, &ssa, ZCG(accel_directives).optimization_level) != SUCCESS) {
        goto jit_failure;
    }
 
    if (JIT_G(debug) & ZEND_JIT_DEBUG_SSA) {
        zend_dump_op_array(op_array, ZEND_DUMP_HIDE_UNREACHABLE|ZEND_DUMP_RC_INFERENCE|ZEND_DUMP_SSA, "JIT", &ssa);
    }
 
    if (zend_jit(op_array, &ssa, rt_opline) != SUCCESS) {
        goto jit_failure;
    }
 
    zend_jit_cleanup_func_info(op_array);
    zend_arena_release(&CG(arena), checkpoint);
    JIT_G(trigger) = orig_trigger;
    return SUCCESS;
 
jit_failure:
    zend_jit_cleanup_func_info(op_array);
    zend_arena_release(&CG(arena), checkpoint);
    JIT_G(trigger) = orig_trigger;
    return FAILURE;
}
 
/* Run-time JIT handler */
static int ZEND_FASTCALL zend_runtime_jit(void)
{
    zend_execute_data *execute_data = EG(current_execute_data);
    zend_op_array *op_array = &EX(func)->op_array;
    zend_op *opline = op_array->opcodes;
    zend_jit_op_array_extension *jit_extension;
    bool do_bailout = 0;
 
    zend_shared_alloc_lock();
 
    if (ZEND_FUNC_INFO(op_array)) {
 
        SHM_UNPROTECT();
        zend_jit_unprotect();
 
        zend_try {
            /* restore original opcode handlers */
            if (!(op_array->fn_flags & ZEND_ACC_HAS_TYPE_HINTS)) {
                while (opline->opcode == ZEND_RECV || opline->opcode == ZEND_RECV_INIT) {
                    opline++;
                }
            }
            jit_extension = (zend_jit_op_array_extension*)ZEND_FUNC_INFO(op_array);
            opline->handler = jit_extension->orig_handler;
 
            /* perform real JIT for this function */
            zend_real_jit_func(op_array, NULL, NULL, ZEND_JIT_ON_FIRST_EXEC);
        } zend_catch {
            do_bailout = true;
        } zend_end_try();
 
        zend_jit_protect();
        SHM_PROTECT();
    }
 
    zend_shared_alloc_unlock();
 
    if (do_bailout) {
        zend_bailout();
    }
 
    /* JIT-ed code is going to be called by VM */
    return 0;
}
 
void zend_jit_check_funcs(HashTable *function_table, bool is_method) {
    zend_op *opline;
    zend_function *func;
    zend_op_array *op_array;
    uintptr_t counter;
    zend_jit_op_array_extension *jit_extension;
 
    ZEND_HASH_MAP_REVERSE_FOREACH_PTR(function_table, func) {
        if (func->type == ZEND_INTERNAL_FUNCTION) {
            break;
        }
        op_array = &func->op_array;
        opline = op_array->opcodes;
        if (!(op_array->fn_flags & ZEND_ACC_HAS_TYPE_HINTS)) {
            while (opline->opcode == ZEND_RECV || opline->opcode == ZEND_RECV_INIT) {
                opline++;
            }
        }
        if (opline->handler == zend_jit_profile_jit_handler) {
            if (!RUN_TIME_CACHE(op_array)) {
                continue;
            }
            counter = (uintptr_t)ZEND_COUNTER_INFO(op_array);
            ZEND_COUNTER_INFO(op_array) = 0;
            jit_extension = (zend_jit_op_array_extension*)ZEND_FUNC_INFO(op_array);
            opline->handler = jit_extension->orig_handler;
            if (((double)counter / (double)zend_jit_profile_counter) > JIT_G(prof_threshold)) {
                zend_real_jit_func(op_array, NULL, NULL, ZEND_JIT_ON_PROF_REQUEST);
            }
        }
    } ZEND_HASH_FOREACH_END();
}
 
void ZEND_FASTCALL zend_jit_hot_func(zend_execute_data *execute_data, const zend_op *opline)
{
    zend_op_array *op_array = &EX(func)->op_array;
    zend_jit_op_array_hot_extension *jit_extension;
    uint32_t i;
    bool do_bailout = 0;
 
    zend_shared_alloc_lock();
    jit_extension = (zend_jit_op_array_hot_extension*)ZEND_FUNC_INFO(op_array);
 
    if (jit_extension) {
        SHM_UNPROTECT();
        zend_jit_unprotect();
 
        zend_try {
            for (i = 0; i < op_array->last; i++) {
                op_array->opcodes[i].handler = jit_extension->orig_handlers[i];
            }
 
#ifdef HAVE_GCC_GLOBAL_REGS
            EX(opline) = opline;
#endif
 
            /* perform real JIT for this function */
            zend_real_jit_func(op_array, NULL, opline, ZEND_JIT_ON_HOT_COUNTERS);
        } zend_catch {
            do_bailout = 1;
        } zend_end_try();
 
        zend_jit_protect();
        SHM_PROTECT();
    }
 
    zend_shared_alloc_unlock();
 
    if (do_bailout) {
        zend_bailout();
    }
    /* JIT-ed code is going to be called by VM */
}
 
static void zend_jit_setup_hot_counters_ex(zend_op_array *op_array, zend_cfg *cfg)
{
    if (JIT_G(hot_func)) {
        zend_op *opline = op_array->opcodes;
 
        if (!(op_array->fn_flags & ZEND_ACC_HAS_TYPE_HINTS)) {
            while (opline->opcode == ZEND_RECV || opline->opcode == ZEND_RECV_INIT) {
                opline++;
            }
        }
 
        opline->handler = (const void*)zend_jit_func_hot_counter_handler;
    }
 
    if (JIT_G(hot_loop)) {
        uint32_t i;
 
        for (i = 0; i < cfg->blocks_count; i++) {
            if ((cfg->blocks[i].flags & ZEND_BB_REACHABLE) &&
                (cfg->blocks[i].flags & ZEND_BB_LOOP_HEADER)) {
                op_array->opcodes[cfg->blocks[i].start].handler =
                    (const void*)zend_jit_loop_hot_counter_handler;
            }
        }
    }
}
 
static int zend_jit_restart_hot_counters(zend_op_array *op_array)
{
    zend_jit_op_array_hot_extension *jit_extension;
    zend_cfg cfg;
    uint32_t i;
 
    jit_extension = (zend_jit_op_array_hot_extension*)ZEND_FUNC_INFO(op_array);
    for (i = 0; i < op_array->last; i++) {
        op_array->opcodes[i].handler = jit_extension->orig_handlers[i];
    }
 
    if (zend_jit_build_cfg(op_array, &cfg) != SUCCESS) {
        return FAILURE;
    }
 
    zend_jit_setup_hot_counters_ex(op_array, &cfg);
 
    return SUCCESS;
}
 
static int zend_jit_setup_hot_counters(zend_op_array *op_array)
{
    zend_jit_op_array_hot_extension *jit_extension;
    zend_cfg cfg;
    uint32_t i;
 
    ZEND_ASSERT(!JIT_G(hot_func) || zend_jit_func_hot_counter_handler != NULL);
    ZEND_ASSERT(!JIT_G(hot_loop) || zend_jit_loop_hot_counter_handler != NULL);
 
    if (zend_jit_build_cfg(op_array, &cfg) != SUCCESS) {
        return FAILURE;
    }
 
    jit_extension = (zend_jit_op_array_hot_extension*)zend_shared_alloc(sizeof(zend_jit_op_array_hot_extension) + (op_array->last - 1) * sizeof(void*));
    if (!jit_extension) {
        return FAILURE;
    }
    memset(&jit_extension->func_info, 0, sizeof(zend_func_info));
    jit_extension->func_info.flags = ZEND_FUNC_JIT_ON_HOT_COUNTERS;
    jit_extension->op_array = op_array;
    jit_extension->counter = &zend_jit_hot_counters[zend_jit_op_array_hash(op_array) & (ZEND_HOT_COUNTERS_COUNT - 1)];
    for (i = 0; i < op_array->last; i++) {
        jit_extension->orig_handlers[i] = op_array->opcodes[i].handler;
    }
    ZEND_SET_FUNC_INFO(op_array, (void*)jit_extension);
 
    zend_jit_setup_hot_counters_ex(op_array, &cfg);
 
    zend_shared_alloc_register_xlat_entry(op_array->opcodes, jit_extension);
 
    return SUCCESS;
}
 
#include "jit/zend_jit_trace.c"
 
int zend_jit_op_array(zend_op_array *op_array, zend_script *script)
{
    if (dasm_ptr == NULL) {
        return FAILURE;
    }
 
    if (JIT_G(trigger) == ZEND_JIT_ON_FIRST_EXEC) {
        zend_jit_op_array_extension *jit_extension;
        zend_op *opline = op_array->opcodes;
 
        if (CG(compiler_options) & ZEND_COMPILE_PRELOAD) {
            ZEND_SET_FUNC_INFO(op_array, NULL);
            zend_error(E_WARNING, "Preloading is incompatible with first-exec and profile triggered JIT");
            return SUCCESS;
        }
 
        /* Set run-time JIT handler */
        ZEND_ASSERT(zend_jit_runtime_jit_handler != NULL);
        if (!(op_array->fn_flags & ZEND_ACC_HAS_TYPE_HINTS)) {
            while (opline->opcode == ZEND_RECV || opline->opcode == ZEND_RECV_INIT) {
                opline++;
            }
        }
        jit_extension = (zend_jit_op_array_extension*)zend_shared_alloc(sizeof(zend_jit_op_array_extension));
        if (!jit_extension) {
            return FAILURE;
        }
        memset(&jit_extension->func_info, 0, sizeof(zend_func_info));
        jit_extension->func_info.flags = ZEND_FUNC_JIT_ON_FIRST_EXEC;
        jit_extension->op_array = op_array;
        jit_extension->orig_handler = (void*)opline->handler;
        ZEND_SET_FUNC_INFO(op_array, (void*)jit_extension);
        opline->handler = (const void*)zend_jit_runtime_jit_handler;
        zend_shared_alloc_register_xlat_entry(op_array->opcodes, jit_extension);
 
        return SUCCESS;
    } else if (JIT_G(trigger) == ZEND_JIT_ON_PROF_REQUEST) {
        zend_jit_op_array_extension *jit_extension;
        zend_op *opline = op_array->opcodes;
 
        if (CG(compiler_options) & ZEND_COMPILE_PRELOAD) {
            ZEND_SET_FUNC_INFO(op_array, NULL);
            zend_error(E_WARNING, "Preloading is incompatible with first-exec and profile triggered JIT");
            return SUCCESS;
        }
 
        ZEND_ASSERT(zend_jit_profile_jit_handler != NULL);
        if (op_array->function_name) {
            if (!(op_array->fn_flags & ZEND_ACC_HAS_TYPE_HINTS)) {
                while (opline->opcode == ZEND_RECV || opline->opcode == ZEND_RECV_INIT) {
                    opline++;
                }
            }
            jit_extension = (zend_jit_op_array_extension*)zend_shared_alloc(sizeof(zend_jit_op_array_extension));
            if (!jit_extension) {
                return FAILURE;
            }
            memset(&jit_extension->func_info, 0, sizeof(zend_func_info));
            jit_extension->func_info.flags = ZEND_FUNC_JIT_ON_PROF_REQUEST;
            jit_extension->op_array = op_array;
            jit_extension->orig_handler = (void*)opline->handler;
            ZEND_SET_FUNC_INFO(op_array, (void*)jit_extension);
            opline->handler = (const void*)zend_jit_profile_jit_handler;
            zend_shared_alloc_register_xlat_entry(op_array->opcodes, jit_extension);
        }
 
        return SUCCESS;
    } else if (JIT_G(trigger) == ZEND_JIT_ON_HOT_COUNTERS) {
        return zend_jit_setup_hot_counters(op_array);
    } else if (JIT_G(trigger) == ZEND_JIT_ON_HOT_TRACE) {
        return zend_jit_setup_hot_trace_counters(op_array);
    } else if (JIT_G(trigger) == ZEND_JIT_ON_SCRIPT_LOAD) {
        return zend_real_jit_func(op_array, script, NULL, ZEND_JIT_ON_SCRIPT_LOAD);
    } else {
        ZEND_UNREACHABLE();
    }
    return FAILURE;
}
 
int zend_jit_script(zend_script *script)
{
    void *checkpoint;
    zend_call_graph call_graph;
    zend_func_info *info;
    int i;
 
    if (dasm_ptr == NULL || *dasm_ptr == dasm_end) {
        return FAILURE;
    }
 
    checkpoint = zend_arena_checkpoint(CG(arena));
 
    call_graph.op_arrays_count = 0;
    zend_build_call_graph(&CG(arena), script, &call_graph);
 
    zend_analyze_call_graph(&CG(arena), script, &call_graph);
 
    if (JIT_G(trigger) == ZEND_JIT_ON_FIRST_EXEC ||
        JIT_G(trigger) == ZEND_JIT_ON_PROF_REQUEST ||
        JIT_G(trigger) == ZEND_JIT_ON_HOT_COUNTERS ||
        JIT_G(trigger) == ZEND_JIT_ON_HOT_TRACE) {
        for (i = 0; i < call_graph.op_arrays_count; i++) {
            if (zend_jit_op_array(call_graph.op_arrays[i], script) != SUCCESS) {
                goto jit_failure;
            }
        }
    } else if (JIT_G(trigger) == ZEND_JIT_ON_SCRIPT_LOAD) {
        for (i = 0; i < call_graph.op_arrays_count; i++) {
            info = ZEND_FUNC_INFO(call_graph.op_arrays[i]);
            if (info) {
                if (zend_jit_op_array_analyze1(call_graph.op_arrays[i], script, &info->ssa) != SUCCESS) {
                    goto jit_failure;
                }
                info->ssa.cfg.flags |= info->flags;
                info->flags = info->ssa.cfg.flags;
            }
        }
 
        for (i = 0; i < call_graph.op_arrays_count; i++) {
            info = ZEND_FUNC_INFO(call_graph.op_arrays[i]);
            if (info) {
                info->call_map = zend_build_call_map(&CG(arena), info, call_graph.op_arrays[i]);
                if (call_graph.op_arrays[i]->fn_flags & ZEND_ACC_HAS_RETURN_TYPE) {
                    zend_init_func_return_info(call_graph.op_arrays[i], script, &info->return_info);
                }
            }
        }
 
        for (i = 0; i < call_graph.op_arrays_count; i++) {
            info = ZEND_FUNC_INFO(call_graph.op_arrays[i]);
            if (info) {
                if (zend_jit_op_array_analyze2(call_graph.op_arrays[i], script, &info->ssa, ZCG(accel_directives).optimization_level) != SUCCESS) {
                    goto jit_failure;
                }
                info->flags = info->ssa.cfg.flags;
            }
        }
 
        for (i = 0; i < call_graph.op_arrays_count; i++) {
            info = ZEND_FUNC_INFO(call_graph.op_arrays[i]);
            if (info) {
                if (JIT_G(debug) & ZEND_JIT_DEBUG_SSA) {
                    zend_dump_op_array(call_graph.op_arrays[i], ZEND_DUMP_HIDE_UNREACHABLE|ZEND_DUMP_RC_INFERENCE|ZEND_DUMP_SSA, "JIT", &info->ssa);
                }
                if (zend_jit(call_graph.op_arrays[i], &info->ssa, NULL) != SUCCESS) {
                    goto jit_failure;
                }
            }
        }
 
        for (i = 0; i < call_graph.op_arrays_count; i++) {
            ZEND_SET_FUNC_INFO(call_graph.op_arrays[i], NULL);
        }
    } else {
        ZEND_UNREACHABLE();
    }
 
    zend_arena_release(&CG(arena), checkpoint);
 
    if (JIT_G(trigger) == ZEND_JIT_ON_FIRST_EXEC
     || JIT_G(trigger) == ZEND_JIT_ON_PROF_REQUEST
     || JIT_G(trigger) == ZEND_JIT_ON_HOT_COUNTERS
     || JIT_G(trigger) == ZEND_JIT_ON_HOT_TRACE) {
        zend_class_entry *ce;
        zend_op_array *op_array;
 
        ZEND_HASH_MAP_FOREACH_PTR(&script->class_table, ce) {
            ZEND_HASH_MAP_FOREACH_PTR(&ce->function_table, op_array) {
                if (!ZEND_FUNC_INFO(op_array)) {
                    void *jit_extension = zend_shared_alloc_get_xlat_entry(op_array->opcodes);
 
                    if (jit_extension) {
                        ZEND_SET_FUNC_INFO(op_array, jit_extension);
                    }
                }
            } ZEND_HASH_FOREACH_END();
        } ZEND_HASH_FOREACH_END();
    }
 
    return SUCCESS;
 
jit_failure:
    if (JIT_G(trigger) == ZEND_JIT_ON_SCRIPT_LOAD) {
        for (i = 0; i < call_graph.op_arrays_count; i++) {
            ZEND_SET_FUNC_INFO(call_graph.op_arrays[i], NULL);
        }
    }
    zend_arena_release(&CG(arena), checkpoint);
    return FAILURE;
}
 
void zend_jit_unprotect(void)
{
#ifdef HAVE_MPROTECT
    if (!(JIT_G(debug) & (ZEND_JIT_DEBUG_GDB|ZEND_JIT_DEBUG_PERF_DUMP))) {
        int opts = PROT_READ | PROT_WRITE;
#ifdef ZTS
#ifdef HAVE_PTHREAD_JIT_WRITE_PROTECT_NP
        if (zend_write_protect) {
            pthread_jit_write_protect_np(0);
        }
#endif
        opts |= PROT_EXEC;
#endif
        if (mprotect(dasm_buf, dasm_size, opts) != 0) {
            fprintf(stderr, "mprotect() failed [%d] %s\n", errno, strerror(errno));
        }
    }
#elif defined(_WIN32)
    if (!(JIT_G(debug) & (ZEND_JIT_DEBUG_GDB|ZEND_JIT_DEBUG_PERF_DUMP))) {
        DWORD old, new;
#ifdef ZTS
        new = PAGE_EXECUTE_READWRITE;
#else
        new = PAGE_READWRITE;
#endif
        if (!VirtualProtect(dasm_buf, dasm_size, new, &old)) {
            DWORD err = GetLastError();
            char *msg = php_win32_error_to_msg(err);
            fprintf(stderr, "VirtualProtect() failed [%u] %s\n", err, msg);
            php_win32_error_msg_free(msg);
        }
    }
#endif
}
 
void zend_jit_protect(void)
{
#ifdef HAVE_MPROTECT
    if (!(JIT_G(debug) & (ZEND_JIT_DEBUG_GDB|ZEND_JIT_DEBUG_PERF_DUMP))) {
#ifdef HAVE_PTHREAD_JIT_WRITE_PROTECT_NP
        if (zend_write_protect) {
            pthread_jit_write_protect_np(1);
        }
#endif
        if (mprotect(dasm_buf, dasm_size, PROT_READ | PROT_EXEC) != 0) {
            fprintf(stderr, "mprotect() failed [%d] %s\n", errno, strerror(errno));
        }
    }
#elif defined(_WIN32)
    if (!(JIT_G(debug) & (ZEND_JIT_DEBUG_GDB|ZEND_JIT_DEBUG_PERF_DUMP))) {
        DWORD old;
 
        if (!VirtualProtect(dasm_buf, dasm_size, PAGE_EXECUTE_READ, &old)) {
            DWORD err = GetLastError();
            char *msg = php_win32_error_to_msg(err);
            fprintf(stderr, "VirtualProtect() failed [%u] %s\n", err, msg);
            php_win32_error_msg_free(msg);
        }
    }
#endif
}
 
static void zend_jit_init_handlers(void)
{
    if (zend_jit_vm_kind == ZEND_VM_KIND_HYBRID) {
        zend_jit_runtime_jit_handler = zend_jit_stub_handlers[jit_stub_hybrid_runtime_jit];
        zend_jit_profile_jit_handler = zend_jit_stub_handlers[jit_stub_hybrid_profile_jit];
        zend_jit_func_hot_counter_handler = zend_jit_stub_handlers[jit_stub_hybrid_func_hot_counter];
        zend_jit_loop_hot_counter_handler = zend_jit_stub_handlers[jit_stub_hybrid_loop_hot_counter];
        zend_jit_func_trace_counter_handler = zend_jit_stub_handlers[jit_stub_hybrid_func_trace_counter];
        zend_jit_ret_trace_counter_handler = zend_jit_stub_handlers[jit_stub_hybrid_ret_trace_counter];
        zend_jit_loop_trace_counter_handler = zend_jit_stub_handlers[jit_stub_hybrid_loop_trace_counter];
    } else {
        zend_jit_runtime_jit_handler = (const void*)zend_runtime_jit;
        zend_jit_profile_jit_handler = (const void*)zend_jit_profile_helper;
        zend_jit_func_hot_counter_handler = (const void*)zend_jit_func_counter_helper;
        zend_jit_loop_hot_counter_handler = (const void*)zend_jit_loop_counter_helper;
        zend_jit_func_trace_counter_handler = (const void*)zend_jit_func_trace_helper;
        zend_jit_ret_trace_counter_handler = (const void*)zend_jit_ret_trace_helper;
        zend_jit_loop_trace_counter_handler = (const void*)zend_jit_loop_trace_helper;
    }
}
 
static void zend_jit_globals_ctor(zend_jit_globals *jit_globals)
{
    memset(jit_globals, 0, sizeof(zend_jit_globals));
    zend_jit_trace_init_caches();
}
 
#ifdef ZTS
static void zend_jit_globals_dtor(zend_jit_globals *jit_globals)
{
    zend_jit_trace_free_caches(jit_globals);
}
#endif
 
static int zend_jit_parse_config_num(zend_long jit)
{
    if (jit == 0) {
        JIT_G(on) = 0;
        return SUCCESS;
    }
 
    if (jit < 0) return FAILURE;
 
    if (jit % 10 == 0 || jit % 10 > 5) return FAILURE;
    JIT_G(opt_level) = jit % 10;
 
    jit /= 10;
    if (jit % 10 > 5 || jit % 10 == 4) return FAILURE;
    JIT_G(trigger) = jit % 10;
 
    jit /= 10;
    if (jit % 10 > 2) return FAILURE;
    JIT_G(opt_flags) = jit % 10;
 
    jit /= 10;
    if (jit % 10 > 1) return FAILURE;
    JIT_G(opt_flags) |= ((jit % 10) ? ZEND_JIT_CPU_AVX : 0);
 
    if (jit / 10 != 0) return FAILURE;
 
    JIT_G(on) = 1;
 
    return SUCCESS;
}
 
int zend_jit_config(zend_string *jit, int stage)
{
    if (stage != ZEND_INI_STAGE_STARTUP && !JIT_G(enabled)) {
        if (stage == ZEND_INI_STAGE_RUNTIME) {
            zend_error(E_WARNING, "Cannot change opcache.jit setting at run-time (JIT is disabled)");
        }
        return FAILURE;
    }
 
    if (zend_string_equals_literal_ci(jit, "disable")) {
        JIT_G(enabled) = 0;
        JIT_G(on) = 0;
        return SUCCESS;
    } else if (ZSTR_LEN(jit) == 0
            || zend_string_equals_literal_ci(jit, "0")
            || zend_string_equals_literal_ci(jit, "off")
            || zend_string_equals_literal_ci(jit, "no")
            || zend_string_equals_literal_ci(jit, "false")) {
        JIT_G(enabled) = 1;
        JIT_G(on) = 0;
        return SUCCESS;
    } else if (zend_string_equals_literal_ci(jit, "1")
            || zend_string_equals_literal_ci(jit, "on")
            || zend_string_equals_literal_ci(jit, "yes")
            || zend_string_equals_literal_ci(jit, "true")
            || zend_string_equals_literal_ci(jit, "tracing")) {
        JIT_G(enabled) = 1;
        JIT_G(on) = 1;
        JIT_G(opt_level) = ZEND_JIT_LEVEL_OPT_FUNCS;
        JIT_G(trigger) = ZEND_JIT_ON_HOT_TRACE;
        JIT_G(opt_flags) = ZEND_JIT_REG_ALLOC_GLOBAL | ZEND_JIT_CPU_AVX;
        return SUCCESS;
    } else if (zend_string_equals_ci(jit, ZSTR_KNOWN(ZEND_STR_FUNCTION))) {
        JIT_G(enabled) = 1;
        JIT_G(on) = 1;
        JIT_G(opt_level) = ZEND_JIT_LEVEL_OPT_SCRIPT;
        JIT_G(trigger) = ZEND_JIT_ON_SCRIPT_LOAD;
        JIT_G(opt_flags) = ZEND_JIT_REG_ALLOC_GLOBAL | ZEND_JIT_CPU_AVX;
        return SUCCESS;
    } else  {
        char *end;
        zend_long num = ZEND_STRTOL(ZSTR_VAL(jit), &end, 10);
        if (end != ZSTR_VAL(jit) + ZSTR_LEN(jit) || zend_jit_parse_config_num(num) != SUCCESS) {
            goto failure;
        }
        JIT_G(enabled) = 1;
        return SUCCESS;
    }
 
failure:
    zend_error(E_WARNING, "Invalid \"opcache.jit\" setting. Should be \"disable\", \"on\", \"off\", \"tracing\", \"function\" or 4-digit number");
    JIT_G(enabled) = 0;
    JIT_G(on) = 0;
    return FAILURE;
}
 
int zend_jit_debug_config(zend_long old_val, zend_long new_val, int stage)
{
    if (stage != ZEND_INI_STAGE_STARTUP) {
        if (((old_val ^ new_val) & ZEND_JIT_DEBUG_PERSISTENT) != 0) {
            if (stage == ZEND_INI_STAGE_RUNTIME) {
                zend_error(E_WARNING, "Some opcache.jit_debug bits cannot be changed after startup");
            }
            return FAILURE;
        }
    }
    return SUCCESS;
}
 
void zend_jit_init(void)
{
#ifdef ZTS
    jit_globals_id = ts_allocate_id(&jit_globals_id, sizeof(zend_jit_globals), (ts_allocate_ctor) zend_jit_globals_ctor, (ts_allocate_dtor) zend_jit_globals_dtor);
#else
    zend_jit_globals_ctor(&jit_globals);
#endif
}
 
int zend_jit_check_support(void)
{
    int i;
 
    zend_jit_vm_kind = zend_vm_kind();
    if (zend_jit_vm_kind != ZEND_VM_KIND_CALL &&
        zend_jit_vm_kind != ZEND_VM_KIND_HYBRID) {
        zend_error(E_WARNING, "JIT is compatible only with CALL and HYBRID VM. JIT disabled.");
        JIT_G(enabled) = 0;
        JIT_G(on) = 0;
        return FAILURE;
    }
 
    if (zend_execute_ex != execute_ex) {
        if (zend_dtrace_enabled) {
            zend_error(E_WARNING, "JIT is incompatible with DTrace. JIT disabled.");
        } else if (strcmp(sapi_module.name, "phpdbg") != 0) {
            zend_error(E_WARNING, "JIT is incompatible with third party extensions that override zend_execute_ex(). JIT disabled.");
        }
        JIT_G(enabled) = 0;
        JIT_G(on) = 0;
        return FAILURE;
    }
 
    for (i = 0; i <= 256; i++) {
        switch (i) {
            /* JIT has no effect on these opcodes */
            case ZEND_BEGIN_SILENCE:
            case ZEND_END_SILENCE:
                break;
            default:
                if (zend_get_user_opcode_handler(i) != NULL) {
                    zend_error(E_WARNING, "JIT is incompatible with third party extensions that setup user opcode handlers. JIT disabled.");
                    JIT_G(enabled) = 0;
                    JIT_G(on) = 0;
                    return FAILURE;
                }
        }
    }
 
#if defined(IR_TARGET_AARCH64)
    if (JIT_G(buffer_size) > 128*1024*1024) {
        zend_error(E_WARNING, "JIT on AArch64 doesn't support opcache.jit_buffer_size above 128M.");
        JIT_G(enabled) = 0;
        JIT_G(on) = 0;
        return FAILURE;
    }
#elif defined(IR_TARGET_X64)
    if (JIT_G(buffer_size) > 2 * Z_L(1024*1024*1024)) {
        zend_error(E_WARNING, "JIT on x86_64 doesn't support opcache.jit_buffer_size above 2G.");
        JIT_G(enabled) = 0;
        JIT_G(on) = 0;
        return FAILURE;
    }
#endif
 
    return SUCCESS;
}
 
void zend_jit_startup(void *buf, size_t size, bool reattached)
{
    zend_jit_halt_op = zend_get_halt_op();
    zend_jit_profile_counter_rid = zend_get_op_array_extension_handle(ACCELERATOR_PRODUCT_NAME);
 
#ifdef HAVE_PTHREAD_JIT_WRITE_PROTECT_NP
    zend_write_protect = pthread_jit_write_protect_supported_np();
#endif
 
    dasm_buf = buf;
    dasm_size = size;
    dasm_ptr = dasm_end = (void*)(((char*)dasm_buf) + size - sizeof(*dasm_ptr) * 2);
 
#ifdef HAVE_MPROTECT
#ifdef HAVE_PTHREAD_JIT_WRITE_PROTECT_NP
    if (zend_write_protect) {
        pthread_jit_write_protect_np(1);
    }
#endif
    if (JIT_G(debug) & (ZEND_JIT_DEBUG_GDB|ZEND_JIT_DEBUG_PERF_DUMP)) {
        if (mprotect(dasm_buf, dasm_size, PROT_READ | PROT_WRITE | PROT_EXEC) != 0) {
            fprintf(stderr, "mprotect() failed [%d] %s\n", errno, strerror(errno));
        }
    } else {
        if (mprotect(dasm_buf, dasm_size, PROT_READ | PROT_EXEC) != 0) {
            fprintf(stderr, "mprotect() failed [%d] %s\n", errno, strerror(errno));
        }
    }
#elif defined(_WIN32)
    if (JIT_G(debug) & (ZEND_JIT_DEBUG_GDB|ZEND_JIT_DEBUG_PERF_DUMP)) {
        DWORD old;
 
        if (!VirtualProtect(dasm_buf, dasm_size, PAGE_EXECUTE_READWRITE, &old)) {
            DWORD err = GetLastError();
            char *msg = php_win32_error_to_msg(err);
            fprintf(stderr, "VirtualProtect() failed [%u] %s\n", err, msg);
            php_win32_error_msg_free(msg);
        }
    } else {
        DWORD old;
 
        if (!VirtualProtect(dasm_buf, dasm_size, PAGE_EXECUTE_READ, &old)) {
            DWORD err = GetLastError();
            char *msg = php_win32_error_to_msg(err);
            fprintf(stderr, "VirtualProtect() failed [%u] %s\n", err, msg);
            php_win32_error_msg_free(msg);
        }
    }
#endif
 
    if (!reattached) {
        zend_jit_unprotect();
        *dasm_ptr = dasm_buf;
#if defined(_WIN32)
        zend_jit_stub_handlers = dasm_buf;
        *dasm_ptr = (void**)*dasm_ptr + sizeof(zend_jit_stubs) / sizeof(zend_jit_stubs[0]);
#elif defined(IR_TARGET_AARCH64)
        zend_jit_stub_handlers = dasm_buf;
        *dasm_ptr = (void**)*dasm_ptr + (sizeof(zend_jit_stubs) / sizeof(zend_jit_stubs[0])) * 2;
        memset(zend_jit_stub_handlers, 0, (sizeof(zend_jit_stubs) / sizeof(zend_jit_stubs[0])) * 2 * sizeof(void*));
#endif
        *dasm_ptr = (void*)ZEND_MM_ALIGNED_SIZE_EX(((size_t)(*dasm_ptr)), 16);
        zend_jit_protect();
    } else {
#if defined(_WIN32) || defined(IR_TARGET_AARCH64)
        zend_jit_stub_handlers = dasm_buf;
        zend_jit_init_handlers();
#endif
    }
 
    zend_jit_unprotect();
    zend_jit_setup(reattached);
    zend_jit_protect();
    if (!reattached) {
        zend_jit_init_handlers();
    }
 
    zend_jit_trace_startup(reattached);
 
    zend_jit_unprotect();
    /* save JIT buffer pos */
    dasm_ptr[1] = dasm_ptr[0];
    zend_jit_protect();
}
 
void zend_jit_shutdown(void)
{
    if (JIT_G(debug) & ZEND_JIT_DEBUG_SIZE && dasm_ptr != NULL) {
        fprintf(stderr, "\nJIT memory usage: %td\n", (ptrdiff_t)((char*)*dasm_ptr - (char*)dasm_buf));
    }
 
    zend_jit_shutdown_ir();
 
#ifdef ZTS
    ts_free_id(jit_globals_id);
#else
    zend_jit_trace_free_caches(&jit_globals);
#endif
}
 
static void zend_jit_reset_counters(void)
{
    int i;
 
    for (i = 0; i < ZEND_HOT_COUNTERS_COUNT; i++) {
        zend_jit_hot_counters[i] = ZEND_JIT_COUNTER_INIT;
    }
}
 
void zend_jit_activate(void)
{
#ifdef ZTS
    if (!zend_jit_startup_ok) {
        JIT_G(enabled) = 0;
        JIT_G(on) = 0;
        return;
    }
#endif
    zend_jit_profile_counter = 0;
    if (JIT_G(on)) {
        if (JIT_G(trigger) == ZEND_JIT_ON_HOT_COUNTERS) {
            zend_jit_reset_counters();
        } else if (JIT_G(trigger) == ZEND_JIT_ON_HOT_TRACE) {
            zend_jit_reset_counters();
            zend_jit_trace_reset_caches();
        }
    }
}
 
void zend_jit_deactivate(void)
{
    if (zend_jit_profile_counter && !CG(unclean_shutdown)) {
        zend_class_entry *ce;
 
        zend_shared_alloc_lock();
        SHM_UNPROTECT();
        zend_jit_unprotect();
 
        zend_jit_check_funcs(EG(function_table), 0);
        ZEND_HASH_MAP_REVERSE_FOREACH_PTR(EG(class_table), ce) {
            if (ce->type == ZEND_INTERNAL_CLASS) {
                break;
            }
            zend_jit_check_funcs(&ce->function_table, 1);
        } ZEND_HASH_FOREACH_END();
 
        zend_jit_protect();
        SHM_PROTECT();
        zend_shared_alloc_unlock();
    }
 
    zend_jit_profile_counter = 0;
}
 
static void zend_jit_restart_preloaded_op_array(zend_op_array *op_array)
{
    zend_func_info *func_info = ZEND_FUNC_INFO(op_array);
 
    if (!func_info) {
        return;
    }
 
    if (func_info->flags & ZEND_FUNC_JIT_ON_HOT_TRACE) {
        zend_jit_restart_hot_trace_counters(op_array);
    } else if (func_info->flags & ZEND_FUNC_JIT_ON_HOT_COUNTERS) {
        zend_jit_restart_hot_counters(op_array);
#if 0
    // TODO: We have to restore handlers for some inner basic-blocks, but we didn't store them ???
    } else if (func_info->flags & (ZEND_FUNC_JIT_ON_FIRST_EXEC|ZEND_FUNC_JIT_ON_PROF_REQUEST)) {
        zend_op *opline = op_array->opcodes;
        zend_jit_op_array_extension *jit_extension =
            (zend_jit_op_array_extension*)func_info;
 
        if (!(op_array->fn_flags & ZEND_ACC_HAS_TYPE_HINTS)) {
            while (opline->opcode == ZEND_RECV || opline->opcode == ZEND_RECV_INIT) {
                opline++;
            }
        }
        if (func_info->flags & ZEND_FUNC_JIT_ON_FIRST_EXEC) {
            opline->handler = (const void*)zend_jit_runtime_jit_handler;
        } else {
            opline->handler = (const void*)zend_jit_profile_jit_handler;
        }
#endif
    }
    if (op_array->num_dynamic_func_defs) {
        for (uint32_t i = 0; i < op_array->num_dynamic_func_defs; i++) {
            zend_jit_restart_preloaded_op_array(op_array->dynamic_func_defs[i]);
        }
    }
}
 
static void zend_jit_restart_preloaded_script(zend_persistent_script *script)
{
    zend_class_entry *ce;
    zend_op_array *op_array;
 
    zend_jit_restart_preloaded_op_array(&script->script.main_op_array);
 
    ZEND_HASH_MAP_FOREACH_PTR(&script->script.function_table, op_array) {
        zend_jit_restart_preloaded_op_array(op_array);
    } ZEND_HASH_FOREACH_END();
 
    ZEND_HASH_MAP_FOREACH_PTR(&script->script.class_table, ce) {
        ZEND_HASH_MAP_FOREACH_PTR(&ce->function_table, op_array) {
            if (op_array->type == ZEND_USER_FUNCTION) {
                zend_jit_restart_preloaded_op_array(op_array);
            }
        } ZEND_HASH_FOREACH_END();
    } ZEND_HASH_FOREACH_END();
}
 
void zend_jit_restart(void)
{
    if (dasm_buf) {
        zend_jit_unprotect();
 
        /* restore JIT buffer pos */
        dasm_ptr[0] = dasm_ptr[1];
 
        zend_jit_trace_restart();
 
        if (ZCSG(preload_script)) {
            zend_jit_restart_preloaded_script(ZCSG(preload_script));
            if (ZCSG(saved_scripts)) {
                zend_persistent_script **p = ZCSG(saved_scripts);
 
                while (*p) {
                    zend_jit_restart_preloaded_script(*p);
                    p++;
                }
            }
        }
 
        zend_jit_protect();
    }
}
 
#endif /* HAVE_JIT */