| /* { dg-do run { target { powerpc*-*-* && lp64 } } } */ |
| /* { dg-skip-if "" { *-*-darwin* } } */ |
| /* { dg-options "-O2 -mno-pcrel" } */ |
| |
| typedef __builtin_va_list va_list; |
| #define va_start(ap, arg) __builtin_va_start (ap, arg) |
| #define va_arg(ap, type) __builtin_va_arg (ap, type) |
| |
| /* Testcase to check for ABI compliance of parameter passing |
| for the PowerPC64 ABI. |
| Parameter passing of integral and floating point is tested. */ |
| |
| extern void abort (void); |
| |
| typedef struct |
| { |
| unsigned long gprs[8]; |
| double fprs[13]; |
| } reg_parms_t; |
| |
| volatile reg_parms_t gparms; |
| |
| |
| /* Testcase could break on future gcc's, if parameter regs are changed |
| before this asm. To minimize the risk of that happening the test |
| consists of two sets of functions wih identical signatures: |
| foo, which does nothing except save function argument registers |
| to prevent them from getting clobbered (see PR65109), |
| foo_check, which verifies that the values of function registers |
| saved by foo match those passed to foo_check by the caller. */ |
| |
| #ifndef __MACH__ |
| #define save_parms() \ |
| asm volatile ("ld 11,gparms@got(2)\n\t" \ |
| "std 3,0(11)\n\t" \ |
| "std 4,8(11)\n\t" \ |
| "std 5,16(11)\n\t" \ |
| "std 6,24(11)\n\t" \ |
| "std 7,32(11)\n\t" \ |
| "std 8,40(11)\n\t" \ |
| "std 9,48(11)\n\t" \ |
| "std 10,56(11)\n\t" \ |
| "stfd 1,64(11)\n\t" \ |
| "stfd 2,72(11)\n\t" \ |
| "stfd 3,80(11)\n\t" \ |
| "stfd 4,88(11)\n\t" \ |
| "stfd 5,96(11)\n\t" \ |
| "stfd 6,104(11)\n\t" \ |
| "stfd 7,112(11)\n\t" \ |
| "stfd 8,120(11)\n\t" \ |
| "stfd 9,128(11)\n\t" \ |
| "stfd 10,136(11)\n\t" \ |
| "stfd 11,144(11)\n\t" \ |
| "stfd 12,152(11)\n\t" \ |
| "stfd 13,160(11)\n\t":::"11", "memory") |
| #else |
| #define save_parms() \ |
| asm volatile ("ld r11,gparms@got(r2)\n\t" \ |
| "std r3,0(r11)\n\t" \ |
| "std r4,8(r11)\n\t" \ |
| "std r5,16(r11)\n\t" \ |
| "std r6,24(r11)\n\t" \ |
| "std r7,32(r11)\n\t" \ |
| "std r8,40(r11)\n\t" \ |
| "std r9,48(r11)\n\t" \ |
| "std r10,56(r11)\n\t" \ |
| "stfd f1,64(r11)\n\t" \ |
| "stfd f2,72(r11)\n\t" \ |
| "stfd f3,80(r11)\n\t" \ |
| "stfd f4,88(r11)\n\t" \ |
| "stfd f5,96(r11)\n\t" \ |
| "stfd f6,104(r11)\n\t" \ |
| "stfd f7,112(r11)\n\t" \ |
| "stfd f8,120(r11)\n\t" \ |
| "stfd f9,128(r11)\n\t" \ |
| "stfd f10,136(r11)\n\t" \ |
| "stfd f11,144(r11)\n\t" \ |
| "stfd f12,152(r11)\n\t" \ |
| "stfd f13,160(r11)\n\t":::"r11", "memory") |
| #endif |
| |
| |
| /* Stackframe structure relevant for parameter passing. */ |
| typedef union |
| { |
| double d; |
| unsigned long l; |
| unsigned int i[2]; |
| } parm_t; |
| |
| typedef struct sf |
| { |
| struct sf *backchain; |
| long a1; |
| long a2; |
| long a3; |
| #if _CALL_ELF != 2 |
| long a4; |
| long a5; |
| #endif |
| parm_t slot[100]; |
| } stack_frame_t; |
| |
| |
| /* Paramter passing. |
| s : gpr 3 |
| l : gpr 4 |
| d : fpr 1 |
| */ |
| void __attribute__ ((noinline)) fcld (char *s, long l, double d) |
| { |
| save_parms (); |
| |
| } |
| void __attribute__ ((noinline)) fcld_check (char *s, long l, double d) |
| { |
| if (s != (char *) gparms.gprs[0]) |
| abort (); |
| |
| if (l != gparms.gprs[1]) |
| abort (); |
| |
| if (d != gparms.fprs[0]) |
| abort (); |
| } |
| |
| /* Paramter passing. |
| s : gpr 3 |
| l : gpr 4 |
| d : fpr 2 |
| i : gpr 5 |
| */ |
| void __attribute__ ((noinline)) |
| fcldi (char *s, long l, double d, signed int i) |
| { |
| save_parms (); |
| } |
| |
| void __attribute__ ((noinline)) |
| fcldi_check (char *s, long l, double d, signed int i) |
| { |
| if (s != (char *) gparms.gprs[0]) |
| abort (); |
| |
| if (l != gparms.gprs[1]) |
| abort (); |
| |
| if (d != gparms.fprs[0]) |
| abort (); |
| |
| if ((signed long) i != gparms.gprs[3]) |
| abort (); |
| } |
| |
| /* Paramter passing. |
| s : gpr 3 |
| l : gpr 4 |
| d : fpr 2 |
| i : gpr 5 |
| */ |
| void __attribute__ ((noinline)) |
| fcldu (char *s, long l, float d, unsigned int i) |
| { |
| save_parms (); |
| } |
| |
| void __attribute__ ((noinline)) |
| fcldu_check (char *s, long l, float d, unsigned int i) |
| { |
| if (s != (char *) gparms.gprs[0]) |
| abort (); |
| |
| if (l != gparms.gprs[1]) |
| abort (); |
| |
| if ((double) d != gparms.fprs[0]) |
| abort (); |
| |
| if ((unsigned long) i != gparms.gprs[3]) |
| abort (); |
| } |
| |
| /* Paramter passing. |
| s : gpr 3 |
| l : slot 1 |
| d : slot 2 |
| */ |
| void __attribute__ ((noinline)) fceld (char *s, ...) |
| { |
| save_parms (); |
| } |
| |
| void __attribute__ ((noinline)) fceld_check (char *s, ...) |
| { |
| stack_frame_t *sp; |
| va_list arg; |
| double d; |
| long l; |
| |
| va_start (arg, s); |
| |
| if (s != (char *) gparms.gprs[0]) |
| abort (); |
| |
| l = va_arg (arg, long); |
| d = va_arg (arg, double); |
| |
| /* Go back one frame. */ |
| sp = __builtin_frame_address (0); |
| sp = sp->backchain; |
| |
| if (sp->slot[1].l != l) |
| abort (); |
| |
| if (sp->slot[2].d != d) |
| abort (); |
| } |
| |
| /* Paramter passing. |
| s : gpr 3 |
| i : gpr 4 |
| j : gpr 5 |
| d : slot 3 |
| l : slot 4 |
| */ |
| void __attribute__ ((noinline)) fciiedl (char *s, int i, int j, ...) |
| { |
| save_parms (); |
| } |
| |
| void __attribute__ ((noinline)) fciiedl_check (char *s, int i, int j, ...) |
| { |
| stack_frame_t *sp; |
| va_list arg; |
| double d; |
| long l; |
| |
| va_start (arg, j); |
| |
| if (s != (char *) gparms.gprs[0]) |
| abort (); |
| |
| if ((long) i != gparms.gprs[1]) |
| abort (); |
| |
| if ((long) j != gparms.gprs[2]) |
| abort (); |
| |
| d = va_arg (arg, double); |
| l = va_arg (arg, long); |
| |
| sp = __builtin_frame_address (0); |
| sp = sp->backchain; |
| |
| if (sp->slot[3].d != d) |
| abort (); |
| |
| if (sp->slot[4].l != l) |
| abort (); |
| } |
| |
| /* |
| Parameter Register Offset in parameter save area |
| c r3 0-7 (not stored in parameter save area) |
| ff f1 8-15 (not stored) |
| d r5 16-23 (not stored) |
| ld f2 24-31 (not stored) |
| f r7 32-39 (not stored) |
| s r8,r9 40-55 (not stored) |
| gg f3 56-63 (not stored) |
| t (none) 64-79 (stored in parameter save area) |
| e (none) 80-87 (stored) |
| hh f4 88-95 (stored) |
| |
| */ |
| |
| typedef struct |
| { |
| int a; |
| double dd; |
| } sparm; |
| |
| typedef union |
| { |
| int i[2]; |
| long l; |
| double d; |
| } double_t; |
| |
| /* Example from ABI documentation with slight changes. |
| Paramter passing. |
| c : gpr 3 |
| ff : fpr 1 |
| d : gpr 5 |
| ld : fpr 2 |
| f : gpr 7 |
| s : gpr 8 - 9 |
| gg : fpr 3 |
| t : save area offset 64 - 79 |
| e : save area offset 80 - 88 |
| hh : fpr 4 |
| */ |
| |
| void __attribute__ ((noinline)) |
| fididisdsid (int c, double ff, int d, double ld, int f, |
| sparm s, double gg, sparm t, int e, double hh) |
| { |
| save_parms (); |
| } |
| |
| void |
| fididisdsid_check (int c, double ff, int d, double ld, int f, |
| sparm s, double gg, sparm t, int e, double hh) |
| { |
| stack_frame_t *sp; |
| double_t dx, dy; |
| |
| /* Parm 0: int. */ |
| if ((long) c != gparms.gprs[0]) |
| abort (); |
| |
| /* Parm 1: double. */ |
| if (ff != gparms.fprs[0]) |
| abort (); |
| |
| /* Parm 2: int. */ |
| if ((long) d != gparms.gprs[2]) |
| abort (); |
| |
| /* Parm 3: double. */ |
| if (ld != gparms.fprs[1]) |
| abort (); |
| |
| /* Parm 4: int. */ |
| if ((long) f != gparms.gprs[4]) |
| abort (); |
| |
| /* Parm 5: struct sparm. */ |
| dx.l = gparms.gprs[5]; |
| dy.l = gparms.gprs[6]; |
| |
| if (s.a != dx.i[0]) |
| abort (); |
| if (s.dd != dy.d) |
| abort (); |
| |
| /* Parm 6: double. */ |
| if (gg != gparms.fprs[2]) |
| abort (); |
| |
| sp = ((stack_frame_t*)__builtin_frame_address (0))->backchain; |
| |
| /* Parm 7: struct sparm. */ |
| dx.l = sp->slot[8].l; |
| dy.l = sp->slot[9].l; |
| if (t.a != dx.i[0]) |
| abort (); |
| if (t.dd != dy.d) |
| abort (); |
| |
| /* Parm 8: int. */ |
| if (e != sp->slot[10].l) |
| abort (); |
| |
| /* Parm 9: double. */ |
| |
| if (hh != gparms.fprs[3]) |
| abort (); |
| } |
| |
| int |
| main () |
| { |
| char *s = "ii"; |
| |
| #define ABI_CHECK(func, args) \ |
| func args, func ## _check args |
| |
| ABI_CHECK (fcld, (s, 1, 1.0)); |
| ABI_CHECK (fcldi, (s, 1, 1.0, -2)); |
| ABI_CHECK (fcldu, (s, 1, 1.0, 2)); |
| ABI_CHECK (fceld, (s, 1, 1.0)); |
| ABI_CHECK (fciiedl, (s, 1, 2, 1.0, 3)); |
| ABI_CHECK (fididisdsid, (1, 1.0, 2, 2.0, -1, |
| (sparm){3, 3.0}, 4.0, (sparm){5, 5.0}, |
| 6, 7.0)); |
| |
| return 0; |
| } |
