slang_rs_backend.cpp revision eca0534a31b6185d6ab758f5e97acd7a4cb21e8e
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 2823c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines#include "llvm/IR/Constant.h" 2923c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines#include "llvm/IR/Constants.h" 3023c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines#include "llvm/IR/DerivedTypes.h" 3123c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines#include "llvm/IR/Function.h" 3223c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines#include "llvm/IR/IRBuilder.h" 3323c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines#include "llvm/IR/Metadata.h" 3423c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines#include "llvm/IR/Module.h" 35462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 36ee4016d1247d3fbe50822de279d3da273d8aef4cTim Murray#include "llvm/IR/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, 5711274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines bool AllowRSPrefix, 5811274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines bool IsFilterscript) 599207a2e495c8363606861e4f034504ec5c153dabLogan Chien : Backend(DiagEngine, CodeGenOpts, TargetOpts, Pragmas, OS, OT), 609207a2e495c8363606861e4f034504ec5c153dabLogan Chien mContext(Context), 619207a2e495c8363606861e4f034504ec5c153dabLogan Chien mSourceMgr(SourceMgr), 629207a2e495c8363606861e4f034504ec5c153dabLogan Chien mAllowRSPrefix(AllowRSPrefix), 6311274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines mIsFilterscript(IsFilterscript), 649207a2e495c8363606861e4f034504ec5c153dabLogan Chien mExportVarMetadata(NULL), 659207a2e495c8363606861e4f034504ec5c153dabLogan Chien mExportFuncMetadata(NULL), 667b51b55e4467605a599e868a0dde7cb95c5ab76eStephen Hines mExportForEachNameMetadata(NULL), 677b51b55e4467605a599e868a0dde7cb95c5ab76eStephen Hines mExportForEachSignatureMetadata(NULL), 689207a2e495c8363606861e4f034504ec5c153dabLogan Chien mExportTypeMetadata(NULL), 699207a2e495c8363606861e4f034504ec5c153dabLogan Chien mRSObjectSlotsMetadata(NULL), 7011274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines mRefCount(mContext->getASTContext()), 7148d893dc7794b3cfb74f35955ca763ee4170f9adStephen Hines mASTChecker(Context, Context->getTargetAPI(), IsFilterscript) { 72462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 73462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 74cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines// 1) Add zero initialization of local RS object types 75cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hinesvoid RSBackend::AnnotateFunction(clang::FunctionDecl *FD) { 76cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines if (FD && 77cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines FD->hasBody() && 7811274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines !SlangRS::IsLocInRSHeaderFile(FD->getLocation(), mSourceMgr)) { 79d0b5edd02be5f09c1d8d211f4a06b031a7b66510Stephen Hines mRefCount.Init(); 804b32ffdfc1ac766f8932e7effbcdf7484e804a8eStephen Hines mRefCount.Visit(FD->getBody()); 81cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines } 82cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines return; 83cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines} 84cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines 85fa6ef56a6ca3dc3061218a75a7e68e5357fcb82cLogan Chienbool RSBackend::HandleTopLevelDecl(clang::DeclGroupRef D) { 86cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines // Disallow user-defined functions with prefix "rs" 87cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines if (!mAllowRSPrefix) { 88cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines // Iterate all function declarations in the program. 89cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines for (clang::DeclGroupRef::iterator I = D.begin(), E = D.end(); 90cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines I != E; I++) { 91ab992e59a36a18df49bf4878968ef0598299afd3Logan Chien clang::FunctionDecl *FD = llvm::dyn_cast<clang::FunctionDecl>(*I); 92cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines if (FD == NULL) 93cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines continue; 94cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines if (!FD->getName().startswith("rs")) // Check prefix 95cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines continue; 9611274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines if (!SlangRS::IsLocInRSHeaderFile(FD->getLocation(), mSourceMgr)) 97d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet mContext->ReportError(FD->getLocation(), 98d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet "invalid function name prefix, " 99d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet "\"rs\" is reserved: '%0'") 100d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet << FD->getName(); 101cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines } 102cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines } 103cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines 104cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines // Process any non-static function declarations 105cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines for (clang::DeclGroupRef::iterator I = D.begin(), E = D.end(); I != E; I++) { 106ab992e59a36a18df49bf4878968ef0598299afd3Logan Chien clang::FunctionDecl *FD = llvm::dyn_cast<clang::FunctionDecl>(*I); 107eb2eec96b5f19778ac1b7aebe6a91bbcb8d4df96Stephen Hines if (FD && FD->isGlobal()) { 108ab5a535b290d898d0c56036f642d823e3472a804Stephen Hines // Check that we don't have any array parameters being misintrepeted as 109ab5a535b290d898d0c56036f642d823e3472a804Stephen Hines // kernel pointers due to the C type system's array to pointer decay. 110ab5a535b290d898d0c56036f642d823e3472a804Stephen Hines size_t numParams = FD->getNumParams(); 111ab5a535b290d898d0c56036f642d823e3472a804Stephen Hines for (size_t i = 0; i < numParams; i++) { 112ab5a535b290d898d0c56036f642d823e3472a804Stephen Hines const clang::ParmVarDecl *PVD = FD->getParamDecl(i); 113ab5a535b290d898d0c56036f642d823e3472a804Stephen Hines clang::QualType QT = PVD->getOriginalType(); 114ab5a535b290d898d0c56036f642d823e3472a804Stephen Hines if (QT->isArrayType()) { 115d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet mContext->ReportError( 116d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet PVD->getTypeSpecStartLoc(), 117d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet "exported function parameters may not have array type: %0") 118d3f7527b105d21f1c69d3473eb88a762f2c3ab5aJean-Luc Brouillet << 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 Hines 129c97a333bc84ce8c28c96d07734cbded75c914639Stephen Hinesvoid RSBackend::HandleTranslationUnitPre(clang::ASTContext &C) { 130c97a333bc84ce8c28c96d07734cbded75c914639Stephen Hines clang::TranslationUnitDecl *TUDecl = C.getTranslationUnitDecl(); 131c97a333bc84ce8c28c96d07734cbded75c914639Stephen Hines 13211274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines // If we have an invalid RS/FS AST, don't check further. 13311274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines if (!mASTChecker.Validate()) { 134c97a333bc84ce8c28c96d07734cbded75c914639Stephen Hines return; 135c97a333bc84ce8c28c96d07734cbded75c914639Stephen Hines } 136fcda2352b9e140529f8f3c89f05b10a70c0048b2Stephen Hines 13711274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines if (mIsFilterscript) { 13811274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines mContext->addPragma("rs_fp_relaxed", ""); 13911274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines } 14011274a7324b478ec13e1d10a1b81350b34a65ab1Stephen Hines 14196ab06cbe40b2d73c0eb614f814cd761d8962b6bStephen Hines int version = mContext->getVersion(); 14296ab06cbe40b2d73c0eb614f814cd761d8962b6bStephen Hines if (version == 0) { 14396ab06cbe40b2d73c0eb614f814cd761d8962b6bStephen Hines // Not setting a version is an error 1447aff4a0a124209fdf93ecbcd7aed701d39ba094bStephen Hines mDiagEngine.Report( 1457aff4a0a124209fdf93ecbcd7aed701d39ba094bStephen Hines mSourceMgr.getLocForEndOfFile(mSourceMgr.getMainFileID()), 1467aff4a0a124209fdf93ecbcd7aed701d39ba094bStephen Hines mDiagEngine.getCustomDiagID( 1477aff4a0a124209fdf93ecbcd7aed701d39ba094bStephen Hines clang::DiagnosticsEngine::Error, 1487aff4a0a124209fdf93ecbcd7aed701d39ba094bStephen Hines "missing pragma for version in source file")); 1497aff4a0a124209fdf93ecbcd7aed701d39ba094bStephen Hines } else { 1507aff4a0a124209fdf93ecbcd7aed701d39ba094bStephen Hines slangAssert(version == 1); 15196ab06cbe40b2d73c0eb614f814cd761d8962b6bStephen Hines } 15296ab06cbe40b2d73c0eb614f814cd761d8962b6bStephen Hines 153cf9a73a4140402c0e9e4fbab27477f22cc7d8e3cStephen Hines if (mContext->getReflectJavaPackageName().empty()) { 154cf9a73a4140402c0e9e4fbab27477f22cc7d8e3cStephen Hines mDiagEngine.Report( 155cf9a73a4140402c0e9e4fbab27477f22cc7d8e3cStephen Hines mSourceMgr.getLocForEndOfFile(mSourceMgr.getMainFileID()), 156cf9a73a4140402c0e9e4fbab27477f22cc7d8e3cStephen Hines mDiagEngine.getCustomDiagID(clang::DiagnosticsEngine::Error, 157cf9a73a4140402c0e9e4fbab27477f22cc7d8e3cStephen Hines "missing \"#pragma rs " 158cf9a73a4140402c0e9e4fbab27477f22cc7d8e3cStephen Hines "java_package_name(com.foo.bar)\" " 159cf9a73a4140402c0e9e4fbab27477f22cc7d8e3cStephen Hines "in source file")); 160cf9a73a4140402c0e9e4fbab27477f22cc7d8e3cStephen Hines return; 161cf9a73a4140402c0e9e4fbab27477f22cc7d8e3cStephen Hines } 162cf9a73a4140402c0e9e4fbab27477f22cc7d8e3cStephen Hines 163688e64b2d56e4218c680b9d6523c5de672f55757Stephen Hines // Create a static global destructor if necessary (to handle RS object 164688e64b2d56e4218c680b9d6523c5de672f55757Stephen Hines // runtime cleanup). 165688e64b2d56e4218c680b9d6523c5de672f55757Stephen Hines clang::FunctionDecl *FD = mRefCount.CreateStaticGlobalDtor(); 166688e64b2d56e4218c680b9d6523c5de672f55757Stephen Hines if (FD) { 167688e64b2d56e4218c680b9d6523c5de672f55757Stephen Hines HandleTopLevelDecl(clang::DeclGroupRef(FD)); 168688e64b2d56e4218c680b9d6523c5de672f55757Stephen Hines } 169688e64b2d56e4218c680b9d6523c5de672f55757Stephen Hines 170cfae0f350e4e0d8f7b4c71780b3f74f58fa23afbStephen Hines // Process any static function declarations 171fcda2352b9e140529f8f3c89f05b10a70c0048b2Stephen Hines for (clang::DeclContext::decl_iterator I = TUDecl->decls_begin(), 172fcda2352b9e140529f8f3c89f05b10a70c0048b2Stephen Hines E = TUDecl->decls_end(); I != E; I++) { 173fcda2352b9e140529f8f3c89f05b10a70c0048b2Stephen Hines if ((I->getKind() >= clang::Decl::firstFunction) && 174fcda2352b9e140529f8f3c89f05b10a70c0048b2Stephen Hines (I->getKind() <= clang::Decl::lastFunction)) { 175ab992e59a36a18df49bf4878968ef0598299afd3Logan Chien clang::FunctionDecl *FD = llvm::dyn_cast<clang::FunctionDecl>(*I); 176eb2eec96b5f19778ac1b7aebe6a91bbcb8d4df96Stephen Hines if (FD && !FD->isGlobal()) { 177eb2eec96b5f19778ac1b7aebe6a91bbcb8d4df96Stephen Hines AnnotateFunction(FD); 178eb2eec96b5f19778ac1b7aebe6a91bbcb8d4df96Stephen Hines } 179fcda2352b9e140529f8f3c89f05b10a70c0048b2Stephen Hines } 180fcda2352b9e140529f8f3c89f05b10a70c0048b2Stephen Hines } 181fcda2352b9e140529f8f3c89f05b10a70c0048b2Stephen Hines 182fcda2352b9e140529f8f3c89f05b10a70c0048b2Stephen Hines return; 183fcda2352b9e140529f8f3c89f05b10a70c0048b2Stephen Hines} 184462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 185fcda2352b9e140529f8f3c89f05b10a70c0048b2Stephen Hines/////////////////////////////////////////////////////////////////////////////// 186d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosservoid RSBackend::dumpExportVarInfo(llvm::Module *M) { 187d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser int slotCount = 0; 188d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (mExportVarMetadata == NULL) 189d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser mExportVarMetadata = M->getOrInsertNamedMetadata(RS_EXPORT_VAR_MN); 190d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 191d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::SmallVector<llvm::Value*, 2> ExportVarInfo; 192d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 193d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser // We emit slot information (#rs_object_slots) for any reference counted 194d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser // RS type or pointer (which can also be bound). 195d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 196d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser for (RSContext::const_export_var_iterator I = mContext->export_vars_begin(), 197d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser E = mContext->export_vars_end(); 198d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser I != E; 199d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser I++) { 200d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser const RSExportVar *EV = *I; 201d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser const RSExportType *ET = EV->getType(); 202d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser bool countsAsRSObject = false; 203d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 204d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser // Variable name 205d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser ExportVarInfo.push_back( 206d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::MDString::get(mLLVMContext, EV->getName().c_str())); 207d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 208d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser // Type name 209d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser switch (ET->getClass()) { 210d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser case RSExportType::ExportClassPrimitive: { 211d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser const RSExportPrimitiveType *PT = 212d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser static_cast<const RSExportPrimitiveType*>(ET); 213d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser ExportVarInfo.push_back( 214d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::MDString::get( 215d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser mLLVMContext, llvm::utostr_32(PT->getType()))); 216d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (PT->isRSObjectType()) { 217d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser countsAsRSObject = true; 218a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang } 219d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser break; 220a65ec168e41e3ee9c6e8ac04cde694bbbfc2590aZonr Chang } 221d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser case RSExportType::ExportClassPointer: { 222d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser ExportVarInfo.push_back( 223d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::MDString::get( 224d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser mLLVMContext, ("*" + static_cast<const RSExportPointerType*>(ET) 225d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser ->getPointeeType()->getName()).c_str())); 226d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser break; 227b3a12fe7c18a06f99201dc491a932a90ab7d975cStephen Hines } 228d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser case RSExportType::ExportClassMatrix: { 229d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser ExportVarInfo.push_back( 230d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::MDString::get( 231d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser mLLVMContext, llvm::utostr_32( 232eca0534a31b6185d6ab758f5e97acd7a4cb21e8eJean-Luc Brouillet /* TODO Strange value. This pushes just a number, quite 233eca0534a31b6185d6ab758f5e97acd7a4cb21e8eJean-Luc Brouillet * different than the other cases. What is this used for? 234eca0534a31b6185d6ab758f5e97acd7a4cb21e8eJean-Luc Brouillet * These are the metadata values that some partner drivers 235eca0534a31b6185d6ab758f5e97acd7a4cb21e8eJean-Luc Brouillet * want to reference (for TBAA, etc.). We may want to look 236eca0534a31b6185d6ab758f5e97acd7a4cb21e8eJean-Luc Brouillet * at whether these provide any reasonable value (or have 237eca0534a31b6185d6ab758f5e97acd7a4cb21e8eJean-Luc Brouillet * distinct enough values to actually depend on). 238eca0534a31b6185d6ab758f5e97acd7a4cb21e8eJean-Luc Brouillet */ 239cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet DataTypeRSMatrix2x2 + 240d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser static_cast<const RSExportMatrixType*>(ET)->getDim() - 2))); 241d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser break; 242b3a12fe7c18a06f99201dc491a932a90ab7d975cStephen Hines } 243d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser case RSExportType::ExportClassVector: 244d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser case RSExportType::ExportClassConstantArray: 245d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser case RSExportType::ExportClassRecord: { 246d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser ExportVarInfo.push_back( 247d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::MDString::get(mLLVMContext, 248d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser EV->getType()->getName().c_str())); 249d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser break; 250d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser } 251d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser } 252d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 253d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser mExportVarMetadata->addOperand( 254d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::MDNode::get(mLLVMContext, ExportVarInfo)); 255d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser ExportVarInfo.clear(); 256b3a12fe7c18a06f99201dc491a932a90ab7d975cStephen Hines 257d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (mRSObjectSlotsMetadata == NULL) { 258d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser mRSObjectSlotsMetadata = 259d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser M->getOrInsertNamedMetadata(RS_OBJECT_SLOTS_MN); 260462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao } 2619ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 262d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (countsAsRSObject) { 263d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser mRSObjectSlotsMetadata->addOperand(llvm::MDNode::get(mLLVMContext, 264d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::MDString::get(mLLVMContext, llvm::utostr_32(slotCount)))); 265d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser } 2660da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang 267d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser slotCount++; 268d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser } 269d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser} 2700da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang 271d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosservoid RSBackend::dumpExportFunctionInfo(llvm::Module *M) { 272d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (mExportFuncMetadata == NULL) 273d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser mExportFuncMetadata = 274d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser M->getOrInsertNamedMetadata(RS_EXPORT_FUNC_MN); 275d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 276d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::SmallVector<llvm::Value*, 1> ExportFuncInfo; 277d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 278d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser for (RSContext::const_export_func_iterator 279d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser I = mContext->export_funcs_begin(), 280d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser E = mContext->export_funcs_end(); 281d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser I != E; 282d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser I++) { 283d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser const RSExportFunc *EF = *I; 284d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 285d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser // Function name 286d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (!EF->hasParam()) { 287d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser ExportFuncInfo.push_back(llvm::MDString::get(mLLVMContext, 288d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser EF->getName().c_str())); 289d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser } else { 290d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::Function *F = M->getFunction(EF->getName()); 291d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::Function *HelperFunction; 292d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser const std::string HelperFunctionName(".helper_" + EF->getName()); 293d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 294d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser slangAssert(F && "Function marked as exported disappeared in Bitcode"); 295d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 296d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser // Create helper function 297d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser { 298d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::StructType *HelperFunctionParameterTy = NULL; 299d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 300d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (!F->getArgumentList().empty()) { 301d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser std::vector<llvm::Type*> HelperFunctionParameterTys; 302d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser for (llvm::Function::arg_iterator AI = F->arg_begin(), 303d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser AE = F->arg_end(); AI != AE; AI++) 304d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser HelperFunctionParameterTys.push_back(AI->getType()); 305d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 306d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser HelperFunctionParameterTy = 307d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::StructType::get(mLLVMContext, HelperFunctionParameterTys); 308d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser } 3090da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang 310d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (!EF->checkParameterPacketType(HelperFunctionParameterTy)) { 311d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser fprintf(stderr, "Failed to export function %s: parameter type " 312d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser "mismatch during creation of helper function.\n", 313d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser EF->getName().c_str()); 3140da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang 315d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser const RSExportRecordType *Expected = EF->getParamPacketType(); 316d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (Expected) { 317d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser fprintf(stderr, "Expected:\n"); 318d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser Expected->getLLVMType()->dump(); 319d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser } 3200da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang if (HelperFunctionParameterTy) { 321d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser fprintf(stderr, "Got:\n"); 322d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser HelperFunctionParameterTy->dump(); 3230da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang } 324d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser } 3259ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 326d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser std::vector<llvm::Type*> Params; 327d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (HelperFunctionParameterTy) { 328d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::PointerType *HelperFunctionParameterTyP = 329d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::PointerType::getUnqual(HelperFunctionParameterTy); 330d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser Params.push_back(HelperFunctionParameterTyP); 3319ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 332462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 333d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::FunctionType * HelperFunctionType = 334d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::FunctionType::get(F->getReturnType(), 335d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser Params, 336d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser /* IsVarArgs = */false); 337d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 338d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser HelperFunction = 339d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::Function::Create(HelperFunctionType, 340d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::GlobalValue::ExternalLinkage, 341d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser HelperFunctionName, 342d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser M); 343d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 344d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser HelperFunction->addFnAttr(llvm::Attribute::NoInline); 345d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser HelperFunction->setCallingConv(F->getCallingConv()); 346d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 347d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser // Create helper function body 348d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser { 349d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::Argument *HelperFunctionParameter = 350d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser &(*HelperFunction->arg_begin()); 351d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::BasicBlock *BB = 352d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::BasicBlock::Create(mLLVMContext, "entry", HelperFunction); 353d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::IRBuilder<> *IB = new llvm::IRBuilder<>(BB); 354d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::SmallVector<llvm::Value*, 6> Params; 355d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::Value *Idx[2]; 356d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 357d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser Idx[0] = 358d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::ConstantInt::get(llvm::Type::getInt32Ty(mLLVMContext), 0); 359d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 360d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser // getelementptr and load instruction for all elements in 361d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser // parameter .p 362d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser for (size_t i = 0; i < EF->getNumParameters(); i++) { 363d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser // getelementptr 364d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser Idx[1] = llvm::ConstantInt::get( 365d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::Type::getInt32Ty(mLLVMContext), i); 366d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 367d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::Value *Ptr = 368d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser IB->CreateInBoundsGEP(HelperFunctionParameter, Idx); 369d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 370d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser // load 371d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::Value *V = IB->CreateLoad(Ptr); 372d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser Params.push_back(V); 373d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser } 374d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 375d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser // Call and pass the all elements as parameter to F 376d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::CallInst *CI = IB->CreateCall(F, Params); 377d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 378d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser CI->setCallingConv(F->getCallingConv()); 379d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 380d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (F->getReturnType() == llvm::Type::getVoidTy(mLLVMContext)) 381d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser IB->CreateRetVoid(); 382d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser else 383d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser IB->CreateRet(CI); 384d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 385d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser delete IB; 386d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser } 3879ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 388462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 389d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser ExportFuncInfo.push_back( 390d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::MDString::get(mLLVMContext, HelperFunctionName.c_str())); 3919ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 392d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 393d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser mExportFuncMetadata->addOperand( 394d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::MDNode::get(mLLVMContext, ExportFuncInfo)); 395d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser ExportFuncInfo.clear(); 3969ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 397d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser} 3989ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 399d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosservoid RSBackend::dumpExportForEachInfo(llvm::Module *M) { 400d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (mExportForEachNameMetadata == NULL) { 401d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser mExportForEachNameMetadata = 402d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser M->getOrInsertNamedMetadata(RS_EXPORT_FOREACH_NAME_MN); 403d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser } 404d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (mExportForEachSignatureMetadata == NULL) { 405d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser mExportForEachSignatureMetadata = 406d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser M->getOrInsertNamedMetadata(RS_EXPORT_FOREACH_MN); 407d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser } 4084ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines 409d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::SmallVector<llvm::Value*, 1> ExportForEachName; 410d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::SmallVector<llvm::Value*, 1> ExportForEachInfo; 4114ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines 412d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser for (RSContext::const_export_foreach_iterator 413d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser I = mContext->export_foreach_begin(), 414d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser E = mContext->export_foreach_end(); 415d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser I != E; 416d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser I++) { 417d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser const RSExportForEach *EFE = *I; 4184ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines 419d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser ExportForEachName.push_back( 420d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::MDString::get(mLLVMContext, EFE->getName().c_str())); 4217b51b55e4467605a599e868a0dde7cb95c5ab76eStephen Hines 422d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser mExportForEachNameMetadata->addOperand( 423d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::MDNode::get(mLLVMContext, ExportForEachName)); 424d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser ExportForEachName.clear(); 4257b51b55e4467605a599e868a0dde7cb95c5ab76eStephen Hines 426d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser ExportForEachInfo.push_back( 427d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::MDString::get(mLLVMContext, 428d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::utostr_32(EFE->getSignatureMetadata()))); 4294ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines 430d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser mExportForEachSignatureMetadata->addOperand( 431d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::MDNode::get(mLLVMContext, ExportForEachInfo)); 432d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser ExportForEachInfo.clear(); 4334ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines } 434d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser} 4354ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines 436d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosservoid RSBackend::dumpExportTypeInfo(llvm::Module *M) { 437d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::SmallVector<llvm::Value*, 1> ExportTypeInfo; 438d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 439d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser for (RSContext::const_export_type_iterator 440d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser I = mContext->export_types_begin(), 441d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser E = mContext->export_types_end(); 442d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser I != E; 443d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser I++) { 444d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser // First, dump type name list to export 445d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser const RSExportType *ET = I->getValue(); 446d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 447d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser ExportTypeInfo.clear(); 448d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser // Type name 449d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser ExportTypeInfo.push_back( 450d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::MDString::get(mLLVMContext, ET->getName().c_str())); 451d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 452d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (ET->getClass() == RSExportType::ExportClassRecord) { 453d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser const RSExportRecordType *ERT = 454d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser static_cast<const RSExportRecordType*>(ET); 455d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 456d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (mExportTypeMetadata == NULL) 457d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser mExportTypeMetadata = 458d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser M->getOrInsertNamedMetadata(RS_EXPORT_TYPE_MN); 459d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 460d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser mExportTypeMetadata->addOperand( 461d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::MDNode::get(mLLVMContext, ExportTypeInfo)); 462d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 463d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser // Now, export struct field information to %[struct name] 464d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser std::string StructInfoMetadataName("%"); 465d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser StructInfoMetadataName.append(ET->getName()); 466d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::NamedMDNode *StructInfoMetadata = 467d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser M->getOrInsertNamedMetadata(StructInfoMetadataName); 468d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::SmallVector<llvm::Value*, 3> FieldInfo; 469d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 470d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser slangAssert(StructInfoMetadata->getNumOperands() == 0 && 471d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser "Metadata with same name was created before"); 472d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser for (RSExportRecordType::const_field_iterator FI = ERT->fields_begin(), 473d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser FE = ERT->fields_end(); 474d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser FI != FE; 475d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser FI++) { 476d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser const RSExportRecordType::Field *F = *FI; 477d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 478d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser // 1. field name 479d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser FieldInfo.push_back(llvm::MDString::get(mLLVMContext, 480d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser F->getName().c_str())); 481d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 482d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser // 2. field type name 483d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser FieldInfo.push_back( 484d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::MDString::get(mLLVMContext, 485d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser F->getType()->getName().c_str())); 486d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 487d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser StructInfoMetadata->addOperand( 488d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::MDNode::get(mLLVMContext, FieldInfo)); 489d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser FieldInfo.clear(); 490d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser } 491d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser } // ET->getClass() == RSExportType::ExportClassRecord 492d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser } 493d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser} 494d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 495d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosservoid RSBackend::HandleTranslationUnitPost(llvm::Module *M) { 496d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (!mContext->processExport()) { 497d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser return; 4989ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 499462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 500d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (mContext->hasExportVar()) 501d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser dumpExportVarInfo(M); 502d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 503d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (mContext->hasExportFunc()) 504d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser dumpExportFunctionInfo(M); 505d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 506d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (mContext->hasExportForEach()) 507d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser dumpExportForEachInfo(M); 508d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 509d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (mContext->hasExportType()) 510d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser dumpExportTypeInfo(M); 511d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 5129ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return; 513462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 514462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 515462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei LiaoRSBackend::~RSBackend() { 5169ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return; 517462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 518e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines 519e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines} // namespace slang 520