blob: 98a140830373f55d58bc5a600ec4d64029d44ca9 [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"
19#include "clang/Lex/Preprocessor.h"
20#include "llvm/Config/config.h"
21
22#include "gtest/gtest.h"
23
24using namespace llvm;
25using namespace clang;
26
27namespace {
28
29// The test fixture.
30class LexerTest : public ::testing::Test {
31protected:
32 LexerTest()
33 : FileMgr(FileMgrOpts),
34 DiagID(new DiagnosticIDs()),
Douglas Gregor8e023612012-10-23 22:31:51 +000035 Diags(DiagID, new DiagnosticOptions, new IgnoringDiagConsumer()),
Douglas Gregor07f8cf42012-10-17 00:11:35 +000036 SourceMgr(Diags, FileMgr),
37 TargetOpts(new TargetOptions)
38 {
39 TargetOpts->Triple = "x86_64-apple-darwin11.1.0";
40 Target = TargetInfo::CreateTargetInfo(Diags, *TargetOpts);
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +000041 }
42
43 FileSystemOptions FileMgrOpts;
44 FileManager FileMgr;
Dylan Noblesmithc93dc782012-02-20 14:00:23 +000045 IntrusiveRefCntPtr<DiagnosticIDs> DiagID;
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +000046 DiagnosticsEngine Diags;
47 SourceManager SourceMgr;
48 LangOptions LangOpts;
Douglas Gregor07f8cf42012-10-17 00:11:35 +000049 IntrusiveRefCntPtr<TargetOptions> TargetOpts;
Dylan Noblesmithc93dc782012-02-20 14:00:23 +000050 IntrusiveRefCntPtr<TargetInfo> Target;
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +000051};
52
53class VoidModuleLoader : public ModuleLoader {
54 virtual Module *loadModule(SourceLocation ImportLoc, ModuleIdPath Path,
55 Module::NameVisibilityKind Visibility,
56 bool IsInclusionDirective) {
57 return 0;
58 }
59};
60
61TEST_F(LexerTest, LexAPI) {
62 const char *source =
63 "#define M(x) [x]\n"
Argyrios Kyrtzidisd9806c92012-01-20 16:52:43 +000064 "#define N(x) x\n"
Argyrios Kyrtzidis7f6cf972012-01-23 16:58:33 +000065 "#define INN(x) x\n"
66 "#define NOF1 INN(val)\n"
67 "#define NOF2 val\n"
68 "M(foo) N([bar])\n"
69 "N(INN(val)) N(NOF1) N(NOF2) N(val)";
70
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +000071 MemoryBuffer *buf = MemoryBuffer::getMemBuffer(source);
Fariborz Jahanian1c31ee82012-03-06 21:18:56 +000072 (void)SourceMgr.createMainFileIDForMemBuffer(buf);
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +000073
74 VoidModuleLoader ModLoader;
Ted Kremenek30660a82012-03-06 20:06:33 +000075 HeaderSearch HeaderInfo(FileMgr, Diags, LangOpts, Target.getPtr());
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +000076 Preprocessor PP(Diags, LangOpts,
77 Target.getPtr(),
78 SourceMgr, HeaderInfo, ModLoader,
79 /*IILookup =*/ 0,
80 /*OwnsHeaderSearch =*/false,
81 /*DelayInitialization =*/ false);
82 PP.EnterMainSourceFile();
83
84 std::vector<Token> toks;
85 while (1) {
86 Token tok;
87 PP.Lex(tok);
88 if (tok.is(tok::eof))
89 break;
90 toks.push_back(tok);
91 }
92
93 // Make sure we got the tokens that we expected.
Argyrios Kyrtzidis7f6cf972012-01-23 16:58:33 +000094 ASSERT_EQ(10U, toks.size());
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +000095 ASSERT_EQ(tok::l_square, toks[0].getKind());
96 ASSERT_EQ(tok::identifier, toks[1].getKind());
97 ASSERT_EQ(tok::r_square, toks[2].getKind());
Argyrios Kyrtzidisd9806c92012-01-20 16:52:43 +000098 ASSERT_EQ(tok::l_square, toks[3].getKind());
99 ASSERT_EQ(tok::identifier, toks[4].getKind());
100 ASSERT_EQ(tok::r_square, toks[5].getKind());
Argyrios Kyrtzidis7f6cf972012-01-23 16:58:33 +0000101 ASSERT_EQ(tok::identifier, toks[6].getKind());
102 ASSERT_EQ(tok::identifier, toks[7].getKind());
103 ASSERT_EQ(tok::identifier, toks[8].getKind());
104 ASSERT_EQ(tok::identifier, toks[9].getKind());
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +0000105
106 SourceLocation lsqrLoc = toks[0].getLocation();
107 SourceLocation idLoc = toks[1].getLocation();
108 SourceLocation rsqrLoc = toks[2].getLocation();
Argyrios Kyrtzidis11b652d2012-01-19 15:59:14 +0000109 std::pair<SourceLocation,SourceLocation>
110 macroPair = SourceMgr.getExpansionRange(lsqrLoc);
111 SourceRange macroRange = SourceRange(macroPair.first, macroPair.second);
112
Argyrios Kyrtzidis69bda4c2012-01-19 15:59:08 +0000113 SourceLocation Loc;
114 EXPECT_TRUE(Lexer::isAtStartOfMacroExpansion(lsqrLoc, SourceMgr, LangOpts, &Loc));
Argyrios Kyrtzidis11b652d2012-01-19 15:59:14 +0000115 EXPECT_EQ(Loc, macroRange.getBegin());
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +0000116 EXPECT_FALSE(Lexer::isAtStartOfMacroExpansion(idLoc, SourceMgr, LangOpts));
117 EXPECT_FALSE(Lexer::isAtEndOfMacroExpansion(idLoc, SourceMgr, LangOpts));
Argyrios Kyrtzidis69bda4c2012-01-19 15:59:08 +0000118 EXPECT_TRUE(Lexer::isAtEndOfMacroExpansion(rsqrLoc, SourceMgr, LangOpts, &Loc));
Argyrios Kyrtzidis11b652d2012-01-19 15:59:14 +0000119 EXPECT_EQ(Loc, macroRange.getEnd());
120
Argyrios Kyrtzidisa83f4d22012-02-03 05:58:29 +0000121 CharSourceRange range = Lexer::makeFileCharRange(
122 CharSourceRange::getTokenRange(lsqrLoc, idLoc), SourceMgr, LangOpts);
Argyrios Kyrtzidis11b652d2012-01-19 15:59:14 +0000123 EXPECT_TRUE(range.isInvalid());
Argyrios Kyrtzidisa83f4d22012-02-03 05:58:29 +0000124 range = Lexer::makeFileCharRange(CharSourceRange::getTokenRange(idLoc, rsqrLoc),
Argyrios Kyrtzidis11b652d2012-01-19 15:59:14 +0000125 SourceMgr, LangOpts);
126 EXPECT_TRUE(range.isInvalid());
Argyrios Kyrtzidisa83f4d22012-02-03 05:58:29 +0000127 range = Lexer::makeFileCharRange(CharSourceRange::getTokenRange(lsqrLoc, rsqrLoc),
Argyrios Kyrtzidis11b652d2012-01-19 15:59:14 +0000128 SourceMgr, LangOpts);
129 EXPECT_TRUE(!range.isTokenRange());
130 EXPECT_EQ(range.getAsRange(),
131 SourceRange(macroRange.getBegin(),
132 macroRange.getEnd().getLocWithOffset(1)));
Argyrios Kyrtzidise64d9032012-01-19 15:59:19 +0000133
134 StringRef text = Lexer::getSourceText(
Argyrios Kyrtzidisa83f4d22012-02-03 05:58:29 +0000135 CharSourceRange::getTokenRange(lsqrLoc, rsqrLoc),
136 SourceMgr, LangOpts);
Argyrios Kyrtzidise64d9032012-01-19 15:59:19 +0000137 EXPECT_EQ(text, "M(foo)");
Argyrios Kyrtzidisd9806c92012-01-20 16:52:43 +0000138
139 SourceLocation macroLsqrLoc = toks[3].getLocation();
140 SourceLocation macroIdLoc = toks[4].getLocation();
141 SourceLocation macroRsqrLoc = toks[5].getLocation();
142 SourceLocation fileLsqrLoc = SourceMgr.getSpellingLoc(macroLsqrLoc);
143 SourceLocation fileIdLoc = SourceMgr.getSpellingLoc(macroIdLoc);
144 SourceLocation fileRsqrLoc = SourceMgr.getSpellingLoc(macroRsqrLoc);
145
Argyrios Kyrtzidisa83f4d22012-02-03 05:58:29 +0000146 range = Lexer::makeFileCharRange(
147 CharSourceRange::getTokenRange(macroLsqrLoc, macroIdLoc),
148 SourceMgr, LangOpts);
Argyrios Kyrtzidisd9806c92012-01-20 16:52:43 +0000149 EXPECT_EQ(SourceRange(fileLsqrLoc, fileIdLoc.getLocWithOffset(3)),
150 range.getAsRange());
151
Argyrios Kyrtzidisa83f4d22012-02-03 05:58:29 +0000152 range = Lexer::makeFileCharRange(CharSourceRange::getTokenRange(macroIdLoc, macroRsqrLoc),
Argyrios Kyrtzidisd9806c92012-01-20 16:52:43 +0000153 SourceMgr, LangOpts);
154 EXPECT_EQ(SourceRange(fileIdLoc, fileRsqrLoc.getLocWithOffset(1)),
155 range.getAsRange());
156
157 macroPair = SourceMgr.getExpansionRange(macroLsqrLoc);
Argyrios Kyrtzidisa83f4d22012-02-03 05:58:29 +0000158 range = Lexer::makeFileCharRange(
159 CharSourceRange::getTokenRange(macroLsqrLoc, macroRsqrLoc),
160 SourceMgr, LangOpts);
Argyrios Kyrtzidisd9806c92012-01-20 16:52:43 +0000161 EXPECT_EQ(SourceRange(macroPair.first, macroPair.second.getLocWithOffset(1)),
162 range.getAsRange());
163
164 text = Lexer::getSourceText(
165 CharSourceRange::getTokenRange(SourceRange(macroLsqrLoc, macroIdLoc)),
166 SourceMgr, LangOpts);
167 EXPECT_EQ(text, "[bar");
Argyrios Kyrtzidis7f6cf972012-01-23 16:58:33 +0000168
169
170 SourceLocation idLoc1 = toks[6].getLocation();
171 SourceLocation idLoc2 = toks[7].getLocation();
172 SourceLocation idLoc3 = toks[8].getLocation();
173 SourceLocation idLoc4 = toks[9].getLocation();
174 EXPECT_EQ("INN", Lexer::getImmediateMacroName(idLoc1, SourceMgr, LangOpts));
175 EXPECT_EQ("INN", Lexer::getImmediateMacroName(idLoc2, SourceMgr, LangOpts));
176 EXPECT_EQ("NOF2", Lexer::getImmediateMacroName(idLoc3, SourceMgr, LangOpts));
177 EXPECT_EQ("N", Lexer::getImmediateMacroName(idLoc4, SourceMgr, LangOpts));
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +0000178}
179
180} // anonymous namespace