charm 0.0.1

ARM assembler & disassembler generated from the ARM exploration tools.
Documentation
//! # MRS
//!
//! Move Special register to general-purpose register moves the value of the *APSR* , *CPSR* , or *SPSR* _<current_mode> into a general-purpose register.

#![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 IclassMrsT1As
// ---------------------------------------------------------------------------

/// Type that represents the IclassMrsT1As instruction class.
pub(crate) struct IclassMrsT1As;

impl IclassMrsT1As {
    /// Tries to decode the instruction in `data`.
    pub(crate) fn decode(data: u32, decoder: &mut Decoder) -> Result<Instruction> {
        let field_5 = (data >> 5) & 1;
        let field_5_post = field_5;
        let field_19 = (data >> 16) & 15;
        let field_19_post = field_19;
        let field_14 = (data >> 12) & 7;
        let field_14_post = field_14;
        let field_28 = (data >> 27) & 3;
        let field_28_post = field_28;
        let field_4 = (data >> 0) & 31;
        let field_4_post = field_4;
        let field_26 = (data >> 26) & 1;
        let field_26_post = field_26;
        let field_31 = (data >> 29) & 7;
        let field_31_post = field_31;
        let field_21 = (data >> 21) & 1;
        let field_21_post = field_21;
        let Rd = (data >> 8) & 15;
        let Rd_post = Rd;
        let field_15 = (data >> 15) & 1;
        let field_15_post = field_15;
        let field_7 = (data >> 6) & 3;
        let field_7_post = field_7;
        let R = (data >> 20) & 1;
        let R_post = R;
        let field_25 = (data >> 22) & 15;
        let field_25_post = field_25;


        return MrsT1As::decode(data as u32, decoder);

        unreachable!()
    }
}

/// MRS T1 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; border-left: none; border-right: none" colspan="1">1</td>
///          <td style="text-align: center; border-left: none" colspan="1">1</td>
///          <td style="text-align: center; border-right: none" colspan="1">1</td>
///          <td style="text-align: center; border-left: none" colspan="1">0</td>
///          <td style="text-align: center; border-right: none" colspan="1">0</td>
///          <td style="text-align: center; border-right: none" colspan="1">1</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">1</td>
///          <td style="text-align: center; border-left: none" colspan="1">1</td>
///          <td style="text-align: center; border-right: none" colspan="1">1</td>
/// <td style="text-align: center" colspan="1">R</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" colspan="3">(1)</td>
///          <td style="text-align: center; border-right: none" colspan="1">1</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="3">(0)</td>
///          <td style="text-align: center; border-left: none" colspan="1">0</td>
/// <td style="text-align: center" colspan="4">Rd</td>
///          <td style="text-align: center; border-right: none" colspan="3">(0)</td>
///          <td style="text-align: center; border-left: none" colspan="3">(0)</td>
///          <td style="text-align: center; border-right: none" colspan="1">0</td>
///          <td style="text-align: center; border-right: none" colspan="3">(0)</td>
///          <td style="text-align: center; border-left: none; border-right: none" colspan="3">(0)</td>
///          <td style="text-align: center; border-left: none; border-right: none" colspan="3">(0)</td>
///          <td style="text-align: center; border-left: none; border-right: none" colspan="3">(0)</td>
///          <td style="text-align: center; border-left: none" colspan="3">(0)</td>
///     </tr>
///     <tr>
/// <td style="text-align: center; border: none" colspan="3"></td>
/// <td style="text-align: center; border: none" colspan="2"></td>
/// <td style="text-align: center; border: none" colspan="1"></td>
/// <td style="text-align: center; border: none" colspan="4"></td>
/// <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="4"></td>
/// <td style="text-align: center; border: none" colspan="1"></td>
/// <td style="text-align: center; border: none" colspan="3"></td>
/// <td style="text-align: center; border: none" colspan="4"></td>
/// <td style="text-align: center; border: none" colspan="2"></td>
/// <td style="text-align: center; border: none" colspan="1"></td>
/// <td style="text-align: center; border: none" colspan="5"></td>
///     </tr>
/// </table>
pub struct MrsT1As;

