Home | History | Annotate | Download | only in Lex
      1 //===- unittests/Lex/LexerTest.cpp ------ Lexer 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 "clang/Lex/Lexer.h"
     11 #include "clang/Basic/Diagnostic.h"
     12 #include "clang/Basic/DiagnosticOptions.h"
     13 #include "clang/Basic/FileManager.h"
     14 #include "clang/Basic/LangOptions.h"
     15 #include "clang/Basic/SourceManager.h"
     16 #include "clang/Basic/TargetInfo.h"
     17 #include "clang/Basic/TargetOptions.h"
     18 #include "clang/Lex/HeaderSearch.h"
     19 #include "clang/Lex/HeaderSearchOptions.h"
     20 #include "clang/Lex/ModuleLoader.h"
     21 #include "clang/Lex/Preprocessor.h"
     22 #include "clang/Lex/PreprocessorOptions.h"
     23 #include "llvm/Config/config.h"
     24 #include "gtest/gtest.h"
     25 
     26 using namespace llvm;
     27 using namespace clang;
     28 
     29 namespace {
     30 
     31 // The test fixture.
     32 class LexerTest : public ::testing::Test {
     33 protected:
     34   LexerTest()
     35     : FileMgr(FileMgrOpts),
     36       DiagID(new DiagnosticIDs()),
     37       Diags(DiagID, new DiagnosticOptions, new IgnoringDiagConsumer()),
     38       SourceMgr(Diags, FileMgr),
     39       TargetOpts(new TargetOptions)
     40   {
     41     TargetOpts->Triple = "x86_64-apple-darwin11.1.0";
     42     Target = TargetInfo::CreateTargetInfo(Diags, &*TargetOpts);
     43   }
     44 
     45   FileSystemOptions FileMgrOpts;
     46   FileManager FileMgr;
     47   IntrusiveRefCntPtr<DiagnosticIDs> DiagID;
     48   DiagnosticsEngine Diags;
     49   SourceManager SourceMgr;
     50   LangOptions LangOpts;
     51   IntrusiveRefCntPtr<TargetOptions> TargetOpts;
     52   IntrusiveRefCntPtr<TargetInfo> Target;
     53 };
     54 
     55 class VoidModuleLoader : public ModuleLoader {
     56   virtual ModuleLoadResult loadModule(SourceLocation ImportLoc,
     57                                       ModuleIdPath Path,
     58                                       Module::NameVisibilityKind Visibility,
     59                                       bool IsInclusionDirective) {
     60     return ModuleLoadResult();
     61   }
     62 
     63   virtual void makeModuleVisible(Module *Mod,
     64                                  Module::NameVisibilityKind Visibility,
     65                                  SourceLocation ImportLoc) { }
     66 };
     67 
     68 TEST_F(LexerTest, LexAPI) {
     69   const char *source =
     70     "#define M(x) [x]\n"
     71     "#define N(x) x\n"
     72     "#define INN(x) x\n"
     73     "#define NOF1 INN(val)\n"
     74     "#define NOF2 val\n"
     75     "M(foo) N([bar])\n"
     76     "N(INN(val)) N(NOF1) N(NOF2) N(val)";
     77 
     78   MemoryBuffer *buf = MemoryBuffer::getMemBuffer(source);
     79   (void)SourceMgr.createMainFileIDForMemBuffer(buf);
     80 
     81   VoidModuleLoader ModLoader;
     82   HeaderSearch HeaderInfo(new HeaderSearchOptions, FileMgr, Diags, LangOpts,
     83                           Target.getPtr());
     84   Preprocessor PP(new PreprocessorOptions(), Diags, LangOpts, Target.getPtr(),
     85                   SourceMgr, HeaderInfo, ModLoader,
     86                   /*IILookup =*/ 0,
     87                   /*OwnsHeaderSearch =*/false,
     88                   /*DelayInitialization =*/ false);
     89   PP.EnterMainSourceFile();
     90 
     91   std::vector<Token> toks;
     92   while (1) {
     93     Token tok;
     94     PP.Lex(tok);
     95     if (tok.is(tok::eof))
     96       break;
     97     toks.push_back(tok);
     98   }
     99 
    100   // Make sure we got the tokens that we expected.
    101   ASSERT_EQ(10U, toks.size());
    102   ASSERT_EQ(tok::l_square, toks[0].getKind());
    103   ASSERT_EQ(tok::identifier, toks[1].getKind());
    104   ASSERT_EQ(tok::r_square, toks[2].getKind());
    105   ASSERT_EQ(tok::l_square, toks[3].getKind());
    106   ASSERT_EQ(tok::identifier, toks[4].getKind());
    107   ASSERT_EQ(tok::r_square, toks[5].getKind());
    108   ASSERT_EQ(tok::identifier, toks[6].getKind());
    109   ASSERT_EQ(tok::identifier, toks[7].getKind());
    110   ASSERT_EQ(tok::identifier, toks[8].getKind());
    111   ASSERT_EQ(tok::identifier, toks[9].getKind());
    112 
    113   SourceLocation lsqrLoc = toks[0].getLocation();
    114   SourceLocation idLoc = toks[1].getLocation();
    115   SourceLocation rsqrLoc = toks[2].getLocation();
    116   std::pair<SourceLocation,SourceLocation>
    117     macroPair = SourceMgr.getExpansionRange(lsqrLoc);
    118   SourceRange macroRange = SourceRange(macroPair.first, macroPair.second);
    119 
    120   SourceLocation Loc;
    121   EXPECT_TRUE(Lexer::isAtStartOfMacroExpansion(lsqrLoc, SourceMgr, LangOpts, &Loc));
    122   EXPECT_EQ(Loc, macroRange.getBegin());
    123   EXPECT_FALSE(Lexer::isAtStartOfMacroExpansion(idLoc, SourceMgr, LangOpts));
    124   EXPECT_FALSE(Lexer::isAtEndOfMacroExpansion(idLoc, SourceMgr, LangOpts));
    125   EXPECT_TRUE(Lexer::isAtEndOfMacroExpansion(rsqrLoc, SourceMgr, LangOpts, &Loc));
    126   EXPECT_EQ(Loc, macroRange.getEnd());
    127 
    128   CharSourceRange range = Lexer::makeFileCharRange(
    129            CharSourceRange::getTokenRange(lsqrLoc, idLoc), SourceMgr, LangOpts);
    130   EXPECT_TRUE(range.isInvalid());
    131   range = Lexer::makeFileCharRange(CharSourceRange::getTokenRange(idLoc, rsqrLoc),
    132                                    SourceMgr, LangOpts);
    133   EXPECT_TRUE(range.isInvalid());
    134   range = Lexer::makeFileCharRange(CharSourceRange::getTokenRange(lsqrLoc, rsqrLoc),
    135                                    SourceMgr, LangOpts);
    136   EXPECT_TRUE(!range.isTokenRange());
    137   EXPECT_EQ(range.getAsRange(),
    138             SourceRange(macroRange.getBegin(),
    139                         macroRange.getEnd().getLocWithOffset(1)));
    140 
    141   StringRef text = Lexer::getSourceText(
    142                                CharSourceRange::getTokenRange(lsqrLoc, rsqrLoc),
    143                                SourceMgr, LangOpts);
    144   EXPECT_EQ(text, "M(foo)");
    145 
    146   SourceLocation macroLsqrLoc = toks[3].getLocation();
    147   SourceLocation macroIdLoc = toks[4].getLocation();
    148   SourceLocation macroRsqrLoc = toks[5].getLocation();
    149   SourceLocation fileLsqrLoc = SourceMgr.getSpellingLoc(macroLsqrLoc);
    150   SourceLocation fileIdLoc = SourceMgr.getSpellingLoc(macroIdLoc);
    151   SourceLocation fileRsqrLoc = SourceMgr.getSpellingLoc(macroRsqrLoc);
    152 
    153   range = Lexer::makeFileCharRange(
    154       CharSourceRange::getTokenRange(macroLsqrLoc, macroIdLoc),
    155       SourceMgr, LangOpts);
    156   EXPECT_EQ(SourceRange(fileLsqrLoc, fileIdLoc.getLocWithOffset(3)),
    157             range.getAsRange());
    158 
    159   range = Lexer::makeFileCharRange(CharSourceRange::getTokenRange(macroIdLoc, macroRsqrLoc),
    160                                    SourceMgr, LangOpts);
    161   EXPECT_EQ(SourceRange(fileIdLoc, fileRsqrLoc.getLocWithOffset(1)),
    162             range.getAsRange());
    163 
    164   macroPair = SourceMgr.getExpansionRange(macroLsqrLoc);
    165   range = Lexer::makeFileCharRange(
    166                      CharSourceRange::getTokenRange(macroLsqrLoc, macroRsqrLoc),
    167                      SourceMgr, LangOpts);
    168   EXPECT_EQ(SourceRange(macroPair.first, macroPair.second.getLocWithOffset(1)),
    169             range.getAsRange());
    170 
    171   text = Lexer::getSourceText(
    172           CharSourceRange::getTokenRange(SourceRange(macroLsqrLoc, macroIdLoc)),
    173           SourceMgr, LangOpts);
    174   EXPECT_EQ(text, "[bar");
    175 
    176 
    177   SourceLocation idLoc1 = toks[6].getLocation();
    178   SourceLocation idLoc2 = toks[7].getLocation();
    179   SourceLocation idLoc3 = toks[8].getLocation();
    180   SourceLocation idLoc4 = toks[9].getLocation();
    181   EXPECT_EQ("INN", Lexer::getImmediateMacroName(idLoc1, SourceMgr, LangOpts));
    182   EXPECT_EQ("INN", Lexer::getImmediateMacroName(idLoc2, SourceMgr, LangOpts));
    183   EXPECT_EQ("NOF2", Lexer::getImmediateMacroName(idLoc3, SourceMgr, LangOpts));
    184   EXPECT_EQ("N", Lexer::getImmediateMacroName(idLoc4, SourceMgr, LangOpts));
    185 }
    186 
    187 } // anonymous namespace
    188