diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-10-03 15:43:17 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-10-03 15:43:17 +0200 |
| commit | f7010e83987f5b6c3ea241256ae0645be8ed9d19 (patch) | |
| tree | 42cdc13ad480ad6bf87d9457c5f02ee6887fa78d /testsuite/tests/asmgen/checkbound.cmm | |
| parent | 715fbc49c6ccc19baac8b04e1c45941963798449 (diff) | |
| download | ocaml-f7010e83987f5b6c3ea241256ae0645be8ed9d19.tar.gz | |
Split C-- tests off tests/asmcomp and into tests/asmgen
tests/asmgen contains the custom C-- code generator and the tests written in C--
tests/asmcomp contains the tests written in OCaml
The purpose of this split is to make it easier to skip or remove entirely the asmgen tests in the future, and to adapt the other tests to the new test infrastructure.
Also: modernize the asm stubs in asmgen and remove the stubs for no-longer-supported architectures.
Diffstat (limited to 'testsuite/tests/asmgen/checkbound.cmm')
| -rw-r--r-- | testsuite/tests/asmgen/checkbound.cmm | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/testsuite/tests/asmgen/checkbound.cmm b/testsuite/tests/asmgen/checkbound.cmm new file mode 100644 index 0000000000..35206f25bb --- /dev/null +++ b/testsuite/tests/asmgen/checkbound.cmm @@ -0,0 +1,20 @@ +(**************************************************************************) +(* *) +(* 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 "checkbound2" (x: int y: int) + (checkbound x y)) + +(function "checkbound1" (x: int) + (checkbound x 2)) |