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