bitreverse-2.c   [plain text]

/* 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;
}