[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