charm 0.0.1

//! # ADD, ADDS (immediate)
//!
//! Add (immediate) adds an immediate value to a register value, and writes the result to the destination 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 IclassAddIT1
// ---------------------------------------------------------------------------

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

impl IclassAddIT1 {
    /// Tries to decode the instruction in `data`.
    pub(crate) fn decode(data: u32, decoder: &mut Decoder) -> Result<Instruction> {
        let imm3 = (data >> 6) & 7;
        let imm3_post = imm3;
        let Rd = (data >> 0) & 7;
        let Rd_post = Rd;
        let Rn = (data >> 3) & 7;
        let Rn_post = Rn;
        let S = (data >> 9) & 1;
        let S_post = S;
        let field_13 = (data >> 13) & 1;
        let field_13_post = field_13;
        let field_12 = (data >> 11) & 3;
        let field_12_post = field_12;
        let field_15 = (data >> 14) & 3;
        let field_15_post = field_15;
        let field_10 = (data >> 10) & 1;
        let field_10_post = field_10;


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

        unreachable!()
    }
}

/// ADD T1 encoding.
///
/// # Encoding
///
/// <table style="font-family: courier, monospace">
///     <tr>
///         <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">0</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" 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="1">0</td>
/// <td style="text-align: center" colspan="3">imm3</td>
/// <td style="text-align: center" colspan="3">Rn</td>
/// <td style="text-align: center" colspan="3">Rd</td>
///     </tr>
///     <tr>
/// <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="2"></td>
/// <td style="text-align: center; border: none" colspan="1"></td>
/// <td style="text-align: center; border: none" colspan="1">S</td>
/// <td style="text-align: center; border: none" colspan="3"></td>
/// <td style="text-align: center; border: none" colspan="3"></td>
/// <td style="text-align: center; border: none" colspan="3"></td>
///     </tr>
/// </table>
pub struct AddIT1;

impl AddIT1 {
    /// Returns the instruction mnemonic.
    pub fn mnemonic(instr: &Instruction) -> Mnemonic {
        match instr.encoding {
            Encoding::Alt1 => Mnemonic::ADD,
            Encoding::Alt2 => Mnemonic::ADDS,
            _ => todo!()
        }
    }

    /// Returns the instruction condition information.
    pub fn condition(instr: &Instruction) -> ConditionalInstruction {
        match instr.encoding {
            Encoding::Alt1 => {
                ConditionalInstruction::Condition(0, false, false)
            }
            Encoding::Alt2 => {
                ConditionalInstruction::None
            }
            _ => todo!()
        }
    }

    /// Returns the instruction size.
    pub fn size(instr: &Instruction) -> usize {
        match instr.encoding {
            Encoding::Alt1 =>  2 ,
            Encoding::Alt2 =>  2 ,
            _ => todo!()
        }
    }

    /// Decodes the instruction in `data`.
    pub fn decode(data: u32, decoder: &mut Decoder) -> Result<Instruction> {
        let imm3 = (data >> 6) & 7;
        let imm3_post = imm3;
        let Rn = (data >> 3) & 7;
        let Rn_post = Rn;
        let Rd = (data >> 0) & 7;
        let Rd_post = Rd;
        let imm3_post = imm3;
        let Rd_post = Rd;
        let Rn_post = Rn;

        // Checks if preferred encodings have been configured.
        if let Some(encoding) = decoder.config.instructions.add_i_t1.encodings {
            match encoding {
                AddIT1Encodings::Alt1 => {
                    // Operand values are computed from the base fields.
                    let op_0 = MnemonicCondition::Al;
                    let Rd_post = Rd;
                    let op_1 = Register::decode(Rd_post)?;
                    let Rn_post = Rn;
                    let op_2 = Register::decode(Rn_post)?;
                    let imm3_post = imm3;
                    let op_3 = imm3_post as u32;

                    // The instruction is then created from the operands.
                    let mut instr = Instruction::builder_multi(Code::ADD_i_T1, Encoding::Alt1)
                        .operand(0, op_0)?
                        .operand(1, op_1)?
                        .operand(2, op_2)?
                        .operand(3, op_3)?
                        .build();
                    
                    return Ok(instr);
                }
                AddIT1Encodings::Alt2 => {
                    // Operand values are computed from the base fields.
                    let Rd_post = Rd;
                    let op_0 = Register::decode(Rd_post)?;
                    let Rn_post = Rn;
                    let op_1 = Register::decode(Rn_post)?;
                    let imm3_post = imm3;
                    let op_2 = imm3_post as u32;

                    // The instruction is then created from the operands.
                    let mut instr = Instruction::builder_multi(Code::ADD_i_T1, Encoding::Alt2)
                        .operand(0, op_0)?
                        .operand(1, op_1)?
                        .operand(2, op_2)?
                        .build();
                    
                    return Ok(instr);
                }
            }
        }
        
        if (!decoder.it_block.is_none()) {
            // Operand values are computed from the base fields.
            let op_0 = MnemonicCondition::Al;
            let Rd_post = Rd;
            let op_1 = Register::decode(Rd_post)?;
            let Rn_post = Rn;
            let op_2 = Register::decode(Rn_post)?;
            let imm3_post = imm3;
            let op_3 = imm3_post as u32;

            // The instruction is then created from the operands.
            let mut instr = Instruction::builder_multi(Code::ADD_i_T1, Encoding::Alt1)
                .operand(0, op_0)?
                .operand(1, op_1)?
                .operand(2, op_2)?
                .operand(3, op_3)?
                .build();
            
            return Ok(instr);
        }
        
        
        if (decoder.it_block.is_none()) {
            // Operand values are computed from the base fields.
            let Rd_post = Rd;
            let op_0 = Register::decode(Rd_post)?;
            let Rn_post = Rn;
            let op_1 = Register::decode(Rn_post)?;
            let imm3_post = imm3;
            let op_2 = imm3_post as u32;

            // The instruction is then created from the operands.
            let mut instr = Instruction::builder_multi(Code::ADD_i_T1, Encoding::Alt2)
                .operand(0, op_0)?
                .operand(1, op_1)?
                .operand(2, op_2)?
                .build();
            
            return Ok(instr);
        }
        
        
        unreachable!()
    }

    /// Encodes the instruction into `buf`.
    pub fn encode(instr: &Instruction, buf: &mut Vec<u8>) -> Result<usize> {
        match instr.encoding {
            Encoding::Alt1 => {
                // Retrieve all operand values.
                let Rd_pre = instr.op1().as_register()?.encode();
                let Rn_pre = instr.op2().as_register()?.encode();
                let imm3_pre = instr.op3().as_unsigned_immediate()? as u32;

                // Compute all instruction fields from the operand values.
                let Rd = (Rd_pre & 7);
                let Rn = (Rn_pre & 7);
                let imm3_pre = imm3_pre;
                let imm3 = (imm3_pre & 7);

                // Add all field values to the base instruction encoding.
                let mut instr: u32 = 0b0001110000000000;
                instr |= (Rd & 7) << 0;
                instr |= (Rn & 7) << 3;
                instr |= (imm3 & 7) << 6;

                let instr = instr as u16;
                buf.extend(instr.to_le_bytes());
                return Ok(2);
            }
            Encoding::Alt2 => {
                // Retrieve all operand values.
                let Rd_pre = instr.op0().as_register()?.encode();
                let Rn_pre = instr.op1().as_register()?.encode();
                let imm3_pre = instr.op2().as_unsigned_immediate()? as u32;

                // Compute all instruction fields from the operand values.
                let Rd = (Rd_pre & 7);
                let Rn = (Rn_pre & 7);
                let imm3_pre = imm3_pre;
                let imm3 = (imm3_pre & 7);

                // Add all field values to the base instruction encoding.
                let mut instr: u32 = 0b0001110000000000;
                instr |= (Rd & 7) << 0;
                instr |= (Rn & 7) << 3;
                instr |= (imm3 & 7) << 6;

                let instr = instr as u16;
                buf.extend(instr.to_le_bytes());
                return Ok(2);
            }
            _ => todo!()
        }
        unreachable!()
    }

