/* Capstone Disassembly Engine */

/* By Spike, xwings  2019 */

#include "WASMInstPrinter.h"

#include "WASMMapping.h"

void WASM_printInst(MCInst *MI, struct SStream *O, void *PrinterInfo)

{

  SStream_concat(O, WASM_insn_name((csh)MI->csh, MI->Opcode));

  switch (MI->wasm_data.type) {

    default:

      break;

    case WASM_OP_VARUINT32:

      SStream_concat(O, "\t0x%x", MI->wasm_data.varuint32);

      break;

    case WASM_OP_VARUINT64:

      SStream_concat(O, "\t0x%lx", MI->wasm_data.varuint64);

      break;

    case WASM_OP_UINT32:

      SStream_concat(O, "\t0x%2" PRIx32, MI->wasm_data.uint32);

      break;

    case WASM_OP_UINT64:

      SStream_concat(O, "\t0x%2" PRIx64, MI->wasm_data.uint64);

      break;

    case WASM_OP_IMM:

      SStream_concat(O, "\t0x%x, 0x%x", MI->wasm_data.immediate[0], MI->wasm_data.immediate[1]);

      break;

    case WASM_OP_INT7:

      SStream_concat(O, "\t%d", MI->wasm_data.int7);

      break;

    case WASM_OP_BRTABLE:

      SStream_concat(O, "\t0x%x, [", MI->wasm_data.brtable.length);

      SStream_concat(O, "0x%x", MI->wasm_data.brtable.address);

      SStream_concat(O, "], 0x%x", MI->wasm_data.brtable.default_target);

      break;

  }

}