35 lines
867 B
C
35 lines
867 B
C
/* { dg-do run } */
|
|
extern void abort (void);
|
|
extern void exit (int);
|
|
|
|
volatile unsigned long long x[2];
|
|
|
|
int main ()
|
|
{
|
|
volatile char *addr = (volatile char *) &x[0];
|
|
|
|
x[0] = ~0ULL;
|
|
x[1] = ~0ULL;
|
|
__builtin_write64 (addr, 0x1122334455667788ULL);
|
|
__builtin_write32 (addr + 8, 0x12345678);
|
|
__builtin_write16 (addr + 12, 0xaabb);
|
|
__builtin_write8 (addr + 14, 0xcc);
|
|
|
|
if (x[0] != 0x1122334455667788ULL
|
|
|| x[1] != 0x12345678aabbccffULL
|
|
|| __builtin_read8 (addr) != 0x11
|
|
|| __builtin_read16 (addr + 2) != 0x3344
|
|
|| __builtin_read32 (addr + 4) != 0x55667788
|
|
|| __builtin_read64 (addr + 8) != 0x12345678aabbccffULL)
|
|
abort ();
|
|
|
|
__builtin_write64 (addr, 0);
|
|
__builtin_write32 (addr + 8, 0);
|
|
__builtin_write16 (addr + 12, 0);
|
|
__builtin_write8 (addr + 14, 0);
|
|
if (x[0] != 0 || x[1] != 0xff)
|
|
abort ();
|
|
|
|
exit (0);
|
|
}
|