    /// 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> {
        match instr.encoding {
            Encoding::Alt1 => {
                Self::encode(instr, buf)
            }
            Encoding::Alt2 => {
                Self::encode(instr, buf)
            }
            _ => todo!()
        }
    }
    
    /// Verifies that operand #0 is valid.
    pub fn check_op0(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt1 => {
                if let Operand::MnemonicCondition(r) = op {
                    return Ok(())
                }
                todo!()
            }
            Encoding::Alt2 => {
                
                if let Operand::Register(r) = op {
                    return Ok(())
                }
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }
    
    /// Verifies that operand #1 is valid.
    pub fn check_op1(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt1 => {
                
                if let Operand::Register(r) = op {
                    return Ok(())
                }
                todo!()
            }
            Encoding::Alt2 => {
                
                if let Operand::Register(r) = op {
                    return Ok(())
                }
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }
    
    /// Verifies that operand #2 is valid.
    pub fn check_op2(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt1 => {
                
                if let Operand::Register(r) = op {
                    return Ok(())
                }
                todo!()
            }
            Encoding::Alt2 => {
                if let Operand::SignedImmediate(i) = op {
                    if *i < 0 || *i > 7 {
                        todo!()
                    }
                    return Ok(())
                }
                if let Operand::UnsignedImmediate(i) = op {
                    if !(0..=7).contains(i) {
                        todo!()
                    }
                    return Ok(())
                }
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }
    
    /// Verifies that operand #3 is valid.
    pub fn check_op3(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt1 => {
                if let Operand::SignedImmediate(i) = op {
                    if *i < 0 || *i > 7 {
                        todo!()
                    }
                    return Ok(())
                }
                if let Operand::UnsignedImmediate(i) = op {
                    if !(0..=7).contains(i) {
                        todo!()
                    }
                    return Ok(())
                }
                todo!()
            }
            Encoding::Alt2 => {
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }
    
    /// Verifies that operand #4 is valid.
    pub fn check_op4(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt1 => {
                todo!()
            }
            Encoding::Alt2 => {
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }
    
    /// Verifies that operand #5 is valid.
    pub fn check_op5(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt1 => {
                todo!()
            }
            Encoding::Alt2 => {
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }
    
    /// Verifies that operand #6 is valid.
    pub fn check_op6(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt1 => {
                todo!()
            }
            Encoding::Alt2 => {
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }

    /// Formats the instruction.
    pub fn format(instr: &Instruction, fmt: &mut impl Formatter, output: &mut impl FormatterOutput, config: &Config) -> Result<()> {
        match instr.encoding {
            Encoding::Alt1 => {
                fmt.format_mnemonic(output, &config.global, &config.instructions.add_i_t1, &instr)?;
                fmt.format_operand(output, &config.global, &config.instructions.add_i_t1, &instr, 0)?;
                fmt.format_qualifier(output, &config.global, &config.instructions.add_i_t1, &instr, FormatterQualifier::Narrow, true, false)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t1, &instr, FormatterTextKind::Space)?;
                fmt.format_operand(output, &config.global, &config.instructions.add_i_t1, &instr, 1)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t1, &instr, FormatterTextKind::Comma)?;
                fmt.format_operand(output, &config.global, &config.instructions.add_i_t1, &instr, 2)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t1, &instr, FormatterTextKind::Comma)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t1, &instr, FormatterTextKind::NumSign)?;
                fmt.format_operand(output, &config.global, &config.instructions.add_i_t1, &instr, 3)?;
                return Ok(());
            }
            Encoding::Alt2 => {
                fmt.format_mnemonic(output, &config.global, &config.instructions.add_i_t1, &instr)?;
                fmt.format_qualifier(output, &config.global, &config.instructions.add_i_t1, &instr, FormatterQualifier::Narrow, true, false)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t1, &instr, FormatterTextKind::Space)?;
                fmt.format_operand(output, &config.global, &config.instructions.add_i_t1, &instr, 0)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t1, &instr, FormatterTextKind::Comma)?;
                fmt.format_operand(output, &config.global, &config.instructions.add_i_t1, &instr, 1)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t1, &instr, FormatterTextKind::Comma)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t1, &instr, FormatterTextKind::NumSign)?;
                fmt.format_operand(output, &config.global, &config.instructions.add_i_t1, &instr, 2)?;
                return Ok(());
            }
            _ => todo!()
        }
        unreachable!()
    }
}

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

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

// ---------------------------------------------------------------------------
// Iclass IclassAddIT2
// ---------------------------------------------------------------------------

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

impl IclassAddIT2 {
    /// Tries to decode the instruction in `data`.
    pub(crate) fn decode(data: u32, decoder: &mut Decoder) -> Result<Instruction> {
        let imm8 = (data >> 0) & 255;
        let imm8_post = imm8;
        let field_13 = (data >> 13) & 1;
        let field_13_post = field_13;
        let op = (data >> 11) & 3;
        let op_post = op;
        let Rdn = (data >> 8) & 7;
        let Rdn_post = Rdn;
        let field_15 = (data >> 14) & 3;
        let field_15_post = field_15;


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

        unreachable!()
    }
}

/// ADD T2 encoding.
///
/// # Encoding
///
/// <table style="font-family: courier, monospace">
///     <tr>
///         <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">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-left: none" colspan="1">0</td>
/// <td style="text-align: center" colspan="3">Rdn</td>
/// <td style="text-align: center" colspan="8">imm8</td>
///     </tr>
///     <tr>
/// <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="2">op</td>
/// <td style="text-align: center; border: none" colspan="3"></td>
/// <td style="text-align: center; border: none" colspan="8"></td>
///     </tr>
/// </table>
pub struct AddIT2;

impl AddIT2 {
    /// Returns the instruction mnemonic.
    pub fn mnemonic(instr: &Instruction) -> Mnemonic {
        match instr.encoding {
            Encoding::Alt1 => Mnemonic::ADD,
            Encoding::Alt2 => Mnemonic::ADD,
            Encoding::Alt3 => Mnemonic::ADDS,
            Encoding::Alt4 => Mnemonic::ADDS,
            _ => todo!()
        }
    }

    /// Returns the instruction condition information.
    pub fn condition(instr: &Instruction) -> ConditionalInstruction {
        match instr.encoding {
            Encoding::Alt1 => {
                ConditionalInstruction::Condition(0, false, false)
            }
            Encoding::Alt2 => {
                ConditionalInstruction::Condition(0, false, false)
            }
            Encoding::Alt3 => {
                ConditionalInstruction::None
            }
            Encoding::Alt4 => {
                ConditionalInstruction::None
            }
            _ => todo!()
        }
    }

    /// Returns the instruction size.
    pub fn size(instr: &Instruction) -> usize {
        match instr.encoding {
            Encoding::Alt1 =>  2 ,
            Encoding::Alt2 =>  2 ,
            Encoding::Alt3 =>  2 ,
            Encoding::Alt4 =>  2 ,
            _ => todo!()
        }
    }

    /// Decodes the instruction in `data`.
    pub fn decode(data: u32, decoder: &mut Decoder) -> Result<Instruction> {
        let Rdn = (data >> 8) & 7;
        let Rdn_post = Rdn;
        let imm8 = (data >> 0) & 255;
        let imm8_post = imm8;
        let Rdn_post = Rdn;
        let imm8_post = imm8;

        // Checks if preferred encodings have been configured.
        if let Some(encoding) = decoder.config.instructions.add_i_t2.encodings {
            match encoding {
                AddIT2Encodings::Alt1 => {
                    // Operand values are computed from the base fields.
                    let op_0 = MnemonicCondition::Al;
                    let Rdn_post = Rdn;
                    let op_1 = Register::decode(Rdn_post)?;
                    let imm8_post = imm8;
                    let op_2 = imm8_post as u32;

                    // The instruction is then created from the operands.
                    let mut instr = Instruction::builder_multi(Code::ADD_i_T2, Encoding::Alt1)
                        .operand(0, op_0)?
                        .operand(1, op_1)?
                        .operand(2, op_2)?
                        .build();
                    
                    return Ok(instr);
                }
                AddIT2Encodings::Alt2 => {
                    // Operand values are computed from the base fields.
                    let op_0 = MnemonicCondition::Al;
                    let Rdn_post = Rdn;
                    let op_1 = Register::decode(Rdn_post)?;
                    let Rdn_post = Rdn;
                    let op_2 = Register::decode(Rdn_post)?;
                    let imm8_post = imm8;
                    let op_3 = imm8_post as u32;

                    // The instruction is then created from the operands.
                    let mut instr = Instruction::builder_multi(Code::ADD_i_T2, Encoding::Alt2)
                        .operand(0, op_0)?
                        .operand(1, op_1)?
                        .operand(2, op_2)?
                        .operand(3, op_3)?
                        .build();
                    
                    return Ok(instr);
                }
                AddIT2Encodings::Alt3 => {
                    // Operand values are computed from the base fields.
                    let Rdn_post = Rdn;
                    let op_0 = Register::decode(Rdn_post)?;
                    let imm8_post = imm8;
                    let op_1 = imm8_post as u32;

                    // The instruction is then created from the operands.
                    let mut instr = Instruction::builder_multi(Code::ADD_i_T2, Encoding::Alt3)
                        .operand(0, op_0)?
                        .operand(1, op_1)?
                        .build();
                    
                    return Ok(instr);
                }
                AddIT2Encodings::Alt4 => {
                    // Operand values are computed from the base fields.
                    let Rdn_post = Rdn;
                    let op_0 = Register::decode(Rdn_post)?;
                    let Rdn_post = Rdn;
                    let op_1 = Register::decode(Rdn_post)?;
                    let imm8_post = imm8;
                    let op_2 = imm8_post as u32;

                    // The instruction is then created from the operands.
                    let mut instr = Instruction::builder_multi(Code::ADD_i_T2, Encoding::Alt4)
                        .operand(0, op_0)?
                        .operand(1, op_1)?
                        .operand(2, op_2)?
                        .build();
                    
                    return Ok(instr);
                }
            }
        }
        
        if (!decoder.it_block.is_none()) && (imm8_post < 8) {
            // Operand values are computed from the base fields.
            let op_0 = MnemonicCondition::Al;
            let Rdn_post = Rdn;
            let op_1 = Register::decode(Rdn_post)?;
            let imm8_post = imm8;
            let op_2 = imm8_post as u32;

            // The instruction is then created from the operands.
            let mut instr = Instruction::builder_multi(Code::ADD_i_T2, Encoding::Alt1)
                .operand(0, op_0)?
                .operand(1, op_1)?
                .operand(2, op_2)?
                .build();
            
            return Ok(instr);
        }
        
        
        if (!decoder.it_block.is_none()) && (!((Rdn_post <= 7 && imm8_post <= 7))) {
            // Operand values are computed from the base fields.
            let op_0 = MnemonicCondition::Al;
            let Rdn_post = Rdn;
            let op_1 = Register::decode(Rdn_post)?;
            let Rdn_post = Rdn;
            let op_2 = Register::decode(Rdn_post)?;
            let imm8_post = imm8;
            let op_3 = imm8_post as u32;

            // The instruction is then created from the operands.
            let mut instr = Instruction::builder_multi(Code::ADD_i_T2, Encoding::Alt2)
                .operand(0, op_0)?
                .operand(1, op_1)?
                .operand(2, op_2)?
                .operand(3, op_3)?
                .build();
            
            return Ok(instr);
        }
        
        
        if (decoder.it_block.is_none()) && ((Rdn_post <= 7 && imm8_post <= 7)) {
            // Operand values are computed from the base fields.
            let Rdn_post = Rdn;
            let op_0 = Register::decode(Rdn_post)?;
            let imm8_post = imm8;
            let op_1 = imm8_post as u32;

            // The instruction is then created from the operands.
            let mut instr = Instruction::builder_multi(Code::ADD_i_T2, Encoding::Alt3)
                .operand(0, op_0)?
                .operand(1, op_1)?
                .build();
            
            return Ok(instr);
        }
        
        
        if (decoder.it_block.is_none()) && (!((Rdn_post <= 7 && imm8_post <= 7))) {
            // Operand values are computed from the base fields.
            let Rdn_post = Rdn;
            let op_0 = Register::decode(Rdn_post)?;
            let Rdn_post = Rdn;
            let op_1 = Register::decode(Rdn_post)?;
            let imm8_post = imm8;
            let op_2 = imm8_post as u32;

            // The instruction is then created from the operands.
            let mut instr = Instruction::builder_multi(Code::ADD_i_T2, Encoding::Alt4)
                .operand(0, op_0)?
                .operand(1, op_1)?
                .operand(2, op_2)?
                .build();
            
            return Ok(instr);
        }
        
        
        unreachable!()
    }

