1/* { dg-options { -nostartfiles below100.o -Tbelow100.ld -O2 } } */
2/* { dg-final { scan-assembler "b\[np\] B100A\\+1,#0," } } */
3/* { dg-final { scan-assembler "b\[np\] B100B\\+1,#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.b8)
35    {
36      if (!B100B.b8)
37	return "Fail";
38      else
39	return "Success";
40    }
41  else
42    return "Fail";
43}
44
45int
46main (void)
47{
48  *pA = 0x1234;
49  *pB = 0xedcb;
50  return Do ()[0] == 'F';
51}
52