1  /* PR debug/43983 */
       2  /* { dg-do run } */
       3  /* { dg-options "-g -fno-ipa-icf" } */
       4  
       5  struct A { int i; int j; };
       6  struct B { int : 4; int i : 12; int j : 12; int : 4; };
       7  
       8  __attribute__((noinline)) void
       9  bar (int x)
      10  {
      11    asm volatile ("" : : "r" (x) : "memory");
      12  }
      13  
      14  __attribute__((noinline)) int
      15  f1 (int k)
      16  {
      17    struct A a = { 4, k + 6 };
      18    asm ("" : "+r" (a.i));
      19    a.j++;
      20    bar (a.i);		/* { dg-final { gdb-test .+1 "a.i" "4" } } */
      21    bar (a.j);		/* { dg-final { gdb-test . "a.j" "14" { xfail { aarch64*-*-* && { any-opts "-fno-fat-lto-objects" } } } } } */
      22    return a.i + a.j;
      23  }
      24  
      25  __attribute__((noinline)) int
      26  f2 (int k)
      27  {
      28    int a[2] = { 4, k + 6 };
      29    asm ("" : "+r" (a[0]));
      30    a[1]++;
      31    bar (a[0]);		/* { dg-final { gdb-test .+1 "a\[0\]" "4" } } */
      32    bar (a[1]);		/* { dg-final { gdb-test . "a\[1\]" "14" { xfail { aarch64*-*-* && { any-opts "-fno-fat-lto-objects" } } } } } */
      33    return a[0] + a[1];
      34  }
      35  
      36  __attribute__((noinline)) int
      37  f3 (int k)
      38  {
      39    struct B a = { 4, k + 6 };
      40    asm ("" : "+r" (a.i));
      41    a.j++;
      42    bar (a.i);		/* { dg-final { gdb-test .+1 "a.i" "4" { xfail { aarch64*-*-* && { { any-opts "-Og" "-O2" "-O3" } && { ! { any-opts "-fno-fat-lto-objects" } } } } } } } */
      43    bar (a.j);		/* { dg-final { gdb-test . "a.j" "14" { xfail { aarch64*-*-* && { any-opts "-Og" "-fno-fat-lto-objects" } } } } } */
      44    return a.i + a.j;
      45  }
      46  
      47  int
      48  main (void)
      49  {
      50    int k;
      51    asm ("" : "=r" (k) : "0" (7));
      52    f1 (k);
      53    f2 (k);
      54    f3 (k);
      55    return 0;
      56  }