neo-decompiler 0.11.0

// Bytecode offset arithmetic requires isize↔usize casts for signed jump deltas.
// NEF scripts are bounded (~1 MB), so these conversions are structurally safe.
#![allow(
    clippy::cast_possible_truncation,
    clippy::cast_possible_wrap,
    clippy::cast_sign_loss
)]

use crate::instruction::{Instruction, OpCode, Operand, OperandEncoding};

use super::super::HighLevelEmitter;

impl HighLevelEmitter {
    /// Resolve a forward jump target.  Neo VM jump offsets are relative to the
    /// **opcode position** (start of the instruction), NOT the end.
    /// Reference: neo-vm `ExecuteJumpOffset` → `IP + offset`.
    pub(super) fn forward_jump_target(&self, instruction: &Instruction) -> Option<usize> {
        let target = match instruction.operand {
            Some(Operand::Jump(delta)) => instruction.offset as isize + delta as isize,
            Some(Operand::Jump32(delta)) => instruction.offset as isize + delta as isize,
            _ => return None,
        };
        if target < 0 {
            return None;
        }
        Some(target as usize)
    }

    /// Return the byte-width of a branch instruction (opcode + operand).
    /// Used only for computing the **fall-through** address (next instruction),
    /// NOT for jump target resolution.
    pub(super) fn branch_width(opcode: OpCode) -> isize {
        match opcode.operand_encoding() {
            OperandEncoding::Jump8 => 2,
            OperandEncoding::Jump32 => 5,
            _ => 1,
        }
    }

    /// Resolve a jump target (forward or backward).  Neo VM jump offsets are
    /// relative to the **opcode position** (start of the instruction).
    pub(super) fn jump_target(&self, instruction: &Instruction) -> Option<usize> {
        let delta = match instruction.operand {
            Some(Operand::Jump(value)) => value as isize,
            Some(Operand::Jump32(value)) => value as isize,
            _ => return None,
        };
        let target = instruction.offset as isize + delta;
        if target < 0 {
            return None;
        }
        Some(target as usize)
    }
}