annotate gcc/testsuite/gcc.dg/guality/sra-1.c @ 111:04ced10e8804

gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children 84e7813d76e9
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* PR debug/43983 */
kono
parents:
diff changeset
2 /* { dg-do run } */
kono
parents:
diff changeset
3 /* { dg-options "-g" } */
kono
parents:
diff changeset
4
kono
parents:
diff changeset
5 struct A { int i; int j; };
kono
parents:
diff changeset
6 struct B { int : 4; int i : 12; int j : 12; int : 4; };
kono
parents:
diff changeset
7
kono
parents:
diff changeset
8 __attribute__((noinline)) void
kono
parents:
diff changeset
9 bar (int x)
kono
parents:
diff changeset
10 {
kono
parents:
diff changeset
11 asm volatile ("" : : "r" (x) : "memory");
kono
parents:
diff changeset
12 }
kono
parents:
diff changeset
13
kono
parents:
diff changeset
14 __attribute__((noinline)) int
kono
parents:
diff changeset
15 f1 (int k)
kono
parents:
diff changeset
16 {
kono
parents:
diff changeset
17 struct A a = { 4, k + 6 };
kono
parents:
diff changeset
18 asm ("" : "+r" (a.i));
kono
parents:
diff changeset
19 a.j++;
kono
parents:
diff changeset
20 bar (a.i); /* { dg-final { gdb-test 21 "a.i" "4" } } */
kono
parents:
diff changeset
21 bar (a.j); /* { dg-final { gdb-test 21 "a.j" "14" } } */
kono
parents:
diff changeset
22 return a.i + a.j;
kono
parents:
diff changeset
23 }
kono
parents:
diff changeset
24
kono
parents:
diff changeset
25 __attribute__((noinline)) int
kono
parents:
diff changeset
26 f2 (int k)
kono
parents:
diff changeset
27 {
kono
parents:
diff changeset
28 int a[2] = { 4, k + 6 };
kono
parents:
diff changeset
29 asm ("" : "+r" (a[0]));
kono
parents:
diff changeset
30 a[1]++;
kono
parents:
diff changeset
31 bar (a[0]); /* { dg-final { gdb-test 32 "a\[0\]" "4" } } */
kono
parents:
diff changeset
32 bar (a[1]); /* { dg-final { gdb-test 32 "a\[1\]" "14" } } */
kono
parents:
diff changeset
33 return a[0] + a[1];
kono
parents:
diff changeset
34 }
kono
parents:
diff changeset
35
kono
parents:
diff changeset
36 __attribute__((noinline)) int
kono
parents:
diff changeset
37 f3 (int k)
kono
parents:
diff changeset
38 {
kono
parents:
diff changeset
39 struct B a = { 4, k + 6 };
kono
parents:
diff changeset
40 asm ("" : "+r" (a.i));
kono
parents:
diff changeset
41 a.j++;
kono
parents:
diff changeset
42 bar (a.i); /* { dg-final { gdb-test 43 "a.i" "4" } } */
kono
parents:
diff changeset
43 bar (a.j); /* { dg-final { gdb-test 43 "a.j" "14" } } */
kono
parents:
diff changeset
44 return a.i + a.j;
kono
parents:
diff changeset
45 }
kono
parents:
diff changeset
46
kono
parents:
diff changeset
47 int
kono
parents:
diff changeset
48 main (void)
kono
parents:
diff changeset
49 {
kono
parents:
diff changeset
50 int k;
kono
parents:
diff changeset
51 asm ("" : "=r" (k) : "0" (7));
kono
parents:
diff changeset
52 f1 (k);
kono
parents:
diff changeset
53 f2 (k);
kono
parents:
diff changeset
54 f3 (k);
kono
parents:
diff changeset
55 return 0;
kono
parents:
diff changeset
56 }