diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-02-15 09:58:44 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-02-15 09:58:44 +0100 |
commit | 4ac453011fb3ee241c6f3023f79c942d99f72eb5 (patch) | |
tree | 00b4ef5e0be846f62e49c9af68a06a01fc9ae065 /test/cminor/lists.cm | |
parent | 29653baeb2c7fa6bfe5da031622d8fb8ac1e50c3 (diff) | |
download | compcert-4ac453011fb3ee241c6f3023f79c942d99f72eb5.tar.gz compcert-4ac453011fb3ee241c6f3023f79c942d99f72eb5.zip |
Remove tests involving Cminor concrete syntax. Update Changelog
Follow-up to [29653ba]
Diffstat (limited to 'test/cminor/lists.cm')
-rw-r--r-- | test/cminor/lists.cm | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/test/cminor/lists.cm b/test/cminor/lists.cm deleted file mode 100644 index 6007f3ce..00000000 --- a/test/cminor/lists.cm +++ /dev/null @@ -1,29 +0,0 @@ -/* List manipulations */ - -extern "malloc" : int -> int - -"buildlist"(n): int -> int -{ - var b; - - if (n < 0) return 0; - b = "malloc"(8) : int -> int; - int32[b] = n; - int32[b+4] = "buildlist"(n - 1) : int -> int; - return b; -} - -"reverselist"(l): int -> int -{ - var r, r2; - r = 0; - loop { - if (l == 0) return r; - r2 = "malloc"(8) : int -> int; - int32[r2] = int32[l]; - int32[r2+4] = r; - r = r2; - l = int32[l+4]; - } -} - |