aboutsummaryrefslogtreecommitdiffstats
path: root/test/cminor/manyargs.cm
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2017-02-15 09:58:44 +0100
committerXavier Leroy <xavier.leroy@inria.fr>2017-02-15 09:58:44 +0100
commit4ac453011fb3ee241c6f3023f79c942d99f72eb5 (patch)
tree00b4ef5e0be846f62e49c9af68a06a01fc9ae065 /test/cminor/manyargs.cm
parent29653baeb2c7fa6bfe5da031622d8fb8ac1e50c3 (diff)
downloadcompcert-4ac453011fb3ee241c6f3023f79c942d99f72eb5.tar.gz
compcert-4ac453011fb3ee241c6f3023f79c942d99f72eb5.zip
Remove tests involving Cminor concrete syntax. Update Changelog
Follow-up to [29653ba]
Diffstat (limited to 'test/cminor/manyargs.cm')
-rw-r--r--test/cminor/manyargs.cm53
1 files changed, 0 insertions, 53 deletions
diff --git a/test/cminor/manyargs.cm b/test/cminor/manyargs.cm
deleted file mode 100644
index 97b16626..00000000
--- a/test/cminor/manyargs.cm
+++ /dev/null
@@ -1,53 +0,0 @@
-"f" (i1, i2, i3, i4, i5,
- i6, i7, i8, i9, i10,
- f1, f2, f3, f4, f5,
- f6, f7, f8, f9, f10,
- f11, f12, f13, f14, f15):
- int -> int -> int -> int -> int ->
- int -> int -> int -> int -> int ->
- float -> float -> float -> float -> float ->
- float -> float -> float -> float -> float ->
- float -> float -> float -> float -> float -> void
-{
- "print_int"(i1): int -> void;
- "print_int"(i2): int -> void;
- "print_int"(i3): int -> void;
- "print_int"(i4): int -> void;
- "print_int"(i5): int -> void;
- "print_int"(i6): int -> void;
- "print_int"(i7): int -> void;
- "print_int"(i8): int -> void;
- "print_int"(i9): int -> void;
- "print_int"(i10): int -> void;
- "print_float"(f1): float -> void;
- "print_float"(f2): float -> void;
- "print_float"(f3): float -> void;
- "print_float"(f4): float -> void;
- "print_float"(f5): float -> void;
- "print_float"(f6): float -> void;
- "print_float"(f7): float -> void;
- "print_float"(f8): float -> void;
- "print_float"(f9): float -> void;
- "print_float"(f10): float -> void;
- "print_float"(f11): float -> void;
- "print_float"(f12): float -> void;
- "print_float"(f13): float -> void;
- "print_float"(f14): float -> void;
- "print_float"(f15): float -> void;
-}
-
-"g" (i1, i2, i3, i4, i5,
- f1, f2, f3, f4, f5):
- int -> int -> int -> int -> int ->
- float -> float -> float -> float -> float -> void
-{
- "f"(i1,i2,i3,i4,i5, i1,i2,i3,i4,i5,
- f1,f2,f3,f4,f5, f1,f2,f3,f4,f5, f1,f2,f3,f4,f5):
- int -> int -> int -> int -> int ->
- int -> int -> int -> int -> int ->
- float -> float -> float -> float -> float ->
- float -> float -> float -> float -> float ->
- float -> float -> float -> float -> float -> void;
-
-}
-