blob: 6cd6c206ce082ec9d5fccebec64a7478c44eab2b [file] [log] [blame]
Lang Hames5ad09de2018-09-27 02:09:36 +00001//===--- ThreadSafeModuleTest.cpp - Test basic use of ThreadSafeModule ----===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Lang Hames5ad09de2018-09-27 02:09:36 +00006//
7//===----------------------------------------------------------------------===//
8
9#include "llvm/ExecutionEngine/Orc/ThreadSafeModule.h"
10#include "gtest/gtest.h"
11
12#include <atomic>
13#include <future>
14#include <thread>
15
16using namespace llvm;
17using namespace llvm::orc;
18
19namespace {
20
21TEST(ThreadSafeModuleTest, ContextWhollyOwnedByOneModule) {
22 // Test that ownership of a context can be transferred to a single
23 // ThreadSafeModule.
24 ThreadSafeContext TSCtx(llvm::make_unique<LLVMContext>());
Lang Hamesf1c96492018-09-27 02:09:37 +000025 auto M = llvm::make_unique<Module>("M", *TSCtx.getContext());
26 ThreadSafeModule TSM(std::move(M), std::move(TSCtx));
Lang Hames5ad09de2018-09-27 02:09:36 +000027}
28
29TEST(ThreadSafeModuleTest, ContextOwnershipSharedByTwoModules) {
30 // Test that ownership of a context can be shared between more than one
31 // ThreadSafeModule.
32 ThreadSafeContext TSCtx(llvm::make_unique<LLVMContext>());
33
Lang Hames4328ea32018-09-28 01:41:33 +000034 auto M1 = llvm::make_unique<Module>("M1", *TSCtx.getContext());
Lang Hamesf1c96492018-09-27 02:09:37 +000035 ThreadSafeModule TSM1(std::move(M1), TSCtx);
36
Lang Hames4328ea32018-09-28 01:41:33 +000037 auto M2 = llvm::make_unique<Module>("M2", *TSCtx.getContext());
Lang Hamesf1c96492018-09-27 02:09:37 +000038 ThreadSafeModule TSM2(std::move(M2), std::move(TSCtx));
Lang Hames5ad09de2018-09-27 02:09:36 +000039}
40
41TEST(ThreadSafeModuleTest, ContextOwnershipSharedWithClient) {
42 // Test that ownership of a context can be shared with a client-held
43 // ThreadSafeContext so that it can be re-used for new modules.
44 ThreadSafeContext TSCtx(llvm::make_unique<LLVMContext>());
45
46 {
47 // Create and destroy a module.
Lang Hamesf1c96492018-09-27 02:09:37 +000048 auto M1 = llvm::make_unique<Module>("M1", *TSCtx.getContext());
49 ThreadSafeModule TSM1(std::move(M1), TSCtx);
Lang Hames5ad09de2018-09-27 02:09:36 +000050 }
51
52 // Verify that the context is still available for re-use.
Lang Hamesf1c96492018-09-27 02:09:37 +000053 auto M2 = llvm::make_unique<Module>("M2", *TSCtx.getContext());
54 ThreadSafeModule TSM2(std::move(M2), std::move(TSCtx));
Lang Hames5ad09de2018-09-27 02:09:36 +000055}
56
57TEST(ThreadSafeModuleTest, ThreadSafeModuleMoveAssignment) {
58 // Move assignment needs to move the module before the context (opposite
59 // to the field order) to ensure that overwriting with an empty
60 // ThreadSafeModule does not destroy the context early.
61 ThreadSafeContext TSCtx(llvm::make_unique<LLVMContext>());
Lang Hamesf1c96492018-09-27 02:09:37 +000062 auto M = llvm::make_unique<Module>("M", *TSCtx.getContext());
63 ThreadSafeModule TSM(std::move(M), std::move(TSCtx));
Lang Hames5ad09de2018-09-27 02:09:36 +000064 TSM = ThreadSafeModule();
65}
66
67TEST(ThreadSafeModuleTest, BasicContextLockAPI) {
68 // Test that basic lock API calls work.
69 ThreadSafeContext TSCtx(llvm::make_unique<LLVMContext>());
Lang Hames4328ea32018-09-28 01:41:33 +000070 auto M = llvm::make_unique<Module>("M", *TSCtx.getContext());
Lang Hamesf1c96492018-09-27 02:09:37 +000071 ThreadSafeModule TSM(std::move(M), TSCtx);
Lang Hames5ad09de2018-09-27 02:09:36 +000072
73 { auto L = TSCtx.getLock(); }
74
75 { auto L = TSM.getContextLock(); }
76}
77
78TEST(ThreadSafeModuleTest, ContextLockPreservesContext) {
79 // Test that the existence of a context lock preserves the attached
80 // context.
81 // The trick to verify this is a bit of a hack: We attach a Module
82 // (without the ThreadSafeModule wrapper) to the context, then verify
83 // that this Module destructs safely (which it will not if its context
84 // has been destroyed) even though all references to the context have
85 // been thrown away (apart from the lock).
86
87 ThreadSafeContext TSCtx(llvm::make_unique<LLVMContext>());
88 auto L = TSCtx.getLock();
89 auto &Ctx = *TSCtx.getContext();
90 auto M = llvm::make_unique<Module>("M", Ctx);
91 TSCtx = ThreadSafeContext();
92}
93
94} // end anonymous namespace