blob: 8011e69e6ade48bc4e6fb77abb589ea79ed6a997 (
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
|
/* PR tree-optimization/33619 */
/* { dg-do run } */
/* { dg-options "-O2" } */
#ifdef __powerpc__
# define REG1 __asm__ ("3")
# define REG2 __asm__ ("4")
#elif defined __x86_64__
# define REG1 __asm__ ("rdi")
# define REG2 __asm__ ("rsi")
#else
# define REG1
# define REG2
#endif
static inline void
bar (unsigned long x, int y)
{
register unsigned long p1 REG1 = x;
register unsigned long p2 REG2 = y;
__asm__ volatile ("" : "=r" (p1), "=r" (p2) : "0" (p1), "1" (p2) : "memory");
if (p1 != 0xdeadUL || p2 != 0xbefUL)
__builtin_abort ();
}
__attribute__((const, noinline)) int
baz (int x)
{
return x;
}
__attribute__((noinline)) void
foo (unsigned long *x, int y)
{
unsigned long a = *x;
bar (a, baz (y));
}
int
main (void)
{
unsigned long a = 0xdeadUL;
foo (&a, 0xbefUL);
return 0;
}
|