1 files changed, 62 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/vmx/sn7153.c b/gcc/testsuite/gcc.dg/vmx/sn7153.c
new file mode 100644
index 000000000..a498a8620
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/vmx/sn7153.c
@@ -0,0 +1,62 @@
+/* In the source code, the vec_adds appears before the call to
+   validate_sat().  In the .s code, the vaddubs has been moved to after
+   the call to validate_sat().  This invalidates the meaning of checking
+   the saturation bit.  */
+
+#include <stdio.h>
+#include <stdlib.h>
+#include <altivec.h>
+
+static int failed;
+
+void validate_sat();
+void validate_u8(vector unsigned char, vector unsigned char);
+
+int
+main()
+{
+  vector unsigned char result_u8;
+  vec_mtvscr(((vector unsigned short){0,0,0,0,0,0,0,0}));
+  result_u8 = vec_adds(((vector unsigned
+			char){0,1,2,3,0xfc,0xfd,0xfe,0xff,
+			      0,1,2,3,0xfc,0xfd,0xfe,0xff}),
+		       ((vector unsigned
+			char){0,0xf0,0xfd,0xfd,2,2,2,2,0,
+			      0xf0,0xfd,0xfd,2,2,2,2}));
+  validate_sat();
+  validate_u8(result_u8, ((vector unsigned
+			  char){0,0xf1,0xff,0xff,0xfe,0xff,0xff,0xff,
+				  0,0xf1,0xff,0xff,0xfe,0xff,0xff,0xff}));
+  if (failed)
+    abort ();
+  return 0;
+}
+
+void validate_sat()
+{
+  if (vec_any_ne(vec_splat(vec_mfvscr(), 7), ((vector unsigned short){1,1,1,1,1,1,1,1})))
+    {
+      union {vector unsigned short v; unsigned short s[8];} u;
+      u.v = vec_mfvscr();
+      printf("error: vscr == { %d,%d,%d,%d,%d,%d,%d,%d }",
+	     u.s[0], u.s[1], u.s[2], u.s[3],
+	     u.s[4], u.s[5], u.s[6], u.s[7]);
+      printf("expected { 1,1,1,1,1,1,1,1 }\n");
+      failed++;
+    }
+}
+
+void validate_u8(vector unsigned char v, vector unsigned char vx)
+{
+  union {vector unsigned char v; unsigned char x[16]; } u, ux;
+  int i;
+  u.v = v;
+  ux.v = vx;
+  for (i=0; i<16; i++) {
+    if (u.x[i] != ux.x[i]) {
+      printf(" error: field %d %#2.2x expected %#2.2x\n",
+             i, u.x[i], ux.x[i]);
+      failed++;
+    }
+  }
+}