blob: 8bb28a0ee02b104c57de3f86edf819ac3a3c1822 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
(* TEST
readonly_files = "main.c"
arguments = "-DUNIT_INT -DFUN=takmain main.c"
* asmgen
*)
(**************************************************************************)
(* *)
(* OCaml *)
(* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *)
(* Copyright 1996 Institut National de Recherche en Informatique et *)
(* en Automatique. *)
(* *)
(* All rights reserved. This file is distributed under the terms of *)
(* the GNU Lesser General Public License version 2.1, with the *)
(* special exception on linking described in the file LICENSE. *)
(* *)
(**************************************************************************)
(function "tak" (x:int y:int z:int)
(if (> x y)
(app "tak" (app "tak" (- x 2) y z int)
(app "tak" (- y 2) z x int)
(app "tak" (- z 2) x y int) int)
z))
(function "takmain" (dummy: int)
(app "tak" 37 25 13 int))
|
