1 /* { dg-options "(-mips16) -mgp64 -O2 -EB" } */
3 typedef unsigned uint128_t __attribute__((mode(TI)));
5 extern uint128_t g[16];
6 extern unsigned char gstuff[0x10000];
9 foo (uint128_t i1, uint128_t i2, uint128_t i3, uint128_t i4,
10 uint128_t *x, unsigned char *lstuff)
18 x[2] = ((uint128_t) 0x123456789abcdefULL << 64) | 0xaabbccddeeff1122ULL;
20 x[4] = *(uint128_t *) (lstuff + 0x7fff);
21 return *(uint128_t *) (gstuff + 0x7fff);
25 bar (uint128_t i1, uint128_t i2, uint128_t i3, uint128_t i4,
26 uint128_t *x, unsigned char *lstuff)
34 x[2] = ((uint128_t) 0x123456789abcdefULL << 64) | 0xaabbccddeeff1122ULL;
36 x[4] = *(uint128_t *) (lstuff + 0x7fff);
37 return *(uint128_t *) (gstuff + 0x7fff);