blob: db29024f47058c5a736a31b1f9405727602c660a [file] [log] [blame]
Lang Hames635fd902018-01-22 03:00:31 +00001//===----------- CoreAPIsTest.cpp - Unit tests for Core ORC APIs ----------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10#include "OrcTestCommon.h"
11#include "llvm/ExecutionEngine/Orc/Legacy.h"
12#include "gtest/gtest.h"
13
14using namespace llvm;
15using namespace llvm::orc;
16
Lang Hames635fd902018-01-22 03:00:31 +000017namespace {
18
19TEST(LegacyAPIInteropTest, QueryAgainstVSO) {
20
Lang Hames3fdfc042018-04-02 20:57:56 +000021 ExecutionSession ES(std::make_shared<SymbolStringPool>());
22 auto Foo = ES.getSymbolStringPool().intern("foo");
Lang Hames635fd902018-01-22 03:00:31 +000023
24 VSO V;
25 SymbolMap Defs;
26 JITEvaluatedSymbol FooSym(0xdeadbeef, JITSymbolFlags::Exported);
27 Defs[Foo] = FooSym;
28 cantFail(V.define(std::move(Defs)));
29
Lang Hamesc8a74a02018-01-25 01:43:00 +000030 auto LookupFlags = [&](SymbolFlagsMap &SymbolFlags,
31 const SymbolNameSet &Names) {
32 return V.lookupFlags(SymbolFlags, Names);
Lang Hames635fd902018-01-22 03:00:31 +000033 };
34
Lang Hamese833fe82018-02-14 22:12:56 +000035 auto Lookup = [&](std::shared_ptr<AsynchronousSymbolQuery> Query,
36 SymbolNameSet Symbols) {
37 auto R = V.lookup(std::move(Query), Symbols);
Lang Hames4cca7d22018-03-20 03:49:29 +000038 EXPECT_TRUE(R.MaterializationUnits.empty())
Lang Hames635fd902018-01-22 03:00:31 +000039 << "Query resulted in unexpected materialization work";
40 return std::move(R.UnresolvedSymbols);
41 };
42
Lang Hamese833fe82018-02-14 22:12:56 +000043 auto UnderlyingResolver =
44 createSymbolResolver(std::move(LookupFlags), std::move(Lookup));
45 JITSymbolResolverAdapter Resolver(ES, *UnderlyingResolver);
Lang Hames635fd902018-01-22 03:00:31 +000046
47 JITSymbolResolver::LookupSet Names{StringRef("foo")};
48
49 auto LFR = Resolver.lookupFlags(Names);
50 EXPECT_TRUE(!!LFR) << "lookupFlags failed";
51 EXPECT_EQ(LFR->size(), 1U)
52 << "lookupFlags returned the wrong number of results";
53 EXPECT_EQ(LFR->count(*Foo), 1U)
54 << "lookupFlags did not contain a result for 'foo'";
55 EXPECT_EQ((*LFR)[*Foo], FooSym.getFlags())
56 << "lookupFlags contained the wrong result for 'foo'";
57
58 auto LR = Resolver.lookup(Names);
59 EXPECT_TRUE(!!LR) << "lookup failed";
60 EXPECT_EQ(LR->size(), 1U) << "lookup returned the wrong number of results";
61 EXPECT_EQ(LR->count(*Foo), 1U) << "lookup did not contain a result for 'foo'";
62 EXPECT_EQ((*LR)[*Foo].getFlags(), FooSym.getFlags())
63 << "lookup returned the wrong result for flags of 'foo'";
64 EXPECT_EQ((*LR)[*Foo].getAddress(), FooSym.getAddress())
65 << "lookup returned the wrong result for address of 'foo'";
66}
67
Lang Hamesd78ba0d2018-01-24 23:09:07 +000068TEST(LegacyAPIInteropTset, LegacyLookupHelpersFn) {
69 constexpr JITTargetAddress FooAddr = 0xdeadbeef;
70 JITSymbolFlags FooFlags = JITSymbolFlags::Exported;
71
72 bool BarMaterialized = false;
73 constexpr JITTargetAddress BarAddr = 0xcafef00d;
74 JITSymbolFlags BarFlags = static_cast<JITSymbolFlags::FlagNames>(
75 JITSymbolFlags::Exported | JITSymbolFlags::Weak);
76
77 auto LegacyLookup = [&](const std::string &Name) -> JITSymbol {
78 if (Name == "foo")
79 return {FooAddr, FooFlags};
80
81 if (Name == "bar") {
82 auto BarMaterializer = [&]() -> Expected<JITTargetAddress> {
83 BarMaterialized = true;
84 return BarAddr;
85 };
86
87 return {BarMaterializer, BarFlags};
88 }
89
90 return nullptr;
91 };
92
93 SymbolStringPool SP;
94 auto Foo = SP.intern("foo");
95 auto Bar = SP.intern("bar");
96 auto Baz = SP.intern("baz");
97
98 SymbolNameSet Symbols({Foo, Bar, Baz});
99
Lang Hamesc8a74a02018-01-25 01:43:00 +0000100 SymbolFlagsMap SymbolFlags;
101 auto SymbolsNotFound =
102 lookupFlagsWithLegacyFn(SymbolFlags, Symbols, LegacyLookup);
Lang Hamesd78ba0d2018-01-24 23:09:07 +0000103
Lang Hamesc8a74a02018-01-25 01:43:00 +0000104 EXPECT_TRUE(!!SymbolsNotFound) << "lookupFlagsWithLegacy failed unexpectedly";
105 EXPECT_EQ(SymbolFlags.size(), 2U) << "Wrong number of flags returned";
106 EXPECT_EQ(SymbolFlags.count(Foo), 1U) << "Flags for foo missing";
107 EXPECT_EQ(SymbolFlags.count(Bar), 1U) << "Flags for foo missing";
108 EXPECT_EQ(SymbolFlags[Foo], FooFlags) << "Wrong flags for foo";
109 EXPECT_EQ(SymbolFlags[Bar], BarFlags) << "Wrong flags for foo";
110 EXPECT_EQ(SymbolsNotFound->size(), 1U) << "Expected one symbol not found";
111 EXPECT_EQ(SymbolsNotFound->count(Baz), 1U)
Lang Hamesd78ba0d2018-01-24 23:09:07 +0000112 << "Expected symbol baz to be not found";
113 EXPECT_FALSE(BarMaterialized)
114 << "lookupFlags should not have materialized bar";
115
116 bool OnResolvedRun = false;
117 bool OnReadyRun = false;
118 auto OnResolved = [&](Expected<SymbolMap> Result) {
119 OnResolvedRun = true;
120 EXPECT_TRUE(!!Result) << "lookuWithLegacy failed to resolve";
121 EXPECT_EQ(Result->size(), 2U) << "Wrong number of symbols resolved";
122 EXPECT_EQ(Result->count(Foo), 1U) << "Result for foo missing";
123 EXPECT_EQ(Result->count(Bar), 1U) << "Result for bar missing";
124 EXPECT_EQ((*Result)[Foo].getAddress(), FooAddr) << "Wrong address for foo";
125 EXPECT_EQ((*Result)[Foo].getFlags(), FooFlags) << "Wrong flags for foo";
126 EXPECT_EQ((*Result)[Bar].getAddress(), BarAddr) << "Wrong address for bar";
127 EXPECT_EQ((*Result)[Bar].getFlags(), BarFlags) << "Wrong flags for bar";
128 };
129 auto OnReady = [&](Error Err) {
130 EXPECT_FALSE(!!Err) << "Finalization unexpectedly failed";
131 OnReadyRun = true;
132 };
133
134 AsynchronousSymbolQuery Q({Foo, Bar}, OnResolved, OnReady);
135 auto Unresolved = lookupWithLegacyFn(Q, Symbols, LegacyLookup);
136
137 EXPECT_TRUE(OnResolvedRun) << "OnResolved was not run";
138 EXPECT_TRUE(OnReadyRun) << "OnReady was not run";
139 EXPECT_EQ(Unresolved.size(), 1U) << "Expected one unresolved symbol";
140 EXPECT_EQ(Unresolved.count(Baz), 1U) << "Expected baz to be unresolved";
141}
142
Lang Hames635fd902018-01-22 03:00:31 +0000143} // namespace