    /// Encodes the instruction into `buf`.
    pub fn encode(instr: &Instruction, buf: &mut Vec<u8>) -> Result<usize> {
        match instr.encoding {
            Encoding::Alt1 => {
                // Retrieve all operand values.
                let Rdn_pre = instr.op1().as_register()?.encode();
                let imm8_pre = instr.op2().as_unsigned_immediate()? as u32;

                // Compute all instruction fields from the operand values.
                let Rdn = (Rdn_pre & 7);
                let imm8_pre = imm8_pre;
                let imm8 = (imm8_pre & 255);

                // Add all field values to the base instruction encoding.
                let mut instr: u32 = 0b0011000000000000;
                instr |= (Rdn & 7) << 8;
                instr |= (imm8 & 255) << 0;

                let instr = instr as u16;
                buf.extend(instr.to_le_bytes());
                return Ok(2);
            }
            Encoding::Alt2 => {
                // Retrieve all operand values.
                let Rdn_pre = instr.op1().as_register()?.encode();
                let Rdn_pre = instr.op2().as_register()?.encode();
                let imm8_pre = instr.op3().as_unsigned_immediate()? as u32;

                // Compute all instruction fields from the operand values.
                let Rdn = (Rdn_pre & 7);
                let Rdn = (Rdn_pre & 7);
                let imm8_pre = imm8_pre;
                let imm8 = (imm8_pre & 255);

                // Add all field values to the base instruction encoding.
                let mut instr: u32 = 0b0011000000000000;
                instr |= (Rdn & 7) << 8;
                instr |= (Rdn & 7) << 8;
                instr |= (imm8 & 255) << 0;

                let instr = instr as u16;
                buf.extend(instr.to_le_bytes());
                return Ok(2);
            }
            Encoding::Alt3 => {
                // Retrieve all operand values.
                let Rdn_pre = instr.op0().as_register()?.encode();
                let imm8_pre = instr.op1().as_unsigned_immediate()? as u32;

                // Compute all instruction fields from the operand values.
                let Rdn = (Rdn_pre & 7);
                let imm8_pre = imm8_pre;
                let imm8 = (imm8_pre & 255);

                // Add all field values to the base instruction encoding.
                let mut instr: u32 = 0b0011000000000000;
                instr |= (Rdn & 7) << 8;
                instr |= (imm8 & 255) << 0;

                let instr = instr as u16;
                buf.extend(instr.to_le_bytes());
                return Ok(2);
            }
            Encoding::Alt4 => {
                // Retrieve all operand values.
                let Rdn_pre = instr.op0().as_register()?.encode();
                let Rdn_pre = instr.op1().as_register()?.encode();
                let imm8_pre = instr.op2().as_unsigned_immediate()? as u32;

                // Compute all instruction fields from the operand values.
                let Rdn = (Rdn_pre & 7);
                let Rdn = (Rdn_pre & 7);
                let imm8_pre = imm8_pre;
                let imm8 = (imm8_pre & 255);

                // Add all field values to the base instruction encoding.
                let mut instr: u32 = 0b0011000000000000;
                instr |= (Rdn & 7) << 8;
                instr |= (Rdn & 7) << 8;
                instr |= (imm8 & 255) << 0;

                let instr = instr as u16;
                buf.extend(instr.to_le_bytes());
                return Ok(2);
            }
            _ => todo!()
        }
        unreachable!()
    }

