1271661c1SWilly Tarreau /* SPDX-License-Identifier: LGPL-2.1 OR MIT */
2271661c1SWilly Tarreau /*
3271661c1SWilly Tarreau * MIPS specific definitions for NOLIBC
4271661c1SWilly Tarreau * Copyright (C) 2017-2022 Willy Tarreau <w@1wt.eu>
5271661c1SWilly Tarreau */
6271661c1SWilly Tarreau
7271661c1SWilly Tarreau #ifndef _NOLIBC_ARCH_MIPS_H
8271661c1SWilly Tarreau #define _NOLIBC_ARCH_MIPS_H
9271661c1SWilly Tarreau
10818924d1SThomas Weißschuh #include "compiler.h"
11431b806bSZhangjin Wu #include "crt.h"
12818924d1SThomas Weißschuh
13*a6a2a8a4SThomas Weißschuh #if !defined(_ABIO32) && !defined(_ABIN32) && !defined(_ABI64)
14aa68a5a8SThomas Weißschuh #error Unsupported MIPS ABI
15aa68a5a8SThomas Weißschuh #endif
16aa68a5a8SThomas Weißschuh
17271661c1SWilly Tarreau /* Syscalls for MIPS ABI O32 :
18271661c1SWilly Tarreau * - WARNING! there's always a delayed slot!
19271661c1SWilly Tarreau * - WARNING again, the syntax is different, registers take a '$' and numbers
20271661c1SWilly Tarreau * do not.
21271661c1SWilly Tarreau * - registers are 32-bit
22271661c1SWilly Tarreau * - stack is 8-byte aligned
23271661c1SWilly Tarreau * - syscall number is passed in v0 (starts at 0xfa0).
24271661c1SWilly Tarreau * - arguments are in a0, a1, a2, a3, then the stack. The caller needs to
25271661c1SWilly Tarreau * leave some room in the stack for the callee to save a0..a3 if needed.
26271661c1SWilly Tarreau * - Many registers are clobbered, in fact only a0..a2 and s0..s8 are
27271661c1SWilly Tarreau * preserved. See: https://www.linux-mips.org/wiki/Syscall as well as
28271661c1SWilly Tarreau * scall32-o32.S in the kernel sources.
29271661c1SWilly Tarreau * - the system call is performed by calling "syscall"
30271661c1SWilly Tarreau * - syscall return comes in v0, and register a3 needs to be checked to know
31271661c1SWilly Tarreau * if an error occurred, in which case errno is in v0.
32271661c1SWilly Tarreau * - the arguments are cast to long and assigned into the target registers
33271661c1SWilly Tarreau * which are then simply passed as registers to the asm code, so that we
34271661c1SWilly Tarreau * don't have to experience issues with register constraints.
35*a6a2a8a4SThomas Weißschuh *
36*a6a2a8a4SThomas Weißschuh * Syscalls for MIPS ABI N32, same as ABI O32 with the following differences :
37*a6a2a8a4SThomas Weißschuh * - arguments are in a0, a1, a2, a3, t0, t1, t2, t3.
38*a6a2a8a4SThomas Weißschuh * t0..t3 are also known as a4..a7.
39*a6a2a8a4SThomas Weißschuh * - stack is 16-byte aligned
40271661c1SWilly Tarreau */
41271661c1SWilly Tarreau
42*a6a2a8a4SThomas Weißschuh #if defined(_ABIO32)
43*a6a2a8a4SThomas Weißschuh
448b9bdab6SZhangjin Wu #define _NOLIBC_SYSCALL_CLOBBERLIST \
458b9bdab6SZhangjin Wu "memory", "cc", "at", "v1", "hi", "lo", \
468b9bdab6SZhangjin Wu "t0", "t1", "t2", "t3", "t4", "t5", "t6", "t7", "t8", "t9"
47*a6a2a8a4SThomas Weißschuh #define _NOLIBC_SYSCALL_STACK_RESERVE "addiu $sp, $sp, -32\n"
48*a6a2a8a4SThomas Weißschuh #define _NOLIBC_SYSCALL_STACK_UNRESERVE "addiu $sp, $sp, 32\n"
49*a6a2a8a4SThomas Weißschuh
50*a6a2a8a4SThomas Weißschuh #else /* _ABIN32 || _ABI64 */
51*a6a2a8a4SThomas Weißschuh
52*a6a2a8a4SThomas Weißschuh /* binutils, GCC and clang disagree about register aliases, use numbers instead. */
53*a6a2a8a4SThomas Weißschuh #define _NOLIBC_SYSCALL_CLOBBERLIST \
54*a6a2a8a4SThomas Weißschuh "memory", "cc", "at", "v1", \
55*a6a2a8a4SThomas Weißschuh "10", "11", "12", "13", "14", "15", "24", "25"
56*a6a2a8a4SThomas Weißschuh
57*a6a2a8a4SThomas Weißschuh #define _NOLIBC_SYSCALL_STACK_RESERVE
58*a6a2a8a4SThomas Weißschuh #define _NOLIBC_SYSCALL_STACK_UNRESERVE
59*a6a2a8a4SThomas Weißschuh
60*a6a2a8a4SThomas Weißschuh #endif /* _ABIO32 */
618b9bdab6SZhangjin Wu
62271661c1SWilly Tarreau #define my_syscall0(num) \
63271661c1SWilly Tarreau ({ \
6437d62758SAmmar Faizi register long _num __asm__ ("v0") = (num); \
6537d62758SAmmar Faizi register long _arg4 __asm__ ("a3"); \
66271661c1SWilly Tarreau \
6737d62758SAmmar Faizi __asm__ volatile ( \
68*a6a2a8a4SThomas Weißschuh _NOLIBC_SYSCALL_STACK_RESERVE \
69271661c1SWilly Tarreau "syscall\n" \
70*a6a2a8a4SThomas Weißschuh _NOLIBC_SYSCALL_STACK_UNRESERVE \
71271661c1SWilly Tarreau : "=r"(_num), "=r"(_arg4) \
72271661c1SWilly Tarreau : "r"(_num) \
738b9bdab6SZhangjin Wu : _NOLIBC_SYSCALL_CLOBBERLIST \
74271661c1SWilly Tarreau ); \
75271661c1SWilly Tarreau _arg4 ? -_num : _num; \
76271661c1SWilly Tarreau })
77271661c1SWilly Tarreau
78271661c1SWilly Tarreau #define my_syscall1(num, arg1) \
79271661c1SWilly Tarreau ({ \
8037d62758SAmmar Faizi register long _num __asm__ ("v0") = (num); \
8137d62758SAmmar Faizi register long _arg1 __asm__ ("a0") = (long)(arg1); \
8237d62758SAmmar Faizi register long _arg4 __asm__ ("a3"); \
83271661c1SWilly Tarreau \
8437d62758SAmmar Faizi __asm__ volatile ( \
85*a6a2a8a4SThomas Weißschuh _NOLIBC_SYSCALL_STACK_RESERVE \
86271661c1SWilly Tarreau "syscall\n" \
87*a6a2a8a4SThomas Weißschuh _NOLIBC_SYSCALL_STACK_UNRESERVE \
88271661c1SWilly Tarreau : "=r"(_num), "=r"(_arg4) \
89271661c1SWilly Tarreau : "0"(_num), \
90271661c1SWilly Tarreau "r"(_arg1) \
918b9bdab6SZhangjin Wu : _NOLIBC_SYSCALL_CLOBBERLIST \
92271661c1SWilly Tarreau ); \
93271661c1SWilly Tarreau _arg4 ? -_num : _num; \
94271661c1SWilly Tarreau })
95271661c1SWilly Tarreau
96271661c1SWilly Tarreau #define my_syscall2(num, arg1, arg2) \
97271661c1SWilly Tarreau ({ \
9837d62758SAmmar Faizi register long _num __asm__ ("v0") = (num); \
9937d62758SAmmar Faizi register long _arg1 __asm__ ("a0") = (long)(arg1); \
10037d62758SAmmar Faizi register long _arg2 __asm__ ("a1") = (long)(arg2); \
10137d62758SAmmar Faizi register long _arg4 __asm__ ("a3"); \
102271661c1SWilly Tarreau \
10337d62758SAmmar Faizi __asm__ volatile ( \
104*a6a2a8a4SThomas Weißschuh _NOLIBC_SYSCALL_STACK_RESERVE \
105271661c1SWilly Tarreau "syscall\n" \
106*a6a2a8a4SThomas Weißschuh _NOLIBC_SYSCALL_STACK_UNRESERVE \
107271661c1SWilly Tarreau : "=r"(_num), "=r"(_arg4) \
108271661c1SWilly Tarreau : "0"(_num), \
109271661c1SWilly Tarreau "r"(_arg1), "r"(_arg2) \
1108b9bdab6SZhangjin Wu : _NOLIBC_SYSCALL_CLOBBERLIST \
111271661c1SWilly Tarreau ); \
112271661c1SWilly Tarreau _arg4 ? -_num : _num; \
113271661c1SWilly Tarreau })
114271661c1SWilly Tarreau
115271661c1SWilly Tarreau #define my_syscall3(num, arg1, arg2, arg3) \
116271661c1SWilly Tarreau ({ \
11737d62758SAmmar Faizi register long _num __asm__ ("v0") = (num); \
11837d62758SAmmar Faizi register long _arg1 __asm__ ("a0") = (long)(arg1); \
11937d62758SAmmar Faizi register long _arg2 __asm__ ("a1") = (long)(arg2); \
12037d62758SAmmar Faizi register long _arg3 __asm__ ("a2") = (long)(arg3); \
12137d62758SAmmar Faizi register long _arg4 __asm__ ("a3"); \
122271661c1SWilly Tarreau \
12337d62758SAmmar Faizi __asm__ volatile ( \
124*a6a2a8a4SThomas Weißschuh _NOLIBC_SYSCALL_STACK_RESERVE \
125271661c1SWilly Tarreau "syscall\n" \
126*a6a2a8a4SThomas Weißschuh _NOLIBC_SYSCALL_STACK_UNRESERVE \
127271661c1SWilly Tarreau : "=r"(_num), "=r"(_arg4) \
128271661c1SWilly Tarreau : "0"(_num), \
129271661c1SWilly Tarreau "r"(_arg1), "r"(_arg2), "r"(_arg3) \
1308b9bdab6SZhangjin Wu : _NOLIBC_SYSCALL_CLOBBERLIST \
131271661c1SWilly Tarreau ); \
132271661c1SWilly Tarreau _arg4 ? -_num : _num; \
133271661c1SWilly Tarreau })
134271661c1SWilly Tarreau
135271661c1SWilly Tarreau #define my_syscall4(num, arg1, arg2, arg3, arg4) \
136271661c1SWilly Tarreau ({ \
13737d62758SAmmar Faizi register long _num __asm__ ("v0") = (num); \
13837d62758SAmmar Faizi register long _arg1 __asm__ ("a0") = (long)(arg1); \
13937d62758SAmmar Faizi register long _arg2 __asm__ ("a1") = (long)(arg2); \
14037d62758SAmmar Faizi register long _arg3 __asm__ ("a2") = (long)(arg3); \
14137d62758SAmmar Faizi register long _arg4 __asm__ ("a3") = (long)(arg4); \
142271661c1SWilly Tarreau \
14337d62758SAmmar Faizi __asm__ volatile ( \
144*a6a2a8a4SThomas Weißschuh _NOLIBC_SYSCALL_STACK_RESERVE \
145271661c1SWilly Tarreau "syscall\n" \
146*a6a2a8a4SThomas Weißschuh _NOLIBC_SYSCALL_STACK_UNRESERVE \
147271661c1SWilly Tarreau : "=r" (_num), "=r"(_arg4) \
148271661c1SWilly Tarreau : "0"(_num), \
149271661c1SWilly Tarreau "r"(_arg1), "r"(_arg2), "r"(_arg3), "r"(_arg4) \
1508b9bdab6SZhangjin Wu : _NOLIBC_SYSCALL_CLOBBERLIST \
151271661c1SWilly Tarreau ); \
152271661c1SWilly Tarreau _arg4 ? -_num : _num; \
153271661c1SWilly Tarreau })
154271661c1SWilly Tarreau
155*a6a2a8a4SThomas Weißschuh #if defined(_ABIO32)
156*a6a2a8a4SThomas Weißschuh
157271661c1SWilly Tarreau #define my_syscall5(num, arg1, arg2, arg3, arg4, arg5) \
158271661c1SWilly Tarreau ({ \
15937d62758SAmmar Faizi register long _num __asm__ ("v0") = (num); \
16037d62758SAmmar Faizi register long _arg1 __asm__ ("a0") = (long)(arg1); \
16137d62758SAmmar Faizi register long _arg2 __asm__ ("a1") = (long)(arg2); \
16237d62758SAmmar Faizi register long _arg3 __asm__ ("a2") = (long)(arg3); \
16337d62758SAmmar Faizi register long _arg4 __asm__ ("a3") = (long)(arg4); \
164271661c1SWilly Tarreau register long _arg5 = (long)(arg5); \
165271661c1SWilly Tarreau \
16637d62758SAmmar Faizi __asm__ volatile ( \
167*a6a2a8a4SThomas Weißschuh _NOLIBC_SYSCALL_STACK_RESERVE \
168271661c1SWilly Tarreau "sw %7, 16($sp)\n" \
169271661c1SWilly Tarreau "syscall\n" \
170*a6a2a8a4SThomas Weißschuh _NOLIBC_SYSCALL_STACK_UNRESERVE \
171271661c1SWilly Tarreau : "=r" (_num), "=r"(_arg4) \
172271661c1SWilly Tarreau : "0"(_num), \
173271661c1SWilly Tarreau "r"(_arg1), "r"(_arg2), "r"(_arg3), "r"(_arg4), "r"(_arg5) \
1746d1970e1SZhangjin Wu : _NOLIBC_SYSCALL_CLOBBERLIST \
1756d1970e1SZhangjin Wu ); \
1766d1970e1SZhangjin Wu _arg4 ? -_num : _num; \
1776d1970e1SZhangjin Wu })
1786d1970e1SZhangjin Wu
1796d1970e1SZhangjin Wu #define my_syscall6(num, arg1, arg2, arg3, arg4, arg5, arg6) \
1806d1970e1SZhangjin Wu ({ \
1816d1970e1SZhangjin Wu register long _num __asm__ ("v0") = (num); \
1826d1970e1SZhangjin Wu register long _arg1 __asm__ ("a0") = (long)(arg1); \
1836d1970e1SZhangjin Wu register long _arg2 __asm__ ("a1") = (long)(arg2); \
1846d1970e1SZhangjin Wu register long _arg3 __asm__ ("a2") = (long)(arg3); \
1856d1970e1SZhangjin Wu register long _arg4 __asm__ ("a3") = (long)(arg4); \
1866d1970e1SZhangjin Wu register long _arg5 = (long)(arg5); \
1876d1970e1SZhangjin Wu register long _arg6 = (long)(arg6); \
1886d1970e1SZhangjin Wu \
1896d1970e1SZhangjin Wu __asm__ volatile ( \
190*a6a2a8a4SThomas Weißschuh _NOLIBC_SYSCALL_STACK_RESERVE \
1916d1970e1SZhangjin Wu "sw %7, 16($sp)\n" \
1926d1970e1SZhangjin Wu "sw %8, 20($sp)\n" \
1936d1970e1SZhangjin Wu "syscall\n" \
194*a6a2a8a4SThomas Weißschuh _NOLIBC_SYSCALL_STACK_UNRESERVE \
1956d1970e1SZhangjin Wu : "=r" (_num), "=r"(_arg4) \
1966d1970e1SZhangjin Wu : "0"(_num), \
1976d1970e1SZhangjin Wu "r"(_arg1), "r"(_arg2), "r"(_arg3), "r"(_arg4), "r"(_arg5), \
1986d1970e1SZhangjin Wu "r"(_arg6) \
1998b9bdab6SZhangjin Wu : _NOLIBC_SYSCALL_CLOBBERLIST \
200271661c1SWilly Tarreau ); \
201271661c1SWilly Tarreau _arg4 ? -_num : _num; \
202271661c1SWilly Tarreau })
203271661c1SWilly Tarreau
204*a6a2a8a4SThomas Weißschuh #else /* _ABIN32 || _ABI64 */
205*a6a2a8a4SThomas Weißschuh
206*a6a2a8a4SThomas Weißschuh #define my_syscall5(num, arg1, arg2, arg3, arg4, arg5) \
207*a6a2a8a4SThomas Weißschuh ({ \
208*a6a2a8a4SThomas Weißschuh register long _num __asm__ ("v0") = (num); \
209*a6a2a8a4SThomas Weißschuh register long _arg1 __asm__ ("$4") = (long)(arg1); \
210*a6a2a8a4SThomas Weißschuh register long _arg2 __asm__ ("$5") = (long)(arg2); \
211*a6a2a8a4SThomas Weißschuh register long _arg3 __asm__ ("$6") = (long)(arg3); \
212*a6a2a8a4SThomas Weißschuh register long _arg4 __asm__ ("$7") = (long)(arg4); \
213*a6a2a8a4SThomas Weißschuh register long _arg5 __asm__ ("$8") = (long)(arg5); \
214*a6a2a8a4SThomas Weißschuh \
215*a6a2a8a4SThomas Weißschuh __asm__ volatile ( \
216*a6a2a8a4SThomas Weißschuh "syscall\n" \
217*a6a2a8a4SThomas Weißschuh : "=r" (_num), "=r"(_arg4) \
218*a6a2a8a4SThomas Weißschuh : "0"(_num), \
219*a6a2a8a4SThomas Weißschuh "r"(_arg1), "r"(_arg2), "r"(_arg3), "r"(_arg4), "r"(_arg5) \
220*a6a2a8a4SThomas Weißschuh : _NOLIBC_SYSCALL_CLOBBERLIST \
221*a6a2a8a4SThomas Weißschuh ); \
222*a6a2a8a4SThomas Weißschuh _arg4 ? -_num : _num; \
223*a6a2a8a4SThomas Weißschuh })
224*a6a2a8a4SThomas Weißschuh
225*a6a2a8a4SThomas Weißschuh #define my_syscall6(num, arg1, arg2, arg3, arg4, arg5, arg6) \
226*a6a2a8a4SThomas Weißschuh ({ \
227*a6a2a8a4SThomas Weißschuh register long _num __asm__ ("v0") = (num); \
228*a6a2a8a4SThomas Weißschuh register long _arg1 __asm__ ("$4") = (long)(arg1); \
229*a6a2a8a4SThomas Weißschuh register long _arg2 __asm__ ("$5") = (long)(arg2); \
230*a6a2a8a4SThomas Weißschuh register long _arg3 __asm__ ("$6") = (long)(arg3); \
231*a6a2a8a4SThomas Weißschuh register long _arg4 __asm__ ("$7") = (long)(arg4); \
232*a6a2a8a4SThomas Weißschuh register long _arg5 __asm__ ("$8") = (long)(arg5); \
233*a6a2a8a4SThomas Weißschuh register long _arg6 __asm__ ("$9") = (long)(arg6); \
234*a6a2a8a4SThomas Weißschuh \
235*a6a2a8a4SThomas Weißschuh __asm__ volatile ( \
236*a6a2a8a4SThomas Weißschuh "syscall\n" \
237*a6a2a8a4SThomas Weißschuh : "=r" (_num), "=r"(_arg4) \
238*a6a2a8a4SThomas Weißschuh : "0"(_num), \
239*a6a2a8a4SThomas Weißschuh "r"(_arg1), "r"(_arg2), "r"(_arg3), "r"(_arg4), "r"(_arg5), \
240*a6a2a8a4SThomas Weißschuh "r"(_arg6) \
241*a6a2a8a4SThomas Weißschuh : _NOLIBC_SYSCALL_CLOBBERLIST \
242*a6a2a8a4SThomas Weißschuh ); \
243*a6a2a8a4SThomas Weißschuh _arg4 ? -_num : _num; \
244*a6a2a8a4SThomas Weißschuh })
245*a6a2a8a4SThomas Weißschuh
246*a6a2a8a4SThomas Weißschuh #endif /* _ABIO32 */
247*a6a2a8a4SThomas Weißschuh
248271661c1SWilly Tarreau /* startup code, note that it's called __start on MIPS */
2490de64754SThomas Weißschuh void __start(void);
__start(void)250ef32e9b6SThomas Weißschuh void __attribute__((weak, noreturn)) __nolibc_entrypoint __no_stack_protector __start(void)
2517f854858SWilly Tarreau {
2527f854858SWilly Tarreau __asm__ volatile (
253431b806bSZhangjin Wu "move $a0, $sp\n" /* save stack pointer to $a0, as arg1 of _start_c */
254*a6a2a8a4SThomas Weißschuh #if defined(_ABIO32)
255431b806bSZhangjin Wu "addiu $sp, $sp, -16\n" /* the callee expects to save a0..a3 there */
256*a6a2a8a4SThomas Weißschuh #endif /* _ABIO32 */
2570daf8c86SThomas Weißschuh "lui $t9, %hi(_start_c)\n" /* ABI requires current function address in $t9 */
2580daf8c86SThomas Weißschuh "ori $t9, %lo(_start_c)\n"
259*a6a2a8a4SThomas Weißschuh #if defined(_ABI64)
260*a6a2a8a4SThomas Weißschuh "lui $t0, %highest(_start_c)\n"
261*a6a2a8a4SThomas Weißschuh "ori $t0, %higher(_start_c)\n"
262*a6a2a8a4SThomas Weißschuh "dsll $t0, 0x20\n"
263*a6a2a8a4SThomas Weißschuh "or $t9, $t0\n"
264*a6a2a8a4SThomas Weißschuh #endif /* _ABI64 */
2650daf8c86SThomas Weißschuh "jalr $t9\n" /* transfer to c runtime */
2667f854858SWilly Tarreau );
267ef32e9b6SThomas Weißschuh __nolibc_entrypoint_epilogue();
2687f854858SWilly Tarreau }
269271661c1SWilly Tarreau
270fddc8f81SThomas Weißschuh #endif /* _NOLIBC_ARCH_MIPS_H */
271