1 files changed, 88 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.apple/bitreverse-2.c b/gcc/testsuite/gcc.apple/bitreverse-2.c
new file mode 100644
index 00000000000..ef74d8eb3ea
--- /dev/null
+++ b/gcc/testsuite/gcc.apple/bitreverse-2.c
@@ -0,0 +1,88 @@
+/* APPLE LOCAL file */
+#include <stdio.h>
+#include <string.h>
+
+/* Tests interleaving of bitfields and non-bitfields.  Note that they
+   overlap, so the code cannot possibly work, but bug compability is
+   the requirement.  */
+
+/* { dg-do run { target powerpc*-*-darwin* } } */
+
+#pragma reverse_bitfields on
+
+typedef struct
+{
+	union
+		{
+		unsigned int i1;
+		struct
+			{
+			unsigned int b1: 1;
+			unsigned int b2: 2;
+			unsigned int b3: 4;
+			unsigned int b4: 8;
+			unsigned int b5: 16;
+			} bits;
+		} u1;
+	char baz;
+	union
+		{
+		struct
+			{
+			unsigned int i2;
+			unsigned int i3;
+			unsigned int i4;
+			} ints;
+
+		struct
+			{
+			unsigned int b1: 16;
+			unsigned int b2: 8;
+			unsigned int b3: 4;
+			unsigned int b4: 2;
+			unsigned int b5: 1;
+			char baz;			
+			unsigned int b6: 2;
+			unsigned int b7: 4;
+			char baz2;
+			unsigned int b8: 8;
+			unsigned int b9: 16;
+			} bits;
+		} u2;
+} Bitfields;
+
+
+int main()
+{
+	Bitfields bitfields;
+
+
+	memset(&bitfields, 0, sizeof(bitfields));
+
+	bitfields.u1.bits.b1 = 1;
+	bitfields.u1.bits.b2 = 1;
+	bitfields.u1.bits.b3 = 1;
+	bitfields.u1.bits.b4 = 1;
+	bitfields.u1.bits.b5 = 1;
+	bitfields.baz = 0x55;
+	bitfields.u2.bits.b1 = 1;
+	bitfields.u2.bits.b2 = 1;
+	bitfields.u2.bits.b3 = 1;
+	bitfields.u2.bits.b4 = 1;
+	bitfields.u2.bits.b5 = 1;
+	bitfields.u2.bits.baz = 0xaa; /* { dg-warning "overflow in implicit constant conversion" } */
+	bitfields.u2.bits.b6 = 1;
+	bitfields.u2.bits.b7 = 1;
+	bitfields.u2.bits.baz2 = 0x33;
+	bitfields.u2.bits.b8 = 1;
+	bitfields.u2.bits.b9 = 1;
+
+	if (bitfields.u1.i1 != 0x0000808b
+	    || bitfields.baz != 0x55
+	    || bitfields.u2.ints.i2 != 0x51010001
+	    || bitfields.u2.ints.i3 != 0x01003300
+	    || bitfields.u2.ints.i4 != 0x00000001
+	    || sizeof(bitfields) != 20)
+	  return 42;
+    return 0;
+}