    /// 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> {
        match instr.encoding {
            Encoding::Alt1 => {
                Self::encode(instr, buf)
            }
            Encoding::Alt2 => {
                Self::encode(instr, buf)
            }
            Encoding::Alt3 => {
                Self::encode(instr, buf)
            }
            Encoding::Alt4 => {
                Self::encode(instr, buf)
            }
            _ => todo!()
        }
    }
    
    /// Verifies that operand #0 is valid.
    pub fn check_op0(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt1 => {
                if let Operand::MnemonicCondition(r) = op {
                    return Ok(())
                }
                todo!()
            }
            Encoding::Alt2 => {
                if let Operand::MnemonicCondition(r) = op {
                    return Ok(())
                }
                todo!()
            }
            Encoding::Alt3 => {
                
                if let Operand::Register(r) = op {
                    return Ok(())
                }
                todo!()
            }
            Encoding::Alt4 => {
                
                if let Operand::Register(r) = op {
                    if !instr.op1().is_none() && instr.op1().as_register()? != r {
                        todo!()
                    }
                    return Ok(())
                }
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }
    
    /// Verifies that operand #1 is valid.
    pub fn check_op1(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt1 => {
                
                if let Operand::Register(r) = op {
                    return Ok(())
                }
                todo!()
            }
            Encoding::Alt2 => {
                
                if let Operand::Register(r) = op {
                    if !instr.op2().is_none() && instr.op2().as_register()? != r {
                        todo!()
                    }
                    return Ok(())
                }
                todo!()
            }
            Encoding::Alt3 => {
                if let Operand::SignedImmediate(i) = op {
                    if *i < 0 || *i > 255 {
                        todo!()
                    }
                    return Ok(())
                }
                if let Operand::UnsignedImmediate(i) = op {
                    if !(0..=255).contains(i) {
                        todo!()
                    }
                    return Ok(())
                }
                todo!()
            }
            Encoding::Alt4 => {
                
                if let Operand::Register(r) = op {
                    return Ok(())
                }
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }
    
    /// Verifies that operand #2 is valid.
    pub fn check_op2(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt1 => {
                if let Operand::SignedImmediate(i) = op {
                    if *i < 0 || *i > 255 {
                        todo!()
                    }
                    return Ok(())
                }
                if let Operand::UnsignedImmediate(i) = op {
                    if !(0..=255).contains(i) {
                        todo!()
                    }
                    return Ok(())
                }
                todo!()
            }
            Encoding::Alt2 => {
                
                if let Operand::Register(r) = op {
                    return Ok(())
                }
                todo!()
            }
            Encoding::Alt3 => {
                todo!()
            }
            Encoding::Alt4 => {
                if let Operand::SignedImmediate(i) = op {
                    if *i < 0 || *i > 255 {
                        todo!()
                    }
                    return Ok(())
                }
                if let Operand::UnsignedImmediate(i) = op {
                    if !(0..=255).contains(i) {
                        todo!()
                    }
                    return Ok(())
                }
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }
    
    /// Verifies that operand #3 is valid.
    pub fn check_op3(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt1 => {
                todo!()
            }
            Encoding::Alt2 => {
                if let Operand::SignedImmediate(i) = op {
                    if *i < 0 || *i > 255 {
                        todo!()
                    }
                    return Ok(())
                }
                if let Operand::UnsignedImmediate(i) = op {
                    if !(0..=255).contains(i) {
                        todo!()
                    }
                    return Ok(())
                }
                todo!()
            }
            Encoding::Alt3 => {
                todo!()
            }
            Encoding::Alt4 => {
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }
    
    /// Verifies that operand #4 is valid.
    pub fn check_op4(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt1 => {
                todo!()
            }
            Encoding::Alt2 => {
                todo!()
            }
            Encoding::Alt3 => {
                todo!()
            }
            Encoding::Alt4 => {
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }
    
    /// Verifies that operand #5 is valid.
    pub fn check_op5(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt1 => {
                todo!()
            }
            Encoding::Alt2 => {
                todo!()
            }
            Encoding::Alt3 => {
                todo!()
            }
            Encoding::Alt4 => {
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }
    
    /// Verifies that operand #6 is valid.
    pub fn check_op6(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt1 => {
                todo!()
            }
            Encoding::Alt2 => {
                todo!()
            }
            Encoding::Alt3 => {
                todo!()
            }
            Encoding::Alt4 => {
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }

    /// Formats the instruction.
    pub fn format(instr: &Instruction, fmt: &mut impl Formatter, output: &mut impl FormatterOutput, config: &Config) -> Result<()> {
        match instr.encoding {
            Encoding::Alt1 => {
                fmt.format_mnemonic(output, &config.global, &config.instructions.add_i_t2, &instr)?;
                fmt.format_operand(output, &config.global, &config.instructions.add_i_t2, &instr, 0)?;
                fmt.format_qualifier(output, &config.global, &config.instructions.add_i_t2, &instr, FormatterQualifier::Narrow, true, false)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t2, &instr, FormatterTextKind::Space)?;
                fmt.format_operand(output, &config.global, &config.instructions.add_i_t2, &instr, 1)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t2, &instr, FormatterTextKind::Comma)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t2, &instr, FormatterTextKind::NumSign)?;
                fmt.format_operand(output, &config.global, &config.instructions.add_i_t2, &instr, 2)?;
                return Ok(());
            }
            Encoding::Alt2 => {
                fmt.format_mnemonic(output, &config.global, &config.instructions.add_i_t2, &instr)?;
                fmt.format_operand(output, &config.global, &config.instructions.add_i_t2, &instr, 0)?;
                fmt.format_qualifier(output, &config.global, &config.instructions.add_i_t2, &instr, FormatterQualifier::Narrow, true, false)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t2, &instr, FormatterTextKind::Space)?;
                if !config.global.syntax.omit_src_dst_same_reg {
    fmt.format_operand(output, &config.global, &config.instructions.add_i_t2, &instr, 1)?;
    fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t2, &instr, FormatterTextKind::Comma)?;
};
                fmt.format_operand(output, &config.global, &config.instructions.add_i_t2, &instr, 2)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t2, &instr, FormatterTextKind::Comma)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t2, &instr, FormatterTextKind::NumSign)?;
                fmt.format_operand(output, &config.global, &config.instructions.add_i_t2, &instr, 3)?;
                return Ok(());
            }
            Encoding::Alt3 => {
                fmt.format_mnemonic(output, &config.global, &config.instructions.add_i_t2, &instr)?;
                fmt.format_qualifier(output, &config.global, &config.instructions.add_i_t2, &instr, FormatterQualifier::Narrow, true, false)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t2, &instr, FormatterTextKind::Space)?;
                fmt.format_operand(output, &config.global, &config.instructions.add_i_t2, &instr, 0)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t2, &instr, FormatterTextKind::Comma)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t2, &instr, FormatterTextKind::NumSign)?;
                fmt.format_operand(output, &config.global, &config.instructions.add_i_t2, &instr, 1)?;
                return Ok(());
            }
            Encoding::Alt4 => {
                fmt.format_mnemonic(output, &config.global, &config.instructions.add_i_t2, &instr)?;
                fmt.format_qualifier(output, &config.global, &config.instructions.add_i_t2, &instr, FormatterQualifier::Narrow, true, false)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t2, &instr, FormatterTextKind::Space)?;
                if !config.global.syntax.omit_src_dst_same_reg {
    fmt.format_operand(output, &config.global, &config.instructions.add_i_t2, &instr, 0)?;
    fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t2, &instr, FormatterTextKind::Comma)?;
};
                fmt.format_operand(output, &config.global, &config.instructions.add_i_t2, &instr, 1)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t2, &instr, FormatterTextKind::Comma)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t2, &instr, FormatterTextKind::NumSign)?;
                fmt.format_operand(output, &config.global, &config.instructions.add_i_t2, &instr, 2)?;
                return Ok(());
            }
            _ => todo!()
        }
        unreachable!()
    }
}

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

/// Type that represents encoding identifiers for [`AddIT2`].
#[derive(Copy, Clone, Eq, PartialEq, Ord, PartialOrd, Debug, Hash)]
pub enum AddIT2Encodings {
    Alt1,
    Alt2,
    Alt3,
    Alt4,
}

// ---------------------------------------------------------------------------
// Iclass IclassAddIT3
// ---------------------------------------------------------------------------

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

impl IclassAddIT3 {
    /// Tries to decode the instruction in `data`.
    pub(crate) fn decode(data: u32, decoder: &mut Decoder) -> Result<Instruction> {
        let imm8 = (data >> 0) & 255;
        let imm8_post = imm8;
        let imm3 = (data >> 12) & 7;
        let imm3_post = imm3;
        let S = (data >> 20) & 1;
        let S_post = S;
        let i = (data >> 26) & 1;
        let i_post = i;
        let Rn = (data >> 16) & 15;
        let Rn_post = Rn;
        let field_25 = (data >> 25) & 1;
        let field_25_post = field_25;
        let field_15 = (data >> 15) & 1;
        let field_15_post = field_15;
        let Rd = (data >> 8) & 15;
        let Rd_post = Rd;
        let op1 = (data >> 21) & 15;
        let op1_post = op1;
        let field_31 = (data >> 27) & 31;
        let field_31_post = field_31;


        if (S_post == 0) {
            return AddIT3::decode(data as u32, decoder);
        }

        if ((S_post == 1) && (Rd_post != 15)) {
            return AddsIT3::decode(data as u32, decoder);
        }

        unreachable!()
    }
}

/// ADD T3 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; 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">0</td>
/// <td style="text-align: center" colspan="1">i</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">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" colspan="1">S</td>
///          <td style="text-align: center; border-right: none" colspan="4">!= 1101</td>
///          <td style="text-align: center; border-right: none" colspan="1">0</td>
/// <td style="text-align: center" colspan="3">imm3</td>
/// <td style="text-align: center" colspan="4">Rd</td>
/// <td style="text-align: center" colspan="8">imm8</td>
///     </tr>
///     <tr>
/// <td style="text-align: center; border: none" colspan="5"></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">op1</td>
/// <td style="text-align: center; border: none" colspan="1"></td>
/// <td style="text-align: center; border: none" colspan="4">Rn</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="8"></td>
///     </tr>
/// </table>
pub struct AddIT3;

impl AddIT3 {
    /// Returns the instruction mnemonic.
    pub fn mnemonic(instr: &Instruction) -> Mnemonic {
        match instr.encoding {
            Encoding::Alt1 => Mnemonic::ADD,
            Encoding::Alt2 => Mnemonic::ADD,
            _ => todo!()
        }
    }

    /// Returns the instruction condition information.
    pub fn condition(instr: &Instruction) -> ConditionalInstruction {
        match instr.encoding {
            Encoding::Alt1 => {
                ConditionalInstruction::Condition(0, false, false)
            }
            Encoding::Alt2 => {
                ConditionalInstruction::Condition(0, false, false)
            }
            _ => todo!()
        }
    }

    /// Returns the instruction size.
    pub fn size(instr: &Instruction) -> usize {
        match instr.encoding {
            Encoding::Alt2 =>  4,
            Encoding::Alt1 =>  4,
            _ => todo!()
        }
    }

