1 /* { dg-do compile } */
2 /* { dg-options "-O2" } */
4 typedef unsigned int UINT64 __attribute__((__mode__(__DI__)));
8 UINT64 x[2] __attribute__((aligned(16)));
17 ffi_call(long i, long gpcount, long fpcount, void **avalue)
19 struct ia64_args *stack;
20 stack = __builtin_alloca (64);
21 asm ("stf.spill %0 = %1%P0" : "=m" (*&stack->fp_regs[fpcount++])
22 : "f"(*(double *)avalue[i]));
23 stack->gp_regs[gpcount++] = *(UINT64 *)avalue[i];