// Copyright 2017 Quentin Monnet <quentin.monnet@6wind.com>
//
// Licensed under the Apache License, Version 2.0 <http://www.apache.org/licenses/LICENSE-2.0> or
// the MIT license <http://opensource.org/licenses/MIT>, at your option. This file may not be
// copied, modified, or distributed except according to those terms.


#[macro_use]
extern crate json;

extern crate rbpf;
use rbpf::disassembler;

fn to_json(prog: &std::vec::Vec<u8>) -> String {

    let insns = disassembler::to_insn_vec(&prog);
    let mut json_insns = vec![];
    for insn in insns {
        json_insns.push(object!(
                "opc"  => format!("{:#x}", insn.opc), // => insn.opc,
                "dst"  => format!("{:#x}", insn.dst), // => insn.dst,
                "src"  => format!("{:#x}", insn.src), // => insn.src,
                "off"  => format!("{:#x}", insn.off), // => insn.off,
                // Warning: for imm we use a i64 instead of a i32 (to have correct values for
                // `lddw` operation. If we print a number in the JSON this is not a problem, the
                // internal i64 has the same value with extended sign on 32 most significant bytes.
                // If we print the hexadecimal value as a string however, we want to cast as a i32
                // to prevent all other instructions to print spurious `ffffffff` prefix if the
                // number is negative. When values takes more than 32 bits with `lddw`, the cast
                // has no effect and the complete value is printed anyway.
                "imm"  => format!("{:#x}", insn.imm as i32), // => insn.imm,
                "desc" => format!("{}",    insn.desc)
            )
        );
    }
    json::stringify_pretty(object!(
        "size"  => json_insns.len(),
        "insns" => json_insns
        ), 4)
}

fn main() {
    let prog = vec![
        0xb7, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
        0x79, 0x12, 0x50, 0x00, 0x00, 0x00, 0x00, 0x00,
        0x79, 0x11, 0x40, 0x00, 0x00, 0x00, 0x00, 0x00,
        0xbf, 0x13, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
        0x07, 0x03, 0x00, 0x00, 0x36, 0x00, 0x00, 0x00,
        0x2d, 0x23, 0x12, 0x00, 0x00, 0x00, 0x00, 0x00,
        0x69, 0x12, 0x0c, 0x00, 0x00, 0x00, 0x00, 0x00,
        0x55, 0x02, 0x10, 0x00, 0x08, 0x00, 0x00, 0x00,
        0x71, 0x12, 0x17, 0x00, 0x00, 0x00, 0x00, 0x00,
        0x55, 0x02, 0x0e, 0x00, 0x06, 0x00, 0x00, 0x00,
        0x18, 0x00, 0x00, 0x00, 0xff, 0xff, 0xff, 0xff,
        0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
        0x79, 0x11, 0x22, 0x00, 0x00, 0x00, 0x00, 0x00,
        0xbf, 0x12, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
        0x57, 0x02, 0x00, 0x00, 0xff, 0xff, 0x00, 0x00,
        0x15, 0x02, 0x08, 0x00, 0x99, 0x99, 0x00, 0x00,
        0x18, 0x02, 0x00, 0x00, 0x00, 0x00, 0xff, 0xff,
        0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
        0x5f, 0x21, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
        0xb7, 0x00, 0x00, 0x00, 0xff, 0xff, 0xff, 0xff,
        0x18, 0x02, 0x00, 0x00, 0x00, 0x00, 0x99, 0x99,
        0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
        0x1d, 0x21, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00,
        0xb7, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
        0x95, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00
    ];

    println!("{}", to_json(&prog));
}