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
54
|
/* PR target/55940 */
/* { dg-do run } */
/* { dg-options "-Os" } */
/* { dg-additional-options "-mpreferred-stack-boundary=2" { target { { i?86-*-* x86_64-*-* } && ia32 } } } */
struct S { int s; unsigned long t; };
__attribute__ ((noinline, noclone)) unsigned long long
bar (struct S *x, unsigned long y)
{
asm volatile ("" : : "r" (x), "r" (y) : "memory");
return x->s + y;
}
__attribute__ ((noinline, noclone)) unsigned long long
foo (struct S *x, unsigned long y)
{
unsigned long a;
if (__builtin_expect (((__UINTPTR_TYPE__) (x) + 0x1000U < 0x2000U), 0))
return ~0ULL;
if (__builtin_expect (x->s <= 0 || x->s > 9, 0))
return ~0ULL;
a = x->t >> 12;
if (y == a)
return ~0ULL;
if (x->s == 3)
return x->t + y * 4096;
return bar (x, y);
}
int va, vb, vc, vd;
int
main ()
{
struct S s;
asm volatile ("" : : : "memory");
int a = va, b = vb, c = vc, d = vd;
asm volatile ("" : : : "memory");
int i;
for (i = 0; i < 64; i++)
if (foo ((struct S *) 0, 0) != ~0ULL)
__builtin_abort ();
s.s = 3;
s.t = 2 << 12;
if (foo (&s, 2) != ~0ULL)
__builtin_abort ();
if (foo (&s, 3) != (2 << 12) + 3 * 4096)
__builtin_abort ();
asm volatile ("" : : : "memory");
va = a; vb = b; vc = c; vd = d;
asm volatile ("" : : : "memory");
return 0;
}
|
