annotate mlir/unittests/TableGen/EnumsGenTest.cpp @ 221:79ff65ed7e25

LLVM12 Original
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 15 Jun 2021 19:15:29 +0900
parents 1d019706d866
children c4bab56944e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 //===- EnumsGenTest.cpp - TableGen EnumsGen Tests -------------------------===//
anatofuz
parents:
diff changeset
2 //
anatofuz
parents:
diff changeset
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
anatofuz
parents:
diff changeset
4 // See https://llvm.org/LICENSE.txt for license information.
anatofuz
parents:
diff changeset
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
anatofuz
parents:
diff changeset
6 //
anatofuz
parents:
diff changeset
7 //===----------------------------------------------------------------------===//
anatofuz
parents:
diff changeset
8
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
9 #include "mlir/IR/BuiltinAttributes.h"
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
10 #include "mlir/IR/BuiltinTypes.h"
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
11 #include "mlir/IR/MLIRContext.h"
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
12 #include "mlir/Support/LLVM.h"
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
13
150
anatofuz
parents:
diff changeset
14 #include "llvm/ADT/DenseMap.h"
anatofuz
parents:
diff changeset
15 #include "llvm/ADT/StringExtras.h"
anatofuz
parents:
diff changeset
16 #include "llvm/ADT/StringSwitch.h"
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
17
150
anatofuz
parents:
diff changeset
18 #include "gmock/gmock.h"
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
19
150
anatofuz
parents:
diff changeset
20 #include <type_traits>
anatofuz
parents:
diff changeset
21
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
22 /// Pull in generated enum utility declarations and definitions.
150
anatofuz
parents:
diff changeset
23 #include "EnumsGenTest.h.inc"
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
24
150
anatofuz
parents:
diff changeset
25 #include "EnumsGenTest.cpp.inc"
anatofuz
parents:
diff changeset
26
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
27 /// Test namespaces and enum class/utility names.
150
anatofuz
parents:
diff changeset
28 using Outer::Inner::ConvertToEnum;
anatofuz
parents:
diff changeset
29 using Outer::Inner::ConvertToString;
anatofuz
parents:
diff changeset
30 using Outer::Inner::StrEnum;
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
31 using Outer::Inner::StrEnumAttr;
150
anatofuz
parents:
diff changeset
32
anatofuz
parents:
diff changeset
33 TEST(EnumsGenTest, GeneratedStrEnumDefinition) {
anatofuz
parents:
diff changeset
34 EXPECT_EQ(0u, static_cast<uint64_t>(StrEnum::CaseA));
anatofuz
parents:
diff changeset
35 EXPECT_EQ(10u, static_cast<uint64_t>(StrEnum::CaseB));
anatofuz
parents:
diff changeset
36 }
anatofuz
parents:
diff changeset
37
anatofuz
parents:
diff changeset
38 TEST(EnumsGenTest, GeneratedI32EnumDefinition) {
anatofuz
parents:
diff changeset
39 EXPECT_EQ(5u, static_cast<uint64_t>(I32Enum::Case5));
anatofuz
parents:
diff changeset
40 EXPECT_EQ(10u, static_cast<uint64_t>(I32Enum::Case10));
anatofuz
parents:
diff changeset
41 }
anatofuz
parents:
diff changeset
42
anatofuz
parents:
diff changeset
43 TEST(EnumsGenTest, GeneratedDenseMapInfo) {
anatofuz
parents:
diff changeset
44 llvm::DenseMap<StrEnum, std::string> myMap;
anatofuz
parents:
diff changeset
45
anatofuz
parents:
diff changeset
46 myMap[StrEnum::CaseA] = "zero";
anatofuz
parents:
diff changeset
47 myMap[StrEnum::CaseB] = "one";
anatofuz
parents:
diff changeset
48
anatofuz
parents:
diff changeset
49 EXPECT_EQ(myMap[StrEnum::CaseA], "zero");
anatofuz
parents:
diff changeset
50 EXPECT_EQ(myMap[StrEnum::CaseB], "one");
anatofuz
parents:
diff changeset
51 }
anatofuz
parents:
diff changeset
52
anatofuz
parents:
diff changeset
53 TEST(EnumsGenTest, GeneratedSymbolToStringFn) {
anatofuz
parents:
diff changeset
54 EXPECT_EQ(ConvertToString(StrEnum::CaseA), "CaseA");
anatofuz
parents:
diff changeset
55 EXPECT_EQ(ConvertToString(StrEnum::CaseB), "CaseB");
anatofuz
parents:
diff changeset
56 }
anatofuz
parents:
diff changeset
57
anatofuz
parents:
diff changeset
58 TEST(EnumsGenTest, GeneratedStringToSymbolFn) {
anatofuz
parents:
diff changeset
59 EXPECT_EQ(llvm::Optional<StrEnum>(StrEnum::CaseA), ConvertToEnum("CaseA"));
anatofuz
parents:
diff changeset
60 EXPECT_EQ(llvm::Optional<StrEnum>(StrEnum::CaseB), ConvertToEnum("CaseB"));
anatofuz
parents:
diff changeset
61 EXPECT_EQ(llvm::None, ConvertToEnum("X"));
anatofuz
parents:
diff changeset
62 }
anatofuz
parents:
diff changeset
63
anatofuz
parents:
diff changeset
64 TEST(EnumsGenTest, GeneratedUnderlyingType) {
anatofuz
parents:
diff changeset
65 bool v = std::is_same<uint32_t, std::underlying_type<I32Enum>::type>::value;
anatofuz
parents:
diff changeset
66 EXPECT_TRUE(v);
anatofuz
parents:
diff changeset
67 }
anatofuz
parents:
diff changeset
68
anatofuz
parents:
diff changeset
69 TEST(EnumsGenTest, GeneratedBitEnumDefinition) {
anatofuz
parents:
diff changeset
70 EXPECT_EQ(0u, static_cast<uint32_t>(BitEnumWithNone::None));
anatofuz
parents:
diff changeset
71 EXPECT_EQ(1u, static_cast<uint32_t>(BitEnumWithNone::Bit1));
anatofuz
parents:
diff changeset
72 EXPECT_EQ(4u, static_cast<uint32_t>(BitEnumWithNone::Bit3));
anatofuz
parents:
diff changeset
73 }
anatofuz
parents:
diff changeset
74
anatofuz
parents:
diff changeset
75 TEST(EnumsGenTest, GeneratedSymbolToStringFnForBitEnum) {
anatofuz
parents:
diff changeset
76 EXPECT_EQ(stringifyBitEnumWithNone(BitEnumWithNone::None), "None");
anatofuz
parents:
diff changeset
77 EXPECT_EQ(stringifyBitEnumWithNone(BitEnumWithNone::Bit1), "Bit1");
anatofuz
parents:
diff changeset
78 EXPECT_EQ(stringifyBitEnumWithNone(BitEnumWithNone::Bit3), "Bit3");
anatofuz
parents:
diff changeset
79 EXPECT_EQ(
anatofuz
parents:
diff changeset
80 stringifyBitEnumWithNone(BitEnumWithNone::Bit1 | BitEnumWithNone::Bit3),
anatofuz
parents:
diff changeset
81 "Bit1|Bit3");
anatofuz
parents:
diff changeset
82 }
anatofuz
parents:
diff changeset
83
anatofuz
parents:
diff changeset
84 TEST(EnumsGenTest, GeneratedStringToSymbolForBitEnum) {
anatofuz
parents:
diff changeset
85 EXPECT_EQ(symbolizeBitEnumWithNone("None"), BitEnumWithNone::None);
anatofuz
parents:
diff changeset
86 EXPECT_EQ(symbolizeBitEnumWithNone("Bit1"), BitEnumWithNone::Bit1);
anatofuz
parents:
diff changeset
87 EXPECT_EQ(symbolizeBitEnumWithNone("Bit3"), BitEnumWithNone::Bit3);
anatofuz
parents:
diff changeset
88 EXPECT_EQ(symbolizeBitEnumWithNone("Bit3|Bit1"),
anatofuz
parents:
diff changeset
89 BitEnumWithNone::Bit3 | BitEnumWithNone::Bit1);
anatofuz
parents:
diff changeset
90
anatofuz
parents:
diff changeset
91 EXPECT_EQ(symbolizeBitEnumWithNone("Bit2"), llvm::None);
anatofuz
parents:
diff changeset
92 EXPECT_EQ(symbolizeBitEnumWithNone("Bit3|Bit4"), llvm::None);
anatofuz
parents:
diff changeset
93
anatofuz
parents:
diff changeset
94 EXPECT_EQ(symbolizeBitEnumWithoutNone("None"), llvm::None);
anatofuz
parents:
diff changeset
95 }
anatofuz
parents:
diff changeset
96
anatofuz
parents:
diff changeset
97 TEST(EnumsGenTest, GeneratedOperator) {
anatofuz
parents:
diff changeset
98 EXPECT_TRUE(bitEnumContains(BitEnumWithNone::Bit1 | BitEnumWithNone::Bit3,
anatofuz
parents:
diff changeset
99 BitEnumWithNone::Bit1));
anatofuz
parents:
diff changeset
100 EXPECT_FALSE(bitEnumContains(BitEnumWithNone::Bit1 & BitEnumWithNone::Bit3,
anatofuz
parents:
diff changeset
101 BitEnumWithNone::Bit1));
anatofuz
parents:
diff changeset
102 }
anatofuz
parents:
diff changeset
103
anatofuz
parents:
diff changeset
104 TEST(EnumsGenTest, GeneratedSymbolToCustomStringFn) {
anatofuz
parents:
diff changeset
105 EXPECT_EQ(stringifyPrettyIntEnum(PrettyIntEnum::Case1), "case_one");
anatofuz
parents:
diff changeset
106 EXPECT_EQ(stringifyPrettyIntEnum(PrettyIntEnum::Case2), "case_two");
anatofuz
parents:
diff changeset
107 }
anatofuz
parents:
diff changeset
108
anatofuz
parents:
diff changeset
109 TEST(EnumsGenTest, GeneratedCustomStringToSymbolFn) {
anatofuz
parents:
diff changeset
110 auto one = symbolizePrettyIntEnum("case_one");
anatofuz
parents:
diff changeset
111 EXPECT_TRUE(one);
anatofuz
parents:
diff changeset
112 EXPECT_EQ(*one, PrettyIntEnum::Case1);
anatofuz
parents:
diff changeset
113
anatofuz
parents:
diff changeset
114 auto two = symbolizePrettyIntEnum("case_two");
anatofuz
parents:
diff changeset
115 EXPECT_TRUE(two);
anatofuz
parents:
diff changeset
116 EXPECT_EQ(*two, PrettyIntEnum::Case2);
anatofuz
parents:
diff changeset
117
anatofuz
parents:
diff changeset
118 auto none = symbolizePrettyIntEnum("Case1");
anatofuz
parents:
diff changeset
119 EXPECT_FALSE(none);
anatofuz
parents:
diff changeset
120 }
221
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
121
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
122 TEST(EnumsGenTest, GeneratedIntAttributeClass) {
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
123 mlir::MLIRContext ctx;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
124 I32Enum rawVal = I32Enum::Case5;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
125
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
126 I32EnumAttr enumAttr = I32EnumAttr::get(&ctx, rawVal);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
127 EXPECT_NE(enumAttr, nullptr);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
128 EXPECT_EQ(enumAttr.getValue(), rawVal);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
129
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
130 mlir::Type intType = mlir::IntegerType::get(&ctx, 32);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
131 mlir::Attribute intAttr = mlir::IntegerAttr::get(intType, 5);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
132 EXPECT_TRUE(intAttr.isa<I32EnumAttr>());
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
133 EXPECT_EQ(intAttr, enumAttr);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
134 }
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
135
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
136 TEST(EnumsGenTest, GeneratedStringAttributeClass) {
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
137 mlir::MLIRContext ctx;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
138 StrEnum rawVal = StrEnum::CaseA;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
139
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
140 StrEnumAttr enumAttr = StrEnumAttr::get(&ctx, rawVal);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
141 EXPECT_NE(enumAttr, nullptr);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
142 EXPECT_EQ(enumAttr.getValue(), rawVal);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
143
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
144 mlir::Attribute strAttr = mlir::StringAttr::get(&ctx, "CaseA");
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
145 EXPECT_TRUE(strAttr.isa<StrEnumAttr>());
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
146 EXPECT_EQ(strAttr, enumAttr);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
147 }
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
148
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
149 TEST(EnumsGenTest, GeneratedBitAttributeClass) {
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
150 mlir::MLIRContext ctx;
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
151
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
152 mlir::Type intType = mlir::IntegerType::get(&ctx, 32);
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
153 mlir::Attribute intAttr = mlir::IntegerAttr::get(
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
154 intType,
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
155 static_cast<uint32_t>(BitEnumWithNone::Bit1 | BitEnumWithNone::Bit3));
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
156 EXPECT_TRUE(intAttr.isa<BitEnumWithNoneAttr>());
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
157 EXPECT_TRUE(intAttr.isa<BitEnumWithoutNoneAttr>());
79ff65ed7e25 LLVM12 Original
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
158 }