BitVecStartsWith

Documentation

API Reference

BitVecStartsWith

Description

Check if bitvector starts with the given bit pattern.

Parameters

Name	Direction	Description
`bv`	in	Bitvector to check
`prefix`	in	Pattern to match at the beginning

Usage example (from documentation)

  bool starts = BitVecStartsWith(&flags, &pattern);

Success

true if bitvector starts with the pattern

Failure

false if the prefix is longer than bv or any bit differs.

Usage example (Cross-references)

Usage examples (Cross-references)

In BitVec.c:1660:

    }
    
    bool BitVecStartsWith(BitVec *bv, BitVec *prefix) {
        ValidateBitVec(bv);
        ValidateBitVec(prefix);

In BitVec.c:1894:

    
        VecForeachPtrIdx(patterns, pattern, i) {
            if (BitVecStartsWith(bv, pattern)) {
                return i;
            }

In BitVec.Pattern.Simple.c:415:

        DefaultAllocator alloc = DefaultAllocatorInit();
    
        WriteFmt("Testing BitVecStartsWith basic functionality\n");
    
        BitVec source = BitVecInit(ALLOCATOR_OF(&alloc));

In BitVec.Pattern.Simple.c:434:

        BitVecPush(&prefix, false);
    
        result = result && BitVecStartsWith(&source, &prefix);
    
        // Test non-matching prefix: 101

In BitVec.Pattern.Simple.c:442:

        BitVecPush(&prefix, true);
    
        result = result && !BitVecStartsWith(&source, &prefix);
    
        BitVecDeinit(&source);

In BitVec.Pattern.Simple.c:453:

        DefaultAllocator alloc = DefaultAllocatorInit();
    
        WriteFmt("Testing BitVecStartsWith edge cases\n");
    
        BitVec source = BitVecInit(ALLOCATOR_OF(&alloc));

In BitVec.Pattern.Simple.c:461:

        // Test empty prefix (should always match)
        BitVecPush(&source, true);
        result = result && BitVecStartsWith(&source, &prefix);
    
        // Test prefix longer than source

In BitVec.Pattern.Simple.c:467:

        BitVecPush(&prefix, true);
        BitVecPush(&prefix, false);
        result = result && !BitVecStartsWith(&source, &prefix);
    
        // Test equal length

In BitVec.Pattern.Simple.c:476:

        BitVecPush(&prefix, true);
        BitVecPush(&prefix, false);
        result = result && BitVecStartsWith(&source, &prefix);
    
        BitVecDeinit(&source);

In BitVec.Pattern.Deadend.c:176:

        DefaultAllocator alloc = DefaultAllocatorInit();
    
        WriteFmt("Testing BitVecStartsWith(NULL, prefix) - should fatal\n");
        BitVec prefix = BitVecInit(ALLOCATOR_OF(&alloc));
        BitVecPush(&prefix, true);

In BitVec.Pattern.Deadend.c:179:

        BitVec prefix = BitVecInit(ALLOCATOR_OF(&alloc));
        BitVecPush(&prefix, true);
        BitVecStartsWith(NULL, &prefix);
        BitVecDeinit(&prefix);
        DefaultAllocatorDeinit(&alloc);

In BitVec.Pattern.Deadend.c:188:

        DefaultAllocator alloc = DefaultAllocatorInit();
    
        WriteFmt("Testing BitVecStartsWith(source, NULL) - should fatal\n");
        BitVec source = BitVecInit(ALLOCATOR_OF(&alloc));
        BitVecPush(&source, true);

In BitVec.Pattern.Deadend.c:191:

        BitVec source = BitVecInit(ALLOCATOR_OF(&alloc));
        BitVecPush(&source, true);
        BitVecStartsWith(&source, NULL);
        BitVecDeinit(&source);
        DefaultAllocatorDeinit(&alloc);

Last updated on June 4, 2026

BitVecShiftRight BitVecSuffixMatch