[llvm] Introduce mcdc::TVIdxBuilder (LLVM side, NFC) (PR #80676)

via llvm-commits llvm-commits at lists.llvm.org
Wed Jun 26 23:35:11 PDT 2024


================
@@ -223,9 +223,130 @@ Expected<int64_t> CounterMappingContext::evaluate(const Counter &C) const {
   return LastPoppedValue;
 }
 
+mcdc::TVIdxBuilder::TVIdxBuilder(const SmallVectorImpl<ConditionIDs> &NextIDs,
+                                 int Offset)
+    : Indices(NextIDs.size()) {
+  // Construct Nodes and set up each InCount
+  auto N = NextIDs.size();
+  SmallVector<MCDCNode> Nodes(N);
+  for (unsigned ID = 0; ID < N; ++ID) {
+    for (unsigned C = 0; C < 2; ++C) {
+#ifndef NDEBUG
+      Indices[ID][C] = INT_MIN;
+#endif
+      auto NextID = NextIDs[ID][C];
+      Nodes[ID].NextIDs[C] = NextID;
+      if (NextID >= 0)
+        ++Nodes[NextID].InCount;
+    }
+  }
+
+  // Sort key ordered by <-Width, Ord>
----------------
ZhuUx wrote:

Yes. The index map is right. The key difference is at most one of `C0` and `C2` can be true, which not likes `(C0 && C1) || C2`. In previous I updated false bit of `C2` when `C0` is true since if `C0` is true, `C2` must be false. While at present we can not do this.

https://github.com/llvm/llvm-project/pull/80676


More information about the llvm-commits mailing list