1  /* { dg-do compile } */
       2  /* { dg-options "-O0 -dA -gbtf -mco-re" } */
       3  
       4  struct S {
       5    int x1: 6;
       6    int x2: 3;
       7    int x3: 7;
       8    int x4: 16;
       9  };
      10  
      11  enum {
      12    FIELD_RSHIFT_U64 = 5,
      13  };
      14  
      15  unsigned int foo (struct S *s)
      16  {
      17    /* x1=58, x2=61, x3=57, x4=48; endianness independent.  */
      18    unsigned x1 = __builtin_preserve_field_info (s->x1, FIELD_RSHIFT_U64);
      19    unsigned x2 = __builtin_preserve_field_info (s->x2, FIELD_RSHIFT_U64);
      20    unsigned x3 = __builtin_preserve_field_info (s->x3, FIELD_RSHIFT_U64);
      21    unsigned x4 = __builtin_preserve_field_info (s->x4, FIELD_RSHIFT_U64);
      22  
      23    return x1 + x2 + x3 + x4;
      24  }
      25  
      26  /* { dg-final { scan-assembler-times "\[\t \]mov\[\t \]%r\[0-9\],58" 1 } } */
      27  /* { dg-final { scan-assembler-times "\[\t \]mov\[\t \]%r\[0-9\],61" 1 } } */
      28  /* { dg-final { scan-assembler-times "\[\t \]mov\[\t \]%r\[0-9\],57" 1 } } */
      29  /* { dg-final { scan-assembler-times "\[\t \]mov\[\t \]%r\[0-9\],48" 1 } } */
      30  
      31  /* { dg-final { scan-assembler-times "ascii \"0:0.0\"\[\t \]+\[^\n\]*btf_aux_string" 1 } } */
      32  /* { dg-final { scan-assembler-times "ascii \"0:1.0\"\[\t \]+\[^\n\]*btf_aux_string" 1 } } */
      33  /* { dg-final { scan-assembler-times "ascii \"0:2.0\"\[\t \]+\[^\n\]*btf_aux_string" 1 } } */
      34  /* { dg-final { scan-assembler-times "ascii \"0:3.0\"\[\t \]+\[^\n\]*btf_aux_string" 1 } } */
      35  
      36  /* { dg-final { scan-assembler-times "0x5\[\t \]+\[^\n\]*bpfcr_kind" 4 } } */