FrontendActions.cpp revision db1cde7dc7bb3aaf48118bd9605192ab94a93635 
1//===--- FrontendActions.cpp ----------------------------------------------===//
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/Frontend/FrontendActions.h"
11#include "clang/AST/ASTConsumer.h"
12#include "clang/Lex/HeaderSearch.h"
13#include "clang/Lex/Pragma.h"
14#include "clang/Lex/Preprocessor.h"
15#include "clang/Parse/Parser.h"
16#include "clang/Basic/FileManager.h"
17#include "clang/Frontend/ASTConsumers.h"
18#include "clang/Frontend/ASTUnit.h"
19#include "clang/Frontend/CompilerInstance.h"
20#include "clang/Frontend/FrontendDiagnostic.h"
21#include "clang/Frontend/Utils.h"
22#include "clang/Serialization/ASTWriter.h"
23#include "llvm/ADT/OwningPtr.h"
24#include "llvm/Support/MemoryBuffer.h"
25#include "llvm/Support/raw_ostream.h"
26#include "llvm/Support/system_error.h"
27
28using namespace clang;
29
30//===----------------------------------------------------------------------===//
31// Custom Actions
32//===----------------------------------------------------------------------===//
33
34ASTConsumer *InitOnlyAction::CreateASTConsumer(CompilerInstance &CI,
35                                               StringRef InFile) {
36  return new ASTConsumer();
37}
38
39void InitOnlyAction::ExecuteAction() {
40}
41
42//===----------------------------------------------------------------------===//
43// AST Consumer Actions
44//===----------------------------------------------------------------------===//
45
46ASTConsumer *ASTPrintAction::CreateASTConsumer(CompilerInstance &CI,
47                                               StringRef InFile) {
48  if (raw_ostream *OS = CI.createDefaultOutputFile(false, InFile))
49    return CreateASTPrinter(OS);
50  return 0;
51}
52
53ASTConsumer *ASTDumpAction::CreateASTConsumer(CompilerInstance &CI,
54                                              StringRef InFile) {
55  return CreateASTDumper();
56}
57
58ASTConsumer *ASTDumpXMLAction::CreateASTConsumer(CompilerInstance &CI,
59                                                 StringRef InFile) {
60  raw_ostream *OS;
61  if (CI.getFrontendOpts().OutputFile.empty())
62    OS = &llvm::outs();
63  else
64    OS = CI.createDefaultOutputFile(false, InFile);
65  if (!OS) return 0;
66  return CreateASTDumperXML(*OS);
67}
68
69ASTConsumer *ASTViewAction::CreateASTConsumer(CompilerInstance &CI,
70                                              StringRef InFile) {
71  return CreateASTViewer();
72}
73
74ASTConsumer *DeclContextPrintAction::CreateASTConsumer(CompilerInstance &CI,
75                                                       StringRef InFile) {
76  return CreateDeclContextPrinter();
77}
78
79ASTConsumer *GeneratePCHAction::CreateASTConsumer(CompilerInstance &CI,
80                                                  StringRef InFile) {
81  std::string Sysroot;
82  std::string OutputFile;
83  raw_ostream *OS = 0;
84  if (ComputeASTConsumerArguments(CI, InFile, Sysroot, OutputFile, OS))
85    return 0;
86
87  if (!CI.getFrontendOpts().RelocatablePCH)
88    Sysroot.clear();
89  return new PCHGenerator(CI.getPreprocessor(), OutputFile, MakeModule,
90                          Sysroot, OS);
91}
92
93bool GeneratePCHAction::ComputeASTConsumerArguments(CompilerInstance &CI,
94                                                    StringRef InFile,
95                                                    std::string &Sysroot,
96                                                    std::string &OutputFile,
97                                                    raw_ostream *&OS) {
98  Sysroot = CI.getHeaderSearchOpts().Sysroot;
99  if (CI.getFrontendOpts().RelocatablePCH && Sysroot.empty()) {
100    CI.getDiagnostics().Report(diag::err_relocatable_without_isysroot);
101    return true;
102  }
103
104  // We use createOutputFile here because this is exposed via libclang, and we
105  // must disable the RemoveFileOnSignal behavior.
106  // We use a temporary to avoid race conditions.
107  OS = CI.createOutputFile(CI.getFrontendOpts().OutputFile, /*Binary=*/true,
108                           /*RemoveFileOnSignal=*/false, InFile,
109                           /*Extension=*/"", /*useTemporary=*/true);
110  if (!OS)
111    return true;
112
113  OutputFile = CI.getFrontendOpts().OutputFile;
114  return false;
115}
116
117ASTConsumer *GenerateModuleAction::CreateASTConsumer(CompilerInstance &CI,
118                                                     StringRef InFile) {
119  std::string Sysroot;
120  std::string OutputFile;
121  raw_ostream *OS = 0;
122  if (ComputeASTConsumerArguments(CI, InFile, Sysroot, OutputFile, OS))
123    return 0;
124
125  return new PCHGenerator(CI.getPreprocessor(), OutputFile, /*MakeModule=*/true,
126                          Sysroot, OS);
127}
128
129bool GenerateModuleAction::BeginSourceFileAction(CompilerInstance &CI,
130                                                 StringRef Filename) {
131  // Find the module map file.
132  const FileEntry *ModuleMap = CI.getFileManager().getFile(Filename);
133  if (!ModuleMap)  {
134    CI.getDiagnostics().Report(diag::err_module_map_not_found)
135      << Filename;
136    return false;
137  }
138
139  // Parse the module map file.
140  HeaderSearch &HS = CI.getPreprocessor().getHeaderSearchInfo();
141  if (HS.loadModuleMapFile(ModuleMap))
142    return false;
143
144  if (CI.getLangOpts().CurrentModule.empty()) {
145    CI.getDiagnostics().Report(diag::err_missing_module_name);
146
147    // FIXME: Eventually, we could consider asking whether there was just
148    // a single module described in the module map, and use that as a
149    // default. Then it would be fairly trivial to just "compile" a module
150    // map with a single module (the common case).
151    return false;
152  }
153
154  // Dig out the module definition.
155  ModuleMap::Module *Module = HS.getModule(CI.getLangOpts().CurrentModule,
156                                           /*AllowSearch=*/false);
157  if (!Module) {
158    CI.getDiagnostics().Report(diag::err_missing_module)
159      << CI.getLangOpts().CurrentModule << Filename;
160
161    return false;
162  }
163
164  // If there is an umbrella header, use it as our actual input file.
165  if (Module->UmbrellaHeader) {
166    // FIXME: Deal with explicit submodule headers, which won't be contained
167    // within the umbrella header.
168    fprintf(stderr, "note: using umbrella header \"%s\"\n",
169            Module->UmbrellaHeader->getName());
170    setCurrentFile(Module->UmbrellaHeader->getName(), getCurrentFileKind());
171  } else {
172    // FIXME: Deal with the non-umbrella case, where we have to synthesize
173    // a header to parse.
174    // FIXME: Diagnose, at least for now.
175    return false;
176  }
177
178  return true;
179}
180
181bool GenerateModuleAction::ComputeASTConsumerArguments(CompilerInstance &CI,
182                                                       StringRef InFile,
183                                                       std::string &Sysroot,
184                                                       std::string &OutputFile,
185                                                       raw_ostream *&OS) {
186  // If no output file was provided, figure out where this module would go
187  // in the module cache.
188  if (CI.getFrontendOpts().OutputFile.empty()) {
189    HeaderSearch &HS = CI.getPreprocessor().getHeaderSearchInfo();
190    llvm::SmallString<256> ModuleFileName(HS.getModuleCachePath());
191    llvm::sys::path::append(ModuleFileName,
192                            CI.getLangOpts().CurrentModule + ".pcm");
193    CI.getFrontendOpts().OutputFile = ModuleFileName.str();
194  }
195
196  // We use createOutputFile here because this is exposed via libclang, and we
197  // must disable the RemoveFileOnSignal behavior.
198  // We use a temporary to avoid race conditions.
199  OS = CI.createOutputFile(CI.getFrontendOpts().OutputFile, /*Binary=*/true,
200                           /*RemoveFileOnSignal=*/false, InFile,
201                           /*Extension=*/"", /*useTemporary=*/true);
202  if (!OS)
203    return true;
204
205  OutputFile = CI.getFrontendOpts().OutputFile;
206  return false;
207}
208
209ASTConsumer *SyntaxOnlyAction::CreateASTConsumer(CompilerInstance &CI,
210                                                 StringRef InFile) {
211  return new ASTConsumer();
212}
213
214//===----------------------------------------------------------------------===//
215// Preprocessor Actions
216//===----------------------------------------------------------------------===//
217
218void DumpRawTokensAction::ExecuteAction() {
219  Preprocessor &PP = getCompilerInstance().getPreprocessor();
220  SourceManager &SM = PP.getSourceManager();
221
222  // Start lexing the specified input file.
223  const llvm::MemoryBuffer *FromFile = SM.getBuffer(SM.getMainFileID());
224  Lexer RawLex(SM.getMainFileID(), FromFile, SM, PP.getLangOptions());
225  RawLex.SetKeepWhitespaceMode(true);
226
227  Token RawTok;
228  RawLex.LexFromRawLexer(RawTok);
229  while (RawTok.isNot(tok::eof)) {
230    PP.DumpToken(RawTok, true);
231    llvm::errs() << "\n";
232    RawLex.LexFromRawLexer(RawTok);
233  }
234}
235
236void DumpTokensAction::ExecuteAction() {
237  Preprocessor &PP = getCompilerInstance().getPreprocessor();
238  // Start preprocessing the specified input file.
239  Token Tok;
240  PP.EnterMainSourceFile();
241  do {
242    PP.Lex(Tok);
243    PP.DumpToken(Tok, true);
244    llvm::errs() << "\n";
245  } while (Tok.isNot(tok::eof));
246}
247
248void GeneratePTHAction::ExecuteAction() {
249  CompilerInstance &CI = getCompilerInstance();
250  if (CI.getFrontendOpts().OutputFile.empty() ||
251      CI.getFrontendOpts().OutputFile == "-") {
252    // FIXME: Don't fail this way.
253    // FIXME: Verify that we can actually seek in the given file.
254    llvm::report_fatal_error("PTH requires a seekable file for output!");
255  }
256  llvm::raw_fd_ostream *OS =
257    CI.createDefaultOutputFile(true, getCurrentFile());
258  if (!OS) return;
259
260  CacheTokens(CI.getPreprocessor(), OS);
261}
262
263void PreprocessOnlyAction::ExecuteAction() {
264  Preprocessor &PP = getCompilerInstance().getPreprocessor();
265
266  // Ignore unknown pragmas.
267  PP.AddPragmaHandler(new EmptyPragmaHandler());
268
269  Token Tok;
270  // Start parsing the specified input file.
271  PP.EnterMainSourceFile();
272  do {
273    PP.Lex(Tok);
274  } while (Tok.isNot(tok::eof));
275}
276
277void PrintPreprocessedAction::ExecuteAction() {
278  CompilerInstance &CI = getCompilerInstance();
279  // Output file may need to be set to 'Binary', to avoid converting Unix style
280  // line feeds (<LF>) to Microsoft style line feeds (<CR><LF>).
281  //
282  // Look to see what type of line endings the file uses. If there's a
283  // CRLF, then we won't open the file up in binary mode. If there is
284  // just an LF or CR, then we will open the file up in binary mode.
285  // In this fashion, the output format should match the input format, unless
286  // the input format has inconsistent line endings.
287  //
288  // This should be a relatively fast operation since most files won't have
289  // all of their source code on a single line. However, that is still a
290  // concern, so if we scan for too long, we'll just assume the file should
291  // be opened in binary mode.
292  bool BinaryMode = true;
293  bool InvalidFile = false;
294  const SourceManager& SM = CI.getSourceManager();
295  const llvm::MemoryBuffer *Buffer = SM.getBuffer(SM.getMainFileID(),
296                                                     &InvalidFile);
297  if (!InvalidFile) {
298    const char *cur = Buffer->getBufferStart();
299    const char *end = Buffer->getBufferEnd();
300    const char *next = (cur != end) ? cur + 1 : end;
301
302    // Limit ourselves to only scanning 256 characters into the source
303    // file.  This is mostly a sanity check in case the file has no
304    // newlines whatsoever.
305    if (end - cur > 256) end = cur + 256;
306
307    while (next < end) {
308      if (*cur == 0x0D) {  // CR
309        if (*next == 0x0A)  // CRLF
310          BinaryMode = false;
311
312        break;
313      } else if (*cur == 0x0A)  // LF
314        break;
315
316      ++cur, ++next;
317    }
318  }
319
320  raw_ostream *OS = CI.createDefaultOutputFile(BinaryMode, getCurrentFile());
321  if (!OS) return;
322
323  DoPrintPreprocessedInput(CI.getPreprocessor(), OS,
324                           CI.getPreprocessorOutputOpts());
325}
326
327void PrintPreambleAction::ExecuteAction() {
328  switch (getCurrentFileKind()) {
329  case IK_C:
330  case IK_CXX:
331  case IK_ObjC:
332  case IK_ObjCXX:
333  case IK_OpenCL:
334  case IK_CUDA:
335    break;
336
337  case IK_None:
338  case IK_Asm:
339  case IK_PreprocessedC:
340  case IK_PreprocessedCXX:
341  case IK_PreprocessedObjC:
342  case IK_PreprocessedObjCXX:
343  case IK_AST:
344  case IK_LLVM_IR:
345    // We can't do anything with these.
346    return;
347  }
348
349  CompilerInstance &CI = getCompilerInstance();
350  llvm::MemoryBuffer *Buffer
351      = CI.getFileManager().getBufferForFile(getCurrentFile());
352  if (Buffer) {
353    unsigned Preamble = Lexer::ComputePreamble(Buffer, CI.getLangOpts()).first;
354    llvm::outs().write(Buffer->getBufferStart(), Preamble);
355    delete Buffer;
356  }
357}
358