slang_rs_backend.cpp revision cec9b65aa890dea58e39951900ae13efb8d11703
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( 232cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet // TODO Strange. This pushes just a number, quite different 233cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet // than the other cases. What is this used for? 234cec9b65aa890dea58e39951900ae13efb8d11703Jean-Luc Brouillet DataTypeRSMatrix2x2 + 235d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser static_cast<const RSExportMatrixType*>(ET)->getDim() - 2))); 236d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser break; 237b3a12fe7c18a06f99201dc491a932a90ab7d975cStephen Hines } 238d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser case RSExportType::ExportClassVector: 239d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser case RSExportType::ExportClassConstantArray: 240d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser case RSExportType::ExportClassRecord: { 241d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser ExportVarInfo.push_back( 242d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::MDString::get(mLLVMContext, 243d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser EV->getType()->getName().c_str())); 244d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser break; 245d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser } 246d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser } 247d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 248d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser mExportVarMetadata->addOperand( 249d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::MDNode::get(mLLVMContext, ExportVarInfo)); 250d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser ExportVarInfo.clear(); 251b3a12fe7c18a06f99201dc491a932a90ab7d975cStephen Hines 252d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (mRSObjectSlotsMetadata == NULL) { 253d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser mRSObjectSlotsMetadata = 254d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser M->getOrInsertNamedMetadata(RS_OBJECT_SLOTS_MN); 255462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao } 2569ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 257d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (countsAsRSObject) { 258d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser mRSObjectSlotsMetadata->addOperand(llvm::MDNode::get(mLLVMContext, 259d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::MDString::get(mLLVMContext, llvm::utostr_32(slotCount)))); 260d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser } 2610da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang 262d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser slotCount++; 263d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser } 264d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser} 2650da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang 266d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosservoid RSBackend::dumpExportFunctionInfo(llvm::Module *M) { 267d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (mExportFuncMetadata == NULL) 268d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser mExportFuncMetadata = 269d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser M->getOrInsertNamedMetadata(RS_EXPORT_FUNC_MN); 270d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 271d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::SmallVector<llvm::Value*, 1> ExportFuncInfo; 272d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 273d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser for (RSContext::const_export_func_iterator 274d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser I = mContext->export_funcs_begin(), 275d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser E = mContext->export_funcs_end(); 276d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser I != E; 277d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser I++) { 278d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser const RSExportFunc *EF = *I; 279d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 280d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser // Function name 281d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (!EF->hasParam()) { 282d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser ExportFuncInfo.push_back(llvm::MDString::get(mLLVMContext, 283d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser EF->getName().c_str())); 284d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser } else { 285d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::Function *F = M->getFunction(EF->getName()); 286d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::Function *HelperFunction; 287d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser const std::string HelperFunctionName(".helper_" + EF->getName()); 288d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 289d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser slangAssert(F && "Function marked as exported disappeared in Bitcode"); 290d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 291d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser // Create helper function 292d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser { 293d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::StructType *HelperFunctionParameterTy = NULL; 294d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 295d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (!F->getArgumentList().empty()) { 296d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser std::vector<llvm::Type*> HelperFunctionParameterTys; 297d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser for (llvm::Function::arg_iterator AI = F->arg_begin(), 298d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser AE = F->arg_end(); AI != AE; AI++) 299d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser HelperFunctionParameterTys.push_back(AI->getType()); 300d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 301d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser HelperFunctionParameterTy = 302d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::StructType::get(mLLVMContext, HelperFunctionParameterTys); 303d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser } 3040da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang 305d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (!EF->checkParameterPacketType(HelperFunctionParameterTy)) { 306d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser fprintf(stderr, "Failed to export function %s: parameter type " 307d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser "mismatch during creation of helper function.\n", 308d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser EF->getName().c_str()); 3090da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang 310d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser const RSExportRecordType *Expected = EF->getParamPacketType(); 311d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (Expected) { 312d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser fprintf(stderr, "Expected:\n"); 313d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser Expected->getLLVMType()->dump(); 314d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser } 3150da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang if (HelperFunctionParameterTy) { 316d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser fprintf(stderr, "Got:\n"); 317d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser HelperFunctionParameterTy->dump(); 3180da0a7dc51c25943fe31d0bfccbdfee326a3199cZonr Chang } 319d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser } 3209ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 321d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser std::vector<llvm::Type*> Params; 322d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (HelperFunctionParameterTy) { 323d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::PointerType *HelperFunctionParameterTyP = 324d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::PointerType::getUnqual(HelperFunctionParameterTy); 325d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser Params.push_back(HelperFunctionParameterTyP); 3269ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 327462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 328d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::FunctionType * HelperFunctionType = 329d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::FunctionType::get(F->getReturnType(), 330d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser Params, 331d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser /* IsVarArgs = */false); 332d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 333d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser HelperFunction = 334d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::Function::Create(HelperFunctionType, 335d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::GlobalValue::ExternalLinkage, 336d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser HelperFunctionName, 337d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser M); 338d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 339d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser HelperFunction->addFnAttr(llvm::Attribute::NoInline); 340d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser HelperFunction->setCallingConv(F->getCallingConv()); 341d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 342d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser // Create helper function body 343d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser { 344d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::Argument *HelperFunctionParameter = 345d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser &(*HelperFunction->arg_begin()); 346d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::BasicBlock *BB = 347d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::BasicBlock::Create(mLLVMContext, "entry", HelperFunction); 348d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::IRBuilder<> *IB = new llvm::IRBuilder<>(BB); 349d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::SmallVector<llvm::Value*, 6> Params; 350d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::Value *Idx[2]; 351d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 352d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser Idx[0] = 353d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::ConstantInt::get(llvm::Type::getInt32Ty(mLLVMContext), 0); 354d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 355d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser // getelementptr and load instruction for all elements in 356d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser // parameter .p 357d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser for (size_t i = 0; i < EF->getNumParameters(); i++) { 358d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser // getelementptr 359d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser Idx[1] = llvm::ConstantInt::get( 360d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::Type::getInt32Ty(mLLVMContext), i); 361d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 362d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::Value *Ptr = 363d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser IB->CreateInBoundsGEP(HelperFunctionParameter, Idx); 364d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 365d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser // load 366d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::Value *V = IB->CreateLoad(Ptr); 367d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser Params.push_back(V); 368d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser } 369d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 370d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser // Call and pass the all elements as parameter to F 371d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::CallInst *CI = IB->CreateCall(F, Params); 372d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 373d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser CI->setCallingConv(F->getCallingConv()); 374d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 375d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (F->getReturnType() == llvm::Type::getVoidTy(mLLVMContext)) 376d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser IB->CreateRetVoid(); 377d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser else 378d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser IB->CreateRet(CI); 379d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 380d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser delete IB; 381d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser } 3829ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 383462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 384d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser ExportFuncInfo.push_back( 385d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::MDString::get(mLLVMContext, HelperFunctionName.c_str())); 3869ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 387d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 388d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser mExportFuncMetadata->addOperand( 389d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::MDNode::get(mLLVMContext, ExportFuncInfo)); 390d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser ExportFuncInfo.clear(); 3919ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 392d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser} 3939ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 394d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosservoid RSBackend::dumpExportForEachInfo(llvm::Module *M) { 395d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (mExportForEachNameMetadata == NULL) { 396d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser mExportForEachNameMetadata = 397d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser M->getOrInsertNamedMetadata(RS_EXPORT_FOREACH_NAME_MN); 398d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser } 399d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (mExportForEachSignatureMetadata == NULL) { 400d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser mExportForEachSignatureMetadata = 401d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser M->getOrInsertNamedMetadata(RS_EXPORT_FOREACH_MN); 402d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser } 4034ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines 404d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::SmallVector<llvm::Value*, 1> ExportForEachName; 405d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::SmallVector<llvm::Value*, 1> ExportForEachInfo; 4064ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines 407d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser for (RSContext::const_export_foreach_iterator 408d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser I = mContext->export_foreach_begin(), 409d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser E = mContext->export_foreach_end(); 410d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser I != E; 411d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser I++) { 412d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser const RSExportForEach *EFE = *I; 4134ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines 414d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser ExportForEachName.push_back( 415d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::MDString::get(mLLVMContext, EFE->getName().c_str())); 4167b51b55e4467605a599e868a0dde7cb95c5ab76eStephen Hines 417d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser mExportForEachNameMetadata->addOperand( 418d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::MDNode::get(mLLVMContext, ExportForEachName)); 419d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser ExportForEachName.clear(); 4207b51b55e4467605a599e868a0dde7cb95c5ab76eStephen Hines 421d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser ExportForEachInfo.push_back( 422d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::MDString::get(mLLVMContext, 423d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::utostr_32(EFE->getSignatureMetadata()))); 4244ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines 425d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser mExportForEachSignatureMetadata->addOperand( 426d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::MDNode::get(mLLVMContext, ExportForEachInfo)); 427d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser ExportForEachInfo.clear(); 4284ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines } 429d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser} 4304ccf75e55fe460a8daa49247d7e5a797329c71a6Stephen Hines 431d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosservoid RSBackend::dumpExportTypeInfo(llvm::Module *M) { 432d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::SmallVector<llvm::Value*, 1> ExportTypeInfo; 433d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 434d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser for (RSContext::const_export_type_iterator 435d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser I = mContext->export_types_begin(), 436d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser E = mContext->export_types_end(); 437d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser I != E; 438d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser I++) { 439d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser // First, dump type name list to export 440d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser const RSExportType *ET = I->getValue(); 441d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 442d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser ExportTypeInfo.clear(); 443d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser // Type name 444d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser ExportTypeInfo.push_back( 445d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::MDString::get(mLLVMContext, ET->getName().c_str())); 446d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 447d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (ET->getClass() == RSExportType::ExportClassRecord) { 448d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser const RSExportRecordType *ERT = 449d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser static_cast<const RSExportRecordType*>(ET); 450d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 451d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (mExportTypeMetadata == NULL) 452d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser mExportTypeMetadata = 453d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser M->getOrInsertNamedMetadata(RS_EXPORT_TYPE_MN); 454d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 455d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser mExportTypeMetadata->addOperand( 456d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::MDNode::get(mLLVMContext, ExportTypeInfo)); 457d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 458d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser // Now, export struct field information to %[struct name] 459d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser std::string StructInfoMetadataName("%"); 460d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser StructInfoMetadataName.append(ET->getName()); 461d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::NamedMDNode *StructInfoMetadata = 462d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser M->getOrInsertNamedMetadata(StructInfoMetadataName); 463d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::SmallVector<llvm::Value*, 3> FieldInfo; 464d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 465d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser slangAssert(StructInfoMetadata->getNumOperands() == 0 && 466d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser "Metadata with same name was created before"); 467d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser for (RSExportRecordType::const_field_iterator FI = ERT->fields_begin(), 468d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser FE = ERT->fields_end(); 469d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser FI != FE; 470d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser FI++) { 471d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser const RSExportRecordType::Field *F = *FI; 472d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 473d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser // 1. field name 474d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser FieldInfo.push_back(llvm::MDString::get(mLLVMContext, 475d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser F->getName().c_str())); 476d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 477d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser // 2. field type name 478d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser FieldInfo.push_back( 479d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::MDString::get(mLLVMContext, 480d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser F->getType()->getName().c_str())); 481d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 482d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser StructInfoMetadata->addOperand( 483d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser llvm::MDNode::get(mLLVMContext, FieldInfo)); 484d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser FieldInfo.clear(); 485d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser } 486d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser } // ET->getClass() == RSExportType::ExportClassRecord 487d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser } 488d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser} 489d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 490d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosservoid RSBackend::HandleTranslationUnitPost(llvm::Module *M) { 491d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (!mContext->processExport()) { 492d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser return; 4939ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 494462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 495d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (mContext->hasExportVar()) 496d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser dumpExportVarInfo(M); 497d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 498d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (mContext->hasExportFunc()) 499d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser dumpExportFunctionInfo(M); 500d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 501d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (mContext->hasExportForEach()) 502d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser dumpExportForEachInfo(M); 503d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 504d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser if (mContext->hasExportType()) 505d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser dumpExportTypeInfo(M); 506d460f623328e2b4ebd05bb93910edb471e6e91d6Tobias Grosser 5079ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return; 508462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 509462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 510462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei LiaoRSBackend::~RSBackend() { 5119ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return; 512462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 513e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines 514e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines} // namespace slang 515