use super::Encoding::{self, T1};
use super::Instruction;
use super::{
ArmVersion::{V7EM, V7M, V8M},
Pattern,
};
use crate::{
arith::sign_extend,
core::ItState,
core::{Effect, Processor, RunError},
decoder::DecodeError,
instructions::{unpredictable, DecodeHelper},
registers::RegisterIndex,
};
pub struct Sbfx {
rd: RegisterIndex,
rn: RegisterIndex,
lsb: u8,
widthm1: u8,
}
impl Instruction for Sbfx {
fn patterns() -> &'static [Pattern] {
&[Pattern {
encoding: T1,
versions: &[V7M, V7EM, V8M],
expression: "11110(0)110100xxxx0xxxxxxxxx(0)xxxxx",
}]
}
fn try_decode(encoding: Encoding, ins: u32, _state: ItState) -> Result<Self, DecodeError> {
debug_assert_eq!(encoding, T1);
let rd = ins.reg4(8);
let rn = ins.reg4(16);
unpredictable(rd.is_sp_or_pc() | rn.is_sp_or_pc())?;
Ok(Self {
rd,
rn,
lsb: ((ins.imm3(12) << 2) | ins.imm2(6)) as u8,
widthm1: ins.imm5(0) as u8,
})
}
fn execute(&self, proc: &mut Processor) -> Result<Effect, RunError> {
let msbit = self.lsb + self.widthm1;
if msbit <= 31 {
let result = sign_extend(proc[self.rn] >> self.lsb, self.widthm1 + 1);
proc.set(self.rd, result as u32);
Ok(Effect::None)
} else {
Err(RunError::InstructionUnpredictable)
}
}
fn name(&self) -> String {
"sbfx".into()
}
fn args(&self, _pc: u32) -> String {
format!(
"{}, {}, #{}, #{}",
self.rd,
self.rn,
self.lsb,
self.widthm1 + 1
)
}
}
#[cfg(test)]
mod tests {
use super::Sbfx;
use crate::{
core::{Config, Processor},
instructions::Instruction,
registers::RegisterIndex,
};
fn test_sbfx_vec(proc: &mut Processor, r1: u32, lsb: u8, widthm1: u8, expected_r0: u32) {
proc.registers.r0 = 0;
proc.registers.r1 = r1;
Sbfx {
rd: RegisterIndex::R0,
rn: RegisterIndex::R1,
lsb,
widthm1,
}
.execute(proc)
.unwrap();
assert_eq!(proc.registers.r0, expected_r0);
}
#[test]
fn test_sbfx() {
let mut proc = Processor::new(Config::v8m());
let magic = 0x12b456f8;
test_sbfx_vec(&mut proc, magic, 0, 0, 0);
test_sbfx_vec(&mut proc, magic, 3, 0, 0xffffffff);
test_sbfx_vec(&mut proc, magic, 0, 3, 0xfffffff8);
test_sbfx_vec(&mut proc, magic, 24, 7, 0x12);
test_sbfx_vec(&mut proc, magic, 16, 7, 0xffffffb4);
test_sbfx_vec(&mut proc, magic, 8, 7, 0x56);
test_sbfx_vec(&mut proc, magic, 0, 7, 0xfffffff8);
test_sbfx_vec(&mut proc, magic, 8, 15, 0xffffb456);
test_sbfx_vec(&mut proc, magic, 28, 3, 1);
test_sbfx_vec(&mut proc, magic, 28, 0, 0xffffffff);
}
}