1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
|
//===- TypeSwitchTest.cpp - TypeSwitch unit tests -------------------------===//
//
// Part of the MLIR 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 "mlir/ADT/TypeSwitch.h"
#include "gtest/gtest.h"
using namespace mlir;
namespace {
/// Utility classes to setup casting functionality.
struct Base {
enum Kind { DerivedA, DerivedB, DerivedC, DerivedD, DerivedE };
Kind kind;
};
template <Base::Kind DerivedKind> struct DerivedImpl : Base {
DerivedImpl() : Base{DerivedKind} {}
static bool classof(const Base *base) { return base->kind == DerivedKind; }
};
struct DerivedA : public DerivedImpl<Base::DerivedA> {};
struct DerivedB : public DerivedImpl<Base::DerivedB> {};
struct DerivedC : public DerivedImpl<Base::DerivedC> {};
struct DerivedD : public DerivedImpl<Base::DerivedD> {};
struct DerivedE : public DerivedImpl<Base::DerivedE> {};
} // end anonymous namespace
TEST(StringSwitchTest, CaseResult) {
auto translate = [](auto value) {
return TypeSwitch<Base *, int>(&value)
.Case<DerivedA>([](DerivedA *) { return 0; })
.Case([](DerivedB *) { return 1; })
.Case([](DerivedC *) { return 2; })
.Default([](Base *) { return -1; });
};
EXPECT_EQ(0, translate(DerivedA()));
EXPECT_EQ(1, translate(DerivedB()));
EXPECT_EQ(2, translate(DerivedC()));
EXPECT_EQ(-1, translate(DerivedD()));
}
TEST(StringSwitchTest, CasesResult) {
auto translate = [](auto value) {
return TypeSwitch<Base *, int>(&value)
.Case<DerivedA, DerivedB, DerivedD>([](auto *) { return 0; })
.Case([](DerivedC *) { return 1; })
.Default([](Base *) { return -1; });
};
EXPECT_EQ(0, translate(DerivedA()));
EXPECT_EQ(0, translate(DerivedB()));
EXPECT_EQ(1, translate(DerivedC()));
EXPECT_EQ(0, translate(DerivedD()));
EXPECT_EQ(-1, translate(DerivedE()));
}
TEST(StringSwitchTest, CaseVoid) {
auto translate = [](auto value) {
int result = -2;
TypeSwitch<Base *>(&value)
.Case([&](DerivedA *) { result = 0; })
.Case([&](DerivedB *) { result = 1; })
.Case([&](DerivedC *) { result = 2; })
.Default([&](Base *) { result = -1; });
return result;
};
EXPECT_EQ(0, translate(DerivedA()));
EXPECT_EQ(1, translate(DerivedB()));
EXPECT_EQ(2, translate(DerivedC()));
EXPECT_EQ(-1, translate(DerivedD()));
}
TEST(StringSwitchTest, CasesVoid) {
auto translate = [](auto value) {
int result = -1;
TypeSwitch<Base *>(&value)
.Case<DerivedA, DerivedB, DerivedD>([&](auto *) { result = 0; })
.Case([&](DerivedC *) { result = 1; });
return result;
};
EXPECT_EQ(0, translate(DerivedA()));
EXPECT_EQ(0, translate(DerivedB()));
EXPECT_EQ(1, translate(DerivedC()));
EXPECT_EQ(0, translate(DerivedD()));
EXPECT_EQ(-1, translate(DerivedE()));
}
|
