* [PATCH 1/1] Only pass the minimum number of syscall arguments
2020-02-10 20:20 [PATCH 0/1] Only pass the minimum number of syscall arguments (RISC-V) Georg Sauthoff
@ 2020-02-10 20:20 ` Georg Sauthoff
2020-02-11 6:55 ` Kito Cheng
2020-02-11 8:43 ` [PATCH 0/1] Only pass the minimum number of syscall arguments (RISC-V) Corinna Vinschen
1 sibling, 1 reply; 4+ messages in thread
From: Georg Sauthoff @ 2020-02-10 20:20 UTC (permalink / raw)
To: newlib; +Cc: Georg Sauthoff
Previously, __internal_syscall() compiled into asm-code that unconditionally
sets the syscall argument registers a0 to a5.
For example, the instruction sequence for a exit syscall looked like
this:
li a0, 1 # in ther caller of exit()
# ... # in newlib:
li a1, 0 # unused arguments
li a2, 0
li a3, 0
li a4, 0
li a5, 0
li a7, 93 # exit syscall number
(i.e. the binary contains then 5 superfluous instructions for this
one argument syscall)
This commit changes the RISC-V syscall code such that only the required
syscall argument registers are set.
GCC detects that argc is known at compile time and thus evaluates all the
if-statements where argc is used at compile time (tested with -O2 and -Os).
---
libgloss/riscv/internal_syscall.h | 41 ++++++++++++++++++++++---------
libgloss/riscv/sys_access.c | 2 +-
libgloss/riscv/sys_close.c | 2 +-
libgloss/riscv/sys_exit.c | 2 +-
libgloss/riscv/sys_faccessat.c | 2 +-
libgloss/riscv/sys_fstat.c | 2 +-
libgloss/riscv/sys_fstatat.c | 2 +-
libgloss/riscv/sys_gettimeofday.c | 2 +-
libgloss/riscv/sys_link.c | 2 +-
libgloss/riscv/sys_lseek.c | 2 +-
libgloss/riscv/sys_lstat.c | 2 +-
libgloss/riscv/sys_open.c | 2 +-
libgloss/riscv/sys_openat.c | 2 +-
libgloss/riscv/sys_read.c | 2 +-
libgloss/riscv/sys_sbrk.c | 4 +--
libgloss/riscv/sys_stat.c | 2 +-
libgloss/riscv/sys_unlink.c | 2 +-
libgloss/riscv/sys_write.c | 2 +-
18 files changed, 48 insertions(+), 29 deletions(-)
diff --git a/libgloss/riscv/internal_syscall.h b/libgloss/riscv/internal_syscall.h
index e5d5594..1f1f42f 100644
--- a/libgloss/riscv/internal_syscall.h
+++ b/libgloss/riscv/internal_syscall.h
@@ -22,31 +22,50 @@ __syscall_error(long a0)
}
static inline long
-__internal_syscall(long n, long _a0, long _a1, long _a2, long _a3, long _a4, long _a5)
+__internal_syscall(long n, int argc, long _a0, long _a1, long _a2, long _a3, long _a4, long _a5)
{
+#ifdef __riscv_32e
+ register long syscall_id asm("t0") = n;
+#else
+ register long syscall_id asm("a7") = n;
+#endif
+
register long a0 asm("a0") = _a0;
+ if (argc < 2) {
+ asm volatile ("ecall" : "+r"(a0) : "r"(syscall_id));
+ return a0;
+ }
register long a1 asm("a1") = _a1;
+ if (argc == 2) {
+ asm volatile ("ecall" : "+r"(a0) : "r"(a1), "r"(syscall_id));
+ return a0;
+ }
register long a2 asm("a2") = _a2;
+ if (argc == 3) {
+ asm volatile ("ecall" : "+r"(a0) : "r"(a1), "r"(a2), "r"(syscall_id));
+ return a0;
+ }
register long a3 asm("a3") = _a3;
+ if (argc == 4) {
+ asm volatile ("ecall" : "+r"(a0) : "r"(a1), "r"(a2), "r"(a3), "r"(syscall_id));
+ return a0;
+ }
register long a4 asm("a4") = _a4;
+ if (argc == 5) {
+ asm volatile ("ecall" : "+r"(a0) : "r"(a1), "r"(a2), "r"(a3), "r"(a4), "r"(syscall_id));
+ return a0;
+ }
register long a5 asm("a5") = _a5;
-#ifdef __riscv_32e
- register long syscall_id asm("t0") = n;
-#else
- register long syscall_id asm("a7") = n;
-#endif
-
- asm volatile ("scall"
- : "+r"(a0) : "r"(a1), "r"(a2), "r"(a3), "r"(a4), "r"(a5), "r"(syscall_id));
+ asm volatile ("ecall" : "+r"(a0) : "r"(a1), "r"(a2), "r"(a3), "r"(a4), "r"(a5), "r"(syscall_id));
return a0;
}
static inline long
-syscall_errno(long n, long _a0, long _a1, long _a2, long _a3, long _a4, long _a5)
+syscall_errno(long n, int argc, long _a0, long _a1, long _a2, long _a3, long _a4, long _a5)
{
- long a0 = __internal_syscall (n, _a0, _a1, _a2, _a3, _a4, _a5);
+ long a0 = __internal_syscall (n, argc, _a0, _a1, _a2, _a3, _a4, _a5);
if (a0 < 0)
return __syscall_error (a0);
diff --git a/libgloss/riscv/sys_access.c b/libgloss/riscv/sys_access.c
index ef446d2..45bedb3 100644
--- a/libgloss/riscv/sys_access.c
+++ b/libgloss/riscv/sys_access.c
@@ -5,5 +5,5 @@
int
_access(const char *file, int mode)
{
- return syscall_errno (SYS_access, file, mode, 0, 0, 0, 0);
+ return syscall_errno (SYS_access, 2, file, mode, 0, 0, 0, 0);
}
diff --git a/libgloss/riscv/sys_close.c b/libgloss/riscv/sys_close.c
index 80b10c6..c1691d8 100644
--- a/libgloss/riscv/sys_close.c
+++ b/libgloss/riscv/sys_close.c
@@ -5,5 +5,5 @@
int
_close(int file)
{
- return syscall_errno (SYS_close, file, 0, 0, 0, 0, 0);
+ return syscall_errno (SYS_close, 1, file, 0, 0, 0, 0, 0);
}
diff --git a/libgloss/riscv/sys_exit.c b/libgloss/riscv/sys_exit.c
index 03e1c34..995dd65 100644
--- a/libgloss/riscv/sys_exit.c
+++ b/libgloss/riscv/sys_exit.c
@@ -5,6 +5,6 @@
void
_exit(int exit_status)
{
- syscall_errno (SYS_exit, exit_status, 0, 0, 0, 0, 0);
+ syscall_errno (SYS_exit, 1, exit_status, 0, 0, 0, 0, 0);
while (1);
}
diff --git a/libgloss/riscv/sys_faccessat.c b/libgloss/riscv/sys_faccessat.c
index e966a4a..6418ef4 100644
--- a/libgloss/riscv/sys_faccessat.c
+++ b/libgloss/riscv/sys_faccessat.c
@@ -4,5 +4,5 @@
/* Permissions of a file (by name) in a given directory. */
int _faccessat(int dirfd, const char *file, int mode, int flags)
{
- return syscall_errno (SYS_faccessat, dirfd, file, mode, flags, 0, 0);
+ return syscall_errno (SYS_faccessat, 4, dirfd, file, mode, flags, 0, 0);
}
diff --git a/libgloss/riscv/sys_fstat.c b/libgloss/riscv/sys_fstat.c
index 13a0bca..d97ba44 100644
--- a/libgloss/riscv/sys_fstat.c
+++ b/libgloss/riscv/sys_fstat.c
@@ -9,7 +9,7 @@ int
_fstat(int file, struct stat *st)
{
struct kernel_stat kst;
- int rv = syscall_errno (SYS_fstat, file, &kst, 0, 0, 0, 0);
+ int rv = syscall_errno (SYS_fstat, 2, file, &kst, 0, 0, 0, 0);
_conv_stat (st, &kst);
return rv;
}
diff --git a/libgloss/riscv/sys_fstatat.c b/libgloss/riscv/sys_fstatat.c
index 0e4ea42..bf03355 100644
--- a/libgloss/riscv/sys_fstatat.c
+++ b/libgloss/riscv/sys_fstatat.c
@@ -8,7 +8,7 @@ int
_fstatat(int dirfd, const char *file, struct stat *st, int flags)
{
struct kernel_stat kst;
- int rv = syscall_errno (SYS_fstatat, dirfd, file, &kst, flags, 0, 0);
+ int rv = syscall_errno (SYS_fstatat, 4, dirfd, file, &kst, flags, 0, 0);
_conv_stat (st, &kst);
return rv;
}
diff --git a/libgloss/riscv/sys_gettimeofday.c b/libgloss/riscv/sys_gettimeofday.c
index 457dcbc..daa14e4 100644
--- a/libgloss/riscv/sys_gettimeofday.c
+++ b/libgloss/riscv/sys_gettimeofday.c
@@ -6,5 +6,5 @@
int
_gettimeofday(struct timeval *tp, void *tzp)
{
- return syscall_errno (SYS_gettimeofday, tp, 0, 0, 0, 0, 0);
+ return syscall_errno (SYS_gettimeofday, 1, tp, 0, 0, 0, 0, 0);
}
diff --git a/libgloss/riscv/sys_link.c b/libgloss/riscv/sys_link.c
index eaeb22b..83cd1b2 100644
--- a/libgloss/riscv/sys_link.c
+++ b/libgloss/riscv/sys_link.c
@@ -4,5 +4,5 @@
/* Establish a new name for an existing file. */
int _link(const char *old_name, const char *new_name)
{
- return syscall_errno (SYS_link, old_name, new_name, 0, 0, 0, 0);
+ return syscall_errno (SYS_link, 2, old_name, new_name, 0, 0, 0, 0);
}
diff --git a/libgloss/riscv/sys_lseek.c b/libgloss/riscv/sys_lseek.c
index 7486a3a..8eb8b81 100644
--- a/libgloss/riscv/sys_lseek.c
+++ b/libgloss/riscv/sys_lseek.c
@@ -6,5 +6,5 @@
off_t
_lseek(int file, off_t ptr, int dir)
{
- return syscall_errno (SYS_lseek, file, ptr, dir, 0, 0, 0);
+ return syscall_errno (SYS_lseek, 3, file, ptr, dir, 0, 0, 0);
}
diff --git a/libgloss/riscv/sys_lstat.c b/libgloss/riscv/sys_lstat.c
index 2eeabcc..dd5dc52 100644
--- a/libgloss/riscv/sys_lstat.c
+++ b/libgloss/riscv/sys_lstat.c
@@ -7,7 +7,7 @@
int _lstat(const char *file, struct stat *st)
{
struct kernel_stat kst;
- int rv = syscall_errno (SYS_lstat, file, &kst, 0, 0, 0, 0);
+ int rv = syscall_errno (SYS_lstat, 2, file, &kst, 0, 0, 0, 0);
_conv_stat (st, &kst);
return rv;
}
diff --git a/libgloss/riscv/sys_open.c b/libgloss/riscv/sys_open.c
index 4fd5d67..eb1a99b 100644
--- a/libgloss/riscv/sys_open.c
+++ b/libgloss/riscv/sys_open.c
@@ -5,5 +5,5 @@
int
_open(const char *name, int flags, int mode)
{
- return syscall_errno (SYS_open, name, flags, mode, 0, 0, 0);
+ return syscall_errno (SYS_open, 3, name, flags, mode, 0, 0, 0);
}
diff --git a/libgloss/riscv/sys_openat.c b/libgloss/riscv/sys_openat.c
index cf429b7..652ab2e 100644
--- a/libgloss/riscv/sys_openat.c
+++ b/libgloss/riscv/sys_openat.c
@@ -4,5 +4,5 @@
/* Open file relative to given directory. */
int _openat(int dirfd, const char *name, int flags, int mode)
{
- return syscall_errno (SYS_openat, dirfd, name, flags, mode, 0, 0);
+ return syscall_errno (SYS_openat, 4, dirfd, name, flags, mode, 0, 0);
}
diff --git a/libgloss/riscv/sys_read.c b/libgloss/riscv/sys_read.c
index 7367e26..dd3bc33 100644
--- a/libgloss/riscv/sys_read.c
+++ b/libgloss/riscv/sys_read.c
@@ -5,5 +5,5 @@
/* Read from a file. */
ssize_t _read(int file, void *ptr, size_t len)
{
- return syscall_errno (SYS_read, file, ptr, len, 0, 0, 0);
+ return syscall_errno (SYS_read, 3, file, ptr, len, 0, 0, 0);
}
diff --git a/libgloss/riscv/sys_sbrk.c b/libgloss/riscv/sys_sbrk.c
index f91c2c5..086509e 100644
--- a/libgloss/riscv/sys_sbrk.c
+++ b/libgloss/riscv/sys_sbrk.c
@@ -41,13 +41,13 @@ _sbrk(ptrdiff_t incr)
if (heap_end == 0)
{
- long brk = __internal_syscall (SYS_brk, 0, 0, 0, 0, 0, 0);
+ long brk = __internal_syscall (SYS_brk, 1, 0, 0, 0, 0, 0, 0);
if (brk == -1)
return (void *)__syscall_error (-ENOMEM);
heap_end = brk;
}
- if (__internal_syscall (SYS_brk, heap_end + incr, 0, 0, 0, 0, 0) != heap_end + incr)
+ if (__internal_syscall (SYS_brk, 1, heap_end + incr, 0, 0, 0, 0, 0) != heap_end + incr)
return (void *)__syscall_error (-ENOMEM);
heap_end += incr;
diff --git a/libgloss/riscv/sys_stat.c b/libgloss/riscv/sys_stat.c
index a193b10..1e03700 100644
--- a/libgloss/riscv/sys_stat.c
+++ b/libgloss/riscv/sys_stat.c
@@ -8,7 +8,7 @@ int
_stat(const char *file, struct stat *st)
{
struct kernel_stat kst;
- int rv = syscall_errno (SYS_stat, file, &kst, 0, 0, 0, 0);
+ int rv = syscall_errno (SYS_stat, 2, file, &kst, 0, 0, 0, 0);
_conv_stat (st, &kst);
return rv;
}
diff --git a/libgloss/riscv/sys_unlink.c b/libgloss/riscv/sys_unlink.c
index b55fe1e..1cf6bbe 100644
--- a/libgloss/riscv/sys_unlink.c
+++ b/libgloss/riscv/sys_unlink.c
@@ -5,5 +5,5 @@
int
_unlink(const char *name)
{
- return syscall_errno (SYS_unlink, name, 0, 0, 0, 0, 0);
+ return syscall_errno (SYS_unlink, 1, name, 0, 0, 0, 0, 0);
}
diff --git a/libgloss/riscv/sys_write.c b/libgloss/riscv/sys_write.c
index b972734..ce2edd3 100644
--- a/libgloss/riscv/sys_write.c
+++ b/libgloss/riscv/sys_write.c
@@ -6,5 +6,5 @@
ssize_t
_write(int file, const void *ptr, size_t len)
{
- return syscall_errno (SYS_write, file, ptr, len, 0, 0, 0);
+ return syscall_errno (SYS_write, 3, file, ptr, len, 0, 0, 0);
}
--
2.24.1
^ permalink raw reply [flat|nested] 4+ messages in thread
* [PATCH 0/1] Only pass the minimum number of syscall arguments (RISC-V)
@ 2020-02-10 20:20 Georg Sauthoff
2020-02-10 20:20 ` [PATCH 1/1] Only pass the minimum number of syscall arguments Georg Sauthoff
2020-02-11 8:43 ` [PATCH 0/1] Only pass the minimum number of syscall arguments (RISC-V) Corinna Vinschen
0 siblings, 2 replies; 4+ messages in thread
From: Georg Sauthoff @ 2020-02-10 20:20 UTC (permalink / raw)
To: newlib; +Cc: Georg Sauthoff
As is, the RISC-V syscall code unconditionally sets all possible syscall
arguments even if the syscall requires fewer.
For example, the instruction sequence for a exit syscall looked like
this:
li a0, 1 # in ther caller of exit()
# ... # in newlib:
li a1, 0 # unused arguments
li a2, 0
li a3, 0
li a4, 0
li a5, 0
li a7, 93 # exit syscall number
(i.e. the binary contains then 5 superfluous instructions for this
one argument syscall)
This patch changes the RISC-V syscall code such that only the required
syscall argument registers are set.
Georg Sauthoff (1):
Only pass the minimum number of syscall arguments
libgloss/riscv/internal_syscall.h | 41 ++++++++++++++++++++++---------
libgloss/riscv/sys_access.c | 2 +-
libgloss/riscv/sys_close.c | 2 +-
libgloss/riscv/sys_exit.c | 2 +-
libgloss/riscv/sys_faccessat.c | 2 +-
libgloss/riscv/sys_fstat.c | 2 +-
libgloss/riscv/sys_fstatat.c | 2 +-
libgloss/riscv/sys_gettimeofday.c | 2 +-
libgloss/riscv/sys_link.c | 2 +-
libgloss/riscv/sys_lseek.c | 2 +-
libgloss/riscv/sys_lstat.c | 2 +-
libgloss/riscv/sys_open.c | 2 +-
libgloss/riscv/sys_openat.c | 2 +-
libgloss/riscv/sys_read.c | 2 +-
libgloss/riscv/sys_sbrk.c | 4 +--
libgloss/riscv/sys_stat.c | 2 +-
libgloss/riscv/sys_unlink.c | 2 +-
libgloss/riscv/sys_write.c | 2 +-
18 files changed, 48 insertions(+), 29 deletions(-)
--
2.24.1
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [PATCH 1/1] Only pass the minimum number of syscall arguments
2020-02-10 20:20 ` [PATCH 1/1] Only pass the minimum number of syscall arguments Georg Sauthoff
@ 2020-02-11 6:55 ` Kito Cheng
0 siblings, 0 replies; 4+ messages in thread
From: Kito Cheng @ 2020-02-11 6:55 UTC (permalink / raw)
To: Georg Sauthoff; +Cc: Newlib
Hi Georg:
LGTM, great job, it reduce the code size for libgloss.
Tested rv32gc/rv64gc on qemu.
Thanks :)
On Tue, Feb 11, 2020 at 4:20 AM Georg Sauthoff <mail@gms.tf> wrote:
>
> Previously, __internal_syscall() compiled into asm-code that unconditionally
> sets the syscall argument registers a0 to a5.
>
> For example, the instruction sequence for a exit syscall looked like
> this:
>
> li a0, 1 # in ther caller of exit()
> # ... # in newlib:
> li a1, 0 # unused arguments
> li a2, 0
> li a3, 0
> li a4, 0
> li a5, 0
> li a7, 93 # exit syscall number
>
> (i.e. the binary contains then 5 superfluous instructions for this
> one argument syscall)
>
> This commit changes the RISC-V syscall code such that only the required
> syscall argument registers are set.
>
> GCC detects that argc is known at compile time and thus evaluates all the
> if-statements where argc is used at compile time (tested with -O2 and -Os).
> ---
> libgloss/riscv/internal_syscall.h | 41 ++++++++++++++++++++++---------
> libgloss/riscv/sys_access.c | 2 +-
> libgloss/riscv/sys_close.c | 2 +-
> libgloss/riscv/sys_exit.c | 2 +-
> libgloss/riscv/sys_faccessat.c | 2 +-
> libgloss/riscv/sys_fstat.c | 2 +-
> libgloss/riscv/sys_fstatat.c | 2 +-
> libgloss/riscv/sys_gettimeofday.c | 2 +-
> libgloss/riscv/sys_link.c | 2 +-
> libgloss/riscv/sys_lseek.c | 2 +-
> libgloss/riscv/sys_lstat.c | 2 +-
> libgloss/riscv/sys_open.c | 2 +-
> libgloss/riscv/sys_openat.c | 2 +-
> libgloss/riscv/sys_read.c | 2 +-
> libgloss/riscv/sys_sbrk.c | 4 +--
> libgloss/riscv/sys_stat.c | 2 +-
> libgloss/riscv/sys_unlink.c | 2 +-
> libgloss/riscv/sys_write.c | 2 +-
> 18 files changed, 48 insertions(+), 29 deletions(-)
>
> diff --git a/libgloss/riscv/internal_syscall.h b/libgloss/riscv/internal_syscall.h
> index e5d5594..1f1f42f 100644
> --- a/libgloss/riscv/internal_syscall.h
> +++ b/libgloss/riscv/internal_syscall.h
> @@ -22,31 +22,50 @@ __syscall_error(long a0)
> }
>
> static inline long
> -__internal_syscall(long n, long _a0, long _a1, long _a2, long _a3, long _a4, long _a5)
> +__internal_syscall(long n, int argc, long _a0, long _a1, long _a2, long _a3, long _a4, long _a5)
> {
> +#ifdef __riscv_32e
> + register long syscall_id asm("t0") = n;
> +#else
> + register long syscall_id asm("a7") = n;
> +#endif
> +
> register long a0 asm("a0") = _a0;
> + if (argc < 2) {
> + asm volatile ("ecall" : "+r"(a0) : "r"(syscall_id));
> + return a0;
> + }
> register long a1 asm("a1") = _a1;
> + if (argc == 2) {
> + asm volatile ("ecall" : "+r"(a0) : "r"(a1), "r"(syscall_id));
> + return a0;
> + }
> register long a2 asm("a2") = _a2;
> + if (argc == 3) {
> + asm volatile ("ecall" : "+r"(a0) : "r"(a1), "r"(a2), "r"(syscall_id));
> + return a0;
> + }
> register long a3 asm("a3") = _a3;
> + if (argc == 4) {
> + asm volatile ("ecall" : "+r"(a0) : "r"(a1), "r"(a2), "r"(a3), "r"(syscall_id));
> + return a0;
> + }
> register long a4 asm("a4") = _a4;
> + if (argc == 5) {
> + asm volatile ("ecall" : "+r"(a0) : "r"(a1), "r"(a2), "r"(a3), "r"(a4), "r"(syscall_id));
> + return a0;
> + }
> register long a5 asm("a5") = _a5;
>
> -#ifdef __riscv_32e
> - register long syscall_id asm("t0") = n;
> -#else
> - register long syscall_id asm("a7") = n;
> -#endif
> -
> - asm volatile ("scall"
> - : "+r"(a0) : "r"(a1), "r"(a2), "r"(a3), "r"(a4), "r"(a5), "r"(syscall_id));
> + asm volatile ("ecall" : "+r"(a0) : "r"(a1), "r"(a2), "r"(a3), "r"(a4), "r"(a5), "r"(syscall_id));
>
> return a0;
> }
>
> static inline long
> -syscall_errno(long n, long _a0, long _a1, long _a2, long _a3, long _a4, long _a5)
> +syscall_errno(long n, int argc, long _a0, long _a1, long _a2, long _a3, long _a4, long _a5)
> {
> - long a0 = __internal_syscall (n, _a0, _a1, _a2, _a3, _a4, _a5);
> + long a0 = __internal_syscall (n, argc, _a0, _a1, _a2, _a3, _a4, _a5);
>
> if (a0 < 0)
> return __syscall_error (a0);
> diff --git a/libgloss/riscv/sys_access.c b/libgloss/riscv/sys_access.c
> index ef446d2..45bedb3 100644
> --- a/libgloss/riscv/sys_access.c
> +++ b/libgloss/riscv/sys_access.c
> @@ -5,5 +5,5 @@
> int
> _access(const char *file, int mode)
> {
> - return syscall_errno (SYS_access, file, mode, 0, 0, 0, 0);
> + return syscall_errno (SYS_access, 2, file, mode, 0, 0, 0, 0);
> }
> diff --git a/libgloss/riscv/sys_close.c b/libgloss/riscv/sys_close.c
> index 80b10c6..c1691d8 100644
> --- a/libgloss/riscv/sys_close.c
> +++ b/libgloss/riscv/sys_close.c
> @@ -5,5 +5,5 @@
> int
> _close(int file)
> {
> - return syscall_errno (SYS_close, file, 0, 0, 0, 0, 0);
> + return syscall_errno (SYS_close, 1, file, 0, 0, 0, 0, 0);
> }
> diff --git a/libgloss/riscv/sys_exit.c b/libgloss/riscv/sys_exit.c
> index 03e1c34..995dd65 100644
> --- a/libgloss/riscv/sys_exit.c
> +++ b/libgloss/riscv/sys_exit.c
> @@ -5,6 +5,6 @@
> void
> _exit(int exit_status)
> {
> - syscall_errno (SYS_exit, exit_status, 0, 0, 0, 0, 0);
> + syscall_errno (SYS_exit, 1, exit_status, 0, 0, 0, 0, 0);
> while (1);
> }
> diff --git a/libgloss/riscv/sys_faccessat.c b/libgloss/riscv/sys_faccessat.c
> index e966a4a..6418ef4 100644
> --- a/libgloss/riscv/sys_faccessat.c
> +++ b/libgloss/riscv/sys_faccessat.c
> @@ -4,5 +4,5 @@
> /* Permissions of a file (by name) in a given directory. */
> int _faccessat(int dirfd, const char *file, int mode, int flags)
> {
> - return syscall_errno (SYS_faccessat, dirfd, file, mode, flags, 0, 0);
> + return syscall_errno (SYS_faccessat, 4, dirfd, file, mode, flags, 0, 0);
> }
> diff --git a/libgloss/riscv/sys_fstat.c b/libgloss/riscv/sys_fstat.c
> index 13a0bca..d97ba44 100644
> --- a/libgloss/riscv/sys_fstat.c
> +++ b/libgloss/riscv/sys_fstat.c
> @@ -9,7 +9,7 @@ int
> _fstat(int file, struct stat *st)
> {
> struct kernel_stat kst;
> - int rv = syscall_errno (SYS_fstat, file, &kst, 0, 0, 0, 0);
> + int rv = syscall_errno (SYS_fstat, 2, file, &kst, 0, 0, 0, 0);
> _conv_stat (st, &kst);
> return rv;
> }
> diff --git a/libgloss/riscv/sys_fstatat.c b/libgloss/riscv/sys_fstatat.c
> index 0e4ea42..bf03355 100644
> --- a/libgloss/riscv/sys_fstatat.c
> +++ b/libgloss/riscv/sys_fstatat.c
> @@ -8,7 +8,7 @@ int
> _fstatat(int dirfd, const char *file, struct stat *st, int flags)
> {
> struct kernel_stat kst;
> - int rv = syscall_errno (SYS_fstatat, dirfd, file, &kst, flags, 0, 0);
> + int rv = syscall_errno (SYS_fstatat, 4, dirfd, file, &kst, flags, 0, 0);
> _conv_stat (st, &kst);
> return rv;
> }
> diff --git a/libgloss/riscv/sys_gettimeofday.c b/libgloss/riscv/sys_gettimeofday.c
> index 457dcbc..daa14e4 100644
> --- a/libgloss/riscv/sys_gettimeofday.c
> +++ b/libgloss/riscv/sys_gettimeofday.c
> @@ -6,5 +6,5 @@
> int
> _gettimeofday(struct timeval *tp, void *tzp)
> {
> - return syscall_errno (SYS_gettimeofday, tp, 0, 0, 0, 0, 0);
> + return syscall_errno (SYS_gettimeofday, 1, tp, 0, 0, 0, 0, 0);
> }
> diff --git a/libgloss/riscv/sys_link.c b/libgloss/riscv/sys_link.c
> index eaeb22b..83cd1b2 100644
> --- a/libgloss/riscv/sys_link.c
> +++ b/libgloss/riscv/sys_link.c
> @@ -4,5 +4,5 @@
> /* Establish a new name for an existing file. */
> int _link(const char *old_name, const char *new_name)
> {
> - return syscall_errno (SYS_link, old_name, new_name, 0, 0, 0, 0);
> + return syscall_errno (SYS_link, 2, old_name, new_name, 0, 0, 0, 0);
> }
> diff --git a/libgloss/riscv/sys_lseek.c b/libgloss/riscv/sys_lseek.c
> index 7486a3a..8eb8b81 100644
> --- a/libgloss/riscv/sys_lseek.c
> +++ b/libgloss/riscv/sys_lseek.c
> @@ -6,5 +6,5 @@
> off_t
> _lseek(int file, off_t ptr, int dir)
> {
> - return syscall_errno (SYS_lseek, file, ptr, dir, 0, 0, 0);
> + return syscall_errno (SYS_lseek, 3, file, ptr, dir, 0, 0, 0);
> }
> diff --git a/libgloss/riscv/sys_lstat.c b/libgloss/riscv/sys_lstat.c
> index 2eeabcc..dd5dc52 100644
> --- a/libgloss/riscv/sys_lstat.c
> +++ b/libgloss/riscv/sys_lstat.c
> @@ -7,7 +7,7 @@
> int _lstat(const char *file, struct stat *st)
> {
> struct kernel_stat kst;
> - int rv = syscall_errno (SYS_lstat, file, &kst, 0, 0, 0, 0);
> + int rv = syscall_errno (SYS_lstat, 2, file, &kst, 0, 0, 0, 0);
> _conv_stat (st, &kst);
> return rv;
> }
> diff --git a/libgloss/riscv/sys_open.c b/libgloss/riscv/sys_open.c
> index 4fd5d67..eb1a99b 100644
> --- a/libgloss/riscv/sys_open.c
> +++ b/libgloss/riscv/sys_open.c
> @@ -5,5 +5,5 @@
> int
> _open(const char *name, int flags, int mode)
> {
> - return syscall_errno (SYS_open, name, flags, mode, 0, 0, 0);
> + return syscall_errno (SYS_open, 3, name, flags, mode, 0, 0, 0);
> }
> diff --git a/libgloss/riscv/sys_openat.c b/libgloss/riscv/sys_openat.c
> index cf429b7..652ab2e 100644
> --- a/libgloss/riscv/sys_openat.c
> +++ b/libgloss/riscv/sys_openat.c
> @@ -4,5 +4,5 @@
> /* Open file relative to given directory. */
> int _openat(int dirfd, const char *name, int flags, int mode)
> {
> - return syscall_errno (SYS_openat, dirfd, name, flags, mode, 0, 0);
> + return syscall_errno (SYS_openat, 4, dirfd, name, flags, mode, 0, 0);
> }
> diff --git a/libgloss/riscv/sys_read.c b/libgloss/riscv/sys_read.c
> index 7367e26..dd3bc33 100644
> --- a/libgloss/riscv/sys_read.c
> +++ b/libgloss/riscv/sys_read.c
> @@ -5,5 +5,5 @@
> /* Read from a file. */
> ssize_t _read(int file, void *ptr, size_t len)
> {
> - return syscall_errno (SYS_read, file, ptr, len, 0, 0, 0);
> + return syscall_errno (SYS_read, 3, file, ptr, len, 0, 0, 0);
> }
> diff --git a/libgloss/riscv/sys_sbrk.c b/libgloss/riscv/sys_sbrk.c
> index f91c2c5..086509e 100644
> --- a/libgloss/riscv/sys_sbrk.c
> +++ b/libgloss/riscv/sys_sbrk.c
> @@ -41,13 +41,13 @@ _sbrk(ptrdiff_t incr)
>
> if (heap_end == 0)
> {
> - long brk = __internal_syscall (SYS_brk, 0, 0, 0, 0, 0, 0);
> + long brk = __internal_syscall (SYS_brk, 1, 0, 0, 0, 0, 0, 0);
> if (brk == -1)
> return (void *)__syscall_error (-ENOMEM);
> heap_end = brk;
> }
>
> - if (__internal_syscall (SYS_brk, heap_end + incr, 0, 0, 0, 0, 0) != heap_end + incr)
> + if (__internal_syscall (SYS_brk, 1, heap_end + incr, 0, 0, 0, 0, 0) != heap_end + incr)
> return (void *)__syscall_error (-ENOMEM);
>
> heap_end += incr;
> diff --git a/libgloss/riscv/sys_stat.c b/libgloss/riscv/sys_stat.c
> index a193b10..1e03700 100644
> --- a/libgloss/riscv/sys_stat.c
> +++ b/libgloss/riscv/sys_stat.c
> @@ -8,7 +8,7 @@ int
> _stat(const char *file, struct stat *st)
> {
> struct kernel_stat kst;
> - int rv = syscall_errno (SYS_stat, file, &kst, 0, 0, 0, 0);
> + int rv = syscall_errno (SYS_stat, 2, file, &kst, 0, 0, 0, 0);
> _conv_stat (st, &kst);
> return rv;
> }
> diff --git a/libgloss/riscv/sys_unlink.c b/libgloss/riscv/sys_unlink.c
> index b55fe1e..1cf6bbe 100644
> --- a/libgloss/riscv/sys_unlink.c
> +++ b/libgloss/riscv/sys_unlink.c
> @@ -5,5 +5,5 @@
> int
> _unlink(const char *name)
> {
> - return syscall_errno (SYS_unlink, name, 0, 0, 0, 0, 0);
> + return syscall_errno (SYS_unlink, 1, name, 0, 0, 0, 0, 0);
> }
> diff --git a/libgloss/riscv/sys_write.c b/libgloss/riscv/sys_write.c
> index b972734..ce2edd3 100644
> --- a/libgloss/riscv/sys_write.c
> +++ b/libgloss/riscv/sys_write.c
> @@ -6,5 +6,5 @@
> ssize_t
> _write(int file, const void *ptr, size_t len)
> {
> - return syscall_errno (SYS_write, file, ptr, len, 0, 0, 0);
> + return syscall_errno (SYS_write, 3, file, ptr, len, 0, 0, 0);
> }
> --
> 2.24.1
>
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [PATCH 0/1] Only pass the minimum number of syscall arguments (RISC-V)
2020-02-10 20:20 [PATCH 0/1] Only pass the minimum number of syscall arguments (RISC-V) Georg Sauthoff
2020-02-10 20:20 ` [PATCH 1/1] Only pass the minimum number of syscall arguments Georg Sauthoff
@ 2020-02-11 8:43 ` Corinna Vinschen
1 sibling, 0 replies; 4+ messages in thread
From: Corinna Vinschen @ 2020-02-11 8:43 UTC (permalink / raw)
To: Georg Sauthoff; +Cc: newlib
[-- Attachment #1: Type: text/plain, Size: 1818 bytes --]
On Feb 10 21:19, Georg Sauthoff wrote:
> As is, the RISC-V syscall code unconditionally sets all possible syscall
> arguments even if the syscall requires fewer.
>
> For example, the instruction sequence for a exit syscall looked like
> this:
>
> li a0, 1 # in ther caller of exit()
> # ... # in newlib:
> li a1, 0 # unused arguments
> li a2, 0
> li a3, 0
> li a4, 0
> li a5, 0
> li a7, 93 # exit syscall number
>
> (i.e. the binary contains then 5 superfluous instructions for this
> one argument syscall)
>
> This patch changes the RISC-V syscall code such that only the required
> syscall argument registers are set.
>
> Georg Sauthoff (1):
> Only pass the minimum number of syscall arguments
>
> libgloss/riscv/internal_syscall.h | 41 ++++++++++++++++++++++---------
> libgloss/riscv/sys_access.c | 2 +-
> libgloss/riscv/sys_close.c | 2 +-
> libgloss/riscv/sys_exit.c | 2 +-
> libgloss/riscv/sys_faccessat.c | 2 +-
> libgloss/riscv/sys_fstat.c | 2 +-
> libgloss/riscv/sys_fstatat.c | 2 +-
> libgloss/riscv/sys_gettimeofday.c | 2 +-
> libgloss/riscv/sys_link.c | 2 +-
> libgloss/riscv/sys_lseek.c | 2 +-
> libgloss/riscv/sys_lstat.c | 2 +-
> libgloss/riscv/sys_open.c | 2 +-
> libgloss/riscv/sys_openat.c | 2 +-
> libgloss/riscv/sys_read.c | 2 +-
> libgloss/riscv/sys_sbrk.c | 4 +--
> libgloss/riscv/sys_stat.c | 2 +-
> libgloss/riscv/sys_unlink.c | 2 +-
> libgloss/riscv/sys_write.c | 2 +-
> 18 files changed, 48 insertions(+), 29 deletions(-)
>
> --
> 2.24.1
Pushed.
Thanks,
Corinna
--
Corinna Vinschen
Cygwin Maintainer
Red Hat
[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 833 bytes --]
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2020-02-11 8:43 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-02-10 20:20 [PATCH 0/1] Only pass the minimum number of syscall arguments (RISC-V) Georg Sauthoff
2020-02-10 20:20 ` [PATCH 1/1] Only pass the minimum number of syscall arguments Georg Sauthoff
2020-02-11 6:55 ` Kito Cheng
2020-02-11 8:43 ` [PATCH 0/1] Only pass the minimum number of syscall arguments (RISC-V) Corinna Vinschen
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).