cosmopolitan/test/tool/build/lib/optest.c

/*-*- mode:c;indent-tabs-mode:nil;c-basic-offset:2;tab-width:8;coding:utf-8 -*-│
│vi: set net ft=c ts=2 sts=2 sw=2 fenc=utf-8                                :vi│
╞══════════════════════════════════════════════════════════════════════════════╡
│ Copyright 2020 Justine Alexandra Roberts Tunney                              │
│                                                                              │
│ Permission to use, copy, modify, and/or distribute this software for         │
│ any purpose with or without fee is hereby granted, provided that the         │
│ above copyright notice and this permission notice appear in all copies.      │
│                                                                              │
│ THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL                │
│ WARRANTIES WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED                │
│ WARRANTIES OF MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE             │
│ AUTHOR BE LIABLE FOR ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL         │
│ DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR        │
│ PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER               │
│ TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR             │
│ PERFORMANCE OF THIS SOFTWARE.                                                │
╚─────────────────────────────────────────────────────────────────────────────*/
#include "libc/bits/weaken.h"
#include "libc/macros.internal.h"
#include "libc/runtime/runtime.h"
#include "libc/stdio/stdio.h"
#include "test/tool/build/lib/numbers.h"
#include "test/tool/build/lib/optest.h"
#include "tool/build/lib/flags.h"

const char kOpSuffix[] = {'b', 'w', 'l', 'q'};

void(RunOpTests)(const uint8_t *ops, size_t n, const char *const *opnames,
                 const char *file, int line, const char *func) {
  uint64_t x, y;
  uint64_t xn, xp;
  uint32_t f0, f1, f2;
  long failed, succeeded;
  int w, h, i, j, c, z, s, o, p;
  failed = 0;
  succeeded = 0;
  for (w = 0; w < 4; ++w) {
    for (h = 0; h < n; ++h) {
      for (z = 0; z < 2; ++z) {
        for (o = 0; o < 2; ++o) {
          for (s = 0; s < 2; ++s) {
            for (i = 0; i < ARRAYLEN(kNumbers); ++i) {
              for (j = 0; j < ARRAYLEN(kNumbers); ++j) {
                for (c = 0; c < 2; ++c) {
                  x = kNumbers[i];
                  y = kNumbers[j];
                  f2 = f1 = f0 = c << FLAGS_CF | z << FLAGS_ZF | s << FLAGS_SF |
                                 o << FLAGS_OF;
                  xn = RunGolden(w, ops[h], x, y, &f1);
                  xp = RunOpTest(w, ops[h], x, y, &f2);
                  if (weaken(FixupUndefOpTestFlags)) {
                    FixupUndefOpTestFlags(w, ops[h], x, y, f1, &f2);
                  }
                  if (xn == xp && (f1 & FMASK) == (f2 & FMASK)) {
                    succeeded++;
                  } else if (failed++ < 10) {
                    fprintf(stderr,
                            "%s:%d:%s: %s%c failed\n\t"
                            "𝑥  %016x\n\t"
                            "𝑦  %016x %c%c%c%c 0NPlODITSZKA1PVC\n\t"
                            "𝑥ₙ %016x %c%c%c%c %016b\n\t"
                            "𝑥ₚ %016x %c%c%c%c %016b\n",
                            file, line, func, opnames[ops[h]], kOpSuffix[w], x,
                            y, ".C"[c], ".Z"[z], ".S"[s], ".O"[o], xn,
                            ".C"[!!(f1 & (1 << FLAGS_CF))],
                            ".Z"[!!(f1 & (1 << FLAGS_ZF))],
                            ".S"[!!(f1 & (1 << FLAGS_SF))],
                            ".O"[!!(f1 & (1 << FLAGS_OF))], f1, xp,
                            ".C"[!!(f2 & (1 << FLAGS_CF))],
                            ".Z"[!!(f2 & (1 << FLAGS_ZF))],
                            ".S"[!!(f2 & (1 << FLAGS_SF))],
                            ".O"[!!(f2 & (1 << FLAGS_OF))], f2);
                  }
                }
              }
            }
          }
        }
      }
    }
  }
  if (failed) {
    fprintf(stderr,
            "\n"
            "passing:   %d%%\n"
            "succeeded: %,ld\n"
            "failed:    %,ld\n"
            "\n",
            (int)((1 - (double)failed / succeeded) * 100), succeeded, failed);
    exit(1);
  }
}