xref: /llvm-project/llvm/unittests/ExecutionEngine/Orc/ExecutorAddressTest.cpp (revision 98616cfc02613d98964588fac6494ec7583c495f)
1 //===--------- ExecutorAddrTest.cpp - Unit tests for ExecutorAddr ---------===//
2 //
3 // 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
6 //
7 //===----------------------------------------------------------------------===//
8 
9 #include "llvm/ExecutionEngine/Orc/Shared/ExecutorAddress.h"
10 #include "OrcTestCommon.h"
11 
12 using namespace llvm;
13 using namespace llvm::orc;
14 
15 namespace {
16 
17 TEST(ExecutorAddrTest, DefaultAndNull) {
18   // Check that default constructed values and isNull behave as expected.
19 
20   ExecutorAddr Default;
21   ExecutorAddr Null(0);
22   ExecutorAddr NonNull(1);
23 
24   EXPECT_TRUE(Null.isNull());
25   EXPECT_EQ(Default, Null);
26 
27   EXPECT_FALSE(NonNull.isNull());
28   EXPECT_NE(Default, NonNull);
29 }
30 
31 TEST(ExecutorAddrTest, Ordering) {
32   // Check that ordering operations.
33   ExecutorAddr A1(1), A2(2);
34 
35   EXPECT_LE(A1, A1);
36   EXPECT_LT(A1, A2);
37   EXPECT_GT(A2, A1);
38   EXPECT_GE(A2, A2);
39 }
40 
41 TEST(ExecutorAddrTest, PtrConversion) {
42   // Test toPtr / fromPtr round-tripping.
43   int X = 0;
44   auto XAddr = ExecutorAddr::fromPtr(&X);
45   int *XPtr = XAddr.toPtr<int *>();
46 
47   EXPECT_EQ(XPtr, &X);
48 }
49 
50 static void F() {}
51 
52 TEST(ExecutorAddrTest, PtrConversionWithFunctionType) {
53   // Test that function types (as opposed to function pointer types) can be
54   // used with toPtr.
55   auto FAddr = ExecutorAddr::fromPtr(F);
56   void (*FPtr)() = FAddr.toPtr<void()>();
57 
58   EXPECT_EQ(FPtr, &F);
59 }
60 
61 TEST(ExecutorAddrTest, AddrRanges) {
62   ExecutorAddr A0(0), A1(1), A2(2), A3(3);
63   ExecutorAddrRange R0(A0, A1), R1(A1, A2), R2(A2, A3), R3(A0, A2), R4(A1, A3);
64   //     012
65   // R0: #      -- Before R1
66   // R1:  #     --
67   // R2:   #    -- After R1
68   // R3: ##     -- Overlaps R1 start
69   // R4:  ##    -- Overlaps R1 end
70 
71   EXPECT_EQ(R1, ExecutorAddrRange(A1, A2));
72   EXPECT_EQ(R1, ExecutorAddrRange(A1, ExecutorAddrDiff(1)));
73   EXPECT_NE(R1, R2);
74 
75   EXPECT_TRUE(R1.contains(A1));
76   EXPECT_FALSE(R1.contains(A0));
77   EXPECT_FALSE(R1.contains(A2));
78 
79   EXPECT_FALSE(R1.overlaps(R0));
80   EXPECT_FALSE(R1.overlaps(R2));
81   EXPECT_TRUE(R1.overlaps(R3));
82   EXPECT_TRUE(R1.overlaps(R4));
83 }
84 
85 } // namespace
86