xref: /linux/tools/include/nolibc/arch-mips.h (revision b1c21075d30c40762750be0cded9822791df422b)
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