1 /* { dg-options "(-mips16) -mgp64 -EL" } */
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);