/*
 * Copyright 2016 WebAssembly Community Group participants
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

#include "binary-reader-objdump.h"

#include <assert.h>
#include <inttypes.h>
#include <string.h>
#include <stdio.h>

#include "binary-reader.h"
#include "literal.h"
#include "vector.h"

typedef uint32_t Uint32;
WABT_DEFINE_VECTOR(uint32, Uint32);

typedef struct Context {
  WabtObjdumpOptions* options;
  WabtStream* out_stream;
  const uint8_t* data;
  size_t size;
  WabtOpcode current_opcode;
  size_t current_opcode_offset;
  size_t last_opcode_end;
  int indent_level;
  WabtBool print_details;
  WabtBool header_printed;
  int section_found;

  uint32_t section_starts[WABT_NUM_BINARY_SECTIONS];
  WabtBinarySection reloc_section;

  WabtStringSlice import_module_name;
  WabtStringSlice import_field_name;

  uint32_t next_reloc;
} Context;

static WabtBool should_print_details(Context* ctx) {
  if (ctx->options->mode != WABT_DUMP_DETAILS)
    return WABT_FALSE;
  return ctx->print_details;
}

static void WABT_PRINTF_FORMAT(2, 3)
    print_details(Context* ctx, const char* fmt, ...) {
  if (!should_print_details(ctx))
    return;
  va_list args;
  va_start(args, fmt);
  vprintf(fmt, args);
  va_end(args);
}

static WabtResult begin_section(WabtBinaryReaderContext* ctx,
                                WabtBinarySection section_code,
                                uint32_t size) {
  Context* context = ctx->user_data;
  context->section_starts[section_code] = ctx->offset;

  const char* name = wabt_get_section_name(section_code);

  WabtBool section_match = !context->options->section_name ||
                           !strcasecmp(context->options->section_name, name);
  if (section_match)
    context->section_found = WABT_TRUE;

  switch (context->options->mode) {
    case WABT_DUMP_PREPASS:
      break;
    case WABT_DUMP_HEADERS:
      printf("%9s start=%#010" PRIzx " end=%#010" PRIzx " (size=%#010x) ",
             name, ctx->offset, ctx->offset + size, size);
      break;
    case WABT_DUMP_DETAILS:
      if (section_match) {
        if (section_code != WABT_BINARY_SECTION_CODE)
          printf("%s:\n", name);
        context->print_details = WABT_TRUE;
      } else {
        context->print_details = WABT_FALSE;
      }
      break;
    case WABT_DUMP_RAW_DATA:
      if (section_match) {
        printf("\nContents of section %s:\n", name);
        wabt_write_memory_dump(context->out_stream, context->data + ctx->offset,
                               size, ctx->offset, WABT_PRINT_CHARS, NULL, NULL);
      }
      break;
    case WABT_DUMP_DISASSEMBLE:
      break;
  }
  return WABT_OK;
}

static WabtResult begin_custom_section(WabtBinaryReaderContext* ctx,
                                       uint32_t size,
                                       WabtStringSlice section_name) {
  Context* context = ctx->user_data;
  print_details(context, " - name: \"" PRIstringslice "\"\n",
                WABT_PRINTF_STRING_SLICE_ARG(section_name));
  if (context->options->mode == WABT_DUMP_HEADERS) {
    printf("\"" PRIstringslice "\"\n",
           WABT_PRINTF_STRING_SLICE_ARG(section_name));
  }
  return WABT_OK;
}

static WabtResult on_count(uint32_t count, void* user_data) {
  Context* ctx = user_data;
  if (ctx->options->mode == WABT_DUMP_HEADERS) {
    printf("count: %d\n", count);
  }
  return WABT_OK;
}

static WabtResult begin_module(uint32_t version, void* user_data) {
  Context* ctx = user_data;
  if (ctx->options->print_header) {
    const char *basename = strrchr(ctx->options->infile, '/');
    if (basename)
      basename++;
    else
      basename = ctx->options->infile;
    printf("%s:\tfile format wasm %#08x\n", basename, version);
    ctx->header_printed = WABT_TRUE;
  }

  switch (ctx->options->mode) {
    case WABT_DUMP_HEADERS:
      printf("\n");
      printf("Sections:\n\n");
      break;
    case WABT_DUMP_DETAILS:
      printf("\n");
      printf("Section Details:\n\n");
      break;
    case WABT_DUMP_DISASSEMBLE:
      printf("\n");
      printf("Code Disassembly:\n\n");
      break;
    case WABT_DUMP_RAW_DATA:
    case WABT_DUMP_PREPASS:
      break;
  }

  return WABT_OK;
}

static WabtResult end_module(void *user_data) {
  Context* ctx = user_data;
  if (ctx->options->section_name) {
    if (!ctx->section_found) {
      printf("Section not found: %s\n", ctx->options->section_name);
      return WABT_ERROR;
    }
  }

  return WABT_OK;
}

static WabtResult on_opcode(WabtBinaryReaderContext* ctx, WabtOpcode opcode) {
  Context* context = ctx->user_data;

  if (context->options->debug) {
    const char* opcode_name = wabt_get_opcode_name(opcode);
    printf("on_opcode: %#" PRIzx ": %s\n", ctx->offset, opcode_name);
  }

  if (context->last_opcode_end) {
    if (ctx->offset != context->last_opcode_end + 1) {
      uint8_t missing_opcode = ctx->data[context->last_opcode_end];
      const char* opcode_name = wabt_get_opcode_name(missing_opcode);
      fprintf(stderr, "warning: %#" PRIzx " missing opcode callback at %#" PRIzx
                      " (%#02x=%s)\n",
              ctx->offset, context->last_opcode_end + 1,
              ctx->data[context->last_opcode_end], opcode_name);
      return WABT_ERROR;
    }
  }

  context->current_opcode_offset = ctx->offset;
  context->current_opcode = opcode;
  return WABT_OK;
}

#define IMMEDIATE_OCTET_COUNT 9

static void log_opcode(Context* ctx,
                       const uint8_t* data,
                       size_t data_size,
                       const char* fmt,
                       ...) {
  size_t offset = ctx->current_opcode_offset;

  // Print binary data
  printf(" %06" PRIzx ": %02x", offset - 1, ctx->current_opcode);
  size_t i;
  for (i = 0; i < data_size && i < IMMEDIATE_OCTET_COUNT; i++, offset++) {
    printf(" %02x", data[offset]);
  }
  for (i = data_size + 1; i < IMMEDIATE_OCTET_COUNT; i++) {
    printf("   ");
  }
  printf(" | ");

  // Print disassemble
  int j;
  int indent_level = ctx->indent_level;
  if (ctx->current_opcode == WABT_OPCODE_ELSE)
    indent_level--;
  for (j = 0; j < indent_level; j++) {
    printf("  ");
  }

  const char* opcode_name = wabt_get_opcode_name(ctx->current_opcode);
  printf("%s", opcode_name);
  if (fmt) {
    printf(" ");
    va_list args;
    va_start(args, fmt);
    vprintf(fmt, args);
    va_end(args);
  }

  printf("\n");

  ctx->last_opcode_end = ctx->current_opcode_offset + data_size;

  if (ctx->options->relocs) {
    if (ctx->next_reloc < ctx->options->code_relocations.size) {
      WabtReloc* reloc = &ctx->options->code_relocations.data[ctx->next_reloc];
      size_t code_start = ctx->section_starts[WABT_BINARY_SECTION_CODE];
      size_t abs_offset = code_start + reloc->offset;
      if (ctx->last_opcode_end > abs_offset) {
        printf("           %06" PRIzx ": %s\n", abs_offset,
               wabt_get_reloc_type_name(reloc->type));
        ctx->next_reloc++;
      }
    }
  }
}

static WabtResult on_opcode_bare(WabtBinaryReaderContext* ctx) {
  Context* context = ctx->user_data;
  log_opcode(context, ctx->data, 0, NULL);
  return WABT_OK;
}

static WabtResult on_opcode_uint32(WabtBinaryReaderContext* ctx,
                                   uint32_t value) {
  Context* context = ctx->user_data;
  size_t immediate_len = ctx->offset - context->current_opcode_offset;
  log_opcode(context, ctx->data, immediate_len, "%#x", value);
  return WABT_OK;
}

static WabtResult on_opcode_uint32_uint32(WabtBinaryReaderContext* ctx,
                                          uint32_t value,
                                          uint32_t value2) {
  Context* context = ctx->user_data;
  size_t immediate_len = ctx->offset - context->current_opcode_offset;
  log_opcode(context, ctx->data, immediate_len, "%lu %lu", value, value2);
  return WABT_OK;
}

static WabtResult on_opcode_uint64(WabtBinaryReaderContext* ctx,
                                   uint64_t value) {
  Context* context = ctx->user_data;
  size_t immediate_len = ctx->offset - context->current_opcode_offset;
  log_opcode(context, ctx->data, immediate_len, "%d", value);
  return WABT_OK;
}

static WabtResult on_opcode_f32(WabtBinaryReaderContext* ctx,
                                uint32_t value) {
  Context* context = ctx->user_data;
  size_t immediate_len = ctx->offset - context->current_opcode_offset;
  char buffer[WABT_MAX_FLOAT_HEX];
  wabt_write_float_hex(buffer, sizeof(buffer), value);
  log_opcode(context, ctx->data, immediate_len, buffer);
  return WABT_OK;
}

static WabtResult on_opcode_f64(WabtBinaryReaderContext* ctx,
                                uint64_t value) {
  Context* context = ctx->user_data;
  size_t immediate_len = ctx->offset - context->current_opcode_offset;
  char buffer[WABT_MAX_DOUBLE_HEX];
  wabt_write_double_hex(buffer, sizeof(buffer), value);
  log_opcode(context, ctx->data, immediate_len, buffer);
  return WABT_OK;
}

WabtResult on_br_table_expr(WabtBinaryReaderContext* ctx,
                            uint32_t num_targets,
                            uint32_t* target_depths,
                            uint32_t default_target_depth) {
  Context* context = ctx->user_data;
  size_t immediate_len = ctx->offset - context->current_opcode_offset;
  /* TODO(sbc): Print targets */
  log_opcode(context, ctx->data, immediate_len, NULL);
  return WABT_OK;
}

