Skip to content
Merged
Show file tree
Hide file tree
Changes from 5 commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions llvm/include/llvm/CodeGen/TargetSubtargetInfo.h
Original file line number Diff line number Diff line change
Expand Up @@ -339,6 +339,8 @@ class TargetSubtargetInfo : public MCSubtargetInfo {
// Conservatively assume such instructions exist by default.
return true;
}

virtual bool isRegisterReservedByUser(Register R) const { return false; }
};
} // end namespace llvm

Expand Down
8 changes: 7 additions & 1 deletion llvm/lib/CodeGen/MachineRegisterInfo.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -635,7 +635,13 @@ const MCPhysReg *MachineRegisterInfo::getCalleeSavedRegs() const {
if (IsUpdatedCSRsInitialized)
return UpdatedCSRs.data();

return getTargetRegisterInfo()->getCalleeSavedRegs(MF);
const MCPhysReg *Regs = getTargetRegisterInfo()->getCalleeSavedRegs(MF);

for (unsigned I = 0; Regs[I]; ++I)
if (MF->getSubtarget().isRegisterReservedByUser(Regs[I]))
MF->getRegInfo().disableCalleeSavedRegister(Regs[I]);

return Regs;
}

void MachineRegisterInfo::setCalleeSavedRegs(ArrayRef<MCPhysReg> CSRs) {
Expand Down
2 changes: 1 addition & 1 deletion llvm/lib/Target/M68k/M68kRegisterInfo.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -136,7 +136,7 @@ BitVector M68kRegisterInfo::getReservedRegs(const MachineFunction &MF) const {

// Registers reserved by users
for (size_t Reg = 0, Total = getNumRegs(); Reg != Total; ++Reg) {
if (MF.getSubtarget<M68kSubtarget>().isRegisterReservedByUser(Reg))
if (MF.getSubtarget().isRegisterReservedByUser(Reg))
setBitVector(Reg);
}

Expand Down
2 changes: 1 addition & 1 deletion llvm/lib/Target/M68k/M68kSubtarget.h
Original file line number Diff line number Diff line change
Expand Up @@ -107,7 +107,7 @@ class M68kSubtarget : public M68kGenSubtargetInfo {

bool isPositionIndependent() const;

bool isRegisterReservedByUser(Register R) const {
bool isRegisterReservedByUser(Register R) const override {
assert(R < M68k::NUM_TARGET_REGS && "Register out of range");
return UserReservedRegister[R];
}
Expand Down
3 changes: 1 addition & 2 deletions llvm/lib/Target/RISCV/RISCVISelLowering.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -19884,8 +19884,7 @@ SDValue RISCVTargetLowering::LowerCall(CallLoweringInfo &CLI,
// reserved, if so report an error. Do the same for the return address if this
// is not a tailcall.
validateCCReservedRegs(RegsToPass, MF);
if (!IsTailCall &&
MF.getSubtarget<RISCVSubtarget>().isRegisterReservedByUser(RISCV::X1))
if (!IsTailCall && MF.getSubtarget().isRegisterReservedByUser(RISCV::X1))
MF.getFunction().getContext().diagnose(DiagnosticInfoUnsupported{
MF.getFunction(),
"Return address register required, but has been reserved."});
Expand Down
2 changes: 1 addition & 1 deletion llvm/lib/Target/RISCV/RISCVRegisterInfo.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -163,7 +163,7 @@ BitVector RISCVRegisterInfo::getReservedRegs(const MachineFunction &MF) const {

bool RISCVRegisterInfo::isAsmClobberable(const MachineFunction &MF,
MCRegister PhysReg) const {
return !MF.getSubtarget<RISCVSubtarget>().isRegisterReservedByUser(PhysReg);
return !MF.getSubtarget().isRegisterReservedByUser(PhysReg);
}

const uint32_t *RISCVRegisterInfo::getNoPreservedMask() const {
Expand Down
2 changes: 1 addition & 1 deletion llvm/lib/Target/RISCV/RISCVSubtarget.h
Original file line number Diff line number Diff line change
Expand Up @@ -218,7 +218,7 @@ class RISCVSubtarget : public RISCVGenSubtargetInfo {
TargetABI == RISCVABI::ABI_ILP32 ||
TargetABI == RISCVABI::ABI_ILP32E;
}
bool isRegisterReservedByUser(Register i) const {
bool isRegisterReservedByUser(Register i) const override {
assert(i < RISCV::NUM_TARGET_REGS && "Register out of range");
return UserReservedRegister[i];
}
Expand Down
12 changes: 12 additions & 0 deletions llvm/test/CodeGen/M68k/fixed-csr.ll
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
; RUN: not --crash llc -mtriple=m68k -mattr=+reserve-a0 < %s 2>&1 | FileCheck %s

; CHECK: Named registers not implemented for this target
define noundef i32 @foo() {
tail call void @llvm.write_register.i32(metadata !0, i32 321)
ret i32 0
}

declare void @llvm.write_register.i32(metadata, i32)

!llvm.named.register.a0 = !{!0}
!0 = !{!"a0"}
39 changes: 39 additions & 0 deletions llvm/test/CodeGen/RISCV/fixed-csr.ll
Original file line number Diff line number Diff line change
@@ -0,0 +1,39 @@
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
; RUN: llc -mtriple=riscv64 -mattr=+reserve-x24 < %s | FileCheck %s

define noundef signext i32 @foo() {
; CHECK-LABEL: foo:
; CHECK: # %bb.0:
; CHECK-NEXT: li s8, 321
; CHECK-NEXT: li a0, 0
; CHECK-NEXT: ret
tail call void @llvm.write_register.i64(metadata !0, i64 321)
ret i32 0
}

declare void @llvm.write_register.i64(metadata, i64)

define noundef signext i32 @bar() {
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

could add nounwind here to remove the .cfi directives from the test.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

updated

; CHECK-LABEL: bar:
; CHECK: # %bb.0:
; CHECK-NEXT: addi sp, sp, -16
; CHECK-NEXT: .cfi_def_cfa_offset 16
; CHECK-NEXT: sd s9, 8(sp) # 8-byte Folded Spill
; CHECK-NEXT: .cfi_offset s9, -8
; CHECK-NEXT: #APP
; CHECK-NEXT: #NO_APP
; CHECK-NEXT: li s8, 321
; CHECK-NEXT: li a0, 0
; CHECK-NEXT: ld s9, 8(sp) # 8-byte Folded Reload
; CHECK-NEXT: .cfi_restore s9
; CHECK-NEXT: addi sp, sp, 16
; CHECK-NEXT: .cfi_def_cfa_offset 0
; CHECK-NEXT: ret
tail call void asm sideeffect "", "~{x25}"() #3
tail call void @llvm.write_register.i64(metadata !0, i64 321)
ret i32 0
}

!llvm.named.register.x24 = !{!0}
!0 = !{!"x24"}

Loading