2003-08-21 22:14:26 +00:00
|
|
|
//===-- Passes.h - Target independent code generation passes ----*- C++ -*-===//
|
2005-04-21 20:39:54 +00:00
|
|
|
//
|
2003-10-20 20:19:47 +00:00
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
2007-12-29 19:59:42 +00:00
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
2005-04-21 20:39:54 +00:00
|
|
|
//
|
2003-10-20 20:19:47 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
2003-01-13 01:01:31 +00:00
|
|
|
//
|
2003-08-21 22:14:26 +00:00
|
|
|
// This file defines interfaces to access the target independent code generation
|
2003-01-13 01:01:31 +00:00
|
|
|
// passes provided by the LLVM backend.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#ifndef LLVM_CODEGEN_PASSES_H
|
|
|
|
#define LLVM_CODEGEN_PASSES_H
|
|
|
|
|
2004-02-04 21:41:10 +00:00
|
|
|
#include <iosfwd>
|
|
|
|
#include <string>
|
2004-01-30 21:53:46 +00:00
|
|
|
|
2003-11-11 22:41:34 +00:00
|
|
|
namespace llvm {
|
|
|
|
|
2003-12-20 10:18:58 +00:00
|
|
|
class FunctionPass;
|
|
|
|
class PassInfo;
|
|
|
|
class TargetMachine;
|
2007-09-06 16:18:45 +00:00
|
|
|
class RegisterCoalescer;
|
2004-07-02 05:44:13 +00:00
|
|
|
|
|
|
|
/// createUnreachableBlockEliminationPass - The LLVM code generator does not
|
|
|
|
/// work well with unreachable basic blocks (what live ranges make sense for a
|
|
|
|
/// block that cannot be reached?). As such, a code generator should either
|
|
|
|
/// not instruction select unreachable blocks, or it can run this pass as it's
|
|
|
|
/// last LLVM modifying pass to clean up blocks that are not reachable from
|
|
|
|
/// the entry block.
|
|
|
|
FunctionPass *createUnreachableBlockEliminationPass();
|
2005-04-21 20:39:54 +00:00
|
|
|
|
2003-12-20 10:18:58 +00:00
|
|
|
/// MachineFunctionPrinter pass - This pass prints out the machine function to
|
|
|
|
/// standard error, as a debugging tool.
|
2004-02-04 21:41:10 +00:00
|
|
|
FunctionPass *createMachineFunctionPrinterPass(std::ostream *OS,
|
2004-01-30 21:53:46 +00:00
|
|
|
const std::string &Banner ="");
|
|
|
|
|
2008-01-04 20:54:55 +00:00
|
|
|
/// MachineLoopInfo pass - This pass is a loop analysis pass.
|
|
|
|
///
|
2008-05-13 02:05:11 +00:00
|
|
|
extern const PassInfo *const MachineLoopInfoID;
|
2008-01-04 20:54:55 +00:00
|
|
|
|
|
|
|
/// MachineDominators pass - This pass is a machine dominators analysis pass.
|
|
|
|
///
|
2008-05-13 02:05:11 +00:00
|
|
|
extern const PassInfo *const MachineDominatorsID;
|
2008-01-04 20:54:55 +00:00
|
|
|
|
2003-12-20 10:18:58 +00:00
|
|
|
/// PHIElimination pass - This pass eliminates machine instruction PHI nodes
|
|
|
|
/// by inserting copy instructions. This destroys SSA information, but is the
|
|
|
|
/// desired input for some register allocators. This pass is "required" by
|
|
|
|
/// these register allocator like this: AU.addRequiredID(PHIEliminationID);
|
|
|
|
///
|
2008-05-13 02:05:11 +00:00
|
|
|
extern const PassInfo *const PHIEliminationID;
|
2007-10-31 03:37:57 +00:00
|
|
|
|
|
|
|
/// StrongPHIElimination pass - This pass eliminates machine instruction PHI
|
|
|
|
/// nodes by inserting copy instructions. This destroys SSA information, but
|
|
|
|
/// is the desired input for some register allocators. This pass is
|
|
|
|
/// "required" by these register allocator like this:
|
|
|
|
/// AU.addRequiredID(PHIEliminationID);
|
|
|
|
/// This pass is still in development
|
2008-05-13 02:05:11 +00:00
|
|
|
extern const PassInfo *const StrongPHIEliminationID;
|
2003-01-13 01:01:31 +00:00
|
|
|
|
2007-06-08 17:18:56 +00:00
|
|
|
/// SimpleRegisterCoalescing pass. Aggressively coalesces every register
|
|
|
|
/// copy it can.
|
|
|
|
///
|
2008-05-13 02:05:11 +00:00
|
|
|
extern const PassInfo *const SimpleRegisterCoalescingID;
|
2007-06-08 17:18:56 +00:00
|
|
|
|
2003-12-20 10:18:58 +00:00
|
|
|
/// TwoAddressInstruction pass - This pass reduces two-address instructions to
|
|
|
|
/// use two operands. This destroys SSA information but it is desired by
|
|
|
|
/// register allocators.
|
2008-05-13 02:05:11 +00:00
|
|
|
extern const PassInfo *const TwoAddressInstructionPassID;
|
2003-01-13 01:01:31 +00:00
|
|
|
|
2008-08-04 23:54:43 +00:00
|
|
|
/// UnreachableMachineBlockElimination pass - This pass removes unreachable
|
|
|
|
/// machine basic blocks.
|
|
|
|
extern const PassInfo *const UnreachableMachineBlockElimID;
|
|
|
|
|
2008-09-17 00:43:24 +00:00
|
|
|
/// DeadMachineInstructionElim pass - This pass removes dead machine
|
|
|
|
/// instructions.
|
|
|
|
///
|
|
|
|
FunctionPass *createDeadMachineInstructionElimPass();
|
|
|
|
|
2003-12-20 10:18:58 +00:00
|
|
|
/// Creates a register allocator as the user specified on the command line.
|
|
|
|
///
|
|
|
|
FunctionPass *createRegisterAllocator();
|
2003-01-13 01:01:31 +00:00
|
|
|
|
2003-12-20 10:18:58 +00:00
|
|
|
/// SimpleRegisterAllocation Pass - This pass converts the input machine code
|
|
|
|
/// from SSA form to use explicit registers by spilling every register. Wow,
|
|
|
|
/// great policy huh?
|
|
|
|
///
|
|
|
|
FunctionPass *createSimpleRegisterAllocator();
|
2003-11-20 03:32:25 +00:00
|
|
|
|
2003-12-20 10:18:58 +00:00
|
|
|
/// LocalRegisterAllocation Pass - This pass register allocates the input code
|
|
|
|
/// a basic block at a time, yielding code better than the simple register
|
|
|
|
/// allocator, but not as good as a global allocator.
|
2005-04-21 20:39:54 +00:00
|
|
|
///
|
2003-12-20 10:18:58 +00:00
|
|
|
FunctionPass *createLocalRegisterAllocator();
|
2005-04-21 20:39:54 +00:00
|
|
|
|
2007-06-22 08:27:12 +00:00
|
|
|
/// BigBlockRegisterAllocation Pass - The BigBlock register allocator
|
|
|
|
/// munches single basic blocks at a time, like the local register
|
|
|
|
/// allocator. While the BigBlock allocator is a little slower, and uses
|
|
|
|
/// somewhat more memory than the local register allocator, it tends to
|
|
|
|
/// yield the best allocations (of any of the allocators) for blocks that
|
|
|
|
/// have hundreds or thousands of instructions in sequence.
|
|
|
|
///
|
|
|
|
FunctionPass *createBigBlockRegisterAllocator();
|
|
|
|
|
2003-12-20 10:18:58 +00:00
|
|
|
/// LinearScanRegisterAllocation Pass - This pass implements the linear scan
|
|
|
|
/// register allocation algorithm, a global register allocator.
|
|
|
|
///
|
|
|
|
FunctionPass *createLinearScanRegisterAllocator();
|
2003-01-13 01:01:31 +00:00
|
|
|
|
2007-09-06 16:18:45 +00:00
|
|
|
/// SimpleRegisterCoalescing Pass - Coalesce all copies possible. Can run
|
|
|
|
/// independently of the register allocator.
|
|
|
|
///
|
|
|
|
RegisterCoalescer *createSimpleRegisterCoalescer();
|
|
|
|
|
2003-12-20 10:18:58 +00:00
|
|
|
/// PrologEpilogCodeInserter Pass - This pass inserts prolog and epilog code,
|
|
|
|
/// and eliminates abstract frame references.
|
|
|
|
///
|
|
|
|
FunctionPass *createPrologEpilogCodeInserter();
|
2007-07-26 08:18:32 +00:00
|
|
|
|
|
|
|
/// LowerSubregs Pass - This pass lowers subregs to register-register copies
|
2007-08-06 16:33:56 +00:00
|
|
|
/// which yields suboptimal, but correct code if the register allocator
|
2007-07-26 08:18:32 +00:00
|
|
|
/// cannot coalesce all subreg operations during allocation.
|
|
|
|
///
|
|
|
|
FunctionPass *createLowerSubregsPass();
|
2003-09-30 20:14:43 +00:00
|
|
|
|
2007-07-13 17:13:54 +00:00
|
|
|
/// createPostRAScheduler - under development.
|
|
|
|
FunctionPass *createPostRAScheduler();
|
|
|
|
|
2004-07-31 09:59:14 +00:00
|
|
|
/// BranchFolding Pass - This pass performs machine code CFG based
|
|
|
|
/// optimizations to delete branches to branches, eliminate branches to
|
|
|
|
/// successor blocks (creating fall throughs), and eliminating branches over
|
|
|
|
/// branches.
|
2007-05-22 17:14:46 +00:00
|
|
|
FunctionPass *createBranchFoldingPass(bool DefaultEnableTailMerge);
|
2004-07-31 09:59:14 +00:00
|
|
|
|
2007-05-16 02:00:57 +00:00
|
|
|
/// IfConverter Pass - This pass performs machine code if conversion.
|
|
|
|
FunctionPass *createIfConverterPass();
|
|
|
|
|
2008-02-28 00:43:03 +00:00
|
|
|
/// LoopAligner Pass - This pass aligns loop headers to target specific
|
|
|
|
/// alignment boundary.
|
|
|
|
FunctionPass *createLoopAlignerPass();
|
|
|
|
|
2006-11-07 19:33:46 +00:00
|
|
|
/// DebugLabelFoldingPass - This pass prunes out redundant debug labels. This
|
|
|
|
/// allows a debug emitter to determine if the range of two labels is empty,
|
|
|
|
/// by seeing if the labels map to the same reduced label.
|
|
|
|
FunctionPass *createDebugLabelFoldingPass();
|
|
|
|
|
2003-12-20 10:18:58 +00:00
|
|
|
/// MachineCodeDeletion Pass - This pass deletes all of the machine code for
|
|
|
|
/// the current function, which should happen after the function has been
|
|
|
|
/// emitted to a .s file or to memory.
|
|
|
|
FunctionPass *createMachineCodeDeleter();
|
2005-04-21 20:39:54 +00:00
|
|
|
|
2003-12-20 10:18:58 +00:00
|
|
|
/// getRegisterAllocator - This creates an instance of the register allocator
|
|
|
|
/// for the Sparc.
|
|
|
|
FunctionPass *getRegisterAllocator(TargetMachine &T);
|
2004-05-08 16:14:02 +00:00
|
|
|
|
2007-12-11 00:30:17 +00:00
|
|
|
/// IntrinsicLowering Pass - Performs target-independent LLVM IR
|
2008-08-17 18:44:35 +00:00
|
|
|
/// transformations for highly portable strategies.
|
2007-12-11 00:30:17 +00:00
|
|
|
FunctionPass *createGCLoweringPass();
|
|
|
|
|
|
|
|
/// MachineCodeAnalysis Pass - Target-independent pass to mark safe points in
|
|
|
|
/// machine code. Must be added very late during code generation, just prior
|
|
|
|
/// to output, and importantly after all CFG transformations (such as branch
|
|
|
|
/// folding).
|
|
|
|
FunctionPass *createGCMachineCodeAnalysisPass();
|
|
|
|
|
2008-08-17 18:44:35 +00:00
|
|
|
/// Deleter Pass - Releases GC metadata.
|
2007-12-11 00:30:17 +00:00
|
|
|
///
|
2008-08-17 18:44:35 +00:00
|
|
|
FunctionPass *createGCInfoDeleter();
|
2007-12-11 00:30:17 +00:00
|
|
|
|
2008-08-17 18:44:35 +00:00
|
|
|
/// Creates a pass to print GC metadata.
|
2007-12-11 00:30:17 +00:00
|
|
|
///
|
2008-08-17 18:44:35 +00:00
|
|
|
FunctionPass *createGCInfoPrinter(std::ostream &OS);
|
2007-12-11 00:30:17 +00:00
|
|
|
|
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...
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@44687 91177308-0d34-0410-b5e6-96231b3b80d8
2007-12-07 21:42:31 +00:00
|
|
|
/// createMachineLICMPass - This pass performs LICM on machine instructions.
|
|
|
|
///
|
|
|
|
FunctionPass *createMachineLICMPass();
|
|
|
|
|
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.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@45570 91177308-0d34-0410-b5e6-96231b3b80d8
2008-01-04 07:36:53 +00:00
|
|
|
/// createMachineSinkingPass - This pass performs sinking on machine
|
|
|
|
/// instructions.
|
|
|
|
FunctionPass *createMachineSinkingPass();
|
2008-06-04 09:18:41 +00:00
|
|
|
|
|
|
|
/// createStackSlotColoringPass - This pass performs stack slot coloring.
|
|
|
|
FunctionPass *createStackSlotColoringPass();
|
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.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@45570 91177308-0d34-0410-b5e6-96231b3b80d8
2008-01-04 07:36:53 +00:00
|
|
|
|
2003-11-11 22:41:34 +00:00
|
|
|
} // End llvm namespace
|
|
|
|
|
2003-01-13 01:01:31 +00:00
|
|
|
#endif
|