BitVecFindLast

Documentation

API Reference

BitVecFindLast

Description

Find index of last occurrence of a specific bit value.

Parameters

Name	Direction	Description
`bv`	in	Bitvector to search in
`value`	in	Bit value to find (true or false)

Usage example (from documentation)

  u64 index = BitVecFindLast(&flags, false);

Returns

Index of last occurrence, or SIZE_MAX if not found

Usage example (Cross-references)

Usage examples (Cross-references)

In BitVec.c:400:

        ValidateBitVec(bv);
    
        u64 pos = BitVecFindLast(bv, value);
        if (pos != SIZE_MAX) {
            BitVecRemove(bv, pos);

In BitVec.c:990:

    }
    
    u64 BitVecFindLast(BitVec *bv, bool value) {
        ValidateBitVec(bv);

In BitVec.Access.Simple.c:456:

    
        // Test BitVecFindLast
        result = result && (BitVecFindLast(&bv, true) == 7);  // Last true at index 7
        result = result && (BitVecFindLast(&bv, false) == 6); // Last false at index 6

In BitVec.Access.Simple.c:457:

        // Test BitVecFindLast
        result = result && (BitVecFindLast(&bv, true) == 7);  // Last true at index 7
        result = result && (BitVecFindLast(&bv, false) == 6); // Last false at index 6
    
        // Test with all same values

In BitVec.Access.Simple.c:465:

        }
        result = result && (BitVecFind(&bv, true) == 0);
        result = result && (BitVecFindLast(&bv, true) == 4);
        result = result && (BitVecFind(&bv, false) == SIZE_MAX);
        result = result && (BitVecFindLast(&bv, false) == SIZE_MAX);

In BitVec.Access.Simple.c:467:

        result = result && (BitVecFindLast(&bv, true) == 4);
        result = result && (BitVecFind(&bv, false) == SIZE_MAX);
        result = result && (BitVecFindLast(&bv, false) == SIZE_MAX);
    
        BitVecDeinit(&bv);

In BitVec.Access.Simple.c:567:

        result = result && (BitVecFind(&bv, true) == SIZE_MAX);
        result = result && (BitVecFind(&bv, false) == SIZE_MAX);
        result = result && (BitVecFindLast(&bv, true) == SIZE_MAX);
        result = result && (BitVecFindLast(&bv, false) == SIZE_MAX);

In BitVec.Access.Simple.c:568:

        result = result && (BitVecFind(&bv, false) == SIZE_MAX);
        result = result && (BitVecFindLast(&bv, true) == SIZE_MAX);
        result = result && (BitVecFindLast(&bv, false) == SIZE_MAX);
    
        // Test single element

In BitVec.Access.Simple.c:573:

        BitVecPush(&bv, true);
        result = result && (BitVecFind(&bv, true) == 0);
        result = result && (BitVecFindLast(&bv, true) == 0);
        result = result && (BitVecFind(&bv, false) == SIZE_MAX);
        result = result && (BitVecFindLast(&bv, false) == SIZE_MAX);

In BitVec.Access.Simple.c:575:

        result = result && (BitVecFindLast(&bv, true) == 0);
        result = result && (BitVecFind(&bv, false) == SIZE_MAX);
        result = result && (BitVecFindLast(&bv, false) == SIZE_MAX);
    
        // Test with large bitvector

In BitVec.Access.Simple.c:583:

        }
        result = result && (BitVecFind(&bv, true) == 500);
        result = result && (BitVecFindLast(&bv, true) == 999);
    
        BitVecDeinit(&bv);

In BitVec.Access.c:619:

    // Test BitVecFind and BitVecFindLast functions
    bool test_bitvec_find_functions(void) {
        WriteFmt("Testing BitVecFind and BitVecFindLast functions\n");
    
        BitVec bv     = BitVecInit();

In BitVec.Access.c:641:

    
        // Test finding last true (should be at index 5)
        result = result && (BitVecFindLast(&bv, true) == 5);
    
        // Test finding last false (should be at index 7)

In BitVec.Access.c:644:

    
        // Test finding last false (should be at index 7)
        result = result && (BitVecFindLast(&bv, false) == 7);
    
        // Test with all same values

In BitVec.Access.c:653:

    
        result = result && (BitVecFind(&bv, true) == 0);
        result = result && (BitVecFindLast(&bv, true) == 2);
        result = result && (BitVecFind(&bv, false) == SIZE_MAX);
        result = result && (BitVecFindLast(&bv, false) == SIZE_MAX);

In BitVec.Access.c:655:

        result = result && (BitVecFindLast(&bv, true) == 2);
        result = result && (BitVecFind(&bv, false) == SIZE_MAX);
        result = result && (BitVecFindLast(&bv, false) == SIZE_MAX);
    
        BitVecDeinit(&bv);

In BitVec.Access.c:769:

        result = result && (BitVecFind(&bv, true) == SIZE_MAX);
        result = result && (BitVecFind(&bv, false) == SIZE_MAX);
        result = result && (BitVecFindLast(&bv, true) == SIZE_MAX);
        result = result && (BitVecFindLast(&bv, false) == SIZE_MAX);

In BitVec.Access.c:770:

        result = result && (BitVecFind(&bv, false) == SIZE_MAX);
        result = result && (BitVecFindLast(&bv, true) == SIZE_MAX);
        result = result && (BitVecFindLast(&bv, false) == SIZE_MAX);
    
        // Test single element

In BitVec.Access.c:775:

        BitVecPush(&bv, true);
        result = result && (BitVecFind(&bv, true) == 0);
        result = result && (BitVecFindLast(&bv, true) == 0);
        result = result && (BitVecFind(&bv, false) == SIZE_MAX);
        result = result && (BitVecFindLast(&bv, false) == SIZE_MAX);

In BitVec.Access.c:777:

        result = result && (BitVecFindLast(&bv, true) == 0);
        result = result && (BitVecFind(&bv, false) == SIZE_MAX);
        result = result && (BitVecFindLast(&bv, false) == SIZE_MAX);
    
        // Test with large bitvector

In BitVec.Access.c:785:

        }
        result = result && (BitVecFind(&bv, true) == 500);
        result = result && (BitVecFindLast(&bv, true) == 999);
    
        BitVecDeinit(&bv);

Last updated on April 20, 2026

BitVecFindAllPattern BitVecFindLastPattern