blob: c8caf0765841803e92c7bdee6dcc23ea196a933e [file] [log] [blame]
// { dg-require-effective-target freorder }
/* { dg-options "-O2 -g -fno-peel-loops" } */
struct page {
int i;
} global;
__attribute__((noinline)) static struct page* find_page1 (int i)
{
if ( i< 150)
return 0;
global.i = i;
return &global;
}
__attribute__((noinline)) static struct page* find_page2 (int i)
{
global.i = i;
return &global;
}
volatile int ii;
__attribute__((noinline)) static int zero (void)
{
return ii;
}
static inline int uptodate (struct page* p)
{
return (p->i < 709);
}
static struct page* bar(int i)
{
struct page *page;
repeat:
page = find_page1 (i);
if (!page) {
page = find_page2 (i);
if (!page)
return 0;
if (zero () ) {
zero ();
goto repeat;
}
}
return page;
}
__attribute__((noinline)) int foo (int n)
{
struct page *page;
retry:
page = bar (n);
if (page == 0)
return 0;
if (uptodate (page))
goto out;
zero ();
if (page->i < 0) {
zero ();
goto retry;
}
out:
return 1;
}
__attribute__((noinline)) int hot (void)
{
int i;
int sum = 0;
for (i = 0; i < 433038; i++)
sum+=i;
return sum;
}
int main(void)
{
int i;
global.i = hot ();
for (i = 0; i < 858; i++)
foo (i);
return 0;
}