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 TEST(ExecutorAddrTest, AddrRanges) {
51   ExecutorAddr A0(0), A1(1), A2(2), A3(3);
52   ExecutorAddrRange R0(A0, A1), R1(A1, A2), R2(A2, A3), R3(A0, A2), R4(A1, A3);
53   //     012
54   // R0: #      -- Before R1
55   // R1:  #     --
56   // R2:   #    -- After R1
57   // R3: ##     -- Overlaps R1 start
58   // R4:  ##    -- Overlaps R1 end
59 
60   EXPECT_EQ(R1, ExecutorAddrRange(A1, A2));
61   EXPECT_EQ(R1, ExecutorAddrRange(A1, ExecutorAddrDiff(1)));
62   EXPECT_NE(R1, R2);
63 
64   EXPECT_TRUE(R1.contains(A1));
65   EXPECT_FALSE(R1.contains(A0));
66   EXPECT_FALSE(R1.contains(A2));
67 
68   EXPECT_FALSE(R1.overlaps(R0));
69   EXPECT_FALSE(R1.overlaps(R2));
70   EXPECT_TRUE(R1.overlaps(R3));
71   EXPECT_TRUE(R1.overlaps(R4));
72 }
73 
74 } // namespace
75