blob: 7fca7f4e4987a63ca2dff3fcc8a3c3e66810c495 [file] [log] [blame]
Chandler Carruth1050e8b2012-12-04 09:45:34 +00001//===- unittests/Lex/LexerTest.cpp ------ Lexer tests ---------------------===//
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +00002//
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
Chandler Carruth1050e8b2012-12-04 09:45:34 +000010#include "clang/Lex/Lexer.h"
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +000011#include "clang/Basic/Diagnostic.h"
Douglas Gregor3aeb34f2012-10-23 22:38:58 +000012#include "clang/Basic/DiagnosticOptions.h"
Chandler Carruth1050e8b2012-12-04 09:45:34 +000013#include "clang/Basic/FileManager.h"
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +000014#include "clang/Basic/LangOptions.h"
Chandler Carruth7cc315c2012-12-04 09:53:37 +000015#include "clang/Basic/SourceManager.h"
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +000016#include "clang/Basic/TargetInfo.h"
Chandler Carruth1050e8b2012-12-04 09:45:34 +000017#include "clang/Basic/TargetOptions.h"
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +000018#include "clang/Lex/HeaderSearch.h"
Douglas Gregorb0985c82012-10-24 16:24:38 +000019#include "clang/Lex/HeaderSearchOptions.h"
Chandler Carruth1050e8b2012-12-04 09:45:34 +000020#include "clang/Lex/ModuleLoader.h"
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +000021#include "clang/Lex/Preprocessor.h"
Douglas Gregor36a16492012-10-24 17:46:57 +000022#include "clang/Lex/PreprocessorOptions.h"
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +000023#include "llvm/Config/config.h"
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +000024#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";
NAKAMURA Takumi3a4c8cf2012-11-16 04:40:11 +000042 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 {
Douglas Gregor7dff05b2012-11-30 00:01:57 +000056 virtual ModuleLoadResult loadModule(SourceLocation ImportLoc,
57 ModuleIdPath Path,
58 Module::NameVisibilityKind Visibility,
59 bool IsInclusionDirective) {
60 return ModuleLoadResult();
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +000061 }
62};
63
64TEST_F(LexerTest, LexAPI) {
65 const char *source =
66 "#define M(x) [x]\n"
Argyrios Kyrtzidisd9806c92012-01-20 16:52:43 +000067 "#define N(x) x\n"
Argyrios Kyrtzidis7f6cf972012-01-23 16:58:33 +000068 "#define INN(x) x\n"
69 "#define NOF1 INN(val)\n"
70 "#define NOF2 val\n"
71 "M(foo) N([bar])\n"
72 "N(INN(val)) N(NOF1) N(NOF2) N(val)";
73
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +000074 MemoryBuffer *buf = MemoryBuffer::getMemBuffer(source);
Fariborz Jahanian1c31ee82012-03-06 21:18:56 +000075 (void)SourceMgr.createMainFileIDForMemBuffer(buf);
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +000076
77 VoidModuleLoader ModLoader;
Douglas Gregorb0985c82012-10-24 16:24:38 +000078 HeaderSearch HeaderInfo(new HeaderSearchOptions, FileMgr, Diags, LangOpts,
79 Target.getPtr());
Douglas Gregor36a16492012-10-24 17:46:57 +000080 Preprocessor PP(new PreprocessorOptions(), Diags, LangOpts, Target.getPtr(),
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +000081 SourceMgr, HeaderInfo, ModLoader,
82 /*IILookup =*/ 0,
83 /*OwnsHeaderSearch =*/false,
84 /*DelayInitialization =*/ false);
85 PP.EnterMainSourceFile();
86
87 std::vector<Token> toks;
88 while (1) {
89 Token tok;
90 PP.Lex(tok);
91 if (tok.is(tok::eof))
92 break;
93 toks.push_back(tok);
94 }
95
96 // Make sure we got the tokens that we expected.
Argyrios Kyrtzidis7f6cf972012-01-23 16:58:33 +000097 ASSERT_EQ(10U, toks.size());
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +000098 ASSERT_EQ(tok::l_square, toks[0].getKind());
99 ASSERT_EQ(tok::identifier, toks[1].getKind());
100 ASSERT_EQ(tok::r_square, toks[2].getKind());
Argyrios Kyrtzidisd9806c92012-01-20 16:52:43 +0000101 ASSERT_EQ(tok::l_square, toks[3].getKind());
102 ASSERT_EQ(tok::identifier, toks[4].getKind());
103 ASSERT_EQ(tok::r_square, toks[5].getKind());
Argyrios Kyrtzidis7f6cf972012-01-23 16:58:33 +0000104 ASSERT_EQ(tok::identifier, toks[6].getKind());
105 ASSERT_EQ(tok::identifier, toks[7].getKind());
106 ASSERT_EQ(tok::identifier, toks[8].getKind());
107 ASSERT_EQ(tok::identifier, toks[9].getKind());
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +0000108
109 SourceLocation lsqrLoc = toks[0].getLocation();
110 SourceLocation idLoc = toks[1].getLocation();
111 SourceLocation rsqrLoc = toks[2].getLocation();
Argyrios Kyrtzidis11b652d2012-01-19 15:59:14 +0000112 std::pair<SourceLocation,SourceLocation>
113 macroPair = SourceMgr.getExpansionRange(lsqrLoc);
114 SourceRange macroRange = SourceRange(macroPair.first, macroPair.second);
115
Argyrios Kyrtzidis69bda4c2012-01-19 15:59:08 +0000116 SourceLocation Loc;
117 EXPECT_TRUE(Lexer::isAtStartOfMacroExpansion(lsqrLoc, SourceMgr, LangOpts, &Loc));
Argyrios Kyrtzidis11b652d2012-01-19 15:59:14 +0000118 EXPECT_EQ(Loc, macroRange.getBegin());
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +0000119 EXPECT_FALSE(Lexer::isAtStartOfMacroExpansion(idLoc, SourceMgr, LangOpts));
120 EXPECT_FALSE(Lexer::isAtEndOfMacroExpansion(idLoc, SourceMgr, LangOpts));
Argyrios Kyrtzidis69bda4c2012-01-19 15:59:08 +0000121 EXPECT_TRUE(Lexer::isAtEndOfMacroExpansion(rsqrLoc, SourceMgr, LangOpts, &Loc));
Argyrios Kyrtzidis11b652d2012-01-19 15:59:14 +0000122 EXPECT_EQ(Loc, macroRange.getEnd());
123
Argyrios Kyrtzidisa83f4d22012-02-03 05:58:29 +0000124 CharSourceRange range = Lexer::makeFileCharRange(
125 CharSourceRange::getTokenRange(lsqrLoc, idLoc), SourceMgr, LangOpts);
Argyrios Kyrtzidis11b652d2012-01-19 15:59:14 +0000126 EXPECT_TRUE(range.isInvalid());
Argyrios Kyrtzidisa83f4d22012-02-03 05:58:29 +0000127 range = Lexer::makeFileCharRange(CharSourceRange::getTokenRange(idLoc, rsqrLoc),
Argyrios Kyrtzidis11b652d2012-01-19 15:59:14 +0000128 SourceMgr, LangOpts);
129 EXPECT_TRUE(range.isInvalid());
Argyrios Kyrtzidisa83f4d22012-02-03 05:58:29 +0000130 range = Lexer::makeFileCharRange(CharSourceRange::getTokenRange(lsqrLoc, rsqrLoc),
Argyrios Kyrtzidis11b652d2012-01-19 15:59:14 +0000131 SourceMgr, LangOpts);
132 EXPECT_TRUE(!range.isTokenRange());
133 EXPECT_EQ(range.getAsRange(),
134 SourceRange(macroRange.getBegin(),
135 macroRange.getEnd().getLocWithOffset(1)));
Argyrios Kyrtzidise64d9032012-01-19 15:59:19 +0000136
137 StringRef text = Lexer::getSourceText(
Argyrios Kyrtzidisa83f4d22012-02-03 05:58:29 +0000138 CharSourceRange::getTokenRange(lsqrLoc, rsqrLoc),
139 SourceMgr, LangOpts);
Argyrios Kyrtzidise64d9032012-01-19 15:59:19 +0000140 EXPECT_EQ(text, "M(foo)");
Argyrios Kyrtzidisd9806c92012-01-20 16:52:43 +0000141
142 SourceLocation macroLsqrLoc = toks[3].getLocation();
143 SourceLocation macroIdLoc = toks[4].getLocation();
144 SourceLocation macroRsqrLoc = toks[5].getLocation();
145 SourceLocation fileLsqrLoc = SourceMgr.getSpellingLoc(macroLsqrLoc);
146 SourceLocation fileIdLoc = SourceMgr.getSpellingLoc(macroIdLoc);
147 SourceLocation fileRsqrLoc = SourceMgr.getSpellingLoc(macroRsqrLoc);
148
Argyrios Kyrtzidisa83f4d22012-02-03 05:58:29 +0000149 range = Lexer::makeFileCharRange(
150 CharSourceRange::getTokenRange(macroLsqrLoc, macroIdLoc),
151 SourceMgr, LangOpts);
Argyrios Kyrtzidisd9806c92012-01-20 16:52:43 +0000152 EXPECT_EQ(SourceRange(fileLsqrLoc, fileIdLoc.getLocWithOffset(3)),
153 range.getAsRange());
154
Argyrios Kyrtzidisa83f4d22012-02-03 05:58:29 +0000155 range = Lexer::makeFileCharRange(CharSourceRange::getTokenRange(macroIdLoc, macroRsqrLoc),
Argyrios Kyrtzidisd9806c92012-01-20 16:52:43 +0000156 SourceMgr, LangOpts);
157 EXPECT_EQ(SourceRange(fileIdLoc, fileRsqrLoc.getLocWithOffset(1)),
158 range.getAsRange());
159
160 macroPair = SourceMgr.getExpansionRange(macroLsqrLoc);
Argyrios Kyrtzidisa83f4d22012-02-03 05:58:29 +0000161 range = Lexer::makeFileCharRange(
162 CharSourceRange::getTokenRange(macroLsqrLoc, macroRsqrLoc),
163 SourceMgr, LangOpts);
Argyrios Kyrtzidisd9806c92012-01-20 16:52:43 +0000164 EXPECT_EQ(SourceRange(macroPair.first, macroPair.second.getLocWithOffset(1)),
165 range.getAsRange());
166
167 text = Lexer::getSourceText(
168 CharSourceRange::getTokenRange(SourceRange(macroLsqrLoc, macroIdLoc)),
169 SourceMgr, LangOpts);
170 EXPECT_EQ(text, "[bar");
Argyrios Kyrtzidis7f6cf972012-01-23 16:58:33 +0000171
172
173 SourceLocation idLoc1 = toks[6].getLocation();
174 SourceLocation idLoc2 = toks[7].getLocation();
175 SourceLocation idLoc3 = toks[8].getLocation();
176 SourceLocation idLoc4 = toks[9].getLocation();
177 EXPECT_EQ("INN", Lexer::getImmediateMacroName(idLoc1, SourceMgr, LangOpts));
178 EXPECT_EQ("INN", Lexer::getImmediateMacroName(idLoc2, SourceMgr, LangOpts));
179 EXPECT_EQ("NOF2", Lexer::getImmediateMacroName(idLoc3, SourceMgr, LangOpts));
180 EXPECT_EQ("N", Lexer::getImmediateMacroName(idLoc4, SourceMgr, LangOpts));
Argyrios Kyrtzidis19d5aea2012-01-19 15:59:01 +0000181}
182
183} // anonymous namespace