2 * Copyright 2011 Sven Verdoolaege. All rights reserved.
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions
8 * 1. Redistributions of source code must retain the above copyright
9 * notice, this list of conditions and the following disclaimer.
11 * 2. Redistributions in binary form must reproduce the above
12 * copyright notice, this list of conditions and the following
13 * disclaimer in the documentation and/or other materials provided
14 * with the distribution.
16 * THIS SOFTWARE IS PROVIDED BY SVEN VERDOOLAEGE ''AS IS'' AND ANY
17 * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
18 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
19 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL SVEN VERDOOLAEGE OR
20 * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
21 * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
22 * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA,
23 * OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28 * The views and conclusions contained in the software and documentation
29 * are those of the authors and should not be interpreted as
30 * representing official policies, either expressed or implied, of
34 #include "isl_config.h"
38 #include <llvm/Support/raw_ostream.h>
39 #include <llvm/Support/CommandLine.h>
40 #include <llvm/Support/Host.h>
41 #include <llvm/Support/ManagedStatic.h>
42 #include <clang/AST/ASTContext.h>
43 #include <clang/AST/ASTConsumer.h>
44 #include <clang/Basic/FileSystemOptions.h>
45 #include <clang/Basic/FileManager.h>
46 #include <clang/Basic/TargetOptions.h>
47 #include <clang/Basic/TargetInfo.h>
48 #include <clang/Basic/Version.h>
49 #include <clang/Driver/Compilation.h>
50 #include <clang/Driver/Driver.h>
51 #include <clang/Driver/Tool.h>
52 #include <clang/Frontend/CompilerInstance.h>
53 #include <clang/Frontend/CompilerInvocation.h>
54 #ifdef HAVE_BASIC_DIAGNOSTICOPTIONS_H
55 #include <clang/Basic/DiagnosticOptions.h>
57 #include <clang/Frontend/DiagnosticOptions.h>
59 #include <clang/Frontend/TextDiagnosticPrinter.h>
60 #include <clang/Frontend/Utils.h>
61 #include <clang/Lex/HeaderSearch.h>
62 #include <clang/Lex/Preprocessor.h>
63 #include <clang/Parse/ParseAST.h>
64 #include <clang/Sema/Sema.h>
66 #include "extract_interface.h"
70 using namespace clang
;
71 using namespace clang::driver
;
73 static llvm::cl::opt
<string
> InputFilename(llvm::cl::Positional
,
74 llvm::cl::Required
, llvm::cl::desc("<input file>"));
75 static llvm::cl::list
<string
> Includes("I",
76 llvm::cl::desc("Header search path"),
77 llvm::cl::value_desc("path"), llvm::cl::Prefix
);
79 static const char *ResourceDir
= CLANG_PREFIX
"/lib/clang/"CLANG_VERSION_STRING
;
81 /* Does decl have an attribute of the following form?
83 * __attribute__((annotate("name")))
85 bool has_annotation(Decl
*decl
, const char *name
)
87 if (!decl
->hasAttrs())
90 AttrVec attrs
= decl
->getAttrs();
91 for (AttrVec::const_iterator i
= attrs
.begin() ; i
!= attrs
.end(); ++i
) {
92 const AnnotateAttr
*ann
= dyn_cast
<AnnotateAttr
>(*i
);
95 if (ann
->getAnnotation().str() == name
)
102 /* Is decl marked as exported?
104 static bool is_exported(Decl
*decl
)
106 return has_annotation(decl
, "isl_export");
109 /* Collect all types and functions that are annotated "isl_export"
110 * in "types" and "function".
112 * We currently only consider single declarations.
114 struct MyASTConsumer
: public ASTConsumer
{
115 set
<RecordDecl
*> types
;
116 set
<FunctionDecl
*> functions
;
118 virtual HandleTopLevelDeclReturn
HandleTopLevelDecl(DeclGroupRef D
) {
121 if (!D
.isSingleDecl())
122 return HandleTopLevelDeclContinue
;
123 decl
= D
.getSingleDecl();
124 if (!is_exported(decl
))
125 return HandleTopLevelDeclContinue
;
126 switch (decl
->getKind()) {
128 types
.insert(cast
<RecordDecl
>(decl
));
131 functions
.insert(cast
<FunctionDecl
>(decl
));
136 return HandleTopLevelDeclContinue
;
142 #ifdef HAVE_CXXISPRODUCTION
143 static Driver
*construct_driver(const char *binary
, DiagnosticsEngine
&Diags
)
145 return new Driver(binary
, llvm::sys::getDefaultTargetTriple(),
146 "", false, false, Diags
);
148 #elif defined(HAVE_ISPRODUCTION)
149 static Driver
*construct_driver(const char *binary
, DiagnosticsEngine
&Diags
)
151 return new Driver(binary
, llvm::sys::getDefaultTargetTriple(),
155 static Driver
*construct_driver(const char *binary
, DiagnosticsEngine
&Diags
)
157 return new Driver(binary
, llvm::sys::getDefaultTargetTriple(),
162 /* Create a CompilerInvocation object that stores the command line
163 * arguments constructed by the driver.
164 * The arguments are mainly useful for setting up the system include
165 * paths on newer clangs and on some platforms.
167 static CompilerInvocation
*construct_invocation(const char *filename
,
168 DiagnosticsEngine
&Diags
)
170 const char *binary
= CLANG_PREFIX
"/bin/clang";
171 const llvm::OwningPtr
<Driver
> driver(construct_driver(binary
, Diags
));
172 std::vector
<const char *> Argv
;
173 Argv
.push_back(binary
);
174 Argv
.push_back(filename
);
175 const llvm::OwningPtr
<Compilation
> compilation(
176 driver
->BuildCompilation(llvm::ArrayRef
<const char *>(Argv
)));
177 JobList
&Jobs
= compilation
->getJobs();
179 Command
*cmd
= cast
<Command
>(*Jobs
.begin());
180 if (strcmp(cmd
->getCreator().getName(), "clang"))
183 const ArgStringList
*args
= &cmd
->getArguments();
185 CompilerInvocation
*invocation
= new CompilerInvocation
;
186 CompilerInvocation::CreateFromArgs(*invocation
, args
->data() + 1,
187 args
->data() + args
->size(),
194 static CompilerInvocation
*construct_invocation(const char *filename
,
195 DiagnosticsEngine
&Diags
)
202 #ifdef HAVE_BASIC_DIAGNOSTICOPTIONS_H
204 static TextDiagnosticPrinter
*construct_printer(void)
206 return new TextDiagnosticPrinter(llvm::errs(), new DiagnosticOptions());
211 static TextDiagnosticPrinter
*construct_printer(void)
213 DiagnosticOptions DO
;
214 return new TextDiagnosticPrinter(llvm::errs(), DO
);
219 #ifdef CREATETARGETINFO_TAKES_POINTER
221 static TargetInfo
*create_target_info(CompilerInstance
*Clang
,
222 DiagnosticsEngine
&Diags
)
224 TargetOptions
&TO
= Clang
->getTargetOpts();
225 TO
.Triple
= llvm::sys::getDefaultTargetTriple();
226 return TargetInfo::CreateTargetInfo(Diags
, &TO
);
231 static TargetInfo
*create_target_info(CompilerInstance
*Clang
,
232 DiagnosticsEngine
&Diags
)
234 TargetOptions
&TO
= Clang
->getTargetOpts();
235 TO
.Triple
= llvm::sys::getDefaultTargetTriple();
236 return TargetInfo::CreateTargetInfo(Diags
, TO
);
241 #ifdef CREATEDIAGNOSTICS_TAKES_ARG
243 static void create_diagnostics(CompilerInstance
*Clang
)
245 Clang
->createDiagnostics(0, NULL
, construct_printer());
250 static void create_diagnostics(CompilerInstance
*Clang
)
252 Clang
->createDiagnostics(construct_printer());
257 #ifdef ADDPATH_TAKES_4_ARGUMENTS
259 void add_path(HeaderSearchOptions
&HSO
, string Path
)
261 HSO
.AddPath(Path
, frontend::Angled
, false, false);
266 void add_path(HeaderSearchOptions
&HSO
, string Path
)
268 HSO
.AddPath(Path
, frontend::Angled
, true, false, false);
273 int main(int argc
, char *argv
[])
275 llvm::cl::ParseCommandLineOptions(argc
, argv
);
277 CompilerInstance
*Clang
= new CompilerInstance();
278 create_diagnostics(Clang
);
279 DiagnosticsEngine
&Diags
= Clang
->getDiagnostics();
280 Diags
.setSuppressSystemWarnings(true);
281 CompilerInvocation
*invocation
=
282 construct_invocation(InputFilename
.c_str(), Diags
);
284 Clang
->setInvocation(invocation
);
285 Clang
->createFileManager();
286 Clang
->createSourceManager(Clang
->getFileManager());
287 TargetInfo
*target
= create_target_info(Clang
, Diags
);
288 Clang
->setTarget(target
);
289 CompilerInvocation::setLangDefaults(Clang
->getLangOpts(), IK_C
,
290 LangStandard::lang_unspecified
);
291 HeaderSearchOptions
&HSO
= Clang
->getHeaderSearchOpts();
292 LangOptions
&LO
= Clang
->getLangOpts();
293 PreprocessorOptions
&PO
= Clang
->getPreprocessorOpts();
294 HSO
.ResourceDir
= ResourceDir
;
296 for (int i
= 0; i
< Includes
.size(); ++i
)
297 add_path(HSO
, Includes
[i
]);
299 PO
.addMacroDef("__isl_give=__attribute__((annotate(\"isl_give\")))");
300 PO
.addMacroDef("__isl_keep=__attribute__((annotate(\"isl_keep\")))");
301 PO
.addMacroDef("__isl_take=__attribute__((annotate(\"isl_take\")))");
302 PO
.addMacroDef("__isl_export=__attribute__((annotate(\"isl_export\")))");
303 PO
.addMacroDef("__isl_constructor=__attribute__((annotate(\"isl_constructor\"))) __attribute__((annotate(\"isl_export\")))");
304 PO
.addMacroDef("__isl_subclass(super)=__attribute__((annotate(\"isl_subclass(\" #super \")\"))) __attribute__((annotate(\"isl_export\")))");
306 Clang
->createPreprocessor();
307 Preprocessor
&PP
= Clang
->getPreprocessor();
309 PP
.getBuiltinInfo().InitializeBuiltins(PP
.getIdentifierTable(), LO
);
311 const FileEntry
*file
= Clang
->getFileManager().getFile(InputFilename
);
313 Clang
->getSourceManager().createMainFileID(file
);
315 Clang
->createASTContext();
316 MyASTConsumer consumer
;
317 Sema
*sema
= new Sema(PP
, Clang
->getASTContext(), consumer
);
319 Diags
.getClient()->BeginSourceFile(LO
, &PP
);
321 Diags
.getClient()->EndSourceFile();
323 generate_python(consumer
.types
, consumer
.functions
);
327 llvm::llvm_shutdown();