#include "../lib.h"

#define REPLICA_COUNT 3

static plain_t vote_res;
static plain_t sum_out[REPLICA_COUNT];

#define XC sum_out[0]
#define YC sum_out[1]
#define ZC sum_out[2]

// The prints here can't happen because they're disabled under test ¯\_(ツ)_/¯

static void naive_vote(void) {
  if (XC == YC || XC == ZC) {
    vote_res = XC;
  } else if (YC == ZC) {
    vote_res = YC;
  } else {
    HOST_PRINT("all replicas differ.\n");
    fail_marker_detected();
  }
}

template <const unsigned int N> static INLINE void sum(void) {
  int sum = 0;
  for (int i = 0; i < 5; ++i) {
    sum += 1;
  }

  sum_out[N] = sum;
}

extern "C" EXPORT("wasm_module") int wasm_module(void) {
  XC = 0;
  YC = 0;
  ZC = 0;

  sum<0>();
  sum<1>();
  sum<2>();

  fail_start_trace();

  naive_vote();

  fail_stop_trace();

  if (vote_res == 5) {
    HOST_PRINT("vote success.\n");
    fail_marker_positive();
    return 0;
  } else {
    HOST_PRINT("undetected error.\n");
    fail_marker_negative();
    return 1;
  }
}