aboutsummaryrefslogtreecommitdiffstats
path: root/test/mppa
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2019-03-22 11:32:19 +0100
committerCyril SIX <cyril.six@kalray.eu>2019-03-22 11:32:19 +0100
commit0edb9804b295e2cb332f86c252de70fa8e760710 (patch)
tree2ca06337be72d5dfa1dbff29b01a24bf864ba46b /test/mppa
parentf91b605c7dfea8b993f25acc3e5badca36d86fa6 (diff)
downloadcompcert-kvx-0edb9804b295e2cb332f86c252de70fa8e760710.tar.gz
compcert-kvx-0edb9804b295e2cb332f86c252de70fa8e760710.zip
Rajout de tests test/mppa pour division/modulo
Diffstat (limited to 'test/mppa')
-rw-r--r--test/mppa/instr/div32.c5
-rw-r--r--test/mppa/instr/divf32.c5
-rw-r--r--test/mppa/instr/divf64.c5
-rw-r--r--test/mppa/instr/divu32.c7
-rw-r--r--test/mppa/instr/modi32.c5
-rw-r--r--test/mppa/instr/modui32.c7
6 files changed, 34 insertions, 0 deletions
diff --git a/test/mppa/instr/div32.c b/test/mppa/instr/div32.c
new file mode 100644
index 00000000..83c3a0e3
--- /dev/null
+++ b/test/mppa/instr/div32.c
@@ -0,0 +1,5 @@
+#include "framework.h"
+
+BEGIN_TEST(int)
+ c = a/b;
+END_TEST32()
diff --git a/test/mppa/instr/divf32.c b/test/mppa/instr/divf32.c
new file mode 100644
index 00000000..513a3293
--- /dev/null
+++ b/test/mppa/instr/divf32.c
@@ -0,0 +1,5 @@
+#include "framework.h"
+
+BEGIN_TEST(float)
+ c = a / b;
+END_TESTF32()
diff --git a/test/mppa/instr/divf64.c b/test/mppa/instr/divf64.c
new file mode 100644
index 00000000..0dd23826
--- /dev/null
+++ b/test/mppa/instr/divf64.c
@@ -0,0 +1,5 @@
+#include "framework.h"
+
+BEGIN_TEST(double)
+ c = a / b;
+END_TESTF64()
diff --git a/test/mppa/instr/divu32.c b/test/mppa/instr/divu32.c
new file mode 100644
index 00000000..1fe196c4
--- /dev/null
+++ b/test/mppa/instr/divu32.c
@@ -0,0 +1,7 @@
+#include "framework.h"
+
+BEGIN_TEST(unsigned int)
+{
+ c = a/b;
+}
+END_TEST32()
diff --git a/test/mppa/instr/modi32.c b/test/mppa/instr/modi32.c
new file mode 100644
index 00000000..958ae920
--- /dev/null
+++ b/test/mppa/instr/modi32.c
@@ -0,0 +1,5 @@
+#include "framework.h"
+
+BEGIN_TEST(int)
+ c = a%b;
+END_TEST32()
diff --git a/test/mppa/instr/modui32.c b/test/mppa/instr/modui32.c
new file mode 100644
index 00000000..a39034a8
--- /dev/null
+++ b/test/mppa/instr/modui32.c
@@ -0,0 +1,7 @@
+#include "framework.h"
+
+BEGIN_TEST(unsigned int)
+{
+ c = a%b;
+}
+END_TEST32()