aboutsummaryrefslogtreecommitdiffstats
path: root/test/mppa
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2018-03-21 17:46:45 +0100
committerCyril SIX <cyril.six@kalray.eu>2018-04-04 16:30:09 +0200
commit447ceed8642e2ed000a20036298adb8448ac594b (patch)
tree8d5935601d9c48818e3ea7e1b44e73f0eec74302 /test/mppa
parent0a7a6ed916a95b53b63a9d4bdf1e545aacf3f82b (diff)
downloadcompcert-kvx-447ceed8642e2ed000a20036298adb8448ac594b.tar.gz
compcert-kvx-447ceed8642e2ed000a20036298adb8448ac594b.zip
MPPA - Added Msetstack + bunch of store --> on a des call !
Diffstat (limited to 'test/mppa')
-rw-r--r--test/mppa/Makefile2
-rw-r--r--test/mppa/call.c16
2 files changed, 17 insertions, 1 deletions
diff --git a/test/mppa/Makefile b/test/mppa/Makefile
index 6481af5e..9078bdb9 100644
--- a/test/mppa/Makefile
+++ b/test/mppa/Makefile
@@ -1,4 +1,4 @@
-ELF=simple.bin
+ELF=simple.bin call.bin
DEBUG:=$(if $(DEBUG),"-dall",)
all: $(ELF)
diff --git a/test/mppa/call.c b/test/mppa/call.c
new file mode 100644
index 00000000..3f58b756
--- /dev/null
+++ b/test/mppa/call.c
@@ -0,0 +1,16 @@
+int sum(int a, int b){
+ return a + b;
+}
+
+int make_42(void){
+ return 42;
+}
+
+int make_18(void){
+ return 18;
+}
+
+int main(void){
+ return sum(make_42(), make_18());
+ //return make_42() + make_18();
+}