2006-07-05 03:04:05 +08:00
|
|
|
//===--- PrintPreprocessedOutput.cpp - Implement the -E mode --------------===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file was developed by Chris Lattner and is distributed under
|
|
|
|
// the University of Illinois Open Source License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This code simply runs the preprocessor on the input file and prints out the
|
|
|
|
// result. This is the traditional behavior of the -E option.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#include "clang.h"
|
2006-11-21 12:09:30 +08:00
|
|
|
#include "clang/Lex/PPCallbacks.h"
|
2006-07-05 03:04:05 +08:00
|
|
|
#include "clang/Lex/Preprocessor.h"
|
|
|
|
#include "clang/Lex/Pragma.h"
|
|
|
|
#include "clang/Basic/SourceManager.h"
|
|
|
|
#include "llvm/Support/CommandLine.h"
|
2006-07-05 06:19:33 +08:00
|
|
|
#include "llvm/ADT/StringExtras.h"
|
|
|
|
#include "llvm/Config/config.h"
|
2006-07-05 03:24:06 +08:00
|
|
|
#include <cstdio>
|
2006-07-05 03:04:05 +08:00
|
|
|
using namespace clang;
|
|
|
|
|
2006-07-05 06:19:33 +08:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// Simple buffered I/O
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// Empirically, iostream is over 30% slower than stdio for this workload, and
|
|
|
|
// stdio itself isn't very well suited. The problem with stdio is use of
|
|
|
|
// putchar_unlocked. We have many newline characters that need to be emitted,
|
|
|
|
// but stdio needs to do extra checks to handle line buffering mode. These
|
|
|
|
// extra checks make putchar_unlocked fall off its inlined code path, hitting
|
|
|
|
// slow system code. In practice, using 'write' directly makes 'clang -E -P'
|
|
|
|
// about 10% faster than using the stdio path on darwin.
|
|
|
|
|
|
|
|
#ifdef HAVE_UNISTD_H
|
|
|
|
#include <unistd.h>
|
|
|
|
#else
|
|
|
|
#define USE_STDIO 1
|
|
|
|
#endif
|
|
|
|
|
|
|
|
static char *OutBufStart = 0, *OutBufEnd, *OutBufCur;
|
|
|
|
|
|
|
|
/// InitOutputBuffer - Initialize our output buffer.
|
|
|
|
///
|
|
|
|
static void InitOutputBuffer() {
|
|
|
|
#ifndef USE_STDIO
|
|
|
|
OutBufStart = new char[64*1024];
|
|
|
|
OutBufEnd = OutBufStart+64*1024;
|
|
|
|
OutBufCur = OutBufStart;
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
|
|
|
|
/// FlushBuffer - Write the accumulated bytes to the output stream.
|
|
|
|
///
|
|
|
|
static void FlushBuffer() {
|
|
|
|
#ifndef USE_STDIO
|
|
|
|
write(STDOUT_FILENO, OutBufStart, OutBufCur-OutBufStart);
|
|
|
|
OutBufCur = OutBufStart;
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
|
|
|
|
/// CleanupOutputBuffer - Finish up output.
|
|
|
|
///
|
|
|
|
static void CleanupOutputBuffer() {
|
|
|
|
#ifndef USE_STDIO
|
|
|
|
FlushBuffer();
|
|
|
|
delete [] OutBufStart;
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
|
|
|
|
static void OutputChar(char c) {
|
|
|
|
#ifdef USE_STDIO
|
|
|
|
putchar_unlocked(c);
|
|
|
|
#else
|
|
|
|
if (OutBufCur >= OutBufEnd)
|
|
|
|
FlushBuffer();
|
|
|
|
*OutBufCur++ = c;
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
|
|
|
|
static void OutputString(const char *Ptr, unsigned Size) {
|
|
|
|
#ifdef USE_STDIO
|
|
|
|
fwrite(Ptr, Size, 1, stdout);
|
|
|
|
#else
|
|
|
|
if (OutBufCur+Size >= OutBufEnd)
|
|
|
|
FlushBuffer();
|
2007-07-23 14:23:07 +08:00
|
|
|
|
|
|
|
switch (Size) {
|
|
|
|
default:
|
|
|
|
memcpy(OutBufCur, Ptr, Size);
|
|
|
|
break;
|
|
|
|
case 3:
|
|
|
|
OutBufCur[2] = Ptr[2];
|
|
|
|
case 2:
|
|
|
|
OutBufCur[1] = Ptr[1];
|
|
|
|
case 1:
|
|
|
|
OutBufCur[0] = Ptr[0];
|
|
|
|
case 0:
|
|
|
|
break;
|
|
|
|
}
|
2006-07-05 06:19:33 +08:00
|
|
|
OutBufCur += Size;
|
|
|
|
#endif
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// Preprocessed token printer
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2007-06-16 07:05:46 +08:00
|
|
|
static llvm::cl::opt<bool>
|
|
|
|
DisableLineMarkers("P", llvm::cl::desc("Disable linemarker output in -E mode"));
|
|
|
|
static llvm::cl::opt<bool>
|
|
|
|
EnableCommentOutput("C", llvm::cl::desc("Enable comment output in -E mode"));
|
|
|
|
static llvm::cl::opt<bool>
|
|
|
|
EnableMacroCommentOutput("CC",
|
|
|
|
llvm::cl::desc("Enable comment output in -E mode, "
|
2006-07-29 14:30:25 +08:00
|
|
|
"even from macro expansions"));
|
2006-07-05 03:04:05 +08:00
|
|
|
|
2006-11-21 13:02:33 +08:00
|
|
|
namespace {
|
|
|
|
class PrintPPOutputPPCallbacks : public PPCallbacks {
|
|
|
|
Preprocessor &PP;
|
|
|
|
unsigned CurLine;
|
|
|
|
std::string CurFilename;
|
|
|
|
bool EmittedTokensOnThisLine;
|
|
|
|
DirectoryLookup::DirType FileType;
|
|
|
|
public:
|
|
|
|
PrintPPOutputPPCallbacks(Preprocessor &pp) : PP(pp) {
|
|
|
|
CurLine = 0;
|
2007-07-22 14:38:50 +08:00
|
|
|
CurFilename = "<uninit>";
|
2006-11-21 13:02:33 +08:00
|
|
|
EmittedTokensOnThisLine = false;
|
|
|
|
FileType = DirectoryLookup::NormalHeaderDir;
|
|
|
|
}
|
|
|
|
|
|
|
|
void SetEmittedTokensOnThisLine() { EmittedTokensOnThisLine = true; }
|
2007-07-23 14:09:34 +08:00
|
|
|
bool hasEmittedTokensOnThisLine() const { return EmittedTokensOnThisLine; }
|
2006-11-21 13:02:33 +08:00
|
|
|
|
|
|
|
virtual void FileChanged(SourceLocation Loc, FileChangeReason Reason,
|
|
|
|
DirectoryLookup::DirType FileType);
|
|
|
|
virtual void Ident(SourceLocation Loc, const std::string &str);
|
|
|
|
|
|
|
|
|
2007-07-21 00:59:19 +08:00
|
|
|
void HandleFirstTokOnLine(Token &Tok);
|
2006-11-21 13:02:33 +08:00
|
|
|
void MoveToLine(SourceLocation Loc);
|
2007-07-21 00:59:19 +08:00
|
|
|
bool AvoidConcat(const Token &PrevTok, const Token &Tok);
|
2006-11-21 13:02:33 +08:00
|
|
|
};
|
|
|
|
}
|
2006-07-05 03:04:05 +08:00
|
|
|
|
2007-07-23 14:31:11 +08:00
|
|
|
/// UToStr - Do itoa on the specified number, in-place in the specified buffer.
|
|
|
|
/// endptr points to the end of the buffer.
|
|
|
|
static char *UToStr(unsigned N, char *EndPtr) {
|
|
|
|
// Null terminate the buffer.
|
|
|
|
*--EndPtr = '\0';
|
|
|
|
if (N == 0) // Zero is a special case.
|
|
|
|
*--EndPtr = '0';
|
|
|
|
while (N) {
|
|
|
|
*--EndPtr = '0' + char(N % 10);
|
|
|
|
N /= 10;
|
|
|
|
}
|
|
|
|
return EndPtr;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-07-05 05:28:37 +08:00
|
|
|
/// MoveToLine - Move the output to the source line specified by the location
|
|
|
|
/// object. We can do this by emitting some number of \n's, or be emitting a
|
|
|
|
/// #line directive.
|
2006-11-21 13:02:33 +08:00
|
|
|
void PrintPPOutputPPCallbacks::MoveToLine(SourceLocation Loc) {
|
2006-07-05 06:19:33 +08:00
|
|
|
if (DisableLineMarkers) {
|
2006-11-21 13:02:33 +08:00
|
|
|
if (EmittedTokensOnThisLine) {
|
2006-07-05 06:19:33 +08:00
|
|
|
OutputChar('\n');
|
2006-11-21 13:02:33 +08:00
|
|
|
EmittedTokensOnThisLine = false;
|
2006-07-05 06:19:33 +08:00
|
|
|
}
|
|
|
|
return;
|
|
|
|
}
|
2006-11-21 13:02:33 +08:00
|
|
|
|
2007-07-21 00:37:10 +08:00
|
|
|
unsigned LineNo = PP.getSourceManager().getLogicalLineNumber(Loc);
|
2006-07-05 05:19:39 +08:00
|
|
|
|
2006-07-05 03:04:05 +08:00
|
|
|
// If this line is "close enough" to the original line, just print newlines,
|
|
|
|
// otherwise print a #line directive.
|
2006-11-21 13:02:33 +08:00
|
|
|
if (LineNo-CurLine < 8) {
|
2007-07-23 13:14:05 +08:00
|
|
|
if (LineNo-CurLine == 1)
|
2006-07-05 06:19:33 +08:00
|
|
|
OutputChar('\n');
|
2007-07-23 13:14:05 +08:00
|
|
|
else {
|
|
|
|
const char *NewLines = "\n\n\n\n\n\n\n\n";
|
|
|
|
OutputString(NewLines, LineNo-CurLine);
|
|
|
|
CurLine = LineNo;
|
|
|
|
}
|
2006-07-05 03:04:05 +08:00
|
|
|
} else {
|
2006-11-21 13:02:33 +08:00
|
|
|
if (EmittedTokensOnThisLine) {
|
2006-07-05 06:19:33 +08:00
|
|
|
OutputChar('\n');
|
2006-11-21 13:02:33 +08:00
|
|
|
EmittedTokensOnThisLine = false;
|
2006-07-05 03:04:05 +08:00
|
|
|
}
|
|
|
|
|
2006-11-21 13:02:33 +08:00
|
|
|
CurLine = LineNo;
|
2006-07-05 03:04:05 +08:00
|
|
|
|
2006-07-05 06:19:33 +08:00
|
|
|
OutputChar('#');
|
|
|
|
OutputChar(' ');
|
2007-07-23 14:31:11 +08:00
|
|
|
char NumberBuffer[20];
|
|
|
|
const char *NumStr = UToStr(LineNo, NumberBuffer+20);
|
|
|
|
OutputString(NumStr, (NumberBuffer+20)-NumStr-1);
|
2006-07-05 06:19:33 +08:00
|
|
|
OutputChar(' ');
|
2007-07-22 14:38:50 +08:00
|
|
|
OutputChar('"');
|
2006-11-21 13:02:33 +08:00
|
|
|
OutputString(&CurFilename[0], CurFilename.size());
|
2007-07-22 14:38:50 +08:00
|
|
|
OutputChar('"');
|
2006-07-05 03:04:05 +08:00
|
|
|
|
2006-11-21 13:02:33 +08:00
|
|
|
if (FileType == DirectoryLookup::SystemHeaderDir)
|
2006-07-05 06:19:33 +08:00
|
|
|
OutputString(" 3", 2);
|
2006-11-21 13:02:33 +08:00
|
|
|
else if (FileType == DirectoryLookup::ExternCSystemHeaderDir)
|
2006-07-05 06:19:33 +08:00
|
|
|
OutputString(" 3 4", 4);
|
|
|
|
OutputChar('\n');
|
2006-07-05 03:04:05 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2006-11-21 12:09:30 +08:00
|
|
|
|
|
|
|
/// FileChanged - Whenever the preprocessor enters or exits a #include file
|
|
|
|
/// it invokes this handler. Update our conception of the current source
|
|
|
|
/// position.
|
|
|
|
void PrintPPOutputPPCallbacks::FileChanged(SourceLocation Loc,
|
|
|
|
FileChangeReason Reason,
|
|
|
|
DirectoryLookup::DirType FileType) {
|
2006-07-05 05:24:33 +08:00
|
|
|
if (DisableLineMarkers) return;
|
2006-07-05 03:40:52 +08:00
|
|
|
|
2006-07-05 03:04:05 +08:00
|
|
|
// Unless we are exiting a #include, make sure to skip ahead to the line the
|
|
|
|
// #include directive was at.
|
2006-11-21 13:02:33 +08:00
|
|
|
SourceManager &SourceMgr = PP.getSourceManager();
|
2006-11-21 12:09:30 +08:00
|
|
|
if (Reason == PPCallbacks::EnterFile) {
|
2007-07-21 00:37:10 +08:00
|
|
|
MoveToLine(SourceMgr.getIncludeLoc(Loc));
|
2006-11-21 12:09:30 +08:00
|
|
|
} else if (Reason == PPCallbacks::SystemHeaderPragma) {
|
2006-07-05 05:19:39 +08:00
|
|
|
MoveToLine(Loc);
|
2006-07-05 03:04:05 +08:00
|
|
|
|
|
|
|
// TODO GCC emits the # directive for this directive on the line AFTER the
|
|
|
|
// directive and emits a bunch of spaces that aren't needed. Emulate this
|
|
|
|
// strange behavior.
|
|
|
|
}
|
|
|
|
|
2007-07-21 00:37:10 +08:00
|
|
|
Loc = SourceMgr.getLogicalLoc(Loc);
|
2006-11-21 13:02:33 +08:00
|
|
|
CurLine = SourceMgr.getLineNumber(Loc);
|
2007-07-22 14:38:50 +08:00
|
|
|
CurFilename = Lexer::Stringify(SourceMgr.getSourceName(Loc));
|
2006-11-21 13:02:33 +08:00
|
|
|
FileType = FileType;
|
2006-07-05 03:04:05 +08:00
|
|
|
|
2006-11-21 13:02:33 +08:00
|
|
|
if (EmittedTokensOnThisLine) {
|
2006-07-05 06:19:33 +08:00
|
|
|
OutputChar('\n');
|
2006-11-21 13:02:33 +08:00
|
|
|
EmittedTokensOnThisLine = false;
|
2006-07-05 03:04:05 +08:00
|
|
|
}
|
|
|
|
|
2006-07-05 06:19:33 +08:00
|
|
|
OutputChar('#');
|
|
|
|
OutputChar(' ');
|
2007-06-16 07:05:46 +08:00
|
|
|
std::string Num = llvm::utostr_32(CurLine);
|
2006-07-05 06:19:33 +08:00
|
|
|
OutputString(&Num[0], Num.size());
|
|
|
|
OutputChar(' ');
|
2007-07-22 14:38:50 +08:00
|
|
|
OutputChar('"');
|
2006-11-21 13:02:33 +08:00
|
|
|
OutputString(&CurFilename[0], CurFilename.size());
|
2007-07-22 14:38:50 +08:00
|
|
|
OutputChar('"');
|
2006-07-05 06:19:33 +08:00
|
|
|
|
2006-07-05 03:04:05 +08:00
|
|
|
switch (Reason) {
|
2006-11-21 12:09:30 +08:00
|
|
|
case PPCallbacks::EnterFile:
|
2006-07-05 06:19:33 +08:00
|
|
|
OutputString(" 1", 2);
|
2006-07-05 05:19:39 +08:00
|
|
|
break;
|
2006-11-21 12:09:30 +08:00
|
|
|
case PPCallbacks::ExitFile:
|
2006-07-05 06:19:33 +08:00
|
|
|
OutputString(" 2", 2);
|
2006-07-05 05:19:39 +08:00
|
|
|
break;
|
2006-11-21 12:09:30 +08:00
|
|
|
case PPCallbacks::SystemHeaderPragma: break;
|
|
|
|
case PPCallbacks::RenameFile: break;
|
2006-07-05 03:04:05 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
if (FileType == DirectoryLookup::SystemHeaderDir)
|
2006-07-05 06:19:33 +08:00
|
|
|
OutputString(" 3", 2);
|
2006-07-05 03:04:05 +08:00
|
|
|
else if (FileType == DirectoryLookup::ExternCSystemHeaderDir)
|
2006-07-05 06:19:33 +08:00
|
|
|
OutputString(" 3 4", 4);
|
2006-07-05 03:04:05 +08:00
|
|
|
|
2006-07-05 06:19:33 +08:00
|
|
|
OutputChar('\n');
|
2006-07-05 03:04:05 +08:00
|
|
|
}
|
|
|
|
|
2006-07-05 05:28:37 +08:00
|
|
|
/// HandleIdent - Handle #ident directives when read by the preprocessor.
|
|
|
|
///
|
2006-11-21 12:09:30 +08:00
|
|
|
void PrintPPOutputPPCallbacks::Ident(SourceLocation Loc, const std::string &S) {
|
2006-07-05 05:19:39 +08:00
|
|
|
MoveToLine(Loc);
|
2006-07-05 03:04:05 +08:00
|
|
|
|
2006-07-05 06:19:33 +08:00
|
|
|
OutputString("#ident ", strlen("#ident "));
|
2006-11-21 12:09:30 +08:00
|
|
|
OutputString(&S[0], S.size());
|
2006-11-21 13:02:33 +08:00
|
|
|
EmittedTokensOnThisLine = true;
|
2006-07-05 03:04:05 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
/// HandleFirstTokOnLine - When emitting a preprocessed file in -E mode, this
|
|
|
|
/// is called for the first token on each new line.
|
2007-07-21 00:59:19 +08:00
|
|
|
void PrintPPOutputPPCallbacks::HandleFirstTokOnLine(Token &Tok) {
|
2006-07-05 03:04:05 +08:00
|
|
|
// Figure out what line we went to and insert the appropriate number of
|
|
|
|
// newline characters.
|
2006-07-05 05:19:39 +08:00
|
|
|
MoveToLine(Tok.getLocation());
|
2006-07-05 03:04:05 +08:00
|
|
|
|
|
|
|
// Print out space characters so that the first token on a line is
|
|
|
|
// indented for easy reading.
|
2007-07-21 00:37:10 +08:00
|
|
|
const SourceManager &SourceMgr = PP.getSourceManager();
|
|
|
|
unsigned ColNo = SourceMgr.getLogicalColumnNumber(Tok.getLocation());
|
2006-07-05 03:04:05 +08:00
|
|
|
|
|
|
|
// This hack prevents stuff like:
|
|
|
|
// #define HASH #
|
|
|
|
// HASH define foo bar
|
|
|
|
// From having the # character end up at column 1, which makes it so it
|
|
|
|
// is not handled as a #define next time through the preprocessor if in
|
|
|
|
// -fpreprocessed mode.
|
|
|
|
if (ColNo <= 1 && Tok.getKind() == tok::hash)
|
2006-07-05 06:19:33 +08:00
|
|
|
OutputChar(' ');
|
2006-07-05 03:04:05 +08:00
|
|
|
|
|
|
|
// Otherwise, indent the appropriate number of spaces.
|
|
|
|
for (; ColNo > 1; --ColNo)
|
2006-07-05 06:19:33 +08:00
|
|
|
OutputChar(' ');
|
2006-07-05 03:04:05 +08:00
|
|
|
}
|
|
|
|
|
2006-07-05 03:04:44 +08:00
|
|
|
namespace {
|
2006-07-05 03:04:05 +08:00
|
|
|
struct UnknownPragmaHandler : public PragmaHandler {
|
|
|
|
const char *Prefix;
|
2006-11-21 13:02:33 +08:00
|
|
|
PrintPPOutputPPCallbacks *Callbacks;
|
|
|
|
|
|
|
|
UnknownPragmaHandler(const char *prefix, PrintPPOutputPPCallbacks *callbacks)
|
|
|
|
: PragmaHandler(0), Prefix(prefix), Callbacks(callbacks) {}
|
2007-07-21 00:59:19 +08:00
|
|
|
virtual void HandlePragma(Preprocessor &PP, Token &PragmaTok) {
|
2006-07-05 03:04:05 +08:00
|
|
|
// Figure out what line we went to and insert the appropriate number of
|
|
|
|
// newline characters.
|
2006-11-21 13:02:33 +08:00
|
|
|
Callbacks->MoveToLine(PragmaTok.getLocation());
|
2006-07-05 06:19:33 +08:00
|
|
|
OutputString(Prefix, strlen(Prefix));
|
2006-07-05 03:04:05 +08:00
|
|
|
|
|
|
|
// Read and print all of the pragma tokens.
|
|
|
|
while (PragmaTok.getKind() != tok::eom) {
|
|
|
|
if (PragmaTok.hasLeadingSpace())
|
2006-07-05 06:19:33 +08:00
|
|
|
OutputChar(' ');
|
|
|
|
std::string TokSpell = PP.getSpelling(PragmaTok);
|
|
|
|
OutputString(&TokSpell[0], TokSpell.size());
|
2006-07-05 03:04:05 +08:00
|
|
|
PP.LexUnexpandedToken(PragmaTok);
|
|
|
|
}
|
2006-07-05 06:19:33 +08:00
|
|
|
OutputChar('\n');
|
2006-07-05 03:04:05 +08:00
|
|
|
}
|
|
|
|
};
|
2006-07-05 03:04:44 +08:00
|
|
|
} // end anonymous namespace
|
2006-07-05 03:04:05 +08:00
|
|
|
|
2007-07-23 14:09:34 +08:00
|
|
|
|
|
|
|
enum AvoidConcatInfo {
|
|
|
|
/// By default, a token never needs to avoid concatenation. Most tokens (e.g.
|
|
|
|
/// ',', ')', etc) don't cause a problem when concatenated.
|
|
|
|
aci_never_avoid_concat = 0,
|
|
|
|
|
|
|
|
/// aci_custom_firstchar - AvoidConcat contains custom code to handle this
|
|
|
|
/// token's requirements, and it needs to know the first character of the
|
|
|
|
/// token.
|
|
|
|
aci_custom_firstchar = 1,
|
|
|
|
|
|
|
|
/// aci_custom - AvoidConcat contains custom code to handle this token's
|
|
|
|
/// requirements, but it doesn't need to know the first character of the
|
|
|
|
/// token.
|
|
|
|
aci_custom = 2,
|
|
|
|
|
|
|
|
/// aci_avoid_equal - Many tokens cannot be safely followed by an '='
|
|
|
|
/// character. For example, "<<" turns into "<<=" when followed by an =.
|
|
|
|
aci_avoid_equal = 4
|
|
|
|
};
|
|
|
|
|
|
|
|
/// This array contains information for each token on what action to take when
|
|
|
|
/// avoiding concatenation of tokens in the AvoidConcat method.
|
|
|
|
static char TokenInfo[tok::NUM_TOKENS];
|
|
|
|
|
|
|
|
/// InitAvoidConcatTokenInfo - Tokens that must avoid concatenation should be
|
|
|
|
/// marked by this function.
|
|
|
|
static void InitAvoidConcatTokenInfo() {
|
|
|
|
// These tokens have custom code in AvoidConcat.
|
|
|
|
TokenInfo[tok::identifier ] |= aci_custom;
|
|
|
|
TokenInfo[tok::numeric_constant] |= aci_custom_firstchar;
|
|
|
|
TokenInfo[tok::period ] |= aci_custom_firstchar;
|
|
|
|
TokenInfo[tok::amp ] |= aci_custom_firstchar;
|
|
|
|
TokenInfo[tok::plus ] |= aci_custom_firstchar;
|
|
|
|
TokenInfo[tok::minus ] |= aci_custom_firstchar;
|
|
|
|
TokenInfo[tok::slash ] |= aci_custom_firstchar;
|
|
|
|
TokenInfo[tok::less ] |= aci_custom_firstchar;
|
|
|
|
TokenInfo[tok::greater ] |= aci_custom_firstchar;
|
|
|
|
TokenInfo[tok::pipe ] |= aci_custom_firstchar;
|
|
|
|
TokenInfo[tok::percent ] |= aci_custom_firstchar;
|
|
|
|
TokenInfo[tok::colon ] |= aci_custom_firstchar;
|
|
|
|
TokenInfo[tok::hash ] |= aci_custom_firstchar;
|
|
|
|
TokenInfo[tok::arrow ] |= aci_custom_firstchar;
|
|
|
|
|
|
|
|
// These tokens change behavior if followed by an '='.
|
|
|
|
TokenInfo[tok::amp ] |= aci_avoid_equal; // &=
|
|
|
|
TokenInfo[tok::plus ] |= aci_avoid_equal; // +=
|
|
|
|
TokenInfo[tok::minus ] |= aci_avoid_equal; // -=
|
|
|
|
TokenInfo[tok::slash ] |= aci_avoid_equal; // /=
|
|
|
|
TokenInfo[tok::less ] |= aci_avoid_equal; // <=
|
|
|
|
TokenInfo[tok::greater ] |= aci_avoid_equal; // >=
|
|
|
|
TokenInfo[tok::pipe ] |= aci_avoid_equal; // |=
|
|
|
|
TokenInfo[tok::percent ] |= aci_avoid_equal; // %=
|
|
|
|
TokenInfo[tok::star ] |= aci_avoid_equal; // *=
|
|
|
|
TokenInfo[tok::exclaim ] |= aci_avoid_equal; // !=
|
|
|
|
TokenInfo[tok::lessless ] |= aci_avoid_equal; // <<=
|
|
|
|
TokenInfo[tok::greaterequal] |= aci_avoid_equal; // >>=
|
|
|
|
TokenInfo[tok::caret ] |= aci_avoid_equal; // ^=
|
|
|
|
TokenInfo[tok::equal ] |= aci_avoid_equal; // ==
|
|
|
|
}
|
|
|
|
|
2006-07-28 14:56:01 +08:00
|
|
|
/// AvoidConcat - If printing PrevTok immediately followed by Tok would cause
|
|
|
|
/// the two individual tokens to be lexed as a single token, return true (which
|
|
|
|
/// causes a space to be printed between them). This allows the output of -E
|
|
|
|
/// mode to be lexed to the same token stream as lexing the input directly
|
|
|
|
/// would.
|
|
|
|
///
|
|
|
|
/// This code must conservatively return true if it doesn't want to be 100%
|
|
|
|
/// accurate. This will cause the output to include extra space characters, but
|
|
|
|
/// the resulting output won't have incorrect concatenations going on. Examples
|
|
|
|
/// include "..", which we print with a space between, because we don't want to
|
|
|
|
/// track enough to tell "x.." from "...".
|
2007-07-21 00:59:19 +08:00
|
|
|
bool PrintPPOutputPPCallbacks::AvoidConcat(const Token &PrevTok,
|
|
|
|
const Token &Tok) {
|
2006-07-28 14:56:01 +08:00
|
|
|
char Buffer[256];
|
|
|
|
|
2007-07-23 14:09:34 +08:00
|
|
|
tok::TokenKind PrevKind = PrevTok.getKind();
|
|
|
|
if (PrevTok.getIdentifierInfo()) // Language keyword or named operator.
|
|
|
|
PrevKind = tok::identifier;
|
|
|
|
|
|
|
|
// Look up information on when we should avoid concatenation with prevtok.
|
|
|
|
unsigned ConcatInfo = TokenInfo[PrevKind];
|
|
|
|
|
|
|
|
// If prevtok never causes a problem for anything after it, return quickly.
|
|
|
|
if (ConcatInfo == 0) return false;
|
2006-07-28 14:56:01 +08:00
|
|
|
|
2007-07-23 14:09:34 +08:00
|
|
|
if (ConcatInfo & aci_avoid_equal) {
|
|
|
|
// If the next token is '=' or '==', avoid concatenation.
|
|
|
|
if (Tok.getKind() == tok::equal ||
|
|
|
|
Tok.getKind() == tok::equalequal)
|
|
|
|
return true;
|
2007-07-24 07:21:34 +08:00
|
|
|
ConcatInfo &= ~aci_avoid_equal;
|
2007-07-23 14:09:34 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
if (ConcatInfo == 0) return false;
|
|
|
|
|
|
|
|
|
|
|
|
|
2006-07-28 14:56:01 +08:00
|
|
|
// Basic algorithm: we look at the first character of the second token, and
|
|
|
|
// determine whether it, if appended to the first token, would form (or would
|
|
|
|
// contribute) to a larger token if concatenated.
|
2007-07-23 14:09:34 +08:00
|
|
|
char FirstChar = 0;
|
|
|
|
if (ConcatInfo & aci_custom) {
|
|
|
|
// If the token does not need to know the first character, don't get it.
|
|
|
|
} else if (IdentifierInfo *II = Tok.getIdentifierInfo()) {
|
2006-07-28 14:56:01 +08:00
|
|
|
// Avoid spelling identifiers, the most common form of token.
|
|
|
|
FirstChar = II->getName()[0];
|
2007-07-23 13:18:42 +08:00
|
|
|
} else if (!Tok.needsCleaning()) {
|
|
|
|
SourceManager &SrcMgr = PP.getSourceManager();
|
|
|
|
FirstChar =
|
|
|
|
*SrcMgr.getCharacterData(SrcMgr.getPhysicalLoc(Tok.getLocation()));
|
2006-07-28 14:56:01 +08:00
|
|
|
} else if (Tok.getLength() < 256) {
|
2006-10-18 14:06:41 +08:00
|
|
|
const char *TokPtr = Buffer;
|
|
|
|
PP.getSpelling(Tok, TokPtr);
|
|
|
|
FirstChar = TokPtr[0];
|
2006-07-28 14:56:01 +08:00
|
|
|
} else {
|
|
|
|
FirstChar = PP.getSpelling(Tok)[0];
|
|
|
|
}
|
2007-07-23 14:09:34 +08:00
|
|
|
|
2006-07-28 14:56:01 +08:00
|
|
|
switch (PrevKind) {
|
2007-07-23 14:09:34 +08:00
|
|
|
default: assert(0 && "InitAvoidConcatTokenInfo built wrong");
|
2006-07-28 14:56:01 +08:00
|
|
|
case tok::identifier: // id+id or id+number or id+L"foo".
|
2007-07-23 14:09:34 +08:00
|
|
|
if (Tok.getKind() == tok::numeric_constant || Tok.getIdentifierInfo() ||
|
|
|
|
Tok.getKind() == tok::wide_string_literal /* ||
|
|
|
|
Tok.getKind() == tok::wide_char_literal*/)
|
|
|
|
return true;
|
|
|
|
if (Tok.getKind() != tok::char_constant)
|
|
|
|
return false;
|
|
|
|
|
|
|
|
// FIXME: need a wide_char_constant!
|
|
|
|
if (!Tok.needsCleaning()) {
|
|
|
|
SourceManager &SrcMgr = PP.getSourceManager();
|
|
|
|
return *SrcMgr.getCharacterData(SrcMgr.getPhysicalLoc(Tok.getLocation()))
|
|
|
|
== 'L';
|
|
|
|
} else if (Tok.getLength() < 256) {
|
|
|
|
const char *TokPtr = Buffer;
|
|
|
|
PP.getSpelling(Tok, TokPtr);
|
|
|
|
return TokPtr[0] == 'L';
|
|
|
|
} else {
|
|
|
|
return PP.getSpelling(Tok)[0] == 'L';
|
|
|
|
}
|
2006-07-28 14:56:01 +08:00
|
|
|
case tok::numeric_constant:
|
|
|
|
return isalnum(FirstChar) || Tok.getKind() == tok::numeric_constant ||
|
|
|
|
FirstChar == '+' || FirstChar == '-' || FirstChar == '.';
|
|
|
|
case tok::period: // ..., .*, .1234
|
|
|
|
return FirstChar == '.' || FirstChar == '*' || isdigit(FirstChar);
|
2007-07-23 14:09:34 +08:00
|
|
|
case tok::amp: // &&
|
|
|
|
return FirstChar == '&';
|
|
|
|
case tok::plus: // ++
|
|
|
|
return FirstChar == '+';
|
|
|
|
case tok::minus: // --, ->, ->*
|
|
|
|
return FirstChar == '-' || FirstChar == '>';
|
|
|
|
case tok::slash: //, /*, //
|
|
|
|
return FirstChar == '*' || FirstChar == '/';
|
|
|
|
case tok::less: // <<, <<=, <:, <%
|
|
|
|
return FirstChar == '<' || FirstChar == ':' || FirstChar == '%';
|
|
|
|
case tok::greater: // >>, >>=
|
|
|
|
return FirstChar == '>';
|
|
|
|
case tok::pipe: // ||
|
|
|
|
return FirstChar == '|';
|
|
|
|
case tok::percent: // %>, %:
|
|
|
|
return FirstChar == '>' || FirstChar == ':';
|
2006-07-28 14:56:01 +08:00
|
|
|
case tok::colon: // ::, :>
|
|
|
|
return FirstChar == ':' || FirstChar == '>';
|
|
|
|
case tok::hash: // ##, #@, %:%:
|
|
|
|
return FirstChar == '#' || FirstChar == '@' || FirstChar == '%';
|
|
|
|
case tok::arrow: // ->*
|
|
|
|
return FirstChar == '*';
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2006-07-05 03:04:05 +08:00
|
|
|
/// DoPrintPreprocessedInput - This implements -E mode.
|
2006-07-05 05:28:37 +08:00
|
|
|
///
|
2006-07-29 14:35:08 +08:00
|
|
|
void clang::DoPrintPreprocessedInput(unsigned MainFileID, Preprocessor &PP,
|
2006-11-21 14:18:11 +08:00
|
|
|
const LangOptions &Options) {
|
2006-11-21 14:17:10 +08:00
|
|
|
// Inform the preprocessor whether we want it to retain comments or not, due
|
|
|
|
// to -C or -CC.
|
|
|
|
PP.SetCommentRetentionState(EnableCommentOutput, EnableMacroCommentOutput);
|
2006-07-29 14:30:25 +08:00
|
|
|
|
2006-07-05 06:19:33 +08:00
|
|
|
InitOutputBuffer();
|
2007-07-23 14:09:34 +08:00
|
|
|
InitAvoidConcatTokenInfo();
|
2006-07-05 06:19:33 +08:00
|
|
|
|
2007-07-21 00:59:19 +08:00
|
|
|
Token Tok, PrevTok;
|
2006-07-05 03:04:05 +08:00
|
|
|
char Buffer[256];
|
2006-11-21 13:02:33 +08:00
|
|
|
PrintPPOutputPPCallbacks *Callbacks = new PrintPPOutputPPCallbacks(PP);
|
|
|
|
PP.setPPCallbacks(Callbacks);
|
2006-07-05 03:04:05 +08:00
|
|
|
|
2006-11-21 13:02:33 +08:00
|
|
|
PP.AddPragmaHandler(0, new UnknownPragmaHandler("#pragma", Callbacks));
|
|
|
|
PP.AddPragmaHandler("GCC", new UnknownPragmaHandler("#pragma GCC",Callbacks));
|
2006-07-29 14:35:08 +08:00
|
|
|
|
|
|
|
// After we have configured the preprocessor, enter the main file.
|
|
|
|
|
|
|
|
// Start parsing the specified input file.
|
|
|
|
PP.EnterSourceFile(MainFileID, 0, true);
|
|
|
|
|
2006-07-05 03:04:05 +08:00
|
|
|
do {
|
2006-07-28 14:56:01 +08:00
|
|
|
PrevTok = Tok;
|
2006-07-05 03:04:05 +08:00
|
|
|
PP.Lex(Tok);
|
|
|
|
|
2006-07-05 07:24:26 +08:00
|
|
|
// If this token is at the start of a line, emit newlines if needed.
|
2006-07-05 03:04:05 +08:00
|
|
|
if (Tok.isAtStartOfLine()) {
|
2006-11-21 13:02:33 +08:00
|
|
|
Callbacks->HandleFirstTokOnLine(Tok);
|
2006-07-28 14:56:01 +08:00
|
|
|
} else if (Tok.hasLeadingSpace() ||
|
2007-07-23 14:09:34 +08:00
|
|
|
// If we haven't emitted a token on this line yet, PrevTok isn't
|
|
|
|
// useful to look at and no concatenation could happen anyway.
|
2007-07-24 07:21:34 +08:00
|
|
|
(Callbacks->hasEmittedTokensOnThisLine() &&
|
2007-07-23 14:09:34 +08:00
|
|
|
// Don't print "-" next to "-", it would form "--".
|
|
|
|
Callbacks->AvoidConcat(PrevTok, Tok))) {
|
2006-07-05 06:19:33 +08:00
|
|
|
OutputChar(' ');
|
2006-07-05 03:04:05 +08:00
|
|
|
}
|
|
|
|
|
2007-07-23 14:14:36 +08:00
|
|
|
if (IdentifierInfo *II = Tok.getIdentifierInfo()) {
|
|
|
|
const char *Str = II->getName();
|
|
|
|
unsigned Len = Tok.needsCleaning() ? strlen(Str) : Tok.getLength();
|
|
|
|
OutputString(Str, Len);
|
|
|
|
} else if (Tok.getLength() < 256) {
|
2006-07-05 06:33:12 +08:00
|
|
|
const char *TokPtr = Buffer;
|
|
|
|
unsigned Len = PP.getSpelling(Tok, TokPtr);
|
|
|
|
OutputString(TokPtr, Len);
|
2006-07-05 03:04:05 +08:00
|
|
|
} else {
|
2006-07-05 03:24:06 +08:00
|
|
|
std::string S = PP.getSpelling(Tok);
|
2006-07-05 06:19:33 +08:00
|
|
|
OutputString(&S[0], S.size());
|
2006-07-05 03:04:05 +08:00
|
|
|
}
|
2006-11-21 13:02:33 +08:00
|
|
|
Callbacks->SetEmittedTokensOnThisLine();
|
2006-07-05 03:04:05 +08:00
|
|
|
} while (Tok.getKind() != tok::eof);
|
2006-07-05 06:19:33 +08:00
|
|
|
OutputChar('\n');
|
|
|
|
|
|
|
|
CleanupOutputBuffer();
|
2006-07-05 03:04:05 +08:00
|
|
|
}
|
|
|
|
|