1c383a500aa59423264811be3874461bf8adbfea0Zonr Chang/* 25e3b677a3041c86a7f860238dd1f5ff9d111b507Stephen 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_backend.h" 18462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 19e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include <string> 20e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include <vector> 21462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 225e6d0d5a911fff0b7b4bce216a213a4cf8a811f5Stephen Hines#include "bcinfo/BitcodeWrapper.h" 235e6d0d5a911fff0b7b4bce216a213a4cf8a811f5Stephen Hines 24e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "clang/AST/ASTContext.h" 259ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao#include "clang/AST/Decl.h" 269ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao#include "clang/AST/DeclGroup.h" 27462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 289ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao#include "clang/Basic/Diagnostic.h" 29e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "clang/Basic/TargetInfo.h" 309ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao#include "clang/Basic/TargetOptions.h" 31462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 32e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "clang/CodeGen/ModuleBuilder.h" 33e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines 343a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang#include "clang/Frontend/CodeGenOptions.h" 359ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao#include "clang/Frontend/FrontendDiagnostic.h" 36462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 37c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet#include "llvm/ADT/Twine.h" 38c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet#include "llvm/ADT/StringExtras.h" 39e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines 40e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "llvm/Bitcode/ReaderWriter.h" 41e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines 42e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "llvm/CodeGen/RegAllocRegistry.h" 43e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "llvm/CodeGen/SchedulerRegistry.h" 44e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines 45c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet#include "llvm/IR/Constant.h" 46c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet#include "llvm/IR/Constants.h" 47c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet#include "llvm/IR/DataLayout.h" 48c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet#include "llvm/IR/DebugLoc.h" 49c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet#include "llvm/IR/DerivedTypes.h" 50c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet#include "llvm/IR/Function.h" 51c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet#include "llvm/IR/IRBuilder.h" 52c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet#include "llvm/IR/IRPrintingPasses.h" 5323c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines#include "llvm/IR/LLVMContext.h" 5423c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines#include "llvm/IR/Metadata.h" 55c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet#include "llvm/IR/Module.h" 56e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines 579207a2e495c8363606861e4f034504ec5c153dabLogan Chien#include "llvm/Transforms/IPO/PassManagerBuilder.h" 58fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao 59e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "llvm/Target/TargetMachine.h" 60e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "llvm/Target/TargetOptions.h" 619207a2e495c8363606861e4f034504ec5c153dabLogan Chien#include "llvm/Support/TargetRegistry.h" 6277703262b9c2fecc22287ca236daa72b2cea7d27Shih-wei Liao 6377703262b9c2fecc22287ca236daa72b2cea7d27Shih-wei Liao#include "llvm/MC/SubtargetFeature.h" 64462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 656e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines#include "slang_assert.h" 66c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet#include "slang.h" 67c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet#include "slang_rs_context.h" 68c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet#include "slang_rs_export_foreach.h" 69c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet#include "slang_rs_export_func.h" 70c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet#include "slang_rs_export_type.h" 71c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet#include "slang_rs_export_var.h" 72c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet#include "slang_rs_metadata.h" 73c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 74552d872e5cdc883d9f8e76d8c67d3a82e3ece488Stephen Hines#include "strip_unknown_attributes.h" 754cc499d6e5ec602309501873449c938af61170b2Stephen Hines#include "BitWriter_2_9/ReaderWriter_2_9.h" 769b044ec938fd56355012851890c63974c8042c9fStephen Hines#include "BitWriter_2_9_func/ReaderWriter_2_9_func.h" 77d711dec946b6408791ca59eb98e363ef04bbd4aaStephen Hines#include "BitWriter_3_2/ReaderWriter_3_2.h" 786315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr 79e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hinesnamespace slang { 80462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 813a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Changvoid Backend::CreateFunctionPasses() { 823a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang if (!mPerFunctionPasses) { 83c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines mPerFunctionPasses = new llvm::legacy::FunctionPassManager(mpModule); 843a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang 85fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao llvm::PassManagerBuilder PMBuilder; 86fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao PMBuilder.OptLevel = mCodeGenOpts.OptimizationLevel; 87fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao PMBuilder.populateFunctionPassManager(*mPerFunctionPasses); 883a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang } 893a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang} 903a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang 913a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Changvoid Backend::CreateModulePasses() { 923a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang if (!mPerModulePasses) { 93c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines mPerModulePasses = new llvm::legacy::PassManager(); 943a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang 95fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao llvm::PassManagerBuilder PMBuilder; 96fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao PMBuilder.OptLevel = mCodeGenOpts.OptimizationLevel; 97fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao PMBuilder.SizeLevel = mCodeGenOpts.OptimizeSize; 98fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao if (mCodeGenOpts.UnitAtATime) { 99fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao PMBuilder.DisableUnitAtATime = 0; 100fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao } else { 101fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao PMBuilder.DisableUnitAtATime = 1; 102fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao } 103fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao 104fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao if (mCodeGenOpts.UnrollLoops) { 105fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao PMBuilder.DisableUnrollLoops = 0; 106fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao } else { 107fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao PMBuilder.DisableUnrollLoops = 1; 108fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao } 109fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao 110fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao PMBuilder.populateModulePassManager(*mPerModulePasses); 111552d872e5cdc883d9f8e76d8c67d3a82e3ece488Stephen Hines // Add a pass to strip off unknown/unsupported attributes. 112552d872e5cdc883d9f8e76d8c67d3a82e3ece488Stephen Hines mPerModulePasses->add(createStripUnknownAttributesPass()); 1133a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang } 1143a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang} 1153a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang 116462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liaobool Backend::CreateCodeGenPasses() { 1173a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang if ((mOT != Slang::OT_Assembly) && (mOT != Slang::OT_Object)) 1189ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return true; 119462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 1209ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Now we add passes for code emitting 1219ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (mCodeGenPasses) { 122462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao return true; 1239ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } else { 124c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines mCodeGenPasses = new llvm::legacy::FunctionPassManager(mpModule); 1259ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1269ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1279ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Create the TargetMachine for generating code. 1289ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao std::string Triple = mpModule->getTargetTriple(); 1299ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1309ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao std::string Error; 1319ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const llvm::Target* TargetInfo = 1329ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::TargetRegistry::lookupTarget(Triple, Error); 1335abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes if (TargetInfo == nullptr) { 1349207a2e495c8363606861e4f034504ec5c153dabLogan Chien mDiagEngine.Report(clang::diag::err_fe_unable_to_create_target) << Error; 1359ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return false; 1369ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1379ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 138ac4e18584b8768b3f68535fa5f16232e03974323Logan Chien // Target Machine Options 139ac4e18584b8768b3f68535fa5f16232e03974323Logan Chien llvm::TargetOptions Options; 140ac4e18584b8768b3f68535fa5f16232e03974323Logan Chien 141ac4e18584b8768b3f68535fa5f16232e03974323Logan Chien Options.NoFramePointerElim = mCodeGenOpts.DisableFPElim; 1429ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1439ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Use hardware FPU. 1449ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // 1459ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // FIXME: Need to detect the CPU capability and decide whether to use softfp. 1469ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // To use softfp, change following 2 lines to 1479ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // 148ac4e18584b8768b3f68535fa5f16232e03974323Logan Chien // Options.FloatABIType = llvm::FloatABI::Soft; 149ac4e18584b8768b3f68535fa5f16232e03974323Logan Chien // Options.UseSoftFloat = true; 150ac4e18584b8768b3f68535fa5f16232e03974323Logan Chien Options.FloatABIType = llvm::FloatABI::Hard; 151ac4e18584b8768b3f68535fa5f16232e03974323Logan Chien Options.UseSoftFloat = false; 1529ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1539ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // BCC needs all unknown symbols resolved at compilation time. So we don't 1549ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // need any relocation model. 155ab992e59a36a18df49bf4878968ef0598299afd3Logan Chien llvm::Reloc::Model RM = llvm::Reloc::Static; 1569ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 15741ebf534161bb67f6207a070c1f6a895dc853408Zonr Chang // This is set for the linker (specify how large of the virtual addresses we 15841ebf534161bb67f6207a070c1f6a895dc853408Zonr Chang // can access for all unknown symbols.) 1599207a2e495c8363606861e4f034504ec5c153dabLogan Chien llvm::CodeModel::Model CM; 1600b7545898dcfe2979f2c13afd12d276fc736412dStephen Hines if (mpModule->getDataLayout().getPointerSize() == 4) { 1619207a2e495c8363606861e4f034504ec5c153dabLogan Chien CM = llvm::CodeModel::Small; 1629207a2e495c8363606861e4f034504ec5c153dabLogan Chien } else { 16341ebf534161bb67f6207a070c1f6a895dc853408Zonr Chang // The target may have pointer size greater than 32 (e.g. x86_64 16441ebf534161bb67f6207a070c1f6a895dc853408Zonr Chang // architecture) may need large data address model 1659207a2e495c8363606861e4f034504ec5c153dabLogan Chien CM = llvm::CodeModel::Medium; 1669207a2e495c8363606861e4f034504ec5c153dabLogan Chien } 1679ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1689ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Setup feature string 1699ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao std::string FeaturesStr; 1709ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (mTargetOpts.CPU.size() || mTargetOpts.Features.size()) { 1719ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::SubtargetFeatures Features; 1729ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1739ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao for (std::vector<std::string>::const_iterator 1749ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao I = mTargetOpts.Features.begin(), E = mTargetOpts.Features.end(); 1759ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao I != E; 1769ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao I++) 1779ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao Features.AddFeature(*I); 1789ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1799ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FeaturesStr = Features.getString(); 1809ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1819207a2e495c8363606861e4f034504ec5c153dabLogan Chien 1829ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::TargetMachine *TM = 1839207a2e495c8363606861e4f034504ec5c153dabLogan Chien TargetInfo->createTargetMachine(Triple, mTargetOpts.CPU, FeaturesStr, 184ac4e18584b8768b3f68535fa5f16232e03974323Logan Chien Options, RM, CM); 1859ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1869ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Register scheduler 1879ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::RegisterScheduler::setDefault(llvm::createDefaultScheduler); 1889ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1899ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Register allocation policy: 1909ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // createFastRegisterAllocator: fast but bad quality 1912c6bad5038d8509466b9e0f9aa6a8ae533c0e029Logan Chien // createGreedyRegisterAllocator: not so fast but good quality 1929ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::RegisterRegAlloc::setDefault((mCodeGenOpts.OptimizationLevel == 0) ? 1939ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::createFastRegisterAllocator : 1942c6bad5038d8509466b9e0f9aa6a8ae533c0e029Logan Chien llvm::createGreedyRegisterAllocator); 1959ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1969ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::CodeGenOpt::Level OptLevel = llvm::CodeGenOpt::Default; 19777703262b9c2fecc22287ca236daa72b2cea7d27Shih-wei Liao if (mCodeGenOpts.OptimizationLevel == 0) { 1989ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao OptLevel = llvm::CodeGenOpt::None; 19977703262b9c2fecc22287ca236daa72b2cea7d27Shih-wei Liao } else if (mCodeGenOpts.OptimizationLevel == 3) { 2009ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao OptLevel = llvm::CodeGenOpt::Aggressive; 20177703262b9c2fecc22287ca236daa72b2cea7d27Shih-wei Liao } 2029ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 2039ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::TargetMachine::CodeGenFileType CGFT = 2046315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr llvm::TargetMachine::CGFT_AssemblyFile; 20577703262b9c2fecc22287ca236daa72b2cea7d27Shih-wei Liao if (mOT == Slang::OT_Object) { 2069ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao CGFT = llvm::TargetMachine::CGFT_ObjectFile; 20777703262b9c2fecc22287ca236daa72b2cea7d27Shih-wei Liao } 2082444eaadc5a5197e2c3192afd74c38e9e4bb0ffePirama Arumuga Nainar if (TM->addPassesToEmitFile(*mCodeGenPasses, mBufferOutStream, 2099ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao CGFT, OptLevel)) { 2109207a2e495c8363606861e4f034504ec5c153dabLogan Chien mDiagEngine.Report(clang::diag::err_fe_unable_to_interface_with_target); 2119ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return false; 2129ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 2139ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 2149ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return true; 215462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 216462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 217c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc BrouilletBackend::Backend(RSContext *Context, clang::DiagnosticsEngine *DiagEngine, 2189ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::CodeGenOptions &CodeGenOpts, 219c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet const clang::TargetOptions &TargetOpts, PragmaList *Pragmas, 220c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::raw_ostream *OS, Slang::OutputType OT, 221c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet clang::SourceManager &SourceMgr, bool AllowRSPrefix, 222c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet bool IsFilterscript) 223c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet : ASTConsumer(), mTargetOpts(TargetOpts), mpModule(nullptr), mpOS(OS), 224c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mOT(OT), mGen(nullptr), mPerFunctionPasses(nullptr), 2252444eaadc5a5197e2c3192afd74c38e9e4bb0ffePirama Arumuga Nainar mPerModulePasses(nullptr), mCodeGenPasses(nullptr), 2262444eaadc5a5197e2c3192afd74c38e9e4bb0ffePirama Arumuga Nainar mBufferOutStream(*mpOS), mContext(Context), 227c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mSourceMgr(SourceMgr), mAllowRSPrefix(AllowRSPrefix), 228c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mIsFilterscript(IsFilterscript), mExportVarMetadata(nullptr), 229c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mExportFuncMetadata(nullptr), mExportForEachNameMetadata(nullptr), 230c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mExportForEachSignatureMetadata(nullptr), mExportTypeMetadata(nullptr), 231c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mRSObjectSlotsMetadata(nullptr), mRefCount(mContext->getASTContext()), 232c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mASTChecker(Context, Context->getTargetAPI(), IsFilterscript), 233c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mLLVMContext(llvm::getGlobalContext()), mDiagEngine(*DiagEngine), 234c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mCodeGenOpts(CodeGenOpts), mPragmas(Pragmas) { 235c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines mGen = CreateLLVMCodeGen(mDiagEngine, "", mCodeGenOpts, mLLVMContext); 236462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 237462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2389ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liaovoid Backend::Initialize(clang::ASTContext &Ctx) { 2399ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mGen->Initialize(Ctx); 240462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2419ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mpModule = mGen->GetModule(); 242462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 243462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2445e6d0d5a911fff0b7b4bce216a213a4cf8a811f5Stephen Hines// Encase the Bitcode in a wrapper containing RS version information. 2455e6d0d5a911fff0b7b4bce216a213a4cf8a811f5Stephen Hinesvoid Backend::WrapBitcode(llvm::raw_string_ostream &Bitcode) { 2465e3b677a3041c86a7f860238dd1f5ff9d111b507Stephen Hines bcinfo::AndroidBitcodeWrapper wrapper; 2475e3b677a3041c86a7f860238dd1f5ff9d111b507Stephen Hines size_t actualWrapperLen = bcinfo::writeAndroidBitcodeWrapper( 2485e3b677a3041c86a7f860238dd1f5ff9d111b507Stephen Hines &wrapper, Bitcode.str().length(), getTargetAPI(), 2495e3b677a3041c86a7f860238dd1f5ff9d111b507Stephen Hines SlangVersion::CURRENT, mCodeGenOpts.OptimizationLevel); 2505e3b677a3041c86a7f860238dd1f5ff9d111b507Stephen Hines 2515e3b677a3041c86a7f860238dd1f5ff9d111b507Stephen Hines slangAssert(actualWrapperLen > 0); 2525e6d0d5a911fff0b7b4bce216a213a4cf8a811f5Stephen Hines 2535e6d0d5a911fff0b7b4bce216a213a4cf8a811f5Stephen Hines // Write out the bitcode wrapper. 2542444eaadc5a5197e2c3192afd74c38e9e4bb0ffePirama Arumuga Nainar mBufferOutStream.write(reinterpret_cast<char*>(&wrapper), actualWrapperLen); 2555e6d0d5a911fff0b7b4bce216a213a4cf8a811f5Stephen Hines 2565e6d0d5a911fff0b7b4bce216a213a4cf8a811f5Stephen Hines // Write out the actual encoded bitcode. 2572444eaadc5a5197e2c3192afd74c38e9e4bb0ffePirama Arumuga Nainar mBufferOutStream << Bitcode.str(); 2585e6d0d5a911fff0b7b4bce216a213a4cf8a811f5Stephen Hines} 2595e6d0d5a911fff0b7b4bce216a213a4cf8a811f5Stephen Hines 2609ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liaovoid Backend::HandleTranslationUnit(clang::ASTContext &Ctx) { 26168fc02ca4a7235e2981be5eee4ad968a9d3928c0Zonr Chang HandleTranslationUnitPre(Ctx); 26268fc02ca4a7235e2981be5eee4ad968a9d3928c0Zonr Chang 2639ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mGen->HandleTranslationUnit(Ctx); 264462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2659ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Here, we complete a translation unit (whole translation unit is now in LLVM 2669ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // IR). Now, interact with LLVM backend to generate actual machine code (asm 2679ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // or machine code, whatever.) 268462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2699ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Silently ignore if we weren't initialized for some reason. 27041ebf534161bb67f6207a070c1f6a895dc853408Zonr Chang if (!mpModule) 2719ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return; 272462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2739ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::Module *M = mGen->ReleaseModule(); 2749ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (!M) { 2759ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // The module has been released by IR gen on failures, do not double free. 2765abbe0e9ca2508260b627ffef2bf01e2554e8357Chris Wailes mpModule = nullptr; 2779ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return; 2789ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 2799ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 2806e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert(mpModule == M && 2816e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines "Unexpected module change during LLVM IR generation"); 2829ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 2839ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Insert #pragma information into metadata section of module 2843fd0a94a5cf1656569b1aea07043cc63939dcb46Stephen Hines if (!mPragmas->empty()) { 2859ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::NamedMDNode *PragmaMetadata = 2869ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mpModule->getOrInsertNamedMetadata(Slang::PragmaMetadataName); 2873fd0a94a5cf1656569b1aea07043cc63939dcb46Stephen Hines for (PragmaList::const_iterator I = mPragmas->begin(), E = mPragmas->end(); 2889ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao I != E; 2899ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao I++) { 290c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines llvm::SmallVector<llvm::Metadata*, 2> Pragma; 2919ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Name goes first 2929ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao Pragma.push_back(llvm::MDString::get(mLLVMContext, I->first)); 2939ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // And then value 2949ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao Pragma.push_back(llvm::MDString::get(mLLVMContext, I->second)); 29583f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao 2969ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Create MDNode and insert into PragmaMetadata 2979ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao PragmaMetadata->addOperand( 29818c8829f2bd3cbe0d02471588c6643c0a8c6ca3cStephen Hines llvm::MDNode::get(mLLVMContext, Pragma)); 299462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao } 3009ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 301462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 30268fc02ca4a7235e2981be5eee4ad968a9d3928c0Zonr Chang HandleTranslationUnitPost(mpModule); 303462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 3049ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Create passes for optimization and code emission 305462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 3069ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Create and run per-function passes 3079ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao CreateFunctionPasses(); 3089ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (mPerFunctionPasses) { 3099ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mPerFunctionPasses->doInitialization(); 310462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 3119ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao for (llvm::Module::iterator I = mpModule->begin(), E = mpModule->end(); 3129ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao I != E; 3139ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao I++) 3149ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (!I->isDeclaration()) 3159ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mPerFunctionPasses->run(*I); 316462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 3179ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mPerFunctionPasses->doFinalization(); 3189ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 319462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 3209ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Create and run module passes 3219ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao CreateModulePasses(); 3229ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (mPerModulePasses) 3239ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mPerModulePasses->run(*mpModule); 3249ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 3253a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang switch (mOT) { 3263a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang case Slang::OT_Assembly: 3273a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang case Slang::OT_Object: { 3286315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr if (!CreateCodeGenPasses()) 3299ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return; 330462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 3319ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mCodeGenPasses->doInitialization(); 332462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 3339ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao for (llvm::Module::iterator I = mpModule->begin(), E = mpModule->end(); 3349ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao I != E; 3359ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao I++) 3366315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr if (!I->isDeclaration()) 3379ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mCodeGenPasses->run(*I); 3389ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 3399ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mCodeGenPasses->doFinalization(); 3409ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 3419ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 3423a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang case Slang::OT_LLVMAssembly: { 343c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines llvm::legacy::PassManager *LLEmitPM = new llvm::legacy::PassManager(); 3442444eaadc5a5197e2c3192afd74c38e9e4bb0ffePirama Arumuga Nainar LLEmitPM->add(llvm::createPrintModulePass(mBufferOutStream)); 3459ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao LLEmitPM->run(*mpModule); 3469ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 347462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao } 3483a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang case Slang::OT_Bitcode: { 349c706907a8041faaa882f9bd87f1d1c1669023a62Stephen Hines llvm::legacy::PassManager *BCEmitPM = new llvm::legacy::PassManager(); 3505e6d0d5a911fff0b7b4bce216a213a4cf8a811f5Stephen Hines std::string BCStr; 3515e6d0d5a911fff0b7b4bce216a213a4cf8a811f5Stephen Hines llvm::raw_string_ostream Bitcode(BCStr); 352c9454afec1649846512993d0ef65a9f868976bb4Chris Wailes unsigned int TargetAPI = getTargetAPI(); 3539b044ec938fd56355012851890c63974c8042c9fStephen Hines switch (TargetAPI) { 3549b044ec938fd56355012851890c63974c8042c9fStephen Hines case SLANG_HC_TARGET_API: 3559b044ec938fd56355012851890c63974c8042c9fStephen Hines case SLANG_HC_MR1_TARGET_API: 3569b044ec938fd56355012851890c63974c8042c9fStephen Hines case SLANG_HC_MR2_TARGET_API: { 3579b044ec938fd56355012851890c63974c8042c9fStephen Hines // Pre-ICS targets must use the LLVM 2.9 BitcodeWriter 3589b044ec938fd56355012851890c63974c8042c9fStephen Hines BCEmitPM->add(llvm_2_9::createBitcodeWriterPass(Bitcode)); 3599b044ec938fd56355012851890c63974c8042c9fStephen Hines break; 3609b044ec938fd56355012851890c63974c8042c9fStephen Hines } 3619b044ec938fd56355012851890c63974c8042c9fStephen Hines case SLANG_ICS_TARGET_API: 3629b044ec938fd56355012851890c63974c8042c9fStephen Hines case SLANG_ICS_MR1_TARGET_API: { 3639b044ec938fd56355012851890c63974c8042c9fStephen Hines // ICS targets must use the LLVM 2.9_func BitcodeWriter 3649b044ec938fd56355012851890c63974c8042c9fStephen Hines BCEmitPM->add(llvm_2_9_func::createBitcodeWriterPass(Bitcode)); 3659b044ec938fd56355012851890c63974c8042c9fStephen Hines break; 3669b044ec938fd56355012851890c63974c8042c9fStephen Hines } 3679b044ec938fd56355012851890c63974c8042c9fStephen Hines default: { 3689e3aa07a4456aad52920e0a7464954fe67cdbe01Chris Wailes if (TargetAPI != SLANG_DEVELOPMENT_TARGET_API && 3699e3aa07a4456aad52920e0a7464954fe67cdbe01Chris Wailes (TargetAPI < SLANG_MINIMUM_TARGET_API || 3709e3aa07a4456aad52920e0a7464954fe67cdbe01Chris Wailes TargetAPI > SLANG_MAXIMUM_TARGET_API)) { 3719b044ec938fd56355012851890c63974c8042c9fStephen Hines slangAssert(false && "Invalid target API value"); 3729b044ec938fd56355012851890c63974c8042c9fStephen Hines } 373d711dec946b6408791ca59eb98e363ef04bbd4aaStephen Hines // Switch to the 3.2 BitcodeWriter by default, and don't use 374d711dec946b6408791ca59eb98e363ef04bbd4aaStephen Hines // LLVM's included BitcodeWriter at all (for now). 375d711dec946b6408791ca59eb98e363ef04bbd4aaStephen Hines BCEmitPM->add(llvm_3_2::createBitcodeWriterPass(Bitcode)); 376d711dec946b6408791ca59eb98e363ef04bbd4aaStephen Hines //BCEmitPM->add(llvm::createBitcodeWriterPass(Bitcode)); 3779b044ec938fd56355012851890c63974c8042c9fStephen Hines break; 3789b044ec938fd56355012851890c63974c8042c9fStephen Hines } 3794cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 3805e6d0d5a911fff0b7b4bce216a213a4cf8a811f5Stephen Hines 3819ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao BCEmitPM->run(*mpModule); 3825e6d0d5a911fff0b7b4bce216a213a4cf8a811f5Stephen Hines WrapBitcode(Bitcode); 3839ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 3849ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 3853a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang case Slang::OT_Nothing: { 3869ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return; 3879ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 3889ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao default: { 3896e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert(false && "Unknown output type"); 3909ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 3919ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 392462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 3932444eaadc5a5197e2c3192afd74c38e9e4bb0ffePirama Arumuga Nainar mBufferOutStream.flush(); 394462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 395462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 3969ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liaovoid Backend::HandleTagDeclDefinition(clang::TagDecl *D) { 3979ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mGen->HandleTagDeclDefinition(D); 398462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 399462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 4009ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liaovoid Backend::CompleteTentativeDefinition(clang::VarDecl *D) { 4019ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mGen->CompleteTentativeDefinition(D); 402462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 403462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 404462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei LiaoBackend::~Backend() { 4059ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao delete mpModule; 4069ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao delete mGen; 4079ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao delete mPerFunctionPasses; 4089ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao delete mPerModulePasses; 4099ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao delete mCodeGenPasses; 410462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 411e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines 412c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet// 1) Add zero initialization of local RS object types 413c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouilletvoid Backend::AnnotateFunction(clang::FunctionDecl *FD) { 414c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (FD && 415c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet FD->hasBody() && 416c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet !Slang::IsLocInRSHeaderFile(FD->getLocation(), mSourceMgr)) { 417c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mRefCount.Init(); 418c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mRefCount.Visit(FD->getBody()); 419c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 420c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet} 421c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 422c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouilletbool Backend::HandleTopLevelDecl(clang::DeclGroupRef D) { 423c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet // Disallow user-defined functions with prefix "rs" 424c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (!mAllowRSPrefix) { 425c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet // Iterate all function declarations in the program. 426c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet for (clang::DeclGroupRef::iterator I = D.begin(), E = D.end(); 427c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet I != E; I++) { 428c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet clang::FunctionDecl *FD = llvm::dyn_cast<clang::FunctionDecl>(*I); 429c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (FD == nullptr) 430c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet continue; 431c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (!FD->getName().startswith("rs")) // Check prefix 432c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet continue; 433c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (!Slang::IsLocInRSHeaderFile(FD->getLocation(), mSourceMgr)) 434c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mContext->ReportError(FD->getLocation(), 435c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet "invalid function name prefix, " 436c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet "\"rs\" is reserved: '%0'") 437c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet << FD->getName(); 438c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 439c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 440c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 441c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet // Process any non-static function declarations 442c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet for (clang::DeclGroupRef::iterator I = D.begin(), E = D.end(); I != E; I++) { 443c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet clang::FunctionDecl *FD = llvm::dyn_cast<clang::FunctionDecl>(*I); 444c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (FD && FD->isGlobal()) { 445c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet // Check that we don't have any array parameters being misintrepeted as 446c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet // kernel pointers due to the C type system's array to pointer decay. 447c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet size_t numParams = FD->getNumParams(); 448c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet for (size_t i = 0; i < numParams; i++) { 449c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet const clang::ParmVarDecl *PVD = FD->getParamDecl(i); 450c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet clang::QualType QT = PVD->getOriginalType(); 451c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (QT->isArrayType()) { 452c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mContext->ReportError( 453c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet PVD->getTypeSpecStartLoc(), 454c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet "exported function parameters may not have array type: %0") 455c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet << QT; 456c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 457c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 458c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet AnnotateFunction(FD); 459c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 460c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 461c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet return mGen->HandleTopLevelDecl(D); 462c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet} 463c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 464c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouilletvoid Backend::HandleTranslationUnitPre(clang::ASTContext &C) { 465c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet clang::TranslationUnitDecl *TUDecl = C.getTranslationUnitDecl(); 466c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 467c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet // If we have an invalid RS/FS AST, don't check further. 468c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (!mASTChecker.Validate()) { 469c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet return; 470c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 471c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 472c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (mIsFilterscript) { 473c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mContext->addPragma("rs_fp_relaxed", ""); 474c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 475c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 476c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet int version = mContext->getVersion(); 477c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (version == 0) { 478c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet // Not setting a version is an error 479c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mDiagEngine.Report( 480c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mSourceMgr.getLocForEndOfFile(mSourceMgr.getMainFileID()), 481c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mDiagEngine.getCustomDiagID( 482c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet clang::DiagnosticsEngine::Error, 483c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet "missing pragma for version in source file")); 484c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } else { 485c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet slangAssert(version == 1); 486c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 487c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 488c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (mContext->getReflectJavaPackageName().empty()) { 489c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mDiagEngine.Report( 490c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mSourceMgr.getLocForEndOfFile(mSourceMgr.getMainFileID()), 491c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mDiagEngine.getCustomDiagID(clang::DiagnosticsEngine::Error, 492c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet "missing \"#pragma rs " 493c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet "java_package_name(com.foo.bar)\" " 494c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet "in source file")); 495c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet return; 496c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 497c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 498c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet // Create a static global destructor if necessary (to handle RS object 499c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet // runtime cleanup). 500c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet clang::FunctionDecl *FD = mRefCount.CreateStaticGlobalDtor(); 501c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (FD) { 502c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet HandleTopLevelDecl(clang::DeclGroupRef(FD)); 503c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 504c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 505c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet // Process any static function declarations 506c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet for (clang::DeclContext::decl_iterator I = TUDecl->decls_begin(), 507c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet E = TUDecl->decls_end(); I != E; I++) { 508c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if ((I->getKind() >= clang::Decl::firstFunction) && 509c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet (I->getKind() <= clang::Decl::lastFunction)) { 510c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet clang::FunctionDecl *FD = llvm::dyn_cast<clang::FunctionDecl>(*I); 511c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (FD && !FD->isGlobal()) { 512c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet AnnotateFunction(FD); 513c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 514c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 515c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 516c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet} 517c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 518c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet/////////////////////////////////////////////////////////////////////////////// 519c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouilletvoid Backend::dumpExportVarInfo(llvm::Module *M) { 520c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet int slotCount = 0; 521c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (mExportVarMetadata == nullptr) 522c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mExportVarMetadata = M->getOrInsertNamedMetadata(RS_EXPORT_VAR_MN); 523c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 524c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::SmallVector<llvm::Metadata *, 2> ExportVarInfo; 525c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 526c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet // We emit slot information (#rs_object_slots) for any reference counted 527c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet // RS type or pointer (which can also be bound). 528c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 529c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet for (RSContext::const_export_var_iterator I = mContext->export_vars_begin(), 530c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet E = mContext->export_vars_end(); 531c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet I != E; 532c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet I++) { 533c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet const RSExportVar *EV = *I; 534c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet const RSExportType *ET = EV->getType(); 535c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet bool countsAsRSObject = false; 536c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 537c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet // Variable name 538c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet ExportVarInfo.push_back( 539c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::MDString::get(mLLVMContext, EV->getName().c_str())); 540c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 541c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet // Type name 542c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet switch (ET->getClass()) { 543c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet case RSExportType::ExportClassPrimitive: { 544c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet const RSExportPrimitiveType *PT = 545c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet static_cast<const RSExportPrimitiveType*>(ET); 546c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet ExportVarInfo.push_back( 547c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::MDString::get( 548c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mLLVMContext, llvm::utostr_32(PT->getType()))); 549c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (PT->isRSObjectType()) { 550c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet countsAsRSObject = true; 551c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 552c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet break; 553c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 554c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet case RSExportType::ExportClassPointer: { 555c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet ExportVarInfo.push_back( 556c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::MDString::get( 557c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mLLVMContext, ("*" + static_cast<const RSExportPointerType*>(ET) 558c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet ->getPointeeType()->getName()).c_str())); 559c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet break; 560c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 561c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet case RSExportType::ExportClassMatrix: { 562c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet ExportVarInfo.push_back( 563c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::MDString::get( 564c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mLLVMContext, llvm::utostr_32( 565c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet /* TODO Strange value. This pushes just a number, quite 566c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet * different than the other cases. What is this used for? 567c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet * These are the metadata values that some partner drivers 568c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet * want to reference (for TBAA, etc.). We may want to look 569c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet * at whether these provide any reasonable value (or have 570c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet * distinct enough values to actually depend on). 571c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet */ 572c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet DataTypeRSMatrix2x2 + 573c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet static_cast<const RSExportMatrixType*>(ET)->getDim() - 2))); 574c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet break; 575c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 576c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet case RSExportType::ExportClassVector: 577c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet case RSExportType::ExportClassConstantArray: 578c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet case RSExportType::ExportClassRecord: { 579c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet ExportVarInfo.push_back( 580c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::MDString::get(mLLVMContext, 581c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet EV->getType()->getName().c_str())); 582c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet break; 583c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 584c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 585c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 586c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mExportVarMetadata->addOperand( 587c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::MDNode::get(mLLVMContext, ExportVarInfo)); 588c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet ExportVarInfo.clear(); 589c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 590c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (mRSObjectSlotsMetadata == nullptr) { 591c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mRSObjectSlotsMetadata = 592c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet M->getOrInsertNamedMetadata(RS_OBJECT_SLOTS_MN); 593c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 594c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 595c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (countsAsRSObject) { 596c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mRSObjectSlotsMetadata->addOperand(llvm::MDNode::get(mLLVMContext, 597c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::MDString::get(mLLVMContext, llvm::utostr_32(slotCount)))); 598c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 599c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 600c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet slotCount++; 601c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 602c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet} 603c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 604c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouilletvoid Backend::dumpExportFunctionInfo(llvm::Module *M) { 605c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (mExportFuncMetadata == nullptr) 606c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mExportFuncMetadata = 607c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet M->getOrInsertNamedMetadata(RS_EXPORT_FUNC_MN); 608c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 609c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::SmallVector<llvm::Metadata *, 1> ExportFuncInfo; 610c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 611c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet for (RSContext::const_export_func_iterator 612c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet I = mContext->export_funcs_begin(), 613c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet E = mContext->export_funcs_end(); 614c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet I != E; 615c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet I++) { 616c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet const RSExportFunc *EF = *I; 617c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 618c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet // Function name 619c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (!EF->hasParam()) { 620c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet ExportFuncInfo.push_back(llvm::MDString::get(mLLVMContext, 621c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet EF->getName().c_str())); 622c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } else { 623c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::Function *F = M->getFunction(EF->getName()); 624c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::Function *HelperFunction; 625c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet const std::string HelperFunctionName(".helper_" + EF->getName()); 626c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 627c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet slangAssert(F && "Function marked as exported disappeared in Bitcode"); 628c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 629c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet // Create helper function 630c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet { 631c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::StructType *HelperFunctionParameterTy = nullptr; 632c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet std::vector<bool> isStructInput; 633c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 634c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (!F->getArgumentList().empty()) { 635c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet std::vector<llvm::Type*> HelperFunctionParameterTys; 636c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet for (llvm::Function::arg_iterator AI = F->arg_begin(), 637c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet AE = F->arg_end(); AI != AE; AI++) { 638c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (AI->getType()->isPointerTy() && AI->getType()->getPointerElementType()->isStructTy()) { 639c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet HelperFunctionParameterTys.push_back(AI->getType()->getPointerElementType()); 640c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet isStructInput.push_back(true); 641c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } else { 642c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet HelperFunctionParameterTys.push_back(AI->getType()); 643c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet isStructInput.push_back(false); 644c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 645c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 646c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet HelperFunctionParameterTy = 647c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::StructType::get(mLLVMContext, HelperFunctionParameterTys); 648c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 649c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 650c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (!EF->checkParameterPacketType(HelperFunctionParameterTy)) { 651c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet fprintf(stderr, "Failed to export function %s: parameter type " 652c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet "mismatch during creation of helper function.\n", 653c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet EF->getName().c_str()); 654c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 655c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet const RSExportRecordType *Expected = EF->getParamPacketType(); 656c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (Expected) { 657c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet fprintf(stderr, "Expected:\n"); 658c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet Expected->getLLVMType()->dump(); 659c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 660c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (HelperFunctionParameterTy) { 661c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet fprintf(stderr, "Got:\n"); 662c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet HelperFunctionParameterTy->dump(); 663c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 664c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 665c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 666c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet std::vector<llvm::Type*> Params; 667c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (HelperFunctionParameterTy) { 668c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::PointerType *HelperFunctionParameterTyP = 669c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::PointerType::getUnqual(HelperFunctionParameterTy); 670c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet Params.push_back(HelperFunctionParameterTyP); 671c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 672c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 673c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::FunctionType * HelperFunctionType = 674c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::FunctionType::get(F->getReturnType(), 675c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet Params, 676c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet /* IsVarArgs = */false); 677c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 678c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet HelperFunction = 679c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::Function::Create(HelperFunctionType, 680c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::GlobalValue::ExternalLinkage, 681c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet HelperFunctionName, 682c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet M); 683c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 684c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet HelperFunction->addFnAttr(llvm::Attribute::NoInline); 685c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet HelperFunction->setCallingConv(F->getCallingConv()); 686c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 687c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet // Create helper function body 688c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet { 689c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::Argument *HelperFunctionParameter = 690c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet &(*HelperFunction->arg_begin()); 691c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::BasicBlock *BB = 692c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::BasicBlock::Create(mLLVMContext, "entry", HelperFunction); 693c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::IRBuilder<> *IB = new llvm::IRBuilder<>(BB); 694c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::SmallVector<llvm::Value*, 6> Params; 695c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::Value *Idx[2]; 696c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 697c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet Idx[0] = 698c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::ConstantInt::get(llvm::Type::getInt32Ty(mLLVMContext), 0); 699c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 700c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet // getelementptr and load instruction for all elements in 701c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet // parameter .p 702c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet for (size_t i = 0; i < EF->getNumParameters(); i++) { 703c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet // getelementptr 704c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet Idx[1] = llvm::ConstantInt::get( 705c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::Type::getInt32Ty(mLLVMContext), i); 706c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 707c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::Value *Ptr = NULL; 708c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 709c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet Ptr = IB->CreateInBoundsGEP(HelperFunctionParameter, Idx); 710c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 711c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet // Load is only required for non-struct ptrs 712c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (isStructInput[i]) { 713c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet Params.push_back(Ptr); 714c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } else { 715c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::Value *V = IB->CreateLoad(Ptr); 716c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet Params.push_back(V); 717c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 718c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 719c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 720c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet // Call and pass the all elements as parameter to F 721c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::CallInst *CI = IB->CreateCall(F, Params); 722c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 723c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet CI->setCallingConv(F->getCallingConv()); 724c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 725c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (F->getReturnType() == llvm::Type::getVoidTy(mLLVMContext)) 726c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet IB->CreateRetVoid(); 727c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet else 728c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet IB->CreateRet(CI); 729c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 730c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet delete IB; 731c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 732c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 733c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 734c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet ExportFuncInfo.push_back( 735c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::MDString::get(mLLVMContext, HelperFunctionName.c_str())); 736c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 737c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 738c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mExportFuncMetadata->addOperand( 739c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::MDNode::get(mLLVMContext, ExportFuncInfo)); 740c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet ExportFuncInfo.clear(); 741c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 742c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet} 743c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 744c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouilletvoid Backend::dumpExportForEachInfo(llvm::Module *M) { 745c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (mExportForEachNameMetadata == nullptr) { 746c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mExportForEachNameMetadata = 747c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet M->getOrInsertNamedMetadata(RS_EXPORT_FOREACH_NAME_MN); 748c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 749c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (mExportForEachSignatureMetadata == nullptr) { 750c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mExportForEachSignatureMetadata = 751c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet M->getOrInsertNamedMetadata(RS_EXPORT_FOREACH_MN); 752c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 753c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 754c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::SmallVector<llvm::Metadata *, 1> ExportForEachName; 755c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::SmallVector<llvm::Metadata *, 1> ExportForEachInfo; 756c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 757c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet for (RSContext::const_export_foreach_iterator 758c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet I = mContext->export_foreach_begin(), 759c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet E = mContext->export_foreach_end(); 760c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet I != E; 761c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet I++) { 762c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet const RSExportForEach *EFE = *I; 763c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 764c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet ExportForEachName.push_back( 765c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::MDString::get(mLLVMContext, EFE->getName().c_str())); 766c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 767c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mExportForEachNameMetadata->addOperand( 768c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::MDNode::get(mLLVMContext, ExportForEachName)); 769c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet ExportForEachName.clear(); 770c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 771c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet ExportForEachInfo.push_back( 772c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::MDString::get(mLLVMContext, 773c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::utostr_32(EFE->getSignatureMetadata()))); 774c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 775c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mExportForEachSignatureMetadata->addOperand( 776c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::MDNode::get(mLLVMContext, ExportForEachInfo)); 777c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet ExportForEachInfo.clear(); 778c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 779c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet} 780c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 781c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouilletvoid Backend::dumpExportTypeInfo(llvm::Module *M) { 782c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::SmallVector<llvm::Metadata *, 1> ExportTypeInfo; 783c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 784c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet for (RSContext::const_export_type_iterator 785c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet I = mContext->export_types_begin(), 786c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet E = mContext->export_types_end(); 787c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet I != E; 788c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet I++) { 789c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet // First, dump type name list to export 790c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet const RSExportType *ET = I->getValue(); 791c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 792c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet ExportTypeInfo.clear(); 793c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet // Type name 794c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet ExportTypeInfo.push_back( 795c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::MDString::get(mLLVMContext, ET->getName().c_str())); 796c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 797c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (ET->getClass() == RSExportType::ExportClassRecord) { 798c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet const RSExportRecordType *ERT = 799c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet static_cast<const RSExportRecordType*>(ET); 800c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 801c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (mExportTypeMetadata == nullptr) 802c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mExportTypeMetadata = 803c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet M->getOrInsertNamedMetadata(RS_EXPORT_TYPE_MN); 804c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 805c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet mExportTypeMetadata->addOperand( 806c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::MDNode::get(mLLVMContext, ExportTypeInfo)); 807c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 808c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet // Now, export struct field information to %[struct name] 809c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet std::string StructInfoMetadataName("%"); 810c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet StructInfoMetadataName.append(ET->getName()); 811c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::NamedMDNode *StructInfoMetadata = 812c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet M->getOrInsertNamedMetadata(StructInfoMetadataName); 813c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::SmallVector<llvm::Metadata *, 3> FieldInfo; 814c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 815c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet slangAssert(StructInfoMetadata->getNumOperands() == 0 && 816c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet "Metadata with same name was created before"); 817c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet for (RSExportRecordType::const_field_iterator FI = ERT->fields_begin(), 818c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet FE = ERT->fields_end(); 819c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet FI != FE; 820c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet FI++) { 821c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet const RSExportRecordType::Field *F = *FI; 822c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 823c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet // 1. field name 824c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet FieldInfo.push_back(llvm::MDString::get(mLLVMContext, 825c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet F->getName().c_str())); 826c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 827c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet // 2. field type name 828c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet FieldInfo.push_back( 829c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::MDString::get(mLLVMContext, 830c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet F->getType()->getName().c_str())); 831c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 832c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet StructInfoMetadata->addOperand( 833c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet llvm::MDNode::get(mLLVMContext, FieldInfo)); 834c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet FieldInfo.clear(); 835c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 836c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } // ET->getClass() == RSExportType::ExportClassRecord 837c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 838c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet} 839c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 840c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouilletvoid Backend::HandleTranslationUnitPost(llvm::Module *M) { 841c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 842c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (!mContext->is64Bit()) { 843c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet M->setDataLayout("e-p:32:32-i64:64-v128:64:128-n32-S64"); 844c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 845c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 846c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (!mContext->processExport()) { 847c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet return; 848c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet } 849c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 850c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (mContext->hasExportVar()) 851c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet dumpExportVarInfo(M); 852c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 853c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (mContext->hasExportFunc()) 854c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet dumpExportFunctionInfo(M); 855c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 856c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (mContext->hasExportForEach()) 857c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet dumpExportForEachInfo(M); 858c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 859c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet if (mContext->hasExportType()) 860c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet dumpExportTypeInfo(M); 861c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet} 862c10bc752d0e4e3bfc4c7e1077bdf3355a25d037fJean-Luc Brouillet 863e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines} // namespace slang 864