1/* { dg-options { -nostartfiles below100.o -Tbelow100.ld -O2 } } */ 2/* { dg-final { scan-assembler "b\[np\] B100A,#0," } } */ 3/* { dg-final { scan-assembler "b\[np\] B100B,#0," } } */ 4 5typedef struct 6{ 7 unsigned short b0:1; 8 unsigned short b1:1; 9 unsigned short b2:1; 10 unsigned short b3:1; 11 unsigned short b4:1; 12 unsigned short b5:1; 13 unsigned short b6:1; 14 unsigned short b7:1; 15 unsigned short b8:1; 16 unsigned short b9:1; 17 unsigned short b10:1; 18 unsigned short b11:1; 19 unsigned short b12:1; 20 unsigned short b13:1; 21 unsigned short b14:1; 22 unsigned short b15:1; 23} BitField; 24 25char acDummy[0xf0] __attribute__ ((__BELOW100__)); 26BitField B100A __attribute__ ((__BELOW100__)); 27unsigned short *pA = (unsigned short *) &B100A; 28BitField B100B __attribute__ ((__BELOW100__)); 29unsigned short *pB = (unsigned short *) &B100B; 30 31char * 32Do (void) 33{ 34 if (B100A.b0) 35 { 36 if (B100B.b0) 37 return "Fail"; 38 else 39 return "Success"; 40 } 41 else 42 return "Fail"; 43} 44 45int 46main (void) 47{ 48 *pA = 0xedcb; 49 *pB = 0x1234; 50 return Do ()[0] == 'F'; 51} 52