Zonr Chang | c383a50 | 2010-10-12 01:52:08 +0800 | [diff] [blame] | 1 | /* |
| 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 | |
zonr | 6315f76 | 2010-10-05 15:35:14 +0800 | [diff] [blame] | 17 | #include "slang.h" |
Shih-wei Liao | 462aefd | 2010-06-04 15:32:04 -0700 | [diff] [blame] | 18 | |
Shih-wei Liao | 9ef2f78 | 2010-10-01 12:31:37 -0700 | [diff] [blame] | 19 | #include <stdlib.h> |
| 20 | |
Jean-Luc Brouillet | 8024ed5 | 2015-05-04 23:02:25 -0700 | [diff] [blame] | 21 | #include <cstring> |
| 22 | #include <list> |
| 23 | #include <sstream> |
Stephen Hines | e639eb5 | 2010-11-08 19:27:20 -0800 | [diff] [blame] | 24 | #include <string> |
Jean-Luc Brouillet | 8024ed5 | 2015-05-04 23:02:25 -0700 | [diff] [blame] | 25 | #include <utility> |
Stephen Hines | e639eb5 | 2010-11-08 19:27:20 -0800 | [diff] [blame] | 26 | #include <vector> |
| 27 | |
| 28 | #include "clang/AST/ASTConsumer.h" |
| 29 | #include "clang/AST/ASTContext.h" |
| 30 | |
Logan | be27482 | 2011-02-16 22:02:54 +0800 | [diff] [blame] | 31 | #include "clang/Basic/DiagnosticIDs.h" |
Stephen Hines | 23c4358 | 2013-01-09 20:02:04 -0800 | [diff] [blame] | 32 | #include "clang/Basic/DiagnosticOptions.h" |
Stephen Hines | e639eb5 | 2010-11-08 19:27:20 -0800 | [diff] [blame] | 33 | #include "clang/Basic/FileManager.h" |
Shih-wei Liao | df5bcce | 2011-02-28 18:39:23 -0800 | [diff] [blame] | 34 | #include "clang/Basic/FileSystemOptions.h" |
Jean-Luc Brouillet | 8024ed5 | 2015-05-04 23:02:25 -0700 | [diff] [blame] | 35 | #include "clang/Basic/SourceLocation.h" |
Stephen Hines | e639eb5 | 2010-11-08 19:27:20 -0800 | [diff] [blame] | 36 | #include "clang/Basic/SourceManager.h" |
| 37 | #include "clang/Basic/TargetInfo.h" |
| 38 | #include "clang/Basic/TargetOptions.h" |
| 39 | |
Stephen Hines | e639eb5 | 2010-11-08 19:27:20 -0800 | [diff] [blame] | 40 | #include "clang/Frontend/DependencyOutputOptions.h" |
| 41 | #include "clang/Frontend/FrontendDiagnostic.h" |
Stephen Hines | 0e4ee65 | 2014-06-10 14:32:26 -0700 | [diff] [blame] | 42 | #include "clang/Frontend/FrontendOptions.h" |
Stephen Hines | e639eb5 | 2010-11-08 19:27:20 -0800 | [diff] [blame] | 43 | #include "clang/Frontend/TextDiagnosticPrinter.h" |
| 44 | #include "clang/Frontend/Utils.h" |
| 45 | |
| 46 | #include "clang/Lex/Preprocessor.h" |
Stephen Hines | 23c4358 | 2013-01-09 20:02:04 -0800 | [diff] [blame] | 47 | #include "clang/Lex/PreprocessorOptions.h" |
Stephen Hines | e639eb5 | 2010-11-08 19:27:20 -0800 | [diff] [blame] | 48 | #include "clang/Lex/HeaderSearch.h" |
Stephen Hines | 23c4358 | 2013-01-09 20:02:04 -0800 | [diff] [blame] | 49 | #include "clang/Lex/HeaderSearchOptions.h" |
Stephen Hines | e639eb5 | 2010-11-08 19:27:20 -0800 | [diff] [blame] | 50 | |
| 51 | #include "clang/Parse/ParseAST.h" |
| 52 | |
Jean-Luc Brouillet | 8024ed5 | 2015-05-04 23:02:25 -0700 | [diff] [blame] | 53 | #include "clang/Sema/SemaDiagnostic.h" |
| 54 | |
Logan | be27482 | 2011-02-16 22:02:54 +0800 | [diff] [blame] | 55 | #include "llvm/ADT/IntrusiveRefCntPtr.h" |
| 56 | |
Stephen Hines | e639eb5 | 2010-11-08 19:27:20 -0800 | [diff] [blame] | 57 | #include "llvm/Bitcode/ReaderWriter.h" |
| 58 | |
| 59 | // More force linking |
Tim Murray | ee4016d | 2014-04-10 15:49:08 -0700 | [diff] [blame] | 60 | #include "llvm/Linker/Linker.h" |
Stephen Hines | e639eb5 | 2010-11-08 19:27:20 -0800 | [diff] [blame] | 61 | |
Zonr Chang | 08df36e | 2010-10-07 18:50:42 +0800 | [diff] [blame] | 62 | // Force linking all passes/vmcore stuffs to libslang.so |
Stephen Hines | 0da7f6c | 2013-03-05 15:19:02 -0800 | [diff] [blame] | 63 | #include "llvm/LinkAllIR.h" |
Zonr Chang | 08df36e | 2010-10-07 18:50:42 +0800 | [diff] [blame] | 64 | #include "llvm/LinkAllPasses.h" |
Zonr Chang | 08df36e | 2010-10-07 18:50:42 +0800 | [diff] [blame] | 65 | |
Zonr Chang | 3a9ca1f | 2010-10-06 17:52:56 +0800 | [diff] [blame] | 66 | #include "llvm/Support/raw_ostream.h" |
zonr | 6315f76 | 2010-10-05 15:35:14 +0800 | [diff] [blame] | 67 | #include "llvm/Support/MemoryBuffer.h" |
| 68 | #include "llvm/Support/ErrorHandling.h" |
| 69 | #include "llvm/Support/ManagedStatic.h" |
Logan | be27482 | 2011-02-16 22:02:54 +0800 | [diff] [blame] | 70 | #include "llvm/Support/Path.h" |
Logan Chien | 9207a2e | 2011-10-21 15:39:28 +0800 | [diff] [blame] | 71 | #include "llvm/Support/TargetSelect.h" |
| 72 | #include "llvm/Support/ToolOutputFile.h" |
Stephen Hines | cc0efad | 2010-10-04 16:13:02 -0700 | [diff] [blame] | 73 | |
Jean-Luc Brouillet | 8024ed5 | 2015-05-04 23:02:25 -0700 | [diff] [blame] | 74 | #include "os_sep.h" |
| 75 | #include "rs_cc_options.h" |
Stephen Hines | 6e6578a | 2011-02-07 18:05:48 -0800 | [diff] [blame] | 76 | #include "slang_assert.h" |
Zonr Chang | 3a9ca1f | 2010-10-06 17:52:56 +0800 | [diff] [blame] | 77 | #include "slang_backend.h" |
Shih-wei Liao | b81c6a4 | 2010-10-10 14:15:00 -0700 | [diff] [blame] | 78 | |
Jean-Luc Brouillet | 8024ed5 | 2015-05-04 23:02:25 -0700 | [diff] [blame] | 79 | #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 Chang | 08df36e | 2010-10-07 18:50:42 +0800 | [diff] [blame] | 86 | namespace { |
Zonr Chang | 08df36e | 2010-10-07 18:50:42 +0800 | [diff] [blame] | 87 | |
Stephen Hines | 9ae18b2 | 2014-06-10 23:53:00 -0700 | [diff] [blame] | 88 | static const char *kRSTriple32 = "armv7-none-linux-gnueabi"; |
| 89 | static const char *kRSTriple64 = "aarch64-none-linux-gnueabi"; |
| 90 | |
Stephen Hines | e639eb5 | 2010-11-08 19:27:20 -0800 | [diff] [blame] | 91 | } // namespace |
| 92 | |
| 93 | namespace slang { |
Shih-wei Liao | 9ef2f78 | 2010-10-01 12:31:37 -0700 | [diff] [blame] | 94 | |
Jean-Luc Brouillet | 8024ed5 | 2015-05-04 23:02:25 -0700 | [diff] [blame] | 95 | |
| 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 Liao | 9ef2f78 | 2010-10-01 12:31:37 -0700 | [diff] [blame] | 121 | // The named of metadata node that pragma resides (should be synced with |
| 122 | // bcc.cpp) |
Shih-wei Liao | f52a620 | 2010-09-10 17:40:53 -0700 | [diff] [blame] | 123 | const llvm::StringRef Slang::PragmaMetadataName = "#pragma"; |
Shih-wei Liao | 462aefd | 2010-06-04 15:32:04 -0700 | [diff] [blame] | 124 | |
Logan Chien | 9207a2e | 2011-10-21 15:39:28 +0800 | [diff] [blame] | 125 | static inline llvm::tool_output_file * |
| 126 | OpenOutputFile(const char *OutputFile, |
Stephen Hines | a1f95ee | 2013-08-09 01:26:08 -0700 | [diff] [blame] | 127 | llvm::sys::fs::OpenFlags Flags, |
Stephen Hines | 3eb819a | 2014-11-24 18:16:52 -0800 | [diff] [blame] | 128 | std::error_code &EC, |
Stephen Hines | e67239d | 2012-02-24 15:08:36 -0800 | [diff] [blame] | 129 | clang::DiagnosticsEngine *DiagEngine) { |
Stephen Hines | 3eb819a | 2014-11-24 18:16:52 -0800 | [diff] [blame] | 130 | slangAssert((OutputFile != nullptr) && |
Chris Wailes | 5abbe0e | 2014-08-12 15:58:29 -0700 | [diff] [blame] | 131 | (DiagEngine != nullptr) && "Invalid parameter!"); |
Zonr Chang | e8c263a | 2010-10-12 00:35:29 +0800 | [diff] [blame] | 132 | |
Stephen Hines | 3eb819a | 2014-11-24 18:16:52 -0800 | [diff] [blame] | 133 | EC = llvm::sys::fs::create_directories( |
| 134 | llvm::sys::path::parent_path(OutputFile)); |
| 135 | if (!EC) { |
Zonr Chang | e8c263a | 2010-10-12 00:35:29 +0800 | [diff] [blame] | 136 | llvm::tool_output_file *F = |
Stephen Hines | 3eb819a | 2014-11-24 18:16:52 -0800 | [diff] [blame] | 137 | new llvm::tool_output_file(OutputFile, EC, Flags); |
Chris Wailes | 5abbe0e | 2014-08-12 15:58:29 -0700 | [diff] [blame] | 138 | if (F != nullptr) |
Zonr Chang | e8c263a | 2010-10-12 00:35:29 +0800 | [diff] [blame] | 139 | return F; |
| 140 | } |
| 141 | |
| 142 | // Report error here. |
Logan Chien | 9207a2e | 2011-10-21 15:39:28 +0800 | [diff] [blame] | 143 | DiagEngine->Report(clang::diag::err_fe_error_opening) |
Stephen Hines | 3eb819a | 2014-11-24 18:16:52 -0800 | [diff] [blame] | 144 | << OutputFile << EC.message(); |
Zonr Chang | e8c263a | 2010-10-12 00:35:29 +0800 | [diff] [blame] | 145 | |
Chris Wailes | 5abbe0e | 2014-08-12 15:58:29 -0700 | [diff] [blame] | 146 | return nullptr; |
Zonr Chang | e8c263a | 2010-10-12 00:35:29 +0800 | [diff] [blame] | 147 | } |
| 148 | |
Stephen Hines | 9ae18b2 | 2014-06-10 23:53:00 -0700 | [diff] [blame] | 149 | void Slang::createTarget(uint32_t BitWidth) { |
| 150 | std::vector<std::string> features; |
Shih-wei Liao | 462aefd | 2010-06-04 15:32:04 -0700 | [diff] [blame] | 151 | |
Stephen Hines | 9ae18b2 | 2014-06-10 23:53:00 -0700 | [diff] [blame] | 152 | 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 Liao | b81c6a4 | 2010-10-10 14:15:00 -0700 | [diff] [blame] | 160 | |
Logan Chien | 9207a2e | 2011-10-21 15:39:28 +0800 | [diff] [blame] | 161 | mTarget.reset(clang::TargetInfo::CreateTargetInfo(*mDiagEngine, |
Stephen Hines | 7ac9d0d | 2014-07-15 16:50:03 -0700 | [diff] [blame] | 162 | mTargetOpts)); |
Shih-wei Liao | 462aefd | 2010-06-04 15:32:04 -0700 | [diff] [blame] | 163 | } |
| 164 | |
Zonr Chang | 3a9ca1f | 2010-10-06 17:52:56 +0800 | [diff] [blame] | 165 | void Slang::createFileManager() { |
Shih-wei Liao | df5bcce | 2011-02-28 18:39:23 -0800 | [diff] [blame] | 166 | mFileSysOpt.reset(new clang::FileSystemOptions()); |
Logan | be27482 | 2011-02-16 22:02:54 +0800 | [diff] [blame] | 167 | mFileMgr.reset(new clang::FileManager(*mFileSysOpt)); |
Zonr Chang | 3a9ca1f | 2010-10-06 17:52:56 +0800 | [diff] [blame] | 168 | } |
| 169 | |
| 170 | void Slang::createSourceManager() { |
Logan Chien | 9207a2e | 2011-10-21 15:39:28 +0800 | [diff] [blame] | 171 | mSourceMgr.reset(new clang::SourceManager(*mDiagEngine, *mFileMgr)); |
Zonr Chang | 3a9ca1f | 2010-10-06 17:52:56 +0800 | [diff] [blame] | 172 | } |
| 173 | |
Shih-wei Liao | 68e8e9f | 2010-07-18 18:46:49 -0700 | [diff] [blame] | 174 | void Slang::createPreprocessor() { |
Shih-wei Liao | 9ef2f78 | 2010-10-01 12:31:37 -0700 | [diff] [blame] | 175 | // Default only search header file in current dir |
Stephen Hines | 23c4358 | 2013-01-09 20:02:04 -0800 | [diff] [blame] | 176 | llvm::IntrusiveRefCntPtr<clang::HeaderSearchOptions> HSOpts = |
| 177 | new clang::HeaderSearchOptions(); |
| 178 | clang::HeaderSearch *HeaderInfo = new clang::HeaderSearch(HSOpts, |
Stephen Hines | eeb251e | 2014-02-11 02:08:05 -0800 | [diff] [blame] | 179 | *mSourceMgr, |
Stephen Hines | 0444de0 | 2012-03-02 23:19:06 -0800 | [diff] [blame] | 180 | *mDiagEngine, |
| 181 | LangOpts, |
| 182 | mTarget.get()); |
Shih-wei Liao | 68e8e9f | 2010-07-18 18:46:49 -0700 | [diff] [blame] | 183 | |
Stephen Hines | 23c4358 | 2013-01-09 20:02:04 -0800 | [diff] [blame] | 184 | llvm::IntrusiveRefCntPtr<clang::PreprocessorOptions> PPOpts = |
| 185 | new clang::PreprocessorOptions(); |
| 186 | mPP.reset(new clang::Preprocessor(PPOpts, |
| 187 | *mDiagEngine, |
Shih-wei Liao | 9ef2f78 | 2010-10-01 12:31:37 -0700 | [diff] [blame] | 188 | LangOpts, |
Shih-wei Liao | 9ef2f78 | 2010-10-01 12:31:37 -0700 | [diff] [blame] | 189 | *mSourceMgr, |
Logan Chien | 9207a2e | 2011-10-21 15:39:28 +0800 | [diff] [blame] | 190 | *HeaderInfo, |
| 191 | *this, |
Chris Wailes | 5abbe0e | 2014-08-12 15:58:29 -0700 | [diff] [blame] | 192 | nullptr, |
Zonr Chang | 3a9ca1f | 2010-10-06 17:52:56 +0800 | [diff] [blame] | 193 | /* OwnsHeaderSearch = */true)); |
Stephen Hines | 3fd0a94 | 2011-01-18 12:27:39 -0800 | [diff] [blame] | 194 | // Initialize the preprocessor |
Stephen Hines | 75d4718 | 2014-05-28 09:43:18 -0700 | [diff] [blame] | 195 | mPP->Initialize(getTargetInfo()); |
Stephen Hines | 0e4ee65 | 2014-06-10 14:32:26 -0700 | [diff] [blame] | 196 | clang::FrontendOptions FEOpts; |
Stephen Hines | 7ac9d0d | 2014-07-15 16:50:03 -0700 | [diff] [blame] | 197 | clang::InitializePreprocessor(*mPP, *PPOpts, FEOpts); |
Stephen Hines | 0e4ee65 | 2014-06-10 14:32:26 -0700 | [diff] [blame] | 198 | |
Shih-wei Liao | 68e8e9f | 2010-07-18 18:46:49 -0700 | [diff] [blame] | 199 | mPragmas.clear(); |
Stephen Hines | 3fd0a94 | 2011-01-18 12:27:39 -0800 | [diff] [blame] | 200 | mPP->AddPragmaHandler(new PragmaRecorder(&mPragmas)); |
Shih-wei Liao | 68e8e9f | 2010-07-18 18:46:49 -0700 | [diff] [blame] | 201 | |
Shih-wei Liao | 9ef2f78 | 2010-10-01 12:31:37 -0700 | [diff] [blame] | 202 | std::vector<clang::DirectoryLookup> SearchList; |
Zonr Chang | 3a9ca1f | 2010-10-06 17:52:56 +0800 | [diff] [blame] | 203 | for (unsigned i = 0, e = mIncludePaths.size(); i != e; i++) { |
Shih-wei Liao | 9ef2f78 | 2010-10-01 12:31:37 -0700 | [diff] [blame] | 204 | if (const clang::DirectoryEntry *DE = |
Logan | be27482 | 2011-02-16 22:02:54 +0800 | [diff] [blame] | 205 | mFileMgr->getDirectory(mIncludePaths[i])) { |
Shih-wei Liao | 9ef2f78 | 2010-10-01 12:31:37 -0700 | [diff] [blame] | 206 | SearchList.push_back(clang::DirectoryLookup(DE, |
| 207 | clang::SrcMgr::C_System, |
Shih-wei Liao | 9ef2f78 | 2010-10-01 12:31:37 -0700 | [diff] [blame] | 208 | false)); |
| 209 | } |
Shih-wei Liao | 9089828 | 2010-07-19 18:38:57 -0700 | [diff] [blame] | 210 | } |
| 211 | |
Logan Chien | 9207a2e | 2011-10-21 15:39:28 +0800 | [diff] [blame] | 212 | HeaderInfo->SetSearchPaths(SearchList, |
| 213 | /* angledDirIdx = */1, |
| 214 | /* systemDixIdx = */1, |
| 215 | /* noCurDirSearch = */false); |
Shih-wei Liao | 9089828 | 2010-07-19 18:38:57 -0700 | [diff] [blame] | 216 | |
Zonr Chang | 3a9ca1f | 2010-10-06 17:52:56 +0800 | [diff] [blame] | 217 | initPreprocessor(); |
Shih-wei Liao | 68e8e9f | 2010-07-18 18:46:49 -0700 | [diff] [blame] | 218 | } |
| 219 | |
Zonr Chang | 3a9ca1f | 2010-10-06 17:52:56 +0800 | [diff] [blame] | 220 | void Slang::createASTContext() { |
Jean-Luc Brouillet | 8024ed5 | 2015-05-04 23:02:25 -0700 | [diff] [blame] | 221 | mASTContext.reset( |
| 222 | new clang::ASTContext(LangOpts, *mSourceMgr, mPP->getIdentifierTable(), |
| 223 | mPP->getSelectorTable(), mPP->getBuiltinInfo())); |
Stephen Hines | 75d4718 | 2014-05-28 09:43:18 -0700 | [diff] [blame] | 224 | mASTContext->InitBuiltinTypes(getTargetInfo()); |
Zonr Chang | 3a9ca1f | 2010-10-06 17:52:56 +0800 | [diff] [blame] | 225 | initASTContext(); |
Zonr Chang | 3a9ca1f | 2010-10-06 17:52:56 +0800 | [diff] [blame] | 226 | } |
| 227 | |
Logan Chien | 9207a2e | 2011-10-21 15:39:28 +0800 | [diff] [blame] | 228 | clang::ASTConsumer * |
David Gross | 2770d0e | 2015-08-03 14:58:59 -0700 | [diff] [blame] | 229 | Slang::createBackend(const RSCCOptions &Opts, const clang::CodeGenOptions &CodeGenOpts, |
Jean-Luc Brouillet | 5309b0c | 2015-05-01 16:13:11 -0700 | [diff] [blame] | 230 | llvm::raw_ostream *OS, OutputType OT) { |
David Gross | 2770d0e | 2015-08-03 14:58:59 -0700 | [diff] [blame] | 231 | return new Backend(mRSContext, &getDiagnostics(), Opts, CodeGenOpts, |
Jean-Luc Brouillet | 8024ed5 | 2015-05-04 23:02:25 -0700 | [diff] [blame] | 232 | getTargetOptions(), &mPragmas, OS, OT, getSourceManager(), |
| 233 | mAllowRSPrefix, mIsFilterscript); |
Zonr Chang | 3a9ca1f | 2010-10-06 17:52:56 +0800 | [diff] [blame] | 234 | } |
| 235 | |
Jean-Luc Brouillet | 5309b0c | 2015-05-01 16:13:11 -0700 | [diff] [blame] | 236 | Slang::Slang(uint32_t BitWidth, clang::DiagnosticsEngine *DiagEngine, |
| 237 | DiagnosticBuffer *DiagClient) |
| 238 | : mDiagEngine(DiagEngine), mDiagClient(DiagClient), |
Jean-Luc Brouillet | 8024ed5 | 2015-05-04 23:02:25 -0700 | [diff] [blame] | 239 | mTargetOpts(new clang::TargetOptions()), mOT(OT_Default), |
| 240 | mRSContext(nullptr), mAllowRSPrefix(false), mTargetAPI(0), |
| 241 | mVerbose(false), mIsFilterscript(false) { |
Jean-Luc Brouillet | 5309b0c | 2015-05-01 16:13:11 -0700 | [diff] [blame] | 242 | // 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 Hines | fac3b02 | 2015-08-10 19:24:24 -0700 | [diff] [blame] | 253 | // 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 Brouillet | 5309b0c | 2015-05-01 16:13:11 -0700 | [diff] [blame] | 261 | createTarget(BitWidth); |
| 262 | createFileManager(); |
| 263 | createSourceManager(); |
Zonr Chang | 641558f | 2010-10-12 21:07:06 +0800 | [diff] [blame] | 264 | } |
| 265 | |
Jean-Luc Brouillet | 8024ed5 | 2015-05-04 23:02:25 -0700 | [diff] [blame] | 266 | Slang::~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 Hines | 23c4358 | 2013-01-09 20:02:04 -0800 | [diff] [blame] | 275 | clang::ModuleLoadResult Slang::loadModule( |
| 276 | clang::SourceLocation ImportLoc, |
| 277 | clang::ModuleIdPath Path, |
| 278 | clang::Module::NameVisibilityKind Visibility, |
| 279 | bool IsInclusionDirective) { |
Logan Chien | 9207a2e | 2011-10-21 15:39:28 +0800 | [diff] [blame] | 280 | slangAssert(0 && "Not implemented"); |
Stephen Hines | 23c4358 | 2013-01-09 20:02:04 -0800 | [diff] [blame] | 281 | return clang::ModuleLoadResult(); |
Shih-wei Liao | 462aefd | 2010-06-04 15:32:04 -0700 | [diff] [blame] | 282 | } |
| 283 | |
Zonr Chang | 3a9ca1f | 2010-10-06 17:52:56 +0800 | [diff] [blame] | 284 | bool Slang::setInputSource(llvm::StringRef InputFile) { |
| 285 | mInputFileName = InputFile.str(); |
Shih-wei Liao | 462aefd | 2010-06-04 15:32:04 -0700 | [diff] [blame] | 286 | |
Shih-wei Liao | 9ef2f78 | 2010-10-01 12:31:37 -0700 | [diff] [blame] | 287 | mSourceMgr->clearIDTables(); |
Shih-wei Liao | 462aefd | 2010-06-04 15:32:04 -0700 | [diff] [blame] | 288 | |
Logan | be27482 | 2011-02-16 22:02:54 +0800 | [diff] [blame] | 289 | const clang::FileEntry *File = mFileMgr->getFile(InputFile); |
Stephen Hines | 75d4718 | 2014-05-28 09:43:18 -0700 | [diff] [blame] | 290 | if (File) { |
| 291 | mSourceMgr->setMainFileID(mSourceMgr->createFileID(File, |
| 292 | clang::SourceLocation(), clang::SrcMgr::C_User)); |
| 293 | } |
Shih-wei Liao | 462aefd | 2010-06-04 15:32:04 -0700 | [diff] [blame] | 294 | |
Shih-wei Liao | 9ef2f78 | 2010-10-01 12:31:37 -0700 | [diff] [blame] | 295 | if (mSourceMgr->getMainFileID().isInvalid()) { |
Logan Chien | 9207a2e | 2011-10-21 15:39:28 +0800 | [diff] [blame] | 296 | mDiagEngine->Report(clang::diag::err_fe_error_reading) << InputFile; |
Shih-wei Liao | 9ef2f78 | 2010-10-01 12:31:37 -0700 | [diff] [blame] | 297 | return false; |
| 298 | } |
Shih-wei Liao | 462aefd | 2010-06-04 15:32:04 -0700 | [diff] [blame] | 299 | |
Shih-wei Liao | 9ef2f78 | 2010-10-01 12:31:37 -0700 | [diff] [blame] | 300 | return true; |
Shih-wei Liao | 462aefd | 2010-06-04 15:32:04 -0700 | [diff] [blame] | 301 | } |
| 302 | |
Zonr Chang | 3a9ca1f | 2010-10-06 17:52:56 +0800 | [diff] [blame] | 303 | bool Slang::setOutput(const char *OutputFile) { |
Stephen Hines | 3eb819a | 2014-11-24 18:16:52 -0800 | [diff] [blame] | 304 | std::error_code EC; |
Chris Wailes | 5abbe0e | 2014-08-12 15:58:29 -0700 | [diff] [blame] | 305 | llvm::tool_output_file *OS = nullptr; |
Shih-wei Liao | 462aefd | 2010-06-04 15:32:04 -0700 | [diff] [blame] | 306 | |
Zonr Chang | 3a9ca1f | 2010-10-06 17:52:56 +0800 | [diff] [blame] | 307 | switch (mOT) { |
Stephen Hines | cc0efad | 2010-10-04 16:13:02 -0700 | [diff] [blame] | 308 | case OT_Dependency: |
Zonr Chang | 3a9ca1f | 2010-10-06 17:52:56 +0800 | [diff] [blame] | 309 | case OT_Assembly: |
| 310 | case OT_LLVMAssembly: { |
Stephen Hines | 3eb819a | 2014-11-24 18:16:52 -0800 | [diff] [blame] | 311 | OS = OpenOutputFile(OutputFile, llvm::sys::fs::F_Text, EC, mDiagEngine); |
Shih-wei Liao | 9ef2f78 | 2010-10-01 12:31:37 -0700 | [diff] [blame] | 312 | break; |
Shih-wei Liao | 462aefd | 2010-06-04 15:32:04 -0700 | [diff] [blame] | 313 | } |
Zonr Chang | 3a9ca1f | 2010-10-06 17:52:56 +0800 | [diff] [blame] | 314 | case OT_Nothing: { |
Shih-wei Liao | 9ef2f78 | 2010-10-01 12:31:37 -0700 | [diff] [blame] | 315 | break; |
Shih-wei Liao | 462aefd | 2010-06-04 15:32:04 -0700 | [diff] [blame] | 316 | } |
Zonr Chang | 3a9ca1f | 2010-10-06 17:52:56 +0800 | [diff] [blame] | 317 | case OT_Object: |
Stephen Hines | cc0efad | 2010-10-04 16:13:02 -0700 | [diff] [blame] | 318 | case OT_Bitcode: { |
Stephen Hines | 3eb819a | 2014-11-24 18:16:52 -0800 | [diff] [blame] | 319 | OS = OpenOutputFile(OutputFile, llvm::sys::fs::F_None, EC, mDiagEngine); |
Shih-wei Liao | 9ef2f78 | 2010-10-01 12:31:37 -0700 | [diff] [blame] | 320 | break; |
| 321 | } |
Zonr Chang | 8c6d9b2 | 2010-10-07 18:01:19 +0800 | [diff] [blame] | 322 | default: { |
Stephen Hines | cc0efad | 2010-10-04 16:13:02 -0700 | [diff] [blame] | 323 | llvm_unreachable("Unknown compiler output type"); |
Zonr Chang | 8c6d9b2 | 2010-10-07 18:01:19 +0800 | [diff] [blame] | 324 | } |
Shih-wei Liao | 9ef2f78 | 2010-10-01 12:31:37 -0700 | [diff] [blame] | 325 | } |
Shih-wei Liao | 462aefd | 2010-06-04 15:32:04 -0700 | [diff] [blame] | 326 | |
Stephen Hines | 3eb819a | 2014-11-24 18:16:52 -0800 | [diff] [blame] | 327 | if (EC) |
Shih-wei Liao | 9ef2f78 | 2010-10-01 12:31:37 -0700 | [diff] [blame] | 328 | return false; |
Zonr Chang | e8c263a | 2010-10-12 00:35:29 +0800 | [diff] [blame] | 329 | |
| 330 | mOS.reset(OS); |
Shih-wei Liao | 462aefd | 2010-06-04 15:32:04 -0700 | [diff] [blame] | 331 | |
Zonr Chang | 3a9ca1f | 2010-10-06 17:52:56 +0800 | [diff] [blame] | 332 | mOutputFileName = OutputFile; |
Shih-wei Liao | 9ef2f78 | 2010-10-01 12:31:37 -0700 | [diff] [blame] | 333 | |
| 334 | return true; |
Shih-wei Liao | 462aefd | 2010-06-04 15:32:04 -0700 | [diff] [blame] | 335 | } |
| 336 | |
Stephen Hines | 0b7ef1a | 2010-10-07 16:36:59 -0700 | [diff] [blame] | 337 | bool Slang::setDepOutput(const char *OutputFile) { |
Stephen Hines | 3eb819a | 2014-11-24 18:16:52 -0800 | [diff] [blame] | 338 | std::error_code EC; |
Zonr Chang | 8c6d9b2 | 2010-10-07 18:01:19 +0800 | [diff] [blame] | 339 | |
Stephen Hines | a1f95ee | 2013-08-09 01:26:08 -0700 | [diff] [blame] | 340 | mDOS.reset( |
Stephen Hines | 3eb819a | 2014-11-24 18:16:52 -0800 | [diff] [blame] | 341 | OpenOutputFile(OutputFile, llvm::sys::fs::F_Text, EC, mDiagEngine)); |
| 342 | if (EC || (mDOS.get() == nullptr)) |
Stephen Hines | 0b7ef1a | 2010-10-07 16:36:59 -0700 | [diff] [blame] | 343 | return false; |
Stephen Hines | 0b7ef1a | 2010-10-07 16:36:59 -0700 | [diff] [blame] | 344 | |
| 345 | mDepOutputFileName = OutputFile; |
| 346 | |
| 347 | return true; |
| 348 | } |
| 349 | |
Ying Wang | 21c94c9 | 2015-07-22 16:27:14 -0700 | [diff] [blame] | 350 | int Slang::generateDepFile(bool PhonyTarget) { |
Logan Chien | 9207a2e | 2011-10-21 15:39:28 +0800 | [diff] [blame] | 351 | if (mDiagEngine->hasErrorOccurred()) |
Logan | be27482 | 2011-02-16 22:02:54 +0800 | [diff] [blame] | 352 | return 1; |
Chris Wailes | 5abbe0e | 2014-08-12 15:58:29 -0700 | [diff] [blame] | 353 | if (mDOS.get() == nullptr) |
Stephen Hines | f7de852 | 2010-10-06 11:46:18 -0700 | [diff] [blame] | 354 | return 1; |
Stephen Hines | cc0efad | 2010-10-04 16:13:02 -0700 | [diff] [blame] | 355 | |
Zonr Chang | e8c263a | 2010-10-12 00:35:29 +0800 | [diff] [blame] | 356 | // Initialize options for generating dependency file |
Stephen Hines | cc0efad | 2010-10-04 16:13:02 -0700 | [diff] [blame] | 357 | clang::DependencyOutputOptions DepOpts; |
| 358 | DepOpts.IncludeSystemHeaders = 1; |
Ying Wang | 21c94c9 | 2015-07-22 16:27:14 -0700 | [diff] [blame] | 359 | if (PhonyTarget) |
| 360 | DepOpts.UsePhonyTargets = 1; |
Stephen Hines | 0b7ef1a | 2010-10-07 16:36:59 -0700 | [diff] [blame] | 361 | DepOpts.OutputFile = mDepOutputFileName; |
Shih-wei Liao | b81c6a4 | 2010-10-10 14:15:00 -0700 | [diff] [blame] | 362 | DepOpts.Targets = mAdditionalDepTargets; |
Stephen Hines | cc0efad | 2010-10-04 16:13:02 -0700 | [diff] [blame] | 363 | DepOpts.Targets.push_back(mDepTargetBCFileName); |
Stephen Hines | 4cc67fc | 2011-01-31 16:48:57 -0800 | [diff] [blame] | 364 | 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 Hines | cc0efad | 2010-10-04 16:13:02 -0700 | [diff] [blame] | 371 | |
Zonr Chang | e8c263a | 2010-10-12 00:35:29 +0800 | [diff] [blame] | 372 | // Per-compilation needed initialization |
Stephen Hines | cc0efad | 2010-10-04 16:13:02 -0700 | [diff] [blame] | 373 | createPreprocessor(); |
Tim Murray | ee4016d | 2014-04-10 15:49:08 -0700 | [diff] [blame] | 374 | clang::DependencyFileGenerator::CreateAndAttachToPreprocessor(*mPP.get(), DepOpts); |
Stephen Hines | cc0efad | 2010-10-04 16:13:02 -0700 | [diff] [blame] | 375 | |
Zonr Chang | e8c263a | 2010-10-12 00:35:29 +0800 | [diff] [blame] | 376 | // Inform the diagnostic client we are processing a source file |
Stephen Hines | cc0efad | 2010-10-04 16:13:02 -0700 | [diff] [blame] | 377 | mDiagClient->BeginSourceFile(LangOpts, mPP.get()); |
| 378 | |
Zonr Chang | e8c263a | 2010-10-12 00:35:29 +0800 | [diff] [blame] | 379 | // Go through the source file (no operations necessary) |
Stephen Hines | cc0efad | 2010-10-04 16:13:02 -0700 | [diff] [blame] | 380 | 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 Chang | e8c263a | 2010-10-12 00:35:29 +0800 | [diff] [blame] | 388 | // Declare success if no error |
Logan Chien | 9207a2e | 2011-10-21 15:39:28 +0800 | [diff] [blame] | 389 | if (!mDiagEngine->hasErrorOccurred()) |
Zonr Chang | e8c263a | 2010-10-12 00:35:29 +0800 | [diff] [blame] | 390 | mDOS->keep(); |
| 391 | |
| 392 | // Clean up after compilation |
Stephen Hines | cc0efad | 2010-10-04 16:13:02 -0700 | [diff] [blame] | 393 | mPP.reset(); |
Zonr Chang | e8c263a | 2010-10-12 00:35:29 +0800 | [diff] [blame] | 394 | mDOS.reset(); |
Stephen Hines | cc0efad | 2010-10-04 16:13:02 -0700 | [diff] [blame] | 395 | |
Logan Chien | 9207a2e | 2011-10-21 15:39:28 +0800 | [diff] [blame] | 396 | return mDiagEngine->hasErrorOccurred() ? 1 : 0; |
Stephen Hines | cc0efad | 2010-10-04 16:13:02 -0700 | [diff] [blame] | 397 | } |
| 398 | |
David Gross | 2770d0e | 2015-08-03 14:58:59 -0700 | [diff] [blame] | 399 | int Slang::compile(const RSCCOptions &Opts) { |
Logan Chien | 9207a2e | 2011-10-21 15:39:28 +0800 | [diff] [blame] | 400 | if (mDiagEngine->hasErrorOccurred()) |
Logan | be27482 | 2011-02-16 22:02:54 +0800 | [diff] [blame] | 401 | return 1; |
Chris Wailes | 5abbe0e | 2014-08-12 15:58:29 -0700 | [diff] [blame] | 402 | if (mOS.get() == nullptr) |
Stephen Hines | f7de852 | 2010-10-06 11:46:18 -0700 | [diff] [blame] | 403 | return 1; |
Shih-wei Liao | 9ef2f78 | 2010-10-01 12:31:37 -0700 | [diff] [blame] | 404 | |
| 405 | // Here is per-compilation needed initialization |
| 406 | createPreprocessor(); |
| 407 | createASTContext(); |
Zonr Chang | 3a9ca1f | 2010-10-06 17:52:56 +0800 | [diff] [blame] | 408 | |
David Gross | 2770d0e | 2015-08-03 14:58:59 -0700 | [diff] [blame] | 409 | mBackend.reset(createBackend(Opts, CodeGenOpts, &mOS->os(), mOT)); |
Shih-wei Liao | 9ef2f78 | 2010-10-01 12:31:37 -0700 | [diff] [blame] | 410 | |
| 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 Chang | e8c263a | 2010-10-12 00:35:29 +0800 | [diff] [blame] | 417 | // Inform the diagnostic client we are done with previous source file |
| 418 | mDiagClient->EndSourceFile(); |
| 419 | |
| 420 | // Declare success if no error |
Logan Chien | 9207a2e | 2011-10-21 15:39:28 +0800 | [diff] [blame] | 421 | if (!mDiagEngine->hasErrorOccurred()) |
Zonr Chang | e8c263a | 2010-10-12 00:35:29 +0800 | [diff] [blame] | 422 | mOS->keep(); |
| 423 | |
Zonr Chang | 3a9ca1f | 2010-10-06 17:52:56 +0800 | [diff] [blame] | 424 | // The compilation ended, clear |
Shih-wei Liao | 9ef2f78 | 2010-10-01 12:31:37 -0700 | [diff] [blame] | 425 | mBackend.reset(); |
Zonr Chang | e8c263a | 2010-10-12 00:35:29 +0800 | [diff] [blame] | 426 | mOS.reset(); |
Shih-wei Liao | 9ef2f78 | 2010-10-01 12:31:37 -0700 | [diff] [blame] | 427 | |
Logan Chien | 9207a2e | 2011-10-21 15:39:28 +0800 | [diff] [blame] | 428 | return mDiagEngine->hasErrorOccurred() ? 1 : 0; |
Shih-wei Liao | 462aefd | 2010-06-04 15:32:04 -0700 | [diff] [blame] | 429 | } |
| 430 | |
mkopec1 | c460b37 | 2012-01-09 11:21:50 -0500 | [diff] [blame] | 431 | void Slang::setDebugMetadataEmission(bool EmitDebug) { |
Shih-wei Liao | 43730fe | 2012-08-02 23:06:18 -0700 | [diff] [blame] | 432 | if (EmitDebug) |
Stephen Hines | 23c4358 | 2013-01-09 20:02:04 -0800 | [diff] [blame] | 433 | CodeGenOpts.setDebugInfo(clang::CodeGenOptions::FullDebugInfo); |
Shih-wei Liao | 43730fe | 2012-08-02 23:06:18 -0700 | [diff] [blame] | 434 | else |
Stephen Hines | 23c4358 | 2013-01-09 20:02:04 -0800 | [diff] [blame] | 435 | CodeGenOpts.setDebugInfo(clang::CodeGenOptions::NoDebugInfo); |
mkopec1 | c460b37 | 2012-01-09 11:21:50 -0500 | [diff] [blame] | 436 | } |
| 437 | |
| 438 | void Slang::setOptimizationLevel(llvm::CodeGenOpt::Level OptimizationLevel) { |
| 439 | CodeGenOpts.OptimizationLevel = OptimizationLevel; |
| 440 | } |
| 441 | |
Jean-Luc Brouillet | 8024ed5 | 2015-05-04 23:02:25 -0700 | [diff] [blame] | 442 | bool 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 | |
| 451 | bool 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 Brouillet | 5309b0c | 2015-05-01 16:13:11 -0700 | [diff] [blame] | 457 | BCAccessorContext.bc32FileName = mOutput32FileName.c_str(); |
| 458 | BCAccessorContext.bc64FileName = mOutputFileName.c_str(); |
Jean-Luc Brouillet | 8024ed5 | 2015-05-04 23:02:25 -0700 | [diff] [blame] | 459 | 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 | |
| 468 | bool 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 Brouillet | 5309b0c | 2015-05-01 16:13:11 -0700 | [diff] [blame] | 533 | 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 Brouillet | 8024ed5 | 2015-05-04 23:02:25 -0700 | [diff] [blame] | 540 | 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 Wala | 3f45a25 | 2015-06-30 11:24:19 -0700 | [diff] [blame] | 547 | if (!ReflectedDefinitions.insert(ME)) { |
| 548 | slangAssert(false && "Type shouldn't be in map yet!"); |
| 549 | } |
Jean-Luc Brouillet | 8024ed5 | 2015-05-04 23:02:25 -0700 | [diff] [blame] | 550 | |
| 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 Brouillet | 8024ed5 | 2015-05-04 23:02:25 -0700 | [diff] [blame] | 558 | void 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 | |
| 568 | void Slang::initASTContext() { |
| 569 | mRSContext = new RSContext(getPreprocessor(), |
| 570 | getASTContext(), |
| 571 | getTargetInfo(), |
| 572 | &mPragmas, |
| 573 | mTargetAPI, |
| 574 | mVerbose); |
| 575 | } |
| 576 | |
| 577 | bool Slang::IsRSHeaderFile(const char *File) { |
| 578 | #define RS_HEADER_ENTRY(name) \ |
| 579 | if (::strcmp(File, #name "." RS_HEADER_SUFFIX) == 0) \ |
| 580 | return true; |
| 581 | ENUM_RS_HEADER() |
| 582 | #undef RS_HEADER_ENTRY |
| 583 | return false; |
| 584 | } |
| 585 | |
| 586 | bool 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 | |
| 599 | bool 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 Brouillet | 5309b0c | 2015-05-01 16:13:11 -0700 | [diff] [blame] | 603 | const RSCCOptions &Opts, |
| 604 | clang::DiagnosticOptions &DiagOpts) { |
Jean-Luc Brouillet | 8024ed5 | 2015-05-04 23:02:25 -0700 | [diff] [blame] | 605 | if (IOFiles32.empty()) |
| 606 | return true; |
| 607 | |
| 608 | if (Opts.mEmitDependency && (DepFiles.size() != IOFiles32.size())) { |
Jean-Luc Brouillet | 5309b0c | 2015-05-01 16:13:11 -0700 | [diff] [blame] | 609 | unsigned DiagID = mDiagEngine->getCustomDiagID( |
| 610 | clang::DiagnosticsEngine::Error, |
| 611 | "invalid parameter for output dependencies files."); |
| 612 | getDiagnostics().Report(DiagID); |
Jean-Luc Brouillet | 8024ed5 | 2015-05-04 23:02:25 -0700 | [diff] [blame] | 613 | 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 Brouillet | 8024ed5 | 2015-05-04 23:02:25 -0700 | [diff] [blame] | 625 | |
| 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 Brouillet | 5309b0c | 2015-05-01 16:13:11 -0700 | [diff] [blame] | 642 | 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 Brouillet | 8024ed5 | 2015-05-04 23:02:25 -0700 | [diff] [blame] | 647 | return false; |
| 648 | } |
| 649 | |
Stephen Hines | bd0a7dd | 2015-07-01 19:24:00 -0700 | [diff] [blame] | 650 | if (mTargetAPI >= SLANG_M_TARGET_API) { |
Pirama Arumuga Nainar | e4dd17d | 2015-04-07 11:09:14 -0700 | [diff] [blame] | 651 | LangOpts.NativeHalfType = 1; |
| 652 | LangOpts.HalfArgsAndReturns = 1; |
| 653 | } |
| 654 | |
Jean-Luc Brouillet | 8024ed5 | 2015-05-04 23:02:25 -0700 | [diff] [blame] | 655 | 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 Brouillet | 5309b0c | 2015-05-01 16:13:11 -0700 | [diff] [blame] | 661 | std::list<std::pair<const char*, const char*> >::const_iterator |
| 662 | IOFile64Iter = IOFiles64.begin(), |
| 663 | IOFile32Iter = IOFiles32.begin(), |
| 664 | DepFileIter = DepFiles.begin(); |
Jean-Luc Brouillet | 8024ed5 | 2015-05-04 23:02:25 -0700 | [diff] [blame] | 665 | |
| 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 Brouillet | 8024ed5 | 2015-05-04 23:02:25 -0700 | [diff] [blame] | 671 | if (!setInputSource(InputFile)) |
| 672 | return false; |
| 673 | |
| 674 | if (!setOutput(Output64File)) |
| 675 | return false; |
| 676 | |
Jean-Luc Brouillet | 5309b0c | 2015-05-01 16:13:11 -0700 | [diff] [blame] | 677 | // 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 Brouillet | 8024ed5 | 2015-05-04 23:02:25 -0700 | [diff] [blame] | 680 | |
| 681 | mIsFilterscript = isFilterscript(InputFile); |
| 682 | |
Stephen McGroarty | 68e562f | 2015-06-05 16:57:24 +0100 | [diff] [blame] | 683 | CodeGenOpts.MainFileName = mInputFileName; |
| 684 | |
David Gross | 2770d0e | 2015-08-03 14:58:59 -0700 | [diff] [blame] | 685 | if (Slang::compile(Opts) > 0) |
Jean-Luc Brouillet | 8024ed5 | 2015-05-04 23:02:25 -0700 | [diff] [blame] | 686 | 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 Brouillet | 5309b0c | 2015-05-01 16:13:11 -0700 | [diff] [blame] | 704 | mOutputFileName : mOutput32FileName; |
Jean-Luc Brouillet | 8024ed5 | 2015-05-04 23:02:25 -0700 | [diff] [blame] | 705 | 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 Brouillet | ff5abc6 | 2015-05-05 21:16:44 -0700 | [diff] [blame] | 715 | std::vector<std::string> generatedFileNames; |
| 716 | RSReflectionJava R(mRSContext, &generatedFileNames, |
Jean-Luc Brouillet | 8024ed5 | 2015-05-04 23:02:25 -0700 | [diff] [blame] | 717 | Opts.mJavaReflectionPathBase, getInputFileName(), |
Jean-Luc Brouillet | 5309b0c | 2015-05-01 16:13:11 -0700 | [diff] [blame] | 718 | mOutputFileName, |
Jean-Luc Brouillet | 8024ed5 | 2015-05-04 23:02:25 -0700 | [diff] [blame] | 719 | 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 Brouillet | ff5abc6 | 2015-05-05 21:16:44 -0700 | [diff] [blame] | 730 | I = generatedFileNames.begin(), E = generatedFileNames.end(); |
Jean-Luc Brouillet | 8024ed5 | 2015-05-04 23:02:25 -0700 | [diff] [blame] | 731 | 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 Wang | 21c94c9 | 2015-07-22 16:27:14 -0700 | [diff] [blame] | 761 | if (generateDepFile(Opts.mEmitPhonyDependency) > 0) |
Jean-Luc Brouillet | 8024ed5 | 2015-05-04 23:02:25 -0700 | [diff] [blame] | 762 | 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 Brouillet | 8024ed5 | 2015-05-04 23:02:25 -0700 | [diff] [blame] | 776 | return true; |
Shih-wei Liao | 462aefd | 2010-06-04 15:32:04 -0700 | [diff] [blame] | 777 | } |
Stephen Hines | e639eb5 | 2010-11-08 19:27:20 -0800 | [diff] [blame] | 778 | |
| 779 | } // namespace slang |