blob: fa584e0353df3bf7808bbc3d0b374d511ba2df1f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
/* { dg-do run } */
/* { dg-require-effective-target lp64 } */
extern void __attribute__ ((noreturn)) abort (void);
int __attribute__ ((noinline, noclone))
foo (unsigned long addr) {
unsigned long *p = (unsigned long*)((addr & 0xffff83fffffffff8UL) * 4);
unsigned long xxx = (unsigned long)(p + 1);
return xxx >= 0x3c000000000UL;
}
int
main (void)
{
if (foo (0))
abort ();
if (foo (0x7c0000000000UL))
abort ();
if (!foo (0xfc0000000000UL))
abort ();
return 0;
}
|