blob: 33e2f649935e6e33101eaac5ae9e33e39ba04193 (
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
|
/* Test BTF generation of BTF_KIND_{CONST,VOLATILE,RESTRICT} records.
BTF const, volatile and restrict records are nameless type records pointing
to the type they modify.
Types:
[1] int 'int' size=4U offset=0 bits=32 SIGNED
[2] const <anonymous> type=1
[3] volatile <anonymous> type=1
[4] const <anonymous> type=3
[5] ptr <anonymous> type=1
[6] restrict <anonymous> type=5
[7] ptr <anonymous> type=2
[8] restrict <anonymous> type=7
Note:
- Type id 3 describes a volatile int.
- Type id 2 describes a const int.
- Type id 4 describes a const volatile int by modifying id 3.
- Type id 6 describes a restrict pointer to int.
- Type id 8 describes a restrict pointer to const int.
*/
/* { dg-do compile } */
/* { dg-options "-O0 -gbtf -dA" } */
/* { dg-options "-O0 -gbtf -gdwarf-4 -dA" { target { *-*-darwin* } } } */
/* { dg-final { scan-assembler-times "ascii \"int.0\"\[\t \]+\[^\n\]*btf_string" 1 } } */
/* types 5 and 7 are pointers, to 'int' and 'const int' respectively. */
/* { dg-final { scan-assembler-times "\[\t \]0x2000000\[\t \]+\[^\n\]*btt_info" 2 } } */
/* type 3 has VOLATILE qualifier */
/* { dg-final { scan-assembler-times "\[\t \]0x9000000\[\t \]+\[^\n\]*btt_info" 1 } } */
/* types 2 and 4 have CONST qualifier. */
/* { dg-final { scan-assembler-times "\[\t \]0xa000000\[\t \]+\[^\n\]*btt_info" 2 } } */
/* types 6 and 8 have RESTRICT qualifier. */
/* { dg-final { scan-assembler-times "\[\t \]0xb000000\[\t \]+\[^\n\]*btt_info" 2 } } */
const int a = 10;
volatile int b;
int * restrict c;
const volatile int d = 20;
const int * restrict e;
const int * f;
int const * g;
|
