aboutsummaryrefslogtreecommitdiffstats
path: root/test/mppa
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2018-04-04 16:21:02 +0200
committerCyril SIX <cyril.six@kalray.eu>2018-04-04 16:30:10 +0200
commit17c38f7c4a01cbe5cf20a4f8d5f5d8c0ca888855 (patch)
tree856557256ac7473309c7580d0b657a81647bafd5 /test/mppa
parentd72fcc2c96f665d0c7608797b1707f2d19daa892 (diff)
downloadcompcert-kvx-17c38f7c4a01cbe5cf20a4f8d5f5d8c0ca888855.tar.gz
compcert-kvx-17c38f7c4a01cbe5cf20a4f8d5f5d8c0ca888855.zip
MPPA - added test forvarl.c
Diffstat (limited to 'test/mppa')
-rw-r--r--test/mppa/Makefile2
-rw-r--r--test/mppa/forvarl.c11
2 files changed, 12 insertions, 1 deletions
diff --git a/test/mppa/Makefile b/test/mppa/Makefile
index be8eaab2..07224dc8 100644
--- a/test/mppa/Makefile
+++ b/test/mppa/Makefile
@@ -1,4 +1,4 @@
-TESTS=simple call branch for forvar
+TESTS=simple call branch for forvar forvarl
ELF=$(addsuffix .bin,$(TESTS))
ASM=$(addsuffix .s,$(TESTS))
diff --git a/test/mppa/forvarl.c b/test/mppa/forvarl.c
new file mode 100644
index 00000000..90de7411
--- /dev/null
+++ b/test/mppa/forvarl.c
@@ -0,0 +1,11 @@
+int main(void)
+{
+ long long int a = 42;
+ long long int b = 84;
+ long long int i;
+
+ for (i = 0 ; i < a ; i++)
+ b++;
+
+ return 0;
+}