    /// Decodes the instruction in `data`.
    pub fn decode(data: u32, decoder: &mut Decoder) -> Result<Instruction> {
        let i = (data >> 26) & 1;
        let i_post = i;
        let Rn = (data >> 16) & 15;
        let Rn_post = Rn;
        let imm3 = (data >> 12) & 7;
        let imm3_post = imm3;
        let Rd = (data >> 8) & 15;
        let Rd_post = Rd;
        let imm8 = (data >> 0) & 255;
        let imm8_post = imm8;
        let Rd_post = Rd;
        let i_imm3_imm8_post = (i << 11) | (imm3 << 8) | imm8;
        let Rn_post = Rn;

        // Checks if preferred encodings have been configured.
        if let Some(encoding) = decoder.config.instructions.add_i_t3.encodings {
            match encoding {
                AddIT3Encodings::Alt2 => {
                    // Operand values are computed from the base fields.
                    let op_0 = MnemonicCondition::Al;
                    let Rd_post = Rd;
                    let op_1 = Register::decode(Rd_post)?;
                    let Rn_post = Rn;
                    let op_2 = Register::decode(Rn_post)?;
                    let i_imm3_imm8_post = (i << 11) | (imm3 << 8) | imm8;
                    let op_3 = ModifiedImmediate::decode(i_imm3_imm8_post);

                    // The instruction is then created from the operands.
                    let mut instr = Instruction::builder_multi(Code::ADD_i_T3, Encoding::Alt2)
                        .operand(0, op_0)?
                        .operand(1, op_1)?
                        .operand(2, op_2)?
                        .operand(3, op_3)?
                        .build();
                    
                    return Ok(instr);
                }
                AddIT3Encodings::Alt1 => {
                    // Operand values are computed from the base fields.
                    let op_0 = MnemonicCondition::Al;
                    let Rd_post = Rd;
                    let op_1 = Register::decode(Rd_post)?;
                    let Rn_post = Rn;
                    let op_2 = Register::decode(Rn_post)?;
                    let i_imm3_imm8_post = (i << 11) | (imm3 << 8) | imm8;
                    let op_3 = ModifiedImmediate::decode(i_imm3_imm8_post);

                    // The instruction is then created from the operands.
                    let mut instr = Instruction::builder_multi(Code::ADD_i_T3, Encoding::Alt1)
                        .operand(0, op_0)?
                        .operand(1, op_1)?
                        .operand(2, op_2)?
                        .operand(3, op_3)?
                        .build();
                    
                    return Ok(instr);
                }
            }
        }
        
        if (!decoder.it_block.is_none()) && ((Rd_post <= 7 && Rn_post <= 7 && i_imm3_imm8_post <= 7) || (Rd_post <= 7 && Rn_post <= 7 && i_imm3_imm8_post <= 255)) {
            // Operand values are computed from the base fields.
            let op_0 = MnemonicCondition::Al;
            let Rd_post = Rd;
            let op_1 = Register::decode(Rd_post)?;
            let Rn_post = Rn;
            let op_2 = Register::decode(Rn_post)?;
            let i_imm3_imm8_post = (i << 11) | (imm3 << 8) | imm8;
            let op_3 = ModifiedImmediate::decode(i_imm3_imm8_post);

            // The instruction is then created from the operands.
            let mut instr = Instruction::builder_multi(Code::ADD_i_T3, Encoding::Alt2)
                .operand(0, op_0)?
                .operand(1, op_1)?
                .operand(2, op_2)?
                .operand(3, op_3)?
                .build();
            
            return Ok(instr);
        }
        
        
        // Operand values are computed from the base fields.
        let op_0 = MnemonicCondition::Al;
        let Rd_post = Rd;
        let op_1 = Register::decode(Rd_post)?;
        let Rn_post = Rn;
        let op_2 = Register::decode(Rn_post)?;
        let i_imm3_imm8_post = (i << 11) | (imm3 << 8) | imm8;
        let op_3 = ModifiedImmediate::decode(i_imm3_imm8_post);
        // The instruction is then created from the operands.
        let mut instr = Instruction::builder_multi(Code::ADD_i_T3, Encoding::Alt1)
            .operand(0, op_0)?
            .operand(1, op_1)?
            .operand(2, op_2)?
            .operand(3, op_3)?
            .build();
        
        return Ok(instr);
        
        unreachable!()
    }

    /// Encodes the instruction into `buf`.
    pub fn encode(instr: &Instruction, buf: &mut Vec<u8>) -> Result<usize> {
        match instr.encoding {
            Encoding::Alt2 => {
                // Retrieve all operand values.
                let Rd_pre = instr.op1().as_register()?.encode();
                let Rn_pre = instr.op2().as_register()?.encode();
                let i_imm3_imm8_pre = instr.op3().as_modified_immediate()?.encode();

                // Compute all instruction fields from the operand values.
                let Rd = (Rd_pre & 15);
                let Rn = (Rn_pre & 15);
                let imm8 = (i_imm3_imm8_pre & 255);
                let imm3 = (i_imm3_imm8_pre >> 8) & 7;
                let i = (i_imm3_imm8_pre >> 11) & 1;

                // Add all field values to the base instruction encoding.
                let mut instr: u32 = 0b11110001000000000000000000000000;
                instr |= (Rd & 15) << 8;
                instr |= (Rn & 15) << 16;
                instr |= (imm8 & 255) << 0;
                instr |= (imm3 & 7) << 12;
                instr |= (i & 1) << 26;

                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());
                return Ok(4);
            }
            Encoding::Alt1 => {
                // Retrieve all operand values.
                let Rd_pre = instr.op1().as_register()?.encode();
                let Rn_pre = instr.op2().as_register()?.encode();
                let i_imm3_imm8_pre = instr.op3().as_modified_immediate()?.encode();

                // Compute all instruction fields from the operand values.
                let Rd = (Rd_pre & 15);
                let Rn = (Rn_pre & 15);
                let imm8 = (i_imm3_imm8_pre & 255);
                let imm3 = (i_imm3_imm8_pre >> 8) & 7;
                let i = (i_imm3_imm8_pre >> 11) & 1;

                // Add all field values to the base instruction encoding.
                let mut instr: u32 = 0b11110001000000000000000000000000;
                instr |= (Rd & 15) << 8;
                instr |= (Rn & 15) << 16;
                instr |= (imm8 & 255) << 0;
                instr |= (imm3 & 7) << 12;
                instr |= (i & 1) << 26;

                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());
                return Ok(4);
            }
            _ => todo!()
        }
        unreachable!()
    }

    /// 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> {
        match instr.encoding {
            Encoding::Alt2 => {
                Self::encode(instr, buf)
            }
            Encoding::Alt1 => {
                Self::encode(instr, buf)
            }
            _ => todo!()
        }
    }
    
    /// Verifies that operand #0 is valid.
    pub fn check_op0(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt2 => {
                if let Operand::MnemonicCondition(r) = op {
                    return Ok(())
                }
                todo!()
            }
            Encoding::Alt1 => {
                if let Operand::MnemonicCondition(r) = op {
                    return Ok(())
                }
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }
    
    /// Verifies that operand #1 is valid.
    pub fn check_op1(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt2 => {
                
                if let Operand::Register(r) = op {
                    return Ok(())
                }
                todo!()
            }
            Encoding::Alt1 => {
                
                if let Operand::Register(r) = op {
                    return Ok(())
                }
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }
    
    /// Verifies that operand #2 is valid.
    pub fn check_op2(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt2 => {
                
                if let Operand::Register(r) = op {
                    return Ok(())
                }
                todo!()
            }
            Encoding::Alt1 => {
                
                if let Operand::Register(r) = op {
                    return Ok(())
                }
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }
    
    /// Verifies that operand #3 is valid.
    pub fn check_op3(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt2 => {
                if let Operand::ModifiedImmediate(i) = op {
                    if i.0 >= 1 << 13 {
                        todo!()
                    }
                    return Ok(())
                }
                todo!()
            }
            Encoding::Alt1 => {
                if let Operand::ModifiedImmediate(i) = op {
                    if i.0 >= 1 << 13 {
                        todo!()
                    }
                    return Ok(())
                }
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }
    
    /// Verifies that operand #4 is valid.
    pub fn check_op4(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt2 => {
                todo!()
            }
            Encoding::Alt1 => {
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }
    
    /// Verifies that operand #5 is valid.
    pub fn check_op5(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt2 => {
                todo!()
            }
            Encoding::Alt1 => {
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }
    
    /// Verifies that operand #6 is valid.
    pub fn check_op6(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt2 => {
                todo!()
            }
            Encoding::Alt1 => {
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }

    /// Formats the instruction.
    pub fn format(instr: &Instruction, fmt: &mut impl Formatter, output: &mut impl FormatterOutput, config: &Config) -> Result<()> {
        match instr.encoding {
            Encoding::Alt2 => {
                fmt.format_mnemonic(output, &config.global, &config.instructions.add_i_t3, &instr)?;
                fmt.format_operand(output, &config.global, &config.instructions.add_i_t3, &instr, 0)?;
                fmt.format_qualifier(output, &config.global, &config.instructions.add_i_t3, &instr, FormatterQualifier::Wide, true, true)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t3, &instr, FormatterTextKind::Space)?;
                if !config.global.syntax.omit_src_dst_diff_reg || instr.op1() != instr.op2() {
    fmt.format_operand(output, &config.global, &config.instructions.add_i_t3, &instr, 1)?;
    fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t3, &instr, FormatterTextKind::Comma)?;
};
                fmt.format_operand(output, &config.global, &config.instructions.add_i_t3, &instr, 2)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t3, &instr, FormatterTextKind::Comma)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t3, &instr, FormatterTextKind::NumSign)?;
                fmt.format_operand(output, &config.global, &config.instructions.add_i_t3, &instr, 3)?;
                return Ok(());
            }
            Encoding::Alt1 => {
                fmt.format_mnemonic(output, &config.global, &config.instructions.add_i_t3, &instr)?;
                fmt.format_operand(output, &config.global, &config.instructions.add_i_t3, &instr, 0)?;
                fmt.format_qualifier(output, &config.global, &config.instructions.add_i_t3, &instr, FormatterQualifier::Wide, true, false)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t3, &instr, FormatterTextKind::Space)?;
                if !config.global.syntax.omit_src_dst_diff_reg || instr.op1() != instr.op2() {
    fmt.format_operand(output, &config.global, &config.instructions.add_i_t3, &instr, 1)?;
    fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t3, &instr, FormatterTextKind::Comma)?;
};
                fmt.format_operand(output, &config.global, &config.instructions.add_i_t3, &instr, 2)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t3, &instr, FormatterTextKind::Comma)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t3, &instr, FormatterTextKind::NumSign)?;
                fmt.format_operand(output, &config.global, &config.instructions.add_i_t3, &instr, 3)?;
                return Ok(());
            }
            _ => todo!()
        }
        unreachable!()
    }
}

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

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

