blob: ed626d67820714424d8c8c69bec8443301b1f8d1 [file] [log] [blame]
Zonr Changc383a502010-10-12 01:52:08 +08001/*
2 * Copyright 2010, The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
zonr6315f762010-10-05 15:35:14 +080017#include "slang.h"
Shih-wei Liao462aefd2010-06-04 15:32:04 -070018
Shih-wei Liao9ef2f782010-10-01 12:31:37 -070019#include <stdlib.h>
20
Jean-Luc Brouillet8024ed52015-05-04 23:02:25 -070021#include <cstring>
22#include <list>
23#include <sstream>
Stephen Hinese639eb52010-11-08 19:27:20 -080024#include <string>
Jean-Luc Brouillet8024ed52015-05-04 23:02:25 -070025#include <utility>
Stephen Hinese639eb52010-11-08 19:27:20 -080026#include <vector>
27
28#include "clang/AST/ASTConsumer.h"
29#include "clang/AST/ASTContext.h"
30
Loganbe274822011-02-16 22:02:54 +080031#include "clang/Basic/DiagnosticIDs.h"
Stephen Hines23c43582013-01-09 20:02:04 -080032#include "clang/Basic/DiagnosticOptions.h"
Stephen Hinese639eb52010-11-08 19:27:20 -080033#include "clang/Basic/FileManager.h"
Shih-wei Liaodf5bcce2011-02-28 18:39:23 -080034#include "clang/Basic/FileSystemOptions.h"
Jean-Luc Brouillet8024ed52015-05-04 23:02:25 -070035#include "clang/Basic/SourceLocation.h"
Stephen Hinese639eb52010-11-08 19:27:20 -080036#include "clang/Basic/SourceManager.h"
37#include "clang/Basic/TargetInfo.h"
38#include "clang/Basic/TargetOptions.h"
39
Stephen Hinese639eb52010-11-08 19:27:20 -080040#include "clang/Frontend/DependencyOutputOptions.h"
41#include "clang/Frontend/FrontendDiagnostic.h"
Stephen Hines0e4ee652014-06-10 14:32:26 -070042#include "clang/Frontend/FrontendOptions.h"
Stephen Hinese639eb52010-11-08 19:27:20 -080043#include "clang/Frontend/TextDiagnosticPrinter.h"
44#include "clang/Frontend/Utils.h"
45
46#include "clang/Lex/Preprocessor.h"
Stephen Hines23c43582013-01-09 20:02:04 -080047#include "clang/Lex/PreprocessorOptions.h"
Stephen Hinese639eb52010-11-08 19:27:20 -080048#include "clang/Lex/HeaderSearch.h"
Stephen Hines23c43582013-01-09 20:02:04 -080049#include "clang/Lex/HeaderSearchOptions.h"
Stephen Hinese639eb52010-11-08 19:27:20 -080050
51#include "clang/Parse/ParseAST.h"
52
Jean-Luc Brouillet8024ed52015-05-04 23:02:25 -070053#include "clang/Sema/SemaDiagnostic.h"
54
Loganbe274822011-02-16 22:02:54 +080055#include "llvm/ADT/IntrusiveRefCntPtr.h"
56
Stephen Hinese639eb52010-11-08 19:27:20 -080057#include "llvm/Bitcode/ReaderWriter.h"
58
59// More force linking
Tim Murrayee4016d2014-04-10 15:49:08 -070060#include "llvm/Linker/Linker.h"
Stephen Hinese639eb52010-11-08 19:27:20 -080061
Zonr Chang08df36e2010-10-07 18:50:42 +080062// Force linking all passes/vmcore stuffs to libslang.so
Stephen Hines0da7f6c2013-03-05 15:19:02 -080063#include "llvm/LinkAllIR.h"
Zonr Chang08df36e2010-10-07 18:50:42 +080064#include "llvm/LinkAllPasses.h"
Zonr Chang08df36e2010-10-07 18:50:42 +080065
Zonr Chang3a9ca1f2010-10-06 17:52:56 +080066#include "llvm/Support/raw_ostream.h"
zonr6315f762010-10-05 15:35:14 +080067#include "llvm/Support/MemoryBuffer.h"
68#include "llvm/Support/ErrorHandling.h"
69#include "llvm/Support/ManagedStatic.h"
Loganbe274822011-02-16 22:02:54 +080070#include "llvm/Support/Path.h"
Logan Chien9207a2e2011-10-21 15:39:28 +080071#include "llvm/Support/TargetSelect.h"
72#include "llvm/Support/ToolOutputFile.h"
Stephen Hinescc0efad2010-10-04 16:13:02 -070073
Jean-Luc Brouillet8024ed52015-05-04 23:02:25 -070074#include "os_sep.h"
75#include "rs_cc_options.h"
Stephen Hines6e6578a2011-02-07 18:05:48 -080076#include "slang_assert.h"
Zonr Chang3a9ca1f2010-10-06 17:52:56 +080077#include "slang_backend.h"
Shih-wei Liaob81c6a42010-10-10 14:15:00 -070078
Jean-Luc Brouillet8024ed52015-05-04 23:02:25 -070079#include "slang_rs_context.h"
80#include "slang_rs_export_type.h"
81
82#include "slang_rs_reflection.h"
83#include "slang_rs_reflection_cpp.h"
84
85
Zonr Chang08df36e2010-10-07 18:50:42 +080086namespace {
Zonr Chang08df36e2010-10-07 18:50:42 +080087
Stephen Hines9ae18b22014-06-10 23:53:00 -070088static const char *kRSTriple32 = "armv7-none-linux-gnueabi";
89static const char *kRSTriple64 = "aarch64-none-linux-gnueabi";
90
Stephen Hinese639eb52010-11-08 19:27:20 -080091} // namespace
92
93namespace slang {
Shih-wei Liao9ef2f782010-10-01 12:31:37 -070094
Jean-Luc Brouillet8024ed52015-05-04 23:02:25 -070095
96#define FS_SUFFIX "fs"
97
98#define RS_HEADER_SUFFIX "rsh"
99
100/* RS_HEADER_ENTRY(name) */
101#define ENUM_RS_HEADER() \
102 RS_HEADER_ENTRY(rs_allocation_data) \
103 RS_HEADER_ENTRY(rs_atomic) \
104 RS_HEADER_ENTRY(rs_convert) \
105 RS_HEADER_ENTRY(rs_core) \
106 RS_HEADER_ENTRY(rs_debug) \
107 RS_HEADER_ENTRY(rs_for_each) \
108 RS_HEADER_ENTRY(rs_graphics) \
109 RS_HEADER_ENTRY(rs_graphics_types) \
110 RS_HEADER_ENTRY(rs_io) \
111 RS_HEADER_ENTRY(rs_math) \
112 RS_HEADER_ENTRY(rs_matrix) \
113 RS_HEADER_ENTRY(rs_object_info) \
114 RS_HEADER_ENTRY(rs_object_types) \
115 RS_HEADER_ENTRY(rs_quaternion) \
116 RS_HEADER_ENTRY(rs_time) \
117 RS_HEADER_ENTRY(rs_value_types) \
118 RS_HEADER_ENTRY(rs_vector_math) \
119
120
Shih-wei Liao9ef2f782010-10-01 12:31:37 -0700121// The named of metadata node that pragma resides (should be synced with
122// bcc.cpp)
Shih-wei Liaof52a6202010-09-10 17:40:53 -0700123const llvm::StringRef Slang::PragmaMetadataName = "#pragma";
Shih-wei Liao462aefd2010-06-04 15:32:04 -0700124
Logan Chien9207a2e2011-10-21 15:39:28 +0800125static inline llvm::tool_output_file *
126OpenOutputFile(const char *OutputFile,
Stephen Hinesa1f95ee2013-08-09 01:26:08 -0700127 llvm::sys::fs::OpenFlags Flags,
Stephen Hines3eb819a2014-11-24 18:16:52 -0800128 std::error_code &EC,
Stephen Hinese67239d2012-02-24 15:08:36 -0800129 clang::DiagnosticsEngine *DiagEngine) {
Stephen Hines3eb819a2014-11-24 18:16:52 -0800130 slangAssert((OutputFile != nullptr) &&
Chris Wailes5abbe0e2014-08-12 15:58:29 -0700131 (DiagEngine != nullptr) && "Invalid parameter!");
Zonr Change8c263a2010-10-12 00:35:29 +0800132
Stephen Hines3eb819a2014-11-24 18:16:52 -0800133 EC = llvm::sys::fs::create_directories(
134 llvm::sys::path::parent_path(OutputFile));
135 if (!EC) {
Zonr Change8c263a2010-10-12 00:35:29 +0800136 llvm::tool_output_file *F =
Stephen Hines3eb819a2014-11-24 18:16:52 -0800137 new llvm::tool_output_file(OutputFile, EC, Flags);
Chris Wailes5abbe0e2014-08-12 15:58:29 -0700138 if (F != nullptr)
Zonr Change8c263a2010-10-12 00:35:29 +0800139 return F;
140 }
141
142 // Report error here.
Logan Chien9207a2e2011-10-21 15:39:28 +0800143 DiagEngine->Report(clang::diag::err_fe_error_opening)
Stephen Hines3eb819a2014-11-24 18:16:52 -0800144 << OutputFile << EC.message();
Zonr Change8c263a2010-10-12 00:35:29 +0800145
Chris Wailes5abbe0e2014-08-12 15:58:29 -0700146 return nullptr;
Zonr Change8c263a2010-10-12 00:35:29 +0800147}
148
Stephen Hines9ae18b22014-06-10 23:53:00 -0700149void Slang::createTarget(uint32_t BitWidth) {
150 std::vector<std::string> features;
Shih-wei Liao462aefd2010-06-04 15:32:04 -0700151
Stephen Hines9ae18b22014-06-10 23:53:00 -0700152 if (BitWidth == 64) {
153 mTargetOpts->Triple = kRSTriple64;
154 } else {
155 mTargetOpts->Triple = kRSTriple32;
156 // Treat long as a 64-bit type for our 32-bit RS code.
157 features.push_back("+long64");
158 mTargetOpts->FeaturesAsWritten = features;
159 }
Shih-wei Liaob81c6a42010-10-10 14:15:00 -0700160
Logan Chien9207a2e2011-10-21 15:39:28 +0800161 mTarget.reset(clang::TargetInfo::CreateTargetInfo(*mDiagEngine,
Stephen Hines7ac9d0d2014-07-15 16:50:03 -0700162 mTargetOpts));
Shih-wei Liao462aefd2010-06-04 15:32:04 -0700163}
164
Zonr Chang3a9ca1f2010-10-06 17:52:56 +0800165void Slang::createFileManager() {
Shih-wei Liaodf5bcce2011-02-28 18:39:23 -0800166 mFileSysOpt.reset(new clang::FileSystemOptions());
Loganbe274822011-02-16 22:02:54 +0800167 mFileMgr.reset(new clang::FileManager(*mFileSysOpt));
Zonr Chang3a9ca1f2010-10-06 17:52:56 +0800168}
169
170void Slang::createSourceManager() {
Logan Chien9207a2e2011-10-21 15:39:28 +0800171 mSourceMgr.reset(new clang::SourceManager(*mDiagEngine, *mFileMgr));
Zonr Chang3a9ca1f2010-10-06 17:52:56 +0800172}
173
Shih-wei Liao68e8e9f2010-07-18 18:46:49 -0700174void Slang::createPreprocessor() {
Shih-wei Liao9ef2f782010-10-01 12:31:37 -0700175 // Default only search header file in current dir
Stephen Hines23c43582013-01-09 20:02:04 -0800176 llvm::IntrusiveRefCntPtr<clang::HeaderSearchOptions> HSOpts =
177 new clang::HeaderSearchOptions();
178 clang::HeaderSearch *HeaderInfo = new clang::HeaderSearch(HSOpts,
Stephen Hineseeb251e2014-02-11 02:08:05 -0800179 *mSourceMgr,
Stephen Hines0444de02012-03-02 23:19:06 -0800180 *mDiagEngine,
181 LangOpts,
182 mTarget.get());
Shih-wei Liao68e8e9f2010-07-18 18:46:49 -0700183
Stephen Hines23c43582013-01-09 20:02:04 -0800184 llvm::IntrusiveRefCntPtr<clang::PreprocessorOptions> PPOpts =
185 new clang::PreprocessorOptions();
186 mPP.reset(new clang::Preprocessor(PPOpts,
187 *mDiagEngine,
Shih-wei Liao9ef2f782010-10-01 12:31:37 -0700188 LangOpts,
Shih-wei Liao9ef2f782010-10-01 12:31:37 -0700189 *mSourceMgr,
Logan Chien9207a2e2011-10-21 15:39:28 +0800190 *HeaderInfo,
191 *this,
Chris Wailes5abbe0e2014-08-12 15:58:29 -0700192 nullptr,
Zonr Chang3a9ca1f2010-10-06 17:52:56 +0800193 /* OwnsHeaderSearch = */true));
Stephen Hines3fd0a942011-01-18 12:27:39 -0800194 // Initialize the preprocessor
Stephen Hines75d47182014-05-28 09:43:18 -0700195 mPP->Initialize(getTargetInfo());
Stephen Hines0e4ee652014-06-10 14:32:26 -0700196 clang::FrontendOptions FEOpts;
Stephen Hines7ac9d0d2014-07-15 16:50:03 -0700197 clang::InitializePreprocessor(*mPP, *PPOpts, FEOpts);
Stephen Hines0e4ee652014-06-10 14:32:26 -0700198
Shih-wei Liao68e8e9f2010-07-18 18:46:49 -0700199 mPragmas.clear();
Stephen Hines3fd0a942011-01-18 12:27:39 -0800200 mPP->AddPragmaHandler(new PragmaRecorder(&mPragmas));
Shih-wei Liao68e8e9f2010-07-18 18:46:49 -0700201
Shih-wei Liao9ef2f782010-10-01 12:31:37 -0700202 std::vector<clang::DirectoryLookup> SearchList;
Zonr Chang3a9ca1f2010-10-06 17:52:56 +0800203 for (unsigned i = 0, e = mIncludePaths.size(); i != e; i++) {
Shih-wei Liao9ef2f782010-10-01 12:31:37 -0700204 if (const clang::DirectoryEntry *DE =
Loganbe274822011-02-16 22:02:54 +0800205 mFileMgr->getDirectory(mIncludePaths[i])) {
Shih-wei Liao9ef2f782010-10-01 12:31:37 -0700206 SearchList.push_back(clang::DirectoryLookup(DE,
207 clang::SrcMgr::C_System,
Shih-wei Liao9ef2f782010-10-01 12:31:37 -0700208 false));
209 }
Shih-wei Liao90898282010-07-19 18:38:57 -0700210 }
211
Logan Chien9207a2e2011-10-21 15:39:28 +0800212 HeaderInfo->SetSearchPaths(SearchList,
213 /* angledDirIdx = */1,
214 /* systemDixIdx = */1,
215 /* noCurDirSearch = */false);
Shih-wei Liao90898282010-07-19 18:38:57 -0700216
Zonr Chang3a9ca1f2010-10-06 17:52:56 +0800217 initPreprocessor();
Shih-wei Liao68e8e9f2010-07-18 18:46:49 -0700218}
219
Zonr Chang3a9ca1f2010-10-06 17:52:56 +0800220void Slang::createASTContext() {
Jean-Luc Brouillet8024ed52015-05-04 23:02:25 -0700221 mASTContext.reset(
222 new clang::ASTContext(LangOpts, *mSourceMgr, mPP->getIdentifierTable(),
223 mPP->getSelectorTable(), mPP->getBuiltinInfo()));
Stephen Hines75d47182014-05-28 09:43:18 -0700224 mASTContext->InitBuiltinTypes(getTargetInfo());
Zonr Chang3a9ca1f2010-10-06 17:52:56 +0800225 initASTContext();
Zonr Chang3a9ca1f2010-10-06 17:52:56 +0800226}
227
Logan Chien9207a2e2011-10-21 15:39:28 +0800228clang::ASTConsumer *
David Gross2770d0e2015-08-03 14:58:59 -0700229Slang::createBackend(const RSCCOptions &Opts, const clang::CodeGenOptions &CodeGenOpts,
Jean-Luc Brouillet5309b0c2015-05-01 16:13:11 -0700230 llvm::raw_ostream *OS, OutputType OT) {
David Gross2770d0e2015-08-03 14:58:59 -0700231 return new Backend(mRSContext, &getDiagnostics(), Opts, CodeGenOpts,
Jean-Luc Brouillet8024ed52015-05-04 23:02:25 -0700232 getTargetOptions(), &mPragmas, OS, OT, getSourceManager(),
233 mAllowRSPrefix, mIsFilterscript);
Zonr Chang3a9ca1f2010-10-06 17:52:56 +0800234}
235
Jean-Luc Brouillet5309b0c2015-05-01 16:13:11 -0700236Slang::Slang(uint32_t BitWidth, clang::DiagnosticsEngine *DiagEngine,
237 DiagnosticBuffer *DiagClient)
238 : mDiagEngine(DiagEngine), mDiagClient(DiagClient),
Jean-Luc Brouillet8024ed52015-05-04 23:02:25 -0700239 mTargetOpts(new clang::TargetOptions()), mOT(OT_Default),
240 mRSContext(nullptr), mAllowRSPrefix(false), mTargetAPI(0),
241 mVerbose(false), mIsFilterscript(false) {
Jean-Luc Brouillet5309b0c2015-05-01 16:13:11 -0700242 // Please refer to include/clang/Basic/LangOptions.h to setup
243 // the options.
244 LangOpts.RTTI = 0; // Turn off the RTTI information support
245 LangOpts.LineComment = 1;
246 LangOpts.C99 = 1;
247 LangOpts.Renderscript = 1;
248 LangOpts.LaxVectorConversions = 0; // Do not bitcast vectors!
249 LangOpts.CharIsSigned = 1; // Signed char is our default.
250
251 CodeGenOpts.OptimizationLevel = 3;
252
Stephen Hinesfac3b022015-08-10 19:24:24 -0700253 // We must set StackRealignment, because the default is for the actual
254 // Clang driver to pass this option (-mstackrealign) directly to cc1.
255 // Since we don't use Clang's driver, we need to similarly supply it.
256 // If StackRealignment is zero (i.e. the option wasn't set), then the
257 // backend assumes that it can't adjust the stack in any way, which breaks
258 // alignment for vector loads/stores.
259 CodeGenOpts.StackRealignment = 1;
260
Jean-Luc Brouillet5309b0c2015-05-01 16:13:11 -0700261 createTarget(BitWidth);
262 createFileManager();
263 createSourceManager();
Zonr Chang641558f2010-10-12 21:07:06 +0800264}
265
Jean-Luc Brouillet8024ed52015-05-04 23:02:25 -0700266Slang::~Slang() {
267 delete mRSContext;
268 for (ReflectedDefinitionListTy::iterator I = ReflectedDefinitions.begin(),
269 E = ReflectedDefinitions.end();
270 I != E; I++) {
271 delete I->getValue().first;
272 }
273}
274
Stephen Hines23c43582013-01-09 20:02:04 -0800275clang::ModuleLoadResult Slang::loadModule(
276 clang::SourceLocation ImportLoc,
277 clang::ModuleIdPath Path,
278 clang::Module::NameVisibilityKind Visibility,
279 bool IsInclusionDirective) {
Logan Chien9207a2e2011-10-21 15:39:28 +0800280 slangAssert(0 && "Not implemented");
Stephen Hines23c43582013-01-09 20:02:04 -0800281 return clang::ModuleLoadResult();
Shih-wei Liao462aefd2010-06-04 15:32:04 -0700282}
283
Zonr Chang3a9ca1f2010-10-06 17:52:56 +0800284bool Slang::setInputSource(llvm::StringRef InputFile) {
285 mInputFileName = InputFile.str();
Shih-wei Liao462aefd2010-06-04 15:32:04 -0700286
Shih-wei Liao9ef2f782010-10-01 12:31:37 -0700287 mSourceMgr->clearIDTables();
Shih-wei Liao462aefd2010-06-04 15:32:04 -0700288
Loganbe274822011-02-16 22:02:54 +0800289 const clang::FileEntry *File = mFileMgr->getFile(InputFile);
Stephen Hines75d47182014-05-28 09:43:18 -0700290 if (File) {
291 mSourceMgr->setMainFileID(mSourceMgr->createFileID(File,
292 clang::SourceLocation(), clang::SrcMgr::C_User));
293 }
Shih-wei Liao462aefd2010-06-04 15:32:04 -0700294
Shih-wei Liao9ef2f782010-10-01 12:31:37 -0700295 if (mSourceMgr->getMainFileID().isInvalid()) {
Logan Chien9207a2e2011-10-21 15:39:28 +0800296 mDiagEngine->Report(clang::diag::err_fe_error_reading) << InputFile;
Shih-wei Liao9ef2f782010-10-01 12:31:37 -0700297 return false;
298 }
Shih-wei Liao462aefd2010-06-04 15:32:04 -0700299
Shih-wei Liao9ef2f782010-10-01 12:31:37 -0700300 return true;
Shih-wei Liao462aefd2010-06-04 15:32:04 -0700301}
302
Zonr Chang3a9ca1f2010-10-06 17:52:56 +0800303bool Slang::setOutput(const char *OutputFile) {
Stephen Hines3eb819a2014-11-24 18:16:52 -0800304 std::error_code EC;
Chris Wailes5abbe0e2014-08-12 15:58:29 -0700305 llvm::tool_output_file *OS = nullptr;
Shih-wei Liao462aefd2010-06-04 15:32:04 -0700306
Zonr Chang3a9ca1f2010-10-06 17:52:56 +0800307 switch (mOT) {
Stephen Hinescc0efad2010-10-04 16:13:02 -0700308 case OT_Dependency:
Zonr Chang3a9ca1f2010-10-06 17:52:56 +0800309 case OT_Assembly:
310 case OT_LLVMAssembly: {
Stephen Hines3eb819a2014-11-24 18:16:52 -0800311 OS = OpenOutputFile(OutputFile, llvm::sys::fs::F_Text, EC, mDiagEngine);
Shih-wei Liao9ef2f782010-10-01 12:31:37 -0700312 break;
Shih-wei Liao462aefd2010-06-04 15:32:04 -0700313 }
Zonr Chang3a9ca1f2010-10-06 17:52:56 +0800314 case OT_Nothing: {
Shih-wei Liao9ef2f782010-10-01 12:31:37 -0700315 break;
Shih-wei Liao462aefd2010-06-04 15:32:04 -0700316 }
Zonr Chang3a9ca1f2010-10-06 17:52:56 +0800317 case OT_Object:
Stephen Hinescc0efad2010-10-04 16:13:02 -0700318 case OT_Bitcode: {
Stephen Hines3eb819a2014-11-24 18:16:52 -0800319 OS = OpenOutputFile(OutputFile, llvm::sys::fs::F_None, EC, mDiagEngine);
Shih-wei Liao9ef2f782010-10-01 12:31:37 -0700320 break;
321 }
Zonr Chang8c6d9b22010-10-07 18:01:19 +0800322 default: {
Stephen Hinescc0efad2010-10-04 16:13:02 -0700323 llvm_unreachable("Unknown compiler output type");
Zonr Chang8c6d9b22010-10-07 18:01:19 +0800324 }
Shih-wei Liao9ef2f782010-10-01 12:31:37 -0700325 }
Shih-wei Liao462aefd2010-06-04 15:32:04 -0700326
Stephen Hines3eb819a2014-11-24 18:16:52 -0800327 if (EC)
Shih-wei Liao9ef2f782010-10-01 12:31:37 -0700328 return false;
Zonr Change8c263a2010-10-12 00:35:29 +0800329
330 mOS.reset(OS);
Shih-wei Liao462aefd2010-06-04 15:32:04 -0700331
Zonr Chang3a9ca1f2010-10-06 17:52:56 +0800332 mOutputFileName = OutputFile;
Shih-wei Liao9ef2f782010-10-01 12:31:37 -0700333
334 return true;
Shih-wei Liao462aefd2010-06-04 15:32:04 -0700335}
336
Stephen Hines0b7ef1a2010-10-07 16:36:59 -0700337bool Slang::setDepOutput(const char *OutputFile) {
Stephen Hines3eb819a2014-11-24 18:16:52 -0800338 std::error_code EC;
Zonr Chang8c6d9b22010-10-07 18:01:19 +0800339
Stephen Hinesa1f95ee2013-08-09 01:26:08 -0700340 mDOS.reset(
Stephen Hines3eb819a2014-11-24 18:16:52 -0800341 OpenOutputFile(OutputFile, llvm::sys::fs::F_Text, EC, mDiagEngine));
342 if (EC || (mDOS.get() == nullptr))
Stephen Hines0b7ef1a2010-10-07 16:36:59 -0700343 return false;
Stephen Hines0b7ef1a2010-10-07 16:36:59 -0700344
345 mDepOutputFileName = OutputFile;
346
347 return true;
348}
349
Ying Wang21c94c92015-07-22 16:27:14 -0700350int Slang::generateDepFile(bool PhonyTarget) {
Logan Chien9207a2e2011-10-21 15:39:28 +0800351 if (mDiagEngine->hasErrorOccurred())
Loganbe274822011-02-16 22:02:54 +0800352 return 1;
Chris Wailes5abbe0e2014-08-12 15:58:29 -0700353 if (mDOS.get() == nullptr)
Stephen Hinesf7de8522010-10-06 11:46:18 -0700354 return 1;
Stephen Hinescc0efad2010-10-04 16:13:02 -0700355
Zonr Change8c263a2010-10-12 00:35:29 +0800356 // Initialize options for generating dependency file
Stephen Hinescc0efad2010-10-04 16:13:02 -0700357 clang::DependencyOutputOptions DepOpts;
358 DepOpts.IncludeSystemHeaders = 1;
Ying Wang21c94c92015-07-22 16:27:14 -0700359 if (PhonyTarget)
360 DepOpts.UsePhonyTargets = 1;
Stephen Hines0b7ef1a2010-10-07 16:36:59 -0700361 DepOpts.OutputFile = mDepOutputFileName;
Shih-wei Liaob81c6a42010-10-10 14:15:00 -0700362 DepOpts.Targets = mAdditionalDepTargets;
Stephen Hinescc0efad2010-10-04 16:13:02 -0700363 DepOpts.Targets.push_back(mDepTargetBCFileName);
Stephen Hines4cc67fc2011-01-31 16:48:57 -0800364 for (std::vector<std::string>::const_iterator
365 I = mGeneratedFileNames.begin(), E = mGeneratedFileNames.end();
366 I != E;
367 I++) {
368 DepOpts.Targets.push_back(*I);
369 }
370 mGeneratedFileNames.clear();
Stephen Hinescc0efad2010-10-04 16:13:02 -0700371
Zonr Change8c263a2010-10-12 00:35:29 +0800372 // Per-compilation needed initialization
Stephen Hinescc0efad2010-10-04 16:13:02 -0700373 createPreprocessor();
Tim Murrayee4016d2014-04-10 15:49:08 -0700374 clang::DependencyFileGenerator::CreateAndAttachToPreprocessor(*mPP.get(), DepOpts);
Stephen Hinescc0efad2010-10-04 16:13:02 -0700375
Zonr Change8c263a2010-10-12 00:35:29 +0800376 // Inform the diagnostic client we are processing a source file
Stephen Hinescc0efad2010-10-04 16:13:02 -0700377 mDiagClient->BeginSourceFile(LangOpts, mPP.get());
378
Zonr Change8c263a2010-10-12 00:35:29 +0800379 // Go through the source file (no operations necessary)
Stephen Hinescc0efad2010-10-04 16:13:02 -0700380 clang::Token Tok;
381 mPP->EnterMainSourceFile();
382 do {
383 mPP->Lex(Tok);
384 } while (Tok.isNot(clang::tok::eof));
385
386 mPP->EndSourceFile();
387
Zonr Change8c263a2010-10-12 00:35:29 +0800388 // Declare success if no error
Logan Chien9207a2e2011-10-21 15:39:28 +0800389 if (!mDiagEngine->hasErrorOccurred())
Zonr Change8c263a2010-10-12 00:35:29 +0800390 mDOS->keep();
391
392 // Clean up after compilation
Stephen Hinescc0efad2010-10-04 16:13:02 -0700393 mPP.reset();
Zonr Change8c263a2010-10-12 00:35:29 +0800394 mDOS.reset();
Stephen Hinescc0efad2010-10-04 16:13:02 -0700395
Logan Chien9207a2e2011-10-21 15:39:28 +0800396 return mDiagEngine->hasErrorOccurred() ? 1 : 0;
Stephen Hinescc0efad2010-10-04 16:13:02 -0700397}
398
David Gross2770d0e2015-08-03 14:58:59 -0700399int Slang::compile(const RSCCOptions &Opts) {
Logan Chien9207a2e2011-10-21 15:39:28 +0800400 if (mDiagEngine->hasErrorOccurred())
Loganbe274822011-02-16 22:02:54 +0800401 return 1;
Chris Wailes5abbe0e2014-08-12 15:58:29 -0700402 if (mOS.get() == nullptr)
Stephen Hinesf7de8522010-10-06 11:46:18 -0700403 return 1;
Shih-wei Liao9ef2f782010-10-01 12:31:37 -0700404
405 // Here is per-compilation needed initialization
406 createPreprocessor();
407 createASTContext();
Zonr Chang3a9ca1f2010-10-06 17:52:56 +0800408
David Gross2770d0e2015-08-03 14:58:59 -0700409 mBackend.reset(createBackend(Opts, CodeGenOpts, &mOS->os(), mOT));
Shih-wei Liao9ef2f782010-10-01 12:31:37 -0700410
411 // Inform the diagnostic client we are processing a source file
412 mDiagClient->BeginSourceFile(LangOpts, mPP.get());
413
414 // The core of the slang compiler
415 ParseAST(*mPP, mBackend.get(), *mASTContext);
416
Zonr Change8c263a2010-10-12 00:35:29 +0800417 // Inform the diagnostic client we are done with previous source file
418 mDiagClient->EndSourceFile();
419
420 // Declare success if no error
Logan Chien9207a2e2011-10-21 15:39:28 +0800421 if (!mDiagEngine->hasErrorOccurred())
Zonr Change8c263a2010-10-12 00:35:29 +0800422 mOS->keep();
423
Zonr Chang3a9ca1f2010-10-06 17:52:56 +0800424 // The compilation ended, clear
Shih-wei Liao9ef2f782010-10-01 12:31:37 -0700425 mBackend.reset();
Zonr Change8c263a2010-10-12 00:35:29 +0800426 mOS.reset();
Shih-wei Liao9ef2f782010-10-01 12:31:37 -0700427
Logan Chien9207a2e2011-10-21 15:39:28 +0800428 return mDiagEngine->hasErrorOccurred() ? 1 : 0;
Shih-wei Liao462aefd2010-06-04 15:32:04 -0700429}
430
mkopec1c460b372012-01-09 11:21:50 -0500431void Slang::setDebugMetadataEmission(bool EmitDebug) {
Shih-wei Liao43730fe2012-08-02 23:06:18 -0700432 if (EmitDebug)
Stephen Hines23c43582013-01-09 20:02:04 -0800433 CodeGenOpts.setDebugInfo(clang::CodeGenOptions::FullDebugInfo);
Shih-wei Liao43730fe2012-08-02 23:06:18 -0700434 else
Stephen Hines23c43582013-01-09 20:02:04 -0800435 CodeGenOpts.setDebugInfo(clang::CodeGenOptions::NoDebugInfo);
mkopec1c460b372012-01-09 11:21:50 -0500436}
437
438void Slang::setOptimizationLevel(llvm::CodeGenOpt::Level OptimizationLevel) {
439 CodeGenOpts.OptimizationLevel = OptimizationLevel;
440}
441
Jean-Luc Brouillet8024ed52015-05-04 23:02:25 -0700442bool Slang::isFilterscript(const char *Filename) {
443 const char *c = strrchr(Filename, '.');
444 if (c && !strncmp(FS_SUFFIX, c + 1, strlen(FS_SUFFIX) + 1)) {
445 return true;
446 } else {
447 return false;
448 }
449}
450
451bool Slang::generateJavaBitcodeAccessor(const std::string &OutputPathBase,
452 const std::string &PackageName,
453 const std::string *LicenseNote) {
454 RSSlangReflectUtils::BitCodeAccessorContext BCAccessorContext;
455
456 BCAccessorContext.rsFileName = getInputFileName().c_str();
Jean-Luc Brouillet5309b0c2015-05-01 16:13:11 -0700457 BCAccessorContext.bc32FileName = mOutput32FileName.c_str();
458 BCAccessorContext.bc64FileName = mOutputFileName.c_str();
Jean-Luc Brouillet8024ed52015-05-04 23:02:25 -0700459 BCAccessorContext.reflectPath = OutputPathBase.c_str();
460 BCAccessorContext.packageName = PackageName.c_str();
461 BCAccessorContext.licenseNote = LicenseNote;
462 BCAccessorContext.bcStorage = BCST_JAVA_CODE; // Must be BCST_JAVA_CODE
463 BCAccessorContext.verbose = false;
464
465 return RSSlangReflectUtils::GenerateJavaBitCodeAccessor(BCAccessorContext);
466}
467
468bool Slang::checkODR(const char *CurInputFile) {
469 for (RSContext::ExportableList::iterator I = mRSContext->exportable_begin(),
470 E = mRSContext->exportable_end();
471 I != E;
472 I++) {
473 RSExportable *RSE = *I;
474 if (RSE->getKind() != RSExportable::EX_TYPE)
475 continue;
476
477 RSExportType *ET = static_cast<RSExportType *>(RSE);
478 if (ET->getClass() != RSExportType::ExportClassRecord)
479 continue;
480
481 RSExportRecordType *ERT = static_cast<RSExportRecordType *>(ET);
482
483 // Artificial record types (create by us not by user in the source) always
484 // conforms the ODR.
485 if (ERT->isArtificial())
486 continue;
487
488 // Key to lookup ERT in ReflectedDefinitions
489 llvm::StringRef RDKey(ERT->getName());
490 ReflectedDefinitionListTy::const_iterator RD =
491 ReflectedDefinitions.find(RDKey);
492
493 if (RD != ReflectedDefinitions.end()) {
494 const RSExportRecordType *Reflected = RD->getValue().first;
495 // There's a record (struct) with the same name reflected before. Enforce
496 // ODR checking - the Reflected must hold *exactly* the same "definition"
497 // as the one defined previously. We say two record types A and B have the
498 // same definition iff:
499 //
500 // struct A { struct B {
501 // Type(a1) a1, Type(b1) b1,
502 // Type(a2) a2, Type(b1) b2,
503 // ... ...
504 // Type(aN) aN Type(b3) b3,
505 // }; }
506 // Cond. #1. They have same number of fields, i.e., N = M;
507 // Cond. #2. for (i := 1 to N)
508 // Type(ai) = Type(bi) must hold;
509 // Cond. #3. for (i := 1 to N)
510 // Name(ai) = Name(bi) must hold;
511 //
512 // where,
513 // Type(F) = the type of field F and
514 // Name(F) = the field name.
515
516 bool PassODR = false;
517 // Cond. #1 and Cond. #2
518 if (Reflected->equals(ERT)) {
519 // Cond #3.
520 RSExportRecordType::const_field_iterator AI = Reflected->fields_begin(),
521 BI = ERT->fields_begin();
522
523 for (unsigned i = 0, e = Reflected->getFields().size(); i != e; i++) {
524 if ((*AI)->getName() != (*BI)->getName())
525 break;
526 AI++;
527 BI++;
528 }
529 PassODR = (AI == (Reflected->fields_end()));
530 }
531
532 if (!PassODR) {
Jean-Luc Brouillet5309b0c2015-05-01 16:13:11 -0700533 unsigned DiagID = mDiagEngine->getCustomDiagID(
534 clang::DiagnosticsEngine::Error,
535 "type '%0' in different translation unit (%1 v.s. %2) "
536 "has incompatible type definition");
537 getDiagnostics().Report(DiagID) << Reflected->getName()
538 << getInputFileName()
539 << RD->getValue().second;
Jean-Luc Brouillet8024ed52015-05-04 23:02:25 -0700540 return false;
541 }
542 } else {
543 llvm::StringMapEntry<ReflectedDefinitionTy> *ME =
544 llvm::StringMapEntry<ReflectedDefinitionTy>::Create(RDKey);
545 ME->setValue(std::make_pair(ERT, CurInputFile));
546
Matt Wala3f45a252015-06-30 11:24:19 -0700547 if (!ReflectedDefinitions.insert(ME)) {
548 slangAssert(false && "Type shouldn't be in map yet!");
549 }
Jean-Luc Brouillet8024ed52015-05-04 23:02:25 -0700550
551 // Take the ownership of ERT such that it won't be freed in ~RSContext().
552 ERT->keep();
553 }
554 }
555 return true;
556}
557
Jean-Luc Brouillet8024ed52015-05-04 23:02:25 -0700558void Slang::initPreprocessor() {
559 clang::Preprocessor &PP = getPreprocessor();
560
561 std::stringstream RSH;
562 RSH << PP.getPredefines();
563 RSH << "#define RS_VERSION " << mTargetAPI << "\n";
564 RSH << "#include \"rs_core." RS_HEADER_SUFFIX "\"\n";
565 PP.setPredefines(RSH.str());
566}
567
568void Slang::initASTContext() {
569 mRSContext = new RSContext(getPreprocessor(),
570 getASTContext(),
571 getTargetInfo(),
572 &mPragmas,
573 mTargetAPI,
574 mVerbose);
575}
576
577bool Slang::IsRSHeaderFile(const char *File) {
578#define RS_HEADER_ENTRY(name) \
579 if (::strcmp(File, #name "." RS_HEADER_SUFFIX) == 0) \
580 return true;
581ENUM_RS_HEADER()
582#undef RS_HEADER_ENTRY
583 return false;
584}
585
586bool Slang::IsLocInRSHeaderFile(const clang::SourceLocation &Loc,
587 const clang::SourceManager &SourceMgr) {
588 clang::FullSourceLoc FSL(Loc, SourceMgr);
589 clang::PresumedLoc PLoc = SourceMgr.getPresumedLoc(FSL);
590
591 const char *Filename = PLoc.getFilename();
592 if (!Filename) {
593 return false;
594 } else {
595 return IsRSHeaderFile(llvm::sys::path::filename(Filename).data());
596 }
597}
598
599bool Slang::compile(
600 const std::list<std::pair<const char*, const char*> > &IOFiles64,
601 const std::list<std::pair<const char*, const char*> > &IOFiles32,
602 const std::list<std::pair<const char*, const char*> > &DepFiles,
Jean-Luc Brouillet5309b0c2015-05-01 16:13:11 -0700603 const RSCCOptions &Opts,
604 clang::DiagnosticOptions &DiagOpts) {
Jean-Luc Brouillet8024ed52015-05-04 23:02:25 -0700605 if (IOFiles32.empty())
606 return true;
607
608 if (Opts.mEmitDependency && (DepFiles.size() != IOFiles32.size())) {
Jean-Luc Brouillet5309b0c2015-05-01 16:13:11 -0700609 unsigned DiagID = mDiagEngine->getCustomDiagID(
610 clang::DiagnosticsEngine::Error,
611 "invalid parameter for output dependencies files.");
612 getDiagnostics().Report(DiagID);
Jean-Luc Brouillet8024ed52015-05-04 23:02:25 -0700613 return false;
614 }
615
616 if (Opts.mEmit3264 && (IOFiles64.size() != IOFiles32.size())) {
617 slangAssert(false && "Should have equal number of 32/64-bit files");
618 return false;
619 }
620
621 std::string RealPackageName;
622
623 const char *InputFile, *Output64File, *Output32File, *BCOutputFile,
624 *DepOutputFile;
Jean-Luc Brouillet8024ed52015-05-04 23:02:25 -0700625
626 setIncludePaths(Opts.mIncludePaths);
627 setOutputType(Opts.mOutputType);
628 if (Opts.mEmitDependency) {
629 setAdditionalDepTargets(Opts.mAdditionalDepTargets);
630 }
631
632 setDebugMetadataEmission(Opts.mDebugEmission);
633
634 setOptimizationLevel(Opts.mOptimizationLevel);
635
636 mAllowRSPrefix = Opts.mAllowRSPrefix;
637
638 mTargetAPI = Opts.mTargetAPI;
639 if (mTargetAPI != SLANG_DEVELOPMENT_TARGET_API &&
640 (mTargetAPI < SLANG_MINIMUM_TARGET_API ||
641 mTargetAPI > SLANG_MAXIMUM_TARGET_API)) {
Jean-Luc Brouillet5309b0c2015-05-01 16:13:11 -0700642 unsigned DiagID = mDiagEngine->getCustomDiagID(
643 clang::DiagnosticsEngine::Error,
644 "target API level '%0' is out of range ('%1' - '%2')");
645 getDiagnostics().Report(DiagID) << mTargetAPI << SLANG_MINIMUM_TARGET_API
646 << SLANG_MAXIMUM_TARGET_API;
Jean-Luc Brouillet8024ed52015-05-04 23:02:25 -0700647 return false;
648 }
649
Stephen Hinesbd0a7dd2015-07-01 19:24:00 -0700650 if (mTargetAPI >= SLANG_M_TARGET_API) {
Pirama Arumuga Nainare4dd17d2015-04-07 11:09:14 -0700651 LangOpts.NativeHalfType = 1;
652 LangOpts.HalfArgsAndReturns = 1;
653 }
654
Jean-Luc Brouillet8024ed52015-05-04 23:02:25 -0700655 mVerbose = Opts.mVerbose;
656
657 // Skip generation of warnings a second time if we are doing more than just
658 // a single pass over the input file.
659 bool SuppressAllWarnings = (Opts.mOutputType != Slang::OT_Dependency);
660
Jean-Luc Brouillet5309b0c2015-05-01 16:13:11 -0700661 std::list<std::pair<const char*, const char*> >::const_iterator
662 IOFile64Iter = IOFiles64.begin(),
663 IOFile32Iter = IOFiles32.begin(),
664 DepFileIter = DepFiles.begin();
Jean-Luc Brouillet8024ed52015-05-04 23:02:25 -0700665
666 for (unsigned i = 0, e = IOFiles32.size(); i != e; i++) {
667 InputFile = IOFile64Iter->first;
668 Output64File = IOFile64Iter->second;
669 Output32File = IOFile32Iter->second;
670
Jean-Luc Brouillet8024ed52015-05-04 23:02:25 -0700671 if (!setInputSource(InputFile))
672 return false;
673
674 if (!setOutput(Output64File))
675 return false;
676
Jean-Luc Brouillet5309b0c2015-05-01 16:13:11 -0700677 // For use with 64-bit compilation/reflection. This only sets the filename of
678 // the 32-bit bitcode file, and doesn't actually verify it already exists.
679 mOutput32FileName = Output32File;
Jean-Luc Brouillet8024ed52015-05-04 23:02:25 -0700680
681 mIsFilterscript = isFilterscript(InputFile);
682
Stephen McGroarty68e562f2015-06-05 16:57:24 +0100683 CodeGenOpts.MainFileName = mInputFileName;
684
David Gross2770d0e2015-08-03 14:58:59 -0700685 if (Slang::compile(Opts) > 0)
Jean-Luc Brouillet8024ed52015-05-04 23:02:25 -0700686 return false;
687
688 if (!Opts.mJavaReflectionPackageName.empty()) {
689 mRSContext->setReflectJavaPackageName(Opts.mJavaReflectionPackageName);
690 }
691 const std::string &RealPackageName =
692 mRSContext->getReflectJavaPackageName();
693
694 bool doReflection = true;
695 if (Opts.mEmit3264 && (Opts.mBitWidth == 32)) {
696 // Skip reflection on the 32-bit path if we are going to emit it on the
697 // 64-bit path.
698 doReflection = false;
699 }
700 if (Opts.mOutputType != Slang::OT_Dependency && doReflection) {
701
702 if (Opts.mBitcodeStorage == BCST_CPP_CODE) {
703 const std::string &outputFileName = (Opts.mBitWidth == 64) ?
Jean-Luc Brouillet5309b0c2015-05-01 16:13:11 -0700704 mOutputFileName : mOutput32FileName;
Jean-Luc Brouillet8024ed52015-05-04 23:02:25 -0700705 RSReflectionCpp R(mRSContext, Opts.mJavaReflectionPathBase,
706 getInputFileName(), outputFileName);
707 if (!R.reflect()) {
708 return false;
709 }
710 } else {
711 if (!Opts.mRSPackageName.empty()) {
712 mRSContext->setRSPackageName(Opts.mRSPackageName);
713 }
714
Jean-Luc Brouilletff5abc62015-05-05 21:16:44 -0700715 std::vector<std::string> generatedFileNames;
716 RSReflectionJava R(mRSContext, &generatedFileNames,
Jean-Luc Brouillet8024ed52015-05-04 23:02:25 -0700717 Opts.mJavaReflectionPathBase, getInputFileName(),
Jean-Luc Brouillet5309b0c2015-05-01 16:13:11 -0700718 mOutputFileName,
Jean-Luc Brouillet8024ed52015-05-04 23:02:25 -0700719 Opts.mBitcodeStorage == BCST_JAVA_CODE);
720 if (!R.reflect()) {
721 // TODO Is this needed or will the error message have been printed
722 // already? and why not for the C++ case?
723 fprintf(stderr, "RSContext::reflectToJava : failed to do reflection "
724 "(%s)\n",
725 R.getLastError());
726 return false;
727 }
728
729 for (std::vector<std::string>::const_iterator
Jean-Luc Brouilletff5abc62015-05-05 21:16:44 -0700730 I = generatedFileNames.begin(), E = generatedFileNames.end();
Jean-Luc Brouillet8024ed52015-05-04 23:02:25 -0700731 I != E;
732 I++) {
733 std::string ReflectedName = RSSlangReflectUtils::ComputePackagedPath(
734 Opts.mJavaReflectionPathBase.c_str(),
735 (RealPackageName + OS_PATH_SEPARATOR_STR + *I).c_str());
736 appendGeneratedFileName(ReflectedName + ".java");
737 }
738
739 if ((Opts.mOutputType == Slang::OT_Bitcode) &&
740 (Opts.mBitcodeStorage == BCST_JAVA_CODE) &&
741 !generateJavaBitcodeAccessor(Opts.mJavaReflectionPathBase,
742 RealPackageName.c_str(),
743 mRSContext->getLicenseNote())) {
744 return false;
745 }
746 }
747 }
748
749 if (Opts.mEmitDependency) {
750 BCOutputFile = DepFileIter->first;
751 DepOutputFile = DepFileIter->second;
752
753 setDepTargetBC(BCOutputFile);
754
755 if (!setDepOutput(DepOutputFile))
756 return false;
757
758 if (SuppressAllWarnings) {
759 getDiagnostics().setSuppressAllDiagnostics(true);
760 }
Ying Wang21c94c92015-07-22 16:27:14 -0700761 if (generateDepFile(Opts.mEmitPhonyDependency) > 0)
Jean-Luc Brouillet8024ed52015-05-04 23:02:25 -0700762 return false;
763 if (SuppressAllWarnings) {
764 getDiagnostics().setSuppressAllDiagnostics(false);
765 }
766
767 DepFileIter++;
768 }
769
770 if (!checkODR(InputFile))
771 return false;
772
773 IOFile64Iter++;
774 IOFile32Iter++;
775 }
Jean-Luc Brouillet8024ed52015-05-04 23:02:25 -0700776 return true;
Shih-wei Liao462aefd2010-06-04 15:32:04 -0700777}
Stephen Hinese639eb52010-11-08 19:27:20 -0800778
779} // namespace slang