feat: add big array skip

Author: Wolf-Tungsten

Makefile

@@ -383,11 +383,11 @@ diff-internal:
 	$(MAKE) MODE=2 compile
 	$(MAKE) MODE=2 difftest
 
-run:
+run: clean
 	mkdir -p $(dir $(LOG_FILE))
-	set -o pipefail && $(TIME) $(MAKE) run-internal 2>&1 | tee $(LOG_FILE)
+	set -o pipefail && stdbuf -oL -eL $(TIME) $(MAKE) run-internal 2>&1 | tee $(LOG_FILE)
 
-run-waveform:
+run-waveform: clean
 	$(MAKE) run WAVEFORM=1 LOG_FILE=$(WAVE_LOG_FILE) WAVE_LOG_FILE=$(WAVE_LOG_FILE) WAVEFORM_PATH=$(WAVEFORM_PATH)
 
 diff:

emu/emu.cpp

@@ -1,6 +1,7 @@
 #include <iostream>
 #include <time.h>
 #include <cstring>
+#include <cstdio>
 #include <cassert>
 #include <vector>
 #include <numeric>
@@ -270,6 +271,11 @@ bool checkSignals(bool display) {
 #endif
 
 int main(int argc, char** argv) {
+  // Force immediate flushing even when stdout/stderr are piped (e.g. via tee).
+  std::cout.setf(std::ios::unitbuf);
+  std::cerr.setf(std::ios::unitbuf);
+  setvbuf(stdout, nullptr, _IOLBF, 0);
+  setvbuf(stderr, nullptr, _IOLBF, 0);
   load_program(argv[1]);
 #ifdef GSIM
   dut = new DUT_NAME();

include/config.h

@@ -1,13 +1,19 @@
 #ifndef CONFIG_H
 #define CONFIG_H
 
+#include <cstddef>
+#include <set>
+#include <string>
+
 struct Config {
   bool EnableDumpGraph;
   bool DumpGraphDot;
   bool DumpGraphJson;
   bool DumpAssignTree;
   bool DumpConstStatus;
   bool TraceFst;
+  size_t FstMaxArrayElems;
+  bool TraceFstNoNext;
   std::string OutputDir;
   int SuperNodeMaxSize;
   uint32_t cppMaxSizeKB;

src/cppEmitter.cpp

@@ -16,6 +16,9 @@
 
 #define ENABLE_ACTIVATOR false
 
+// Avoid emitting waveform handles for giant arrays (e.g., full RAM contents);
+// limit is controlled by globalConfig.FstMaxArrayElems (0 = unlimited).
+
 #ifdef DIFFTEST_PER_SIG
 FILE* sigFile = nullptr;
 #endif
@@ -971,8 +974,31 @@ void graph::cppEmitter() {
 
   fstWaveNodes.clear();
   fstWaveNodeSet.clear();
+  const size_t fstWaveLimit = globalConfig.FstMaxArrayElems;
   auto collectWaveNode = [&](Node* n) {
-    if (isTopField(n)) fstWaveNodeSet.insert(n);
+    if (!isTopField(n)) return;
+    if (globalConfig.TraceFstNoNext) {
+      const std::string& nm = n->name;
+      if (nm.size() >= 5 && nm.rfind("$NEXT") == nm.size() - 5) return;
+    }
+    auto dims = nodeArrayDims(n);
+    if (!dims.empty() && fstWaveLimit != 0) {
+      size_t total = 1;
+      for (int dim : dims) {
+        if (dim <= 0) continue;
+        if (total > fstWaveLimit / static_cast<size_t>(dim)) {
+          total = fstWaveLimit + 1;
+          break;
+        }
+        total *= static_cast<size_t>(dim);
+      }
+      if (total > fstWaveLimit) {
+        fprintf(stderr, "[gsim] skip waveform for %s: %zu elements exceed limit %zu\n",
+                n->name.c_str(), total, fstWaveLimit);
+        return;
+      }
+    }
+    fstWaveNodeSet.insert(n);
   };
   for (SuperNode* super : sortedSuper) {
     if (super->superType == SUPER_VALID || super->superType == SUPER_ASYNC_RESET) {

src/main.cpp

@@ -10,6 +10,7 @@
 
 #include <sstream>
 #include <getopt.h>
+#include <cstdlib>
 #include <sys/mman.h>
 #include <sys/stat.h>
 #include <fcntl.h>
@@ -27,6 +28,8 @@ Config::Config() {
   DumpAssignTree = false;
   DumpConstStatus = false;
   TraceFst = false;
+  FstMaxArrayElems = 1 << 20; // 1M elements cap for waveform handle emission
+  TraceFstNoNext = true;      // drop xxx$NEXT signals by default
   OutputDir = ".";
   SuperNodeMaxSize = 35;
   cppMaxSizeKB = -1;
@@ -93,6 +96,8 @@ static void printUsage(const char* ProgName) {
             << "      --dump-assign-tree           Include assignTree structure in JSON dump (can be large).\n"
             << "      --dump-const-status          Dump per-node constant-analysis status before removing constants.\n"
             << "      --trace-fst                  Enable FST waveform support in generated C++ (defines FST_WAVE).\n"
+            << "      --trace-fst-max-elems=[num]  Max array elements to emit FST handles (0 for unlimited, default: 1048576).\n"
+            << "      --trace-fst-no-next=[0|1]    Filter next-state signals (xxx$NEXT); default 1 = filter out.\n"
             ;
 }
 
@@ -121,6 +126,8 @@ static char* parseCommandLine(int argc, char** argv) {
     OPT_DUMP_ASSIGN_TREE,
     OPT_DUMP_CONST_STATUS,
     OPT_TRACE_FST,
+    OPT_TRACE_FST_MAX_ELEMS,
+    OPT_TRACE_FST_NO_NEXT,
   };
 
   const struct option Table[] = {
@@ -140,6 +147,8 @@ static char* parseCommandLine(int argc, char** argv) {
       {"dump-assign-tree", no_argument, nullptr, 0},
       {"dump-const-status", no_argument, nullptr, 0},
       {"trace-fst", no_argument, nullptr, 0},
+      {"trace-fst-max-elems", required_argument, nullptr, 0},
+      {"trace-fst-no-next", required_argument, nullptr, 0},
       {nullptr, no_argument, nullptr, 0},
   };
 
@@ -203,6 +212,16 @@ static char* parseCommandLine(int argc, char** argv) {
                 case OPT_TRACE_FST:
                   globalConfig.TraceFst = true;
                   break;
+                case OPT_TRACE_FST_MAX_ELEMS: {
+                  unsigned long long val = strtoull(optarg, nullptr, 0);
+                  globalConfig.FstMaxArrayElems = static_cast<size_t>(val);
+                  break;
+                }
+                case OPT_TRACE_FST_NO_NEXT: {
+                  int v = atoi(optarg);
+                  globalConfig.TraceFstNoNext = (v != 0);
+                  break;
+                }
                 case OPT_HELP:
                 default: printUsage(argv[0]); std::cout.flush(); fflush(nullptr); _exit(EXIT_SUCCESS);
               }