use crate::isa::aarch64::inst::OperandSize;
use crate::isa::aarch64::inst::ScalarSize;
use crate::isa::aarch64::inst::VectorSize;
use crate::machinst::RealReg;
use crate::machinst::{Reg, RegClass, Writable};
use regalloc2::PReg;
use regalloc2::VReg;
use alloc::string::{String, ToString};
pub const PINNED_REG: u8 = 21;
pub const fn xreg(num: u8) -> Reg {
Reg::from_real_reg(xreg_preg(num))
}
pub(crate) const fn xreg_preg(num: u8) -> PReg {
assert!(num < 31);
PReg::new(num as usize, RegClass::Int)
}
pub fn writable_xreg(num: u8) -> Writable<Reg> {
Writable::from_reg(xreg(num))
}
pub const fn vreg(num: u8) -> Reg {
Reg::from_real_reg(vreg_preg(num))
}
pub(crate) const fn vreg_preg(num: u8) -> PReg {
assert!(num < 32);
PReg::new(num as usize, RegClass::Float)
}
#[cfg(test)] pub fn writable_vreg(num: u8) -> Writable<Reg> {
Writable::from_reg(vreg(num))
}
pub fn zero_reg() -> Reg {
let preg = PReg::new(31, RegClass::Int);
Reg::from(VReg::new(preg.index(), RegClass::Int))
}
pub fn writable_zero_reg() -> Writable<Reg> {
Writable::from_reg(zero_reg())
}
pub fn stack_reg() -> Reg {
let preg = PReg::new(31 + 32, RegClass::Int);
Reg::from(VReg::new(preg.index(), RegClass::Int))
}
pub fn writable_stack_reg() -> Writable<Reg> {
Writable::from_reg(stack_reg())
}
pub fn link_reg() -> Reg {
xreg(30)
}
pub fn pinned_reg() -> Reg {
xreg(PINNED_REG)
}
pub fn writable_link_reg() -> Writable<Reg> {
Writable::from_reg(link_reg())
}
pub fn fp_reg() -> Reg {
xreg(29)
}
pub fn writable_fp_reg() -> Writable<Reg> {
Writable::from_reg(fp_reg())
}
pub fn spilltmp_reg() -> Reg {
xreg(16)
}
pub fn writable_spilltmp_reg() -> Writable<Reg> {
Writable::from_reg(spilltmp_reg())
}
pub fn tmp2_reg() -> Reg {
xreg(17)
}
pub fn writable_tmp2_reg() -> Writable<Reg> {
Writable::from_reg(tmp2_reg())
}
fn show_ireg(reg: RealReg) -> String {
match reg.hw_enc() {
29 => "fp".to_string(),
30 => "lr".to_string(),
31 => "xzr".to_string(),
63 => "sp".to_string(),
x => {
debug_assert!(x < 29);
format!("x{x}")
}
}
}
fn show_vreg(reg: RealReg) -> String {
format!("v{}", reg.hw_enc() & 31)
}
fn show_reg(reg: Reg) -> String {
if let Some(rreg) = reg.to_real_reg() {
match rreg.class() {
RegClass::Int => show_ireg(rreg),
RegClass::Float => show_vreg(rreg),
RegClass::Vector => unreachable!(),
}
} else {
format!("%{reg:?}")
}
}
pub fn pretty_print_reg(reg: Reg) -> String {
show_reg(reg)
}
fn show_reg_sized(reg: Reg, size: OperandSize) -> String {
match reg.class() {
RegClass::Int => show_ireg_sized(reg, size),
RegClass::Float => show_reg(reg),
RegClass::Vector => unreachable!(),
}
}
pub fn pretty_print_reg_sized(reg: Reg, size: OperandSize) -> String {
show_reg_sized(reg, size)
}
pub fn show_ireg_sized(reg: Reg, size: OperandSize) -> String {
let mut s = show_reg(reg);
if reg.class() != RegClass::Int || !size.is32() {
return s;
}
if reg.class() == RegClass::Int && size.is32() && s.starts_with("x") {
s = "w".to_string() + &s[1..];
}
s
}
pub fn show_vreg_scalar(reg: Reg, size: ScalarSize) -> String {
let mut s = show_reg(reg);
if reg.class() != RegClass::Float {
return s;
}
if s.starts_with("v") {
let replacement = match size {
ScalarSize::Size8 => "b",
ScalarSize::Size16 => "h",
ScalarSize::Size32 => "s",
ScalarSize::Size64 => "d",
ScalarSize::Size128 => "q",
};
s.replace_range(0..1, replacement);
}
s
}
pub fn show_vreg_vector(reg: Reg, size: VectorSize) -> String {
assert_eq!(RegClass::Float, reg.class());
let mut s = show_reg(reg);
let suffix = match size {
VectorSize::Size8x8 => ".8b",
VectorSize::Size8x16 => ".16b",
VectorSize::Size16x4 => ".4h",
VectorSize::Size16x8 => ".8h",
VectorSize::Size32x2 => ".2s",
VectorSize::Size32x4 => ".4s",
VectorSize::Size64x2 => ".2d",
};
s.push_str(suffix);
s
}
pub fn show_vreg_element(reg: Reg, idx: u8, size: ScalarSize) -> String {
assert_eq!(RegClass::Float, reg.class());
let s = show_reg(reg);
let suffix = match size {
ScalarSize::Size8 => ".b",
ScalarSize::Size16 => ".h",
ScalarSize::Size32 => ".s",
ScalarSize::Size64 => ".d",
_ => panic!("Unexpected vector element size: {size:?}"),
};
format!("{s}{suffix}[{idx}]")
}
pub fn pretty_print_ireg(reg: Reg, size: OperandSize) -> String {
show_ireg_sized(reg, size)
}
pub fn pretty_print_vreg_scalar(reg: Reg, size: ScalarSize) -> String {
show_vreg_scalar(reg, size)
}
pub fn pretty_print_vreg_vector(reg: Reg, size: VectorSize) -> String {
show_vreg_vector(reg, size)
}
pub fn pretty_print_vreg_element(reg: Reg, idx: usize, size: ScalarSize) -> String {
show_vreg_element(reg, idx as u8, size)
}