121 lines
3.8 KiB
C++
121 lines
3.8 KiB
C++
//===---------- SystemZPhysRegCopy.cpp - Handle phys reg copies -----------===//
|
|
//
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// This pass makes sure that a COPY of a physical register will be
|
|
// implementable after register allocation in copyPhysReg() (this could be
|
|
// done in EmitInstrWithCustomInserter() instead if COPY instructions would
|
|
// be passed to it).
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "SystemZMachineFunctionInfo.h"
|
|
#include "SystemZTargetMachine.h"
|
|
#include "llvm/CodeGen/MachineDominators.h"
|
|
#include "llvm/CodeGen/MachineFunctionPass.h"
|
|
#include "llvm/CodeGen/MachineInstrBuilder.h"
|
|
#include "llvm/CodeGen/MachineRegisterInfo.h"
|
|
#include "llvm/CodeGen/TargetInstrInfo.h"
|
|
#include "llvm/CodeGen/TargetRegisterInfo.h"
|
|
#include "llvm/Target/TargetMachine.h"
|
|
|
|
using namespace llvm;
|
|
|
|
#define SYSTEMZ_COPYPHYSREGS_NAME "SystemZ Copy Physregs"
|
|
|
|
namespace llvm {
|
|
void initializeSystemZCopyPhysRegsPass(PassRegistry&);
|
|
}
|
|
|
|
namespace {
|
|
|
|
class SystemZCopyPhysRegs : public MachineFunctionPass {
|
|
public:
|
|
static char ID;
|
|
SystemZCopyPhysRegs()
|
|
: MachineFunctionPass(ID), TII(nullptr), MRI(nullptr) {
|
|
initializeSystemZCopyPhysRegsPass(*PassRegistry::getPassRegistry());
|
|
}
|
|
|
|
StringRef getPassName() const override { return SYSTEMZ_COPYPHYSREGS_NAME; }
|
|
|
|
bool runOnMachineFunction(MachineFunction &MF) override;
|
|
void getAnalysisUsage(AnalysisUsage &AU) const override;
|
|
|
|
private:
|
|
|
|
bool visitMBB(MachineBasicBlock &MBB);
|
|
|
|
const SystemZInstrInfo *TII;
|
|
MachineRegisterInfo *MRI;
|
|
};
|
|
|
|
char SystemZCopyPhysRegs::ID = 0;
|
|
|
|
} // end anonymous namespace
|
|
|
|
INITIALIZE_PASS(SystemZCopyPhysRegs, "systemz-copy-physregs",
|
|
SYSTEMZ_COPYPHYSREGS_NAME, false, false)
|
|
|
|
FunctionPass *llvm::createSystemZCopyPhysRegsPass(SystemZTargetMachine &TM) {
|
|
return new SystemZCopyPhysRegs();
|
|
}
|
|
|
|
void SystemZCopyPhysRegs::getAnalysisUsage(AnalysisUsage &AU) const {
|
|
AU.setPreservesCFG();
|
|
MachineFunctionPass::getAnalysisUsage(AU);
|
|
}
|
|
|
|
bool SystemZCopyPhysRegs::visitMBB(MachineBasicBlock &MBB) {
|
|
bool Modified = false;
|
|
|
|
// Certain special registers can only be copied from a subset of the
|
|
// default register class of the type. It is therefore necessary to create
|
|
// the target copy instructions before regalloc instead of in copyPhysReg().
|
|
for (MachineBasicBlock::iterator MBBI = MBB.begin(), E = MBB.end();
|
|
MBBI != E; ) {
|
|
MachineInstr *MI = &*MBBI++;
|
|
if (!MI->isCopy())
|
|
continue;
|
|
|
|
DebugLoc DL = MI->getDebugLoc();
|
|
Register SrcReg = MI->getOperand(1).getReg();
|
|
Register DstReg = MI->getOperand(0).getReg();
|
|
if (DstReg.isVirtual() &&
|
|
(SrcReg == SystemZ::CC || SystemZ::AR32BitRegClass.contains(SrcReg))) {
|
|
Register Tmp = MRI->createVirtualRegister(&SystemZ::GR32BitRegClass);
|
|
if (SrcReg == SystemZ::CC)
|
|
BuildMI(MBB, MI, DL, TII->get(SystemZ::IPM), Tmp);
|
|
else
|
|
BuildMI(MBB, MI, DL, TII->get(SystemZ::EAR), Tmp).addReg(SrcReg);
|
|
MI->getOperand(1).setReg(Tmp);
|
|
Modified = true;
|
|
}
|
|
else if (SrcReg.isVirtual() &&
|
|
SystemZ::AR32BitRegClass.contains(DstReg)) {
|
|
Register Tmp = MRI->createVirtualRegister(&SystemZ::GR32BitRegClass);
|
|
MI->getOperand(0).setReg(Tmp);
|
|
BuildMI(MBB, MBBI, DL, TII->get(SystemZ::SAR), DstReg).addReg(Tmp);
|
|
Modified = true;
|
|
}
|
|
}
|
|
|
|
return Modified;
|
|
}
|
|
|
|
bool SystemZCopyPhysRegs::runOnMachineFunction(MachineFunction &F) {
|
|
TII = static_cast<const SystemZInstrInfo *>(F.getSubtarget().getInstrInfo());
|
|
MRI = &F.getRegInfo();
|
|
|
|
bool Modified = false;
|
|
for (auto &MBB : F)
|
|
Modified |= visitMBB(MBB);
|
|
|
|
return Modified;
|
|
}
|
|
|