2002-11-23 06:43:47 +08:00
|
|
|
//===- X86RegisterInfo.cpp - X86 Register Information -----------*- C++ -*-===//
|
2002-10-26 06:55:53 +08:00
|
|
|
//
|
|
|
|
// This file contains the X86 implementation of the MRegisterInfo class.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2002-11-21 02:59:43 +08:00
|
|
|
#include "X86.h"
|
2002-10-26 06:55:53 +08:00
|
|
|
#include "X86RegisterInfo.h"
|
2002-11-23 06:43:47 +08:00
|
|
|
#include "X86InstrBuilder.h"
|
2002-11-21 02:59:43 +08:00
|
|
|
#include "llvm/Constants.h"
|
|
|
|
#include "llvm/Type.h"
|
|
|
|
#include "llvm/CodeGen/MachineInstrBuilder.h"
|
2002-12-16 04:06:35 +08:00
|
|
|
#include "llvm/CodeGen/MachineFunction.h"
|
2002-10-26 06:55:53 +08:00
|
|
|
|
2002-12-13 20:00:06 +08:00
|
|
|
unsigned getIdx(unsigned dataSize) {
|
|
|
|
switch (dataSize) {
|
|
|
|
case 1: return 0;
|
|
|
|
case 2: return 1;
|
|
|
|
case 4: return 2;
|
|
|
|
// FIXME: longs handled as ints
|
|
|
|
case 8: return 2;
|
|
|
|
default: assert(0 && "Invalid data size!");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2002-11-23 06:43:47 +08:00
|
|
|
MachineBasicBlock::iterator
|
2002-12-16 04:06:35 +08:00
|
|
|
X86RegisterInfo::storeReg2RegOffset(MachineBasicBlock &MBB,
|
2002-12-05 01:14:13 +08:00
|
|
|
MachineBasicBlock::iterator MBBI,
|
2002-11-23 06:43:47 +08:00
|
|
|
unsigned SrcReg, unsigned DestReg,
|
|
|
|
unsigned ImmOffset, unsigned dataSize)
|
|
|
|
const
|
2002-11-21 02:59:43 +08:00
|
|
|
{
|
2002-12-13 20:00:06 +08:00
|
|
|
static const unsigned Opcode[] = { X86::MOVrm8, X86::MOVrm16, X86::MOVrm32 };
|
|
|
|
MachineInstr *MI = addRegOffset(BuildMI(Opcode[getIdx(dataSize)], 5),
|
2002-12-03 05:10:35 +08:00
|
|
|
DestReg, ImmOffset).addReg(SrcReg);
|
2002-12-16 04:06:35 +08:00
|
|
|
return ++MBB.insert(MBBI, MI);
|
2002-11-21 02:59:43 +08:00
|
|
|
}
|
|
|
|
|
2002-11-23 06:43:47 +08:00
|
|
|
MachineBasicBlock::iterator
|
2002-12-16 04:06:35 +08:00
|
|
|
X86RegisterInfo::loadRegOffset2Reg(MachineBasicBlock &MBB,
|
2002-12-05 01:14:13 +08:00
|
|
|
MachineBasicBlock::iterator MBBI,
|
2002-11-23 06:43:47 +08:00
|
|
|
unsigned DestReg, unsigned SrcReg,
|
|
|
|
unsigned ImmOffset, unsigned dataSize)
|
|
|
|
const
|
2002-11-21 02:59:43 +08:00
|
|
|
{
|
2002-12-13 20:00:06 +08:00
|
|
|
static const unsigned Opcode[] = { X86::MOVmr8, X86::MOVmr16, X86::MOVmr32 };
|
2002-12-16 06:38:47 +08:00
|
|
|
MachineInstr *MI = addRegOffset(BuildMI(Opcode[getIdx(dataSize)], 4, DestReg),
|
|
|
|
SrcReg, ImmOffset);
|
2002-12-16 04:06:35 +08:00
|
|
|
return ++MBB.insert(MBBI, MI);
|
2002-11-21 02:59:43 +08:00
|
|
|
}
|
|
|
|
|
2002-12-13 17:54:12 +08:00
|
|
|
MachineBasicBlock::iterator
|
2002-12-16 04:06:35 +08:00
|
|
|
X86RegisterInfo::moveReg2Reg(MachineBasicBlock &MBB,
|
2002-12-13 17:54:12 +08:00
|
|
|
MachineBasicBlock::iterator MBBI,
|
|
|
|
unsigned DestReg, unsigned SrcReg,
|
|
|
|
unsigned dataSize) const
|
|
|
|
{
|
2002-12-13 20:00:06 +08:00
|
|
|
static const unsigned Opcode[] = { X86::MOVrr8, X86::MOVrr16, X86::MOVrr32 };
|
2002-12-16 06:38:47 +08:00
|
|
|
MachineInstr *MI = BuildMI(Opcode[getIdx(dataSize)],1,DestReg).addReg(SrcReg);
|
2002-12-16 04:06:35 +08:00
|
|
|
return ++MBB.insert(MBBI, MI);
|
2002-12-13 17:54:12 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
MachineBasicBlock::iterator
|
2002-12-16 04:06:35 +08:00
|
|
|
X86RegisterInfo::moveImm2Reg(MachineBasicBlock &MBB,
|
2002-12-13 17:54:12 +08:00
|
|
|
MachineBasicBlock::iterator MBBI,
|
|
|
|
unsigned DestReg, unsigned Imm, unsigned dataSize)
|
|
|
|
const
|
|
|
|
{
|
2002-12-13 20:00:06 +08:00
|
|
|
static const unsigned Opcode[] = { X86::MOVir8, X86::MOVir16, X86::MOVir32 };
|
2002-12-16 06:38:47 +08:00
|
|
|
MachineInstr *MI = BuildMI(Opcode[getIdx(dataSize)], 1, DestReg).addReg(Imm);
|
2002-12-16 04:06:35 +08:00
|
|
|
return ++MBB.insert(MBBI, MI);
|
2002-12-13 17:54:12 +08:00
|
|
|
}
|
|
|
|
|
2002-11-23 06:43:47 +08:00
|
|
|
|
|
|
|
unsigned X86RegisterInfo::getFramePointer() const {
|
|
|
|
return X86::EBP;
|
|
|
|
}
|
|
|
|
|
|
|
|
unsigned X86RegisterInfo::getStackPointer() const {
|
|
|
|
return X86::ESP;
|
|
|
|
}
|
2002-12-04 07:11:21 +08:00
|
|
|
|
|
|
|
const unsigned* X86RegisterInfo::getCalleeSaveRegs() const {
|
2002-12-05 07:57:03 +08:00
|
|
|
static const unsigned CalleeSaveRegs[] = { X86::ESI, X86::EDI, X86::EBX,
|
2002-12-04 07:11:21 +08:00
|
|
|
MRegisterInfo::NoRegister };
|
|
|
|
return CalleeSaveRegs;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
const unsigned* X86RegisterInfo::getCallerSaveRegs() const {
|
|
|
|
static const unsigned CallerSaveRegs[] = { X86::EAX, X86::ECX, X86::EDX,
|
|
|
|
MRegisterInfo::NoRegister };
|
|
|
|
return CallerSaveRegs;
|
|
|
|
}
|
2002-12-05 07:57:03 +08:00
|
|
|
|
2002-12-16 04:06:35 +08:00
|
|
|
void X86RegisterInfo::emitPrologue(MachineFunction &MF,
|
2002-12-17 11:15:26 +08:00
|
|
|
unsigned NumBytes) const {
|
2002-12-16 04:06:35 +08:00
|
|
|
MachineBasicBlock &MBB = MF.front(); // Prolog goes in entry BB
|
|
|
|
MachineBasicBlock::iterator MBBI = MBB.begin();
|
2002-12-05 07:57:03 +08:00
|
|
|
|
2002-12-17 11:15:26 +08:00
|
|
|
// Round stack allocation up to a nice alignment to keep the stack aligned
|
|
|
|
NumBytes = (NumBytes + 3) & ~3;
|
|
|
|
|
2002-12-05 07:57:03 +08:00
|
|
|
// PUSH ebp
|
2002-12-16 06:38:47 +08:00
|
|
|
MachineInstr *MI = BuildMI(X86::PUSHr32, 1).addReg(X86::EBP);
|
2002-12-16 04:06:35 +08:00
|
|
|
MBBI = ++MBB.insert(MBBI, MI);
|
2002-12-05 07:57:03 +08:00
|
|
|
|
|
|
|
// MOV ebp, esp
|
2002-12-16 06:38:47 +08:00
|
|
|
MI = BuildMI(X86::MOVrr32, 1, X86::EBP).addReg(X86::ESP);
|
2002-12-16 04:06:35 +08:00
|
|
|
MBBI = ++MBB.insert(MBBI, MI);
|
2002-12-05 07:57:03 +08:00
|
|
|
|
2002-12-16 06:38:47 +08:00
|
|
|
// adjust stack pointer: ESP -= numbytes
|
2002-12-17 11:15:26 +08:00
|
|
|
MI = BuildMI(X86::SUBri32, 2, X86::ESP).addReg(X86::ESP).addZImm(NumBytes);
|
2002-12-16 04:06:35 +08:00
|
|
|
MBBI = ++MBB.insert(MBBI, MI);
|
2002-12-05 07:57:03 +08:00
|
|
|
}
|
|
|
|
|
2002-12-16 04:06:35 +08:00
|
|
|
void X86RegisterInfo::emitEpilogue(MachineBasicBlock &MBB,
|
|
|
|
unsigned numBytes) const {
|
|
|
|
MachineBasicBlock::iterator MBBI = --MBB.end();
|
|
|
|
assert((*MBBI)->getOpcode() == X86::RET &&
|
|
|
|
"Can only insert epilog into returning blocks");
|
2002-12-05 07:57:03 +08:00
|
|
|
|
2002-12-17 10:48:57 +08:00
|
|
|
// insert LEAVE: mov ESP, EBP; pop EBP
|
|
|
|
MBBI = ++MBB.insert(MBBI, BuildMI(X86::MOVrr32, 1,X86::ESP).addReg(X86::EBP));
|
|
|
|
MBBI = ++MBB.insert(MBBI, BuildMI(X86::POPr32, 1).addReg(X86::EBP));
|
2002-12-05 07:57:03 +08:00
|
|
|
}
|