[llvm] f2018d6 - [ORC] Reintroduce the ORC C API test.
Lang Hames via llvm-commits
llvm-commits at lists.llvm.org
Tue May 4 20:54:27 PDT 2021
Author: Lang Hames
Date: 2021-05-04T20:46:00-07:00
New Revision: f2018d6c16d118779d35f3705c74a31c1855ca56
URL: https://github.com/llvm/llvm-project/commit/f2018d6c16d118779d35f3705c74a31c1855ca56
DIFF: https://github.com/llvm/llvm-project/commit/f2018d6c16d118779d35f3705c74a31c1855ca56.diff
LOG: [ORC] Reintroduce the ORC C API test.
This test was removed in 51495fd285 due to broken bots. Its reintroduction is
expected to trigger failures on some builders. The test has been modified to
print error messages in full, which should aid in tracking these down.
Added:
llvm/unittests/ExecutionEngine/Orc/OrcCAPITest.cpp
Modified:
llvm/unittests/ExecutionEngine/Orc/CMakeLists.txt
Removed:
################################################################################
diff --git a/llvm/unittests/ExecutionEngine/Orc/CMakeLists.txt b/llvm/unittests/ExecutionEngine/Orc/CMakeLists.txt
index d205d53829aa..505692233ebe 100644
--- a/llvm/unittests/ExecutionEngine/Orc/CMakeLists.txt
+++ b/llvm/unittests/ExecutionEngine/Orc/CMakeLists.txt
@@ -17,6 +17,7 @@ add_llvm_unittest(OrcJITTests
IndirectionUtilsTest.cpp
JITTargetMachineBuilderTest.cpp
LazyCallThroughAndReexportsTest.cpp
+ OrcCAPITest.cpp
OrcTestCommon.cpp
QueueChannel.cpp
ResourceTrackerTest.cpp
diff --git a/llvm/unittests/ExecutionEngine/Orc/OrcCAPITest.cpp b/llvm/unittests/ExecutionEngine/Orc/OrcCAPITest.cpp
new file mode 100644
index 000000000000..50a2ee459ac2
--- /dev/null
+++ b/llvm/unittests/ExecutionEngine/Orc/OrcCAPITest.cpp
@@ -0,0 +1,328 @@
+//===--- OrcCAPITest.cpp - Unit tests for the OrcJIT v2 C API ---*- 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
+//
+//===----------------------------------------------------------------------===//
+
+#include "llvm-c/Core.h"
+#include "llvm-c/Error.h"
+#include "llvm-c/LLJIT.h"
+#include "llvm-c/Orc.h"
+#include "gtest/gtest.h"
+
+#include "llvm/ADT/Triple.h"
+#include <string>
+
+using namespace llvm;
+
+// OrcCAPITestBase contains several helper methods and pointers for unit tests
+// written for the LLVM-C API. It provides the following helpers:
+//
+// 1. Jit: an LLVMOrcLLJIT instance which is freed upon test exit
+// 2. ExecutionSession: the LLVMOrcExecutionSession for the JIT
+// 3. MainDylib: the main JITDylib for the LLJIT instance
+// 4. materializationUnitFn: function pointer to an empty function, used for
+// materialization unit testing
+// 5. definitionGeneratorFn: function pointer for a basic
+// LLVMOrcCAPIDefinitionGeneratorTryToGenerateFunction
+// 6. createTestModule: helper method for creating a basic thread-safe-module
+class OrcCAPITestBase : public testing::Test {
+protected:
+ LLVMOrcLLJITRef Jit = nullptr;
+ LLVMOrcExecutionSessionRef ExecutionSession = nullptr;
+ LLVMOrcJITDylibRef MainDylib = nullptr;
+
+public:
+ static void SetUpTestCase() {
+ LLVMInitializeNativeTarget();
+ LLVMInitializeNativeAsmParser();
+ LLVMInitializeNativeAsmPrinter();
+
+ // Attempt to set up a JIT instance once to verify that we can.
+ LLVMOrcJITTargetMachineBuilderRef JTMB = nullptr;
+ if (LLVMErrorRef E = LLVMOrcJITTargetMachineBuilderDetectHost(&JTMB)) {
+ // If setup fails then disable these tests.
+ LLVMConsumeError(E);
+ TargetSupported = false;
+ return;
+ }
+
+ // Capture the target triple. We'll use it for both verification that
+ // this target is *supposed* to be supported, and error messages in
+ // the case that it fails anyway.
+ char *TT = LLVMOrcJITTargetMachineBuilderGetTargetTriple(JTMB);
+ TargetTriple = TT;
+ LLVMOrcJITTargetMachineBuilderDisposeTargetTriple(JTMB, TT);
+
+ if (!isSupported(TargetTriple)) {
+ // If this triple isn't supported then bail out.
+ TargetSupported = false;
+ LLVMOrcDisposeJITTargetMachineBuilder(JTMB);
+ return;
+ }
+
+ LLVMOrcLLJITBuilderRef Builder = LLVMOrcCreateLLJITBuilder();
+ LLVMOrcLLJITBuilderSetJITTargetMachineBuilder(Builder, JTMB);
+ LLVMOrcLLJITRef J;
+ if (LLVMErrorRef E = LLVMOrcCreateLLJIT(&J, Builder)) {
+ // If setup fails then disable these tests.
+ TargetSupported = false;
+ LLVMConsumeError(E);
+ return;
+ }
+
+ LLVMOrcDisposeLLJIT(J);
+ TargetSupported = true;
+ }
+
+ void SetUp() override {
+ if (!TargetSupported)
+ return;
+
+ LLVMOrcJITTargetMachineBuilderRef JTMB = nullptr;
+ LLVMErrorRef E1 = LLVMOrcJITTargetMachineBuilderDetectHost(&JTMB);
+ assert(E1 == LLVMErrorSuccess && "Expected call to detect host to succeed");
+
+ LLVMOrcLLJITBuilderRef Builder = LLVMOrcCreateLLJITBuilder();
+ LLVMOrcLLJITBuilderSetJITTargetMachineBuilder(Builder, JTMB);
+ LLVMErrorRef E2 = LLVMOrcCreateLLJIT(&Jit, Builder);
+ assert(E2 == LLVMErrorSuccess &&
+ "Expected call to create LLJIT to succeed");
+ ExecutionSession = LLVMOrcLLJITGetExecutionSession(Jit);
+ MainDylib = LLVMOrcLLJITGetMainJITDylib(Jit);
+ }
+ void TearDown() override {
+ LLVMOrcDisposeLLJIT(Jit);
+ Jit = nullptr;
+ }
+
+protected:
+ static bool isSupported(StringRef Triple) {
+ // TODO: Print error messages in failure logs, use them to audit this list.
+ // Some architectures may be unsupportable or missing key components, but
+ // some may just be failing due to bugs in this testcase.
+ if (Triple.startswith("armv7") || Triple.startswith("armv8l"))
+ return false;
+ return true;
+ }
+
+ static void materializationUnitFn() {}
+ // Stub definition generator, where all Names are materialized from the
+ // materializationUnitFn() test function and defined into the JIT Dylib
+ static LLVMErrorRef
+ definitionGeneratorFn(LLVMOrcDefinitionGeneratorRef G, void *Ctx,
+ LLVMOrcLookupStateRef *LS, LLVMOrcLookupKind K,
+ LLVMOrcJITDylibRef JD, LLVMOrcJITDylibLookupFlags F,
+ LLVMOrcCLookupSet Names, size_t NamesCount) {
+ for (size_t I = 0; I < NamesCount; I++) {
+ LLVMOrcCLookupSetElement Element = Names[I];
+ LLVMOrcJITTargetAddress Addr =
+ (LLVMOrcJITTargetAddress)(&materializationUnitFn);
+ LLVMJITSymbolFlags Flags = {LLVMJITSymbolGenericFlagsWeak, 0};
+ LLVMJITEvaluatedSymbol Sym = {Addr, Flags};
+ LLVMOrcRetainSymbolStringPoolEntry(Element.Name);
+ LLVMJITCSymbolMapPair Pair = {Element.Name, Sym};
+ LLVMJITCSymbolMapPair Pairs[] = {Pair};
+ LLVMOrcMaterializationUnitRef MU = LLVMOrcAbsoluteSymbols(Pairs, 1);
+ LLVMErrorRef Err = LLVMOrcJITDylibDefine(JD, MU);
+ if (Err)
+ return Err;
+ }
+ return LLVMErrorSuccess;
+ }
+ // create a test LLVM IR module containing a function named "sum" which has
+ // returns the sum of its two parameters
+ static LLVMOrcThreadSafeModuleRef createTestModule() {
+ LLVMOrcThreadSafeContextRef TSC = LLVMOrcCreateNewThreadSafeContext();
+ LLVMContextRef Ctx = LLVMOrcThreadSafeContextGetContext(TSC);
+ LLVMModuleRef Mod = LLVMModuleCreateWithNameInContext("test", Ctx);
+ {
+ LLVMTypeRef Int32Ty = LLVMInt32TypeInContext(Ctx);
+ LLVMTypeRef ParamTys[] = {Int32Ty, Int32Ty};
+ LLVMTypeRef TestFnTy = LLVMFunctionType(Int32Ty, ParamTys, 2, 0);
+ LLVMValueRef TestFn = LLVMAddFunction(Mod, "sum", TestFnTy);
+ LLVMBuilderRef IRBuilder = LLVMCreateBuilderInContext(Ctx);
+ LLVMBasicBlockRef EntryBB = LLVMAppendBasicBlock(TestFn, "entry");
+ LLVMPositionBuilderAtEnd(IRBuilder, EntryBB);
+ LLVMValueRef Arg1 = LLVMGetParam(TestFn, 0);
+ LLVMValueRef Arg2 = LLVMGetParam(TestFn, 1);
+ LLVMValueRef Sum = LLVMBuildAdd(IRBuilder, Arg1, Arg2, "");
+ LLVMBuildRet(IRBuilder, Sum);
+ LLVMDisposeBuilder(IRBuilder);
+ }
+ LLVMOrcThreadSafeModuleRef TSM = LLVMOrcCreateNewThreadSafeModule(Mod, TSC);
+ LLVMOrcDisposeThreadSafeContext(TSC);
+ return TSM;
+ }
+
+ static std::string TargetTriple;
+ static bool TargetSupported;
+};
+
+std::string OrcCAPITestBase::TargetTriple;
+bool OrcCAPITestBase::TargetSupported = false;
+
+// Consumes the given error ref and returns the string error message.
+static std::string toString(LLVMErrorRef E) {
+ char *ErrMsg = LLVMGetErrorMessage(E);
+ std::string Result(ErrMsg);
+ LLVMDisposeErrorMessage(ErrMsg);
+ return Result;
+}
+
+TEST_F(OrcCAPITestBase, SymbolStringPoolUniquing) {
+ if (!Jit) {
+ // TODO: Use GTEST_SKIP() when GTest is updated to version 1.10.0
+ return;
+ }
+
+ LLVMOrcSymbolStringPoolEntryRef E1 =
+ LLVMOrcExecutionSessionIntern(ExecutionSession, "aaa");
+ LLVMOrcSymbolStringPoolEntryRef E2 =
+ LLVMOrcExecutionSessionIntern(ExecutionSession, "aaa");
+ LLVMOrcSymbolStringPoolEntryRef E3 =
+ LLVMOrcExecutionSessionIntern(ExecutionSession, "bbb");
+ const char *SymbolName = LLVMOrcSymbolStringPoolEntryStr(E1);
+ ASSERT_EQ(E1, E2) << "String pool entries are not unique";
+ ASSERT_NE(E1, E3) << "Unique symbol pool entries are equal";
+ ASSERT_STREQ("aaa", SymbolName) << "String value of symbol is not equal";
+ LLVMOrcReleaseSymbolStringPoolEntry(E1);
+ LLVMOrcReleaseSymbolStringPoolEntry(E2);
+ LLVMOrcReleaseSymbolStringPoolEntry(E3);
+}
+
+TEST_F(OrcCAPITestBase, JITDylibLookup) {
+ if (!Jit) {
+ // TODO: Use GTEST_SKIP() when GTest is updated to version 1.10.0
+ return;
+ }
+ LLVMOrcJITDylibRef DoesNotExist =
+ LLVMOrcExecutionSessionGetJITDylibByName(ExecutionSession, "test");
+ ASSERT_FALSE(!!DoesNotExist);
+ LLVMOrcJITDylibRef L1 =
+ LLVMOrcExecutionSessionCreateBareJITDylib(ExecutionSession, "test");
+ LLVMOrcJITDylibRef L2 =
+ LLVMOrcExecutionSessionGetJITDylibByName(ExecutionSession, "test");
+ ASSERT_EQ(L1, L2) << "Located JIT Dylib is not equal to original";
+}
+
+TEST_F(OrcCAPITestBase, MaterializationUnitCreation) {
+ if (!Jit) {
+ // TODO: Use GTEST_SKIP() when GTest is updated to version 1.10.0
+ return;
+ }
+
+ LLVMOrcSymbolStringPoolEntryRef Name =
+ LLVMOrcLLJITMangleAndIntern(Jit, "test");
+ LLVMJITSymbolFlags Flags = {LLVMJITSymbolGenericFlagsWeak, 0};
+ LLVMOrcJITTargetAddress Addr =
+ (LLVMOrcJITTargetAddress)(&materializationUnitFn);
+ LLVMJITEvaluatedSymbol Sym = {Addr, Flags};
+ LLVMJITCSymbolMapPair Pair = {Name, Sym};
+ LLVMJITCSymbolMapPair Pairs[] = {Pair};
+ LLVMOrcMaterializationUnitRef MU = LLVMOrcAbsoluteSymbols(Pairs, 1);
+ LLVMOrcJITDylibDefine(MainDylib, MU);
+ LLVMOrcJITTargetAddress OutAddr;
+ if (LLVMErrorRef E = LLVMOrcLLJITLookup(Jit, &OutAddr, "test"))
+ FAIL() << "Failed to look up \"test\" symbol (triple = " << TargetTriple
+ << "): " << toString(E);
+ ASSERT_EQ(Addr, OutAddr);
+}
+
+TEST_F(OrcCAPITestBase, DefinitionGenerators) {
+ if (!Jit) {
+ // TODO: Use GTEST_SKIP() when GTest is updated to version 1.10.0
+ return;
+ }
+
+ LLVMOrcDefinitionGeneratorRef Gen =
+ LLVMOrcCreateCustomCAPIDefinitionGenerator(&definitionGeneratorFn,
+ nullptr);
+ LLVMOrcJITDylibAddGenerator(MainDylib, Gen);
+ LLVMOrcJITTargetAddress OutAddr;
+ if (LLVMErrorRef E = LLVMOrcLLJITLookup(Jit, &OutAddr, "test"))
+ FAIL() << "The DefinitionGenerator did not create symbol \"test\" "
+ << "(triple = " << TargetTriple << "): " << toString(E);
+ LLVMOrcJITTargetAddress ExpectedAddr =
+ (LLVMOrcJITTargetAddress)(&materializationUnitFn);
+ ASSERT_EQ(ExpectedAddr, OutAddr);
+}
+
+TEST_F(OrcCAPITestBase, ResourceTrackerDefinitionLifetime) {
+ if (!Jit) {
+ // TODO: Use GTEST_SKIP() when GTest is updated to version 1.10.0
+ return;
+ }
+
+ // This test case ensures that all symbols loaded into a JITDylib with a
+ // ResourceTracker attached are cleared from the JITDylib once the RT is
+ // removed.
+ LLVMOrcResourceTrackerRef RT =
+ LLVMOrcJITDylibCreateResourceTracker(MainDylib);
+ LLVMOrcThreadSafeModuleRef TSM = createTestModule();
+ if (LLVMErrorRef E = LLVMOrcLLJITAddLLVMIRModuleWithRT(Jit, RT, TSM))
+ FAIL() << "Failed to add LLVM IR module to LLJIT (triple = " << TargetTriple
+ << "): " << toString(E);
+ LLVMOrcJITTargetAddress TestFnAddr;
+ if (LLVMErrorRef E = LLVMOrcLLJITLookup(Jit, &TestFnAddr, "sum"))
+ FAIL() << "Symbol \"sum\" was not added into JIT (triple = " << TargetTriple
+ << "): " << toString(E);
+ ASSERT_TRUE(!!TestFnAddr);
+ LLVMOrcResourceTrackerRemove(RT);
+ LLVMOrcJITTargetAddress OutAddr;
+ LLVMErrorRef Err = LLVMOrcLLJITLookup(Jit, &OutAddr, "sum");
+ ASSERT_TRUE(Err);
+ LLVMConsumeError(Err);
+
+ ASSERT_FALSE(OutAddr);
+ LLVMOrcReleaseResourceTracker(RT);
+}
+
+TEST_F(OrcCAPITestBase, ResourceTrackerTransfer) {
+ if (!Jit) {
+ // TODO: Use GTEST_SKIP() when GTest is updated to version 1.10.0
+ return;
+ }
+
+ LLVMOrcResourceTrackerRef DefaultRT =
+ LLVMOrcJITDylibGetDefaultResourceTracker(MainDylib);
+ LLVMOrcResourceTrackerRef RT2 =
+ LLVMOrcJITDylibCreateResourceTracker(MainDylib);
+ LLVMOrcThreadSafeModuleRef TSM = createTestModule();
+ if (LLVMErrorRef E = LLVMOrcLLJITAddLLVMIRModuleWithRT(Jit, DefaultRT, TSM))
+ FAIL() << "Failed to add LLVM IR module to LLJIT (triple = " << TargetTriple
+ << "): " << toString(E);
+ LLVMOrcJITTargetAddress Addr;
+ if (LLVMErrorRef E = LLVMOrcLLJITLookup(Jit, &Addr, "sum"))
+ FAIL() << "Symbol \"sum\" was not added into JIT (triple = " << TargetTriple
+ << "): " << toString(E);
+ LLVMOrcResourceTrackerTransferTo(DefaultRT, RT2);
+ LLVMErrorRef Err = LLVMOrcLLJITLookup(Jit, &Addr, "sum");
+ ASSERT_FALSE(Err);
+ LLVMOrcReleaseResourceTracker(RT2);
+}
+
+TEST_F(OrcCAPITestBase, ExecutionTest) {
+ if (!Jit) {
+ // TODO: Use GTEST_SKIP() when GTest is updated to version 1.10.0
+ return;
+ }
+
+ using SumFunctionType = int32_t (*)(int32_t, int32_t);
+
+ // This test performs OrcJIT compilation of a simple sum module
+ LLVMInitializeNativeAsmPrinter();
+ LLVMOrcThreadSafeModuleRef TSM = createTestModule();
+ if (LLVMErrorRef E = LLVMOrcLLJITAddLLVMIRModule(Jit, MainDylib, TSM))
+ FAIL() << "Failed to add LLVM IR module to LLJIT (triple = " << TargetTriple
+ << ")" << toString(E);
+ LLVMOrcJITTargetAddress TestFnAddr;
+ if (LLVMErrorRef E = LLVMOrcLLJITLookup(Jit, &TestFnAddr, "sum"))
+ FAIL() << "Symbol \"sum\" was not added into JIT (triple = " << TargetTriple
+ << "): " << toString(E);
+ auto *SumFn = (SumFunctionType)(TestFnAddr);
+ int32_t Result = SumFn(1, 1);
+ ASSERT_EQ(2, Result);
+}
More information about the llvm-commits
mailing list