1  /* { dg-do compile } */
       2  /* { dg-options "-O0 -dA -gbtf -mco-re" } */
       3  
       4  struct S {
       5    unsigned int a1: 7;
       6    unsigned int a2: 4;
       7    unsigned int a3: 13;
       8    unsigned int a4: 5;
       9    char carr[5][3];
      10  };
      11  
      12  enum {
      13    FIELD_BYTE_SIZE = 1,
      14  };
      15  
      16  union U {
      17    long long l[3];
      18    struct S s;
      19  };
      20  
      21  unsigned int foo (union U *u)
      22  {
      23    unsigned ls = __builtin_preserve_field_info (u->l, FIELD_BYTE_SIZE);
      24    unsigned s  = __builtin_preserve_field_info (u->s, FIELD_BYTE_SIZE);
      25    unsigned a2 = __builtin_preserve_field_info (u->s.a2, FIELD_BYTE_SIZE);
      26    unsigned a3 = __builtin_preserve_field_info (u->s.a3, FIELD_BYTE_SIZE);
      27    unsigned ca = __builtin_preserve_field_info (u->s.carr, FIELD_BYTE_SIZE);
      28  
      29    return ls + s + a2 + a3 + ca;
      30  }
      31  
      32  /* { dg-final { scan-assembler-times "\[\t \]mov\[\t \]%r\[0-9\],24" 1 } } */
      33  /* { dg-final { scan-assembler-times "\[\t \]mov\[\t \]%r\[0-9\],20" 1 } } */
      34  /* { dg-final { scan-assembler-times "\[\t \]mov\[\t \]%r\[0-9\],4" 2 } } */
      35  /* { dg-final { scan-assembler-times "\[\t \]mov\[\t \]%r\[0-9\],15" 1 } } */
      36  
      37  /* { dg-final { scan-assembler-times "ascii \"0:0.0\"\[\t \]+\[^\n\]*btf_aux_string" 1 } } */
      38  /* { dg-final { scan-assembler-times "ascii \"0:1.0\"\[\t \]+\[^\n\]*btf_aux_string" 1 } } */
      39  /* { dg-final { scan-assembler-times "ascii \"0:1:1.0\"\[\t \]+\[^\n\]*btf_aux_string" 1 } } */
      40  /* { dg-final { scan-assembler-times "ascii \"0:1:2.0\"\[\t \]+\[^\n\]*btf_aux_string" 1 } } */
      41  /* { dg-final { scan-assembler-times "ascii \"0:1:4.0\"\[\t \]+\[^\n\]*btf_aux_string" 1 } } */
      42  
      43  /* { dg-final { scan-assembler-times "0x1\[\t \]+\[^\n\]*bpfcr_kind" 5 } } */