[libc-commits] [libc] [libc[ Implement `execle` (PR #217213)
via libc-commits
libc-commits at lists.llvm.org
Tue Aug 18 22:18:50 PDT 2026
llvmorg-github-actions[bot] wrote:
<!--LLVM PR SUMMARY COMMENT-->
@llvm/pr-subscribers-libc
Author: Bhavesh M (beamandala)
<details>
<summary>Changes</summary>
This pr implements `execle`.
#<!-- -->214371
---
Full diff: https://github.com/llvm/llvm-project/pull/217213.diff
12 Files Affected:
- (modified) libc/config/linux/aarch64/entrypoints.txt (+1)
- (modified) libc/config/linux/riscv/entrypoints.txt (+1)
- (modified) libc/config/linux/x86_64/entrypoints.txt (+1)
- (modified) libc/include/unistd.yaml (+8)
- (modified) libc/src/unistd/CMakeLists.txt (+7)
- (added) libc/src/unistd/execle.h (+20)
- (modified) libc/src/unistd/linux/CMakeLists.txt (+13)
- (added) libc/src/unistd/linux/execle.cpp (+51)
- (modified) libc/test/integration/src/unistd/CMakeLists.txt (+41)
- (added) libc/test/integration/src/unistd/execle_test.cpp (+57)
- (added) libc/test/integration/src/unistd/execle_test_normal_exit.cpp (+21)
- (added) libc/test/integration/src/unistd/execle_test_signal_exit.cpp (+10)
``````````diff
diff --git a/libc/config/linux/aarch64/entrypoints.txt b/libc/config/linux/aarch64/entrypoints.txt
index 071a7830b43d3..7f4daffc5e0d2 100644
--- a/libc/config/linux/aarch64/entrypoints.txt
+++ b/libc/config/linux/aarch64/entrypoints.txt
@@ -387,6 +387,7 @@ set(TARGET_LIBC_ENTRYPOINTS
libc.src.unistd.dup
libc.src.unistd.dup2
libc.src.unistd.dup3
+ libc.src.unistd.execle
libc.src.unistd.execve
libc.src.unistd.faccessat
libc.src.unistd.fchdir
diff --git a/libc/config/linux/riscv/entrypoints.txt b/libc/config/linux/riscv/entrypoints.txt
index 66dd9dd790737..5a591ba4518f0 100644
--- a/libc/config/linux/riscv/entrypoints.txt
+++ b/libc/config/linux/riscv/entrypoints.txt
@@ -421,6 +421,7 @@ set(TARGET_LIBC_ENTRYPOINTS
libc.src.unistd.dup
libc.src.unistd.dup2
libc.src.unistd.dup3
+ libc.src.unistd.execle
libc.src.unistd.execve
libc.src.unistd.faccessat
libc.src.unistd.fchdir
diff --git a/libc/config/linux/x86_64/entrypoints.txt b/libc/config/linux/x86_64/entrypoints.txt
index 6045886c2f11c..5308a06a64bc7 100644
--- a/libc/config/linux/x86_64/entrypoints.txt
+++ b/libc/config/linux/x86_64/entrypoints.txt
@@ -426,6 +426,7 @@ set(TARGET_LIBC_ENTRYPOINTS
libc.src.unistd.dup
libc.src.unistd.dup2
libc.src.unistd.dup3
+ libc.src.unistd.execle
libc.src.unistd.execve
libc.src.unistd.faccessat
libc.src.unistd.fchdir
diff --git a/libc/include/unistd.yaml b/libc/include/unistd.yaml
index 4b3703af7798e..bc76587866f8f 100644
--- a/libc/include/unistd.yaml
+++ b/libc/include/unistd.yaml
@@ -128,6 +128,14 @@ functions:
- type: int
- type: int
- type: int
+ - name: execle
+ standards:
+ - posix
+ return_type: int
+ arguments:
+ - type: const char *
+ - type: const char *
+ - type: '...'
- name: execv
standards:
- posix
diff --git a/libc/src/unistd/CMakeLists.txt b/libc/src/unistd/CMakeLists.txt
index 646c5881532de..c10ea20681059 100644
--- a/libc/src/unistd/CMakeLists.txt
+++ b/libc/src/unistd/CMakeLists.txt
@@ -110,6 +110,13 @@ add_entrypoint_object(
.${LIBC_TARGET_OS}.fpathconf
)
+add_entrypoint_object(
+ execle
+ ALIAS
+ DEPENDS
+ .${LIBC_TARGET_OS}.execle
+)
+
add_entrypoint_object(
execv
ALIAS
diff --git a/libc/src/unistd/execle.h b/libc/src/unistd/execle.h
new file mode 100644
index 0000000000000..118ef9f9ed70f
--- /dev/null
+++ b/libc/src/unistd/execle.h
@@ -0,0 +1,20 @@
+//===-- Implementation header for execle ------------------------*- C++ -*-===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+#ifndef LLVM_LIBC_SRC_UNISTD_EXECLE_H
+#define LLVM_LIBC_SRC_UNISTD_EXECLE_H
+
+#include "src/__support/macros/config.h"
+
+namespace LIBC_NAMESPACE_DECL {
+
+int execle(const char *path, const char *arg0, ...);
+
+} // namespace LIBC_NAMESPACE_DECL
+
+#endif // LLVM_LIBC_SRC_UNISTD_EXECLE_H
diff --git a/libc/src/unistd/linux/CMakeLists.txt b/libc/src/unistd/linux/CMakeLists.txt
index 7a8b51e9514aa..57708808f43d0 100644
--- a/libc/src/unistd/linux/CMakeLists.txt
+++ b/libc/src/unistd/linux/CMakeLists.txt
@@ -162,6 +162,19 @@ add_entrypoint_object(
libc.src.unistd.linux.pathconf_utils
)
+add_entrypoint_object(
+ execle
+ SRCS
+ execle.cpp
+ HDRS
+ ../execle.h
+ DEPENDS
+ libc.hdr.types.size_t
+ libc.include.sys_syscall
+ libc.src.__support.OSUtil.osutil
+ libc.src.errno.errno
+)
+
add_entrypoint_object(
execv
SRCS
diff --git a/libc/src/unistd/linux/execle.cpp b/libc/src/unistd/linux/execle.cpp
new file mode 100644
index 0000000000000..fb8bdf57a517c
--- /dev/null
+++ b/libc/src/unistd/linux/execle.cpp
@@ -0,0 +1,51 @@
+//===-- Linux implementation of execle ------------------------------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+#include "src/unistd/execle.h"
+#include "src/__support/macros/config.h"
+
+#include "hdr/types/size_t.h"
+#include "src/__support/OSUtil/syscall.h" // For internal syscall function.
+#include "src/__support/common.h"
+#include "src/__support/libc_errno.h"
+#include <stdarg.h>
+#include <sys/syscall.h>
+
+namespace LIBC_NAMESPACE_DECL {
+
+LLVM_LIBC_FUNCTION(int, execle, (const char *path, const char *arg0, ...)) {
+ va_list varargs;
+ va_start(varargs, arg0);
+
+ size_t argc = 1;
+ while (va_arg(varargs, const char *) != nullptr)
+ ++argc;
+ va_end(varargs);
+
+ char **argv =
+ static_cast<char **>(__builtin_alloca((argc + 1) * sizeof(char *)));
+ argv[0] = const_cast<char *>(arg0);
+
+ va_start(varargs, arg0);
+ for (size_t i = 1; i <= argc; ++i)
+ argv[i] = va_arg(varargs, char *);
+ char **envp = va_arg(varargs, char **);
+ va_end(varargs);
+
+ int ret = LIBC_NAMESPACE::syscall_impl<int>(SYS_execve, path, argv, envp);
+ if (ret < 0) {
+ libc_errno = -ret;
+ return -1;
+ }
+
+ // Control will not reach here on success but have a return statement will
+ // keep the compilers happy.
+ return ret;
+}
+
+} // namespace LIBC_NAMESPACE_DECL
diff --git a/libc/test/integration/src/unistd/CMakeLists.txt b/libc/test/integration/src/unistd/CMakeLists.txt
index 3c09ae43b4dd7..6eac86217383e 100644
--- a/libc/test/integration/src/unistd/CMakeLists.txt
+++ b/libc/test/integration/src/unistd/CMakeLists.txt
@@ -85,6 +85,47 @@ set_target_properties(
RUNTIME_OUTPUT_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}
)
+add_executable(
+ libc_execle_test_normal_exit
+ EXCLUDE_FROM_ALL
+ execle_test_normal_exit.cpp
+)
+set_target_properties(
+ libc_execle_test_normal_exit
+ PROPERTIES
+ OUTPUT_NAME libc_execle_test_normal_exit
+ RUNTIME_OUTPUT_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}
+)
+
+add_executable(
+ libc_execle_test_signal_exit
+ EXCLUDE_FROM_ALL
+ execle_test_signal_exit.cpp
+)
+set_target_properties(
+ libc_execle_test_signal_exit
+ PROPERTIES
+ OUTPUT_NAME libc_execle_test_signal_exit
+ RUNTIME_OUTPUT_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}
+)
+
+add_integration_test(
+ execle_test
+ SUITE
+ unistd-integration-tests
+ SRCS
+ execle_test.cpp
+ DEPENDS
+ libc_execle_test_normal_exit
+ libc_execle_test_signal_exit
+ libc.src.errno.errno
+ libc.src.sys.wait.waitpid
+ libc.src.unistd.execle
+ libc.src.unistd.fork
+ ENV
+ EXECLE_TEST=PASS
+)
+
add_integration_test(
execv_test
SUITE
diff --git a/libc/test/integration/src/unistd/execle_test.cpp b/libc/test/integration/src/unistd/execle_test.cpp
new file mode 100644
index 0000000000000..e53c51b4ef90a
--- /dev/null
+++ b/libc/test/integration/src/unistd/execle_test.cpp
@@ -0,0 +1,57 @@
+//===-- Unittests for execle ----------------------------------------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+#include "src/sys/wait/waitpid.h"
+#include "src/unistd/execle.h"
+#include "src/unistd/fork.h"
+
+#include "test/IntegrationTest/test.h"
+
+#include <signal.h>
+#include <sys/wait.h>
+
+void fork_and_execle_normal_exit(char **envp) {
+ pid_t pid = LIBC_NAMESPACE::fork();
+ if (pid == 0) {
+ const char *path = "libc_execle_test_normal_exit";
+ LIBC_NAMESPACE::execle(path, const_cast<char *>("execle_test_normal_exit"),
+ const_cast<char *>("first"),
+ const_cast<char *>("second"),
+ static_cast<char *>(nullptr), envp);
+ }
+
+ ASSERT_TRUE(pid > 0);
+ int status;
+ pid_t cpid = LIBC_NAMESPACE::waitpid(pid, &status, 0);
+ ASSERT_TRUE(cpid > 0);
+ ASSERT_EQ(cpid, pid);
+ ASSERT_TRUE(WIFEXITED(status));
+}
+
+void fork_and_execle_signal_exit(char **envp) {
+ pid_t pid = LIBC_NAMESPACE::fork();
+ if (pid == 0) {
+ const char *path = "libc_execle_test_signal_exit";
+ LIBC_NAMESPACE::execle(path, const_cast<char *>("execle_test_signal_exit"),
+ static_cast<char *>(nullptr), envp);
+ }
+ ASSERT_TRUE(pid > 0);
+ int status;
+ pid_t cpid = LIBC_NAMESPACE::waitpid(pid, &status, 0);
+ ASSERT_TRUE(cpid > 0);
+ ASSERT_EQ(cpid, pid);
+ ASSERT_FALSE(WIFEXITED(status));
+ ASSERT_TRUE(WTERMSIG(status) == SIGUSR1);
+}
+
+TEST_MAIN([[maybe_unused]] int argc, [[maybe_unused]] char **argv,
+ char **envp) {
+ fork_and_execle_normal_exit(envp);
+ fork_and_execle_signal_exit(envp);
+ return 0;
+}
diff --git a/libc/test/integration/src/unistd/execle_test_normal_exit.cpp b/libc/test/integration/src/unistd/execle_test_normal_exit.cpp
new file mode 100644
index 0000000000000..76936b2bff6a8
--- /dev/null
+++ b/libc/test/integration/src/unistd/execle_test_normal_exit.cpp
@@ -0,0 +1,21 @@
+#include <signal.h>
+#include <stdlib.h>
+#include <string.h>
+#include <unistd.h>
+
+int main(int argc, char **argv) {
+ if (argc != 3)
+ raise(SIGUSR1);
+ if (strcmp(argv[0], "execle_test_normal_exit") != 0)
+ raise(SIGUSR1);
+ if (strcmp(argv[1], "first") != 0)
+ raise(SIGUSR1);
+ if (strcmp(argv[2], "second") != 0)
+ raise(SIGUSR1);
+
+ char *env = getenv("EXECLE_TEST");
+ if (env == nullptr || strcmp(env, "PASS") != 0)
+ raise(SIGUSR1);
+
+ return 0;
+}
diff --git a/libc/test/integration/src/unistd/execle_test_signal_exit.cpp b/libc/test/integration/src/unistd/execle_test_signal_exit.cpp
new file mode 100644
index 0000000000000..e266b5c07490f
--- /dev/null
+++ b/libc/test/integration/src/unistd/execle_test_signal_exit.cpp
@@ -0,0 +1,10 @@
+#include <signal.h>
+#include <stdlib.h>
+#include <unistd.h>
+
+int main() {
+ char *env = getenv("__MISSING_ENV_VAR__");
+ if (env == nullptr)
+ raise(SIGUSR1);
+ return 0;
+}
``````````
</details>
https://github.com/llvm/llvm-project/pull/217213
More information about the libc-commits
mailing list