2002-12-28 20:32:54 +00:00
|
|
|
//===- X86RegisterInfo.h - X86 Register Information Impl --------*- C++ -*-===//
|
2005-04-21 23:38:14 +00:00
|
|
|
//
|
2003-10-21 15:17:13 +00:00
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
2007-12-29 20:36:04 +00:00
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
2005-04-21 23:38:14 +00:00
|
|
|
//
|
2003-10-21 15:17:13 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
2002-10-25 22:55:53 +00:00
|
|
|
//
|
2008-02-10 18:45:23 +00:00
|
|
|
// This file contains the X86 implementation of the TargetRegisterInfo class.
|
2002-10-25 22:55:53 +00:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#ifndef X86REGISTERINFO_H
|
|
|
|
#define X86REGISTERINFO_H
|
|
|
|
|
2008-02-10 18:45:23 +00:00
|
|
|
#include "llvm/Target/TargetRegisterInfo.h"
|
2003-08-03 15:48:14 +00:00
|
|
|
#include "X86GenRegisterInfo.h.inc"
|
2002-12-25 05:06:43 +00:00
|
|
|
|
2003-11-11 22:41:34 +00:00
|
|
|
namespace llvm {
|
2006-09-05 02:12:02 +00:00
|
|
|
class Type;
|
|
|
|
class TargetInstrInfo;
|
2006-09-08 06:48:29 +00:00
|
|
|
class X86TargetMachine;
|
2003-11-11 22:41:34 +00:00
|
|
|
|
2007-08-29 19:01:20 +00:00
|
|
|
/// N86 namespace - Native X86 register numbers
|
|
|
|
///
|
|
|
|
namespace N86 {
|
|
|
|
enum {
|
|
|
|
EAX = 0, ECX = 1, EDX = 2, EBX = 3, ESP = 4, EBP = 5, ESI = 6, EDI = 7
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
2007-11-11 19:50:10 +00:00
|
|
|
/// DWARFFlavour - Flavour of dwarf regnumbers
|
|
|
|
///
|
|
|
|
namespace DWARFFlavour {
|
|
|
|
enum {
|
2008-01-25 00:34:13 +00:00
|
|
|
X86_64 = 0, X86_32_DarwinEH = 1, X86_32_Generic = 2
|
2007-11-11 19:50:10 +00:00
|
|
|
};
|
|
|
|
}
|
|
|
|
|
2006-11-05 19:31:28 +00:00
|
|
|
class X86RegisterInfo : public X86GenRegisterInfo {
|
|
|
|
public:
|
2006-09-08 06:48:29 +00:00
|
|
|
X86TargetMachine &TM;
|
2006-09-05 02:12:02 +00:00
|
|
|
const TargetInstrInfo &TII;
|
2006-11-05 19:31:28 +00:00
|
|
|
|
2006-09-08 06:48:29 +00:00
|
|
|
private:
|
|
|
|
/// Is64Bit - Is the target 64-bits.
|
2007-10-01 23:44:33 +00:00
|
|
|
///
|
2006-09-08 06:48:29 +00:00
|
|
|
bool Is64Bit;
|
|
|
|
|
2008-03-22 21:04:01 +00:00
|
|
|
/// IsWin64 - Is the target on of win64 flavours
|
|
|
|
///
|
|
|
|
bool IsWin64;
|
|
|
|
|
2006-09-08 06:48:29 +00:00
|
|
|
/// SlotSize - Stack slot size in bytes.
|
2007-10-01 23:44:33 +00:00
|
|
|
///
|
2006-09-08 06:48:29 +00:00
|
|
|
unsigned SlotSize;
|
|
|
|
|
2007-11-05 07:30:01 +00:00
|
|
|
/// StackAlign - Default stack alignment.
|
|
|
|
///
|
|
|
|
unsigned StackAlign;
|
|
|
|
|
2006-09-08 06:48:29 +00:00
|
|
|
/// StackPtr - X86 physical register used as stack ptr.
|
2007-10-01 23:44:33 +00:00
|
|
|
///
|
2006-09-08 06:48:29 +00:00
|
|
|
unsigned StackPtr;
|
|
|
|
|
|
|
|
/// FramePtr - X86 physical register used as frame ptr.
|
2007-10-01 23:44:33 +00:00
|
|
|
///
|
2006-09-08 06:48:29 +00:00
|
|
|
unsigned FramePtr;
|
|
|
|
|
|
|
|
public:
|
|
|
|
X86RegisterInfo(X86TargetMachine &tm, const TargetInstrInfo &tii);
|
2002-12-25 05:06:43 +00:00
|
|
|
|
2007-08-29 19:01:20 +00:00
|
|
|
/// getX86RegNum - Returns the native X86 register number for the given LLVM
|
|
|
|
/// register identifier.
|
2008-04-16 20:10:13 +00:00
|
|
|
static unsigned getX86RegNum(unsigned RegNo);
|
2007-08-29 19:01:20 +00:00
|
|
|
|
2008-01-01 21:11:32 +00:00
|
|
|
unsigned getStackAlignment() const { return StackAlign; }
|
|
|
|
|
2007-11-07 00:25:05 +00:00
|
|
|
/// getDwarfRegNum - allows modification of X86GenRegisterInfo::getDwarfRegNum
|
|
|
|
/// (created by TableGen) for target dependencies.
|
2007-11-13 19:13:01 +00:00
|
|
|
int getDwarfRegNum(unsigned RegNum, bool isEH) const;
|
2007-11-07 00:25:05 +00:00
|
|
|
|
2002-12-28 20:32:54 +00:00
|
|
|
/// Code Generation virtual methods...
|
2008-01-04 23:57:37 +00:00
|
|
|
///
|
2008-10-27 07:14:50 +00:00
|
|
|
|
2009-07-18 02:10:10 +00:00
|
|
|
/// getMatchingSuperRegClass - Return a subclass of the specified register
|
|
|
|
/// class A so that each register in it has a sub-register of the
|
|
|
|
/// specified sub-register index which is in the specified register class B.
|
|
|
|
virtual const TargetRegisterClass *
|
|
|
|
getMatchingSuperRegClass(const TargetRegisterClass *A,
|
|
|
|
const TargetRegisterClass *B, unsigned Idx) const;
|
|
|
|
|
2009-02-06 17:43:24 +00:00
|
|
|
/// getPointerRegClass - Returns a TargetRegisterClass used for pointer
|
|
|
|
/// values.
|
2009-07-29 20:31:52 +00:00
|
|
|
const TargetRegisterClass *getPointerRegClass(unsigned Kind = 0) const;
|
2009-02-06 17:43:24 +00:00
|
|
|
|
2008-10-27 07:14:50 +00:00
|
|
|
/// getCrossCopyRegClass - Returns a legal register class to copy a register
|
|
|
|
/// in the specified class to or from. Returns NULL if it is possible to copy
|
|
|
|
/// between a two registers of the specified class.
|
2007-09-26 21:31:07 +00:00
|
|
|
const TargetRegisterClass *
|
|
|
|
getCrossCopyRegClass(const TargetRegisterClass *RC) const;
|
|
|
|
|
2007-01-02 21:33:40 +00:00
|
|
|
/// getCalleeSavedRegs - Return a null-terminated list of all of the
|
2006-05-18 00:12:58 +00:00
|
|
|
/// callee-save registers on this target.
|
2007-07-14 14:06:15 +00:00
|
|
|
const unsigned *getCalleeSavedRegs(const MachineFunction* MF = 0) const;
|
2006-05-18 00:12:58 +00:00
|
|
|
|
2007-02-19 21:49:54 +00:00
|
|
|
/// getReservedRegs - Returns a bitset indexed by physical register number
|
|
|
|
/// indicating if a register is a special register that has particular uses and
|
|
|
|
/// should be considered unavailable at all times, e.g. SP, RA. This is used by
|
|
|
|
/// register scavenger to determine what registers are free.
|
|
|
|
BitVector getReservedRegs(const MachineFunction &MF) const;
|
|
|
|
|
2007-01-23 00:57:47 +00:00
|
|
|
bool hasFP(const MachineFunction &MF) const;
|
|
|
|
|
2010-01-19 18:31:11 +00:00
|
|
|
bool canRealignStack(const MachineFunction &MF) const;
|
|
|
|
|
2008-04-23 18:15:48 +00:00
|
|
|
bool needsStackRealignment(const MachineFunction &MF) const;
|
|
|
|
|
2010-07-20 06:52:21 +00:00
|
|
|
bool hasReservedCallFrame(const MachineFunction &MF) const;
|
2007-07-19 00:42:05 +00:00
|
|
|
|
2010-07-20 06:52:21 +00:00
|
|
|
bool hasReservedSpillSlot(const MachineFunction &MF, unsigned Reg,
|
2009-07-09 06:53:48 +00:00
|
|
|
int &FrameIdx) const;
|
|
|
|
|
2004-02-14 19:49:54 +00:00
|
|
|
void eliminateCallFramePseudoInstr(MachineFunction &MF,
|
|
|
|
MachineBasicBlock &MBB,
|
|
|
|
MachineBasicBlock::iterator MI) const;
|
2002-12-13 09:54:12 +00:00
|
|
|
|
2009-10-07 17:12:56 +00:00
|
|
|
unsigned eliminateFrameIndex(MachineBasicBlock::iterator MI,
|
2010-03-09 21:45:49 +00:00
|
|
|
int SPAdj, FrameIndexValue *Value = NULL,
|
2009-10-07 17:12:56 +00:00
|
|
|
RegScavenger *RS = NULL) const;
|
2002-11-20 18:59:43 +00:00
|
|
|
|
2008-04-23 18:20:17 +00:00
|
|
|
void processFunctionBeforeCalleeSavedScan(MachineFunction &MF,
|
|
|
|
RegScavenger *RS = NULL) const;
|
2002-12-03 23:11:21 +00:00
|
|
|
|
2010-03-14 08:12:40 +00:00
|
|
|
void emitCalleeSavedFrameMoves(MachineFunction &MF, MCSymbol *Label,
|
Recommit r74952 with a bug fix:
DWARF requires frame moves be specified at specific times. If you have a
prologue like this:
__Z3fooi:
Leh_func_begin1:
LBB1_0: ## entry
pushl %ebp
Llabel1:
movl %esp, %ebp
Llabel2:
pushl %esi
Llabel3:
subl $20, %esp
call "L1$pb"
"L1$pb":
popl %esi
The "pushl %ebp" needs a table entry specifying the offset. The "movl %esp,
%ebp" makes %ebp the new stack frame register, so that needs to be specified in
DWARF. And "pushl %esi" saves the callee-saved %esi register, which also needs
to be specified in DWARF.
Before, all of this logic was in one method. This didn't work too well, because
as you can see there are multiple FDE line entries that need to be created.
This fix creates the "MachineMove" objects directly when they're needed; instead
of waiting until the end, and losing information.
There is some ugliness where we generate code like this:
LBB22_0: ## entry
pushl %ebp
Llabel280:
movl %esp, %ebp
Llabel281:
Llabel284:
pushl %ebp <----------
pushl %ebx
pushl %edi
pushl %esi
Llabel282:
subl $328, %esp
Notice the extra "pushl %ebp". If we generate a "machine move" instruction in
the FDE for that pushl, the linker may get very confused about what value %ebp
should have when exitting the function. I.e., it'll give it the value %esp
instead of the %ebp value from the first "pushl". Not to mention that, in this
case, %ebp isn't modified in the function (that's a separate bug). I put a small
hack in to get it to work. It might be the only solution, but should be
revisited once the above case is fixed.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@75047 91177308-0d34-0410-b5e6-96231b3b80d8
2009-07-08 21:02:53 +00:00
|
|
|
unsigned FramePtr) const;
|
2004-02-14 19:49:54 +00:00
|
|
|
void emitPrologue(MachineFunction &MF) const;
|
|
|
|
void emitEpilogue(MachineFunction &MF, MachineBasicBlock &MBB) const;
|
2006-03-23 18:12:57 +00:00
|
|
|
|
2006-03-28 13:48:33 +00:00
|
|
|
// Debug information queries.
|
2006-04-07 16:34:46 +00:00
|
|
|
unsigned getRARegister() const;
|
2009-11-12 21:00:03 +00:00
|
|
|
unsigned getFrameRegister(const MachineFunction &MF) const;
|
2010-01-26 23:15:09 +00:00
|
|
|
int getFrameIndexOffset(const MachineFunction &MF, int FI) const;
|
2007-01-24 19:15:24 +00:00
|
|
|
void getInitialFrameState(std::vector<MachineMove> &Moves) const;
|
2007-02-21 22:54:50 +00:00
|
|
|
|
|
|
|
// Exception handling queries.
|
|
|
|
unsigned getEHExceptionRegister() const;
|
|
|
|
unsigned getEHHandlerRegister() const;
|
2002-10-25 22:55:53 +00:00
|
|
|
};
|
|
|
|
|
2006-05-05 05:40:20 +00:00
|
|
|
// getX86SubSuperRegister - X86 utility function. It returns the sub or super
|
|
|
|
// register of a specific X86 register.
|
2009-08-10 22:56:29 +00:00
|
|
|
// e.g. getX86SubSuperRegister(X86::EAX, EVT::i16) return X86:AX
|
|
|
|
unsigned getX86SubSuperRegister(unsigned, EVT, bool High=false);
|
2006-05-05 05:40:20 +00:00
|
|
|
|
2003-11-11 22:41:34 +00:00
|
|
|
} // End llvm namespace
|
|
|
|
|
2002-10-25 22:55:53 +00:00
|
|
|
#endif
|