static zend_always_inline int fast_add_function(zval *result, zval *op1, zval *op2 TSRMLS_DC)
597{
598    if (EXPECTED(Z_TYPE_P(op1) == IS_LONG)) {
599        if (EXPECTED(Z_TYPE_P(op2) == IS_LONG)) {
600#if defined(__GNUC__) && defined(__i386__)
601        __asm__(
602            "movl    (%1), %%eax\n\t"
603            "addl   (%2), %%eax\n\t"
604            "jo     0f\n\t"
605            "movl   %%eax, (%0)\n\t"
606            "movb   %3, %c5(%0)\n\t"
607            "jmp    1f\n"
608            "0:\n\t"
609            "fildl    (%1)\n\t"
610            "fildl    (%2)\n\t"
611            "faddp    %%st, %%st(1)\n\t"
612            "movb   %4, %c5(%0)\n\t"
613            "fstpl    (%0)\n"
614            "1:"
615            :
616            : "r"(&result->value),
617              "r"(&op1->value),
618              "r"(&op2->value),
619              "n"(IS_LONG),
620              "n"(IS_DOUBLE),
621              "n"(ZVAL_OFFSETOF_TYPE)
622            : "eax","cc");
623#elif defined(__GNUC__) && defined(__x86_64__)
624        __asm__(
625            "movq    (%1), %%rax\n\t"
626            "addq   (%2), %%rax\n\t"
627            "jo     0f\n\t"
628            "movq   %%rax, (%0)\n\t"
629            "movb   %3, %c5(%0)\n\t"
630            "jmp    1f\n"
631            "0:\n\t"
632            "fildq    (%1)\n\t"
633            "fildq    (%2)\n\t"
634            "faddp    %%st, %%st(1)\n\t"
635            "movb   %4, %c5(%0)\n\t"
636            "fstpl    (%0)\n"
637            "1:"
638            :
639            : "r"(&result->value),
640              "r"(&op1->value),
641              "r"(&op2->value),
642              "n"(IS_LONG),
643              "n"(IS_DOUBLE),
644              "n"(ZVAL_OFFSETOF_TYPE)
645            : "rax","cc");
646#else
647            /*
648             * 'result' may alias with op1 or op2, so we need to
649             * ensure that 'result' is not updated until after we
650             * have read the values of op1 and op2.
651             */
652
653            if (UNEXPECTED((Z_LVAL_P(op1) & LONG_SIGN_MASK) == (Z_LVAL_P(op2) & LONG_SIGN_MASK)
654                && (Z_LVAL_P(op1) & LONG_SIGN_MASK) != ((Z_LVAL_P(op1) + Z_LVAL_P(op2)) & LONG_SIGN_MASK))) {
655                Z_DVAL_P(result) = (double) Z_LVAL_P(op1) + (double) Z_LVAL_P(op2);
656                Z_TYPE_P(result) = IS_DOUBLE;
657            } else {
658                Z_LVAL_P(result) = Z_LVAL_P(op1) + Z_LVAL_P(op2);
659                Z_TYPE_P(result) = IS_LONG;
660            }
661#endif
662            return SUCCESS;
663        } else if (EXPECTED(Z_TYPE_P(op2) == IS_DOUBLE)) {
664            Z_DVAL_P(result) = ((double)Z_LVAL_P(op1)) + Z_DVAL_P(op2);
665            Z_TYPE_P(result) = IS_DOUBLE;
666            return SUCCESS;
667        }
668    } else if (EXPECTED(Z_TYPE_P(op1) == IS_DOUBLE)) {
669        if (EXPECTED(Z_TYPE_P(op2) == IS_DOUBLE)) {
670            Z_DVAL_P(result) = Z_DVAL_P(op1) + Z_DVAL_P(op2);
671            Z_TYPE_P(result) = IS_DOUBLE;
672            return SUCCESS;
673        } else if (EXPECTED(Z_TYPE_P(op2) == IS_LONG)) {
674            Z_DVAL_P(result) = Z_DVAL_P(op1) + ((double)Z_LVAL_P(op2));
675            Z_TYPE_P(result) = IS_DOUBLE;
676            return SUCCESS;
677        }
678    }
679    return add_function(result, op1, op2 TSRMLS_CC);
680}

#define LONG_SIGN_MASK (1L << (8*sizeof(long)-1))