static WabtResult on_end_expr(void* user_data) {
  Context* context = user_data;
  context->indent_level--;
  assert(context->indent_level >= 0);
  log_opcode(context, NULL, 0, NULL);
  return WABT_OK;
}

static const char* wabt_type_name(WabtType type) {
  switch (type) {
    case WABT_TYPE_I32:
      return "i32";

    case WABT_TYPE_I64:
      return "i64";

    case WABT_TYPE_F32:
      return "f32";

    case WABT_TYPE_F64:
      return "f64";

    default:
      assert(0);
      return "INVALID TYPE";
  }
}

static WabtResult on_opcode_block_sig(WabtBinaryReaderContext* ctx,
                                      uint32_t num_types,
                                      WabtType* sig_types) {
  Context* context = ctx->user_data;
  if (num_types)
    log_opcode(context, ctx->data, 1, "%s", wabt_type_name(*sig_types));
  else
    log_opcode(context, ctx->data, 1, NULL);
  context->indent_level++;
  return WABT_OK;
}

static WabtResult on_signature(uint32_t index,
                               uint32_t param_count,
                               WabtType* param_types,
                               uint32_t result_count,
                               WabtType* result_types,
                               void* user_data) {
  Context* ctx = user_data;

  if (!should_print_details(ctx))
    return WABT_OK;
  printf(" - [%d] (", index);
  uint32_t i;
  for (i = 0; i < param_count; i++) {
    if (i != 0) {
      printf(", ");
    }
    printf("%s", wabt_type_name(param_types[i]));
  }
  printf(") -> ");
  if (result_count)
    printf("%s", wabt_type_name(result_types[0]));
  else
    printf("nil");
  printf("\n");
  return WABT_OK;
}

