//! # LDXP
//!
//! This instruction derives an address from a base register value, loads two 32-bit words or two 64-bit doublewords from memory, and writes them to two registers. For information on single-copy atomicity and alignment requirements, see *Requirements for single-copy atomicity* and *Alignment of data accesses* . The PE marks the physical address being accessed as an exclusive access. This exclusive access mark is checked by Store Exclusive instructions. See *Synchronization and semaphores* . For information about addressing modes, see *Load/Store addressing modes* .
#![allow(non_snake_case)]
#![allow(unused)]
use crate::error::Result;
use crate::utils::*;
use super::super::formatter::*;
use super::super::instruction::*;
use super::super::operand::*;
use super::super::consts::*;
use super::super::config::*;
use super::super::decoder::*;
// ---------------------------------------------------------------------------
// Iclass IclassLdxpLp32Ldstexclp
// ---------------------------------------------------------------------------
/// Type that represents the IclassLdxpLp32Ldstexclp instruction class.
pub(crate) struct IclassLdxpLp32Ldstexclp;
impl IclassLdxpLp32Ldstexclp {
/// Tries to decode the instruction in `data`.
pub(crate) fn decode(data: u32, decoder: &mut Decoder) -> Result<Instruction> {
let Rt2 = (data >> 10) & 31;
let Rt2_post = Rt2;
let field_29 = (data >> 23) & 127;
let field_29_post = field_29;
let Rt = (data >> 0) & 31;
let Rt_post = Rt;
let o0 = (data >> 15) & 1;
let o0_post = o0;
let field_31 = (data >> 31) & 1;
let field_31_post = field_31;
let Rn = (data >> 5) & 31;
let Rn_post = Rn;
let field_21 = (data >> 21) & 1;
let field_21_post = field_21;
let Rs = (data >> 16) & 31;
let Rs_post = Rs;
let L = (data >> 22) & 1;
let L_post = L;
let sz = (data >> 30) & 1;
let sz_post = sz;
if (sz_post == 0) {
return LdxpLp32Ldstexclp::decode(data as u32, decoder);
}
if (sz_post == 1) {
return LdxpLp64Ldstexclp::decode(data as u32, decoder);
}
unreachable!()
}
}
/// None-bit encoding.
///
/// # Encoding
///
/// <table style="font-family: courier, monospace">
/// <tr>
/// <td style="border: none">31</td>
/// <td style="border: none">30</td>
/// <td style="border: none">29</td>
/// <td style="border: none">28</td>
/// <td style="border: none">27</td>
/// <td style="border: none">26</td>
/// <td style="border: none">25</td>
/// <td style="border: none">24</td>
/// <td style="border: none">23</td>
/// <td style="border: none">22</td>
/// <td style="border: none">21</td>
/// <td style="border: none">20</td>
/// <td style="border: none">19</td>
/// <td style="border: none">18</td>
/// <td style="border: none">17</td>
/// <td style="border: none">16</td>
/// <td style="border: none">15</td>
/// <td style="border: none">14</td>
/// <td style="border: none">13</td>
/// <td style="border: none">12</td>
/// <td style="border: none">11</td>
/// <td style="border: none">10</td>
/// <td style="border: none">9</td>
/// <td style="border: none">8</td>
/// <td style="border: none">7</td>
/// <td style="border: none">6</td>
/// <td style="border: none">5</td>
/// <td style="border: none">4</td>
/// <td style="border: none">3</td>
/// <td style="border: none">2</td>
/// <td style="border: none">1</td>
/// <td style="border: none">0</td>
/// </tr>
/// <tr>
/// <td style="text-align: center; border-right: none" colspan="1">1</td>
/// <td style="text-align: center" colspan="1">sz</td>
/// <td style="text-align: center; border-right: none" colspan="1">0</td>
/// <td style="text-align: center; border-left: none; border-right: none" colspan="1">0</td>
/// <td style="text-align: center; border-left: none; border-right: none" colspan="1">1</td>
/// <td style="text-align: center; border-left: none; border-right: none" colspan="1">0</td>
/// <td style="text-align: center; border-left: none; border-right: none" colspan="1">0</td>
/// <td style="text-align: center; border-left: none; border-right: none" colspan="1">0</td>
/// <td style="text-align: center; border-left: none" colspan="1">0</td>
/// <td style="text-align: center; border-right: none" colspan="1">1</td>
/// <td style="text-align: center; border-right: none" colspan="1">1</td>
/// <td style="text-align: center; border-right: none" colspan="3">(1)</td>
/// <td style="text-align: center; border-left: none; border-right: none" colspan="3">(1)</td>
/// <td style="text-align: center; border-left: none; border-right: none" colspan="3">(1)</td>
/// <td style="text-align: center; border-left: none; border-right: none" colspan="3">(1)</td>
/// <td style="text-align: center; border-left: none" colspan="3">(1)</td>
/// <td style="text-align: center; border-right: none" colspan="1">0</td>
/// <td style="text-align: center" colspan="5">Rt2</td>
/// <td style="text-align: center" colspan="5">Rn</td>
/// <td style="text-align: center" colspan="5">Rt</td>
/// </tr>
/// <tr>
/// <td style="text-align: center; border: none" colspan="1"></td>
/// <td style="text-align: center; border: none" colspan="1"></td>
/// <td style="text-align: center; border: none" colspan="7"></td>
/// <td style="text-align: center; border: none" colspan="1">L</td>
/// <td style="text-align: center; border: none" colspan="1"></td>
/// <td style="text-align: center; border: none" colspan="5">Rs</td>
/// <td style="text-align: center; border: none" colspan="1">o0</td>
/// <td style="text-align: center; border: none" colspan="5"></td>
/// <td style="text-align: center; border: none" colspan="5"></td>
/// <td style="text-align: center; border: none" colspan="5"></td>
/// </tr>
/// </table>
pub struct LdxpLp32Ldstexclp;
impl LdxpLp32Ldstexclp {
/// Returns the instruction mnemonic.
pub fn mnemonic(_instr: &Instruction) -> Mnemonic {
Mnemonic::LDXP
}
/// Returns the instruction size.
pub fn size(_instr: &Instruction) -> usize {
4
}
/// Decodes the instruction in `data`.
pub fn decode(data: u32, decoder: &mut Decoder) -> Result<Instruction> {
// Fields are extracted from the input value.
let Rt2 = (data >> 10) & 31;
let Rt2_post = Rt2;
let Rn = (data >> 5) & 31;
let Rn_post = Rn;
let Rt = (data >> 0) & 31;
let Rt_post = Rt;
// Operand values are computed from the base fields.
let Rt_post = Rt;
let op_0 = Register::aarch32(Rt_post, false)?;
let Rt2_post = Rt2;
let op_1 = Register::aarch32(Rt2_post, false)?;
let Rn_post = Rn;
let op_2 = Register::aarch64(Rn_post, true)?;
// Instruction creation from the operands.
let mut instr = Instruction::builder(Code::LDXP_LP32_ldstexclp)
.operand(0, op_0)?
.operand(1, op_1)?
.operand(2, op_2)?
.build();
Ok(instr)
}
/// Encodes the instruction into `buf`.
pub fn encode(instr: &Instruction, buf: &mut Vec<u8>) -> Result<usize> {
// Retrieve all operand values.
let Rt_pre = instr.op0().as_register()?.encode();
let Rt2_pre = instr.op1().as_register()?.encode();
let Rn_pre = instr.op2().as_register()?.encode();
// Compute all instruction fields from the operand values.
let Rt = (Rt_pre & 31);
let Rt2 = (Rt2_pre & 31);
let Rn = (Rn_pre & 31);
// Add all fields to the base instruction encoding.
let mut instr: u32 = 0b10001000011111110000000000000000;
instr |= (Rt & 31) << 0;
instr |= (Rt2 & 31) << 10;
instr |= (Rn & 31) << 5;
let bytes = instr.to_le_bytes();
let len = bytes.len();
buf.extend(bytes);
Ok(len)
}
/// Encode an instruction part of an instruction block into `buf`.
pub fn encode_block(instr: &mut Instruction, buf: &mut Vec<u8>, labels: &std::collections::HashMap<u64, u64>) -> Result<usize> {
Self::encode(instr, buf)
}
/// Verifies that operand #0 is valid.
pub fn check_op0(instr: &Instruction, op: &Operand) -> Result<()> {
if let Operand::Register(r) = op {
if !r.is_aarch32() {
todo!()
}
if *r == Register::WSP {
todo!()
}
return Ok(())
}
todo!()
}
/// Verifies that operand #1 is valid.
pub fn check_op1(instr: &Instruction, op: &Operand) -> Result<()> {
if let Operand::Register(r) = op {
if !r.is_aarch32() {
todo!()
}
if *r == Register::WSP {
todo!()
}
return Ok(())
}
todo!()
}
/// Verifies that operand #2 is valid.
pub fn check_op2(instr: &Instruction, op: &Operand) -> Result<()> {
if let Operand::Register(r) = op {
if !r.is_aarch64() {
todo!()
}
if *r == Register::XZR {
todo!()
}
return Ok(())
}
todo!()
}
/// Verifies that operand #3 is valid.
pub fn check_op3(instr: &Instruction, op: &Operand) -> Result<()> {
todo!()
}
/// Verifies that operand #4 is valid.
pub fn check_op4(instr: &Instruction, op: &Operand) -> Result<()> {
todo!()
}
/// Verifies that operand #5 is valid.
pub fn check_op5(instr: &Instruction, op: &Operand) -> Result<()> {
todo!()
}
/// Verifies that operand #6 is valid.
pub fn check_op6(instr: &Instruction, op: &Operand) -> Result<()> {
todo!()
}
/// Formats the instruction.
pub fn format(instr: &Instruction, fmt: &mut impl Formatter, output: &mut impl FormatterOutput, config: &Config) -> Result<()> {
fmt.format_mnemonic(output, &config.global, &config.instructions.ldxp_lp32_ldstexclp, instr)?;
fmt.format_punctuation(output, &config.global, &config.instructions.ldxp_lp32_ldstexclp, instr, FormatterTextKind::Space)?;
fmt.format_operand(output, &config.global, &config.instructions.ldxp_lp32_ldstexclp, instr, 0)?;
fmt.format_punctuation(output, &config.global, &config.instructions.ldxp_lp32_ldstexclp, instr, FormatterTextKind::Comma)?;
fmt.format_operand(output, &config.global, &config.instructions.ldxp_lp32_ldstexclp, instr, 1)?;
fmt.format_punctuation(output, &config.global, &config.instructions.ldxp_lp32_ldstexclp, instr, FormatterTextKind::Comma)?;
fmt.format_punctuation(output, &config.global, &config.instructions.ldxp_lp32_ldstexclp, instr, FormatterTextKind::BracketLeft)?;
fmt.format_operand(output, &config.global, &config.instructions.ldxp_lp32_ldstexclp, instr, 2)?;
if !config.global.syntax.omit_deref_null_const {
fmt.format_punctuation(output, &config.global, &config.instructions.ldxp_lp32_ldstexclp, instr, FormatterTextKind::Comma)?;
fmt.format_punctuation(output, &config.global, &config.instructions.ldxp_lp32_ldstexclp, instr, FormatterTextKind::NumSign)?;
fmt.format_text(output, &config.global, &config.instructions.ldxp_lp32_ldstexclp, instr, "0")?;
};
fmt.format_punctuation(output, &config.global, &config.instructions.ldxp_lp32_ldstexclp, instr, FormatterTextKind::BracketRight)?;;
Ok(())
}
}
/// Type that represents alias identifiers for [`LdxpLp32Ldstexclp`].
#[derive(Copy, Clone, Eq, PartialEq, Ord, PartialOrd, Debug, Hash)]
pub enum LdxpLp32LdstexclpAliases {
None,
}
/// None-bit encoding.
///
/// # Encoding
///
/// <table style="font-family: courier, monospace">
/// <tr>
/// <td style="border: none">31</td>
/// <td style="border: none">30</td>
/// <td style="border: none">29</td>
/// <td style="border: none">28</td>
/// <td style="border: none">27</td>
/// <td style="border: none">26</td>
/// <td style="border: none">25</td>
/// <td style="border: none">24</td>
/// <td style="border: none">23</td>
/// <td style="border: none">22</td>
/// <td style="border: none">21</td>
/// <td style="border: none">20</td>
/// <td style="border: none">19</td>
/// <td style="border: none">18</td>
/// <td style="border: none">17</td>
/// <td style="border: none">16</td>
/// <td style="border: none">15</td>
/// <td style="border: none">14</td>
/// <td style="border: none">13</td>
/// <td style="border: none">12</td>
/// <td style="border: none">11</td>
/// <td style="border: none">10</td>
/// <td style="border: none">9</td>
/// <td style="border: none">8</td>
/// <td style="border: none">7</td>
/// <td style="border: none">6</td>
/// <td style="border: none">5</td>
/// <td style="border: none">4</td>
/// <td style="border: none">3</td>
/// <td style="border: none">2</td>
/// <td style="border: none">1</td>
/// <td style="border: none">0</td>
/// </tr>
/// <tr>
/// <td style="text-align: center; border-right: none" colspan="1">1</td>
/// <td style="text-align: center" colspan="1">sz</td>
/// <td style="text-align: center; border-right: none" colspan="1">0</td>
/// <td style="text-align: center; border-left: none; border-right: none" colspan="1">0</td>
/// <td style="text-align: center; border-left: none; border-right: none" colspan="1">1</td>
/// <td style="text-align: center; border-left: none; border-right: none" colspan="1">0</td>
/// <td style="text-align: center; border-left: none; border-right: none" colspan="1">0</td>
/// <td style="text-align: center; border-left: none; border-right: none" colspan="1">0</td>
/// <td style="text-align: center; border-left: none" colspan="1">0</td>
/// <td style="text-align: center; border-right: none" colspan="1">1</td>
/// <td style="text-align: center; border-right: none" colspan="1">1</td>
/// <td style="text-align: center; border-right: none" colspan="3">(1)</td>
/// <td style="text-align: center; border-left: none; border-right: none" colspan="3">(1)</td>
/// <td style="text-align: center; border-left: none; border-right: none" colspan="3">(1)</td>
/// <td style="text-align: center; border-left: none; border-right: none" colspan="3">(1)</td>
/// <td style="text-align: center; border-left: none" colspan="3">(1)</td>
/// <td style="text-align: center; border-right: none" colspan="1">0</td>
/// <td style="text-align: center" colspan="5">Rt2</td>
/// <td style="text-align: center" colspan="5">Rn</td>
/// <td style="text-align: center" colspan="5">Rt</td>
/// </tr>
/// <tr>
/// <td style="text-align: center; border: none" colspan="1"></td>
/// <td style="text-align: center; border: none" colspan="1"></td>
/// <td style="text-align: center; border: none" colspan="7"></td>
/// <td style="text-align: center; border: none" colspan="1">L</td>
/// <td style="text-align: center; border: none" colspan="1"></td>
/// <td style="text-align: center; border: none" colspan="5">Rs</td>
/// <td style="text-align: center; border: none" colspan="1">o0</td>
/// <td style="text-align: center; border: none" colspan="5"></td>
/// <td style="text-align: center; border: none" colspan="5"></td>
/// <td style="text-align: center; border: none" colspan="5"></td>
/// </tr>
/// </table>
pub struct LdxpLp64Ldstexclp;
impl LdxpLp64Ldstexclp {
/// Returns the instruction mnemonic.
pub fn mnemonic(_instr: &Instruction) -> Mnemonic {
Mnemonic::LDXP
}
/// Returns the instruction size.
pub fn size(_instr: &Instruction) -> usize {
4
}
/// Decodes the instruction in `data`.
pub fn decode(data: u32, decoder: &mut Decoder) -> Result<Instruction> {
// Fields are extracted from the input value.
let Rt2 = (data >> 10) & 31;
let Rt2_post = Rt2;
let Rn = (data >> 5) & 31;
let Rn_post = Rn;
let Rt = (data >> 0) & 31;
let Rt_post = Rt;
// Operand values are computed from the base fields.
let Rt_post = Rt;
let op_0 = Register::aarch64(Rt_post, false)?;
let Rt2_post = Rt2;
let op_1 = Register::aarch64(Rt2_post, false)?;
let Rn_post = Rn;
let op_2 = Register::aarch64(Rn_post, true)?;
// Instruction creation from the operands.
let mut instr = Instruction::builder(Code::LDXP_LP64_ldstexclp)
.operand(0, op_0)?
.operand(1, op_1)?
.operand(2, op_2)?
.build();
Ok(instr)
}
/// Encodes the instruction into `buf`.
pub fn encode(instr: &Instruction, buf: &mut Vec<u8>) -> Result<usize> {
// Retrieve all operand values.
let Rt_pre = instr.op0().as_register()?.encode();
let Rt2_pre = instr.op1().as_register()?.encode();
let Rn_pre = instr.op2().as_register()?.encode();
// Compute all instruction fields from the operand values.
let Rt = (Rt_pre & 31);
let Rt2 = (Rt2_pre & 31);
let Rn = (Rn_pre & 31);
// Add all fields to the base instruction encoding.
let mut instr: u32 = 0b11001000011111110000000000000000;
instr |= (Rt & 31) << 0;
instr |= (Rt2 & 31) << 10;
instr |= (Rn & 31) << 5;
let bytes = instr.to_le_bytes();
let len = bytes.len();
buf.extend(bytes);
Ok(len)
}
/// Encode an instruction part of an instruction block into `buf`.
pub fn encode_block(instr: &mut Instruction, buf: &mut Vec<u8>, labels: &std::collections::HashMap<u64, u64>) -> Result<usize> {
Self::encode(instr, buf)
}
/// Verifies that operand #0 is valid.
pub fn check_op0(instr: &Instruction, op: &Operand) -> Result<()> {
if let Operand::Register(r) = op {
if !r.is_aarch64() {
todo!()
}
if *r == Register::SP {
todo!()
}
return Ok(())
}
todo!()
}
/// Verifies that operand #1 is valid.
pub fn check_op1(instr: &Instruction, op: &Operand) -> Result<()> {
if let Operand::Register(r) = op {
if !r.is_aarch64() {
todo!()
}
if *r == Register::SP {
todo!()
}
return Ok(())
}
todo!()
}
/// Verifies that operand #2 is valid.
pub fn check_op2(instr: &Instruction, op: &Operand) -> Result<()> {
if let Operand::Register(r) = op {
if !r.is_aarch64() {
todo!()
}
if *r == Register::XZR {
todo!()
}
return Ok(())
}
todo!()
}
/// Verifies that operand #3 is valid.
pub fn check_op3(instr: &Instruction, op: &Operand) -> Result<()> {
todo!()
}
/// Verifies that operand #4 is valid.
pub fn check_op4(instr: &Instruction, op: &Operand) -> Result<()> {
todo!()
}
/// Verifies that operand #5 is valid.
pub fn check_op5(instr: &Instruction, op: &Operand) -> Result<()> {
todo!()
}
/// Verifies that operand #6 is valid.
pub fn check_op6(instr: &Instruction, op: &Operand) -> Result<()> {
todo!()
}
/// Formats the instruction.
pub fn format(instr: &Instruction, fmt: &mut impl Formatter, output: &mut impl FormatterOutput, config: &Config) -> Result<()> {
fmt.format_mnemonic(output, &config.global, &config.instructions.ldxp_lp64_ldstexclp, instr)?;
fmt.format_punctuation(output, &config.global, &config.instructions.ldxp_lp64_ldstexclp, instr, FormatterTextKind::Space)?;
fmt.format_operand(output, &config.global, &config.instructions.ldxp_lp64_ldstexclp, instr, 0)?;
fmt.format_punctuation(output, &config.global, &config.instructions.ldxp_lp64_ldstexclp, instr, FormatterTextKind::Comma)?;
fmt.format_operand(output, &config.global, &config.instructions.ldxp_lp64_ldstexclp, instr, 1)?;
fmt.format_punctuation(output, &config.global, &config.instructions.ldxp_lp64_ldstexclp, instr, FormatterTextKind::Comma)?;
fmt.format_punctuation(output, &config.global, &config.instructions.ldxp_lp64_ldstexclp, instr, FormatterTextKind::BracketLeft)?;
fmt.format_operand(output, &config.global, &config.instructions.ldxp_lp64_ldstexclp, instr, 2)?;
if !config.global.syntax.omit_deref_null_const {
fmt.format_punctuation(output, &config.global, &config.instructions.ldxp_lp64_ldstexclp, instr, FormatterTextKind::Comma)?;
fmt.format_punctuation(output, &config.global, &config.instructions.ldxp_lp64_ldstexclp, instr, FormatterTextKind::NumSign)?;
fmt.format_text(output, &config.global, &config.instructions.ldxp_lp64_ldstexclp, instr, "0")?;
};
fmt.format_punctuation(output, &config.global, &config.instructions.ldxp_lp64_ldstexclp, instr, FormatterTextKind::BracketRight)?;;
Ok(())
}
}
/// Type that represents alias identifiers for [`LdxpLp64Ldstexclp`].
#[derive(Copy, Clone, Eq, PartialEq, Ord, PartialOrd, Debug, Hash)]
pub enum LdxpLp64LdstexclpAliases {
None,
}