aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2020-04-21 18:18:52 +0200
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2020-04-21 18:18:52 +0200
commitb17a25bae0f9580caadfa5f795a3c12a050075f5 (patch)
treed6c8b76e8f97e1adeb28234c864f1576f2a57e54 /test/monniaux
parent71509473c434483d6fb7901795a1004cf272680c (diff)
parente7ce7b5c9cf0d03c8ffdde8fe433e586142821a6 (diff)
downloadcompcert-kvx-b17a25bae0f9580caadfa5f795a3c12a050075f5.tar.gz
compcert-kvx-b17a25bae0f9580caadfa5f795a3c12a050075f5.zip
Merge remote-tracking branch 'origin/mppa-licm' into mppa-features
Diffstat (limited to 'test/monniaux')
-rw-r--r--test/monniaux/licm/addv.c6
1 files changed, 6 insertions, 0 deletions
diff --git a/test/monniaux/licm/addv.c b/test/monniaux/licm/addv.c
new file mode 100644
index 00000000..bb0098d0
--- /dev/null
+++ b/test/monniaux/licm/addv.c
@@ -0,0 +1,6 @@
+void addv(double x, double y, int n, int *z)
+{
+ for(int i=0; i<n; i++) {
+ z[i] += (int) (x*y);
+ }
+}