static WabtResult on_function_signature(uint32_t index,
                                        uint32_t sig_index,
                                        void* user_data) {
  print_details(user_data, " - func[%d] sig=%d\n", index, sig_index);
  return WABT_OK;
}

static WabtResult begin_function_body(WabtBinaryReaderContext* context,
                                      uint32_t index) {
  Context* ctx = context->user_data;

  if (ctx->options->mode == WABT_DUMP_DISASSEMBLE) {
    if (index < ctx->options->function_names.size)
      printf("%06" PRIzx " <" PRIstringslice ">:\n", context->offset,
             WABT_PRINTF_STRING_SLICE_ARG(
                 ctx->options->function_names.data[index]));
    else
      printf("%06" PRIzx " func[%d]:\n", context->offset, index);
  }

  ctx->last_opcode_end = 0;
  return WABT_OK;
}

static WabtResult on_import(uint32_t index,
                            WabtStringSlice module_name,
                            WabtStringSlice field_name,
                            void* user_data) {
  Context* ctx = user_data;
  ctx->import_module_name = module_name;
  ctx->import_field_name = field_name;
  return WABT_OK;
}

static WabtResult on_import_func(uint32_t import_index,
                                 uint32_t func_index,
                                 uint32_t sig_index,
                                 void* user_data) {
  Context* ctx = user_data;
  print_details(user_data,
                " - func[%d] sig=%d <- " PRIstringslice "." PRIstringslice "\n",
                func_index, sig_index,
                WABT_PRINTF_STRING_SLICE_ARG(ctx->import_module_name),
                WABT_PRINTF_STRING_SLICE_ARG(ctx->import_field_name));
  return WABT_OK;
}

