blob: a241f041c8f91c08bbe4d030dd4ca8fcef160f91 (
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
|
/* The testcase failed due to corrupted alias information.
During the crossjump analyzing step the mem alias info of the
st instructions are merged and get copied during basic block
reordering which leads to an insn with wrong alias info.
The scheduler afterwards exchanges the mvc and st instructions
not recognizing the anti dependence. */
/* { dg-do run } */
/* { dg-options "-O3 -mtune=z990 -fno-inline" } */
extern void exit (int);
extern void abort (void);
int f;
int g;
int h;
int* x = &f;
int* p1 = &g;
int* p2 = &h;
int
foo(void)
{
if (*x == 0)
{
x = p1; /* mvc - memory to memory */
p1 = (int*)0; /* st - register to memory */
return 1;
}
if (*x == 5)
{
f = 1;
g = 2;
p2 = (int*)0; /* st */
return 1;
}
}
int
main (int argc, char** argv)
{
foo ();
/* If the scheduler has exchanged the mvc and st instructions,
x is 0. The expected result is &g. */
if (x == &g)
exit (0);
else
abort ();
}
|
