slang_rs_backend.cpp revision ab5a535b290d898d0c56036f642d823e3472a804
1c383a500aa59423264811be3874461bf8adbfea0Zonr Chang/* 27b51b55e4467605a599e868a0dde7cb95c5ab76eStephen Hines * Copyright 2010-2012, The Android Open Source Project 3c383a500aa59423264811be3874461bf8adbfea0Zonr Chang * 4c383a500aa59423264811be3874461bf8adbfea0Zonr Chang * Licensed under the Apache License, Version 2.0 (the "License"); 5c383a500aa59423264811be3874461bf8adbfea0Zonr Chang * you may not use this file except in compliance with the License. 6c383a500aa59423264811be3874461bf8adbfea0Zonr Chang * You may obtain a copy of the License at 7c383a500aa59423264811be3874461bf8adbfea0Zonr Chang * 8c383a500aa59423264811be3874461bf8adbfea0Zonr Chang * http://www.apache.org/licenses/LICENSE-2.0 9c383a500aa59423264811be3874461bf8adbfea0Zonr Chang * 10c383a500aa59423264811be3874461bf8adbfea0Zonr Chang * Unless required by applicable law or agreed to in writing, software 11c383a500aa59423264811be3874461bf8adbfea0Zonr Chang * distributed under the License is distributed on an "AS IS" BASIS, 12c383a500aa59423264811be3874461bf8adbfea0Zonr Chang * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 13c383a500aa59423264811be3874461bf8adbfea0Zonr Chang * See the License for the specific language governing permissions and 14c383a500aa59423264811be3874461bf8adbfea0Zonr Chang * limitations under the License. 15c383a500aa59423264811be3874461bf8adbfea0Zonr Chang */ 16c383a500aa59423264811be3874461bf8adbfea0Zonr Chang 176315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr#include "slang_rs_backend.h" 18462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 196315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr#include <string> 20e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include <vector> 21e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines 2243730fe3c839af391efe6bdf56b0479860121924Shih-wei Liao#include "clang/AST/ASTContext.h" 23c460b37ffb50819a32c2a8967754b6f784b28263mkopec#include "clang/Frontend/CodeGenOptions.h" 24c460b37ffb50819a32c2a8967754b6f784b28263mkopec 25e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "llvm/ADT/Twine.h" 26e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "llvm/ADT/StringExtras.h" 27462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 289ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao#include "llvm/Constant.h" 299ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao#include "llvm/Constants.h" 309ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao#include "llvm/DerivedTypes.h" 31e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "llvm/Function.h" 3243730fe3c839af391efe6bdf56b0479860121924Shih-wei Liao#include "llvm/IRBuilder.h" 33e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "llvm/Metadata.h" 34e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "llvm/Module.h" 35462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 36c460b37ffb50819a32c2a8967754b6f784b28263mkopec#include "llvm/Support/DebugLoc.h" 376315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr 386e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines#include "slang_assert.h" 39592a954aae4cb946970b557e94afd5ee453fd57eZonr Chang#include "slang_rs.h" 406315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr#include "slang_rs_context.h" 414ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines#include "slang_rs_export_foreach.h" 426315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr#include "slang_rs_export_func.h" 436315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr#include "slang_rs_export_type.h" 44e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "slang_rs_export_var.h" 45e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "slang_rs_metadata.h" 46462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 47e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hinesnamespace slang { 48462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 499ef2f785e0cc490af678dfd685995dec787321ffShih-wei LiaoRSBackend::RSBackend(RSContext *Context, 509207a2e495c8363606861e4f034504ec5c153dabLogan Chien clang::DiagnosticsEngine *DiagEngine, 519ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::CodeGenOptions &CodeGenOpts, 529ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::TargetOptions &TargetOpts, 533fd0a94a5cf1656569b1aea07043cc63939dcb46Stephen Hines PragmaList *Pragmas, 549ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::raw_ostream *OS, 553a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang Slang::OutputType OT, 569ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao clang::SourceManager &SourceMgr, 574a4bf92a8add68629a7e6e59ef81c3c3fe603a75Stephen Hines bool AllowRSPrefix) 589207a2e495c8363606861e4f034504ec5c153dabLogan Chien : Backend(DiagEngine, CodeGenOpts, TargetOpts, Pragmas, OS, OT), 599207a2e495c8363606861e4f034504ec5c153dabLogan Chien mContext(Context), 609207a2e495c8363606861e4f034504ec5c153dabLogan Chien mSourceMgr(SourceMgr), 619207a2e495c8363606861e4f034504ec5c153dabLogan Chien mAllowRSPrefix(AllowRSPrefix), 629207a2e495c8363606861e4f034504ec5c153dabLogan Chien mExportVarMetadata(NULL), 639207a2e495c8363606861e4f034504ec5c153dabLogan Chien mExportFuncMetadata(NULL), 647b51b55e4467605a599e868a0dde7cb95c5ab76eStephen Hines mExportForEachNameMetadata(NULL), 657b51b55e4467605a599e868a0dde7cb95c5ab76eStephen Hines mExportForEachSignatureMetadata(NULL), 669207a2e495c8363606861e4f034504ec5c153dabLogan Chien mExportTypeMetadata(NULL), 679207a2e495c8363606861e4f034504ec5c153dabLogan Chien mRSObjectSlotsMetadata(NULL), 689207a2e495c8363606861e4f034504ec5c153dabLogan Chien mRefCount(mContext->getASTContext()) { 69462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 70462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 71cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines// 1) Add zero initialization of local RS object types 72cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hinesvoid RSBackend::AnnotateFunction(clang::FunctionDecl *FD) { 73cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines if (FD && 74cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines FD->hasBody() && 75cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines !SlangRS::IsFunctionInRSHeaderFile(FD, mSourceMgr)) { 76d0b5edd02be5f09c1d8d211f4a06b031a7b66510Stephen Hines mRefCount.Init(); 774b32ffdfc1ac766f8932e7effbcdf7484e804a8eStephen Hines mRefCount.Visit(FD->getBody()); 78cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines } 79cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines return; 80cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines} 81cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines 82fa6ef56a6ca3dc3061218a75a7e68e5357fcb82cLogan Chienbool RSBackend::HandleTopLevelDecl(clang::DeclGroupRef D) { 83cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines // Disallow user-defined functions with prefix "rs" 84cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines if (!mAllowRSPrefix) { 85cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines // Iterate all function declarations in the program. 86cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines for (clang::DeclGroupRef::iterator I = D.begin(), E = D.end(); 87cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines I != E; I++) { 88ab992e59a36a18df49bf4878968ef0598299afd3Logan Chien clang::FunctionDecl *FD = llvm::dyn_cast<clang::FunctionDecl>(*I); 89cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines if (FD == NULL) 90cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines continue; 91cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines if (!FD->getName().startswith("rs")) // Check prefix 92cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines continue; 93cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines if (!SlangRS::IsFunctionInRSHeaderFile(FD, mSourceMgr)) 949207a2e495c8363606861e4f034504ec5c153dabLogan Chien mDiagEngine.Report( 959207a2e495c8363606861e4f034504ec5c153dabLogan Chien clang::FullSourceLoc(FD->getLocation(), mSourceMgr), 969207a2e495c8363606861e4f034504ec5c153dabLogan Chien mDiagEngine.getCustomDiagID(clang::DiagnosticsEngine::Error, 979207a2e495c8363606861e4f034504ec5c153dabLogan Chien "invalid function name prefix, " 989207a2e495c8363606861e4f034504ec5c153dabLogan Chien "\"rs\" is reserved: '%0'")) 999207a2e495c8363606861e4f034504ec5c153dabLogan Chien << FD->getName(); 100cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines } 101cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines } 102cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines 103cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines // Process any non-static function declarations 104cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines for (clang::DeclGroupRef::iterator I = D.begin(), E = D.end(); I != E; I++) { 105ab992e59a36a18df49bf4878968ef0598299afd3Logan Chien clang::FunctionDecl *FD = llvm::dyn_cast<clang::FunctionDecl>(*I); 106eb2eec96b5f19778ac1b7aebe6a91bbcb8d4df96Stephen Hines if (FD && FD->isGlobal()) { 107ab5a535b290d898d0c56036f642d823e3472a804Stephen Hines // Check that we don't have any array parameters being misintrepeted as 108ab5a535b290d898d0c56036f642d823e3472a804Stephen Hines // kernel pointers due to the C type system's array to pointer decay. 109ab5a535b290d898d0c56036f642d823e3472a804Stephen Hines size_t numParams = FD->getNumParams(); 110ab5a535b290d898d0c56036f642d823e3472a804Stephen Hines for (size_t i = 0; i < numParams; i++) { 111ab5a535b290d898d0c56036f642d823e3472a804Stephen Hines const clang::ParmVarDecl *PVD = FD->getParamDecl(i); 112ab5a535b290d898d0c56036f642d823e3472a804Stephen Hines clang::QualType QT = PVD->getOriginalType(); 113ab5a535b290d898d0c56036f642d823e3472a804Stephen Hines if (QT->isArrayType()) { 114ab5a535b290d898d0c56036f642d823e3472a804Stephen Hines mDiagEngine.Report( 115ab5a535b290d898d0c56036f642d823e3472a804Stephen Hines clang::FullSourceLoc(PVD->getTypeSpecStartLoc(), mSourceMgr), 116ab5a535b290d898d0c56036f642d823e3472a804Stephen Hines mDiagEngine.getCustomDiagID(clang::DiagnosticsEngine::Error, 117ab5a535b290d898d0c56036f642d823e3472a804Stephen Hines "exported function parameters may " 118ab5a535b290d898d0c56036f642d823e3472a804Stephen Hines "not have array type: %0")) << QT; 119ab5a535b290d898d0c56036f642d823e3472a804Stephen Hines } 120ab5a535b290d898d0c56036f642d823e3472a804Stephen Hines } 121eb2eec96b5f19778ac1b7aebe6a91bbcb8d4df96Stephen Hines AnnotateFunction(FD); 122eb2eec96b5f19778ac1b7aebe6a91bbcb8d4df96Stephen Hines } 123cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines } 124cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines 125fa6ef56a6ca3dc3061218a75a7e68e5357fcb82cLogan Chien return Backend::HandleTopLevelDecl(D); 126cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines} 127cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines 128c97a333bc84ce8c28c96d07734cbded75c914639Stephen Hinesnamespace { 129c97a333bc84ce8c28c96d07734cbded75c914639Stephen Hines 130d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hinesstatic bool ValidateVarDecl(clang::VarDecl *VD, unsigned int TargetAPI) { 13178e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines if (!VD) { 13278e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines return true; 13378e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 13478e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 13578e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines clang::ASTContext &C = VD->getASTContext(); 136c97a333bc84ce8c28c96d07734cbded75c914639Stephen Hines const clang::Type *T = VD->getType().getTypePtr(); 13778e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines bool valid = true; 13878e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 13978e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines if (VD->getLinkage() == clang::ExternalLinkage) { 14078e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines llvm::StringRef TypeName; 1415bfec8dd08b3bde9ba3b331e2115210b0e910eaeStephen Hines if (!RSExportType::NormalizeType(T, TypeName, &C.getDiagnostics(), VD)) { 14278e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines valid = false; 14378e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines } 144c97a333bc84ce8c28c96d07734cbded75c914639Stephen Hines } 145d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines valid &= RSExportType::ValidateVarDecl(VD, TargetAPI); 14678e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines 14778e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines return valid; 148c97a333bc84ce8c28c96d07734cbded75c914639Stephen Hines} 149c97a333bc84ce8c28c96d07734cbded75c914639Stephen Hines 150d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hinesstatic bool ValidateASTContext(clang::ASTContext &C, unsigned int TargetAPI) { 151c97a333bc84ce8c28c96d07734cbded75c914639Stephen Hines bool valid = true; 152fcda2352b9e140529f8f3c89f05b10a70c0048b2Stephen Hines clang::TranslationUnitDecl *TUDecl = C.getTranslationUnitDecl(); 153c97a333bc84ce8c28c96d07734cbded75c914639Stephen Hines for (clang::DeclContext::decl_iterator DI = TUDecl->decls_begin(), 154c97a333bc84ce8c28c96d07734cbded75c914639Stephen Hines DE = TUDecl->decls_end(); 155c97a333bc84ce8c28c96d07734cbded75c914639Stephen Hines DI != DE; 156c97a333bc84ce8c28c96d07734cbded75c914639Stephen Hines DI++) { 157ab992e59a36a18df49bf4878968ef0598299afd3Logan Chien clang::VarDecl *VD = llvm::dyn_cast<clang::VarDecl>(*DI); 158d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines if (VD && !ValidateVarDecl(VD, TargetAPI)) { 15978e69cb06b9b0683b2ac9dcafde87b867690ef2fStephen Hines valid = false; 160c97a333bc84ce8c28c96d07734cbded75c914639Stephen Hines } 161c97a333bc84ce8c28c96d07734cbded75c914639Stephen Hines } 162c97a333bc84ce8c28c96d07734cbded75c914639Stephen Hines 163c97a333bc84ce8c28c96d07734cbded75c914639Stephen Hines return valid; 164c97a333bc84ce8c28c96d07734cbded75c914639Stephen Hines} 165c97a333bc84ce8c28c96d07734cbded75c914639Stephen Hines 166e5e64432476a44b59c61ded233b1149109c7a7c3Stephen Hines} // namespace 167c97a333bc84ce8c28c96d07734cbded75c914639Stephen Hines 168c97a333bc84ce8c28c96d07734cbded75c914639Stephen Hinesvoid RSBackend::HandleTranslationUnitPre(clang::ASTContext &C) { 169c97a333bc84ce8c28c96d07734cbded75c914639Stephen Hines clang::TranslationUnitDecl *TUDecl = C.getTranslationUnitDecl(); 170c97a333bc84ce8c28c96d07734cbded75c914639Stephen Hines 171d5a84f6d49d64738e4bb7c9dea7242e48acad959Stephen Hines if (!ValidateASTContext(C, getTargetAPI())) { 172c97a333bc84ce8c28c96d07734cbded75c914639Stephen Hines return; 173c97a333bc84ce8c28c96d07734cbded75c914639Stephen Hines } 174fcda2352b9e140529f8f3c89f05b10a70c0048b2Stephen Hines 17596ab06cbe40b2d73c0eb614f814cd761d8962b6bStephen Hines int version = mContext->getVersion(); 17696ab06cbe40b2d73c0eb614f814cd761d8962b6bStephen Hines if (version == 0) { 17796ab06cbe40b2d73c0eb614f814cd761d8962b6bStephen Hines // Not setting a version is an error 1787aff4a0a124209fdf93ecbcd7aed701d39ba094bStephen Hines mDiagEngine.Report( 1797aff4a0a124209fdf93ecbcd7aed701d39ba094bStephen Hines mSourceMgr.getLocForEndOfFile(mSourceMgr.getMainFileID()), 1807aff4a0a124209fdf93ecbcd7aed701d39ba094bStephen Hines mDiagEngine.getCustomDiagID( 1817aff4a0a124209fdf93ecbcd7aed701d39ba094bStephen Hines clang::DiagnosticsEngine::Error, 1827aff4a0a124209fdf93ecbcd7aed701d39ba094bStephen Hines "missing pragma for version in source file")); 1837aff4a0a124209fdf93ecbcd7aed701d39ba094bStephen Hines } else { 1847aff4a0a124209fdf93ecbcd7aed701d39ba094bStephen Hines slangAssert(version == 1); 18596ab06cbe40b2d73c0eb614f814cd761d8962b6bStephen Hines } 18696ab06cbe40b2d73c0eb614f814cd761d8962b6bStephen Hines 187688e64b2d56e4218c680b9d6523c5de672f55757Stephen Hines // Create a static global destructor if necessary (to handle RS object 188688e64b2d56e4218c680b9d6523c5de672f55757Stephen Hines // runtime cleanup). 189688e64b2d56e4218c680b9d6523c5de672f55757Stephen Hines clang::FunctionDecl *FD = mRefCount.CreateStaticGlobalDtor(); 190688e64b2d56e4218c680b9d6523c5de672f55757Stephen Hines if (FD) { 191688e64b2d56e4218c680b9d6523c5de672f55757Stephen Hines HandleTopLevelDecl(clang::DeclGroupRef(FD)); 192688e64b2d56e4218c680b9d6523c5de672f55757Stephen Hines } 193688e64b2d56e4218c680b9d6523c5de672f55757Stephen Hines 194cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines // Process any static function declarations 195fcda2352b9e140529f8f3c89f05b10a70c0048b2Stephen Hines for (clang::DeclContext::decl_iterator I = TUDecl->decls_begin(), 196fcda2352b9e140529f8f3c89f05b10a70c0048b2Stephen Hines E = TUDecl->decls_end(); I != E; I++) { 197fcda2352b9e140529f8f3c89f05b10a70c0048b2Stephen Hines if ((I->getKind() >= clang::Decl::firstFunction) && 198fcda2352b9e140529f8f3c89f05b10a70c0048b2Stephen Hines (I->getKind() <= clang::Decl::lastFunction)) { 199ab992e59a36a18df49bf4878968ef0598299afd3Logan Chien clang::FunctionDecl *FD = llvm::dyn_cast<clang::FunctionDecl>(*I); 200eb2eec96b5f19778ac1b7aebe6a91bbcb8d4df96Stephen Hines if (FD && !FD->isGlobal()) { 201eb2eec96b5f19778ac1b7aebe6a91bbcb8d4df96Stephen Hines AnnotateFunction(FD); 202eb2eec96b5f19778ac1b7aebe6a91bbcb8d4df96Stephen Hines } 203fcda2352b9e140529f8f3c89f05b10a70c0048b2Stephen Hines } 204fcda2352b9e140529f8f3c89f05b10a70c0048b2Stephen Hines } 205fcda2352b9e140529f8f3c89f05b10a70c0048b2Stephen Hines 206fcda2352b9e140529f8f3c89f05b10a70c0048b2Stephen Hines return; 207fcda2352b9e140529f8f3c89f05b10a70c0048b2Stephen Hines} 208462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 209fcda2352b9e140529f8f3c89f05b10a70c0048b2Stephen Hines/////////////////////////////////////////////////////////////////////////////// 21068fc02ca4a7235e2981be5eee4ad968a9d3928c0Zonr Changvoid RSBackend::HandleTranslationUnitPost(llvm::Module *M) { 211c808a99831115928b4648f4c8b86dc682594217aStephen Hines if (!mContext->processExport()) { 212c97a333bc84ce8c28c96d07734cbded75c914639Stephen Hines return; 213c808a99831115928b4648f4c8b86dc682594217aStephen Hines } 2149ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 215c460b37ffb50819a32c2a8967754b6f784b28263mkopec // Write optimization level 216c460b37ffb50819a32c2a8967754b6f784b28263mkopec llvm::SmallVector<llvm::Value*, 1> OptimizationOption; 217c460b37ffb50819a32c2a8967754b6f784b28263mkopec OptimizationOption.push_back(llvm::ConstantInt::get( 218c460b37ffb50819a32c2a8967754b6f784b28263mkopec mLLVMContext, llvm::APInt(32, mCodeGenOpts.OptimizationLevel))); 219c460b37ffb50819a32c2a8967754b6f784b28263mkopec 2209ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Dump export variable info 2219ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (mContext->hasExportVar()) { 222b3a12fe7c18a06f99201dc491a932a90ab7d975cStephen Hines int slotCount = 0; 2239ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (mExportVarMetadata == NULL) 22468fc02ca4a7235e2981be5eee4ad968a9d3928c0Zonr Chang mExportVarMetadata = M->getOrInsertNamedMetadata(RS_EXPORT_VAR_MN); 2259ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 2269ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::SmallVector<llvm::Value*, 2> ExportVarInfo; 227b3a12fe7c18a06f99201dc491a932a90ab7d975cStephen Hines 228b3a12fe7c18a06f99201dc491a932a90ab7d975cStephen Hines // We emit slot information (#rs_object_slots) for any reference counted 229b3a12fe7c18a06f99201dc491a932a90ab7d975cStephen Hines // RS type or pointer (which can also be bound). 2309ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 2316315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr for (RSContext::const_export_var_iterator I = mContext->export_vars_begin(), 2326315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr E = mContext->export_vars_end(); 2336315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr I != E; 2346315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr I++) { 2356315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr const RSExportVar *EV = *I; 2366315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr const RSExportType *ET = EV->getType(); 237b3a12fe7c18a06f99201dc491a932a90ab7d975cStephen Hines bool countsAsRSObject = false; 2389ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 2399ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Variable name 2409ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao ExportVarInfo.push_back( 2419ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::MDString::get(mLLVMContext, EV->getName().c_str())); 2429ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 2439ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Type name 244a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang switch (ET->getClass()) { 245a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang case RSExportType::ExportClassPrimitive: { 246b3a12fe7c18a06f99201dc491a932a90ab7d975cStephen Hines const RSExportPrimitiveType *PT = 247b3a12fe7c18a06f99201dc491a932a90ab7d975cStephen Hines static_cast<const RSExportPrimitiveType*>(ET); 248a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang ExportVarInfo.push_back( 249a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang llvm::MDString::get( 250b3a12fe7c18a06f99201dc491a932a90ab7d975cStephen Hines mLLVMContext, llvm::utostr_32(PT->getType()))); 251b3a12fe7c18a06f99201dc491a932a90ab7d975cStephen Hines if (PT->isRSObjectType()) { 252b3a12fe7c18a06f99201dc491a932a90ab7d975cStephen Hines countsAsRSObject = true; 253b3a12fe7c18a06f99201dc491a932a90ab7d975cStephen Hines } 254a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang break; 255a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang } 256a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang case RSExportType::ExportClassPointer: { 257a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang ExportVarInfo.push_back( 258a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang llvm::MDString::get( 2599ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mLLVMContext, ("*" + static_cast<const RSExportPointerType*>(ET) 260a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang ->getPointeeType()->getName()).c_str())); 261a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang break; 262a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang } 263a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang case RSExportType::ExportClassMatrix: { 264a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang ExportVarInfo.push_back( 265a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang llvm::MDString::get( 266a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang mLLVMContext, llvm::utostr_32( 267a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang RSExportPrimitiveType::DataTypeRSMatrix2x2 + 268a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang static_cast<const RSExportMatrixType*>(ET)->getDim() - 2))); 269a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang break; 270a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang } 271a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang case RSExportType::ExportClassVector: 272a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang case RSExportType::ExportClassConstantArray: 273a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang case RSExportType::ExportClassRecord: { 274a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang ExportVarInfo.push_back( 275a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang llvm::MDString::get(mLLVMContext, 276a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang EV->getType()->getName().c_str())); 277a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang break; 278a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang } 279a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang } 2809ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 2819ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mExportVarMetadata->addOperand( 282d27a74edb932580d224a7186731aa6be098ad02eStephen Hines llvm::MDNode::get(mLLVMContext, ExportVarInfo)); 2839ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao ExportVarInfo.clear(); 284b3a12fe7c18a06f99201dc491a932a90ab7d975cStephen Hines 285b3a12fe7c18a06f99201dc491a932a90ab7d975cStephen Hines if (mRSObjectSlotsMetadata == NULL) { 286b3a12fe7c18a06f99201dc491a932a90ab7d975cStephen Hines mRSObjectSlotsMetadata = 287b3a12fe7c18a06f99201dc491a932a90ab7d975cStephen Hines M->getOrInsertNamedMetadata(RS_OBJECT_SLOTS_MN); 288b3a12fe7c18a06f99201dc491a932a90ab7d975cStephen Hines } 289b3a12fe7c18a06f99201dc491a932a90ab7d975cStephen Hines 290b3a12fe7c18a06f99201dc491a932a90ab7d975cStephen Hines if (countsAsRSObject) { 291d27a74edb932580d224a7186731aa6be098ad02eStephen Hines mRSObjectSlotsMetadata->addOperand(llvm::MDNode::get(mLLVMContext, 292d27a74edb932580d224a7186731aa6be098ad02eStephen Hines llvm::MDString::get(mLLVMContext, llvm::utostr_32(slotCount)))); 293b3a12fe7c18a06f99201dc491a932a90ab7d975cStephen Hines } 294b3a12fe7c18a06f99201dc491a932a90ab7d975cStephen Hines 295b3a12fe7c18a06f99201dc491a932a90ab7d975cStephen Hines slotCount++; 296462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao } 2979ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 2989ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 2999ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Dump export function info 3009ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (mContext->hasExportFunc()) { 3019ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (mExportFuncMetadata == NULL) 3029ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mExportFuncMetadata = 30368fc02ca4a7235e2981be5eee4ad968a9d3928c0Zonr Chang M->getOrInsertNamedMetadata(RS_EXPORT_FUNC_MN); 3049ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 3059ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::SmallVector<llvm::Value*, 1> ExportFuncInfo; 3069ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 3076315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr for (RSContext::const_export_func_iterator 3086315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr I = mContext->export_funcs_begin(), 3096315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr E = mContext->export_funcs_end(); 3109ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao I != E; 3119ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao I++) { 3126315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr const RSExportFunc *EF = *I; 3139ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 3149ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Function name 3156315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr if (!EF->hasParam()) { 3166315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr ExportFuncInfo.push_back(llvm::MDString::get(mLLVMContext, 3176315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr EF->getName().c_str())); 3186315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr } else { 31968fc02ca4a7235e2981be5eee4ad968a9d3928c0Zonr Chang llvm::Function *F = M->getFunction(EF->getName()); 3209ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::Function *HelperFunction; 3219ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const std::string HelperFunctionName(".helper_" + EF->getName()); 3229ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 3236e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert(F && "Function marked as exported disappeared in Bitcode"); 3249ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 3259ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Create helper function 326462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao { 3270da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang llvm::StructType *HelperFunctionParameterTy = NULL; 3280da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang 3290da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang if (!F->getArgumentList().empty()) { 3307c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liao std::vector<llvm::Type*> HelperFunctionParameterTys; 3310da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang for (llvm::Function::arg_iterator AI = F->arg_begin(), 3320da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang AE = F->arg_end(); AI != AE; AI++) 3330da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang HelperFunctionParameterTys.push_back(AI->getType()); 3340da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang 3350da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang HelperFunctionParameterTy = 336a67e4451d0d03b4ab7866b64807d95a8399c73a0Stephen Hines llvm::StructType::get(mLLVMContext, HelperFunctionParameterTys); 3370da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang } 3380da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang 3390da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang if (!EF->checkParameterPacketType(HelperFunctionParameterTy)) { 3400da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang fprintf(stderr, "Failed to export function %s: parameter type " 3410da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang "mismatch during creation of helper function.\n", 3420da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang EF->getName().c_str()); 3430da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang 3440da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang const RSExportRecordType *Expected = EF->getParamPacketType(); 3450da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang if (Expected) { 3460da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang fprintf(stderr, "Expected:\n"); 3470da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang Expected->getLLVMType()->dump(); 3480da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang } 3490da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang if (HelperFunctionParameterTy) { 3500da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang fprintf(stderr, "Got:\n"); 3510da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang HelperFunctionParameterTy->dump(); 3520da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang } 3530da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang } 3540da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang 3557c67e578c760408dba0c2f64da6e074dd8b56fd9Shih-wei Liao std::vector<llvm::Type*> Params; 3560da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang if (HelperFunctionParameterTy) { 3570da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang llvm::PointerType *HelperFunctionParameterTyP = 3580da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang llvm::PointerType::getUnqual(HelperFunctionParameterTy); 3590da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang Params.push_back(HelperFunctionParameterTyP); 3600da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang } 3619ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 3620da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang llvm::FunctionType * HelperFunctionType = 3630da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang llvm::FunctionType::get(F->getReturnType(), 364a67e4451d0d03b4ab7866b64807d95a8399c73a0Stephen Hines Params, 3650da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang /* IsVarArgs = */false); 3669ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 3679ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao HelperFunction = 3689ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::Function::Create(HelperFunctionType, 3699ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::GlobalValue::ExternalLinkage, 3709ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao HelperFunctionName, 37168fc02ca4a7235e2981be5eee4ad968a9d3928c0Zonr Chang M); 3729ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 3739ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao HelperFunction->addFnAttr(llvm::Attribute::NoInline); 3749ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao HelperFunction->setCallingConv(F->getCallingConv()); 3759ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 3769ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Create helper function body 3779ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao { 3789ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::Argument *HelperFunctionParameter = 3799ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao &(*HelperFunction->arg_begin()); 3809ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::BasicBlock *BB = 3819ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::BasicBlock::Create(mLLVMContext, "entry", HelperFunction); 3829ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::IRBuilder<> *IB = new llvm::IRBuilder<>(BB); 3839ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::SmallVector<llvm::Value*, 6> Params; 3849ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::Value *Idx[2]; 3859ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 3869ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao Idx[0] = 3879ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::ConstantInt::get(llvm::Type::getInt32Ty(mLLVMContext), 0); 3889ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 3899ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // getelementptr and load instruction for all elements in 3909ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // parameter .p 3910da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang for (size_t i = 0; i < EF->getNumParameters(); i++) { 3929ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // getelementptr 3939207a2e495c8363606861e4f034504ec5c153dabLogan Chien Idx[1] = llvm::ConstantInt::get( 3949207a2e495c8363606861e4f034504ec5c153dabLogan Chien llvm::Type::getInt32Ty(mLLVMContext), i); 3959207a2e495c8363606861e4f034504ec5c153dabLogan Chien 3969207a2e495c8363606861e4f034504ec5c153dabLogan Chien llvm::Value *Ptr = 3979207a2e495c8363606861e4f034504ec5c153dabLogan Chien IB->CreateInBoundsGEP(HelperFunctionParameter, Idx); 3989ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 3999ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // load 4009ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::Value *V = IB->CreateLoad(Ptr); 4019ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao Params.push_back(V); 4029ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 403462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 404a67e4451d0d03b4ab7866b64807d95a8399c73a0Stephen Hines // Call and pass the all elements as parameter to F 405a67e4451d0d03b4ab7866b64807d95a8399c73a0Stephen Hines llvm::CallInst *CI = IB->CreateCall(F, Params); 4061ebc0ca6ffa7effb875883d18205ed4943ab8fc2Shih-wei Liao 4079ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao CI->setCallingConv(F->getCallingConv()); 4081ebc0ca6ffa7effb875883d18205ed4943ab8fc2Shih-wei Liao 4099ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (F->getReturnType() == llvm::Type::getVoidTy(mLLVMContext)) 4109ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao IB->CreateRetVoid(); 4119ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao else 4129ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao IB->CreateRet(CI); 413462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 4149ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao delete IB; 4159ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 4169ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 417462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 4189ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao ExportFuncInfo.push_back( 4199ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::MDString::get(mLLVMContext, HelperFunctionName.c_str())); 4209ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 421462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 4229ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mExportFuncMetadata->addOperand( 423d27a74edb932580d224a7186731aa6be098ad02eStephen Hines llvm::MDNode::get(mLLVMContext, ExportFuncInfo)); 4249ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao ExportFuncInfo.clear(); 4259ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 4269ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 4279ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 4284ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines // Dump export function info 4294ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines if (mContext->hasExportForEach()) { 4307b51b55e4467605a599e868a0dde7cb95c5ab76eStephen Hines if (mExportForEachNameMetadata == NULL) { 4317b51b55e4467605a599e868a0dde7cb95c5ab76eStephen Hines mExportForEachNameMetadata = 4327b51b55e4467605a599e868a0dde7cb95c5ab76eStephen Hines M->getOrInsertNamedMetadata(RS_EXPORT_FOREACH_NAME_MN); 4337b51b55e4467605a599e868a0dde7cb95c5ab76eStephen Hines } 4347b51b55e4467605a599e868a0dde7cb95c5ab76eStephen Hines if (mExportForEachSignatureMetadata == NULL) { 4357b51b55e4467605a599e868a0dde7cb95c5ab76eStephen Hines mExportForEachSignatureMetadata = 4364ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines M->getOrInsertNamedMetadata(RS_EXPORT_FOREACH_MN); 4377b51b55e4467605a599e868a0dde7cb95c5ab76eStephen Hines } 4384ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines 4397b51b55e4467605a599e868a0dde7cb95c5ab76eStephen Hines llvm::SmallVector<llvm::Value*, 1> ExportForEachName; 4404ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines llvm::SmallVector<llvm::Value*, 1> ExportForEachInfo; 4414ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines 4424ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines for (RSContext::const_export_foreach_iterator 4434ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines I = mContext->export_foreach_begin(), 4444ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines E = mContext->export_foreach_end(); 4454ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines I != E; 4464ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines I++) { 4474ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines const RSExportForEach *EFE = *I; 4484ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines 4497b51b55e4467605a599e868a0dde7cb95c5ab76eStephen Hines ExportForEachName.push_back( 4507b51b55e4467605a599e868a0dde7cb95c5ab76eStephen Hines llvm::MDString::get(mLLVMContext, EFE->getName().c_str())); 4517b51b55e4467605a599e868a0dde7cb95c5ab76eStephen Hines 4527b51b55e4467605a599e868a0dde7cb95c5ab76eStephen Hines mExportForEachNameMetadata->addOperand( 4537b51b55e4467605a599e868a0dde7cb95c5ab76eStephen Hines llvm::MDNode::get(mLLVMContext, ExportForEachName)); 4547b51b55e4467605a599e868a0dde7cb95c5ab76eStephen Hines ExportForEachName.clear(); 4557b51b55e4467605a599e868a0dde7cb95c5ab76eStephen Hines 4564ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines ExportForEachInfo.push_back( 4574ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines llvm::MDString::get(mLLVMContext, 4587b51b55e4467605a599e868a0dde7cb95c5ab76eStephen Hines llvm::utostr_32(EFE->getSignatureMetadata()))); 4594ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines 4607b51b55e4467605a599e868a0dde7cb95c5ab76eStephen Hines mExportForEachSignatureMetadata->addOperand( 4614ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines llvm::MDNode::get(mLLVMContext, ExportForEachInfo)); 4624ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines ExportForEachInfo.clear(); 4634ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines } 4644ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines } 4654ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines 4669ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Dump export type info 4679ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (mContext->hasExportType()) { 4689ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::SmallVector<llvm::Value*, 1> ExportTypeInfo; 4699ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 4706315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr for (RSContext::const_export_type_iterator 4716315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr I = mContext->export_types_begin(), 4726315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr E = mContext->export_types_end(); 4739ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao I != E; 4749ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao I++) { 4759ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // First, dump type name list to export 4769ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const RSExportType *ET = I->getValue(); 4779ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 4789ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao ExportTypeInfo.clear(); 4799ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Type name 4809ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao ExportTypeInfo.push_back( 4819ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::MDString::get(mLLVMContext, ET->getName().c_str())); 4829ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 4839ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (ET->getClass() == RSExportType::ExportClassRecord) { 4849ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const RSExportRecordType *ERT = 4859ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao static_cast<const RSExportRecordType*>(ET); 4869ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 4879ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (mExportTypeMetadata == NULL) 4889ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mExportTypeMetadata = 48968fc02ca4a7235e2981be5eee4ad968a9d3928c0Zonr Chang M->getOrInsertNamedMetadata(RS_EXPORT_TYPE_MN); 4909ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 4919ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mExportTypeMetadata->addOperand( 492d27a74edb932580d224a7186731aa6be098ad02eStephen Hines llvm::MDNode::get(mLLVMContext, ExportTypeInfo)); 4939ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 4949ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Now, export struct field information to %[struct name] 4959ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao std::string StructInfoMetadataName("%"); 4969ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao StructInfoMetadataName.append(ET->getName()); 4979ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::NamedMDNode *StructInfoMetadata = 49868fc02ca4a7235e2981be5eee4ad968a9d3928c0Zonr Chang M->getOrInsertNamedMetadata(StructInfoMetadataName); 4999ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::SmallVector<llvm::Value*, 3> FieldInfo; 5009ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 5016e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert(StructInfoMetadata->getNumOperands() == 0 && 5026e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines "Metadata with same name was created before"); 5036315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr for (RSExportRecordType::const_field_iterator FI = ERT->fields_begin(), 5046315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr FE = ERT->fields_end(); 5056315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr FI != FE; 5069ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FI++) { 5079ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const RSExportRecordType::Field *F = *FI; 5089ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 5099ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // 1. field name 5109ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FieldInfo.push_back(llvm::MDString::get(mLLVMContext, 5119ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao F->getName().c_str())); 5129ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 5139ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // 2. field type name 5149ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FieldInfo.push_back( 5159ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::MDString::get(mLLVMContext, 5169ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao F->getType()->getName().c_str())); 5179ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 518d27a74edb932580d224a7186731aa6be098ad02eStephen Hines StructInfoMetadata->addOperand( 519d27a74edb932580d224a7186731aa6be098ad02eStephen Hines llvm::MDNode::get(mLLVMContext, FieldInfo)); 5209ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FieldInfo.clear(); 521462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao } 5229ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } // ET->getClass() == RSExportType::ExportClassRecord 523462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao } 5249ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 525462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 5269ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return; 527462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 528462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 529462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei LiaoRSBackend::~RSBackend() { 5309ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return; 531462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 532e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines 533e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines} // namespace slang 534