static WabtResult on_import_table(uint32_t import_index,
                                  uint32_t table_index,
                                  WabtType elem_type,
                                  const WabtLimits* elem_limits,
                                  void* user_data) {
  Context* ctx = user_data;
  print_details(
      user_data, " - " PRIstringslice "." PRIstringslice
                 " -> table elem_type=%s init=%" PRId64 " max=%" PRId64 "\n",
      WABT_PRINTF_STRING_SLICE_ARG(ctx->import_module_name),
      WABT_PRINTF_STRING_SLICE_ARG(ctx->import_field_name),
      wabt_get_type_name(elem_type), elem_limits->initial, elem_limits->max);
  return WABT_OK;
}

static WabtResult on_import_memory(uint32_t import_index,
                                   uint32_t memory_index,
                                   const WabtLimits* page_limits,
                                   void* user_data) {
  Context* ctx = user_data;
  print_details(user_data,
                " - " PRIstringslice "." PRIstringslice " -> memory\n",
                WABT_PRINTF_STRING_SLICE_ARG(ctx->import_module_name),
                WABT_PRINTF_STRING_SLICE_ARG(ctx->import_field_name));
  return WABT_OK;
}

static WabtResult on_import_global(uint32_t import_index,
                                   uint32_t global_index,
                                   WabtType type,
                                   WabtBool mutable_,
                                   void* user_data) {
  Context* ctx = user_data;
  print_details(user_data, " - global[%d] %s mutable=%d <- " PRIstringslice
                           "." PRIstringslice "\n",
                global_index, wabt_get_type_name(type), mutable_,
                WABT_PRINTF_STRING_SLICE_ARG(ctx->import_module_name),
                WABT_PRINTF_STRING_SLICE_ARG(ctx->import_field_name));
  return WABT_OK;
}

static WabtResult on_memory(uint32_t index,
                            const WabtLimits* page_limits,
                            void* user_data) {
  print_details(user_data, " - memory[%d] pages: initial=%" PRId64,
      index,
      page_limits->initial);
  if (page_limits->has_max)
    print_details(user_data, " max=%" PRId64, page_limits->max);
  print_details(user_data, "\n");
  return WABT_OK;
}

static WabtResult on_table(uint32_t index,
                           WabtType elem_type,
                           const WabtLimits* elem_limits,
                           void* user_data) {
  print_details(user_data, " - table[%d] type=%s initial=%" PRId64,
      index,
      wabt_get_type_name(elem_type),
      elem_limits->initial);
  if (elem_limits->has_max)
    print_details(user_data, " max=%" PRId64, elem_limits->max);
  print_details(user_data, "\n");
  return WABT_OK;
}

static WabtResult on_export(uint32_t index,
                            WabtExternalKind kind,
                            uint32_t item_index,
                            WabtStringSlice name,
                            void* user_data) {
  print_details(user_data, " - %s[%d] ", wabt_get_kind_name(kind), item_index);
  print_details(user_data, PRIstringslice, WABT_PRINTF_STRING_SLICE_ARG(name));
  print_details(user_data, "\n");
  return WABT_OK;
}

static WabtResult on_elem_segment_function_index(uint32_t index,
                                                 uint32_t func_index,
                                                 void* user_data) {
  print_details(user_data, "  - func[%d]\n", func_index);
  return WABT_OK;
}

