Function encode_jal

crates/asm-to-binary/src/assembler/encode.rs:281–304

(
    rd: u8,
    target: &str,
    current_addr: u64,
    symbols: &super::symbol_table::SymbolTable,
)

        if !out.global_symbols.contains(g) {
            out.global_symbols.push(g.clone());
        }
    }

    Ok(out)
}

// --- Branch and jump encoding helpers ---

// Layout symbols are section-relative; prefer the section-qualified entry so
// same-named labels in other sections can't shadow the local one.
fn resolve_section_local(
    target: &str,
    section_name: &str,
    symbols: &super::symbol_table::SymbolTable,
) -> Option<u64> {
    symbols
        .resolve(&format!("{target}@{section_name}"))
        .or_else(|| symbols.resolve(target))
}

fn encode_branch(
    kind: &BranchKind,
    rs1: u8,
    rs2: u8,
    target: &str,
    site_local: u64,
    section_name: &str,