aboutsummaryrefslogtreecommitdiffstats
path: root/test/mppa
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2018-04-04 13:58:10 +0200
committerCyril SIX <cyril.six@kalray.eu>2018-04-04 16:30:10 +0200
commitca090744f399788a81f103206947d4d56cba9d87 (patch)
tree16462b290e69695be393aa48d44ed0fe9aa8e797 /test/mppa
parent36076263491312d634bd0d39f8de718f32462da2 (diff)
downloadcompcert-kvx-ca090744f399788a81f103206947d4d56cba9d87.tar.gz
compcert-kvx-ca090744f399788a81f103206947d4d56cba9d87.zip
MPPA - Added non immediate comparison
Diffstat (limited to 'test/mppa')
-rw-r--r--test/mppa/Makefile6
-rw-r--r--test/mppa/forvar.c10
2 files changed, 14 insertions, 2 deletions
diff --git a/test/mppa/Makefile b/test/mppa/Makefile
index b1f25ef1..be8eaab2 100644
--- a/test/mppa/Makefile
+++ b/test/mppa/Makefile
@@ -1,5 +1,7 @@
-ELF=simple.bin call.bin branch.bin for.bin
-ASM=$(subst .bin,.s,$(ELF))
+TESTS=simple call branch for forvar
+
+ELF=$(addsuffix .bin,$(TESTS))
+ASM=$(addsuffix .s,$(TESTS))
DEBUG:=$(if $(DEBUG),"-dall",)
all: $(ELF)
diff --git a/test/mppa/forvar.c b/test/mppa/forvar.c
new file mode 100644
index 00000000..1a075734
--- /dev/null
+++ b/test/mppa/forvar.c
@@ -0,0 +1,10 @@
+int main(void){
+ int i;
+ int a = 4;
+ int b = 12;
+
+ for (i = 0 ; i < b ; i++)
+ a++;
+
+ return a;
+}