Add a 'normalize' method to the Triple class, which takes a mucked up
[oota-llvm.git] / unittests / ADT / TripleTest.cpp
1 //===----------- Triple.cpp - Triple unit tests ---------------------------===//
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 "gtest/gtest.h"
11 #include "llvm/ADT/Triple.h"
12
13 using namespace llvm;
14
15 namespace {
16
17 TEST(TripleTest, BasicParsing) {
18   Triple T;
19
20   T = Triple("");
21   EXPECT_EQ("", T.getArchName().str());
22   EXPECT_EQ("", T.getVendorName().str());
23   EXPECT_EQ("", T.getOSName().str());
24   EXPECT_EQ("", T.getEnvironmentName().str());
25
26   T = Triple("-");
27   EXPECT_EQ("", T.getArchName().str());
28   EXPECT_EQ("", T.getVendorName().str());
29   EXPECT_EQ("", T.getOSName().str());
30   EXPECT_EQ("", T.getEnvironmentName().str());
31
32   T = Triple("--");
33   EXPECT_EQ("", T.getArchName().str());
34   EXPECT_EQ("", T.getVendorName().str());
35   EXPECT_EQ("", T.getOSName().str());
36   EXPECT_EQ("", T.getEnvironmentName().str());
37
38   T = Triple("---");
39   EXPECT_EQ("", T.getArchName().str());
40   EXPECT_EQ("", T.getVendorName().str());
41   EXPECT_EQ("", T.getOSName().str());
42   EXPECT_EQ("", T.getEnvironmentName().str());
43
44   T = Triple("----");
45   EXPECT_EQ("", T.getArchName().str());
46   EXPECT_EQ("", T.getVendorName().str());
47   EXPECT_EQ("", T.getOSName().str());
48   EXPECT_EQ("-", T.getEnvironmentName().str());
49
50   T = Triple("a");
51   EXPECT_EQ("a", T.getArchName().str());
52   EXPECT_EQ("", T.getVendorName().str());
53   EXPECT_EQ("", T.getOSName().str());
54   EXPECT_EQ("", T.getEnvironmentName().str());
55
56   T = Triple("a-b");
57   EXPECT_EQ("a", T.getArchName().str());
58   EXPECT_EQ("b", T.getVendorName().str());
59   EXPECT_EQ("", T.getOSName().str());
60   EXPECT_EQ("", T.getEnvironmentName().str());
61
62   T = Triple("a-b-c");
63   EXPECT_EQ("a", T.getArchName().str());
64   EXPECT_EQ("b", T.getVendorName().str());
65   EXPECT_EQ("c", T.getOSName().str());
66   EXPECT_EQ("", T.getEnvironmentName().str());
67
68   T = Triple("a-b-c-d");
69   EXPECT_EQ("a", T.getArchName().str());
70   EXPECT_EQ("b", T.getVendorName().str());
71   EXPECT_EQ("c", T.getOSName().str());
72   EXPECT_EQ("d", T.getEnvironmentName().str());
73 }
74
75 TEST(TripleTest, ParsedIDs) {
76   Triple T;
77
78   T = Triple("i386-apple-darwin");
79   EXPECT_EQ(Triple::x86, T.getArch());
80   EXPECT_EQ(Triple::Apple, T.getVendor());
81   EXPECT_EQ(Triple::Darwin, T.getOS());
82
83   T = Triple("x86_64-pc-linux-gnu");
84   EXPECT_EQ(Triple::x86_64, T.getArch());
85   EXPECT_EQ(Triple::PC, T.getVendor());
86   EXPECT_EQ(Triple::Linux, T.getOS());
87
88   T = Triple("powerpc-dunno-notsure");
89   EXPECT_EQ(Triple::ppc, T.getArch());
90   EXPECT_EQ(Triple::UnknownVendor, T.getVendor());
91   EXPECT_EQ(Triple::UnknownOS, T.getOS());
92
93   T = Triple("huh");
94   EXPECT_EQ(Triple::UnknownArch, T.getArch());
95 }
96
97 static std::string Join(StringRef A, StringRef B, StringRef C) {
98   std::string Str = A; Str += '-'; Str += B; Str += '-'; Str += C;
99   return Str;
100 }
101
102 static std::string Join(StringRef A, StringRef B, StringRef C, StringRef D) {
103   std::string Str = A; Str += '-'; Str += B; Str += '-'; Str += C; Str += '-';
104   Str += D; return Str;
105 }
106
107 TEST(TripleTest, Normalization) {
108   EXPECT_EQ("", Triple::normalize(""));
109   EXPECT_EQ("-", Triple::normalize("-"));
110   EXPECT_EQ("--", Triple::normalize("--"));
111   EXPECT_EQ("---", Triple::normalize("---"));
112   EXPECT_EQ("----", Triple::normalize("----"));
113
114   EXPECT_EQ("a", Triple::normalize("a"));
115   EXPECT_EQ("a-b", Triple::normalize("a-b"));
116   EXPECT_EQ("a-b-c", Triple::normalize("a-b-c"));
117   EXPECT_EQ("a-b-c-d", Triple::normalize("a-b-c-d"));
118
119   EXPECT_EQ("i386-b-c", Triple::normalize("i386-b-c"));
120   EXPECT_EQ("i386-a-c", Triple::normalize("a-i386-c"));
121   EXPECT_EQ("i386-a-b", Triple::normalize("a-b-i386"));
122
123   EXPECT_EQ("a-pc-c", Triple::normalize("a-pc-c"));
124   EXPECT_EQ("-pc-b-c", Triple::normalize("pc-b-c"));
125   EXPECT_EQ("a-pc-b", Triple::normalize("a-b-pc"));
126
127   EXPECT_EQ("a-b-linux", Triple::normalize("a-b-linux"));
128   EXPECT_EQ("--linux-b-c", Triple::normalize("linux-b-c"));
129   EXPECT_EQ("a--linux-c", Triple::normalize("a-linux-c"));
130
131   EXPECT_EQ("i386-pc-a", Triple::normalize("a-pc-i386"));
132   EXPECT_EQ("i386-pc-", Triple::normalize("-pc-i386"));
133   EXPECT_EQ("-pc-linux-c", Triple::normalize("linux-pc-c"));
134   EXPECT_EQ("-pc-linux", Triple::normalize("linux-pc-"));
135
136   EXPECT_EQ("i386", Triple::normalize("i386"));
137   EXPECT_EQ("-pc", Triple::normalize("pc"));
138   EXPECT_EQ("--linux", Triple::normalize("linux"));
139
140   // Check that normalizing a permutated set of valid components returns a
141   // triple with the unpermuted components.
142   StringRef C[4];
143   C[3] = "environment";
144   for (int Arch = 1+Triple::UnknownArch; Arch < Triple::InvalidArch; ++Arch) {
145     C[0] = Triple::getArchTypeName(Triple::ArchType(Arch));
146     for (int Vendor = 1+Triple::UnknownVendor; Vendor <= Triple::PC;
147          ++Vendor) {
148       C[1] = Triple::getVendorTypeName(Triple::VendorType(Vendor));
149       for (int OS = 1+Triple::UnknownOS; OS <= Triple::Minix; ++OS) {
150         C[2] = Triple::getOSTypeName(Triple::OSType(OS));
151
152         std::string E = Join(C[0], C[1], C[2]);
153         std::string F = Join(C[0], C[1], C[2], C[3]);
154         EXPECT_EQ(E, Triple::normalize(Join(C[0], C[1], C[2])));
155         EXPECT_EQ(F, Triple::normalize(Join(C[0], C[1], C[2], C[3])));
156
157         // If a value has multiple interpretations, then the permutation
158         // test will inevitably fail.  Currently this is only the case for
159         // "psp" which parses as both an architecture and an O/S.
160         if (OS == Triple::Psp)
161           continue;
162
163         EXPECT_EQ(E, Triple::normalize(Join(C[0], C[2], C[1])));
164         EXPECT_EQ(E, Triple::normalize(Join(C[1], C[2], C[0])));
165         EXPECT_EQ(E, Triple::normalize(Join(C[1], C[0], C[2])));
166         EXPECT_EQ(E, Triple::normalize(Join(C[2], C[0], C[1])));
167         EXPECT_EQ(E, Triple::normalize(Join(C[2], C[1], C[0])));
168
169         EXPECT_EQ(F, Triple::normalize(Join(C[0], C[1], C[3], C[2])));
170         EXPECT_EQ(F, Triple::normalize(Join(C[0], C[2], C[3], C[1])));
171         EXPECT_EQ(F, Triple::normalize(Join(C[0], C[2], C[1], C[3])));
172         EXPECT_EQ(F, Triple::normalize(Join(C[0], C[3], C[1], C[2])));
173         EXPECT_EQ(F, Triple::normalize(Join(C[0], C[3], C[2], C[1])));
174         EXPECT_EQ(F, Triple::normalize(Join(C[1], C[2], C[3], C[0])));
175         EXPECT_EQ(F, Triple::normalize(Join(C[1], C[2], C[0], C[3])));
176         EXPECT_EQ(F, Triple::normalize(Join(C[1], C[3], C[0], C[2])));
177         EXPECT_EQ(F, Triple::normalize(Join(C[1], C[3], C[2], C[0])));
178         EXPECT_EQ(F, Triple::normalize(Join(C[1], C[0], C[2], C[3])));
179         EXPECT_EQ(F, Triple::normalize(Join(C[1], C[0], C[3], C[2])));
180         EXPECT_EQ(F, Triple::normalize(Join(C[2], C[3], C[0], C[1])));
181         EXPECT_EQ(F, Triple::normalize(Join(C[2], C[3], C[1], C[0])));
182         EXPECT_EQ(F, Triple::normalize(Join(C[2], C[0], C[1], C[3])));
183         EXPECT_EQ(F, Triple::normalize(Join(C[2], C[0], C[3], C[1])));
184         EXPECT_EQ(F, Triple::normalize(Join(C[2], C[1], C[3], C[0])));
185         EXPECT_EQ(F, Triple::normalize(Join(C[2], C[1], C[0], C[3])));
186         EXPECT_EQ(F, Triple::normalize(Join(C[3], C[0], C[1], C[2])));
187         EXPECT_EQ(F, Triple::normalize(Join(C[3], C[0], C[2], C[1])));
188         EXPECT_EQ(F, Triple::normalize(Join(C[3], C[1], C[2], C[0])));
189         EXPECT_EQ(F, Triple::normalize(Join(C[3], C[1], C[0], C[2])));
190         EXPECT_EQ(F, Triple::normalize(Join(C[3], C[2], C[0], C[1])));
191         EXPECT_EQ(F, Triple::normalize(Join(C[3], C[2], C[1], C[0])));
192       }
193     }
194   }
195
196   EXPECT_EQ("a-b-psp", Triple::normalize("a-b-psp"));
197   EXPECT_EQ("psp-b-c", Triple::normalize("psp-b-c"));
198
199   // Various real-world funky triples.  The value returned by GCC's config.sub
200   // is given in the comment.
201   EXPECT_EQ("i386--mingw32", Triple::normalize("i386-mingw32")); // i386-pc-mingw32
202   EXPECT_EQ("x86_64--linux-gnu", Triple::normalize("x86_64-linux-gnu")); // x86_64-pc-linux-gnu
203   EXPECT_EQ("i486--linux-gnu", Triple::normalize("i486-linux-gnu")); // i486-pc-linux-gnu
204   EXPECT_EQ("i386-redhat-linux", Triple::normalize("i386-redhat-linux")); // i386-redhat-linux-gnu
205   EXPECT_EQ("i686--linux", Triple::normalize("i686-linux")); // i686-pc-linux-gnu
206 }
207
208 TEST(TripleTest, MutateName) {
209   Triple T;
210   EXPECT_EQ(Triple::UnknownArch, T.getArch());
211   EXPECT_EQ(Triple::UnknownVendor, T.getVendor());
212   EXPECT_EQ(Triple::UnknownOS, T.getOS());
213
214   T.setArchName("i386");
215   EXPECT_EQ(Triple::x86, T.getArch());
216   EXPECT_EQ("i386--", T.getTriple());
217
218   T.setVendorName("pc");
219   EXPECT_EQ(Triple::x86, T.getArch());
220   EXPECT_EQ(Triple::PC, T.getVendor());
221   EXPECT_EQ("i386-pc-", T.getTriple());
222
223   T.setOSName("linux");
224   EXPECT_EQ(Triple::x86, T.getArch());
225   EXPECT_EQ(Triple::PC, T.getVendor());
226   EXPECT_EQ(Triple::Linux, T.getOS());
227   EXPECT_EQ("i386-pc-linux", T.getTriple());
228
229   T.setEnvironmentName("gnu");
230   EXPECT_EQ(Triple::x86, T.getArch());
231   EXPECT_EQ(Triple::PC, T.getVendor());
232   EXPECT_EQ(Triple::Linux, T.getOS());
233   EXPECT_EQ("i386-pc-linux-gnu", T.getTriple());
234
235   T.setOSName("freebsd");
236   EXPECT_EQ(Triple::x86, T.getArch());
237   EXPECT_EQ(Triple::PC, T.getVendor());
238   EXPECT_EQ(Triple::FreeBSD, T.getOS());
239   EXPECT_EQ("i386-pc-freebsd-gnu", T.getTriple());
240
241   T.setOSAndEnvironmentName("darwin");
242   EXPECT_EQ(Triple::x86, T.getArch());
243   EXPECT_EQ(Triple::PC, T.getVendor());
244   EXPECT_EQ(Triple::Darwin, T.getOS());
245   EXPECT_EQ("i386-pc-darwin", T.getTriple());
246 }
247
248 }