function acker($arg0, $arg1) { /* // $apy0 // $apy1 // $tmpret0 // $tmp1 // $tmp2 // $tmp3 // $tmp4 */ __patsflab_acker: // ATScaseofseq_beg do { // ATSbranchseq_beg __atstmplab0: if (!ATSCKpat_int($arg0, 0)) { goto __atstmplab2; } __atstmplab1: $tmpret0 = ats2phppre_add_int0_int0($arg1, 1); break; // ATSbranchseq_end // ATSbranchseq_beg __atstmplab2: if (!ATSCKpat_int($arg1, 0)) { goto __atstmplab4; } __atstmplab3: $tmp1 = ats2phppre_sub_int0_int0($arg0, 1); // ATStailcalseq_beg $apy0 = $tmp1; $apy1 = 1; $arg0 = $apy0; $arg1 = $apy1; goto __patsflab_acker; // ATStailcalseq_end break; // ATSbranchseq_end // ATSbranchseq_beg __atstmplab4: $tmp2 = ats2phppre_sub_int0_int0($arg0, 1); $tmp4 = ats2phppre_sub_int0_int0($arg1, 1); $tmp3 = acker($arg0, $tmp4); // ATStailcalseq_beg $apy0 = $tmp2; $apy1 = $tmp3; $arg0 = $apy0; $arg1 = $apy1; goto __patsflab_acker; // ATStailcalseq_end break; // ATSbranchseq_end } while (0); // ATScaseofseq_end return $tmpret0; }
require './libatscc2php/DATS/reference_dats.php'; // echo "fact(10) = "; echo fact(10); echo "\n"; flush(); echo "fact2(10) = "; echo fact2(10); echo "\n"; flush(); echo "fibats(20) = "; echo fibats(20); echo "\n"; flush(); echo "acker(3, 3) = "; echo acker(3, 3); echo "\n"; flush(); echo "isevn(1000) = "; echo isevn(1000); echo "\n"; flush(); echo "isodd(1001) = "; echo isodd(1001); echo "\n"; flush(); // multable_test(); // twice_test(); rtfind_test();
$fact_arg = intval($_REQUEST["fact_arg"]); $fibats_arg = intval($_REQUEST["fibats_arg"]); $acker_arg1 = intval($_REQUEST["acker_arg1"]); $acker_arg2 = intval($_REQUEST["acker_arg2"]); // echo "<p>Your order has been fulfilled as follows:"; echo "<br>"; echo "<br>"; // echo "fact({$fact_arg}) = ", fact($fact_arg); echo "<br>"; echo "<br>"; // echo "fibats({$fibats_arg}) = ", fibats($fibats_arg); echo "<br>"; echo "<br>"; // echo "acker({$acker_arg1}, {$acker_arg2}) = ", acker($acker_arg1, $acker_arg2); echo "<br>"; // echo "<hr>"; // echo "<p>Your order is processed at "; echo date("H:i, F jS, Y"); echo "<br>"; // ?> </body> </html>