1 files changed, 48 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.target/bfin/arith.c b/gcc/testsuite/gcc.target/bfin/arith.c
new file mode 100644
index 000000000..35029ed32
--- /dev/null
+++ b/gcc/testsuite/gcc.target/bfin/arith.c
@@ -0,0 +1,48 @@
+extern void abort (void);
+extern void exit (int);
+
+typedef short  __v2hi __attribute ((vector_size(4)));
+typedef __v2hi fract2x16;
+typedef short fract16;
+
+int main ()
+{
+  fract2x16 a, b, c, d;
+  fract16 t1, t2;
+  a = __builtin_bfin_compose_2x16 (0x3000, 0x2000);
+  b = __builtin_bfin_compose_2x16 (0x7000, 0x5000);
+  c = __builtin_bfin_compose_2x16 (0x7000, 0xc000);
+
+  d = __builtin_bfin_add_fr2x16 (a, b);
+  t1 = __builtin_bfin_extract_lo (d);
+  t2 = __builtin_bfin_extract_hi (d);
+  if (t1 != 0x7000 || t2 != 0x7fff)
+    abort ();
+
+  d = __builtin_bfin_sub_fr2x16 (a, b);
+  t1 = __builtin_bfin_extract_lo (d);
+  t2 = __builtin_bfin_extract_hi (d);
+  if (t1 != -0x3000 || t2 != -0x4000)
+    abort ();
+
+  d = __builtin_bfin_negate_fr2x16 (c);
+  t1 = __builtin_bfin_extract_lo (d);
+  t2 = __builtin_bfin_extract_hi (d);
+  if (t1 != 0x4000 || t2 != -0x7000)
+    abort ();
+  
+  if (__builtin_bfin_add_fr1x32 (0x7fffffff, 1) != 0x7fffffff)
+    abort ();
+
+  if (__builtin_bfin_add_fr1x32 (0x80000000, -1) != 0x80000000)
+    abort ();
+    
+  if (__builtin_bfin_add_fr1x32 (0x80000001, -1) != 0x80000000)
+    abort ();
+    
+  if (__builtin_bfin_add_fr1x32 (0xFEDCBA98, 0x11111111) != 0x0FEDCBA9)
+    abort ();
+    
+  exit (0);
+}
+