Viewing file:  ctf-cvr-quals-1.c (2.46 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* Test compilation of stubs with various qualifiers - const, restrict and
volatile.
Testcase includes a std header to allow testing of shared types across
files. Only one CTF record for int is expected.
CTF records for CVR qualifiers are no-name records. In this testcase, there
are 5 qualifiers across constructs. 2 more no-name CTF records correspond to
CTF pointer records.
TYPEID: name string (size) -> ref TYPEID : ref name string (size) -> ...
Types:
1: long int (size 0x8)
2: long unsigned int (size 0x8)
3: size_t (size 0x8) -> 2: long unsigned int (size 0x8)
4: int (size 0x4)
5: const int (size 0x4) -> 4: int (size 0x4)
6: volatile const int (size 0x4) -> 5: const int (size 0x4) -> 4: int (size 0x4)
7: long long int (size 0x8)
8: long double (size 0x10)
9: int * (size 0x8) -> 4: int (size 0x4)
a: int *restrict (size 0x8) -> 9: int * (size 0x8) -> 4: int (size 0x4)
b: const int * (size 0x8) -> 5: const int (size 0x4) -> 4: int (size 0x4)
c: const int *restrict (size 0x8) -> b: const int * (size 0x8) -> 5: const int (size 0x4) -> 4: int (size 0x4)
d: INTP (size 0x8) -> 9: int * (size 0x8) -> 4: int (size 0x4)
e: const INTP (size 0x8) -> d: INTP (size 0x8) -> 9: int * (size 0x8) -> 4: int (size 0x4)
f: void (size 0x0)
10: void (*) (size_t, int *restrict, const int *restrict) (size 0x0)
*/
/* { dg-do compile ) */
/* { dg-options "-O0 -gctf -dA" } */
/* { dg-options "-O0 -gctf -gdwarf-4 -dA" { target { *-*-darwin* } } } */
/* { dg-final { scan-assembler-times "ascii \"int.0\"\[\t \]+\[^\n\]*ctf_string" 1 } } */
/* { dg-final { scan-assembler-times "\[\t \]0\[\t \]+\[^\n\]*ctt_name" 7 } } */
/* type id 9, b have POINTER type. */
/* { dg-final { scan-assembler-times "\[\t \]0xe000000\[\t \]+\[^\n\]*ctt_info" 2 } } */
/* type id 5, e have CONST qualifier. */
/* { dg-final { scan-assembler-times "\[\t \]0x32000000\[\t \]+\[^\n\]*ctt_info" 2 } } */
/* type id a, c have RESTRICT qualifier. */
/* { dg-final { scan-assembler-times "\[\t \]0x36000000\[\t \]+\[^\n\]*ctt_info" 2 } } */
/* type id 6 has VOLATILE qualifier. */
/* { dg-final { scan-assembler-times "\[\t \]0x2e000000\[\t \]+\[^\n\]*ctt_info" 1 } } */
#include "stddef.h"
const volatile int a = 5;
int *restrict b;
const int * i;
int const * j;
typedef int * INTP;
const INTP int_p;
void foo (size_t n, int *restrict p, const int *restrict q)
{
while (n-- > 0)
*p++ = *q++;
}
|
