1c24a5808SVassil Vassilev //===- unittests/Interpreter/InterpreterExceptionTest.cpp -----------------===//
2c24a5808SVassil Vassilev //
3c24a5808SVassil Vassilev // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4c24a5808SVassil Vassilev // See https://llvm.org/LICENSE.txt for license information.
5c24a5808SVassil Vassilev // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6c24a5808SVassil Vassilev //
7c24a5808SVassil Vassilev //===----------------------------------------------------------------------===//
8c24a5808SVassil Vassilev //
9c24a5808SVassil Vassilev // Unit tests for Clang's Interpreter library.
10c24a5808SVassil Vassilev //
11c24a5808SVassil Vassilev //===----------------------------------------------------------------------===//
12c24a5808SVassil Vassilev
13c24a5808SVassil Vassilev #include "clang/Interpreter/Interpreter.h"
14c24a5808SVassil Vassilev
15c24a5808SVassil Vassilev #include "clang/AST/ASTContext.h"
16c24a5808SVassil Vassilev #include "clang/AST/Decl.h"
17c24a5808SVassil Vassilev #include "clang/AST/DeclGroup.h"
18c24a5808SVassil Vassilev #include "clang/Basic/TargetInfo.h"
19c24a5808SVassil Vassilev #include "clang/Basic/Version.h"
20c24a5808SVassil Vassilev #include "clang/Config/config.h"
21c24a5808SVassil Vassilev #include "clang/Frontend/CompilerInstance.h"
22c24a5808SVassil Vassilev #include "clang/Frontend/TextDiagnosticPrinter.h"
23c24a5808SVassil Vassilev
24c24a5808SVassil Vassilev #include "llvm/ADT/ArrayRef.h"
25c24a5808SVassil Vassilev #include "llvm/ExecutionEngine/Orc/LLJIT.h"
26c24a5808SVassil Vassilev #include "llvm/Support/ManagedStatic.h"
27c24a5808SVassil Vassilev #include "llvm/Support/TargetSelect.h"
28c24a5808SVassil Vassilev
29c24a5808SVassil Vassilev #include "gmock/gmock.h"
30c24a5808SVassil Vassilev #include "gtest/gtest.h"
31c24a5808SVassil Vassilev
3247625feaSLang Hames // Disable LSan for this test.
3331e01e93SLang Hames // FIXME: Re-enable once we can assume GCC 13.2 or higher.
3447625feaSLang Hames // https://llvm.org/github.com/llvm/llvm-project/issues/67586.
3547625feaSLang Hames #if LLVM_ADDRESS_SANITIZER_BUILD || LLVM_HWADDRESS_SANITIZER_BUILD
3647625feaSLang Hames #include <sanitizer/lsan_interface.h>
__lsan_is_turned_off()3747625feaSLang Hames LLVM_ATTRIBUTE_USED int __lsan_is_turned_off() { return 1; }
3847625feaSLang Hames #endif
3947625feaSLang Hames
40*43109889SStefan Gränitz #if defined(_AIX) || defined(__MVS__)
41*43109889SStefan Gränitz #define CLANG_INTERPRETER_PLATFORM_CANNOT_CREATE_LLJIT
42*43109889SStefan Gränitz #endif
43*43109889SStefan Gränitz
44c24a5808SVassil Vassilev using namespace clang;
45c24a5808SVassil Vassilev
46c24a5808SVassil Vassilev namespace {
47c24a5808SVassil Vassilev using Args = std::vector<const char *>;
48c24a5808SVassil Vassilev static std::unique_ptr<Interpreter>
createInterpreter(const Args & ExtraArgs={},DiagnosticConsumer * Client=nullptr)49c24a5808SVassil Vassilev createInterpreter(const Args &ExtraArgs = {},
50c24a5808SVassil Vassilev DiagnosticConsumer *Client = nullptr) {
51c24a5808SVassil Vassilev Args ClangArgs = {"-Xclang", "-emit-llvm-only"};
52c24a5808SVassil Vassilev ClangArgs.insert(ClangArgs.end(), ExtraArgs.begin(), ExtraArgs.end());
53ddeab07cSAnubhab Ghosh auto CB = clang::IncrementalCompilerBuilder();
54ddeab07cSAnubhab Ghosh CB.SetCompilerArgs(ClangArgs);
55ddeab07cSAnubhab Ghosh auto CI = cantFail(CB.CreateCpp());
56c24a5808SVassil Vassilev if (Client)
57c24a5808SVassil Vassilev CI->getDiagnostics().setClient(Client, /*ShouldOwnClient=*/false);
58c24a5808SVassil Vassilev return cantFail(clang::Interpreter::create(std::move(CI)));
59c24a5808SVassil Vassilev }
60c24a5808SVassil Vassilev
61*43109889SStefan Gränitz #ifdef CLANG_INTERPRETER_PLATFORM_CANNOT_CREATE_LLJIT
TEST(InterpreterExceptionTest,DISABLED_CatchException)62*43109889SStefan Gränitz TEST(InterpreterExceptionTest, DISABLED_CatchException) {
63*43109889SStefan Gränitz #else
64*43109889SStefan Gränitz TEST(InterpreterExceptionTest, CatchException) {
65*43109889SStefan Gränitz #endif
664191d661SSunho Kim llvm::llvm_shutdown_obj Y; // Call llvm_shutdown() on exit.
67c24a5808SVassil Vassilev llvm::InitializeNativeTarget();
68c24a5808SVassil Vassilev llvm::InitializeNativeTargetAsmPrinter();
69c24a5808SVassil Vassilev
70c24a5808SVassil Vassilev {
7161b0f12dSLang Hames auto J = llvm::orc::LLJITBuilder().create();
72c24a5808SVassil Vassilev if (!J) {
73c24a5808SVassil Vassilev // The platform does not support JITs.
74c24a5808SVassil Vassilev // Using llvm::consumeError will require typeinfo for ErrorInfoBase, we
75c24a5808SVassil Vassilev // can avoid that by going via the C interface.
76c24a5808SVassil Vassilev LLVMConsumeError(llvm::wrap(J.takeError()));
77787876b0SPaul Robinson GTEST_SKIP();
78c24a5808SVassil Vassilev }
79c24a5808SVassil Vassilev }
80c24a5808SVassil Vassilev
81c24a5808SVassil Vassilev #define Stringify(s) Stringifyx(s)
82c24a5808SVassil Vassilev #define Stringifyx(s) #s
83c24a5808SVassil Vassilev
84c24a5808SVassil Vassilev // We define a custom exception to avoid #include-ing the <exception> header
85c24a5808SVassil Vassilev // which would require this test to know about the libstdc++ location.
86c24a5808SVassil Vassilev // its own header file.
87c24a5808SVassil Vassilev #define CUSTOM_EXCEPTION \
88c24a5808SVassil Vassilev struct custom_exception { \
89c24a5808SVassil Vassilev custom_exception(const char *Msg) : Message(Msg) {} \
90c24a5808SVassil Vassilev const char *Message; \
91c24a5808SVassil Vassilev };
92c24a5808SVassil Vassilev
93c24a5808SVassil Vassilev CUSTOM_EXCEPTION;
94c24a5808SVassil Vassilev
95c24a5808SVassil Vassilev std::string ExceptionCode = Stringify(CUSTOM_EXCEPTION);
96c24a5808SVassil Vassilev ExceptionCode +=
97c24a5808SVassil Vassilev R"(
98c24a5808SVassil Vassilev extern "C" int printf(const char*, ...);
99c24a5808SVassil Vassilev static void ThrowerAnError(const char* Name) {
100c24a5808SVassil Vassilev throw custom_exception(Name);
101c24a5808SVassil Vassilev }
102c24a5808SVassil Vassilev
103c24a5808SVassil Vassilev extern "C" int throw_exception() {
104c24a5808SVassil Vassilev try {
105c24a5808SVassil Vassilev ThrowerAnError("To be caught in JIT");
106c24a5808SVassil Vassilev } catch (const custom_exception& E) {
107c24a5808SVassil Vassilev printf("Caught: '%s'\n", E.Message);
108c24a5808SVassil Vassilev } catch (...) {
109c24a5808SVassil Vassilev printf("Unknown exception\n");
110c24a5808SVassil Vassilev }
111c24a5808SVassil Vassilev ThrowerAnError("To be caught in binary");
112c24a5808SVassil Vassilev return 0;
113c24a5808SVassil Vassilev }
114c24a5808SVassil Vassilev )";
115c24a5808SVassil Vassilev std::unique_ptr<Interpreter> Interp = createInterpreter();
116c24a5808SVassil Vassilev // FIXME: Re-enable the excluded target triples.
117c24a5808SVassil Vassilev const clang::CompilerInstance *CI = Interp->getCompilerInstance();
118c24a5808SVassil Vassilev const llvm::Triple &Triple = CI->getASTContext().getTargetInfo().getTriple();
119c24a5808SVassil Vassilev
120c24a5808SVassil Vassilev // FIXME: ARM fails due to `Not implemented relocation type!`
121c24a5808SVassil Vassilev if (Triple.isARM())
122787876b0SPaul Robinson GTEST_SKIP();
123c24a5808SVassil Vassilev
124c24a5808SVassil Vassilev // FIXME: libunwind on darwin is broken, see PR49692.
125c24a5808SVassil Vassilev if (Triple.isOSDarwin() && (Triple.getArch() == llvm::Triple::aarch64 ||
126c24a5808SVassil Vassilev Triple.getArch() == llvm::Triple::aarch64_32))
127787876b0SPaul Robinson GTEST_SKIP();
128c24a5808SVassil Vassilev
129c24a5808SVassil Vassilev llvm::cantFail(Interp->ParseAndExecute(ExceptionCode));
130c24a5808SVassil Vassilev testing::internal::CaptureStdout();
131c24a5808SVassil Vassilev auto ThrowException =
132fe1f3445SJun Zhang llvm::cantFail(Interp->getSymbolAddress("throw_exception"))
133fe1f3445SJun Zhang .toPtr<int (*)()>();
134c24a5808SVassil Vassilev EXPECT_ANY_THROW(ThrowException());
135c24a5808SVassil Vassilev std::string CapturedStdOut = testing::internal::GetCapturedStdout();
136c24a5808SVassil Vassilev EXPECT_EQ(CapturedStdOut, "Caught: 'To be caught in JIT'\n");
137c24a5808SVassil Vassilev }
138c24a5808SVassil Vassilev
139c24a5808SVassil Vassilev } // end anonymous namespace
140