mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-23 21:13:02 +02:00
c67fd5b3a4
AArch64 was asserting when it was asked to provide a register-bank of a size it couldn't deal with (in this case an s128 IMPLICIT_DEF). But we want a robust fallback path so this isn't allowed. llvm-svn: 294248
214 lines
8.4 KiB
C++
214 lines
8.4 KiB
C++
//===- AArch64GenRegisterBankInfo.def ----------------------------*- C++ -*-==//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is distributed under the University of Illinois Open Source
|
|
// License. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
/// \file
|
|
/// This file defines all the static objects used by AArch64RegisterBankInfo.
|
|
/// \todo This should be generated by TableGen.
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef LLVM_BUILD_GLOBAL_ISEL
|
|
#error "You shouldn't build this"
|
|
#endif
|
|
|
|
namespace llvm {
|
|
RegisterBankInfo::PartialMapping AArch64GenRegisterBankInfo::PartMappings[]{
|
|
/* StartIdx, Length, RegBank */
|
|
// 0: FPR 32-bit value.
|
|
{0, 32, AArch64::FPRRegBank},
|
|
// 1: FPR 64-bit value.
|
|
{0, 64, AArch64::FPRRegBank},
|
|
// 2: FPR 128-bit value.
|
|
{0, 128, AArch64::FPRRegBank},
|
|
// 3: FPR 256-bit value.
|
|
{0, 256, AArch64::FPRRegBank},
|
|
// 4: FPR 512-bit value.
|
|
{0, 512, AArch64::FPRRegBank},
|
|
// 5: GPR 32-bit value.
|
|
{0, 32, AArch64::GPRRegBank},
|
|
// 6: GPR 64-bit value.
|
|
{0, 64, AArch64::GPRRegBank},
|
|
};
|
|
|
|
// ValueMappings.
|
|
RegisterBankInfo::ValueMapping AArch64GenRegisterBankInfo::ValMappings[]{
|
|
/* BreakDown, NumBreakDowns */
|
|
// 0: invalid
|
|
{nullptr, 0},
|
|
// 3-operands instructions (all binary operations should end up with one of
|
|
// those mapping).
|
|
// 1: FPR 32-bit value. <-- This must match First3OpsIdx.
|
|
{&AArch64GenRegisterBankInfo::PartMappings[PMI_FPR32 - PMI_Min], 1},
|
|
{&AArch64GenRegisterBankInfo::PartMappings[PMI_FPR32 - PMI_Min], 1},
|
|
{&AArch64GenRegisterBankInfo::PartMappings[PMI_FPR32 - PMI_Min], 1},
|
|
// 4: FPR 64-bit value.
|
|
{&AArch64GenRegisterBankInfo::PartMappings[PMI_FPR64 - PMI_Min], 1},
|
|
{&AArch64GenRegisterBankInfo::PartMappings[PMI_FPR64 - PMI_Min], 1},
|
|
{&AArch64GenRegisterBankInfo::PartMappings[PMI_FPR64 - PMI_Min], 1},
|
|
// 7: FPR 128-bit value.
|
|
{&AArch64GenRegisterBankInfo::PartMappings[PMI_FPR128 - PMI_Min], 1},
|
|
{&AArch64GenRegisterBankInfo::PartMappings[PMI_FPR128 - PMI_Min], 1},
|
|
{&AArch64GenRegisterBankInfo::PartMappings[PMI_FPR128 - PMI_Min], 1},
|
|
// 10: FPR 256-bit value.
|
|
{&AArch64GenRegisterBankInfo::PartMappings[PMI_FPR256 - PMI_Min], 1},
|
|
{&AArch64GenRegisterBankInfo::PartMappings[PMI_FPR256 - PMI_Min], 1},
|
|
{&AArch64GenRegisterBankInfo::PartMappings[PMI_FPR256 - PMI_Min], 1},
|
|
// 13: FPR 512-bit value.
|
|
{&AArch64GenRegisterBankInfo::PartMappings[PMI_FPR512 - PMI_Min], 1},
|
|
{&AArch64GenRegisterBankInfo::PartMappings[PMI_FPR512 - PMI_Min], 1},
|
|
{&AArch64GenRegisterBankInfo::PartMappings[PMI_FPR512 - PMI_Min], 1},
|
|
// 16: GPR 32-bit value.
|
|
{&AArch64GenRegisterBankInfo::PartMappings[PMI_GPR32 - PMI_Min], 1},
|
|
{&AArch64GenRegisterBankInfo::PartMappings[PMI_GPR32 - PMI_Min], 1},
|
|
{&AArch64GenRegisterBankInfo::PartMappings[PMI_GPR32 - PMI_Min], 1},
|
|
// 19: GPR 64-bit value. <-- This must match Last3OpsIdx.
|
|
{&AArch64GenRegisterBankInfo::PartMappings[PMI_GPR64 - PMI_Min], 1},
|
|
{&AArch64GenRegisterBankInfo::PartMappings[PMI_GPR64 - PMI_Min], 1},
|
|
{&AArch64GenRegisterBankInfo::PartMappings[PMI_GPR64 - PMI_Min], 1},
|
|
// Cross register bank copies.
|
|
// 22: FPR 32-bit value to GPR 32-bit value. <-- This must match
|
|
// FirstCrossRegCpyIdx.
|
|
{&AArch64GenRegisterBankInfo::PartMappings[PMI_FPR32 - PMI_Min], 1},
|
|
{&AArch64GenRegisterBankInfo::PartMappings[PMI_GPR32 - PMI_Min], 1},
|
|
// 24: FPR 64-bit value to GPR 64-bit value.
|
|
{&AArch64GenRegisterBankInfo::PartMappings[PMI_FPR64 - PMI_Min], 1},
|
|
{&AArch64GenRegisterBankInfo::PartMappings[PMI_GPR64 - PMI_Min], 1},
|
|
// 26: FPR 128-bit value to GPR 128-bit value (invalid)
|
|
{nullptr, 1},
|
|
{nullptr, 1},
|
|
// 28: FPR 256-bit value to GPR 256-bit value (invalid)
|
|
{nullptr, 1},
|
|
{nullptr, 1},
|
|
// 30: FPR 512-bit value to GPR 512-bit value (invalid)
|
|
{nullptr, 1},
|
|
{nullptr, 1},
|
|
// 32: GPR 32-bit value to FPR 32-bit value.
|
|
{&AArch64GenRegisterBankInfo::PartMappings[PMI_GPR32 - PMI_Min], 1},
|
|
{&AArch64GenRegisterBankInfo::PartMappings[PMI_FPR32 - PMI_Min], 1},
|
|
// 34: GPR 64-bit value to FPR 64-bit value. <-- This must match
|
|
// LastCrossRegCpyIdx.
|
|
{&AArch64GenRegisterBankInfo::PartMappings[PMI_GPR64 - PMI_Min], 1},
|
|
{&AArch64GenRegisterBankInfo::PartMappings[PMI_FPR64 - PMI_Min], 1},
|
|
};
|
|
|
|
bool AArch64GenRegisterBankInfo::checkPartialMap(unsigned Idx,
|
|
unsigned ValStartIdx,
|
|
unsigned ValLength,
|
|
const RegisterBank &RB) {
|
|
const PartialMapping &Map = PartMappings[Idx - PartialMappingIdx::PMI_Min];
|
|
return Map.StartIdx == ValStartIdx && Map.Length == ValLength &&
|
|
Map.RegBank == &RB;
|
|
}
|
|
|
|
bool AArch64GenRegisterBankInfo::checkValueMapImpl(unsigned Idx,
|
|
unsigned FirstInBank,
|
|
unsigned Size,
|
|
unsigned Offset) {
|
|
unsigned PartialMapBaseIdx = Idx - PartialMappingIdx::PMI_Min;
|
|
const ValueMapping &Map =
|
|
AArch64GenRegisterBankInfo::getValueMapping((PartialMappingIdx)FirstInBank, Size)[Offset];
|
|
return Map.BreakDown == &PartMappings[PartialMapBaseIdx] &&
|
|
Map.NumBreakDowns == 1;
|
|
}
|
|
|
|
bool AArch64GenRegisterBankInfo::checkPartialMappingIdx(
|
|
PartialMappingIdx FirstAlias, PartialMappingIdx LastAlias,
|
|
ArrayRef<PartialMappingIdx> Order) {
|
|
if (Order.front() != FirstAlias)
|
|
return false;
|
|
if (Order.back() != LastAlias)
|
|
return false;
|
|
if (Order.front() > Order.back())
|
|
return false;
|
|
|
|
PartialMappingIdx Previous = Order.front();
|
|
bool First = true;
|
|
for (const auto &Current : Order) {
|
|
if (First) {
|
|
First = false;
|
|
continue;
|
|
}
|
|
if (Previous + 1 != Current)
|
|
return false;
|
|
Previous = Current;
|
|
}
|
|
return true;
|
|
}
|
|
|
|
unsigned AArch64GenRegisterBankInfo::getRegBankBaseIdxOffset(unsigned RBIdx,
|
|
unsigned Size) {
|
|
if (RBIdx == PMI_FirstGPR) {
|
|
if (Size <= 32)
|
|
return 0;
|
|
if (Size <= 64)
|
|
return 1;
|
|
return -1;
|
|
}
|
|
if (RBIdx == PMI_FirstFPR) {
|
|
if (Size <= 32)
|
|
return 0;
|
|
if (Size <= 64)
|
|
return 1;
|
|
if (Size <= 128)
|
|
return 2;
|
|
if (Size <= 256)
|
|
return 3;
|
|
if (Size <= 512)
|
|
return 4;
|
|
return -1;
|
|
}
|
|
return -1;
|
|
}
|
|
|
|
const RegisterBankInfo::ValueMapping *
|
|
AArch64GenRegisterBankInfo::getValueMapping(PartialMappingIdx RBIdx,
|
|
unsigned Size) {
|
|
assert(RBIdx != PartialMappingIdx::PMI_None && "No mapping needed for that");
|
|
unsigned BaseIdxOffset = getRegBankBaseIdxOffset(RBIdx, Size);
|
|
if (BaseIdxOffset == -1u)
|
|
return &ValMappings[InvalidIdx];
|
|
|
|
unsigned ValMappingIdx =
|
|
First3OpsIdx + (RBIdx - PartialMappingIdx::PMI_Min + BaseIdxOffset) *
|
|
ValueMappingIdx::DistanceBetweenRegBanks;
|
|
assert(ValMappingIdx >= First3OpsIdx && ValMappingIdx <= Last3OpsIdx &&
|
|
"Mapping out of bound");
|
|
|
|
return &ValMappings[ValMappingIdx];
|
|
}
|
|
|
|
AArch64GenRegisterBankInfo::PartialMappingIdx
|
|
AArch64GenRegisterBankInfo::BankIDToCopyMapIdx[]{
|
|
PMI_None, // CCR
|
|
PMI_FirstFPR, // FPR
|
|
PMI_FirstGPR, // GPR
|
|
};
|
|
|
|
const RegisterBankInfo::ValueMapping *
|
|
AArch64GenRegisterBankInfo::getCopyMapping(unsigned DstBankID,
|
|
unsigned SrcBankID, unsigned Size) {
|
|
assert(DstBankID < AArch64::NumRegisterBanks && "Invalid bank ID");
|
|
assert(SrcBankID < AArch64::NumRegisterBanks && "Invalid bank ID");
|
|
PartialMappingIdx DstRBIdx = BankIDToCopyMapIdx[DstBankID];
|
|
PartialMappingIdx SrcRBIdx = BankIDToCopyMapIdx[SrcBankID];
|
|
assert(DstRBIdx != PMI_None && "No such mapping");
|
|
assert(SrcRBIdx != PMI_None && "No such mapping");
|
|
|
|
if (DstRBIdx == SrcRBIdx)
|
|
return getValueMapping(DstRBIdx, Size);
|
|
|
|
assert(Size <= 64 && "GPR cannot handle that size");
|
|
unsigned ValMappingIdx =
|
|
FirstCrossRegCpyIdx +
|
|
(DstRBIdx - PMI_Min + getRegBankBaseIdxOffset(DstRBIdx, Size)) *
|
|
ValueMappingIdx::DistanceBetweenCrossRegCpy;
|
|
assert(ValMappingIdx >= FirstCrossRegCpyIdx &&
|
|
ValMappingIdx <= LastCrossRegCpyIdx && "Mapping out of bound");
|
|
return &ValMappings[ValMappingIdx];
|
|
}
|
|
} // End llvm namespace.
|