blob: 266377e3de07bb6c23db1317a06755e0830ab830 [file] [log] [blame]
Logan Chien8b977d32012-02-21 19:14:55 +08001/*
2 * Copyright (C) 2012 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17#include "compilation_unit.h"
18
Logan Chien110bcba2012-04-16 19:11:28 +080019#include "compiled_method.h"
Shih-wei Liaod7726e42012-04-20 15:23:36 -070020#include "file.h"
Elliott Hughes0f3c5532012-03-30 14:51:51 -070021#include "instruction_set.h"
Logan Chien8b977d32012-02-21 19:14:55 +080022#include "ir_builder.h"
23#include "logging.h"
Shih-wei Liaod7726e42012-04-20 15:23:36 -070024#include "os.h"
Logan Chien8b977d32012-02-21 19:14:55 +080025
TDYa127d668a062012-04-13 12:36:57 -070026#include "runtime_support_builder_arm.h"
27#include "runtime_support_builder_x86.h"
28
Logan Chien8b977d32012-02-21 19:14:55 +080029#include <llvm/ADT/OwningPtr.h>
30#include <llvm/ADT/StringSet.h>
31#include <llvm/ADT/Triple.h>
32#include <llvm/Analysis/CallGraph.h>
33#include <llvm/Analysis/DebugInfo.h>
TDYa127f15b0ab2012-05-11 21:01:36 -070034#include <llvm/Analysis/Dominators.h>
35#include <llvm/Analysis/LoopInfo.h>
Logan Chien8b977d32012-02-21 19:14:55 +080036#include <llvm/Analysis/LoopPass.h>
37#include <llvm/Analysis/RegionPass.h>
TDYa127f15b0ab2012-05-11 21:01:36 -070038#include <llvm/Analysis/ScalarEvolution.h>
Logan Chien8b977d32012-02-21 19:14:55 +080039#include <llvm/Analysis/Verifier.h>
40#include <llvm/Assembly/PrintModulePass.h>
41#include <llvm/Bitcode/ReaderWriter.h>
42#include <llvm/CallGraphSCCPass.h>
Logan Chien110bcba2012-04-16 19:11:28 +080043#include <llvm/CodeGen/MachineFrameInfo.h>
44#include <llvm/CodeGen/MachineFunction.h>
45#include <llvm/CodeGen/MachineFunctionPass.h>
Logan Chien8b977d32012-02-21 19:14:55 +080046#include <llvm/DerivedTypes.h>
47#include <llvm/LLVMContext.h>
Logan Chien8b977d32012-02-21 19:14:55 +080048#include <llvm/Module.h>
49#include <llvm/PassManager.h>
50#include <llvm/Support/Debug.h>
51#include <llvm/Support/FormattedStream.h>
52#include <llvm/Support/ManagedStatic.h>
Shih-wei Liaod7726e42012-04-20 15:23:36 -070053#include <llvm/Support/MemoryBuffer.h>
Logan Chien8b977d32012-02-21 19:14:55 +080054#include <llvm/Support/PassNameParser.h>
55#include <llvm/Support/PluginLoader.h>
56#include <llvm/Support/PrettyStackTrace.h>
57#include <llvm/Support/Signals.h>
58#include <llvm/Support/SystemUtils.h>
59#include <llvm/Support/TargetRegistry.h>
60#include <llvm/Support/TargetSelect.h>
61#include <llvm/Support/ToolOutputFile.h>
62#include <llvm/Support/raw_ostream.h>
Shih-wei Liaod7726e42012-04-20 15:23:36 -070063#include <llvm/Support/system_error.h>
Logan Chien8b977d32012-02-21 19:14:55 +080064#include <llvm/Target/TargetData.h>
65#include <llvm/Target/TargetLibraryInfo.h>
66#include <llvm/Target/TargetMachine.h>
Shih-wei Liaof1cb9a52012-04-20 01:49:18 -070067#include <llvm/Transforms/IPO.h>
Logan Chien8b977d32012-02-21 19:14:55 +080068#include <llvm/Transforms/IPO/PassManagerBuilder.h>
TDYa127f15b0ab2012-05-11 21:01:36 -070069#include <llvm/Transforms/Scalar.h>
Logan Chien8b977d32012-02-21 19:14:55 +080070
Shih-wei Liaod7726e42012-04-20 15:23:36 -070071#include <sys/types.h>
72#include <sys/wait.h>
73#include <unistd.h>
74
Logan Chien8b977d32012-02-21 19:14:55 +080075#include <string>
76
Logan Chien110bcba2012-04-16 19:11:28 +080077namespace {
78
79class UpdateFrameSizePass : public llvm::MachineFunctionPass {
80 public:
81 static char ID;
82
83 UpdateFrameSizePass() : llvm::MachineFunctionPass(ID), cunit_(NULL) {
84 LOG(FATAL) << "Unexpected instantiation of UpdateFrameSizePass";
85 // NOTE: We have to declare this constructor for llvm::RegisterPass, but
86 // this constructor won't work because we have no information on
87 // CompilationUnit. Thus, we should place a LOG(FATAL) here.
88 }
89
90 UpdateFrameSizePass(art::compiler_llvm::CompilationUnit* cunit)
91 : llvm::MachineFunctionPass(ID), cunit_(cunit) {
92 }
93
94 virtual bool runOnMachineFunction(llvm::MachineFunction &MF) {
95 cunit_->UpdateFrameSizeInBytes(MF.getFunction(),
96 MF.getFrameInfo()->getStackSize());
97 return false;
98 }
99
100 private:
101 art::compiler_llvm::CompilationUnit* cunit_;
102};
103
104char UpdateFrameSizePass::ID = 0;
105
106llvm::RegisterPass<UpdateFrameSizePass> reg_update_frame_size_pass_(
107 "update-frame-size", "Update frame size pass", false, false);
108
TDYa127f15b0ab2012-05-11 21:01:36 -0700109
110// TODO: We may need something to manage these passes.
111// TODO: We need high-level IR to analysis and do this at the IRBuilder level.
112class AddSuspendCheckToLoopLatchPass : public llvm::LoopPass {
113 public:
114 static char ID;
115
116 AddSuspendCheckToLoopLatchPass() : llvm::LoopPass(ID), irb_(NULL) {
117 LOG(FATAL) << "Unexpected instantiation of AddSuspendCheckToLoopLatchPass";
118 // NOTE: We have to declare this constructor for llvm::RegisterPass, but
119 // this constructor won't work because we have no information on
120 // IRBuilder. Thus, we should place a LOG(FATAL) here.
121 }
122
123 AddSuspendCheckToLoopLatchPass(art::compiler_llvm::IRBuilder* irb)
124 : llvm::LoopPass(ID), irb_(irb) {
125 }
126
127 virtual void getAnalysisUsage(llvm::AnalysisUsage &AU) const {
128 AU.addRequiredID(llvm::LoopSimplifyID);
129
130 AU.addPreserved<llvm::DominatorTree>();
131 AU.addPreserved<llvm::LoopInfo>();
132 AU.addPreservedID(llvm::LoopSimplifyID);
133 AU.addPreserved<llvm::ScalarEvolution>();
134 AU.addPreservedID(llvm::BreakCriticalEdgesID);
135 }
136
137 virtual bool runOnLoop(llvm::Loop *loop, llvm::LPPassManager &lpm) {
138 CHECK_EQ(loop->getNumBackEdges(), 1U) << "Loop must be simplified!";
139 llvm::BasicBlock* bb = loop->getLoopLatch();
140 CHECK_NE(bb, static_cast<void*>(NULL)) << "A single loop latch must exist.";
141
142 irb_->SetInsertPoint(bb->getTerminator());
143
Shih-wei Liaoaad0d972012-05-16 00:50:55 -0700144 using art::compiler_llvm::runtime_support::TestSuspend;
TDYa127f15b0ab2012-05-11 21:01:36 -0700145 llvm::Value* runtime_func = irb_->GetRuntime(TestSuspend);
TDYa127de479be2012-05-31 08:03:26 -0700146 irb_->CreateCall(runtime_func, irb_->getJNull());
TDYa127f15b0ab2012-05-11 21:01:36 -0700147
148 return true;
149 }
150
151 private:
152 art::compiler_llvm::IRBuilder* irb_;
153};
154
155char AddSuspendCheckToLoopLatchPass::ID = 0;
156
157llvm::RegisterPass<AddSuspendCheckToLoopLatchPass> reg_add_suspend_check_to_loop_latch_pass_(
158 "add-suspend-check-to-loop-latch", "Add suspend check to loop latch pass", false, false);
159
160
Logan Chien110bcba2012-04-16 19:11:28 +0800161} // end anonymous namespace
162
Logan Chien8b977d32012-02-21 19:14:55 +0800163namespace art {
164namespace compiler_llvm {
165
166llvm::Module* makeLLVMModuleContents(llvm::Module* module);
167
168
Logan Chien6546ec52012-03-17 20:08:29 +0800169CompilationUnit::CompilationUnit(InstructionSet insn_set, size_t elf_idx)
Logan Chien8ba2fc52012-04-23 09:10:46 +0800170: cunit_lock_("compilation_unit_lock"), insn_set_(insn_set), elf_idx_(elf_idx),
TDYa127b2eb5c12012-05-24 15:52:10 -0700171 context_(new llvm::LLVMContext()), compiled_methods_map_(new CompiledMethodMap()),
172 mem_usage_(0), num_elf_funcs_(0) {
Logan Chien8b977d32012-02-21 19:14:55 +0800173
174 // Create the module and include the runtime function declaration
175 module_ = new llvm::Module("art", *context_);
176 makeLLVMModuleContents(module_);
177
178 // Create IRBuilder
179 irb_.reset(new IRBuilder(*context_, *module_));
TDYa127d668a062012-04-13 12:36:57 -0700180
181 // We always need a switch case, so just use a normal function.
182 switch(insn_set_) {
183 default:
184 runtime_support_.reset(new RuntimeSupportBuilder(*context_, *module_, *irb_));
185 break;
186 case kArm:
187 case kThumb2:
188 runtime_support_.reset(new RuntimeSupportBuilderARM(*context_, *module_, *irb_));
189 break;
190 case kX86:
191 runtime_support_.reset(new RuntimeSupportBuilderX86(*context_, *module_, *irb_));
192 break;
193 }
194
195 runtime_support_->OptimizeRuntimeSupport();
196
197 irb_->SetRuntimeSupport(runtime_support_.get());
Logan Chien8b977d32012-02-21 19:14:55 +0800198}
199
200
201CompilationUnit::~CompilationUnit() {
202}
203
204
Logan Chien08e1ba32012-05-08 15:08:51 +0800205bool CompilationUnit::Materialize(size_t thread_count) {
Logan Chien8ba2fc52012-04-23 09:10:46 +0800206 MutexLock GUARD(cunit_lock_);
207
Logan Chienb5eb00c2012-05-18 19:56:46 +0800208 // Materialize the bitcode to elf_image_
209 llvm::raw_string_ostream str_os(elf_image_);
210 bool success = MaterializeToFile(str_os);
211 LOG(INFO) << "Compilation Unit: " << elf_idx_ << (success ? " (done)" : " (failed)");
TDYa127388a83b2012-05-09 18:56:22 -0700212
Logan Chienb5eb00c2012-05-18 19:56:46 +0800213 // Free the resources
214 context_.reset(NULL);
215 irb_.reset(NULL);
216 module_ = NULL;
TDYa127b2eb5c12012-05-24 15:52:10 -0700217 runtime_support_.reset(NULL);
218 compiled_methods_map_.reset(NULL);
TDYa127388a83b2012-05-09 18:56:22 -0700219
Logan Chienb5eb00c2012-05-18 19:56:46 +0800220 return success;
Logan Chien8b977d32012-02-21 19:14:55 +0800221}
222
223
Logan Chien110bcba2012-04-16 19:11:28 +0800224void CompilationUnit::RegisterCompiledMethod(const llvm::Function* func,
225 CompiledMethod* compiled_method) {
Logan Chien8ba2fc52012-04-23 09:10:46 +0800226 MutexLock GUARD(cunit_lock_);
TDYa127b2eb5c12012-05-24 15:52:10 -0700227 compiled_methods_map_->Put(func, compiled_method);
Logan Chien110bcba2012-04-16 19:11:28 +0800228}
229
230
231void CompilationUnit::UpdateFrameSizeInBytes(const llvm::Function* func,
232 size_t frame_size_in_bytes) {
Logan Chien8ba2fc52012-04-23 09:10:46 +0800233 MutexLock GUARD(cunit_lock_);
Logan Chien110bcba2012-04-16 19:11:28 +0800234 SafeMap<const llvm::Function*, CompiledMethod*>::iterator iter =
TDYa127b2eb5c12012-05-24 15:52:10 -0700235 compiled_methods_map_->find(func);
Logan Chien110bcba2012-04-16 19:11:28 +0800236
TDYa127b2eb5c12012-05-24 15:52:10 -0700237 if (iter != compiled_methods_map_->end()) {
Logan Chien110bcba2012-04-16 19:11:28 +0800238 CompiledMethod* compiled_method = iter->second;
239 compiled_method->SetFrameSizeInBytes(frame_size_in_bytes);
240
241 if (frame_size_in_bytes > 1728u) {
242 LOG(WARNING) << "Huge frame size: " << frame_size_in_bytes
243 << " elf_idx=" << compiled_method->GetElfIndex()
244 << " elf_func_idx=" << compiled_method->GetElfFuncIndex();
245 }
246 }
247}
248
Logan Chienb1bab1c2012-05-11 11:05:45 +0800249bool CompilationUnit::MaterializeToFile(llvm::raw_ostream& out_stream) {
Shih-wei Liaod7726e42012-04-20 15:23:36 -0700250 // Lookup the LLVM target
251 char const* target_triple = NULL;
252 char const* target_attr = NULL;
253
Logan Chienb1bab1c2012-05-11 11:05:45 +0800254 switch (insn_set_) {
Shih-wei Liaod7726e42012-04-20 15:23:36 -0700255 case kThumb2:
256 target_triple = "thumb-none-linux-gnueabi";
257 target_attr = "+thumb2,+neon,+neonfp,+vfp3";
258 break;
259
260 case kArm:
261 target_triple = "armv7-none-linux-gnueabi";
262 // TODO: Fix for Xoom.
263 target_attr = "+v7,+neon,+neonfp,+vfp3";
264 break;
265
266 case kX86:
267 target_triple = "i386-pc-linux-gnu";
268 target_attr = "";
269 break;
270
271 case kMips:
272 target_triple = "mipsel-unknown-linux";
273 target_attr = "mips32r2";
274 break;
275
276 default:
Logan Chienb1bab1c2012-05-11 11:05:45 +0800277 LOG(FATAL) << "Unknown instruction set: " << insn_set_;
Shih-wei Liaod7726e42012-04-20 15:23:36 -0700278 }
279
280 std::string errmsg;
281 llvm::Target const* target =
282 llvm::TargetRegistry::lookupTarget(target_triple, errmsg);
283
284 CHECK(target != NULL) << errmsg;
285
286 // Target options
287 llvm::TargetOptions target_options;
288 target_options.FloatABIType = llvm::FloatABI::Soft;
289 target_options.NoFramePointerElim = true;
290 target_options.NoFramePointerElimNonLeaf = true;
291 target_options.UseSoftFloat = false;
TDYa1273978da52012-05-19 07:45:39 -0700292 target_options.EnableFastISel = false;
Shih-wei Liaod7726e42012-04-20 15:23:36 -0700293
294 // Create the llvm::TargetMachine
Logan Chienb6bed0b2012-05-04 15:03:56 +0800295 llvm::OwningPtr<llvm::TargetMachine> target_machine(
Shih-wei Liaod7726e42012-04-20 15:23:36 -0700296 target->createTargetMachine(target_triple, "", target_attr, target_options,
297 llvm::Reloc::Static, llvm::CodeModel::Small,
TDYa127e4c2ccc2012-05-13 21:10:36 -0700298 llvm::CodeGenOpt::Less));
Shih-wei Liaod7726e42012-04-20 15:23:36 -0700299
Logan Chienb6bed0b2012-05-04 15:03:56 +0800300 CHECK(target_machine.get() != NULL) << "Failed to create target machine";
Shih-wei Liaod7726e42012-04-20 15:23:36 -0700301
302 // Add target data
303 llvm::TargetData const* target_data = target_machine->getTargetData();
304
305 // PassManager for code generation passes
306 llvm::PassManager pm;
307 pm.add(new llvm::TargetData(*target_data));
308
309 // FunctionPassManager for optimization pass
Logan Chien799ef4f2012-04-23 00:17:47 +0800310 llvm::FunctionPassManager fpm(module_);
Shih-wei Liaod7726e42012-04-20 15:23:36 -0700311 fpm.add(new llvm::TargetData(*target_data));
312
TDYa127f15b0ab2012-05-11 21:01:36 -0700313 if (bitcode_filename_.empty()) {
314 // If we don't need write the bitcode to file, add the AddSuspendCheckToLoopLatchPass to the
315 // regular FunctionPass.
316 fpm.add(new ::AddSuspendCheckToLoopLatchPass(irb_.get()));
317 } else {
318 // Run AddSuspendCheckToLoopLatchPass before we write the bitcode to file.
319 llvm::FunctionPassManager fpm2(module_);
320 fpm2.add(new ::AddSuspendCheckToLoopLatchPass(irb_.get()));
321 fpm2.doInitialization();
322 for (llvm::Module::iterator F = module_->begin(), E = module_->end();
323 F != E; ++F) {
324 fpm2.run(*F);
325 }
326 fpm2.doFinalization();
327
328
329 // Write bitcode to file
330 std::string errmsg;
331
332 llvm::OwningPtr<llvm::tool_output_file> out_file(
333 new llvm::tool_output_file(bitcode_filename_.c_str(), errmsg,
334 llvm::raw_fd_ostream::F_Binary));
335
336
337 if (!errmsg.empty()) {
338 LOG(ERROR) << "Failed to create bitcode output file: " << errmsg;
339 return false;
340 }
341
342 llvm::WriteBitcodeToFile(module_, out_file->os());
343 out_file->keep();
344 }
345
Shih-wei Liaod7726e42012-04-20 15:23:36 -0700346 // Add optimization pass
347 llvm::PassManagerBuilder pm_builder;
Shih-wei Liaoe0e40242012-05-08 01:04:03 -0700348 //pm_builder.Inliner = llvm::createFunctionInliningPass();
349 pm_builder.Inliner = llvm::createAlwaysInlinerPass();
Shih-wei Liao415576b2012-04-23 15:28:53 -0700350 //pm_builder.Inliner = llvm::createPartialInliningPass();
351 pm_builder.OptLevel = 3;
Shih-wei Liaod7726e42012-04-20 15:23:36 -0700352 pm_builder.DisableSimplifyLibCalls = 1;
TDYa127e4c2ccc2012-05-13 21:10:36 -0700353 pm_builder.DisableUnitAtATime = 1;
Shih-wei Liaod7726e42012-04-20 15:23:36 -0700354 pm_builder.populateFunctionPassManager(fpm);
TDYa127ce9c3172012-05-15 06:09:27 -0700355 pm_builder.populateModulePassManager(pm);
356 pm.add(llvm::createStripDeadPrototypesPass());
Shih-wei Liaod7726e42012-04-20 15:23:36 -0700357
358 // Add passes to emit ELF image
359 {
Logan Chien08e1ba32012-05-08 15:08:51 +0800360 llvm::formatted_raw_ostream formatted_os(out_stream, false);
Shih-wei Liaod7726e42012-04-20 15:23:36 -0700361
362 // Ask the target to add backend passes as necessary.
363 if (target_machine->addPassesToEmitFile(pm,
364 formatted_os,
365 llvm::TargetMachine::CGFT_ObjectFile,
366 true)) {
367 LOG(FATAL) << "Unable to generate ELF for this target";
368 return false;
369 }
370
371 // FIXME: Unable to run the UpdateFrameSizePass pass since it tries to
372 // update the value reside in the different address space.
373 // Add pass to update the frame_size_in_bytes_
374 //pm.add(new ::UpdateFrameSizePass(this));
375
376 // Run the per-function optimization
377 fpm.doInitialization();
Logan Chien799ef4f2012-04-23 00:17:47 +0800378 for (llvm::Module::iterator F = module_->begin(), E = module_->end();
Shih-wei Liaod7726e42012-04-20 15:23:36 -0700379 F != E; ++F) {
380 fpm.run(*F);
381 }
382 fpm.doFinalization();
383
384 // Run the code generation passes
Logan Chien799ef4f2012-04-23 00:17:47 +0800385 pm.run(*module_);
Shih-wei Liaod7726e42012-04-20 15:23:36 -0700386 }
387
388 return true;
389}
Logan Chien110bcba2012-04-16 19:11:28 +0800390
Logan Chien8b977d32012-02-21 19:14:55 +0800391} // namespace compiler_llvm
392} // namespace art