aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux
diff options
context:
space:
mode:
authorDavid Monniaux <David.Monniaux@univ-grenoble-alpes.fr>2021-09-17 11:15:32 +0200
committerDavid Monniaux <David.Monniaux@univ-grenoble-alpes.fr>2021-09-17 11:15:32 +0200
commit81a2cfe0971ca2456ff04c1e661b9a56279728ac (patch)
tree2a3c76e1e96f3ed60d3f2865a8dfe89846b5c62e /test/monniaux
parentfccfa9b6ac74953af188a2538eb9cd7258544c1a (diff)
downloadcompcert-kvx-81a2cfe0971ca2456ff04c1e661b9a56279728ac.tar.gz
compcert-kvx-81a2cfe0971ca2456ff04c1e661b9a56279728ac.zip
test for many parameters
Diffstat (limited to 'test/monniaux')
-rw-r--r--test/monniaux/params/call_many.c313
1 files changed, 0 insertions, 313 deletions
diff --git a/test/monniaux/params/call_many.c b/test/monniaux/params/call_many.c
deleted file mode 100644
index 4d2529c0..00000000
--- a/test/monniaux/params/call_many.c
+++ /dev/null
@@ -1,313 +0,0 @@
-#include <stdio.h>
-
-int call1(
- int call00,
- int call01,
- int call02,
- int call03,
- int call04,
- int call05,
- int call06,
- int call07,
- int call08,
- int call09,
- int call10,
- int call11,
- int call12,
- int call13,
- int call14,
- int call15,
- int call16,
- int call17,
- int call18,
- int call19,
- int call20,
- int call21,
- int call22,
- int call23,
- int call24,
- int call25,
- int call26,
- int call27,
- int call28,
- int call29,
- int call30,
- int call31,
- int call32,
- int call33,
- int call34,
- int call35,
- int call36,
- int call37,
- int call38,
- int call39,
- int call40,
- int call41,
- int call42,
- int call43,
- int call44,
- int call45,
- int call46,
- int call47,
- int call48,
- int call49,
- int call50,
- int call51,
- int call52,
- int call53,
- int call54,
- int call55,
- int call56,
- int call57,
- int call58,
- int call59) {
- return ( call00
- + call01
- + call02
- + call03
- + call04
- + call05
- + call06
- + call07
- + call08
- + call09
- + call10
- + call11
- + call12
- + call13
- + call14
- + call15
- + call16
- + call17
- + call18
- + call19
- + call20
- + call21
- + call22
- + call23
- + call24
- + call25
- + call26
- + call27
- + call28
- + call29
- + call30
- + call31
- + call32
- + call33
- + call34
- + call35
- + call36
- + call37
- + call38
- + call39
- + call40
- + call41
- + call42
- + call43
- + call44
- + call45
- + call46
- + call47
- + call48
- + call49
- + call50
- + call51
- + call52
- + call53
- + call54
- + call55
- + call56
- + call57
- + call58
- + call59);
-}
-
-int call2(
- int call00,
- int call01,
- int call02,
- int call03,
- int call04,
- int call05,
- int call06,
- int call07,
- int call08,
- int call09,
- int call10,
- int call11,
- int call12,
- int call13,
- int call14,
- int call15,
- int call16,
- int call17,
- int call18,
- int call19,
- int call20,
- int call21,
- int call22,
- int call23,
- int call24,
- int call25,
- int call26,
- int call27,
- int call28,
- int call29,
- int call30,
- int call31,
- int call32,
- int call33,
- int call34,
- int call35,
- int call36,
- int call37,
- int call38,
- int call39,
- int call40,
- int call41,
- int call42,
- int call43,
- int call44,
- int call45,
- int call46,
- int call47,
- int call48,
- int call49,
- int call50,
- int call51,
- int call52,
- int call53,
- int call54,
- int call55,
- int call56,
- int call57,
- int call58,
- int call59) {
- return 10 + call1(
- call00,
- call01,
- call02,
- call03,
- call04,
- call05,
- call06,
- call07,
- call08,
- call09,
- call10,
- call11,
- call12,
- call13,
- call14,
- call15,
- call16,
- call17,
- call18,
- call19,
- call20,
- call21,
- call22,
- call23,
- call24,
- call25,
- call26,
- call27,
- call28,
- call29,
- call30,
- call31,
- call32,
- call33,
- call34,
- call35,
- call36,
- call37,
- call38,
- call39,
- call40,
- call41,
- call42,
- call43,
- call44,
- call45,
- call46,
- call47,
- call48,
- call49,
- call50,
- call51,
- call52,
- call53,
- call54,
- call55,
- call56,
- call57,
- call58,
- call59);
-}
-
-int main() {
- int x =
- call2( 0,
- 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,
- 31,
- 32,
- 33,
- 34,
- 35,
- 36,
- 37,
- 38,
- 39,
- 40,
- 41,
- 42,
- 43,
- 44,
- 45,
- 46,
- 47,
- 48,
- 49,
- 50,
- 51,
- 52,
- 53,
- 54,
- 55,
- 56,
- 57,
- 58,
- 59);
- printf("%d\n", x);
-}