blob: 1468a4ee20ded24c628e9482f77c2041336213b3 (
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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
|
/* { dg-do run } */
/* { dg-additional-options "-mno-speculate-indirect-jumps" } */
/* { dg-warning "'-mno-speculate-indirect-jumps' is deprecated" "" { target *-*-* } 0 } */
/* Test for deliberate misprediction of jump tables. */
void __attribute__((noinline)) bar ()
{
}
int foo (int x)
{
int a;
switch (x)
{
default:
a = -1;
break;
case 0:
a = x * x + 3;
break;
case 1:
a = x + 1;
break;
case 2:
a = x + x;
break;
case 3:
a = x << 3;
break;
case 4:
a = x >> 1;
break;
case 5:
a = x;
break;
case 6:
a = 0;
break;
case 7:
a = x * x + x;
break;
}
bar();
return a;
}
int main ()
{
if (foo (0) != 3)
__builtin_abort ();
if (foo (1) != 2)
__builtin_abort ();
if (foo (2) != 4)
__builtin_abort ();
if (foo (3) != 24)
__builtin_abort ();
if (foo (4) != 2)
__builtin_abort ();
if (foo (5) != 5)
__builtin_abort ();
if (foo (6) != 0)
__builtin_abort ();
if (foo (7) != 56)
__builtin_abort ();
if (foo (8) != -1)
__builtin_abort ();
return 0;
}
|