PHP ats2phppre_gt_int0_int0 Examples

Example #1

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

function loop2_2($env0, $arg0, $arg1)
{
    /*
      // $apy0
      // $apy1
      // $tmp14
      // $tmp16
      // $tmp28
      // $tmp29
    */
    __patsflab_loop2_2:
    $tmp14 = ats2phppre_lt_int0_int0($arg1, $env0);
    if ($tmp14) {
        $tmp16 = ats2phppre_gt_int0_int0($arg1, $arg0);
        if ($tmp16) {
            _057_home_057_hwxi_057_research_057_Postiats_055_contrib_057_git_057_contrib_057_libatscc_057_libatscc2php_057_basics_php_056_sats__echo1__3__3("<td width=5% align=center></td>");
        } else {
            $tmp28 = ats2phppre_mul_int0_int0($arg0, $arg1);
            _057_home_057_hwxi_057_research_057_Postiats_055_contrib_057_git_057_contrib_057_libatscc_057_libatscc2php_057_basics_php_056_sats__echo3__11__1("<td width=5% align=center>", $tmp28, "</td>");
        }
        // endif
        $tmp29 = ats2phppre_add_int0_int0($arg1, 1);
        // ATStailcalseq_beg
        $apy0 = $arg0;
        $apy1 = $tmp29;
        $arg0 = $apy0;
        $arg1 = $apy1;
        goto __patsflab_loop2_2;
        // ATStailcalseq_end
    } else {
        // ATSINSmove_void;
    }
    // endif
    return;
}

Example #2

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

function fact($arg0)
{
    /*
      // $tmpret0
      // $tmp1
      // $tmp2
      // $tmp3
    */
    __patsflab_fact:
    $tmp1 = ats2phppre_gt_int0_int0($arg0, 0);
    if ($tmp1) {
        $tmp3 = ats2phppre_sub_int0_int0($arg0, 1);
        $tmp2 = fact($tmp3);
        $tmpret0 = ats2phppre_mul_int0_int0($arg0, $tmp2);
    } else {
        $tmpret0 = 1;
    }
    // endif
    return $tmpret0;
}

Example #3

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

function _ats2phppre_intrange_loop_2($arg0, $arg1)
{
    /*
      // $apy0
      // $apy1
      // $tmp4
      // $tmp6
    */
    __patsflab__ats2phppre_intrange_loop_2:
    $tmp4 = ats2phppre_gt_int0_int0($arg0, 0);
    if ($tmp4) {
        $arg1[0]($arg1);
        $tmp6 = ats2phppre_sub_int0_int0($arg0, 1);
        // ATStailcalseq_beg
        $apy0 = $tmp6;
        $apy1 = $arg1;
        $arg0 = $apy0;
        $arg1 = $apy1;
        goto __patsflab__ats2phppre_intrange_loop_2;
        // ATStailcalseq_end
    } else {
        // ATSINSmove_void;
    }
    // endif
    return;
}