2006-09-04 06:16:09 +02:00
|
|
|
//===-- LLVMTargetMachine.cpp - Implement the LLVMTargetMachine class -----===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
2007-12-29 21:36:04 +01:00
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
2006-09-04 06:16:09 +02:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file implements the LLVMTargetMachine class.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#include "llvm/Target/TargetMachine.h"
|
|
|
|
#include "llvm/PassManager.h"
|
|
|
|
#include "llvm/Pass.h"
|
2007-03-31 02:24:43 +02:00
|
|
|
#include "llvm/Assembly/PrintModulePass.h"
|
2007-03-06 22:14:09 +01:00
|
|
|
#include "llvm/Analysis/LoopPass.h"
|
2006-09-04 06:16:09 +02:00
|
|
|
#include "llvm/CodeGen/Passes.h"
|
2008-08-17 14:56:54 +02:00
|
|
|
#include "llvm/CodeGen/GCStrategy.h"
|
2006-09-04 06:16:09 +02:00
|
|
|
#include "llvm/Target/TargetOptions.h"
|
2008-04-02 02:25:04 +02:00
|
|
|
#include "llvm/Target/TargetAsmInfo.h"
|
2006-09-04 06:16:09 +02:00
|
|
|
#include "llvm/Transforms/Scalar.h"
|
2007-03-31 02:24:43 +02:00
|
|
|
#include "llvm/Support/CommandLine.h"
|
2008-08-21 02:14:44 +02:00
|
|
|
#include "llvm/Support/raw_ostream.h"
|
2006-09-04 06:16:09 +02:00
|
|
|
using namespace llvm;
|
|
|
|
|
2008-09-25 03:14:49 +02:00
|
|
|
namespace llvm {
|
|
|
|
bool EnableFastISel;
|
|
|
|
}
|
|
|
|
|
2007-06-19 07:47:49 +02:00
|
|
|
static cl::opt<bool> PrintLSR("print-lsr-output", cl::Hidden,
|
|
|
|
cl::desc("Print LLVM IR produced by the loop-reduce pass"));
|
|
|
|
static cl::opt<bool> PrintISelInput("print-isel-input", cl::Hidden,
|
|
|
|
cl::desc("Print LLVM IR input to isel pass"));
|
2007-07-20 23:56:13 +02:00
|
|
|
static cl::opt<bool> PrintEmittedAsm("print-emitted-asm", cl::Hidden,
|
|
|
|
cl::desc("Dump emitter generated instructions as assembly"));
|
2008-01-07 02:33:09 +01:00
|
|
|
static cl::opt<bool> PrintGCInfo("print-gc", cl::Hidden,
|
|
|
|
cl::desc("Dump garbage collector data"));
|
2007-06-19 07:47:49 +02:00
|
|
|
|
Add a really quick hack at a machine code sinking pass, enabled with --enable-sinking.
It is missing validity checks, so it is known broken. However, it is powerful enough
to compile this contrived code:
void test1(int C, double A, double B, double *P) {
double Tmp = A*A+B*B;
*P = C ? Tmp : A;
}
into:
_test1:
movsd 8(%esp), %xmm0
cmpl $0, 4(%esp)
je LBB1_2 # entry
LBB1_1: # entry
movsd 16(%esp), %xmm1
mulsd %xmm1, %xmm1
mulsd %xmm0, %xmm0
addsd %xmm1, %xmm0
LBB1_2: # entry
movl 24(%esp), %eax
movsd %xmm0, (%eax)
ret
instead of:
_test1:
movsd 16(%esp), %xmm0
mulsd %xmm0, %xmm0
movsd 8(%esp), %xmm1
movapd %xmm1, %xmm2
mulsd %xmm2, %xmm2
addsd %xmm0, %xmm2
cmpl $0, 4(%esp)
je LBB1_2 # entry
LBB1_1: # entry
movapd %xmm2, %xmm1
LBB1_2: # entry
movl 24(%esp), %eax
movsd %xmm1, (%eax)
ret
woo.
llvm-svn: 45570
2008-01-04 08:36:53 +01:00
|
|
|
// Hidden options to help debugging
|
|
|
|
static cl::opt<bool>
|
|
|
|
EnableSinking("enable-sinking", cl::init(false), cl::Hidden,
|
|
|
|
cl::desc("Perform sinking on machine code"));
|
2008-01-04 09:11:03 +01:00
|
|
|
static cl::opt<bool>
|
2008-06-04 11:18:41 +02:00
|
|
|
EnableLICM("machine-licm",
|
|
|
|
cl::init(false), cl::Hidden,
|
|
|
|
cl::desc("Perform loop-invariant code motion on machine code"));
|
Add a really quick hack at a machine code sinking pass, enabled with --enable-sinking.
It is missing validity checks, so it is known broken. However, it is powerful enough
to compile this contrived code:
void test1(int C, double A, double B, double *P) {
double Tmp = A*A+B*B;
*P = C ? Tmp : A;
}
into:
_test1:
movsd 8(%esp), %xmm0
cmpl $0, 4(%esp)
je LBB1_2 # entry
LBB1_1: # entry
movsd 16(%esp), %xmm1
mulsd %xmm1, %xmm1
mulsd %xmm0, %xmm0
addsd %xmm1, %xmm0
LBB1_2: # entry
movl 24(%esp), %eax
movsd %xmm0, (%eax)
ret
instead of:
_test1:
movsd 16(%esp), %xmm0
mulsd %xmm0, %xmm0
movsd 8(%esp), %xmm1
movapd %xmm1, %xmm2
mulsd %xmm2, %xmm2
addsd %xmm0, %xmm2
cmpl $0, 4(%esp)
je LBB1_2 # entry
LBB1_1: # entry
movapd %xmm2, %xmm1
LBB1_2: # entry
movl 24(%esp), %eax
movsd %xmm1, (%eax)
ret
woo.
llvm-svn: 45570
2008-01-04 08:36:53 +01:00
|
|
|
|
2008-01-14 20:00:06 +01:00
|
|
|
// When this works it will be on by default.
|
|
|
|
static cl::opt<bool>
|
|
|
|
DisablePostRAScheduler("disable-post-RA-scheduler",
|
|
|
|
cl::desc("Disable scheduling after register allocation"),
|
|
|
|
cl::init(true));
|
|
|
|
|
2008-10-01 22:39:19 +02:00
|
|
|
// Enable or disable FastISel. Both options are needed, because
|
|
|
|
// FastISel is enabled by default with -fast, and we wish to be
|
|
|
|
// able to enable or disable fast-isel independently from -fast.
|
2008-10-08 01:00:56 +02:00
|
|
|
static cl::opt<cl::boolOrDefault>
|
2008-10-01 22:39:19 +02:00
|
|
|
EnableFastISelOption("fast-isel", cl::Hidden,
|
|
|
|
cl::desc("Enable the experimental \"fast\" instruction selector"));
|
2008-09-25 03:14:49 +02:00
|
|
|
|
2008-11-04 03:10:20 +01:00
|
|
|
// Enable stack protectors.
|
2008-11-04 22:53:09 +01:00
|
|
|
static cl::opt<SSP::StackProtectorLevel>
|
|
|
|
EnableStackProtector("enable-stack-protector",
|
|
|
|
cl::desc("Stack canary protection level: (default: off)"),
|
|
|
|
cl::init(SSP::OFF),
|
|
|
|
cl::values(clEnumValN(SSP::ALL, "all",
|
|
|
|
"All functions get stack protectors."),
|
|
|
|
clEnumValN(SSP::SOME, "some",
|
|
|
|
"Only functions requiring stack protectors get them."),
|
|
|
|
clEnumValN(SSP::OFF, "off",
|
|
|
|
"No functions get stack protectors."),
|
|
|
|
clEnumValEnd));
|
2008-11-04 03:10:20 +01:00
|
|
|
|
2007-02-08 02:36:53 +01:00
|
|
|
FileModel::Model
|
2008-03-11 23:29:46 +01:00
|
|
|
LLVMTargetMachine::addPassesToEmitFile(PassManagerBase &PM,
|
2008-08-21 02:14:44 +02:00
|
|
|
raw_ostream &Out,
|
2007-02-08 02:36:53 +01:00
|
|
|
CodeGenFileType FileType,
|
|
|
|
bool Fast) {
|
2008-09-25 02:37:07 +02:00
|
|
|
// Add common CodeGen passes.
|
|
|
|
if (addCommonCodeGenPasses(PM, Fast))
|
2007-02-08 02:36:53 +01:00
|
|
|
return FileModel::Error;
|
|
|
|
|
2006-11-07 20:33:46 +01:00
|
|
|
// Fold redundant debug labels.
|
|
|
|
PM.add(createDebugLabelFoldingPass());
|
2008-09-25 02:37:07 +02:00
|
|
|
|
|
|
|
if (PrintMachineCode)
|
2007-02-08 02:36:53 +01:00
|
|
|
PM.add(createMachineFunctionPrinterPass(cerr));
|
|
|
|
|
2006-09-04 06:16:09 +02:00
|
|
|
if (addPreEmitPass(PM, Fast) && PrintMachineCode)
|
2007-02-08 02:36:53 +01:00
|
|
|
PM.add(createMachineFunctionPrinterPass(cerr));
|
|
|
|
|
2008-10-02 01:18:38 +02:00
|
|
|
if (!Fast)
|
2008-02-29 00:29:57 +01:00
|
|
|
PM.add(createLoopAlignerPass());
|
|
|
|
|
2006-09-04 06:16:09 +02:00
|
|
|
switch (FileType) {
|
2007-02-08 02:36:53 +01:00
|
|
|
default:
|
|
|
|
break;
|
|
|
|
case TargetMachine::AssemblyFile:
|
|
|
|
if (addAssemblyEmitter(PM, Fast, Out))
|
|
|
|
return FileModel::Error;
|
|
|
|
return FileModel::AsmFile;
|
|
|
|
case TargetMachine::ObjectFile:
|
|
|
|
if (getMachOWriterInfo())
|
|
|
|
return FileModel::MachOFile;
|
|
|
|
else if (getELFWriterInfo())
|
|
|
|
return FileModel::ElfFile;
|
2006-09-04 06:16:09 +02:00
|
|
|
}
|
2007-02-08 02:36:53 +01:00
|
|
|
|
|
|
|
return FileModel::Error;
|
|
|
|
}
|
2008-09-25 02:37:07 +02:00
|
|
|
|
2007-02-08 02:36:53 +01:00
|
|
|
/// addPassesToEmitFileFinish - If the passes to emit the specified file had to
|
|
|
|
/// be split up (e.g., to add an object writer pass), this method can be used to
|
|
|
|
/// finish up adding passes to emit the file, if necessary.
|
2008-03-11 23:29:46 +01:00
|
|
|
bool LLVMTargetMachine::addPassesToEmitFileFinish(PassManagerBase &PM,
|
2007-02-08 02:36:53 +01:00
|
|
|
MachineCodeEmitter *MCE,
|
|
|
|
bool Fast) {
|
|
|
|
if (MCE)
|
2007-07-20 23:56:13 +02:00
|
|
|
addSimpleCodeEmitter(PM, Fast, PrintEmittedAsm, *MCE);
|
2008-09-25 02:37:07 +02:00
|
|
|
|
2008-08-17 20:44:35 +02:00
|
|
|
PM.add(createGCInfoDeleter());
|
2007-02-08 02:36:53 +01:00
|
|
|
|
2006-09-04 06:16:09 +02:00
|
|
|
// Delete machine code for this function
|
|
|
|
PM.add(createMachineCodeDeleter());
|
2007-02-08 02:36:53 +01:00
|
|
|
|
2006-09-04 06:16:09 +02:00
|
|
|
return false; // success!
|
|
|
|
}
|
|
|
|
|
|
|
|
/// addPassesToEmitMachineCode - Add passes to the specified pass manager to
|
|
|
|
/// get machine code emitted. This uses a MachineCodeEmitter object to handle
|
|
|
|
/// actually outputting the machine code and resolving things like the address
|
|
|
|
/// of functions. This method should returns true if machine code emission is
|
|
|
|
/// not supported.
|
|
|
|
///
|
2008-03-11 23:29:46 +01:00
|
|
|
bool LLVMTargetMachine::addPassesToEmitMachineCode(PassManagerBase &PM,
|
2006-09-04 06:16:09 +02:00
|
|
|
MachineCodeEmitter &MCE,
|
|
|
|
bool Fast) {
|
2008-09-25 02:37:07 +02:00
|
|
|
// Add common CodeGen passes.
|
|
|
|
if (addCommonCodeGenPasses(PM, Fast))
|
|
|
|
return true;
|
|
|
|
|
|
|
|
if (addPreEmitPass(PM, Fast) && PrintMachineCode)
|
|
|
|
PM.add(createMachineFunctionPrinterPass(cerr));
|
|
|
|
|
|
|
|
addCodeEmitter(PM, Fast, PrintEmittedAsm, MCE);
|
|
|
|
|
|
|
|
PM.add(createGCInfoDeleter());
|
|
|
|
|
|
|
|
// Delete machine code for this function
|
|
|
|
PM.add(createMachineCodeDeleter());
|
|
|
|
|
|
|
|
return false; // success!
|
|
|
|
}
|
|
|
|
|
|
|
|
/// addCommonCodeGenPasses - Add standard LLVM codegen passes used for
|
|
|
|
/// both emitting to assembly files or machine code output.
|
|
|
|
///
|
|
|
|
bool LLVMTargetMachine::addCommonCodeGenPasses(PassManagerBase &PM, bool Fast) {
|
2006-09-04 06:16:09 +02:00
|
|
|
// Standard LLVM-Level Passes.
|
2008-09-25 02:37:07 +02:00
|
|
|
|
2006-09-04 06:16:09 +02:00
|
|
|
// Run loop strength reduction before anything else.
|
2007-03-31 06:18:03 +02:00
|
|
|
if (!Fast) {
|
|
|
|
PM.add(createLoopStrengthReducePass(getTargetLowering()));
|
|
|
|
if (PrintLSR)
|
2008-10-22 05:25:22 +02:00
|
|
|
PM.add(createPrintFunctionPass("\n\n*** Code after LSR ***\n", &errs()));
|
2007-03-31 06:18:03 +02:00
|
|
|
}
|
2008-09-25 02:37:07 +02:00
|
|
|
|
2008-01-07 02:33:09 +01:00
|
|
|
PM.add(createGCLoweringPass());
|
2008-09-25 02:37:07 +02:00
|
|
|
|
2008-04-02 02:25:04 +02:00
|
|
|
if (!getTargetAsmInfo()->doesSupportExceptionHandling())
|
2008-04-01 22:00:57 +02:00
|
|
|
PM.add(createLowerInvokePass(getTargetLowering()));
|
2008-09-25 02:37:07 +02:00
|
|
|
|
2006-09-04 06:16:09 +02:00
|
|
|
// Make sure that no unreachable blocks are instruction selected.
|
|
|
|
PM.add(createUnreachableBlockEliminationPass());
|
2007-02-08 02:36:53 +01:00
|
|
|
|
2007-03-31 06:18:03 +02:00
|
|
|
if (!Fast)
|
|
|
|
PM.add(createCodeGenPreparePass(getTargetLowering()));
|
|
|
|
|
2008-11-04 22:53:09 +01:00
|
|
|
if (EnableStackProtector != SSP::OFF)
|
|
|
|
PM.add(createStackProtectorPass(EnableStackProtector, getTargetLowering()));
|
2008-11-04 03:10:20 +01:00
|
|
|
|
2007-03-31 06:18:03 +02:00
|
|
|
if (PrintISelInput)
|
2008-10-22 01:33:38 +02:00
|
|
|
PM.add(createPrintFunctionPass("\n\n"
|
|
|
|
"*** Final LLVM Code input to ISel ***\n",
|
2008-10-22 05:25:22 +02:00
|
|
|
&errs()));
|
2007-03-31 06:18:03 +02:00
|
|
|
|
2008-09-25 02:37:07 +02:00
|
|
|
// Standard Lower-Level Passes.
|
|
|
|
|
2008-10-01 22:39:19 +02:00
|
|
|
// Enable FastISel with -fast, but allow that to be overridden.
|
2008-10-08 01:00:56 +02:00
|
|
|
if (EnableFastISelOption == cl::BOU_TRUE ||
|
|
|
|
(Fast && EnableFastISelOption != cl::BOU_FALSE))
|
2008-10-01 22:39:19 +02:00
|
|
|
EnableFastISel = true;
|
|
|
|
|
2006-09-04 06:16:09 +02:00
|
|
|
// Ask the target for an isel.
|
|
|
|
if (addInstSelector(PM, Fast))
|
|
|
|
return true;
|
2007-02-08 02:36:53 +01:00
|
|
|
|
2006-09-04 06:16:09 +02:00
|
|
|
// Print the instruction selected machine code...
|
|
|
|
if (PrintMachineCode)
|
2007-02-08 02:36:53 +01:00
|
|
|
PM.add(createMachineFunctionPrinterPass(cerr));
|
Initial commit of the machine code LICM pass. It successfully hoists this:
_foo:
li r2, 0
LBB1_1: ; bb
li r5, 0
stw r5, 0(r3)
addi r2, r2, 1
addi r3, r3, 4
cmplw cr0, r2, r4
bne cr0, LBB1_1 ; bb
LBB1_2: ; return
blr
to:
_foo:
li r2, 0
li r5, 0
LBB1_1: ; bb
stw r5, 0(r3)
addi r2, r2, 1
addi r3, r3, 4
cmplw cr0, r2, r4
bne cr0, LBB1_1 ; bb
LBB1_2: ; return
blr
ZOMG!! :-)
Moar to come...
llvm-svn: 44687
2007-12-07 22:42:31 +01:00
|
|
|
|
2008-06-04 11:18:41 +02:00
|
|
|
if (EnableLICM)
|
2008-01-04 09:11:03 +01:00
|
|
|
PM.add(createMachineLICMPass());
|
2008-09-25 02:37:07 +02:00
|
|
|
|
2008-01-05 07:14:16 +01:00
|
|
|
if (EnableSinking)
|
|
|
|
PM.add(createMachineSinkingPass());
|
Initial commit of the machine code LICM pass. It successfully hoists this:
_foo:
li r2, 0
LBB1_1: ; bb
li r5, 0
stw r5, 0(r3)
addi r2, r2, 1
addi r3, r3, 4
cmplw cr0, r2, r4
bne cr0, LBB1_1 ; bb
LBB1_2: ; return
blr
to:
_foo:
li r2, 0
li r5, 0
LBB1_1: ; bb
stw r5, 0(r3)
addi r2, r2, 1
addi r3, r3, 4
cmplw cr0, r2, r4
bne cr0, LBB1_1 ; bb
LBB1_2: ; return
blr
ZOMG!! :-)
Moar to come...
llvm-svn: 44687
2007-12-07 22:42:31 +01:00
|
|
|
|
2008-04-23 20:26:03 +02:00
|
|
|
// Run pre-ra passes.
|
|
|
|
if (addPreRegAlloc(PM, Fast) && PrintMachineCode)
|
|
|
|
PM.add(createMachineFunctionPrinterPass(cerr));
|
|
|
|
|
2008-06-04 11:18:41 +02:00
|
|
|
// Perform register allocation.
|
2006-09-04 06:16:09 +02:00
|
|
|
PM.add(createRegisterAllocator());
|
2008-06-04 11:18:41 +02:00
|
|
|
|
|
|
|
// Perform stack slot coloring.
|
2008-07-01 00:33:16 +02:00
|
|
|
if (!Fast)
|
|
|
|
PM.add(createStackSlotColoringPass());
|
2008-06-04 11:18:41 +02:00
|
|
|
|
2008-09-25 02:37:07 +02:00
|
|
|
if (PrintMachineCode) // Print the register-allocated code
|
2007-02-08 02:36:53 +01:00
|
|
|
PM.add(createMachineFunctionPrinterPass(cerr));
|
2008-09-25 02:37:07 +02:00
|
|
|
|
2008-06-04 11:18:41 +02:00
|
|
|
// Run post-ra passes.
|
|
|
|
if (addPostRegAlloc(PM, Fast) && PrintMachineCode)
|
|
|
|
PM.add(createMachineFunctionPrinterPass(cerr));
|
|
|
|
|
2008-09-25 02:37:07 +02:00
|
|
|
if (PrintMachineCode)
|
2008-06-04 11:18:41 +02:00
|
|
|
PM.add(createMachineFunctionPrinterPass(cerr));
|
2008-09-25 02:37:07 +02:00
|
|
|
|
2007-07-27 09:36:14 +02:00
|
|
|
PM.add(createLowerSubregsPass());
|
2008-09-25 02:37:07 +02:00
|
|
|
|
2007-07-27 09:36:14 +02:00
|
|
|
if (PrintMachineCode) // Print the subreg lowered code
|
|
|
|
PM.add(createMachineFunctionPrinterPass(cerr));
|
2007-02-08 02:36:53 +01:00
|
|
|
|
2006-09-04 06:16:09 +02:00
|
|
|
// Insert prolog/epilog code. Eliminate abstract frame index references...
|
|
|
|
PM.add(createPrologEpilogCodeInserter());
|
2008-09-25 02:37:07 +02:00
|
|
|
|
2008-06-04 11:18:41 +02:00
|
|
|
if (PrintMachineCode)
|
2007-02-08 02:36:53 +01:00
|
|
|
PM.add(createMachineFunctionPrinterPass(cerr));
|
2008-09-25 02:37:07 +02:00
|
|
|
|
2007-07-13 19:13:54 +02:00
|
|
|
// Second pass scheduler.
|
2008-09-25 02:37:07 +02:00
|
|
|
if (!Fast && !DisablePostRAScheduler)
|
2007-07-13 19:31:29 +02:00
|
|
|
PM.add(createPostRAScheduler());
|
2007-07-13 19:13:54 +02:00
|
|
|
|
2006-11-16 02:00:07 +01:00
|
|
|
// Branch folding must be run after regalloc and prolog/epilog insertion.
|
|
|
|
if (!Fast)
|
2007-05-22 20:31:04 +02:00
|
|
|
PM.add(createBranchFoldingPass(getEnableTailMergeDefault()));
|
Initial commit of the machine code LICM pass. It successfully hoists this:
_foo:
li r2, 0
LBB1_1: ; bb
li r5, 0
stw r5, 0(r3)
addi r2, r2, 1
addi r3, r3, 4
cmplw cr0, r2, r4
bne cr0, LBB1_1 ; bb
LBB1_2: ; return
blr
to:
_foo:
li r2, 0
li r5, 0
LBB1_1: ; bb
stw r5, 0(r3)
addi r2, r2, 1
addi r3, r3, 4
cmplw cr0, r2, r4
bne cr0, LBB1_1 ; bb
LBB1_2: ; return
blr
ZOMG!! :-)
Moar to come...
llvm-svn: 44687
2007-12-07 22:42:31 +01:00
|
|
|
|
2008-01-07 02:33:09 +01:00
|
|
|
PM.add(createGCMachineCodeAnalysisPass());
|
2008-06-04 11:18:41 +02:00
|
|
|
|
2008-01-07 02:33:09 +01:00
|
|
|
if (PrintMachineCode)
|
|
|
|
PM.add(createMachineFunctionPrinterPass(cerr));
|
2008-09-25 02:37:07 +02:00
|
|
|
|
2008-01-07 02:33:09 +01:00
|
|
|
if (PrintGCInfo)
|
2008-08-17 20:44:35 +02:00
|
|
|
PM.add(createGCInfoPrinter(*cerr));
|
2007-02-08 02:36:53 +01:00
|
|
|
|
2008-09-25 02:37:07 +02:00
|
|
|
return false;
|
2006-09-04 06:16:09 +02:00
|
|
|
}
|