PHP ats2phppre_gt_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_list_remove_at($arg0, $arg1)
{
    /*
      // $tmpret84
      // $tmp85
      // $tmp86
      // $tmp87
      // $tmp88
      // $tmp89
      // $tmp90
      // $tmp91
      // $tmp92
    */
    __patsflab_list_remove_at:
    $tmp85 = $arg0[0];
    $tmp86 = $arg0[1];
    $tmp87 = ats2phppre_gt_int1_int1($arg1, 0);
    if ($tmp87) {
        $tmp89 = ats2phppre_sub_int1_int1($arg1, 1);
        $tmp88 = ats2phppre_list_remove_at($tmp86, $tmp89);
        $tmp90 = $tmp88[0];
        $tmp91 = $tmp88[1];
        $tmp92 = array($tmp85, $tmp91);
        $tmpret84 = array($tmp90, $tmp92);
    } else {
        $tmpret84 = array($tmp85, $tmp86);
    }
    // endif
    return $tmpret84;
}