static WabtResult begin_elem_segment(uint32_t index,
                                     uint32_t table_index,
                                     void* user_data) {
  print_details(user_data, " - segment[%d] table=%d\n", index, table_index);
  return WABT_OK;
}

static WabtResult begin_global(uint32_t index,
                               WabtType type,
                               WabtBool mutable,
                               void* user_data) {
  print_details(user_data, " - global[%d] %s mutable=%d", index,
                wabt_get_type_name(type), mutable);
  return WABT_OK;
}

static WabtResult on_init_expr_f32_const_expr(uint32_t index,
                                              uint32_t value,
                                              void* user_data) {
  char buffer[WABT_MAX_FLOAT_HEX];
  wabt_write_float_hex(buffer, sizeof(buffer), value);
  print_details(user_data, " - init f32=%s\n", buffer);
  return WABT_OK;
}

static WabtResult on_init_expr_f64_const_expr(uint32_t index,
                                              uint64_t value,
                                              void* user_data) {
  char buffer[WABT_MAX_DOUBLE_HEX];
  wabt_write_float_hex(buffer, sizeof(buffer), value);
  print_details(user_data, " - init f64=%s\n", buffer);
  return WABT_OK;
}

static WabtResult on_init_expr_get_global_expr(uint32_t index,
                                               uint32_t global_index,
                                               void* user_data) {
  print_details(user_data, " - init global=%d\n", global_index);
  return WABT_OK;
}

static WabtResult on_init_expr_i32_const_expr(uint32_t index,
                                              uint32_t value,
                                              void* user_data) {
  print_details(user_data, " - init i32=%d\n", value);
  return WABT_OK;
}

static WabtResult on_init_expr_i64_const_expr(uint32_t index,
                                              uint64_t value,
                                              void* user_data) {
  print_details(user_data, " - init i64=%" PRId64 "\n", value);
  return WABT_OK;
}

static WabtResult on_function_name(uint32_t index,
                                   WabtStringSlice name,
                                   void* user_data) {
  Context* ctx = user_data;
  print_details(ctx, " - func[%d] " PRIstringslice "\n", index,
                WABT_PRINTF_STRING_SLICE_ARG(name));
  if (ctx->options->mode == WABT_DUMP_PREPASS)
    wabt_append_string_slice_value(&ctx->options->function_names, &name);
  return WABT_OK;
}

static WabtResult on_local_name(uint32_t func_index,
                                uint32_t local_index,
                                WabtStringSlice name,
                                void* user_data) {
  if (name.length) {
    print_details(user_data, "  - local[%d] " PRIstringslice "\n", local_index,
                  WABT_PRINTF_STRING_SLICE_ARG(name));
  }
  return WABT_OK;
}

WabtResult on_reloc_count(uint32_t count,
                          WabtBinarySection section_code,
                          WabtStringSlice section_name,
                          void* user_data) {
  Context* ctx = user_data;
  ctx->reloc_section = section_code;
  print_details(user_data, "  - section: %s\n",
                wabt_get_section_name(section_code));
  return WABT_OK;
}

WabtResult on_reloc(WabtRelocType type,
                    uint32_t offset,
                    void* user_data) {
  Context* ctx = user_data;
  uint32_t total_offset = ctx->section_starts[ctx->reloc_section] + offset;
  print_details(user_data, "   - %-18s offset=%#x (%#x)\n",
                wabt_get_reloc_type_name(type), total_offset, offset);
  if (ctx->options->mode == WABT_DUMP_PREPASS &&
      ctx->reloc_section == WABT_BINARY_SECTION_CODE) {
    WabtReloc reloc;
    reloc.offset = offset;
    reloc.type = type;
    wabt_append_reloc_value(&ctx->options->code_relocations, &reloc);
  }
  return WABT_OK;
}

static void on_error(WabtBinaryReaderContext* ctx, const char* message) {
  WabtDefaultErrorHandlerInfo info;
  info.header = "error reading binary";
  info.out_file = stdout;
  info.print_header = WABT_PRINT_ERROR_HEADER_ONCE;
  wabt_default_binary_error_callback(ctx->offset, message, &info);
}

static WabtResult begin_data_segment(uint32_t index,
                                     uint32_t memory_index,
                                     void* user_data) {
  Context* ctx = user_data;
  print_details(ctx, " - memory[%d]", memory_index);
  return WABT_OK;
}

