1 files changed, 53 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.target/microblaze/isa/mulh.c b/gcc/testsuite/gcc.target/microblaze/isa/mulh.c
new file mode 100644
index 00000000000..6e0cc3ac470
--- /dev/null
+++ b/gcc/testsuite/gcc.target/microblaze/isa/mulh.c
@@ -0,0 +1,53 @@
+/* { dg-options "-O3 -mcpu=v6.00.a -mno-xl-soft-mul -mxl-multiply-high" } */
+
+volatile int m1, m2, m3;
+volatile unsigned int u1, u2, u3;
+volatile long l1, l2;
+volatile long long llp;
+
+volatile unsigned long ul1, ul2;
+volatile unsigned long long ullp;
+
+int test_mul () {
+
+  /* { dg-final { scan-assembler "mul\tr(\[0-9]\|\[1-2]\[0-9]\|3\[0-1]),r(\[0-9]\|\[1-2]\[0-9]\|3\[0-1]),r(\[0-9]\|\[1-2]\[0-9]\|3\[0-1])\[^0-9]" } } */
+    m1 = m2 * m3 ;
+
+  /* { dg-final { scan-assembler "muli\tr(\[0-9]\|\[1-2]\[0-9]\|3\[0-1]),r(\[0-9]\|\[1-2]\[0-9]\|3\[0-1]),(0x\[0-9a-fA-F]+|\[+-]*\[0-9]+)" } } */
+    m3 = m1 * 1234 ;    
+
+  /* { dg-final { scan-assembler "mulh\tr(\[0-9]\|\[1-2]\[0-9]\|3\[0-1]),r(\[0-9]\|\[1-2]\[0-9]\|3\[0-1]),r(\[0-9]\|\[1-2]\[0-9]\|3\[0-1])\[^0-9]" } } */
+    llp = ((long long)l1 * l2);
+
+  /* { dg-final { scan-assembler "mulhu\tr(\[0-9]\|\[1-2]\[0-9]\|3\[0-1]),r(\[0-9]\|\[1-2]\[0-9]\|3\[0-1]),r(\[0-9]\|\[1-2]\[0-9]\|3\[0-1])\[^0-9]" } } */
+    ullp = ((unsigned long long)ul1 * ul2);
+
+  /* { dg-final { scan-assembler "mulhsu\tr(\[0-9]\|\[1-2]\[0-9]\|3\[0-1]),r(\[0-9]\|\[1-2]\[0-9]\|3\[0-1]),r(\[0-9]\|\[1-2]\[0-9]\|3\[0-1])\[^0-9]" } } */
+    llp = ((long long)l1 * ul2);        
+
+  /* { dg-final { scan-assembler-not "bslli" } } */
+    m3 = m2 << 25;
+
+  /* { dg-final { scan-assembler-not "bsll" } } */
+    m2 = m1 << m3;
+
+  /* { dg-final { scan-assembler-not "bsrai" } } */
+    m3 = m2 >> 25;
+
+  /* { dg-final { scan-assembler-not "bsra" } } */
+    m2 = m1 >> m3;
+
+  /* { dg-final { scan-assembler-not "idiv" } } */
+    m1 = m2 / m1;
+
+  /* { dg-final { scan-assembler-not "idivu" } } */
+    u1 = u2 / u3;    
+
+  /* { dg-final { scan-assembler-not "pcmpne" } } */
+    m3 = (m3 != m1);
+
+  /* { dg-final { scan-assembler-not "pcmpeq" } } */
+    return (m1 == m2);
+
+}
+