/// ADDS T3 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; 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">0</td>
/// <td style="text-align: center" colspan="1">i</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">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" colspan="1">S</td>
///          <td style="text-align: center; border-right: none" colspan="4">!= 1101</td>
///          <td style="text-align: center; border-right: none" colspan="1">0</td>
/// <td style="text-align: center" colspan="3">imm3</td>
/// <td style="text-align: center" colspan="4">Rd</td>
/// <td style="text-align: center" colspan="8">imm8</td>
///     </tr>
///     <tr>
/// <td style="text-align: center; border: none" colspan="5"></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">op1</td>
/// <td style="text-align: center; border: none" colspan="1"></td>
/// <td style="text-align: center; border: none" colspan="4">Rn</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="8"></td>
///     </tr>
/// </table>
pub struct AddsIT3;

impl AddsIT3 {
    /// Returns the instruction mnemonic.
    pub fn mnemonic(instr: &Instruction) -> Mnemonic {
        match instr.encoding {
            Encoding::Alt1 => Mnemonic::ADDS,
            Encoding::Alt2 => Mnemonic::ADDS,
            _ => todo!()
        }
    }

    /// Returns the instruction condition information.
    pub fn condition(instr: &Instruction) -> ConditionalInstruction {
        match instr.encoding {
            Encoding::Alt1 => {
                ConditionalInstruction::Condition(0, false, false)
            }
            Encoding::Alt2 => {
                ConditionalInstruction::None
            }
            _ => todo!()
        }
    }

    /// Returns the instruction size.
    pub fn size(instr: &Instruction) -> usize {
        match instr.encoding {
            Encoding::Alt2 =>  4,
            Encoding::Alt1 =>  4,
            _ => todo!()
        }
    }

    /// Decodes the instruction in `data`.
    pub fn decode(data: u32, decoder: &mut Decoder) -> Result<Instruction> {
        let i = (data >> 26) & 1;
        let i_post = i;
        let Rn = (data >> 16) & 15;
        let Rn_post = Rn;
        let imm3 = (data >> 12) & 7;
        let imm3_post = imm3;
        let Rd = (data >> 8) & 15;
        let Rd_post = Rd;
        let imm8 = (data >> 0) & 255;
        let imm8_post = imm8;
        let Rd_post = Rd;
        let i_imm3_imm8_post = (i << 11) | (imm3 << 8) | imm8;
        let Rn_post = Rn;

        // Checks if preferred encodings have been configured.
        if let Some(encoding) = decoder.config.instructions.adds_i_t3.encodings {
            match encoding {
                AddsIT3Encodings::Alt2 => {
                    // Operand values are computed from the base fields.
                    let Rd_post = Rd;
                    let op_0 = Register::decode(Rd_post)?;
                    let Rn_post = Rn;
                    let op_1 = Register::decode(Rn_post)?;
                    let i_imm3_imm8_post = (i << 11) | (imm3 << 8) | imm8;
                    let op_2 = ModifiedImmediate::decode(i_imm3_imm8_post);

                    // The instruction is then created from the operands.
                    let mut instr = Instruction::builder_multi(Code::ADDS_i_T3, Encoding::Alt2)
                        .operand(0, op_0)?
                        .operand(1, op_1)?
                        .operand(2, op_2)?
                        .build();
                    
                    return Ok(instr);
                }
                AddsIT3Encodings::Alt1 => {
                    // Operand values are computed from the base fields.
                    let op_0 = MnemonicCondition::Al;
                    let Rd_post = Rd;
                    let op_1 = Register::decode(Rd_post)?;
                    let Rn_post = Rn;
                    let op_2 = Register::decode(Rn_post)?;
                    let i_imm3_imm8_post = (i << 11) | (imm3 << 8) | imm8;
                    let op_3 = ModifiedImmediate::decode(i_imm3_imm8_post);

                    // The instruction is then created from the operands.
                    let mut instr = Instruction::builder_multi(Code::ADDS_i_T3, Encoding::Alt1)
                        .operand(0, op_0)?
                        .operand(1, op_1)?
                        .operand(2, op_2)?
                        .operand(3, op_3)?
                        .build();
                    
                    return Ok(instr);
                }
            }
        }
        
        if (decoder.it_block.is_none()) && ((Rd_post <= 7 && Rn_post <= 7 && i_imm3_imm8_post <= 7) || (Rd_post <= 7 && Rn_post <= 7 && i_imm3_imm8_post <= 255)) {
            // Operand values are computed from the base fields.
            let Rd_post = Rd;
            let op_0 = Register::decode(Rd_post)?;
            let Rn_post = Rn;
            let op_1 = Register::decode(Rn_post)?;
            let i_imm3_imm8_post = (i << 11) | (imm3 << 8) | imm8;
            let op_2 = ModifiedImmediate::decode(i_imm3_imm8_post);

            // The instruction is then created from the operands.
            let mut instr = Instruction::builder_multi(Code::ADDS_i_T3, Encoding::Alt2)
                .operand(0, op_0)?
                .operand(1, op_1)?
                .operand(2, op_2)?
                .build();
            
            return Ok(instr);
        }
        
        
        // Operand values are computed from the base fields.
        let op_0 = MnemonicCondition::Al;
        let Rd_post = Rd;
        let op_1 = Register::decode(Rd_post)?;
        let Rn_post = Rn;
        let op_2 = Register::decode(Rn_post)?;
        let i_imm3_imm8_post = (i << 11) | (imm3 << 8) | imm8;
        let op_3 = ModifiedImmediate::decode(i_imm3_imm8_post);
        // The instruction is then created from the operands.
        let mut instr = Instruction::builder_multi(Code::ADDS_i_T3, Encoding::Alt1)
            .operand(0, op_0)?
            .operand(1, op_1)?
            .operand(2, op_2)?
            .operand(3, op_3)?
            .build();
        
        return Ok(instr);
        
        unreachable!()
    }

