blob: 817e9fa2118b67fdf082d769e368853fba912d9e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
/* { dg-do compile } */
/* { dg-options "-fstrub=strict -fdump-ipa-strub" } */
/* { dg-require-effective-target strub } */
/* Check that, along with a strub implicitly-const wrapping call, we issue an
asm statement to make sure the watermark passed to it is held in memory
before the call, and another to make sure it is not assumed to be
unchanged. */
extern int __attribute__ ((__strub__ ("callable"),
__const__, __nothrow__)) c ();
int __attribute__ ((__strub__ ("internal")))
#if ! __OPTIMIZE__
__attribute__ ((__const__))
#endif
f () {
return c ();
}
/* { dg-final { scan-ipa-dump-times "__asm__" 2 "strub" } } */
|
