From ee14e966cc1880f6316422e030fd610e7689a8e9 Mon Sep 17 00:00:00 2001
From: Clo91eaf <Clo91eaf@qq.com>
Date: Sat, 5 Oct 2024 20:39:34 +0800
Subject: [PATCH] [nix] make trace and cover orthogonal

---
 nix/t1/conversion/sv-to-vcs-simulator.nix | 16 ++++++++++++----
 nix/t1/run/run-vcs-emu.nix                |  9 ++++++---
 script/emu/src/Main.scala                 |  2 +-
 3 files changed, 19 insertions(+), 8 deletions(-)

diff --git a/nix/t1/conversion/sv-to-vcs-simulator.nix b/nix/t1/conversion/sv-to-vcs-simulator.nix
index 7d9b700d1..90a1e2989 100644
--- a/nix/t1/conversion/sv-to-vcs-simulator.nix
+++ b/nix/t1/conversion/sv-to-vcs-simulator.nix
@@ -21,6 +21,7 @@ stdenv.mkDerivation rec {
   # require license
   __noChroot = true;
   dontPatchELF = true;
+  enableCover = !enableTrace;
 
   src = rtl;
 
@@ -30,6 +31,8 @@ stdenv.mkDerivation rec {
     "-timescale=1ns/1ps"
     "-file"
     "filelist.f"
+  ]
+  ++ lib.optionals (enableCover) [
     "-cm"
     "line+cond+fsm+tgl+branch+assert"
     "-cm_dir"
@@ -69,16 +72,21 @@ stdenv.mkDerivation rec {
     mkdir -p $out/bin $out/lib
     cp $mainProgram $out/lib
     cp -r $mainProgram.daidir $out/lib
-    cp -r ./cm.vdb $out/lib
+    ${lib.optionalString enableCover ''
+      cp -r ./cm.vdb $out/lib 
+    ''}
 
     # We need to carefully handle string escape here, so don't use makeWrapper
     tee $out/bin/$mainProgram <<EOF
     #!${bash}/bin/bash
     export LD_LIBRARY_PATH="$out/lib/$mainProgram.daidir:\$LD_LIBRARY_PATH"
     _argv="\$@"
-    cp -r $out/lib/cm.vdb ./cm.vdb
-    chmod +w -R ./cm.vdb
-    ${vcs-fhs-env}/bin/vcs-fhs-env -c "$out/lib/$mainProgram -cm_dir ./cm.vdb \$_argv"
+
+    ${lib.optionalString enableCover ''
+      cp -r $out/lib/cm.vdb ./cm.vdb
+      chmod +w -R ./cm.vdb
+    ''}
+    ${vcs-fhs-env}/bin/vcs-fhs-env -c "$out/lib/$mainProgram ${lib.optionalString enableCover ''-cm_dir ./cm.vdb''} \$_argv"
     EOF
     chmod +x $out/bin/$mainProgram
 
diff --git a/nix/t1/run/run-vcs-emu.nix b/nix/t1/run/run-vcs-emu.nix
index 8141f4766..9d99bba31 100644
--- a/nix/t1/run/run-vcs-emu.nix
+++ b/nix/t1/run/run-vcs-emu.nix
@@ -6,6 +6,7 @@ stdenvNoCC.mkDerivation (finalAttr: {
   name = "${testCase.pname}-vcs-result" + (lib.optionalString emulator.enableTrace "-trace");
   nativeBuildInputs = [ zstd jq ];
   __noChroot = true;
+  enableCover = !emulator.enableTrace;
 
   passthru.caseName = testCase.pname;
 
@@ -15,7 +16,7 @@ stdenvNoCC.mkDerivation (finalAttr: {
     emuDriverArgsArray=(
       "+t1_elf_file=${testCase}/bin/${testCase.pname}.elf"
       ${lib.optionalString emulator.enableTrace "+t1_wave_path=${testCase.pname}.fsdb"}
-      "-cm assert"
+      ${lib.optionalString enableCover "-cm assert"}
     )
     emuDriverArgs="''${emuDriverArgsArray[@]}"
     emuDriver="${emulator}/bin/${emulator.mainProgram}"
@@ -79,8 +80,10 @@ stdenvNoCC.mkDerivation (finalAttr: {
       mv perf.json $out/
     fi
 
-    cp -v cm.log "$out"
-    cp -vr cm.vdb "$out"
+    ${lib.optionalString enableCover ''
+      cp -v cm.log "$out"
+      cp -vr cm.vdb "$out"
+    ''}
 
     ${lib.optionalString emulator.enableTrace ''
       cp -v ${testCase.pname}.fsdb "$out"
diff --git a/script/emu/src/Main.scala b/script/emu/src/Main.scala
index 241cf089e..bdd7f78ce 100644
--- a/script/emu/src/Main.scala
+++ b/script/emu/src/Main.scala
@@ -181,7 +181,7 @@ object Main:
       )
 
     val isTrace = finalEmuType.get.contains("-trace")
-    val isCover = isTrace
+    val isCover = !isTrace
 
     val finalConfig = tryRestoreFromCache("config", config)
     if finalConfig.isEmpty then