blob: a3edc1272f93d8e4a6cc14de77b332e6fbf53ac0 (
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
|
/* { dg-do compile } */
/* { dg-options "-O2 -funit-at-a-time" } */
/* { dg-final { if [ istarget hppa*-*-* ] { scan-assembler-not "link_error,%r" { xfail hppa*64*-*-* } } else { scan-assembler-not "link_error" } } } */
/* In unit-at-time the functions should be assembled in order
e q t main, so we realize that they are pure. The test is
xfailed on hppa64 because variable r in q is sign extended
to 64-bits. As a result, "if (t!=mem)" is not simplified. */
static int mem;
static int e(void) __attribute__ ((noinline));
static int q(void) __attribute__ ((noinline));
static int t(void) __attribute__ ((noinline));
main()
{
return t();
}
static t()
{
int r,e;
if (mem)
t();
e=mem;
r=q();
if (e!=mem)
link_error();
return r;
}
static int e()
{
return 0;
}
static int q()
{
int t=mem,r;
r=e();
if (t!=mem)
link_error();
return r;
}
|
