aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/armv7/thumb.rs463
-rw-r--r--src/lib.rs1
2 files changed, 241 insertions, 223 deletions
diff --git a/src/armv7/thumb.rs b/src/armv7/thumb.rs
index 93290a1..8e6c009 100644
--- a/src/armv7/thumb.rs
+++ b/src/armv7/thumb.rs
@@ -12,6 +12,8 @@ use armv7::Instruction;
use armv7::InstDecoder;
use armv7::StatusRegMask;
+use bitvec::prelude::*;
+
#[allow(non_snake_case)]
fn ROR_C(x: u32, shift: u16) -> (u32, bool) {
// let m = shift % 32; // `shift` is known to be 31 or lower
@@ -103,7 +105,10 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
((iter.next().ok_or(DecodeError::ExhaustedInput)? as u16) ) |
((iter.next().ok_or(DecodeError::ExhaustedInput)? as u16) << 8 );
- let opword = instr >> 11;
+ let mut instr2 = bitarr![Lsb0, u16; 0u16; 16];
+ instr2[0..16].store(instr);
+
+ let opword = instr2[11..].load::<u16>();
// `A6.1 Thumb instruction set encoding`
if opword >= 0b11101 {
@@ -116,23 +121,25 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
((iter.next().ok_or(DecodeError::ExhaustedInput)? as u16) ) |
((iter.next().ok_or(DecodeError::ExhaustedInput)? as u16) << 8 );
- let op2 = (instr >> 5) & 0b1111111;
+ let mut lower2 = bitarr![Lsb0, u16; 0u16; 16];
+ lower2[0..16].store(lower);
+
+ let op2 = &instr2[4..11];
if opword < 0b11110 {
// op1 == 0b01
- if op2 < 0b1000000 {
+ if !op2[6] {
// `op2` is `0b00.. ` or `0b01..`
- if op2 < 0b0100000 {
+ if !op2[5] {
// `Load/store`, either `multiple` or `dual`
- let rn = (instr & 0b1111) as u8;
+ let rn = instr2[..4].load::<u8>();
// TODO: double check
- if op2 & 0b0000100 != 0 {
+ if op2[2] {
// `Load/store dual, load/store exclusive, table branch` (`A6-236`)
- let op1op2 = ((instr >> 7) & 0b11) | ((instr >> 4) & 0b11);
- let rn = (instr & 0b1111) as u8;
- let imm8 = lower & 0b11111111;
- let rd = ((lower >> 8) & 0b1111) as u8;
- let rt = ((lower >> 12) & 0b1111) as u8;
+ let op1op2 = (instr2[5..7].load::<u8>() << 2) | instr2[4..6].load::<u8>();
+ let imm8 = lower2[..8].load::<u16>();
+ let rd = lower2[8..12].load::<u8>();
+ let rt = lower2[12..16].load::<u8>();
// all only-wide, no w suffix
inst.set_w(false);
@@ -191,8 +198,8 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
// v6T2
// bit 5 (w) == 0
let w = false;
- let u = (instr >> 7) & 1 != 0;
- let p = (instr >> 8) & 1 != 0;
+ let u = instr2[7];
+ let p = instr2[8];
// `if P == '0' && W == '0' then SEE "Related encodings"` -> this
// would imply tbb/tbh, should be unreachable
if rn == 15 || rt == 13 || rt == 15 || rd == 13 || rd == 15 {
@@ -216,8 +223,8 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
// `LDRD (immediate)`/`(literal)` (`A8-687`)
// bit 5 (w) == 0
let w = false;
- let u = (instr >> 7) & 1 != 0;
- let p = (instr >> 8) & 1 != 0;
+ let u = instr2[7];
+ let p = instr2[8];
// `if P == '0' && W == '0' then SEE "Related encodings"` -> this
// would imply tbb/tbh, should be unreachable
if rt == 13 || rt == 15 || rd == 13 || rd == 15 || rd == rt {
@@ -260,7 +267,7 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
0b0100 => {
// `STREX_`
// v7
- let op3 = (lower >> 4) & 0b1111;
+ let op3 = lower2[4..8].load::<u8>();
let rt2 = rd;
let rd = (imm8 & 0b1111) as u8;
match op3 {
@@ -323,7 +330,7 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
}
0b0101 => {
// `TBB`/`TBH`/`LDREX_`
- let op3 = (lower >> 4) & 0b1111;
+ let op3 = lower2[4..8].load::<u8>();
let rt2 = rd;
let rd = (imm8 & 0b1111) as u8;
match op3 {
@@ -430,8 +437,8 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
// v6T2
// bit 5 (w) == 1
let w = true;
- let u = (instr >> 7) & 1 != 0;
- let p = (instr >> 8) & 1 != 0;
+ let u = instr2[7];
+ let p = instr2[8];
// `if P == '0' && W == '0' then SEE "Related encodings"` -> this
// would imply tbb/tbh, should be unreachable
if rn == 15 || rt == 13 || rt == 15 || rd == 13 || rd == 15 {
@@ -458,8 +465,8 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
// v6T2
// bit 5 (w) == 1
let w = true;
- let u = (instr >> 7) & 1 != 0;
- let p = (instr >> 8) & 1 != 0;
+ let u = instr2[7];
+ let p = instr2[8];
// `if P == '0' && W == '0' then SEE "Related encodings"` -> this
// would imply tbb/tbh, should be unreachable
if rt == 13 || rt == 15 || rd == 13 || rd == 15 || rd == rt {
@@ -504,18 +511,18 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
}
}
} else {
- let w = instr & 0b100000 != 0;
+ let w = instr2[5];
// `Load/store multiple` (`A6-235`)
- if instr & 0b10000 == 0 {
+ if !instr2[4] {
// `L == 0`
- match (instr >> 7) & 0b11 {
+ match instr2[7..9].load::<u8>() {
0b00 => {
// `SRS (Thumb)` (`B9-1990`)
// v6T2
inst.opcode = Opcode::SRS(false, true); // `srsdb`
inst.operands = [
Operand::RegWBack(Reg::from_u8(13), w),
- Operand::Imm12(lower & 0b1111), // #<mode> ? what's the syntax here? #<the literal>?
+ Operand::Imm12(lower2[0..4].load::<u16>()), // #<mode> ? what's the syntax here? #<the literal>?
Operand::Nothing,
Operand::Nothing,
];
@@ -602,7 +609,7 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
}
} else {
// `L == 1`
- match (instr >> 7) & 0b11 {
+ match instr2[7..9].load::<u8>() {
0b00 => {
// `RFE` (`B9-1986`)
// v6T2
@@ -691,19 +698,19 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
} else {
// `Data-processing (shfited register)` (`A6-241`)
// v6T2
- let op = op2 & 0b1111;
- let s = instr & 0b10000 != 0;
- let rn = (instr & 0b1111) as u8;
- let rd = ((lower >> 8) & 0b1111) as u8;
+ let op = op2[0..4].load::<u8>();
+ let s = instr2[4];
+ let rn = instr2[0..4].load::<u8>();
+ let rd = lower2[8..12].load::<u8>();
- let imm3 = (lower >> 12) & 0b111;
- let imm2 = (lower >> 6) & 0b11;
- let tp = (lower >> 4) & 0b11;
- let rm = (lower & 0b1111) as u8;
+ let imm3 = lower2[12..15].load::<u16>();
+ let imm2 = lower2[6..8].load::<u16>();
+ let tp = lower2[4..6].load::<u16>();
+ let rm = lower2[0..4].load::<u16>();
let shift = RegShift::from_raw(
0b1000 | // reg-imm shift. TODO: probably need to change the const
- rm as u16 |
+ rm as u16 |
(imm2 << 7) | (imm3 << 9) |
tp << 5
);
@@ -956,18 +963,18 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
// op1 == 0b10
if lower & 0x80 == 0 {
// op == 0
- if op2 & 0b0100000 == 0 {
+ if !op2[4] {
// `A6.3.1` `Data-processing (modified immediate)` (`A6-229`)
// see `A6.3.2` for `Modified immediate constants in Thumb instructions` on how
// to decode immediates
// v6T2
- let op = op2 & 0b1111;
- let i = instr >> 10 & 1;
- let s = instr & 0b10000 != 0;
- let rn = (instr & 0b1111) as u8;
- let imm3 = (lower >> 12) & 0b111;
- let rd = ((lower >> 8) & 0b1111) as u8;
- let imm8 = lower & 0b11111111;
+ let op = op2[..4].load::<u8>();
+ let i = lower2[10..11].load::<u16>();
+ let s = lower2[4];
+ let rn = lower2[0..4].load::<u8>();
+ let imm3 = lower2[12..15].load::<u16>();
+ let rd = lower2[8..12].load::<u8>();
+ let imm8 = lower2[0..8].load::<u16>();
let imm = (i << 11) | (imm3 << 8) | imm8;
inst.s = s;
@@ -1169,14 +1176,14 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
} else {
// `Data-processing (plain binary immediate)` (`A6-232`)
// v6T2
- let op = (instr >> 4) & 0b11111;
- let i = instr >> 10 & 1;
- let s = instr & 0b10000 != 0;
+ let op = instr2[4..9].load::<u8>();
+ let i = instr2[10..11].load::<u16>();
+ let s = instr2[4];
inst.s = s;
- let rn = (instr & 0b1111) as u8;
- let imm3 = (lower >> 12) & 0b111;
- let rd = ((lower >> 8) & 0b1111) as u8;
- let imm8 = lower & 0b11111111;
+ let rn = instr2[0..4].load::<u8>();
+ let imm3 = lower2[12..15].load::<u16>();
+ let rd = lower2[8..12].load::<u8>();
+ let imm8 = lower2[0..8].load::<u16>();
let imm = (i << 11) | (imm3 << 8) | imm8;
match op {
@@ -1266,7 +1273,7 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
0b10010 => {
let imm3_2 = ((lower >> 10) & 0b11100) | ((lower >> 6) & 0b11);
if imm3_2 != 0 {
- let shift = DecodeImmShift(rn, ((instr >> 4) & 0b10) as u8, imm3_2 as u8);
+ let shift = DecodeImmShift(rn, instr2[5..6].load::<u8>() << 1, imm3_2 as u8);
// `SSAT`
// v6T2
inst.opcode = Opcode::SSAT;
@@ -1395,11 +1402,15 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
} else {
// op == 1
// `Branches and miscellaneous control` (`A6-233`)
- let imm8 = lower & 0b11111111;
- let op2 = (lower >> 8) & 0b0111;
- let op1 = (lower >> 12) & 0b111;
- let op = (instr >> 4) & 0b1111111;
+ let imm8 = lower2[0..8].load::<u16>();
+ let op2 = lower2[8..11].load::<u8>();
+ let op1 = instr2[12..15].load::<u8>();
+ let op = instr2[4..11].load::<u8>();
if op1 & 0b101 == 0b000 {
+ // TODO: This entire section appears wrong? what encoding is the conditional
+ // branch, none of those line up with the above components, or provided
+ // operands.
+ //
// the high bit of op is a sign bit, if a conditional branch. otherwise, it is
// 0 for valid instructiosn other than `udf`, `hvc`, and `smc`. `Branch` is
// ruled out as `op1` is `0x1`, so see if this is any of the misc
@@ -1421,16 +1432,16 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
// misc instruction
if op < 0b0111010 {
// `MSR` in some form, slightly more work to figure this out
- let rn = (instr & 0b1111) as u8;
+ let rn = instr2[0..4].load::<u8>();
if imm8 & 0b00100000 != 0 {
// `MSR` (`B9-1980`)
// v7VE
let sysm = (((lower >> 4) & 1) << 4) | ((lower >> 8) & 0b1111);
- let r = (instr >> 4) & 1;
+ let R = instr2[4];
inst.opcode = Opcode::MSR;
inst.operands = [
// TODO: is this the appropriate banked reg?
- Reg::from_sysm(r != 0, sysm as u8).expect("from_sysm works"),
+ Reg::from_sysm(R, sysm as u8).expect("from_sysm works"),
Operand::Reg(Reg::from_u8(rn)),
Operand::Nothing,
Operand::Nothing,
@@ -1469,12 +1480,12 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
];
} else {
// `Move to Special register, System level` (`B9-1984`)
- let mask = ((lower >> 8) & 0b1111) as u8;
- let r = (instr >> 4) & 1;
+ let mask = lower2[8..12].load::<u8>();
+ let R = instr2[4];
inst.opcode = Opcode::MSR;
inst.operands = [
// TODO: is this the appropriate?
- Reg::from_sysm(r != 0, mask).expect("from_sysm works"),
+ Reg::from_sysm(R, mask).expect("from_sysm works"),
Operand::Reg(Reg::from_u8(rn)),
Operand::Nothing,
Operand::Nothing,
@@ -1482,12 +1493,12 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
}
} else {
// `Move to Special register, System level` (`B9-1984`)
- let mask = ((lower >> 8) & 0b1111) as u8;
- let r = (instr >> 4) & 1;
+ let mask = lower2[8..12].load::<u8>();
+ let R = instr2[4];
inst.opcode = Opcode::MSR;
inst.operands = [
// TODO: is this the appropriate?
- Reg::from_sysm(r != 0, mask).expect("from_sysm works"),
+ Reg::from_sysm(R, mask).expect("from_sysm works"),
Operand::Reg(Reg::from_u8(rn)),
Operand::Nothing,
Operand::Nothing,
@@ -1496,8 +1507,8 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
}
} else if op < 0b0111011 {
// `Change Processor State, and hints` (`A6-234`)
- let op1 = (lower >> 8) & 0b111;
- let op2 = lower & 0b11111111;
+ let op1 = lower2[8..11].load::<u8>();
+ let op2 = lower2[0..8].load::<u8>();
if op1 != 0b000 {
// `CPS (Thumb)` (`B9-1964`)
// v6T2
@@ -1512,7 +1523,7 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
} else {
if op2 >= 0b11110000 {
// `DBG` (`A8-378`)
- let option = lower & 0b1111;
+ let option = lower2[0..4].load::<u16>();
inst.opcode = Opcode::DBG;
inst.operands = [
Operand::Imm12(option),
@@ -1675,7 +1686,7 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
} else if op < 0b0111101 {
// `BXJ` (`A8-352`)
// v6T2
- let rm = (instr & 0b1111) as u8;
+ let rm = instr2[0..4].load::<u8>();
inst.opcode = Opcode::BXJ;
inst.operands = [
Operand::Reg(Reg::from_u8(rm)),
@@ -1689,7 +1700,7 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
// `v7VE` defines `ERET` here, identical to `subs pc, lr` with
// `imm8 == 0`. `v7VE` does not change the behavior of this
// instruction at `PL1`.
- let imm8 = lower & 0b11111111;
+ let imm8 = lower2[0..8].load::<u16>();
if imm8 == 0 {
// `ERET` (`B9-1968`)
// v6T2
@@ -1709,7 +1720,7 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
inst.operands = [
Operand::Reg(Reg::from_u8(15)), // pc
Operand::Reg(Reg::from_u8(14)), // lr
- Operand::Imm12(lower & 0b11111111),
+ Operand::Imm12(imm8),
Operand::Nothing,
];
}
@@ -1806,12 +1817,12 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
} else if op1 & 0b101 == 0b001 {
// `Branch` (`A8-332`)
// v6T2
- //
- let imm11 = lower & 0b111_1111_1111;
- let imm6 = instr & 0b11_1111;
- let j1 = (lower >> 13) & 1;
- let j2 = (lower >> 11) & 1;
- let s = (instr >> 10) & 1;
+ // TODO: encoding T3? unclear
+ let imm11 = lower2[0..11].load::<u32>();
+ let imm6 = instr2[0..6].load::<u32>();
+ let j1 = lower2[13..14].load::<u32>();
+ let j2 = lower2[11..12].load::<u32>();
+ let s = instr2[10..11].load::<u32>();
let imm =
(imm11 as u32) |
((imm6 as u32) << 11) |
@@ -1830,11 +1841,11 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
// `Branch with Link and Exchange` (`A8-346`)
// `UNDEFINED` in v4T
// v5T
- let imm11 = lower & 0b111_1111_1111;
- let imm10 = instr & 0b11_1111_1111;
- let j1 = (lower >> 13) & 1;
- let j2 = (lower >> 11) & 1;
- let s = (instr >> 10) & 1;
+ let imm11 = lower2[0..11].load::<u32>();
+ let imm10 = instr2[0..10].load::<u32>();
+ let j1 = lower2[13..14].load::<u32>();
+ let j2 = lower2[11..12].load::<u32>();
+ let s = instr2[10..11].load::<u32>();
let imm =
(imm11 as u32) |
((imm10 as u32) << 11) |
@@ -1852,11 +1863,11 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
} else {
// `Brach with Link` (`A8-346`)
// v4T
- let imm11 = lower & 0b111_1111_1111;
- let imm10 = instr & 0b11_1111_1111;
- let j1 = (lower >> 13) & 1;
- let j2 = (lower >> 11) & 1;
- let s = (instr >> 10) & 1;
+ let imm11 = lower2[0..11].load::<u32>();
+ let imm10 = instr2[0..10].load::<u32>();
+ let j1 = lower2[13..14].load::<u32>();
+ let j2 = lower2[11..12].load::<u32>();
+ let s = instr2[10..11].load::<u32>();
let imm =
(imm11 as u32) |
((imm10 as u32) << 11) |
@@ -1874,17 +1885,21 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
}
}
} else {
+ // working through table `A6-9 32-bit Thumb instruction encoding`
+
// op1 == 0b11
- if op2 & 0b1000000 == 0 {
- if op2 & 0b0100000 == 0 {
+ if !op2[6] {
+ // not coprocessor, advanced simd, or floating point instructions
+ if !op2[5] {
// loads, stores
- if op2 & 0b0000001 == 0 {
+ if !op2[0] {
// store single item, or advanced simd load/store
- if op2 & 0b00100000 == 0 {
+ if !op2[4] {
// `Store single data item` (`A6-240`)
- let rn = (instr & 0b1111) as u8;
- let op1 = (instr >> 5) & 0b111;
+ let rn = instr2[0..4].load::<u8>();
+ let op1 = instr2[5..8].load::<u8>();
let size_bits = op1 & 0b011;
+ let has_imm12 = op1 & 0b100 != 0;
let op2 = (lower >> 6) & 0b111111;
match size_bits {
0b00 => {
@@ -2160,7 +2175,7 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
}
} else {
// load {byte, halfword, word}
- let size_bits = (op2 >> 1) & 0b11;
+ let size_bits = (op2[1..].load::<u8>());
if size_bits == 0b00 {
// `Load byte, memory hints` (`A6-239`)
} else if size_bits == 0b01 {
@@ -2173,14 +2188,14 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
}
}
} else {
- if op2 & 0b0010000 == 0 {
+ if !op2[4] {
// `Data-processing (register)` (`A6-243`)
- let op1 = (instr >> 4) & 0b1111;
- let op2 = (lower >> 4) & 0b1111;
- let rn = (instr & 0b1111) as u8;
- if op1 < 0b1000 {
+ let op1 = &instr2[4..8];
+ let op2 = &lower2[4..8];
+ let rn = instr2[0..4].load::<u8>();
+ if !op1[3] {
// `LSL`, `LSR`, `ASR`, `ROR`, `SXTAH`, .... out of table `A6-24`
- if op2 < 0b1000 {
+ if !op2[3] {
// `LSL`, `LSR`, `ASR`, `ROR`
// v6T2
let op = [
@@ -2188,9 +2203,9 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
Opcode::LSR,
Opcode::ASR,
Opcode::ROR,
- ][((op2 >> 1) & 0b11) as usize];
- let rd = ((lower >> 8) & 0b1111) as u8;
- let rm = (lower & 0b1111) as u8;
+ ][op2[1..3].load::<usize>()];
+ let rd = lower2[8..12].load::<u8>();
+ let rm = lower2[0..4].load::<u8>();
inst.opcode = op;
inst.operands = [
Operand::Reg(Reg::from_u8(rd)),
@@ -2199,6 +2214,7 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
Operand::Nothing,
];
} else {
+ let op1 = op1[0..3].load::<usize>();
// `SXTAH` and friends
if op1 > 0b101 {
return Err(DecodeError::Undefined);
@@ -2212,11 +2228,11 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
Opcode::UXTB16,
Opcode::SXTB,
Opcode::UXTB,
- ][(op1 & 0b111) as usize];
+ ][op1];
- let rm = (lower & 0b1111) as u8;
- let rotate = (lower >> 1) & 0b11000;
- let rd = ((lower >> 8) & 0b1111) as u8;
+ let rm = lower2[..4].load::<u8>();
+ let rotate = lower2[1..3].load::<u8>() << 2;;
+ let rd = lower2[8..12].load::<u8>();
inst.opcode = op;
inst.operands = [
@@ -2233,11 +2249,11 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
Opcode::UXTAB16,
Opcode::SXTAH,
Opcode::UXTAB,
- ][(op1 & 0b111) as usize];
+ ][op1];
- let rm = (lower & 0b1111) as u8;
- let rotate = (lower >> 1) & 0b11000;
- let rd = ((lower >> 8) & 0b1111) as u8;
+ let rm = lower2[..4].load::<u8>();
+ let rotate = lower2[1..3].load::<u8>() << 2;;
+ let rd = lower2[8..12].load::<u8>();
inst.opcode = op;
inst.operands = [
@@ -2249,6 +2265,7 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
};
}
} else {
+ let op2 = op2.load::<u8>();
if op2 < 0b0100 {
// `Parallel addition and subtraction, signed`
return Err(DecodeError::Incomplete);
@@ -2263,7 +2280,7 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
}
}
} else {
- if op2 & 0b0001000 != 0 {
+ if op2[3] {
// `Long multiply, long multiply accumulate, and divide` (`A6-248`)
return Err(DecodeError::Incomplete);
} else {
@@ -2291,9 +2308,9 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
0b000 => {
// LSL (immediate)
// footnote: when opcode is 0, bits 8:6 are 0, encoding is `MOV`. see `A8-487`.
- let rd = (instr & 0b111) as u8;
- let rm = ((instr >> 3) & 0b111) as u8;
- let imm5 = (instr >> 6) & 0b11111;
+ let rd = instr2[0..3].load::<u8>();
+ let rm = instr2[3..6].load::<u8>();
+ let imm5 = instr2[6..11].load::<u16>();
inst.opcode = Opcode::LSL;
inst.operands = [
Operand::Reg(Reg::from_u8(rd)),
@@ -2304,9 +2321,9 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
}
0b001 => {
/* LSR on page A8-473 */
- let rd = (instr & 0b111) as u8;
- let rm = ((instr >> 3) & 0b111) as u8;
- let imm5 = (instr >> 6) & 0b11111;
+ let rd = instr2[0..3].load::<u8>();
+ let rm = instr2[3..6].load::<u8>();
+ let imm5 = instr2[6..11].load::<u16>();
let imm = if imm5 == 0 {
0x20
} else {
@@ -2322,9 +2339,9 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
}
0b010 => {
/* ASR on page A8-328 */
- let rd = (instr & 0b111) as u8;
- let rm = ((instr >> 3) & 0b111) as u8;
- let imm5 = (instr >> 6) & 0b11111;
+ let rd = instr2[0..3].load::<u8>();
+ let rm = instr2[3..6].load::<u8>();
+ let imm5 = instr2[6..11].load::<u16>();
let imm = if imm5 == 0 {
0x20
} else {
@@ -2340,10 +2357,10 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
}
0b011 => {
/* ADD, SUB (register/immediate) */
- let oplower = (instr >> 9) & 0b11;
- let rd = (instr & 0b111) as u8;
- let rn = ((instr >> 3) & 0b111) as u8;
- let rm = ((instr >> 6) & 0b111) as u8;
+ let oplower = instr2[9..11].load::<u32>();
+ let rm = instr2[6..9].load::<u8>();
+ let rd = instr2[0..3].load::<u8>();
+ let rn = instr2[3..6].load::<u8>();
match oplower {
0b00 => {
@@ -2390,8 +2407,8 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
0b100 => {
/* MOV on page A8-485 */
- let imm8 = instr & 0b1111_1111;
- let rd = ((instr >> 8) & 0b111) as u8;
+ let imm8 = instr2[0..8].load::<u32>();
+ let rd = instr2[8..11].load::<u8>();
inst.opcode = Opcode::MOV;
inst.operands = [
Operand::Reg(Reg::from_u8(rd)),
@@ -2403,8 +2420,8 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
0b101 => {
/* CMP on page A8-368 */
inst.s = false;
- let imm8 = instr & 0b1111_1111;
- let rd = ((instr >> 8) & 0b111) as u8;
+ let imm8 = instr2[0..8].load::<u32>();
+ let rd = instr2[8..11].load::<u8>();
inst.opcode = Opcode::CMP;
inst.operands = [
Operand::Reg(Reg::from_u8(rd)),
@@ -2415,8 +2432,8 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
}
0b110 => {
/* ADD (immediate, Thumb) on page A8-304 */
- let imm8 = instr & 0b1111_1111;
- let rdn = ((instr >> 8) & 0b111) as u8;
+ let imm8 = instr2[0..8].load::<u32>();
+ let rdn = instr2[8..11].load::<u8>();
inst.opcode = Opcode::ADD;
inst.operands = [
Operand::Reg(Reg::from_u8(rdn)),
@@ -2427,8 +2444,8 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
}
0b111 => {
/* SUB (immediate, Thumb) on page A8-709 */
- let imm8 = instr & 0b1111_1111;
- let rdn = ((instr >> 8) & 0b111) as u8;
+ let imm8 = instr2[0..8].load::<u32>();
+ let rdn = instr2[8..11].load::<u8>();
inst.opcode = Opcode::SUB;
inst.operands = [
Operand::Reg(Reg::from_u8(rdn)),
@@ -2442,7 +2459,7 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
}
}
} else if opword < 0b01001 {
- let opcode_bits = (instr >> 6) & 0b1111;
+ let opcode_bits = instr2[6..10].load::<u8>();
// `Data-processing` on page `A6-223` or `Special data instructions and branch and
// exchange` on page `A6-224`
if (instr >> 10) < 0b010001 {
@@ -2450,8 +2467,8 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
// v4T
// TODO: condition inside IT block, no S
inst.s = true;
- let rdn = (instr & 0b111) as u8;
- let rm = ((instr >> 3) & 0b111) as u8;
+ let rdn = instr2[0..3].load::<u8>();
+ let rm = instr2[3..6].load::<u8>();
if opcode_bits == 0b1101 {
inst.opcode = Opcode::MUL;
inst.operands = [
@@ -2504,8 +2521,8 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
0b0000 => {
// `Add Low Registers` (`A8-308`)
// v6T2, `UNPREDICTABLE` in earlier versions
- let rdn = ((instr & 0b111) | ((instr >> 4) & 0b1000)) as u8;
- let rm = ((instr >> 3) & 0b1111) as u8;
+ let rdn = instr2[0..3].load::<u8>() | (instr2[7..8].load::<u8>() << 3);
+ let rm = instr2[3..7].load::<u8>();
inst.opcode = Opcode::ADD;
inst.operands = [
Operand::Reg(Reg::from_u8(rdn)),
@@ -2519,8 +2536,8 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
0b0011 => {
// `Add High Registers` (`A8-308`)
// v4T
- let rdn = ((instr & 0b111) | ((instr >> 4) & 0b1000)) as u8;
- let rm = ((instr >> 3) & 0b1111) as u8;
+ let rdn = instr2[0..3].load::<u8>() | (instr2[7..8].load::<u8>() << 3);
+ let rm = instr2[3..7].load::<u8>();
inst.opcode = Opcode::ADD;
inst.operands = [
Operand::Reg(Reg::from_u8(rdn)),
@@ -2535,8 +2552,8 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
0b0111 => {
// `Compare High Registers` (`A8-307`)
// v4T
- let rn = ((instr & 0b111) | ((instr >> 4) & 0b1000)) as u8;
- let rm = ((instr >> 3) & 0b1111) as u8;
+ let rn = instr2[0..3].load::<u8>() | (instr2[7..8].load::<u8>() << 3);
+ let rm = instr2[3..7].load::<u8>();
inst.opcode = Opcode::CMP;
inst.operands = [
Operand::Reg(Reg::from_u8(rn)),
@@ -2549,8 +2566,8 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
// `Move Low Registers` (`A8-487`)
// v6, `UNPREDICTABLE` in earlier versions
// (encoding T1)
- let rd = ((instr & 0b111) | ((instr >> 4) & 0b1000)) as u8;
- let rm = ((instr >> 3) & 0b1111) as u8;
+ let rd = instr2[0..3].load::<u8>() | (instr2[7..8].load::<u8>() << 3);
+ let rm = instr2[3..7].load::<u8>();
inst.opcode = Opcode::MOV;
inst.operands = [
Operand::Reg(Reg::from_u8(rd)),
@@ -2564,8 +2581,8 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
0b1011 => {
// `Move High Registers` (`A8-487`)
// v4T
- let rd = ((instr & 0b111) | ((instr >> 4) & 0b1000)) as u8;
- let rm = ((instr >> 3) & 0b1111) as u8;
+ let rd = instr2[0..3].load::<u8>() | (instr2[7..8].load::<u8>() << 3);
+ let rm = instr2[3..7].load::<u8>();
inst.opcode = Opcode::MOV;
inst.operands = [
Operand::Reg(Reg::from_u8(rd)),
@@ -2578,7 +2595,7 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
0b1101 => {
// `Branch and Exchange` (`A8-350`)
// v4T
- let rm = ((instr >> 3) & 0b1111) as u8;
+ let rm = instr2[3..7].load::<u8>();
inst.opcode = Opcode::BX;
inst.operands = [
Operand::Reg(Reg::from_u8(rm)),
@@ -2591,7 +2608,7 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
0b1111 => {
// `Branch and Link with Exchange` (`A8-348`)
// v5T, `UNPREDICTABLE` in earlier versions
- let rm = ((instr >> 3) & 0b1111) as u8;
+ let rm = instr2[3..7].load::<u8>();
inst.opcode = Opcode::BLX;
inst.operands = [
Operand::Reg(Reg::from_u8(rm)),
@@ -2607,8 +2624,8 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
}
} else if opword < 0b01010 {
// `LDR (literal)` on page `A8-411` -- v4T
- let imm8 = instr & 0b1111_1111;
- let rt = ((instr >> 8) & 0b111) as u8;
+ let imm8 = instr2[0..8].load::<u16>();
+ let rt = instr2[8..11].load::<u8>();
inst.opcode = Opcode::LDR;
inst.operands = [
Operand::Reg(Reg::from_u8(rt)),
@@ -2622,14 +2639,14 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
Operand::Nothing,
];
} else if opword < 0b10100 {
- let op_b = (instr >> 9) & 0b111;
- let op_a = instr >> 12;
+ let op_b = instr2[9..12].load::<usize>();
+ let op_a = instr2[12..].load::<usize>();
// `Load/store single data item` on page `A6-225`
// v4T
- let rt = (instr & 0b111) as u8;
- let rn = ((instr >> 3) & 0b111) as u8;
- let rm = ((instr >> 6) & 0b111) as u8;
- let imm5 = (instr >> 6) & 0b11111;
+ let rt = instr2[0..3].load::<u8>();
+ let rn = instr2[3..6].load::<u8>();
+ let rm = instr2[6..9].load::<u8>();
+ let imm5 = instr2[6..11].load::<u16>();
if op_a == 0b0101 {
let op = [
Opcode::STR,
@@ -2640,7 +2657,7 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
Opcode::LDRH,
Opcode::LDRB,
Opcode::LDRSH,
- ][op_b as usize];
+ ][op_b];
inst.opcode = op;
inst.operands = [
Operand::Reg(Reg::from_u8(rt)),
@@ -2668,7 +2685,7 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
Opcode::LDRH,
Opcode::STR,
Opcode::LDR,
- ][idx as usize];
+ ][idx];
inst.opcode = op;
if idx < 6 {
let shift = match idx >> 1 {
@@ -2689,8 +2706,8 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
Operand::Nothing,
];
} else {
- let rt = ((instr >> 8) & 0b111) as u8;
- let imm8 = instr & 0b1111_1111;
+ let rt = instr2[8..11].load::<u8>();
+ let imm8 = instr2[..8].load::<u16>();
inst.operands = [
Operand::Reg(Reg::from_u8(rt)),
Operand::RegDerefPreindexOffset(
@@ -2706,8 +2723,8 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
}
} else if opword < 0b10101 {
// `ADR` on page `A8-320` -- v4T
- let rd = ((instr >> 8) & 0b111) as u8;
- let imm8 = instr & 0b1111_1111;
+ let rd = instr2[8..11].load::<u8>();
+ let imm8 = instr2[..8].load::<u16>();
inst.opcode = Opcode::ADR;
inst.operands = [
Operand::Reg(Reg::from_u8(rd)),
@@ -2717,8 +2734,8 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
];
} else if opword < 0b10110 {
// `ADD (SP plus immediate)` on `A8-314` -- v4T
- let rd = ((instr >> 8) & 0b111) as u8;
- let imm8 = instr & 0b1111_1111;
+ let rd = instr2[8..11].load::<u8>();
+ let imm8 = instr2[..8].load::<u16>();
inst.opcode = Opcode::ADD;
inst.operands = [
Operand::Reg(Reg::from_u8(rd)),
@@ -2728,38 +2745,38 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
];
} else if opword < 0b11000 {
// `Miscellaneous 16-bit instructions` on page `A6-226`
- let opcode_bits = (instr >> 5) & 0b1111111;
+ let opcode_bits = instr2[5..12].load::<u16>();
if opcode_bits < 0b0000100 {
// `Add Immediate to SP` (`A8-314`)
// v4T
// encoding T2
- let imm7 = instr & 0b111_1111;
+ let imm7 = instr2[..7].load::<u32>();
inst.s = false;
inst.opcode = Opcode::ADD;
inst.operands = [
Operand::Reg(Reg::from_u8(13)),
Operand::Reg(Reg::from_u8(13)),
- Operand::Imm32((imm7 << 2) as u32),
+ Operand::Imm32(imm7 << 2),
Operand::Nothing,
];
} else if opcode_bits < 0b0001000 {
// `Subtract Immediate to SP` (`A8-717`)
// v4T
- let imm7 = instr & 0b111_1111;
+ let imm7 = instr2[..7].load::<u32>();
inst.s = false;
inst.opcode = Opcode::SUB;
inst.operands = [
Operand::Reg(Reg::from_u8(13)),
Operand::Reg(Reg::from_u8(13)),
- Operand::Imm32((imm7 << 2) as u32),
+ Operand::Imm32(imm7 << 2),
Operand::Nothing,
];
} else if opcode_bits < 0b0010000 {
// `Compare and Branch on Zero` (`A8-354`)
// v6T2
- let op = (instr >> 11) & 1 != 0;
- let rn = (instr & 0b111) as u8;
- let imm5 = (instr >> 3) & 0b11111;
+ let op = instr2[11];
+ let rn = instr2[..3].load::<u8>();
+ let imm5 = instr2[3..8].load::<u16>();
let imm = (((instr >> 9) & 1) << 5) | imm5;
inst.opcode = if op {
Opcode::CBNZ
@@ -2775,8 +2792,8 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
} else if opcode_bits < 0b0010010 {
// `Signed Extend Halfword` (`A8-735`)
// v6
- let rd = (instr & 0b111) as u8;
- let rm = ((instr >> 3) & 0b111) as u8;
+ let rd = instr2[..3].load::<u8>();
+ let rm = instr2[3..6].load::<u8>();
inst.opcode = Opcode::SXTH;
inst.operands = [
Operand::Reg(Reg::from_u8(rd)),
@@ -2787,8 +2804,8 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
} else if opcode_bits < 0b0010100 {
// `Signed Extend Byte` (`A8-731`)
// v6
- let rd = (instr & 0b111) as u8;
- let rm = ((instr >> 3) & 0b111) as u8;
+ let rd = instr2[..3].load::<u8>();
+ let rm = instr2[3..6].load::<u8>();
inst.opcode = Opcode::SXTB;
inst.operands = [
Operand::Reg(Reg::from_u8(rd)),
@@ -2799,8 +2816,8 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
} else if opcode_bits < 0b0010110 {
// `Unsigned Extend Halfword` (`A8-817`)
// v6
- let rd = (instr & 0b111) as u8;
- let rm = ((instr >> 3) & 0b111) as u8;
+ let rd = instr2[..3].load::<u8>();
+ let rm = instr2[3..6].load::<u8>();
inst.opcode = Opcode::UXTH;
inst.operands = [
Operand::Reg(Reg::from_u8(rd)),
@@ -2811,8 +2828,8 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
} else if opcode_bits < 0b0011000 {
// `Unsigned Extend Byte` (`A8-813`)
// v6
- let rd = (instr & 0b111) as u8;
- let rm = ((instr >> 3) & 0b111) as u8;
+ let rd = instr2[..3].load::<u8>();
+ let rm = instr2[3..6].load::<u8>();
inst.opcode = Opcode::UXTB;
inst.operands = [
Operand::Reg(Reg::from_u8(rd)),
@@ -2823,9 +2840,9 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
} else if opcode_bits < 0b0100000 {
// `Compare and Branch on Zero` (`A8-354`)
// v6T2
- let op = (instr >> 11) & 1 != 0;
- let rn = (instr & 0b111) as u8;
- let imm5 = (instr >> 3) & 0b11111;
+ let op = instr2[11];
+ let rn = instr2[..3].load::<u8>();
+ let imm5 = instr2[3..8].load::<u16>();
let imm = (((instr >> 9) & 1) << 5) | imm5;
inst.opcode = if op {
Opcode::CBNZ
@@ -2841,8 +2858,8 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
} else if opcode_bits < 0b0110000 {
// `Push multiple registers` (`A8-539`)
// v4T
- let m = (instr >> 8) & 1;
- let reglist = (instr & 0b1111_1111) | (m << (6 + 8));
+ let m = instr2[8..9].load::<u16>();
+ let reglist = instr2[0..8].load::<u16>() | (m << (6 + 8));
inst.opcode = Opcode::PUSH;
inst.operands = [
Operand::RegList(reglist),
@@ -2857,7 +2874,7 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
// opword == 0b0110010
// `Set Endianness` (`A8-605`)
// v6
- let e = (instr >> 3) & 1;
+ let e = instr2[3..4].load::<u16>();
inst.opcode = Opcode::SETEND;
inst.operands = [
Operand::Imm12(e),
@@ -2869,9 +2886,9 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
// opword == 0b0110011
// `Change Processor State` (`B9-1964`)
// v6
- let aif = instr & 0b111;
- let im = (instr >> 4) & 1;
- inst.opcode = Opcode::CPS(im != 0);
+ let aif = instr2[0..3].load::<u16>();
+ let im = instr2[4];
+ inst.opcode = Opcode::CPS(im);
inst.operands = [
Operand::Imm12(aif),
Operand::Nothing,
@@ -2884,9 +2901,9 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
} else if opcode_bits < 0b1010000 {
// `Compare and Branch on Nonzero` (`A8-354`)
// v6T2
- let op = (instr >> 11) & 1 != 0;
- let rn = (instr & 0b111) as u8;
- let imm5 = (instr >> 3) & 0b11111;
+ let op = instr2[11];
+ let rn = instr2[0..3].load::<u8>();
+ let imm5 = instr2[3..8].load::<u16>();
let imm = (((instr >> 9) & 1) << 5) | imm5;
inst.opcode = if op {
Opcode::CBNZ
@@ -2902,8 +2919,8 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
} else if opcode_bits < 0b1010010 {
// `Byte-Reverse Word` (`A8-563`)
// v6
- let rd = (instr & 0b111) as u8;
- let rm = ((instr >> 3) & 0b111) as u8;
+ let rd = instr2[0..3].load::<u8>();
+ let rm = instr2[3..6].load::<u8>();
inst.opcode = Opcode::REV;
inst.operands = [
Operand::Reg(Reg::from_u8(rd)),
@@ -2914,8 +2931,8 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
} else if opcode_bits < 0b1010100 {
// `Byte-Reverse Packed Halfword` (`A8-565`)
// v6
- let rd = (instr & 0b111) as u8;
- let rm = ((instr >> 3) & 0b111) as u8;
+ let rd = instr2[0..3].load::<u8>();
+ let rm = instr2[3..6].load::<u8>();
inst.opcode = Opcode::REV16;
inst.operands = [
Operand::Reg(Reg::from_u8(rd)),
@@ -2929,8 +2946,8 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
} else if opcode_bits < 0b1011000 {
// `Byte-Reverse Signed Halfword` (`A8-567`)
// v6
- let rd = (instr & 0b111) as u8;
- let rm = ((instr >> 3) & 0b111) as u8;
+ let rd = instr2[0..3].load::<u8>();
+ let rm = instr2[3..6].load::<u8>();
inst.opcode = Opcode::REVSH;
inst.operands = [
Operand::Reg(Reg::from_u8(rd)),
@@ -2941,9 +2958,9 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
} else if opcode_bits < 0b1100000 {
// `Compare and Branch on Nonzero` (`A8-354`)
// v6T2
- let op = (instr >> 11) & 1 != 0;
- let rn = (instr & 0b111) as u8;
- let imm5 = (instr >> 3) & 0b11111;
+ let op = instr2[11];
+ let rn = instr2[0..3].load::<u8>();
+ let imm5 = instr2[3..8].load::<u16>();
let imm = (((instr >> 9) & 1) << 5) | imm5;
inst.opcode = if op {
Opcode::CBNZ
@@ -2959,8 +2976,8 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
} else if opcode_bits < 0b1110000 {
// `Pop Multiple Registers` (`A8-535`)
// v4T
- let p = (instr >> 8) & 1;
- let reglist = (instr & 0b1111_1111) | (p << (7 + 8));
+ let p = instr2[8..9].load::<u16>();
+ let reglist = instr2[0..8].load::<u16>() | (p << (7 + 8));
inst.opcode = Opcode::POP;
inst.operands = [
Operand::RegList(reglist),
@@ -2971,18 +2988,18 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
} else if opcode_bits < 0b1111000 {
// `Breakpoint` (`A8-344`)
// v5
- let imm8 = instr & 0b1111_1111;
+ let imm8 = instr2[0..8].load::<u32>();
inst.opcode = Opcode::BKPT;
inst.operands = [
- Operand::Imm32(imm8 as u32),
+ Operand::Imm32(imm8),
Operand::Nothing,
Operand::Nothing,
Operand::Nothing,
];
} else {
// `If-Then, and hints` (`A6-227`)
- let opb = instr & 0b1111;
- let opa = (instr >> 4) & 0b1111;
+ let opb = instr2[0..4].load::<u32>();
+ let opa = instr2[4..8].load::<u32>();
if opb != 0 {
// `IT` (`A8-391`)
@@ -2994,8 +3011,8 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
return Err(DecodeError::InvalidOperand);
}
inst.operands = [
- Operand::Imm32(firstcond as u32),
- Operand::Imm32(mask as u32),
+ Operand::Imm32(firstcond),
+ Operand::Imm32(mask),
Operand::Nothing,
Operand::Nothing,
];
@@ -3061,7 +3078,7 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
// as NOPs, but software must not use them.`
inst.opcode = Opcode::HINT;
inst.operands = [
- Operand::Imm12(hint),
+ Operand::Imm32(hint),
Operand::Nothing,
Operand::Nothing,
Operand::Nothing,
@@ -3072,8 +3089,8 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
}
} else if opword < 0b11001 {
// `STM (STMIA, STMEA)` on page `A8-665` -- v4T
- let rn = ((instr >> 8) & 0b111) as u8;
- let reglist = instr & 0b1111_1111;
+ let rn = instr2[8..11].load::<u8>();
+ let reglist = instr2[0..8].load::<u16>();
inst.opcode = Opcode::STM(true, true, false, true); // stmia, no wback, yes usermode
inst.operands = [
Operand::RegWBack(Reg::from_u8(rn), true), // always wback
@@ -3083,8 +3100,8 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
];
} else if opword < 0b11010 {
// `LDM/LDMIA/LDMFD (Thumb)` on page `A8-397` -- v4T
- let rn = ((instr >> 8) & 0b111) as u8;
- let reglist = instr & 0b1111_1111;
+ let rn = instr2[8..11].load::<u8>();
+ let reglist = instr2[0..8].load::<u16>();
let w = (reglist & (1 << rn)) == 0;
inst.opcode = Opcode::LDM(true, false, false, true); // ldmia, no wback, yes usermode
inst.operands = [
@@ -3095,15 +3112,13 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
];
} else if opword < 0b11100 {
// `Conditional branch, and Supervisor Call` on page `A6-227`
- let opcode = (instr >> 8) & 0b1111;
+ let opcode = instr2[8..12].load::<u8>();
if opcode < 0b1110 {
// `B` (`A8-332`)
// v4T
inst.opcode = Opcode::B;
- let imm = instr & 0b1111_1111;
- let imm = imm as i8 as i32;
- let cond = (instr >> 8) & 0b1111;
- inst.condition = ConditionCode::build(cond as u8);
+ let imm = instr2[0..8].load::<u8>() as i8 as i32;
+ inst.condition = ConditionCode::build(opcode);
inst.operands = [
Operand::BranchThumbOffset(imm + 1),
Operand::Nothing,
@@ -3116,7 +3131,7 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
// first described in revision `C.a`
inst.opcode = Opcode::UDF;
inst.operands = [
- Operand::Imm32((instr & 0xff) as u32),
+ Operand::Imm32(instr2[..8].load::<u32>()),
Operand::Nothing,
Operand::Nothing,
Operand::Nothing,
@@ -3126,7 +3141,7 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
// v4T
inst.opcode = Opcode::SVC;
inst.operands = [
- Operand::Imm32((instr & 0xff) as u32),
+ Operand::Imm32(instr2[..8].load::<u32>()),
Operand::Nothing,
Operand::Nothing,
Operand::Nothing,
@@ -3134,11 +3149,13 @@ pub fn decode_into<T: IntoIterator<Item=u8>>(decoder: &InstDecoder, inst: &mut I
}
} else {
// `B` on page `A8-332` -- v4T
+ // encoding T2
+ // v4T
inst.opcode = Opcode::B;
- let imm = instr & 0b111_1111_1111;
- let imm = ((imm as i32) << 21) >> 20;
+ let imm = instr2[0..11].load::<u32>();
+ let imm = ((imm as i32) << 20) >> 20;
inst.operands = [
- Operand::Imm32(imm as u32),
+ Operand::BranchThumbOffset(imm),
Operand::Nothing,
Operand::Nothing,
Operand::Nothing,
diff --git a/src/lib.rs b/src/lib.rs
index 69ffc31..1c315bf 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -3,6 +3,7 @@
#[cfg(feature="use-serde")]
extern crate serde;
extern crate yaxpeax_arch;
+extern crate bitvec;
pub mod armv7;
pub mod armv8;