Skip to content

Commit

Permalink
A lot of fixes coming from our pairing session (#329)
Browse files Browse the repository at this point in the history
* Move to/from SP on AArch64

* Consolidate loads and stores

* Implement LDR post-index and LDR pre-index for AArch64

* Implement STR post-index and STR pre-index for AArch64

* Module entrypoints for LDR pre/post -index and STR pre/post -index

* Use STR (pre-index) and LDR (post-index) to implement push/pop

* Go back to using MOV for to/from SP
  • Loading branch information
kddnewton authored and k0kubun committed Aug 26, 2022
1 parent f987f6c commit 3e223cc
Show file tree
Hide file tree
Showing 6 changed files with 326 additions and 244 deletions.
124 changes: 0 additions & 124 deletions yjit/src/asm/arm64/inst/load.rs

This file was deleted.

215 changes: 215 additions & 0 deletions yjit/src/asm/arm64/inst/load_store.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,215 @@
/// The size of the operands being operated on.
enum Size {
Size32 = 0b10,
Size64 = 0b11,
}

/// A convenience function so that we can convert the number of bits of an
/// register operand directly into an Sf enum variant.
impl From<u8> for Size {
fn from(num_bits: u8) -> Self {
match num_bits {
64 => Size::Size64,
32 => Size::Size32,
_ => panic!("Invalid number of bits: {}", num_bits)
}
}
}

/// The operation to perform for this instruction.
enum Opc {
STR = 0b00,
LDR = 0b01,
LDURSW = 0b10
}

/// What kind of indexing to perform for this instruction.
enum Index {
None = 0b00,
PostIndex = 0b01,
PreIndex = 0b11
}

/// The struct that represents an A64 load or store instruction that can be
/// encoded.
///
/// LDR/LDUR/LDURSW/STR/STUR
/// +-------------+-------------+-------------+-------------+-------------+-------------+-------------+-------------+
/// | 31 30 29 28 | 27 26 25 24 | 23 22 21 20 | 19 18 17 16 | 15 14 13 12 | 11 10 09 08 | 07 06 05 04 | 03 02 01 00 |
/// | 1 1 1 0 0 0 0 |
/// | size. opc.. imm9.......................... idx.. rn.............. rt.............. |
/// +-------------+-------------+-------------+-------------+-------------+-------------+-------------+-------------+
///
pub struct LoadStore {
/// The number of the register to load the value into.
rt: u8,

/// The base register with which to form the address.
rn: u8,

/// What kind of indexing to perform for this instruction.
idx: Index,

/// The optional signed immediate byte offset from the base register.
imm9: i16,

/// The operation to perform for this instruction.
opc: Opc,

/// The size of the operands being operated on.
size: Size
}

impl LoadStore {
/// LDR (immediate, post-index)
/// https://developer.arm.com/documentation/ddi0596/2020-12/Base-Instructions/LDR--immediate---Load-Register--immediate--
pub fn ldr_post(rt: u8, rn: u8, imm9: i16, num_bits: u8) -> Self {
Self { rt, rn, idx: Index::PostIndex, imm9, opc: Opc::LDR, size: num_bits.into() }
}

/// LDR (immediate, pre-index)
/// https://developer.arm.com/documentation/ddi0596/2020-12/Base-Instructions/LDR--immediate---Load-Register--immediate--
pub fn ldr_pre(rt: u8, rn: u8, imm9: i16, num_bits: u8) -> Self {
Self { rt, rn, idx: Index::PreIndex, imm9, opc: Opc::LDR, size: num_bits.into() }
}

/// LDUR (load register, unscaled)
/// https://developer.arm.com/documentation/ddi0596/2021-12/Base-Instructions/LDUR--Load-Register--unscaled--?lang=en
pub fn ldur(rt: u8, rn: u8, imm9: i16, num_bits: u8) -> Self {
Self { rt, rn, idx: Index::None, imm9, opc: Opc::LDR, size: num_bits.into() }
}

/// LDURSW (load register, unscaled, signed)
/// https://developer.arm.com/documentation/ddi0596/2021-12/Base-Instructions/LDURSW--Load-Register-Signed-Word--unscaled--?lang=en
pub fn ldursw(rt: u8, rn: u8, imm9: i16) -> Self {
Self { rt, rn, idx: Index::None, imm9, opc: Opc::LDURSW, size: Size::Size32 }
}

/// STR (immediate, post-index)
/// https://developer.arm.com/documentation/ddi0596/2020-12/Base-Instructions/STR--immediate---Store-Register--immediate--
pub fn str_post(rt: u8, rn: u8, imm9: i16, num_bits: u8) -> Self {
Self { rt, rn, idx: Index::PostIndex, imm9, opc: Opc::STR, size: num_bits.into() }
}

/// STR (immediate, pre-index)
/// https://developer.arm.com/documentation/ddi0596/2020-12/Base-Instructions/STR--immediate---Store-Register--immediate--
pub fn str_pre(rt: u8, rn: u8, imm9: i16, num_bits: u8) -> Self {
Self { rt, rn, idx: Index::PreIndex, imm9, opc: Opc::STR, size: num_bits.into() }
}

/// STUR (store register, unscaled)
/// https://developer.arm.com/documentation/ddi0596/2021-12/Base-Instructions/STUR--Store-Register--unscaled--?lang=en
pub fn stur(rt: u8, rn: u8, imm9: i16, num_bits: u8) -> Self {
Self { rt, rn, idx: Index::None, imm9, opc: Opc::STR, size: num_bits.into() }
}
}

/// https://developer.arm.com/documentation/ddi0602/2022-03/Index-by-Encoding/Loads-and-Stores?lang=en
const FAMILY: u32 = 0b0100;

impl From<LoadStore> for u32 {
/// Convert an instruction into a 32-bit value.
fn from(inst: LoadStore) -> Self {
let imm9 = (inst.imm9 as u32) & ((1 << 9) - 1);

0
| ((inst.size as u32) << 30)
| (0b11 << 28)
| (FAMILY << 25)
| ((inst.opc as u32) << 22)
| (imm9 << 12)
| ((inst.idx as u32) << 10)
| ((inst.rn as u32) << 5)
| (inst.rt as u32)
}
}

impl From<LoadStore> for [u8; 4] {
/// Convert an instruction into a 4 byte array.
fn from(inst: LoadStore) -> [u8; 4] {
let result: u32 = inst.into();
result.to_le_bytes()
}
}

#[cfg(test)]
mod tests {
use super::*;

#[test]
fn test_ldr_post() {
let inst = LoadStore::ldr_post(0, 1, 16, 64);
let result: u32 = inst.into();
assert_eq!(0xf8410420, result);
}

#[test]
fn test_ldr_pre() {
let inst = LoadStore::ldr_pre(0, 1, 16, 64);
let result: u32 = inst.into();
assert_eq!(0xf8410c20, result);
}

#[test]
fn test_ldur() {
let inst = LoadStore::ldur(0, 1, 0, 64);
let result: u32 = inst.into();
assert_eq!(0xf8400020, result);
}

#[test]
fn test_ldur_with_imm() {
let inst = LoadStore::ldur(0, 1, 123, 64);
let result: u32 = inst.into();
assert_eq!(0xf847b020, result);
}

#[test]
fn test_ldursw() {
let inst = LoadStore::ldursw(0, 1, 0);
let result: u32 = inst.into();
assert_eq!(0xb8800020, result);
}

#[test]
fn test_ldursw_with_imm() {
let inst = LoadStore::ldursw(0, 1, 123);
let result: u32 = inst.into();
assert_eq!(0xb887b020, result);
}

#[test]
fn test_str_post() {
let inst = LoadStore::str_post(0, 1, -16, 64);
let result: u32 = inst.into();
assert_eq!(0xf81f0420, result);
}

#[test]
fn test_str_pre() {
let inst = LoadStore::str_pre(0, 1, -16, 64);
let result: u32 = inst.into();
assert_eq!(0xf81f0c20, result);
}

#[test]
fn test_stur() {
let inst = LoadStore::stur(0, 1, 0, 64);
let result: u32 = inst.into();
assert_eq!(0xf8000020, result);
}

#[test]
fn test_stur_negative_offset() {
let inst = LoadStore::stur(0, 1, -1, 64);
let result: u32 = inst.into();
assert_eq!(0xf81ff020, result);
}

#[test]
fn test_stur_positive_offset() {
let inst = LoadStore::stur(0, 1, 255, 64);
let result: u32 = inst.into();
assert_eq!(0xf80ff020, result);
}
}
6 changes: 2 additions & 4 deletions yjit/src/asm/arm64/inst/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -9,8 +9,8 @@ mod call;
mod conditional;
mod data_imm;
mod data_reg;
mod load;
mod load_literal;
mod load_store;
mod logical_imm;
mod logical_reg;
mod mov;
Expand All @@ -19,7 +19,6 @@ mod pc_rel;
mod reg_pair;
mod sbfm;
mod shift_imm;
mod store;
mod sys_reg;

pub use atomic::Atomic;
Expand All @@ -30,8 +29,8 @@ pub use call::Call;
pub use conditional::Conditional;
pub use data_imm::DataImm;
pub use data_reg::DataReg;
pub use load::Load;
pub use load_literal::LoadLiteral;
pub use load_store::LoadStore;
pub use logical_imm::LogicalImm;
pub use logical_reg::LogicalReg;
pub use mov::Mov;
Expand All @@ -40,5 +39,4 @@ pub use pc_rel::PCRelative;
pub use reg_pair::RegisterPair;
pub use sbfm::SBFM;
pub use shift_imm::ShiftImm;
pub use store::Store;
pub use sys_reg::SysReg;

0 comments on commit 3e223cc

Please sign in to comment.