static WabtResult on_data_segment_data(uint32_t index,
                                       const void* src_data,
                                       uint32_t size,
                                       void* user_data) {
  Context* ctx = user_data;
  if (should_print_details(ctx)) {
    wabt_write_memory_dump(ctx->out_stream, src_data, size, 0, WABT_PRINT_CHARS,
                           "  - ", NULL);
  }
  return WABT_OK;
}

static WabtBinaryReader s_binary_reader = {
    .user_data = NULL,

    .begin_module = begin_module,
    .end_module = end_module,
    .on_error = on_error,

    .begin_section = begin_section,

    // User section
    .begin_custom_section = begin_custom_section,

    // Signature section
    .on_signature_count = on_count,
    .on_signature = on_signature,

    // Import section
    .on_import_count = on_count,
    .on_import = on_import,
    .on_import_func = on_import_func,
    .on_import_table = on_import_table,
    .on_import_memory = on_import_memory,
    .on_import_global = on_import_global,

    // Function sigs section
    .on_function_signatures_count = on_count,
    .on_function_signature = on_function_signature,

    // Table section
    .on_table_count = on_count,
    .on_table = on_table,

    // Memory section
    .on_memory_count = on_count,
    .on_memory = on_memory,

    // Globl seciont
    .begin_global = begin_global,
    .on_global_count = on_count,

    // Export section
    .on_export_count = on_count,
    .on_export = on_export,

    // Body section
    .on_function_bodies_count = on_count,
    .begin_function_body = begin_function_body,

    // Elems section
    .begin_elem_segment = begin_elem_segment,
    .on_elem_segment_count = on_count,
    .on_elem_segment_function_index = on_elem_segment_function_index,

    // Data section
    .begin_data_segment = begin_data_segment,
    .on_data_segment_data = on_data_segment_data,
    .on_data_segment_count = on_count,

    // Known "User" sections:
    // - Names section
    .on_function_name = on_function_name,
    .on_local_name = on_local_name,

    .on_reloc_count = on_reloc_count,
    .on_reloc = on_reloc,

    .on_init_expr_i32_const_expr = on_init_expr_i32_const_expr,
    .on_init_expr_i64_const_expr = on_init_expr_i64_const_expr,
    .on_init_expr_f32_const_expr = on_init_expr_f32_const_expr,
    .on_init_expr_f64_const_expr = on_init_expr_f64_const_expr,
    .on_init_expr_get_global_expr = on_init_expr_get_global_expr,
};

WabtResult wabt_read_binary_objdump(const uint8_t* data,
                                    size_t size,
                                    WabtObjdumpOptions* options) {
  Context context;
  WABT_ZERO_MEMORY(context);
  context.header_printed = WABT_FALSE;
  context.print_details = WABT_FALSE;
  context.section_found = WABT_FALSE;
  context.data = data;
  context.size = size;
  context.options = options;
  context.out_stream = wabt_init_stdout_stream();

  WabtBinaryReader reader;
  WABT_ZERO_MEMORY(reader);
  if (options->mode == WABT_DUMP_PREPASS) {
    reader.on_function_name = on_function_name;
    reader.on_reloc_count = on_reloc_count;
    reader.on_reloc = on_reloc;
  } else {
    reader = s_binary_reader;
  }

  if (options->mode == WABT_DUMP_DISASSEMBLE) {
    reader.on_opcode = on_opcode;
    reader.on_opcode_bare = on_opcode_bare;
    reader.on_opcode_uint32 = on_opcode_uint32;
    reader.on_opcode_uint32_uint32 = on_opcode_uint32_uint32;
    reader.on_opcode_uint64 = on_opcode_uint64;
    reader.on_opcode_f32 = on_opcode_f32;
    reader.on_opcode_f64 = on_opcode_f64;
    reader.on_opcode_block_sig = on_opcode_block_sig;
    reader.on_end_expr = on_end_expr;
    reader.on_br_table_expr = on_br_table_expr;
  }

  reader.user_data = &context;

  WabtReadBinaryOptions read_options = WABT_READ_BINARY_OPTIONS_DEFAULT;
  read_options.read_debug_names = WABT_TRUE;
  return wabt_read_binary(data, size, &reader, 1, &read_options);
}