TripleTest.cpp revision 5754a4525625a67a6c9b4f63512ea9db6997bf05 
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
13using namespace llvm;
14
15namespace {
16
17TEST(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
75TEST(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  EXPECT_EQ(Triple::UnknownEnvironment, T.getEnvironment());
83
84  T = Triple("x86_64-pc-linux-gnu");
85  EXPECT_EQ(Triple::x86_64, T.getArch());
86  EXPECT_EQ(Triple::PC, T.getVendor());
87  EXPECT_EQ(Triple::Linux, T.getOS());
88  // When environments are defined, change this test to verify the "gnu"
89  // environment.
90  EXPECT_EQ(Triple::UnknownEnvironment, T.getEnvironment());
91
92  T = Triple("powerpc-dunno-notsure");
93  EXPECT_EQ(Triple::ppc, T.getArch());
94  EXPECT_EQ(Triple::UnknownVendor, T.getVendor());
95  EXPECT_EQ(Triple::UnknownOS, T.getOS());
96  EXPECT_EQ(Triple::UnknownEnvironment, T.getEnvironment());
97
98  T = Triple("huh");
99  EXPECT_EQ(Triple::UnknownArch, T.getArch());
100}
101
102static std::string Join(StringRef A, StringRef B, StringRef C) {
103  std::string Str = A; Str += '-'; Str += B; Str += '-'; Str += C;
104  return Str;
105}
106
107static std::string Join(StringRef A, StringRef B, StringRef C, StringRef D) {
108  std::string Str = A; Str += '-'; Str += B; Str += '-'; Str += C; Str += '-';
109  Str += D; return Str;
110}
111
112TEST(TripleTest, Normalization) {
113  EXPECT_EQ("", Triple::normalize(""));
114  EXPECT_EQ("-", Triple::normalize("-"));
115  EXPECT_EQ("--", Triple::normalize("--"));
116  EXPECT_EQ("---", Triple::normalize("---"));
117  EXPECT_EQ("----", Triple::normalize("----"));
118
119  EXPECT_EQ("a", Triple::normalize("a"));
120  EXPECT_EQ("a-b", Triple::normalize("a-b"));
121  EXPECT_EQ("a-b-c", Triple::normalize("a-b-c"));
122  EXPECT_EQ("a-b-c-d", Triple::normalize("a-b-c-d"));
123
124  EXPECT_EQ("i386-b-c", Triple::normalize("i386-b-c"));
125  EXPECT_EQ("i386-a-c", Triple::normalize("a-i386-c"));
126  EXPECT_EQ("i386-a-b", Triple::normalize("a-b-i386"));
127  EXPECT_EQ("i386-a-b-c", Triple::normalize("a-b-c-i386"));
128
129  EXPECT_EQ("a-pc-c", Triple::normalize("a-pc-c"));
130  EXPECT_EQ("-pc-b-c", Triple::normalize("pc-b-c"));
131  EXPECT_EQ("a-pc-b", Triple::normalize("a-b-pc"));
132  EXPECT_EQ("a-pc-b-c", Triple::normalize("a-b-c-pc"));
133
134  EXPECT_EQ("a-b-linux", Triple::normalize("a-b-linux"));
135  EXPECT_EQ("--linux-b-c", Triple::normalize("linux-b-c"));
136  EXPECT_EQ("a--linux-c", Triple::normalize("a-linux-c"));
137
138  EXPECT_EQ("i386-pc-a", Triple::normalize("a-pc-i386"));
139  EXPECT_EQ("i386-pc-", Triple::normalize("-pc-i386"));
140  EXPECT_EQ("-pc-linux-c", Triple::normalize("linux-pc-c"));
141  EXPECT_EQ("-pc-linux", Triple::normalize("linux-pc-"));
142
143  EXPECT_EQ("i386", Triple::normalize("i386"));
144  EXPECT_EQ("-pc", Triple::normalize("pc"));
145  EXPECT_EQ("--linux", Triple::normalize("linux"));
146
147  // Check that normalizing a permutated set of valid components returns a
148  // triple with the unpermuted components.
149  StringRef C[4];
150  C[3] = "environment";
151  for (int Arch = 1+Triple::UnknownArch; Arch < Triple::InvalidArch; ++Arch) {
152    C[0] = Triple::getArchTypeName(Triple::ArchType(Arch));
153    for (int Vendor = 1+Triple::UnknownVendor; Vendor <= Triple::PC;
154         ++Vendor) {
155      C[1] = Triple::getVendorTypeName(Triple::VendorType(Vendor));
156      for (int OS = 1+Triple::UnknownOS; OS <= Triple::Minix; ++OS) {
157        C[2] = Triple::getOSTypeName(Triple::OSType(OS));
158
159        std::string E = Join(C[0], C[1], C[2]);
160        std::string F = Join(C[0], C[1], C[2], C[3]);
161        EXPECT_EQ(E, Triple::normalize(Join(C[0], C[1], C[2])));
162        EXPECT_EQ(F, Triple::normalize(Join(C[0], C[1], C[2], C[3])));
163
164        // If a value has multiple interpretations, then the permutation
165        // test will inevitably fail.  Currently this is only the case for
166        // "psp" which parses as both an architecture and an O/S.
167        if (OS == Triple::Psp)
168          continue;
169
170        EXPECT_EQ(E, Triple::normalize(Join(C[0], C[2], C[1])));
171        EXPECT_EQ(E, Triple::normalize(Join(C[1], C[2], C[0])));
172        EXPECT_EQ(E, Triple::normalize(Join(C[1], C[0], C[2])));
173        EXPECT_EQ(E, Triple::normalize(Join(C[2], C[0], C[1])));
174        EXPECT_EQ(E, Triple::normalize(Join(C[2], C[1], C[0])));
175
176        EXPECT_EQ(F, Triple::normalize(Join(C[0], C[1], C[3], C[2])));
177        EXPECT_EQ(F, Triple::normalize(Join(C[0], C[2], C[3], C[1])));
178        EXPECT_EQ(F, Triple::normalize(Join(C[0], C[2], C[1], C[3])));
179        EXPECT_EQ(F, Triple::normalize(Join(C[0], C[3], C[1], C[2])));
180        EXPECT_EQ(F, Triple::normalize(Join(C[0], C[3], C[2], C[1])));
181        EXPECT_EQ(F, Triple::normalize(Join(C[1], C[2], C[3], C[0])));
182        EXPECT_EQ(F, Triple::normalize(Join(C[1], C[2], C[0], C[3])));
183        EXPECT_EQ(F, Triple::normalize(Join(C[1], C[3], C[0], C[2])));
184        EXPECT_EQ(F, Triple::normalize(Join(C[1], C[3], C[2], C[0])));
185        EXPECT_EQ(F, Triple::normalize(Join(C[1], C[0], C[2], C[3])));
186        EXPECT_EQ(F, Triple::normalize(Join(C[1], C[0], C[3], C[2])));
187        EXPECT_EQ(F, Triple::normalize(Join(C[2], C[3], C[0], C[1])));
188        EXPECT_EQ(F, Triple::normalize(Join(C[2], C[3], C[1], C[0])));
189        EXPECT_EQ(F, Triple::normalize(Join(C[2], C[0], C[1], C[3])));
190        EXPECT_EQ(F, Triple::normalize(Join(C[2], C[0], C[3], C[1])));
191        EXPECT_EQ(F, Triple::normalize(Join(C[2], C[1], C[3], C[0])));
192        EXPECT_EQ(F, Triple::normalize(Join(C[2], C[1], C[0], C[3])));
193        EXPECT_EQ(F, Triple::normalize(Join(C[3], C[0], C[1], C[2])));
194        EXPECT_EQ(F, Triple::normalize(Join(C[3], C[0], C[2], C[1])));
195        EXPECT_EQ(F, Triple::normalize(Join(C[3], C[1], C[2], C[0])));
196        EXPECT_EQ(F, Triple::normalize(Join(C[3], C[1], C[0], C[2])));
197        EXPECT_EQ(F, Triple::normalize(Join(C[3], C[2], C[0], C[1])));
198        EXPECT_EQ(F, Triple::normalize(Join(C[3], C[2], C[1], C[0])));
199      }
200    }
201  }
202
203  EXPECT_EQ("a-b-psp", Triple::normalize("a-b-psp"));
204  EXPECT_EQ("psp-b-c", Triple::normalize("psp-b-c"));
205
206  // Various real-world funky triples.  The value returned by GCC's config.sub
207  // is given in the comment.
208  EXPECT_EQ("i386--mingw32", Triple::normalize("i386-mingw32")); // i386-pc-mingw32
209  EXPECT_EQ("x86_64--linux-gnu", Triple::normalize("x86_64-linux-gnu")); // x86_64-pc-linux-gnu
210  EXPECT_EQ("i486--linux-gnu", Triple::normalize("i486-linux-gnu")); // i486-pc-linux-gnu
211  EXPECT_EQ("i386-redhat-linux", Triple::normalize("i386-redhat-linux")); // i386-redhat-linux-gnu
212  EXPECT_EQ("i686--linux", Triple::normalize("i686-linux")); // i686-pc-linux-gnu
213}
214
215TEST(TripleTest, MutateName) {
216  Triple T;
217  EXPECT_EQ(Triple::UnknownArch, T.getArch());
218  EXPECT_EQ(Triple::UnknownVendor, T.getVendor());
219  EXPECT_EQ(Triple::UnknownOS, T.getOS());
220  EXPECT_EQ(Triple::UnknownEnvironment, T.getEnvironment());
221
222  T.setArchName("i386");
223  EXPECT_EQ(Triple::x86, T.getArch());
224  EXPECT_EQ("i386--", T.getTriple());
225
226  T.setVendorName("pc");
227  EXPECT_EQ(Triple::x86, T.getArch());
228  EXPECT_EQ(Triple::PC, T.getVendor());
229  EXPECT_EQ("i386-pc-", T.getTriple());
230
231  T.setOSName("linux");
232  EXPECT_EQ(Triple::x86, T.getArch());
233  EXPECT_EQ(Triple::PC, T.getVendor());
234  EXPECT_EQ(Triple::Linux, T.getOS());
235  EXPECT_EQ("i386-pc-linux", T.getTriple());
236
237  T.setEnvironmentName("gnu");
238  EXPECT_EQ(Triple::x86, T.getArch());
239  EXPECT_EQ(Triple::PC, T.getVendor());
240  EXPECT_EQ(Triple::Linux, T.getOS());
241  EXPECT_EQ("i386-pc-linux-gnu", T.getTriple());
242
243  T.setOSName("freebsd");
244  EXPECT_EQ(Triple::x86, T.getArch());
245  EXPECT_EQ(Triple::PC, T.getVendor());
246  EXPECT_EQ(Triple::FreeBSD, T.getOS());
247  EXPECT_EQ("i386-pc-freebsd-gnu", T.getTriple());
248
249  T.setOSAndEnvironmentName("darwin");
250  EXPECT_EQ(Triple::x86, T.getArch());
251  EXPECT_EQ(Triple::PC, T.getVendor());
252  EXPECT_EQ(Triple::Darwin, T.getOS());
253  EXPECT_EQ("i386-pc-darwin", T.getTriple());
254}
255
256}
257