summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/guality/sra-1.c
blob: e779d7ac8ffbda0ee479b3690d7b253805d2ccdd (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
/* PR debug/43983 */
/* { dg-do run } */
/* { dg-options "-g" } */

struct A { int i; int j; };
struct B { int : 4; int i : 12; int j : 12; int : 4; };

__attribute__((noinline)) void
bar (int x)
{
  asm volatile ("" : : "r" (x) : "memory");
}

__attribute__((noinline)) int
f1 (int k)
{
  struct A a = { 4, k + 6 };
  asm ("" : "+r" (a.i));
  a.j++;
  bar (a.i);		/* { dg-final { gdb-test 21 "a.i" "4" } } */
  bar (a.j);		/* { dg-final { gdb-test 21 "a.j" "14" } } */
  return a.i + a.j;
}

__attribute__((noinline)) int
f2 (int k)
{
  int a[2] = { 4, k + 6 };
  asm ("" : "+r" (a[0]));
  a[1]++;
  bar (a[0]);		/* { dg-final { gdb-test 32 "a\[0\]" "4" } } */
  bar (a[1]);		/* { dg-final { gdb-test 32 "a\[1\]" "14" } } */
  return a[0] + a[1];
}

__attribute__((noinline)) int
f3 (int k)
{
  struct B a = { 4, k + 6 };
  asm ("" : "+r" (a.i));
  a.j++;
  bar (a.i);		/* { dg-final { gdb-test 43 "a.i" "4" } } */
  bar (a.j);		/* { dg-final { gdb-test 43 "a.j" "14" } } */
  return a.i + a.j;
}

int
main (void)
{
  int k;
  asm ("" : "=r" (k) : "0" (7));
  f1 (k);
  f2 (k);
  f3 (k);
  return 0;
}