slang_backend.cpp revision ee4016d1247d3fbe50822de279d3da273d8aef4c
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 37ee4016d1247d3fbe50822de279d3da273d8aef4cTim Murray#include "llvm/IR/IRPrintingPasses.h" 38e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines 39e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "llvm/Bitcode/ReaderWriter.h" 40e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines 41e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "llvm/CodeGen/RegAllocRegistry.h" 42e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "llvm/CodeGen/SchedulerRegistry.h" 43e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines 4423c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines#include "llvm/IR/LLVMContext.h" 4523c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines#include "llvm/IR/Module.h" 4623c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines#include "llvm/IR/Metadata.h" 47e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines 489207a2e495c8363606861e4f034504ec5c153dabLogan Chien#include "llvm/Transforms/IPO/PassManagerBuilder.h" 49fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao 5023c4358f12bd9d0ba7166eceebd683db95a41b3fStephen Hines#include "llvm/IR/DataLayout.h" 51e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "llvm/Target/TargetMachine.h" 52e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines#include "llvm/Target/TargetOptions.h" 539207a2e495c8363606861e4f034504ec5c153dabLogan Chien#include "llvm/Support/TargetRegistry.h" 5477703262b9c2fecc22287ca236daa72b2cea7d27Shih-wei Liao 5577703262b9c2fecc22287ca236daa72b2cea7d27Shih-wei Liao#include "llvm/MC/SubtargetFeature.h" 56462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 576e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines#include "slang_assert.h" 58552d872e5cdc883d9f8e76d8c67d3a82e3ece488Stephen Hines#include "strip_unknown_attributes.h" 594cc499d6e5ec602309501873449c938af61170b2Stephen Hines#include "BitWriter_2_9/ReaderWriter_2_9.h" 609b044ec938fd56355012851890c63974c8042c9fStephen Hines#include "BitWriter_2_9_func/ReaderWriter_2_9_func.h" 61d711dec946b6408791ca59eb98e363ef04bbd4aaStephen Hines#include "BitWriter_3_2/ReaderWriter_3_2.h" 626315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr 63e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hinesnamespace slang { 64462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 653a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Changvoid Backend::CreateFunctionPasses() { 663a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang if (!mPerFunctionPasses) { 673a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang mPerFunctionPasses = new llvm::FunctionPassManager(mpModule); 68ee4016d1247d3fbe50822de279d3da273d8aef4cTim Murray mPerFunctionPasses->add(new llvm::DataLayoutPass(mpModule)); 693a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang 70fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao llvm::PassManagerBuilder PMBuilder; 71fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao PMBuilder.OptLevel = mCodeGenOpts.OptimizationLevel; 72fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao PMBuilder.populateFunctionPassManager(*mPerFunctionPasses); 733a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang } 743a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang return; 753a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang} 763a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang 773a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Changvoid Backend::CreateModulePasses() { 783a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang if (!mPerModulePasses) { 793a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang mPerModulePasses = new llvm::PassManager(); 80ee4016d1247d3fbe50822de279d3da273d8aef4cTim Murray mPerModulePasses->add(new llvm::DataLayoutPass(mpModule)); 813a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang 82fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao llvm::PassManagerBuilder PMBuilder; 83fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao PMBuilder.OptLevel = mCodeGenOpts.OptimizationLevel; 84fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao PMBuilder.SizeLevel = mCodeGenOpts.OptimizeSize; 85fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao PMBuilder.SizeLevel = mCodeGenOpts.OptimizeSize; 86fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao if (mCodeGenOpts.UnitAtATime) { 87fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao PMBuilder.DisableUnitAtATime = 0; 88fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao } else { 89fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao PMBuilder.DisableUnitAtATime = 1; 90fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao } 91fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao 92fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao if (mCodeGenOpts.UnrollLoops) { 93fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao PMBuilder.DisableUnrollLoops = 0; 94fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao } else { 95fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao PMBuilder.DisableUnrollLoops = 1; 96fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao } 97fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao 98fcc654a1f4034978f7534479f9c5c33a92ca8546Shih-wei Liao PMBuilder.populateModulePassManager(*mPerModulePasses); 99552d872e5cdc883d9f8e76d8c67d3a82e3ece488Stephen Hines // Add a pass to strip off unknown/unsupported attributes. 100552d872e5cdc883d9f8e76d8c67d3a82e3ece488Stephen Hines mPerModulePasses->add(createStripUnknownAttributesPass()); 1013a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang } 1023a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang return; 1033a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang} 1043a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang 105462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liaobool Backend::CreateCodeGenPasses() { 1063a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang if ((mOT != Slang::OT_Assembly) && (mOT != Slang::OT_Object)) 1079ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return true; 108462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 1099ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Now we add passes for code emitting 1109ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (mCodeGenPasses) { 111462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao return true; 1129ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } else { 1139ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mCodeGenPasses = new llvm::FunctionPassManager(mpModule); 114ee4016d1247d3fbe50822de279d3da273d8aef4cTim Murray mCodeGenPasses->add(new llvm::DataLayoutPass(mpModule)); 1159ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1169ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1179ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Create the TargetMachine for generating code. 1189ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao std::string Triple = mpModule->getTargetTriple(); 1199ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1209ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao std::string Error; 1219ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const llvm::Target* TargetInfo = 1229ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::TargetRegistry::lookupTarget(Triple, Error); 1236315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr if (TargetInfo == NULL) { 1249207a2e495c8363606861e4f034504ec5c153dabLogan Chien mDiagEngine.Report(clang::diag::err_fe_unable_to_create_target) << Error; 1259ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return false; 1269ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1279ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 128ac4e18584b8768b3f68535fa5f16232e03974323Logan Chien // Target Machine Options 129ac4e18584b8768b3f68535fa5f16232e03974323Logan Chien llvm::TargetOptions Options; 130ac4e18584b8768b3f68535fa5f16232e03974323Logan Chien 131ac4e18584b8768b3f68535fa5f16232e03974323Logan Chien Options.NoFramePointerElim = mCodeGenOpts.DisableFPElim; 1329ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1339ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Use hardware FPU. 1349ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // 1359ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // FIXME: Need to detect the CPU capability and decide whether to use softfp. 1369ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // To use softfp, change following 2 lines to 1379ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // 138ac4e18584b8768b3f68535fa5f16232e03974323Logan Chien // Options.FloatABIType = llvm::FloatABI::Soft; 139ac4e18584b8768b3f68535fa5f16232e03974323Logan Chien // Options.UseSoftFloat = true; 140ac4e18584b8768b3f68535fa5f16232e03974323Logan Chien Options.FloatABIType = llvm::FloatABI::Hard; 141ac4e18584b8768b3f68535fa5f16232e03974323Logan Chien Options.UseSoftFloat = false; 1429ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1439ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // BCC needs all unknown symbols resolved at compilation time. So we don't 1449ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // need any relocation model. 145ab992e59a36a18df49bf4878968ef0598299afd3Logan Chien llvm::Reloc::Model RM = llvm::Reloc::Static; 1469ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 14741ebf534161bb67f6207a070c1f6a895dc853408Zonr Chang // This is set for the linker (specify how large of the virtual addresses we 14841ebf534161bb67f6207a070c1f6a895dc853408Zonr Chang // can access for all unknown symbols.) 1499207a2e495c8363606861e4f034504ec5c153dabLogan Chien llvm::CodeModel::Model CM; 150ee4016d1247d3fbe50822de279d3da273d8aef4cTim Murray if (mpModule->getDataLayout()->getPointerSize() == 4) { 1519207a2e495c8363606861e4f034504ec5c153dabLogan Chien CM = llvm::CodeModel::Small; 1529207a2e495c8363606861e4f034504ec5c153dabLogan Chien } else { 15341ebf534161bb67f6207a070c1f6a895dc853408Zonr Chang // The target may have pointer size greater than 32 (e.g. x86_64 15441ebf534161bb67f6207a070c1f6a895dc853408Zonr Chang // architecture) may need large data address model 1559207a2e495c8363606861e4f034504ec5c153dabLogan Chien CM = llvm::CodeModel::Medium; 1569207a2e495c8363606861e4f034504ec5c153dabLogan Chien } 1579ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1589ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Setup feature string 1599ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao std::string FeaturesStr; 1609ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (mTargetOpts.CPU.size() || mTargetOpts.Features.size()) { 1619ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::SubtargetFeatures Features; 1629ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1639ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao for (std::vector<std::string>::const_iterator 1649ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao I = mTargetOpts.Features.begin(), E = mTargetOpts.Features.end(); 1659ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao I != E; 1669ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao I++) 1679ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao Features.AddFeature(*I); 1689ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1699ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FeaturesStr = Features.getString(); 1709ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 1719207a2e495c8363606861e4f034504ec5c153dabLogan Chien 1729ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::TargetMachine *TM = 1739207a2e495c8363606861e4f034504ec5c153dabLogan Chien TargetInfo->createTargetMachine(Triple, mTargetOpts.CPU, FeaturesStr, 174ac4e18584b8768b3f68535fa5f16232e03974323Logan Chien Options, RM, CM); 1759ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1769ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Register scheduler 1779ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::RegisterScheduler::setDefault(llvm::createDefaultScheduler); 1789ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1799ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Register allocation policy: 1809ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // createFastRegisterAllocator: fast but bad quality 1812c6bad5038d8509466b9e0f9aa6a8ae533c0e029Logan Chien // createGreedyRegisterAllocator: not so fast but good quality 1829ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::RegisterRegAlloc::setDefault((mCodeGenOpts.OptimizationLevel == 0) ? 1839ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::createFastRegisterAllocator : 1842c6bad5038d8509466b9e0f9aa6a8ae533c0e029Logan Chien llvm::createGreedyRegisterAllocator); 1859ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1869ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::CodeGenOpt::Level OptLevel = llvm::CodeGenOpt::Default; 18777703262b9c2fecc22287ca236daa72b2cea7d27Shih-wei Liao if (mCodeGenOpts.OptimizationLevel == 0) { 1889ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao OptLevel = llvm::CodeGenOpt::None; 18977703262b9c2fecc22287ca236daa72b2cea7d27Shih-wei Liao } else if (mCodeGenOpts.OptimizationLevel == 3) { 1909ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao OptLevel = llvm::CodeGenOpt::Aggressive; 19177703262b9c2fecc22287ca236daa72b2cea7d27Shih-wei Liao } 1929ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 1939ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::TargetMachine::CodeGenFileType CGFT = 1946315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr llvm::TargetMachine::CGFT_AssemblyFile; 19577703262b9c2fecc22287ca236daa72b2cea7d27Shih-wei Liao if (mOT == Slang::OT_Object) { 1969ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao CGFT = llvm::TargetMachine::CGFT_ObjectFile; 19777703262b9c2fecc22287ca236daa72b2cea7d27Shih-wei Liao } 1989ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (TM->addPassesToEmitFile(*mCodeGenPasses, FormattedOutStream, 1999ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao CGFT, OptLevel)) { 2009207a2e495c8363606861e4f034504ec5c153dabLogan Chien mDiagEngine.Report(clang::diag::err_fe_unable_to_interface_with_target); 2019ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return false; 2029ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 2039ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 2049ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return true; 205462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 206462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2079207a2e495c8363606861e4f034504ec5c153dabLogan ChienBackend::Backend(clang::DiagnosticsEngine *DiagEngine, 2089ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::CodeGenOptions &CodeGenOpts, 2099ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao const clang::TargetOptions &TargetOpts, 2103fd0a94a5cf1656569b1aea07043cc63939dcb46Stephen Hines PragmaList *Pragmas, 2119ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::raw_ostream *OS, 2123a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang Slang::OutputType OT) 2136315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr : ASTConsumer(), 2146315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr mTargetOpts(TargetOpts), 21568fc02ca4a7235e2981be5eee4ad968a9d3928c0Zonr Chang mpModule(NULL), 2166315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr mpOS(OS), 2173a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang mOT(OT), 2186315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr mGen(NULL), 2196315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr mPerFunctionPasses(NULL), 2206315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr mPerModulePasses(NULL), 2216315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr mCodeGenPasses(NULL), 2226315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr mLLVMContext(llvm::getGlobalContext()), 2239207a2e495c8363606861e4f034504ec5c153dabLogan Chien mDiagEngine(*DiagEngine), 224c460b37ffb50819a32c2a8967754b6f784b28263mkopec mCodeGenOpts(CodeGenOpts), 2256315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr mPragmas(Pragmas) { 2266315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr FormattedOutStream.setStream(*mpOS, 2276315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr llvm::formatted_raw_ostream::PRESERVE_STREAM); 2280da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines mGen = CreateLLVMCodeGen(mDiagEngine, "", mCodeGenOpts, 2290da7f6c8201b27938d3b9f048d71fd784cd1df9aStephen Hines mTargetOpts, mLLVMContext); 2309ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return; 231462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 232462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2339ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liaovoid Backend::Initialize(clang::ASTContext &Ctx) { 2349ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mGen->Initialize(Ctx); 235462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2369ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mpModule = mGen->GetModule(); 237462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2389ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return; 239462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 240462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2415e6d0d5a911fff0b7b4bce216a213a4cf8a811f5Stephen Hines// Encase the Bitcode in a wrapper containing RS version information. 2425e6d0d5a911fff0b7b4bce216a213a4cf8a811f5Stephen Hinesvoid Backend::WrapBitcode(llvm::raw_string_ostream &Bitcode) { 2435e3b677a3041c86a7f860238dd1f5ff9d111b507Stephen Hines bcinfo::AndroidBitcodeWrapper wrapper; 2445e3b677a3041c86a7f860238dd1f5ff9d111b507Stephen Hines size_t actualWrapperLen = bcinfo::writeAndroidBitcodeWrapper( 2455e3b677a3041c86a7f860238dd1f5ff9d111b507Stephen Hines &wrapper, Bitcode.str().length(), getTargetAPI(), 2465e3b677a3041c86a7f860238dd1f5ff9d111b507Stephen Hines SlangVersion::CURRENT, mCodeGenOpts.OptimizationLevel); 2475e3b677a3041c86a7f860238dd1f5ff9d111b507Stephen Hines 2485e3b677a3041c86a7f860238dd1f5ff9d111b507Stephen Hines slangAssert(actualWrapperLen > 0); 2495e6d0d5a911fff0b7b4bce216a213a4cf8a811f5Stephen Hines 2505e6d0d5a911fff0b7b4bce216a213a4cf8a811f5Stephen Hines // Write out the bitcode wrapper. 2515e3b677a3041c86a7f860238dd1f5ff9d111b507Stephen Hines FormattedOutStream.write(reinterpret_cast<char*>(&wrapper), actualWrapperLen); 2525e6d0d5a911fff0b7b4bce216a213a4cf8a811f5Stephen Hines 2535e6d0d5a911fff0b7b4bce216a213a4cf8a811f5Stephen Hines // Write out the actual encoded bitcode. 2545e6d0d5a911fff0b7b4bce216a213a4cf8a811f5Stephen Hines FormattedOutStream << Bitcode.str(); 2555e6d0d5a911fff0b7b4bce216a213a4cf8a811f5Stephen Hines return; 2565e6d0d5a911fff0b7b4bce216a213a4cf8a811f5Stephen Hines} 2575e6d0d5a911fff0b7b4bce216a213a4cf8a811f5Stephen Hines 258fa6ef56a6ca3dc3061218a75a7e68e5357fcb82cLogan Chienbool Backend::HandleTopLevelDecl(clang::DeclGroupRef D) { 259de7ac1928633b51b8a147fcdda044793629ba8fbStephen Hines return mGen->HandleTopLevelDecl(D); 260462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 261462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2629ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liaovoid Backend::HandleTranslationUnit(clang::ASTContext &Ctx) { 26368fc02ca4a7235e2981be5eee4ad968a9d3928c0Zonr Chang HandleTranslationUnitPre(Ctx); 26468fc02ca4a7235e2981be5eee4ad968a9d3928c0Zonr Chang 2659ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mGen->HandleTranslationUnit(Ctx); 266462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2679ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Here, we complete a translation unit (whole translation unit is now in LLVM 2689ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // IR). Now, interact with LLVM backend to generate actual machine code (asm 2699ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // or machine code, whatever.) 270462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2719ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Silently ignore if we weren't initialized for some reason. 27241ebf534161bb67f6207a070c1f6a895dc853408Zonr Chang if (!mpModule) 2739ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return; 274462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 2759ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::Module *M = mGen->ReleaseModule(); 2769ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (!M) { 2779ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // The module has been released by IR gen on failures, do not double free. 2789ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mpModule = NULL; 2799ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return; 2809ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 2819ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 2826e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert(mpModule == M && 2836e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines "Unexpected module change during LLVM IR generation"); 2849ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 2859ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Insert #pragma information into metadata section of module 2863fd0a94a5cf1656569b1aea07043cc63939dcb46Stephen Hines if (!mPragmas->empty()) { 2879ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::NamedMDNode *PragmaMetadata = 2889ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mpModule->getOrInsertNamedMetadata(Slang::PragmaMetadataName); 2893fd0a94a5cf1656569b1aea07043cc63939dcb46Stephen Hines for (PragmaList::const_iterator I = mPragmas->begin(), E = mPragmas->end(); 2909ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao I != E; 2919ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao I++) { 2929ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::SmallVector<llvm::Value*, 2> Pragma; 2939ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Name goes first 2949ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao Pragma.push_back(llvm::MDString::get(mLLVMContext, I->first)); 2959ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // And then value 2969ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao Pragma.push_back(llvm::MDString::get(mLLVMContext, I->second)); 29783f0c6261efc8f397fc2509e3862bc6d0eb1e1c4Shih-wei Liao 2989ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Create MDNode and insert into PragmaMetadata 2999ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao PragmaMetadata->addOperand( 30018c8829f2bd3cbe0d02471588c6643c0a8c6ca3cStephen Hines llvm::MDNode::get(mLLVMContext, Pragma)); 301462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao } 3029ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 303462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 30468fc02ca4a7235e2981be5eee4ad968a9d3928c0Zonr Chang HandleTranslationUnitPost(mpModule); 305462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 3069ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Create passes for optimization and code emission 307462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 3089ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Create and run per-function passes 3099ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao CreateFunctionPasses(); 3109ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (mPerFunctionPasses) { 3119ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mPerFunctionPasses->doInitialization(); 312462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 3139ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao for (llvm::Module::iterator I = mpModule->begin(), E = mpModule->end(); 3149ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao I != E; 3159ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao I++) 3169ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (!I->isDeclaration()) 3179ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mPerFunctionPasses->run(*I); 318462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 3199ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mPerFunctionPasses->doFinalization(); 3209ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 321462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 3229ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao // Create and run module passes 3239ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao CreateModulePasses(); 3249ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao if (mPerModulePasses) 3259ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mPerModulePasses->run(*mpModule); 3269ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 3273a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang switch (mOT) { 3283a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang case Slang::OT_Assembly: 3293a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang case Slang::OT_Object: { 3306315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr if (!CreateCodeGenPasses()) 3319ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return; 332462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 3339ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mCodeGenPasses->doInitialization(); 334462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 3359ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao for (llvm::Module::iterator I = mpModule->begin(), E = mpModule->end(); 3369ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao I != E; 3379ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao I++) 3386315f76e3cc6ff2d012d1183a0b030d4ff0dc808zonr if (!I->isDeclaration()) 3399ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mCodeGenPasses->run(*I); 3409ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 3419ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mCodeGenPasses->doFinalization(); 3429ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 3439ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 3443a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang case Slang::OT_LLVMAssembly: { 3459ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::PassManager *LLEmitPM = new llvm::PassManager(); 346ee4016d1247d3fbe50822de279d3da273d8aef4cTim Murray LLEmitPM->add(llvm::createPrintModulePass(FormattedOutStream)); 3479ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao LLEmitPM->run(*mpModule); 3489ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 349462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao } 3503a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang case Slang::OT_Bitcode: { 3519ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao llvm::PassManager *BCEmitPM = new llvm::PassManager(); 3525e6d0d5a911fff0b7b4bce216a213a4cf8a811f5Stephen Hines std::string BCStr; 3535e6d0d5a911fff0b7b4bce216a213a4cf8a811f5Stephen Hines llvm::raw_string_ostream Bitcode(BCStr); 3549b044ec938fd56355012851890c63974c8042c9fStephen Hines unsigned int TargetAPI = getTargetAPI(); 3559b044ec938fd56355012851890c63974c8042c9fStephen Hines switch (TargetAPI) { 3569b044ec938fd56355012851890c63974c8042c9fStephen Hines case SLANG_HC_TARGET_API: 3579b044ec938fd56355012851890c63974c8042c9fStephen Hines case SLANG_HC_MR1_TARGET_API: 3589b044ec938fd56355012851890c63974c8042c9fStephen Hines case SLANG_HC_MR2_TARGET_API: { 3599b044ec938fd56355012851890c63974c8042c9fStephen Hines // Pre-ICS targets must use the LLVM 2.9 BitcodeWriter 3609b044ec938fd56355012851890c63974c8042c9fStephen Hines BCEmitPM->add(llvm_2_9::createBitcodeWriterPass(Bitcode)); 3619b044ec938fd56355012851890c63974c8042c9fStephen Hines break; 3629b044ec938fd56355012851890c63974c8042c9fStephen Hines } 3639b044ec938fd56355012851890c63974c8042c9fStephen Hines case SLANG_ICS_TARGET_API: 3649b044ec938fd56355012851890c63974c8042c9fStephen Hines case SLANG_ICS_MR1_TARGET_API: { 3659b044ec938fd56355012851890c63974c8042c9fStephen Hines // ICS targets must use the LLVM 2.9_func BitcodeWriter 3669b044ec938fd56355012851890c63974c8042c9fStephen Hines BCEmitPM->add(llvm_2_9_func::createBitcodeWriterPass(Bitcode)); 3679b044ec938fd56355012851890c63974c8042c9fStephen Hines break; 3689b044ec938fd56355012851890c63974c8042c9fStephen Hines } 3699b044ec938fd56355012851890c63974c8042c9fStephen Hines default: { 3709b044ec938fd56355012851890c63974c8042c9fStephen Hines if (TargetAPI < SLANG_MINIMUM_TARGET_API || 3719b044ec938fd56355012851890c63974c8042c9fStephen Hines TargetAPI > SLANG_MAXIMUM_TARGET_API) { 3729b044ec938fd56355012851890c63974c8042c9fStephen Hines slangAssert(false && "Invalid target API value"); 3739b044ec938fd56355012851890c63974c8042c9fStephen Hines } 374d711dec946b6408791ca59eb98e363ef04bbd4aaStephen Hines // Switch to the 3.2 BitcodeWriter by default, and don't use 375d711dec946b6408791ca59eb98e363ef04bbd4aaStephen Hines // LLVM's included BitcodeWriter at all (for now). 376d711dec946b6408791ca59eb98e363ef04bbd4aaStephen Hines BCEmitPM->add(llvm_3_2::createBitcodeWriterPass(Bitcode)); 377d711dec946b6408791ca59eb98e363ef04bbd4aaStephen Hines //BCEmitPM->add(llvm::createBitcodeWriterPass(Bitcode)); 3789b044ec938fd56355012851890c63974c8042c9fStephen Hines break; 3799b044ec938fd56355012851890c63974c8042c9fStephen Hines } 3804cc499d6e5ec602309501873449c938af61170b2Stephen Hines } 3815e6d0d5a911fff0b7b4bce216a213a4cf8a811f5Stephen Hines 3829ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao BCEmitPM->run(*mpModule); 3835e6d0d5a911fff0b7b4bce216a213a4cf8a811f5Stephen Hines WrapBitcode(Bitcode); 3849ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao break; 3859ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 3863a9ca1f0d6bd8f12c2bb2adea51f95c255996180Zonr Chang case Slang::OT_Nothing: { 3879ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return; 3889ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 3899ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao default: { 3906e6578a360497f78a181e63d7783422a9c9bfb15Stephen Hines slangAssert(false && "Unknown output type"); 3919ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 3929ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao } 393462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 3949ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao FormattedOutStream.flush(); 3959ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao 3969ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return; 397462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 398462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 3999ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liaovoid Backend::HandleTagDeclDefinition(clang::TagDecl *D) { 4009ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mGen->HandleTagDeclDefinition(D); 4019ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return; 402462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 403462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 4049ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liaovoid Backend::CompleteTentativeDefinition(clang::VarDecl *D) { 4059ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao mGen->CompleteTentativeDefinition(D); 4069ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return; 407462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 408462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao 409462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei LiaoBackend::~Backend() { 4109ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao delete mpModule; 4119ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao delete mGen; 4129ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao delete mPerFunctionPasses; 4139ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao delete mPerModulePasses; 4149ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao delete mCodeGenPasses; 4159ef2f785e0cc490af678dfd685995dec787321ffShih-wei Liao return; 416462aefd62cc646d2ff753c1d003ef3cd7bbea26Shih-wei Liao} 417e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines 418e639eb5caa2c386b4a60659a4929e8a6141a2cbeStephen Hines} // namespace slang 419