2 files changed, 24 insertions, 0 deletions
diff --git a/source/core/slang-uint-set.cpp b/source/core/slang-uint-set.cpp
index ba71254e1..457915449 100644
--- a/source/core/slang-uint-set.cpp
+++ b/source/core/slang-uint-set.cpp
@@ -3,6 +3,27 @@
 namespace Slang
 {
 
+Index UIntSet::getLSBZero()
+{
+    uint64_t offset = 0;
+    for (Element& element : this->m_buffer)
+    {
+        // Flip all bits so bitscanForward can find a 0 bit
+        Element flippedElement = ~element;
+
+        // continue if we don't have 0 bits
+        if (flippedElement == 0)
+        {
+            offset += sizeof(Element) * 8;
+            continue;
+        }
+
+        // Get LSBZero of current Block, add with offset
+        return bitscanForward(flippedElement) + offset;
+    }
+    return offset;
+}
+
 UIntSet& UIntSet::operator=(UIntSet&& other)
 {
     m_buffer = _Move(other.m_buffer);
diff --git a/source/core/slang-uint-set.h b/source/core/slang-uint-set.h
index 4ba067871..3531e5cfb 100644
--- a/source/core/slang-uint-set.h
+++ b/source/core/slang-uint-set.h
@@ -133,6 +133,9 @@ public:
         /// Returns true if set1 and set2 have a same value set (ie there is an intersection)
     static bool hasIntersection(const UIntSet& set1, const UIntSet& set2);
 
+    /// Get LSB Zero of UIntSet. LSB Zero is the smallest value missing from this UIntSet.
+    Index getLSBZero();
+
     struct Iterator
     {
         friend class UIntSet;