blob: e95cd023ab9ef243c13921e84b5a66b6244280a8 [file] [log] [blame]
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +00001//===- unittests/Basic/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/Basic/SourceManager.h"
11#include "clang/Basic/FileManager.h"
12#include "clang/Basic/Diagnostic.h"
Douglas Gregor3aeb34f2012-10-23 22:38:58 +000013#include "clang/Basic/DiagnosticOptions.h"
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +000014#include "clang/Basic/LangOptions.h"
15#include "clang/Basic/TargetOptions.h"
16#include "clang/Basic/TargetInfo.h"
17#include "clang/Lex/ModuleLoader.h"
18#include "clang/Lex/HeaderSearch.h"
Douglas Gregorb0985c82012-10-24 16:24:38 +000019#include "clang/Lex/HeaderSearchOptions.h"
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +000020#include "clang/Lex/Preprocessor.h"
Douglas Gregor36a16492012-10-24 17:46:57 +000021#include "clang/Lex/PreprocessorOptions.h"
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +000022#include "llvm/Config/config.h"
23
24#include "gtest/gtest.h"
25
26using namespace llvm;
27using namespace clang;
28
29namespace {
30
31// The test fixture.
32class LexerTest : public ::testing::Test {
33protected:
34 LexerTest()
35 : FileMgr(FileMgrOpts),
36 DiagID(new DiagnosticIDs()),
Douglas Gregor8e023612012-10-23 22:31:51 +000037 Diags(DiagID, new DiagnosticOptions, new IgnoringDiagConsumer()),
Douglas Gregor07f8cf42012-10-17 00:11:35 +000038 SourceMgr(Diags, FileMgr),
39 TargetOpts(new TargetOptions)
40 {
41 TargetOpts->Triple = "x86_64-apple-darwin11.1.0";
42 Target = TargetInfo::CreateTargetInfo(Diags, *TargetOpts);
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +000043 }
44
45 FileSystemOptions FileMgrOpts;
46 FileManager FileMgr;
Dylan Noblesmithc93dc782012-02-20 14:00:23 +000047 IntrusiveRefCntPtr<DiagnosticIDs> DiagID;
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +000048 DiagnosticsEngine Diags;
49 SourceManager SourceMgr;
50 LangOptions LangOpts;
Douglas Gregor07f8cf42012-10-17 00:11:35 +000051 IntrusiveRefCntPtr<TargetOptions> TargetOpts;
Dylan Noblesmithc93dc782012-02-20 14:00:23 +000052 IntrusiveRefCntPtr<TargetInfo> Target;
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +000053};
54
55class VoidModuleLoader : public ModuleLoader {
56 virtual Module *loadModule(SourceLocation ImportLoc, ModuleIdPath Path,
57 Module::NameVisibilityKind Visibility,
58 bool IsInclusionDirective) {
59 return 0;
60 }
61};
62
63TEST_F(LexerTest, LexAPI) {
64 const char *source =
65 "#define M(x) [x]\n"
Argyrios Kyrtzidisd9806c92012-01-20 16:52:43 +000066 "#define N(x) x\n"
Argyrios Kyrtzidis7f6cf972012-01-23 16:58:33 +000067 "#define INN(x) x\n"
68 "#define NOF1 INN(val)\n"
69 "#define NOF2 val\n"
70 "M(foo) N([bar])\n"
71 "N(INN(val)) N(NOF1) N(NOF2) N(val)";
72
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +000073 MemoryBuffer *buf = MemoryBuffer::getMemBuffer(source);
Fariborz Jahanian1c31ee82012-03-06 21:18:56 +000074 (void)SourceMgr.createMainFileIDForMemBuffer(buf);
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +000075
76 VoidModuleLoader ModLoader;
Douglas Gregorb0985c82012-10-24 16:24:38 +000077 HeaderSearch HeaderInfo(new HeaderSearchOptions, FileMgr, Diags, LangOpts,
78 Target.getPtr());
Douglas Gregor36a16492012-10-24 17:46:57 +000079 Preprocessor PP(new PreprocessorOptions(), Diags, LangOpts, Target.getPtr(),
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +000080 SourceMgr, HeaderInfo, ModLoader,
81 /*IILookup =*/ 0,
82 /*OwnsHeaderSearch =*/false,
83 /*DelayInitialization =*/ false);
84 PP.EnterMainSourceFile();
85
86 std::vector<Token> toks;
87 while (1) {
88 Token tok;
89 PP.Lex(tok);
90 if (tok.is(tok::eof))
91 break;
92 toks.push_back(tok);
93 }
94
95 // Make sure we got the tokens that we expected.
Argyrios Kyrtzidis7f6cf972012-01-23 16:58:33 +000096 ASSERT_EQ(10U, toks.size());
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +000097 ASSERT_EQ(tok::l_square, toks[0].getKind());
98 ASSERT_EQ(tok::identifier, toks[1].getKind());
99 ASSERT_EQ(tok::r_square, toks[2].getKind());
Argyrios Kyrtzidisd9806c92012-01-20 16:52:43 +0000100 ASSERT_EQ(tok::l_square, toks[3].getKind());
101 ASSERT_EQ(tok::identifier, toks[4].getKind());
102 ASSERT_EQ(tok::r_square, toks[5].getKind());
Argyrios Kyrtzidis7f6cf972012-01-23 16:58:33 +0000103 ASSERT_EQ(tok::identifier, toks[6].getKind());
104 ASSERT_EQ(tok::identifier, toks[7].getKind());
105 ASSERT_EQ(tok::identifier, toks[8].getKind());
106 ASSERT_EQ(tok::identifier, toks[9].getKind());
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +0000107
108 SourceLocation lsqrLoc = toks[0].getLocation();
109 SourceLocation idLoc = toks[1].getLocation();
110 SourceLocation rsqrLoc = toks[2].getLocation();
Argyrios Kyrtzidis11b652d2012-01-19 15:59:14 +0000111 std::pair<SourceLocation,SourceLocation>
112 macroPair = SourceMgr.getExpansionRange(lsqrLoc);
113 SourceRange macroRange = SourceRange(macroPair.first, macroPair.second);
114
Argyrios Kyrtzidis69bda4c2012-01-19 15:59:08 +0000115 SourceLocation Loc;
116 EXPECT_TRUE(Lexer::isAtStartOfMacroExpansion(lsqrLoc, SourceMgr, LangOpts, &Loc));
Argyrios Kyrtzidis11b652d2012-01-19 15:59:14 +0000117 EXPECT_EQ(Loc, macroRange.getBegin());
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +0000118 EXPECT_FALSE(Lexer::isAtStartOfMacroExpansion(idLoc, SourceMgr, LangOpts));
119 EXPECT_FALSE(Lexer::isAtEndOfMacroExpansion(idLoc, SourceMgr, LangOpts));
Argyrios Kyrtzidis69bda4c2012-01-19 15:59:08 +0000120 EXPECT_TRUE(Lexer::isAtEndOfMacroExpansion(rsqrLoc, SourceMgr, LangOpts, &Loc));
Argyrios Kyrtzidis11b652d2012-01-19 15:59:14 +0000121 EXPECT_EQ(Loc, macroRange.getEnd());
122
Argyrios Kyrtzidisa83f4d22012-02-03 05:58:29 +0000123 CharSourceRange range = Lexer::makeFileCharRange(
124 CharSourceRange::getTokenRange(lsqrLoc, idLoc), SourceMgr, LangOpts);
Argyrios Kyrtzidis11b652d2012-01-19 15:59:14 +0000125 EXPECT_TRUE(range.isInvalid());
Argyrios Kyrtzidisa83f4d22012-02-03 05:58:29 +0000126 range = Lexer::makeFileCharRange(CharSourceRange::getTokenRange(idLoc, rsqrLoc),
Argyrios Kyrtzidis11b652d2012-01-19 15:59:14 +0000127 SourceMgr, LangOpts);
128 EXPECT_TRUE(range.isInvalid());
Argyrios Kyrtzidisa83f4d22012-02-03 05:58:29 +0000129 range = Lexer::makeFileCharRange(CharSourceRange::getTokenRange(lsqrLoc, rsqrLoc),
Argyrios Kyrtzidis11b652d2012-01-19 15:59:14 +0000130 SourceMgr, LangOpts);
131 EXPECT_TRUE(!range.isTokenRange());
132 EXPECT_EQ(range.getAsRange(),
133 SourceRange(macroRange.getBegin(),
134 macroRange.getEnd().getLocWithOffset(1)));
Argyrios Kyrtzidise64d9032012-01-19 15:59:19 +0000135
136 StringRef text = Lexer::getSourceText(
Argyrios Kyrtzidisa83f4d22012-02-03 05:58:29 +0000137 CharSourceRange::getTokenRange(lsqrLoc, rsqrLoc),
138 SourceMgr, LangOpts);
Argyrios Kyrtzidise64d9032012-01-19 15:59:19 +0000139 EXPECT_EQ(text, "M(foo)");
Argyrios Kyrtzidisd9806c92012-01-20 16:52:43 +0000140
141 SourceLocation macroLsqrLoc = toks[3].getLocation();
142 SourceLocation macroIdLoc = toks[4].getLocation();
143 SourceLocation macroRsqrLoc = toks[5].getLocation();
144 SourceLocation fileLsqrLoc = SourceMgr.getSpellingLoc(macroLsqrLoc);
145 SourceLocation fileIdLoc = SourceMgr.getSpellingLoc(macroIdLoc);
146 SourceLocation fileRsqrLoc = SourceMgr.getSpellingLoc(macroRsqrLoc);
147
Argyrios Kyrtzidisa83f4d22012-02-03 05:58:29 +0000148 range = Lexer::makeFileCharRange(
149 CharSourceRange::getTokenRange(macroLsqrLoc, macroIdLoc),
150 SourceMgr, LangOpts);
Argyrios Kyrtzidisd9806c92012-01-20 16:52:43 +0000151 EXPECT_EQ(SourceRange(fileLsqrLoc, fileIdLoc.getLocWithOffset(3)),
152 range.getAsRange());
153
Argyrios Kyrtzidisa83f4d22012-02-03 05:58:29 +0000154 range = Lexer::makeFileCharRange(CharSourceRange::getTokenRange(macroIdLoc, macroRsqrLoc),
Argyrios Kyrtzidisd9806c92012-01-20 16:52:43 +0000155 SourceMgr, LangOpts);
156 EXPECT_EQ(SourceRange(fileIdLoc, fileRsqrLoc.getLocWithOffset(1)),
157 range.getAsRange());
158
159 macroPair = SourceMgr.getExpansionRange(macroLsqrLoc);
Argyrios Kyrtzidisa83f4d22012-02-03 05:58:29 +0000160 range = Lexer::makeFileCharRange(
161 CharSourceRange::getTokenRange(macroLsqrLoc, macroRsqrLoc),
162 SourceMgr, LangOpts);
Argyrios Kyrtzidisd9806c92012-01-20 16:52:43 +0000163 EXPECT_EQ(SourceRange(macroPair.first, macroPair.second.getLocWithOffset(1)),
164 range.getAsRange());
165
166 text = Lexer::getSourceText(
167 CharSourceRange::getTokenRange(SourceRange(macroLsqrLoc, macroIdLoc)),
168 SourceMgr, LangOpts);
169 EXPECT_EQ(text, "[bar");
Argyrios Kyrtzidis7f6cf972012-01-23 16:58:33 +0000170
171
172 SourceLocation idLoc1 = toks[6].getLocation();
173 SourceLocation idLoc2 = toks[7].getLocation();
174 SourceLocation idLoc3 = toks[8].getLocation();
175 SourceLocation idLoc4 = toks[9].getLocation();
176 EXPECT_EQ("INN", Lexer::getImmediateMacroName(idLoc1, SourceMgr, LangOpts));
177 EXPECT_EQ("INN", Lexer::getImmediateMacroName(idLoc2, SourceMgr, LangOpts));
178 EXPECT_EQ("NOF2", Lexer::getImmediateMacroName(idLoc3, SourceMgr, LangOpts));
179 EXPECT_EQ("N", Lexer::getImmediateMacroName(idLoc4, SourceMgr, LangOpts));
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +0000180}
181
182} // anonymous namespace