// Copyright 2021 The Emscripten Authors.  All rights reserved.
// Emscripten is available under two separate licenses, the MIT license and the
// University of Illinois/NCSA Open Source License.  Both these licenses can be
// found in the LICENSE file.

#include <stdio.h>
#include <iostream>
#include <sstream>
#include <emscripten/bind.h>
#include <emscripten/emscripten.h>
#include <emscripten/val.h>

using namespace emscripten;
using namespace std;

void test(string message) {
  cout << "test:\n" << message << "\n";
}

void ensure_js(string js_code) {
  js_code.append(";");
  const char* js_code_pointer = js_code.c_str();
  assert(EM_ASM_INT({
    var js_code = UTF8ToString($0);
    return eval(js_code);
  }, js_code_pointer));
}

template <typename T>
string compare_a_number_or_bigint_js(T value) {
  static_assert(sizeof(T) == 8 || sizeof(T) == 4);
  stringstream ss;
  ss << "a === " << value;
  if constexpr (sizeof(T) == 8) {
    ss << "n";
  }
  return ss.str();
}

template <typename T>
void test_value(T value) {
  static_assert(sizeof(T) == 8 || sizeof(T) == 4);
  cout << "  testing value " << value << endl;
  cout << "    setting properties preserves the expected value" << endl;
  val::global().set("a", val(value));
  ensure_js(compare_a_number_or_bigint_js(value));
  cout << "    getting properties returns the original value intact" << endl;
  assert(val::global()["a"].as<T>() == value);
  cout << "    function calls roundtrip the value correctly" << endl;
  const char* typeName;
  if constexpr (sizeof(T) == 8) {
    typeName = "BigInt";
  } else {
    typeName = "Number";
  }
  assert(val::global(typeName)(value).template as<T>() == value);
  cout << "    method calls roundtrip the value correctly" << endl;
  assert(val::global().call<T>(typeName, value) == value);
}

int main() {
  const int64_t max_int64_t = numeric_limits<int64_t>::max();
  const int64_t min_int64_t = numeric_limits<int64_t>::min();
  const uint64_t max_uint64_t = numeric_limits<uint64_t>::max();
  const size_t max_size_t = std::numeric_limits<size_t>::max();
  std::array<std::uint64_t, 5> uint64Array = {0, 1, 2, 3, 4};
  std::array<std::int64_t, 5> int64Array = {-2, -1, 0, 1, 2};

  printf("start\n");
  EM_ASM({globalThis.a = null});

  test("val(uint64_t v)");
  test_value(uint64_t(1234));
  test_value(max_uint64_t);

  test("val(int64_t v)");
  test_value(int64_t(1234));
  test_value(int64_t(-4321));
  test_value(int64_t(0x12345678aabbccddL));
  test_value(min_int64_t);
  test_value(max_int64_t);

  test("val(size_t v)");
  test_value(size_t(1234));
  test_value(max_size_t);

  test("val(typed_memory_view<uint64_t>)");
  val::global().set("a", val(typed_memory_view(uint64Array.size(), uint64Array.data())));
  ensure_js("a instanceof BigUint64Array");
  ensure_js("a.length === 5");
  ensure_js("a[0] === 0n");
  ensure_js("a[4] === 4n");

  test("val(typed_memory_view<int64_t>)");
  val::global().set("a", val(typed_memory_view(int64Array.size(), int64Array.data())));
  ensure_js("a instanceof BigInt64Array");
  ensure_js("a.length === 5");
  ensure_js("a[0] === -2n");
  ensure_js("a[4] === 2n");

  printf("end\n");
  return 0;
}