diff --git a/clang/include/clang/Basic/Builtins.def b/clang/include/clang/Basic/Builtins.def index 4dcbaf8a7beaa..de9b9db3260ee 100644 --- a/clang/include/clang/Basic/Builtins.def +++ b/clang/include/clang/Basic/Builtins.def @@ -974,6 +974,7 @@ BUILTIN(__sync_fetch_and_umin, "UiUiD*Ui", "n") BUILTIN(__sync_fetch_and_umax, "UiUiD*Ui", "n") // Random libc builtins. +BUILTIN(__builtin_exit, "vi", "Fnr") BUILTIN(__builtin_abort, "v", "Fnr") BUILTIN(__builtin_index, "c*cC*i", "Fn") BUILTIN(__builtin_rindex, "c*cC*i", "Fn") diff --git a/clang/test/CodeGen/builtin-exit-test.c b/clang/test/CodeGen/builtin-exit-test.c new file mode 100644 index 0000000000000..36b5a5de96c41 --- /dev/null +++ b/clang/test/CodeGen/builtin-exit-test.c @@ -0,0 +1,9 @@ +//RUN: %clang_cc1 -emit-llvm -Wno-strict-prototypes -triple aarch64-target-linux-gnu %s -o - | FileCheck %s + +//CHECK: define dso_local void @test() #0 { +//CHECK: call void @exit(i32 noundef 1) +//CHECK: unreachable + +void test(void){ + __builtin_exit(1); +}