    /// Encodes the instruction into `buf`.
    pub fn encode(instr: &Instruction, buf: &mut Vec<u8>) -> Result<usize> {
        match instr.encoding {
            Encoding::Alt2 => {
                // Retrieve all operand values.
                let Rd_pre = instr.op0().as_register()?.encode();
                let Rn_pre = instr.op1().as_register()?.encode();
                let i_imm3_imm8_pre = instr.op2().as_modified_immediate()?.encode();

                // Compute all instruction fields from the operand values.
                let Rd = (Rd_pre & 15);
                let Rn = (Rn_pre & 15);
                let imm8 = (i_imm3_imm8_pre & 255);
                let imm3 = (i_imm3_imm8_pre >> 8) & 7;
                let i = (i_imm3_imm8_pre >> 11) & 1;

                // Add all field values to the base instruction encoding.
                let mut instr: u32 = 0b11110001000100000000000000000000;
                instr |= (Rd & 15) << 8;
                instr |= (Rn & 15) << 16;
                instr |= (imm8 & 255) << 0;
                instr |= (imm3 & 7) << 12;
                instr |= (i & 1) << 26;

                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());
                return Ok(4);
            }
            Encoding::Alt1 => {
                // Retrieve all operand values.
                let Rd_pre = instr.op1().as_register()?.encode();
                let Rn_pre = instr.op2().as_register()?.encode();
                let i_imm3_imm8_pre = instr.op3().as_modified_immediate()?.encode();

                // Compute all instruction fields from the operand values.
                let Rd = (Rd_pre & 15);
                let Rn = (Rn_pre & 15);
                let imm8 = (i_imm3_imm8_pre & 255);
                let imm3 = (i_imm3_imm8_pre >> 8) & 7;
                let i = (i_imm3_imm8_pre >> 11) & 1;

                // Add all field values to the base instruction encoding.
                let mut instr: u32 = 0b11110001000100000000000000000000;
                instr |= (Rd & 15) << 8;
                instr |= (Rn & 15) << 16;
                instr |= (imm8 & 255) << 0;
                instr |= (imm3 & 7) << 12;
                instr |= (i & 1) << 26;

                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());
                return Ok(4);
            }
            _ => todo!()
        }
        unreachable!()
    }

    /// 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> {
        match instr.encoding {
            Encoding::Alt2 => {
                Self::encode(instr, buf)
            }
            Encoding::Alt1 => {
                Self::encode(instr, buf)
            }
            _ => todo!()
        }
    }
    
    /// Verifies that operand #0 is valid.
    pub fn check_op0(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt2 => {
                
                if let Operand::Register(r) = op {
                    return Ok(())
                }
                todo!()
            }
            Encoding::Alt1 => {
                if let Operand::MnemonicCondition(r) = op {
                    return Ok(())
                }
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }
    
    /// Verifies that operand #1 is valid.
    pub fn check_op1(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt2 => {
                
                if let Operand::Register(r) = op {
                    return Ok(())
                }
                todo!()
            }
            Encoding::Alt1 => {
                
                if let Operand::Register(r) = op {
                    return Ok(())
                }
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }
    
    /// Verifies that operand #2 is valid.
    pub fn check_op2(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt2 => {
                if let Operand::ModifiedImmediate(i) = op {
                    if i.0 >= 1 << 13 {
                        todo!()
                    }
                    return Ok(())
                }
                todo!()
            }
            Encoding::Alt1 => {
                
                if let Operand::Register(r) = op {
                    return Ok(())
                }
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }
    
    /// Verifies that operand #3 is valid.
    pub fn check_op3(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt2 => {
                todo!()
            }
            Encoding::Alt1 => {
                if let Operand::ModifiedImmediate(i) = op {
                    if i.0 >= 1 << 13 {
                        todo!()
                    }
                    return Ok(())
                }
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }
    
    /// Verifies that operand #4 is valid.
    pub fn check_op4(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt2 => {
                todo!()
            }
            Encoding::Alt1 => {
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }
    
    /// Verifies that operand #5 is valid.
    pub fn check_op5(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt2 => {
                todo!()
            }
            Encoding::Alt1 => {
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }
    
    /// Verifies that operand #6 is valid.
    pub fn check_op6(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt2 => {
                todo!()
            }
            Encoding::Alt1 => {
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }

    /// Formats the instruction.
    pub fn format(instr: &Instruction, fmt: &mut impl Formatter, output: &mut impl FormatterOutput, config: &Config) -> Result<()> {
        match instr.encoding {
            Encoding::Alt2 => {
                fmt.format_mnemonic(output, &config.global, &config.instructions.adds_i_t3, &instr)?;
                fmt.format_qualifier(output, &config.global, &config.instructions.adds_i_t3, &instr, FormatterQualifier::Wide, true, true)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.adds_i_t3, &instr, FormatterTextKind::Space)?;
                if !config.global.syntax.omit_src_dst_diff_reg || instr.op0() != instr.op1() {
    fmt.format_operand(output, &config.global, &config.instructions.adds_i_t3, &instr, 0)?;
    fmt.format_punctuation(output, &config.global, &config.instructions.adds_i_t3, &instr, FormatterTextKind::Comma)?;
};
                fmt.format_operand(output, &config.global, &config.instructions.adds_i_t3, &instr, 1)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.adds_i_t3, &instr, FormatterTextKind::Comma)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.adds_i_t3, &instr, FormatterTextKind::NumSign)?;
                fmt.format_operand(output, &config.global, &config.instructions.adds_i_t3, &instr, 2)?;
                return Ok(());
            }
            Encoding::Alt1 => {
                fmt.format_mnemonic(output, &config.global, &config.instructions.adds_i_t3, &instr)?;
                fmt.format_operand(output, &config.global, &config.instructions.adds_i_t3, &instr, 0)?;
                fmt.format_qualifier(output, &config.global, &config.instructions.adds_i_t3, &instr, FormatterQualifier::Wide, true, false)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.adds_i_t3, &instr, FormatterTextKind::Space)?;
                if !config.global.syntax.omit_src_dst_diff_reg || instr.op1() != instr.op2() {
    fmt.format_operand(output, &config.global, &config.instructions.adds_i_t3, &instr, 1)?;
    fmt.format_punctuation(output, &config.global, &config.instructions.adds_i_t3, &instr, FormatterTextKind::Comma)?;
};
                fmt.format_operand(output, &config.global, &config.instructions.adds_i_t3, &instr, 2)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.adds_i_t3, &instr, FormatterTextKind::Comma)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.adds_i_t3, &instr, FormatterTextKind::NumSign)?;
                fmt.format_operand(output, &config.global, &config.instructions.adds_i_t3, &instr, 3)?;
                return Ok(());
            }
            _ => todo!()
        }
        unreachable!()
    }
}

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

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

// ---------------------------------------------------------------------------
// Iclass IclassAddIT4
// ---------------------------------------------------------------------------

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

impl IclassAddIT4 {
    /// Tries to decode the instruction in `data`.
    pub(crate) fn decode(data: u32, decoder: &mut Decoder) -> Result<Instruction> {
        let field_22 = (data >> 22) & 1;
        let field_22_post = field_22;
        let field_20 = (data >> 20) & 1;
        let field_20_post = field_20;
        let imm3 = (data >> 12) & 7;
        let imm3_post = imm3;
        let imm8 = (data >> 0) & 255;
        let imm8_post = imm8;
        let field_28 = (data >> 27) & 3;
        let field_28_post = field_28;
        let o1 = (data >> 23) & 1;
        let o1_post = o1;
        let o2 = (data >> 21) & 1;
        let o2_post = o2;
        let i = (data >> 26) & 1;
        let i_post = i;
        let field_31 = (data >> 29) & 7;
        let field_31_post = field_31;
        let Rn = (data >> 16) & 15;
        let Rn_post = Rn;
        let field_25 = (data >> 25) & 1;
        let field_25_post = field_25;
        let field_15 = (data >> 15) & 1;
        let field_15_post = field_15;
        let Rd = (data >> 8) & 15;
        let Rd_post = Rd;
        let field_24 = (data >> 24) & 1;
        let field_24_post = field_24;


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

        unreachable!()
    }
}

/// ADDW T4 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" colspan="1">i</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-right: 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">0</td>
///          <td style="text-align: center; border-right: none" colspan="1">0</td>
///          <td style="text-align: center; border-right: none" colspan="4">!= 11x1</td>
///          <td style="text-align: center; border-right: none" colspan="1">0</td>
/// <td style="text-align: center" colspan="3">imm3</td>
/// <td style="text-align: center" colspan="4">Rd</td>
/// <td style="text-align: center" colspan="8">imm8</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="1"></td>
/// <td style="text-align: center; border: none" colspan="1"></td>
/// <td style="text-align: center; border: none" colspan="1">o1</td>
/// <td style="text-align: center; border: none" colspan="1"></td>
/// <td style="text-align: center; border: none" colspan="1">o2</td>
/// <td style="text-align: center; border: none" colspan="1"></td>
/// <td style="text-align: center; border: none" colspan="4">Rn</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="8"></td>
///     </tr>
/// </table>
pub struct AddIT4;

impl AddIT4 {
    /// Returns the instruction mnemonic.
    pub fn mnemonic(instr: &Instruction) -> Mnemonic {
        match instr.encoding {
            Encoding::Alt1 => Mnemonic::ADD,
            Encoding::Alt2 => Mnemonic::ADDW,
            _ => todo!()
        }
    }

    /// Returns the instruction condition information.
    pub fn condition(instr: &Instruction) -> ConditionalInstruction {
        match instr.encoding {
            Encoding::Alt1 => {
                ConditionalInstruction::Condition(0, false, false)
            }
            Encoding::Alt2 => {
                ConditionalInstruction::Condition(0, false, false)
            }
            _ => todo!()
        }
    }

    /// Returns the instruction size.
    pub fn size(instr: &Instruction) -> usize {
        match instr.encoding {
            Encoding::Alt1 =>  4,
            Encoding::Alt2 =>  4,
            _ => todo!()
        }
    }

    /// Decodes the instruction in `data`.
    pub fn decode(data: u32, decoder: &mut Decoder) -> Result<Instruction> {
        let i = (data >> 26) & 1;
        let i_post = i;
        let Rn = (data >> 16) & 15;
        let Rn_post = Rn;
        let imm3 = (data >> 12) & 7;
        let imm3_post = imm3;
        let Rd = (data >> 8) & 15;
        let Rd_post = Rd;
        let imm8 = (data >> 0) & 255;
        let imm8_post = imm8;
        let Rd_post = Rd;
        let i_imm3_imm8_post = (i << 11) | (imm3 << 8) | imm8;
        let Rn_post = Rn;

        // Checks if preferred encodings have been configured.
        if let Some(encoding) = decoder.config.instructions.add_i_t4.encodings {
            match encoding {
                AddIT4Encodings::Alt1 => {
                    // Operand values are computed from the base fields.
                    let op_0 = MnemonicCondition::Al;
                    let Rd_post = Rd;
                    let op_1 = Register::decode(Rd_post)?;
                    let Rn_post = Rn;
                    let op_2 = Register::decode(Rn_post)?;
                    let i_imm3_imm8_post = (i << 11) | (imm3 << 8) | imm8;
                    let op_3 = i_imm3_imm8_post as u32;

                    // The instruction is then created from the operands.
                    let mut instr = Instruction::builder_multi(Code::ADD_i_T4, Encoding::Alt1)
                        .operand(0, op_0)?
                        .operand(1, op_1)?
                        .operand(2, op_2)?
                        .operand(3, op_3)?
                        .build();
                    
                    return Ok(instr);
                }
                AddIT4Encodings::Alt2 => {
                    // Operand values are computed from the base fields.
                    let op_0 = MnemonicCondition::Al;
                    let Rd_post = Rd;
                    let op_1 = Register::decode(Rd_post)?;
                    let Rn_post = Rn;
                    let op_2 = Register::decode(Rn_post)?;
                    let i_imm3_imm8_post = (i << 11) | (imm3 << 8) | imm8;
                    let op_3 = i_imm3_imm8_post as u32;

                    // The instruction is then created from the operands.
                    let mut instr = Instruction::builder_multi(Code::ADD_i_T4, Encoding::Alt2)
                        .operand(0, op_0)?
                        .operand(1, op_1)?
                        .operand(2, op_2)?
                        .operand(3, op_3)?
                        .build();
                    
                    return Ok(instr);
                }
            }
        }
        
        if (!((i_imm3_imm8_post <= 7) || (i_imm3_imm8_post <= 255) || (is_modified_immediate(i_imm3_imm8_post.into())))) {
            // Operand values are computed from the base fields.
            let op_0 = MnemonicCondition::Al;
            let Rd_post = Rd;
            let op_1 = Register::decode(Rd_post)?;
            let Rn_post = Rn;
            let op_2 = Register::decode(Rn_post)?;
            let i_imm3_imm8_post = (i << 11) | (imm3 << 8) | imm8;
            let op_3 = i_imm3_imm8_post as u32;

            // The instruction is then created from the operands.
            let mut instr = Instruction::builder_multi(Code::ADD_i_T4, Encoding::Alt1)
                .operand(0, op_0)?
                .operand(1, op_1)?
                .operand(2, op_2)?
                .operand(3, op_3)?
                .build();
            
            return Ok(instr);
        }
        
        
        if ((i_imm3_imm8_post <= 7) || (i_imm3_imm8_post <= 255) || (is_modified_immediate(i_imm3_imm8_post.into()))) {
            // Operand values are computed from the base fields.
            let op_0 = MnemonicCondition::Al;
            let Rd_post = Rd;
            let op_1 = Register::decode(Rd_post)?;
            let Rn_post = Rn;
            let op_2 = Register::decode(Rn_post)?;
            let i_imm3_imm8_post = (i << 11) | (imm3 << 8) | imm8;
            let op_3 = i_imm3_imm8_post as u32;

            // The instruction is then created from the operands.
            let mut instr = Instruction::builder_multi(Code::ADD_i_T4, Encoding::Alt2)
                .operand(0, op_0)?
                .operand(1, op_1)?
                .operand(2, op_2)?
                .operand(3, op_3)?
                .build();
            
            return Ok(instr);
        }
        
        
        unreachable!()
    }

