aboutsummaryrefslogtreecommitdiffstats
path: root/test/c/nsieve.c
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-11-13 14:14:17 +0100
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-11-13 14:14:17 +0100
commitf2cf6d4e0600d4a58677a7531e8516a37fe1d0da (patch)
treeadf79d4780ffb2aa8733a70da461239270e5c21e /test/c/nsieve.c
parent24406a351e9d64c2953b0b9fc7ef0b3d79db9b85 (diff)
parent847554275608bafcbfad635684e588501e00ac31 (diff)
downloadcompcert-kvx-f2cf6d4e0600d4a58677a7531e8516a37fe1d0da.tar.gz
compcert-kvx-f2cf6d4e0600d4a58677a7531e8516a37fe1d0da.zip
Merge remote-tracking branch 'origin/mppa-work' into mppa-work-upstream-merge
Diffstat (limited to 'test/c/nsieve.c')
-rw-r--r--test/c/nsieve.c8
1 files changed, 8 insertions, 0 deletions
diff --git a/test/c/nsieve.c b/test/c/nsieve.c
index fc79ba69..3954bcbe 100644
--- a/test/c/nsieve.c
+++ b/test/c/nsieve.c
@@ -29,10 +29,18 @@ static unsigned int nsieve(int m) {
#define NITER 2
int main(int argc, char * argv[]) {
+#ifdef __K1C__
int m = argc < 2 ? 6 : atoi(argv[1]);
+#else
+ int m = argc < 2 ? 9 : atoi(argv[1]);
+#endif
int i, j;
for (i = 0; i < 3; i++) {
+#ifdef __K1C__
int n = 200 << (m-i);
+#else
+ int n = 10000 << (m-i);
+#endif
unsigned count;
for (j = 0; j < NITER; j++) { count = nsieve(n); }
printf("Primes up to %8d %8u\n", n, count);