PHP ats2phppre_add_int1_int1 Examples

Example #1

File: fibats_dats.php Project: smurphy8/ATS-Postiats-contrib

function fibats__loop_1($arg0, $arg1, $arg2)
{
    /*
      // $apy0
      // $apy1
      // $apy2
      // $tmpret1
      // $tmp2
      // $tmp3
      // $tmp4
    */
    __patsflab_fibats__loop_1:
    $tmp2 = ats2phppre_gt_int1_int1($arg0, 0);
    if ($tmp2) {
        $tmp3 = ats2phppre_sub_int1_int1($arg0, 1);
        $tmp4 = ats2phppre_add_int1_int1($arg1, $arg2);
        // ATStailcalseq_beg
        $apy0 = $tmp3;
        $apy1 = $arg2;
        $apy2 = $tmp4;
        $arg0 = $apy0;
        $arg1 = $apy1;
        $arg2 = $apy2;
        goto __patsflab_fibats__loop_1;
        // ATStailcalseq_end
    } else {
        $tmpret1 = $arg1;
    }
    // endif
    return $tmpret1;
}

Example #2

File: libatscc2php_all.php Project: Charon-Shi/ats-lang.github.io

function _ats2phppre_intrange_aux_16($env0, $env1, $arg0)
{
    /*
      // $tmpret20
      // $tmp21
      // $tmp22
      // $tmp23
      // $tmp24
    */
    __patsflab__ats2phppre_intrange_aux_16:
    $tmp21 = ats2phppre_lt_int1_int1($arg0, $env0);
    if ($tmp21) {
        $tmp22 = $env1[0]($env1, $arg0);
        $tmp24 = ats2phppre_add_int1_int1($arg0, 1);
        $tmp23 = _ats2phppre_intrange_aux_16($env0, $env1, $tmp24);
        $tmpret20 = array($tmp22, $tmp23);
    } else {
        $tmpret20 = null;
    }
    // endif
    return $tmpret20;
}

Example #3

File: libatscc2php_all.php Project: smurphy8/ATS-Postiats-contrib

function _ats2phppre_list_loop_1($arg0, $arg1)
{
    /*
      // $apy0
      // $apy1
      // $tmpret1
      // $tmp3
      // $tmp4
    */
    __patsflab__ats2phppre_list_loop_1:
    // ATScaseofseq_beg
    do {
        // ATSbranchseq_beg
        __atstmplab0:
        if (ATSCKptrisnull($arg0)) {
            goto __atstmplab2;
        }
        __atstmplab1:
        $tmp3 = $arg0[1];
        $tmp4 = ats2phppre_add_int1_int1($arg1, 1);
        // ATStailcalseq_beg
        $apy0 = $tmp3;
        $apy1 = $tmp4;
        $arg0 = $apy0;
        $arg1 = $apy1;
        goto __patsflab__ats2phppre_list_loop_1;
        // ATStailcalseq_end
        break;
        // ATSbranchseq_end
        // ATSbranchseq_beg
        __atstmplab2:
        $tmpret1 = $arg1;
        break;
        // ATSbranchseq_end
    } while (0);
    // ATScaseofseq_end
    return $tmpret1;
}