impl MrsT1As {
    /// Returns the instruction mnemonic.
    pub fn mnemonic(_instr: &Instruction) -> Mnemonic {
        Mnemonic::MRS
    }

    /// Returns the instruction condition information.
    pub fn condition(instr: &Instruction) -> ConditionalInstruction {
        ConditionalInstruction::Condition(0, false, false)
    }

    /// 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 R = (data >> 20) & 1;
        let R_post = R;
        let Rd = (data >> 8) & 15;
        let Rd_post = Rd;
        
        // Compute the dependency values for the operands.
        let Rd_post = Rd;
        let R_post = R;

        // Operand values are computed from the base fields and the dependencies.
        let op_0 = MnemonicCondition::Al;
        let op_1 = Register::decode(Rd_post)?;
        let op_2 = match R_post {
    0 => SpecialRegister::APSR,
    1 => SpecialRegister::SPSR,
    _ => todo!(),
};

        // Instruction creation from the operands.
        let mut instr = Instruction::builder(Code::MRS_T1_AS)
            .operand(0, op_0)?
            .operand(1, op_1)?
            .operand(2, op_2)?
            .build();
        
        Ok(instr)
    }

    pub fn encode(instr: &Instruction, buf: &mut Vec<u8>) -> Result<usize> {
        // Retrieve all operand values.
        let Rd_pre = instr.op1().as_register()?.encode();
        let R_pre = match instr.op2().as_special_register()? {
    SpecialRegister::CPSR | SpecialRegister::APSR => 0,
    SpecialRegister::SPSR => 1,
    _ => todo!()
};

        // Compute all instruction fields from the operand values.
        let Rd = (Rd_pre & 15);
        let R = (R_pre & 1);

        // Add all fields to the base instruction encoding.
        let mut instr: u32 = 0b11110011111011111000000000000000;
        instr |= (Rd & 15) << 8;
        instr |= (R & 1) << 20;

        let instr_1 = (instr & 0xffff) as u16;
        let instr_2 = ((instr >> 16) & 0xffff) as u16;
        buf.extend(instr_2.to_le_bytes());
        buf.extend(instr_1.to_le_bytes());
        Ok(4)
    }

    /// 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::MnemonicCondition(r) = op {
            return Ok(())
        }
        todo!()
    }
    
    /// Verifies that operand #1 is valid.
    pub fn check_op1(instr: &Instruction, op: &Operand) -> Result<()> {
        
        if let Operand::Register(r) = op {
            return Ok(())
        }
        todo!()
    }
    
    /// Verifies that operand #2 is valid.
    pub fn check_op2(instr: &Instruction, op: &Operand) -> Result<()> {
        match op.as_special_register()? {
            SpecialRegister::APSR | SpecialRegister::CPSR | SpecialRegister::SPSR => 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.mrs_t1_as, &instr)?;
        fmt.format_operand(output, &config.global, &config.instructions.mrs_t1_as, &instr, 0)?;
        fmt.format_qualifier(output, &config.global, &config.instructions.mrs_t1_as, &instr, FormatterQualifier::Wide, false, false)?;
        fmt.format_punctuation(output, &config.global, &config.instructions.mrs_t1_as, &instr, FormatterTextKind::Space)?;
        fmt.format_operand(output, &config.global, &config.instructions.mrs_t1_as, &instr, 1)?;
        fmt.format_punctuation(output, &config.global, &config.instructions.mrs_t1_as, &instr, FormatterTextKind::Comma)?;
        fmt.format_operand(output, &config.global, &config.instructions.mrs_t1_as, &instr, 2)?;
        Ok(())
    }
}

/// Type that represents alias identifiers for [`MrsT1As`].
#[derive(Copy, Clone, Eq, PartialEq, Ord, PartialOrd, Debug, Hash)]
pub enum MrsT1AsAliases {
    None,
}

/// Type that represents encoding identifiers for [`MrsT1As`].
#[derive(Copy, Clone, Eq, PartialEq, Ord, PartialOrd, Debug, Hash)]
pub enum MrsT1AsEncodings {
    None
}