slang_backend.cpp revision 83f0c6261efc8f397fc2509e3862bc6d0eb1e1c4
1c383a500aa59423264811be3874461bf8adbfea0Zonr Chang/* 2c383a500aa59423264811be3874461bf8adbfea0Zonr Chang * Copyright 2010, 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 22e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "clang/AST/ASTContext.h" 239ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao#include "clang/AST/Decl.h" 249ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao#include "clang/AST/DeclGroup.h" 25462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 269ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao#include "clang/Basic/Diagnostic.h" 27e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "clang/Basic/TargetInfo.h" 289ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao#include "clang/Basic/TargetOptions.h" 29462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 30e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "clang/CodeGen/ModuleBuilder.h" 31e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines 323a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang#include "clang/Frontend/CodeGenOptions.h" 339ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao#include "clang/Frontend/FrontendDiagnostic.h" 34462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 35e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "llvm/Assembly/PrintModulePass.h" 36e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines 37e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "llvm/Bitcode/ReaderWriter.h" 38e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines 39e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "llvm/CodeGen/RegAllocRegistry.h" 40e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "llvm/CodeGen/SchedulerRegistry.h" 41e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines 42e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "llvm/LLVMContext.h" 43e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "llvm/Module.h" 44e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "llvm/Metadata.h" 45e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines 46e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "llvm/Target/TargetData.h" 47e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "llvm/Target/TargetMachine.h" 48e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "llvm/Target/TargetOptions.h" 49e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "llvm/Target/TargetRegistry.h" 50e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "llvm/Target/SubtargetFeature.h" 51462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 526315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr#include "slang.h" 536e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines#include "slang_assert.h" 546315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr 55e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hinesnamespace slang { 56462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 573a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Changvoid Backend::CreateFunctionPasses() { 583a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang if (!mPerFunctionPasses) { 593a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang mPerFunctionPasses = new llvm::FunctionPassManager(mpModule); 6041ebf534161bb67f6207a070c1f6a895dc853408Zonr Chang mPerFunctionPasses->add(new llvm::TargetData(mpModule)); 613a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang 623a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang llvm::createStandardFunctionPasses(mPerFunctionPasses, 633a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang mCodeGenOpts.OptimizationLevel); 643a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang } 653a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang return; 663a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang} 673a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang 683a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Changvoid Backend::CreateModulePasses() { 693a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang if (!mPerModulePasses) { 703a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang mPerModulePasses = new llvm::PassManager(); 7141ebf534161bb67f6207a070c1f6a895dc853408Zonr Chang mPerModulePasses->add(new llvm::TargetData(mpModule)); 723a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang 733a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang llvm::createStandardModulePasses(mPerModulePasses, 743a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang mCodeGenOpts.OptimizationLevel, 753a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang mCodeGenOpts.OptimizeSize, 763a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang mCodeGenOpts.UnitAtATime, 773a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang mCodeGenOpts.UnrollLoops, 783a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang /* SimplifyLibCalls = */true, 793a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang /* HaveExceptions = */false, 803a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang /* InliningPass = */NULL); 813a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang } 823a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang return; 833a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang} 843a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang 85462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liaobool Backend::CreateCodeGenPasses() { 863a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang if ((mOT != Slang::OT_Assembly) && (mOT != Slang::OT_Object)) 879ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return true; 88462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 899ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Now we add passes for code emitting 909ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (mCodeGenPasses) { 91462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao return true; 929ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } else { 939ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mCodeGenPasses = new llvm::FunctionPassManager(mpModule); 9441ebf534161bb67f6207a070c1f6a895dc853408Zonr Chang mCodeGenPasses->add(new llvm::TargetData(mpModule)); 959ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 969ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 979ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Create the TargetMachine for generating code. 989ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao std::string Triple = mpModule->getTargetTriple(); 999ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1009ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao std::string Error; 1019ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const llvm::Target* TargetInfo = 1029ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::TargetRegistry::lookupTarget(Triple, Error); 1036315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr if (TargetInfo == NULL) { 1049ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mDiags.Report(clang::diag::err_fe_unable_to_create_target) << Error; 1059ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return false; 1069ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1079ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1089ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::NoFramePointerElim = mCodeGenOpts.DisableFPElim; 1099ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1109ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Use hardware FPU. 1119ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // 1129ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // FIXME: Need to detect the CPU capability and decide whether to use softfp. 1139ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // To use softfp, change following 2 lines to 1149ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // 1159ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // llvm::FloatABIType = llvm::FloatABI::Soft; 1169ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // llvm::UseSoftFloat = true; 1179ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::FloatABIType = llvm::FloatABI::Hard; 1189ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::UseSoftFloat = false; 1199ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1209ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // BCC needs all unknown symbols resolved at compilation time. So we don't 1219ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // need any relocation model. 1229ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::TargetMachine::setRelocationModel(llvm::Reloc::Static); 1239ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1249ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 12541ebf534161bb67f6207a070c1f6a895dc853408Zonr Chang // This is set for the linker (specify how large of the virtual addresses we 12641ebf534161bb67f6207a070c1f6a895dc853408Zonr Chang // can access for all unknown symbols.) 12741ebf534161bb67f6207a070c1f6a895dc853408Zonr Chang if (mpModule->getPointerSize() == llvm::Module::Pointer32) 1289ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::TargetMachine::setCodeModel(llvm::CodeModel::Small); 12941ebf534161bb67f6207a070c1f6a895dc853408Zonr Chang else 13041ebf534161bb67f6207a070c1f6a895dc853408Zonr Chang // The target may have pointer size greater than 32 (e.g. x86_64 13141ebf534161bb67f6207a070c1f6a895dc853408Zonr Chang // architecture) may need large data address model 13241ebf534161bb67f6207a070c1f6a895dc853408Zonr Chang llvm::TargetMachine::setCodeModel(llvm::CodeModel::Medium); 1339ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1349ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Setup feature string 1359ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao std::string FeaturesStr; 1369ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (mTargetOpts.CPU.size() || mTargetOpts.Features.size()) { 1379ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::SubtargetFeatures Features; 1389ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1399ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao Features.setCPU(mTargetOpts.CPU); 1409ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1419ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao for (std::vector<std::string>::const_iterator 1429ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao I = mTargetOpts.Features.begin(), E = mTargetOpts.Features.end(); 1439ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao I != E; 1449ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao I++) 1459ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao Features.AddFeature(*I); 1469ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1479ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FeaturesStr = Features.getString(); 1489ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1499ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::TargetMachine *TM = 1509ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao TargetInfo->createTargetMachine(Triple, FeaturesStr); 1519ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1529ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Register scheduler 1539ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::RegisterScheduler::setDefault(llvm::createDefaultScheduler); 1549ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1559ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Register allocation policy: 1569ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // createFastRegisterAllocator: fast but bad quality 1579ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // createLinearScanRegisterAllocator: not so fast but good quality 1589ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::RegisterRegAlloc::setDefault((mCodeGenOpts.OptimizationLevel == 0) ? 1599ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::createFastRegisterAllocator : 1609ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::createLinearScanRegisterAllocator); 1619ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1629ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::CodeGenOpt::Level OptLevel = llvm::CodeGenOpt::Default; 1639ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (mCodeGenOpts.OptimizationLevel == 0) 1649ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao OptLevel = llvm::CodeGenOpt::None; 1659ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao else if (mCodeGenOpts.OptimizationLevel == 3) 1669ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao OptLevel = llvm::CodeGenOpt::Aggressive; 1679ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1689ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::TargetMachine::CodeGenFileType CGFT = 1696315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr llvm::TargetMachine::CGFT_AssemblyFile; 1703a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang if (mOT == Slang::OT_Object) 1719ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao CGFT = llvm::TargetMachine::CGFT_ObjectFile; 1729ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (TM->addPassesToEmitFile(*mCodeGenPasses, FormattedOutStream, 1739ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao CGFT, OptLevel)) { 1749ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mDiags.Report(clang::diag::err_fe_unable_to_interface_with_target); 1759ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return false; 1769ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1779ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1789ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return true; 179462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 180462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 181e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen HinesBackend::Backend(clang::Diagnostic *Diags, 1829ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::CodeGenOptions &CodeGenOpts, 1839ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::TargetOptions &TargetOpts, 1843fd0a94a5cf1656569b1aea07043cc63939dcb46Stephen Hines PragmaList *Pragmas, 1859ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::raw_ostream *OS, 1863a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang Slang::OutputType OT) 1876315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr : ASTConsumer(), 1886315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr mCodeGenOpts(CodeGenOpts), 1896315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr mTargetOpts(TargetOpts), 19068fc02ca4a7235e2981be5eee4ad968a9d3928c0Zonr Chang mpModule(NULL), 1916315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr mpOS(OS), 1923a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang mOT(OT), 1936315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr mGen(NULL), 1946315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr mPerFunctionPasses(NULL), 1956315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr mPerModulePasses(NULL), 1966315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr mCodeGenPasses(NULL), 1976315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr mLLVMContext(llvm::getGlobalContext()), 198e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines mDiags(*Diags), 1996315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr mPragmas(Pragmas) { 2006315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr FormattedOutStream.setStream(*mpOS, 2016315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr llvm::formatted_raw_ostream::PRESERVE_STREAM); 2029ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mGen = CreateLLVMCodeGen(mDiags, "", mCodeGenOpts, mLLVMContext); 2039ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return; 204462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 205462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2069ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liaovoid Backend::Initialize(clang::ASTContext &Ctx) { 2079ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mGen->Initialize(Ctx); 208462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2099ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mpModule = mGen->GetModule(); 210462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2119ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return; 212462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 213462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2149ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liaovoid Backend::HandleTopLevelDecl(clang::DeclGroupRef D) { 2159ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mGen->HandleTopLevelDecl(D); 2169ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return; 217462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 218462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2199ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liaovoid Backend::HandleTranslationUnit(clang::ASTContext &Ctx) { 22068fc02ca4a7235e2981be5eee4ad968a9d3928c0Zonr Chang HandleTranslationUnitPre(Ctx); 22168fc02ca4a7235e2981be5eee4ad968a9d3928c0Zonr Chang 2229ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mGen->HandleTranslationUnit(Ctx); 223462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2249ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Here, we complete a translation unit (whole translation unit is now in LLVM 2259ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // IR). Now, interact with LLVM backend to generate actual machine code (asm 2269ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // or machine code, whatever.) 227462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2289ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Silently ignore if we weren't initialized for some reason. 22941ebf534161bb67f6207a070c1f6a895dc853408Zonr Chang if (!mpModule) 2309ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return; 231462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2329ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::Module *M = mGen->ReleaseModule(); 2339ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (!M) { 2349ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // The module has been released by IR gen on failures, do not double free. 2359ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mpModule = NULL; 2369ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return; 2379ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 2389ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 2396e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert(mpModule == M && 2406e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines "Unexpected module change during LLVM IR generation"); 2419ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 2429ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Insert #pragma information into metadata section of module 2433fd0a94a5cf1656569b1aea07043cc63939dcb46Stephen Hines if (!mPragmas->empty()) { 2449ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::NamedMDNode *PragmaMetadata = 2459ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mpModule->getOrInsertNamedMetadata(Slang::PragmaMetadataName); 2463fd0a94a5cf1656569b1aea07043cc63939dcb46Stephen Hines for (PragmaList::const_iterator I = mPragmas->begin(), E = mPragmas->end(); 2479ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao I != E; 2489ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao I++) { 2499ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::SmallVector<llvm::Value*, 2> Pragma; 2509ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Name goes first 2519ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao Pragma.push_back(llvm::MDString::get(mLLVMContext, I->first)); 2529ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // And then value 2539ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao Pragma.push_back(llvm::MDString::get(mLLVMContext, I->second)); 25483f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao 2559ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Create MDNode and insert into PragmaMetadata 25683f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao llvm::ArrayRef<llvm::Value*> PragmaArray(Pragma); 2579ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao PragmaMetadata->addOperand( 25883f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao llvm::MDNode::get(mLLVMContext, PragmaArray)); 259462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao } 2609ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 261462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 26268fc02ca4a7235e2981be5eee4ad968a9d3928c0Zonr Chang HandleTranslationUnitPost(mpModule); 263462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2649ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Create passes for optimization and code emission 265462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2669ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Create and run per-function passes 2679ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao CreateFunctionPasses(); 2689ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (mPerFunctionPasses) { 2699ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mPerFunctionPasses->doInitialization(); 270462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2719ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao for (llvm::Module::iterator I = mpModule->begin(), E = mpModule->end(); 2729ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao I != E; 2739ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao I++) 2749ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (!I->isDeclaration()) 2759ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mPerFunctionPasses->run(*I); 276462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2779ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mPerFunctionPasses->doFinalization(); 2789ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 279462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2809ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Create and run module passes 2819ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao CreateModulePasses(); 2829ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (mPerModulePasses) 2839ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mPerModulePasses->run(*mpModule); 2849ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 2853a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang switch (mOT) { 2863a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang case Slang::OT_Assembly: 2873a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang case Slang::OT_Object: { 2886315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr if (!CreateCodeGenPasses()) 2899ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return; 290462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2919ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mCodeGenPasses->doInitialization(); 292462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2939ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao for (llvm::Module::iterator I = mpModule->begin(), E = mpModule->end(); 2949ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao I != E; 2959ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao I++) 2966315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr if (!I->isDeclaration()) 2979ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mCodeGenPasses->run(*I); 2989ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 2999ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mCodeGenPasses->doFinalization(); 3009ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 3019ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 3023a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang case Slang::OT_LLVMAssembly: { 3039ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::PassManager *LLEmitPM = new llvm::PassManager(); 3049ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao LLEmitPM->add(llvm::createPrintModulePass(&FormattedOutStream)); 3059ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao LLEmitPM->run(*mpModule); 3069ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 307462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao } 3083a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang case Slang::OT_Bitcode: { 3099ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::PassManager *BCEmitPM = new llvm::PassManager(); 3109ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao BCEmitPM->add(llvm::createBitcodeWriterPass(FormattedOutStream)); 3119ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao BCEmitPM->run(*mpModule); 3129ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 3139ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 3143a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang case Slang::OT_Nothing: { 3159ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return; 3169ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 3179ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao default: { 3186e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert(false && "Unknown output type"); 3199ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 3209ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 321462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 3229ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FormattedOutStream.flush(); 3239ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 3249ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return; 325462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 326462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 3279ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liaovoid Backend::HandleTagDeclDefinition(clang::TagDecl *D) { 3289ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mGen->HandleTagDeclDefinition(D); 3299ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return; 330462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 331462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 3329ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liaovoid Backend::CompleteTentativeDefinition(clang::VarDecl *D) { 3339ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mGen->CompleteTentativeDefinition(D); 3349ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return; 335462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 336462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 337462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei LiaoBackend::~Backend() { 3389ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao delete mpModule; 3399ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao delete mGen; 3409ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao delete mPerFunctionPasses; 3419ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao delete mPerModulePasses; 3429ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao delete mCodeGenPasses; 3439ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return; 344462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 345e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines 346e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines} // namespace slang 347