/* 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;

  }

}