Reorganize cpp files

3 files changed, 375 insertions, 0 deletions

diff --git a/nandgame/cpp/Vcomputer__main.cpp b/nandgame/cpp/Vcomputer__main.cpp
new file mode 100644
index 0000000..f857be1
--- /dev/null
+++ b/nandgame/cpp/Vcomputer__main.cpp
@@ -0,0 +1,177 @@
+// Verilated -*- C++ -*-
+// DESCRIPTION: Verilator output: main() simulation loop, created with --main
+
+#include "Vcomputer___024root.h"
+#include "Vcomputer_alu.h"
+#include "Vcomputer_computer.h"
+#include "Vcomputer_instruction_decode.h"
+#include "Vcomputer_my_mem__D10_DB10000.h"
+#include "verilated.h"
+#include "Vcomputer.h"
+#include <cinttypes>
+#include <cstdint>
+#include <cstdio>
+#include <sched.h>
+
+#define TICKS_PER_INS 2
+#define NCUR 1
+#include "disas.h"
+
+#define NCUR_OFFSET 3
+
+#if NCUR
+#include <ncurses.h>
+#define NCUR_DELAY_MS 100
+#define NCUR_X 5
+
+#define PRINT_ME(x, y, ...) { mvprintw(x, y, __VA_ARGS__); }
+#define PRINT_NEXT() { refresh(); napms(NCUR_DELAY_MS); }
+
+#else
+
+#define PRINT_ME(x, y, ...) { printf("%*s", x, ""); printf(__VA_ARGS__); printf("\n"); }
+#define PRINT_NEXT() { puts("-----"); }
+
+#endif
+
+//======================
+
+enum class StepPosition_t {
+  BEFORE_EVAL,
+  AFTER_EVAL
+};
+
+void draw_ui(const std::unique_ptr<Vcomputer> &topp, int &i, StepPosition_t sp) {
+  uint16_t opcode = topp->computer->PC_content_int;
+
+  PRINT_ME(1, 1, "Step: %10d \b%c", i, sp == StepPosition_t::BEFORE_EVAL ? 'A' : 'B');
+  PRINT_ME(1 + NCUR_OFFSET, NCUR_X, "CLK1: %4d\tPC: @0x%04X\tINS: 0x%04X\tHLT: %d",
+           topp->clk_in,
+           // wrong
+           // topp->computer->clk_in,
+           topp->computer->PC_addr_int, opcode,
+           topp->halt
+  );
+
+  auto insline = print_decoded(opcode, true);
+  PRINT_ME(3 + NCUR_OFFSET, NCUR_X, "%-80s", insline.c_str());
+
+  // keep old state
+  if (topp->halt)
+    return;
+
+  PRINT_ME(5 + NCUR_OFFSET, NCUR_X,
+           "A: 0x%04X\tD: 0x%04X\tM: 0x%04X\tRES: 0x%04X",
+           topp->computer->reg_A_int, topp->computer->reg_D_int,
+           topp->computer->reg_pA_int, topp->computer->result_int);
+  PRINT_ME(6 + NCUR_OFFSET, NCUR_X,
+           "%9" PRId16 "\t%9" PRId16 "\t%9" PRId16 "\t%11" PRId16,
+           topp->computer->reg_A_int, topp->computer->reg_D_int,
+           topp->computer->reg_pA_int, topp->computer->result_int);
+  PRINT_ME(7 + NCUR_OFFSET, NCUR_X, "ALU");
+  PRINT_ME(8 + NCUR_OFFSET, NCUR_X, "X: %5" PRId16 "\tY: %5" PRId16,
+           topp->computer->CPU->my_alu->int_op_x,
+           topp->computer->CPU->my_alu->int_op_y)
+
+  PRINT_NEXT();
+}
+
+int main(int argc, char **argv, char **) {
+
+  // Setup context, defaults, and parse command line
+  Verilated::debug(0);
+  const std::unique_ptr<VerilatedContext> contextp{new VerilatedContext};
+  Verilated::traceEverOn(true);
+  contextp->threads(1);
+  contextp->commandArgs(argc, argv);
+
+  // Construct the Verilated model, from Vtop.h generated from Verilating
+  const std::unique_ptr<Vcomputer> topp{new Vcomputer{contextp.get(), ""}};
+
+  if (argc != 2) {
+    fprintf(stderr, "Usage: %.20s [filename]\n\n", argv[0]);
+    exit(-1);
+  }
+  int i = 0;
+  puts("Start simulation.");
+  // topp->computer->clk_in = 0;
+  topp->clk_in = 0;
+  FILE *f = fopen(argv[1], "rb");
+  if (!f) {
+    fprintf(stderr, "Program file %.20s not found.\n", argv[1]);
+    exit(-1);
+  }
+  fseek(f, 0, SEEK_END);
+  long fpos = ftell(f);
+  fseek(f, 0, SEEK_SET);
+  size_t bytes_read =
+      fread(topp->computer->ROM->r_datastore.m_storage, 2, fpos / 2, f);
+
+  if (bytes_read * 2 != fpos) {
+    fputs("Couldn't read program file completely.", stderr);
+    exit(-1);
+  }
+
+#if NCUR
+    initscr();
+    curs_set(0);
+#endif
+
+    while (VL_LIKELY(!contextp->gotFinish()) && i < 500) {
+        // doesn't work.
+        // topp->computer->clk_in = ~topp->computer->clk_in;
+
+        if (i != 0 && (i % TICKS_PER_INS) == 0) {
+          topp->clk_in = !topp->clk_in;
+        }
+
+        draw_ui(topp, i, StepPosition_t::BEFORE_EVAL);
+
+        // Evaluate model
+        topp->eval();
+
+        // both bits 14 and 15 need to be set
+        if (topp->halt)
+          break;
+
+        draw_ui(topp, i, StepPosition_t::AFTER_EVAL);
+
+        // Advance time
+        contextp->timeInc(1);
+        i++;
+    }
+
+#if NCUR
+    refresh();
+#endif
+
+    PRINT_ME(10 + NCUR_OFFSET, 10, "Simulation finished.");
+    if (topp->halt) {
+      PRINT_ME(11 + NCUR_OFFSET, 10, "Halt encountered.");
+    } else if (!contextp->gotFinish()) {
+      PRINT_ME(11 + NCUR_OFFSET, 10, "Step count exceeded.");
+    } else {
+      PRINT_ME(11 + NCUR_OFFSET, 10, "Regular finish.");
+    }
+
+    if (VL_LIKELY(!contextp->gotFinish())) {
+        VL_DEBUG_IF(VL_PRINTF("+ Exiting without $finish; no events left\n"););
+    }
+
+    // for tracefile to properly show
+    for (int i = 0; i < 10; i++) {
+      contextp->timeInc(1);
+      topp->eval();
+    }
+    // Execute 'final' processes
+    topp->final();
+
+    // Print statistical summary report
+    //contextp->statsPrintSummary();
+
+#if NCUR
+    getch(); endwin();
+#endif
+
+    return 0;
+}
diff --git a/nandgame/cpp/disas.cpp b/nandgame/cpp/disas.cpp
new file mode 100644
index 0000000..ac7ca0c
--- /dev/null
+++ b/nandgame/cpp/disas.cpp
@@ -0,0 +1,194 @@
+// LLM converted. Here be dragons.
+
+#include "disas.h"
+
+#include <string>
+#include <vector>
+#include <sstream>
+#include <iomanip>
+
+static const std::string ZERO      = "#0";
+static const std::string DEST_NONE = "_";
+static const std::string JUMP_NONE = "";
+
+static const std::vector<std::string> JUMPS_IF_NZERO = {"jgt", "jlt", "jne", "jmp"};
+static const std::vector<std::string> JUMPS_IF_ZERO  = {"jge", "jle", "jeq", "jmp"};
+
+struct Decoded {
+    std::string mnemonic;
+    std::string dest;
+    std::string op1;
+    std::string op2;
+    std::string jumpdest;
+};
+
+static bool in_list(const std::string &s, const std::vector<std::string> &v) {
+    for (const auto &x : v) {
+        if (x == s) return true;
+    }
+    return false;
+}
+
+static std::string decode_jump(uint16_t ins) {
+    if ((ins & 0x7) == 0) {
+        return JUMP_NONE;
+    }
+
+    if ((ins & 0x7) == 0x7) {
+        return "jmp";
+    }
+
+    bool jl = (ins & (1 << 2)) != 0;
+    bool je = (ins & (1 << 1)) != 0;
+    bool jg = (ins & (1 << 0)) != 0;
+
+    if (jl && je) {
+        return "jle";
+    }
+    if (jl && jg) {
+        return "jne";
+    }
+    if (je && jg) {
+        return "jge";
+    }
+
+    if (jl) return "jlt";
+    if (je) return "jeq";
+    if (jg) return "jgt";
+
+    return "<unknown>";
+}
+
+static std::pair<std::string, bool> decode_ins(uint16_t ins) {
+    int opcode = (ins >> 8) & 0x03;
+    bool ar_n_log = (ins & (1 << 10)) != 0;
+    opcode |= (ar_n_log ? 1 : 0) << 2;
+
+    switch (opcode) {
+        case 0b000: return {"and", true};
+        case 0b001: return {"or",  true};
+        case 0b010: return {"xor", true};
+        case 0b011: return {"not", false};
+        case 0b100: return {"add", true};
+        case 0b101: return {"inc", false};
+        case 0b110: return {"sub", true};
+        case 0b111: return {"dec", false};
+        default:    return {"<?>", false};
+    }
+}
+
+static std::string decode_arg1(uint16_t ins) {
+    bool use_mem = (ins & (1 << 12)) != 0;
+    bool zx      = (ins & (1 << 7))  != 0;
+    bool sw      = (ins & (1 << 6))  != 0;
+
+    if (zx) return ZERO;
+    if (!sw) return "D";
+    return use_mem ? "M" : "A";
+}
+
+static std::string decode_arg2(uint16_t ins) {
+    bool use_mem = (ins & (1 << 12)) != 0;
+    bool sw      = (ins & (1 << 6))  != 0;
+
+    if (sw) return "D";
+    return use_mem ? "M" : "A";
+}
+
+static std::string decode_dest(uint16_t ins) {
+    bool dA = (ins & (1 << 5)) != 0;
+    bool dD = (ins & (1 << 4)) != 0;
+    bool dM = (ins & (1 << 3)) != 0;
+
+    std::string dest;
+    if (dA) dest += "A";
+    if (dD) dest += "D";
+    if (dM) dest += "M";
+
+    return dest.empty() ? DEST_NONE : dest;
+}
+
+static Decoded decode_instruction(uint16_t ins) {
+    if ((ins & 0x8000) == 0) {
+        return {"mov", "A", "#" + std::to_string(ins), "", ""};
+    } else {
+        auto [mnemonic, two_op] = decode_ins(ins);
+        std::string dest    = decode_dest(ins);
+        std::string op1     = decode_arg1(ins);
+        std::string op2     = two_op ? decode_arg2(ins) : "";
+        std::string jumpdst = decode_jump(ins);
+        return {mnemonic, dest, op1, op2, jumpdst};
+    }
+}
+
+static Decoded fixup_ins(uint16_t ins) {
+    Decoded d = decode_instruction(ins);
+    std::string &mnemonic = d.mnemonic;
+    std::string &dest     = d.dest;
+    std::string &op1      = d.op1;
+    std::string &op2      = d.op2;
+    std::string &jumpdest = d.jumpdest;
+
+    if (op1 == ZERO) {
+        if (mnemonic == "sub") {
+            return {"neg", dest, op2, "", jumpdest};
+        }
+
+        if (mnemonic == "and") {
+            if (dest == DEST_NONE) {
+                if (in_list(jumpdest, JUMPS_IF_ZERO)) {
+                    return {"jmp", "", "", "", ""};
+                } else {
+                    return {"nop", "", "", "", ""};
+                }
+            } else {
+                std::string newjmp = in_list(jumpdest, JUMPS_IF_ZERO) ? "jmp" : "";
+                return {"mov", dest, ZERO, "", newjmp};
+            }
+        }
+
+        if (mnemonic == "add" || mnemonic == "or" || mnemonic == "xor") {
+            if (dest == DEST_NONE && jumpdest == JUMP_NONE) {
+                return {"nop", "", "", "", ""};
+            } else {
+                return {"mov", dest, op2, "", jumpdest};
+            }
+        }
+
+        if (mnemonic == "not") {
+            if (dest == DEST_NONE) {
+                if (jumpdest == "jeq" || jumpdest == "jgt" ||
+                    jumpdest == "jge" || jumpdest == JUMP_NONE) {
+                    return {"nop", "", "", "", ""};
+                } else {
+                    return {"jmp", "", "", "", ""};
+                }
+            }
+        }
+    }
+
+    return d;
+}
+
+std::string print_decoded(uint16_t ins, bool simplify) {
+    // illegal instruction
+    if ((ins & 0xC000) == 0x8000)
+        return "halt";
+
+    Decoded d = simplify ? fixup_ins(ins) : decode_instruction(ins);
+
+    std::string jumpdest_str = d.jumpdest.empty() ? "" : "." + d.jumpdest;
+    std::string opcode_str   = d.mnemonic + jumpdest_str;
+    std::string dest_str     = d.dest.empty() ? std::string(7, ' ')
+                                              : d.dest + ", ";
+    std::string op2_str      = d.op2.empty() ? "" : ", ";
+    std::string op1_str      = d.op1 + op2_str;
+
+    std::ostringstream oss;
+    oss << std::left << std::setw(9) << opcode_str
+        << std::setw(6) << dest_str
+        << std::setw(4) << op1_str
+        << d.op2;
+
+    return oss.str();
+}
diff --git a/nandgame/cpp/disas.h b/nandgame/cpp/disas.h
new file mode 100644
index 0000000..1f04268
--- /dev/null
+++ b/nandgame/cpp/disas.h
@@ -0,0 +1,4 @@
+#include <string>
+#include <cstdint>
+
+std::string print_decoded(uint16_t ins, bool simplify);