    /// Encodes the instruction into `buf`.
    pub fn encode(instr: &Instruction, buf: &mut Vec<u8>) -> Result<usize> {
        match instr.encoding {
            Encoding::Alt1 => {
                // Retrieve all operand values.
                let Rd_pre = instr.op1().as_register()?.encode();
                let Rn_pre = instr.op2().as_register()?.encode();
                let i_imm3_imm8_pre = instr.op3().as_unsigned_immediate()? as u32;

                // Compute all instruction fields from the operand values.
                let Rd = (Rd_pre & 15);
                let Rn = (Rn_pre & 15);
                let i_imm3_imm8_pre = i_imm3_imm8_pre;
                let imm8 = (i_imm3_imm8_pre & 255);
                let imm3 = (i_imm3_imm8_pre >> 8) & 7;
                let i = (i_imm3_imm8_pre >> 11) & 1;

                // Add all field values to the base instruction encoding.
                let mut instr: u32 = 0b11110010000000000000000000000000;
                instr |= (Rd & 15) << 8;
                instr |= (Rn & 15) << 16;
                instr |= (imm8 & 255) << 0;
                instr |= (imm3 & 7) << 12;
                instr |= (i & 1) << 26;

                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());
                return Ok(4);
            }
            Encoding::Alt2 => {
                // Retrieve all operand values.
                let Rd_pre = instr.op1().as_register()?.encode();
                let Rn_pre = instr.op2().as_register()?.encode();
                let i_imm3_imm8_pre = instr.op3().as_unsigned_immediate()? as u32;

                // Compute all instruction fields from the operand values.
                let Rd = (Rd_pre & 15);
                let Rn = (Rn_pre & 15);
                let i_imm3_imm8_pre = i_imm3_imm8_pre;
                let imm8 = (i_imm3_imm8_pre & 255);
                let imm3 = (i_imm3_imm8_pre >> 8) & 7;
                let i = (i_imm3_imm8_pre >> 11) & 1;

                // Add all field values to the base instruction encoding.
                let mut instr: u32 = 0b11110010000000000000000000000000;
                instr |= (Rd & 15) << 8;
                instr |= (Rn & 15) << 16;
                instr |= (imm8 & 255) << 0;
                instr |= (imm3 & 7) << 12;
                instr |= (i & 1) << 26;

                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());
                return Ok(4);
            }
            _ => todo!()
        }
        unreachable!()
    }

    /// 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> {
        match instr.encoding {
            Encoding::Alt1 => {
                Self::encode(instr, buf)
            }
            Encoding::Alt2 => {
                Self::encode(instr, buf)
            }
            _ => todo!()
        }
    }
    
    /// Verifies that operand #0 is valid.
    pub fn check_op0(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt1 => {
                if let Operand::MnemonicCondition(r) = op {
                    return Ok(())
                }
                todo!()
            }
            Encoding::Alt2 => {
                if let Operand::MnemonicCondition(r) = op {
                    return Ok(())
                }
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }
    
    /// Verifies that operand #1 is valid.
    pub fn check_op1(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt1 => {
                
                if let Operand::Register(r) = op {
                    return Ok(())
                }
                todo!()
            }
            Encoding::Alt2 => {
                
                if let Operand::Register(r) = op {
                    return Ok(())
                }
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }
    
    /// Verifies that operand #2 is valid.
    pub fn check_op2(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt1 => {
                
                if let Operand::Register(r) = op {
                    return Ok(())
                }
                todo!()
            }
            Encoding::Alt2 => {
                
                if let Operand::Register(r) = op {
                    return Ok(())
                }
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }
    
    /// Verifies that operand #3 is valid.
    pub fn check_op3(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt1 => {
                if let Operand::SignedImmediate(i) = op {
                    if *i < 0 || *i > 4095 {
                        todo!()
                    }
                    return Ok(())
                }
                if let Operand::UnsignedImmediate(i) = op {
                    if !(0..=4095).contains(i) {
                        todo!()
                    }
                    return Ok(())
                }
                todo!()
            }
            Encoding::Alt2 => {
                if let Operand::SignedImmediate(i) = op {
                    if *i < 0 || *i > 4095 {
                        todo!()
                    }
                    return Ok(())
                }
                if let Operand::UnsignedImmediate(i) = op {
                    if !(0..=4095).contains(i) {
                        todo!()
                    }
                    return Ok(())
                }
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }
    
    /// Verifies that operand #4 is valid.
    pub fn check_op4(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt1 => {
                todo!()
            }
            Encoding::Alt2 => {
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }
    
    /// Verifies that operand #5 is valid.
    pub fn check_op5(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt1 => {
                todo!()
            }
            Encoding::Alt2 => {
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }
    
    /// Verifies that operand #6 is valid.
    pub fn check_op6(instr: &Instruction, op: &Operand) -> Result<()> {
        match instr.encoding {
            Encoding::Alt1 => {
                todo!()
            }
            Encoding::Alt2 => {
                todo!()
            }
            _ => todo!()
        }
        unreachable!()
    }

    /// Formats the instruction.
    pub fn format(instr: &Instruction, fmt: &mut impl Formatter, output: &mut impl FormatterOutput, config: &Config) -> Result<()> {
        match instr.encoding {
            Encoding::Alt1 => {
                fmt.format_mnemonic(output, &config.global, &config.instructions.add_i_t4, &instr)?;
                fmt.format_operand(output, &config.global, &config.instructions.add_i_t4, &instr, 0)?;
                fmt.format_qualifier(output, &config.global, &config.instructions.add_i_t4, &instr, FormatterQualifier::Wide, true, false)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t4, &instr, FormatterTextKind::Space)?;
                if !config.global.syntax.omit_src_dst_diff_reg || instr.op1() != instr.op2() {
    fmt.format_operand(output, &config.global, &config.instructions.add_i_t4, &instr, 1)?;
    fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t4, &instr, FormatterTextKind::Comma)?;
};
                fmt.format_operand(output, &config.global, &config.instructions.add_i_t4, &instr, 2)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t4, &instr, FormatterTextKind::Comma)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t4, &instr, FormatterTextKind::NumSign)?;
                fmt.format_operand(output, &config.global, &config.instructions.add_i_t4, &instr, 3)?;
                return Ok(());
            }
            Encoding::Alt2 => {
                fmt.format_mnemonic(output, &config.global, &config.instructions.add_i_t4, &instr)?;
                fmt.format_operand(output, &config.global, &config.instructions.add_i_t4, &instr, 0)?;
                fmt.format_qualifier(output, &config.global, &config.instructions.add_i_t4, &instr, FormatterQualifier::Wide, false, false)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t4, &instr, FormatterTextKind::Space)?;
                if !config.global.syntax.omit_src_dst_diff_reg || instr.op1() != instr.op2() {
    fmt.format_operand(output, &config.global, &config.instructions.add_i_t4, &instr, 1)?;
    fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t4, &instr, FormatterTextKind::Comma)?;
};
                fmt.format_operand(output, &config.global, &config.instructions.add_i_t4, &instr, 2)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t4, &instr, FormatterTextKind::Comma)?;
                fmt.format_punctuation(output, &config.global, &config.instructions.add_i_t4, &instr, FormatterTextKind::NumSign)?;
                fmt.format_operand(output, &config.global, &config.instructions.add_i_t4, &instr, 3)?;
                return Ok(());
            }
            _ => todo!()
        }
        unreachable!()
    }
}

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

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