aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/moves/array.c
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2020-01-22 16:42:23 +0100
committerCyril SIX <cyril.six@kalray.eu>2020-01-22 16:42:23 +0100
commit89e029310d175ee7ddbb157494bac46a08304b19 (patch)
treebd516047d1cea2be0141d00c1a18e440f4f368aa /test/monniaux/moves/array.c
parent60c15c9d1105dc2e53c17b3fb28ee9cc4716cbc6 (diff)
parentfd2181ce5f6a3a5ba27349d1642ee4c59a6d9b34 (diff)
downloadcompcert-kvx-89e029310d175ee7ddbb157494bac46a08304b19.tar.gz
compcert-kvx-89e029310d175ee7ddbb157494bac46a08304b19.zip
Merge branch 'mppa-work' into mppa-duplicate-oracle
Diffstat (limited to 'test/monniaux/moves/array.c')
-rw-r--r--test/monniaux/moves/array.c18
1 files changed, 18 insertions, 0 deletions
diff --git a/test/monniaux/moves/array.c b/test/monniaux/moves/array.c
new file mode 100644
index 00000000..faa1d96b
--- /dev/null
+++ b/test/monniaux/moves/array.c
@@ -0,0 +1,18 @@
+void incr_double_array(double *t) {
+ double x0 = 1.0;
+ double t0 = t[0];
+ double x1 = 1.0;
+ double t1 = t[1];
+ double x2 = 1.0;
+ double t2 = t[2];
+ double x3 = 1.0;
+ double t3 = t[3];
+ t0 = t0 + x0;
+ t1 = t1 + x1;
+ t2 = t2 + x2;
+ t3 = t3 + x3;
+ t[0] = t0;
+ t[1] = t1;
+ t[2] = t2;
+ t[3] = t3;
+}