BitVecShiftLeft

Documentation

API Reference

BitVecShiftLeft

Description

Shift all bits in bitvector to the left by specified positions. New bits on the right are filled with zeros.

Parameters

Name	Direction	Description
`bv`	in	Bitvector to shift
`positions`	in	Number of positions to shift left

Usage example (from documentation)

  BitVecShiftLeft(&flags, 3);

Usage example (Cross-references)

Usage examples (Cross-references)

In BitVec.c:865:

    
    // Shift operations
    void BitVecShiftLeft(BitVec *bv, u64 positions) {
        ValidateBitVec(bv);
        if (positions == 0 || bv->length == 0) {

In BitVec.BitWise.Deadend.c:26:

    
        // Test NULL bitvec pointer - should abort
        BitVecShiftLeft(NULL, 1);
    
        return false;

In BitVec.BitWise.Simple.c:177:

    // Test BitVecShiftLeft function - CORRECTED EXPECTATIONS
    bool test_bitvec_shift_left(void) {
        WriteFmt("Testing BitVecShiftLeft\n");
    
        BitVec bv = BitVecInit();

In BitVec.BitWise.Simple.c:191:

        // After shift left by 2: bits move to higher indices, lower indices filled with 0
        // New: 0011 (bit 0=0, bit 1=0, bit 2=1, bit 3=0) - but we shift out the high bits
        BitVecShiftLeft(&bv, 2);
    
        // After shift left by 2, implementation should clear bits that shift out

In BitVec.BitWise.Simple.c:342:

    
        // Test shift empty bitvec
        BitVecShiftLeft(&bv, 5);
        result = result && (bv.length == 0);

In BitVec.BitWise.Simple.c:351:

        BitVecPush(&bv, true);
        BitVecPush(&bv, false);
        BitVecShiftLeft(&bv, 0);
        result = result && (bv.length == 2);
        result = result && (BitVecGet(&bv, 0) == true);

In BitVec.BitWise.Simple.c:356:

    
        // Test shift larger than length (should clear all bits)
        BitVecShiftLeft(&bv, 10);
        result = result && (bv.length == 0); // Should clear when shifting everything out

In BitVec.BitWise.Simple.c:364:

            BitVecPush(&bv, i % 2 == 0);
        }
        BitVecShiftLeft(&bv, 1);
        result = result && (bv.length == 1000);

In BitVec.BitWise.Simple.c:555:

    
        // Shift left by 1, then right by 1 - should NOT restore original (data loss)
        BitVecShiftLeft(&bv, 1);
        BitVecShiftRight(&bv, 1);

In BitVec.BitWise.Simple.c:574:

        }
    
        BitVecShiftLeft(&bv, 8);
        result = result && (bv.length == 0);

In BitVec.BitWise.Simple.c:592:

        BitVecPush(&bv, false);
    
        BitVecShiftLeft(&bv, 2);
        result = result && (bv.length == 3);
        result = result && (BitVecGet(&bv, 0) == false); // filled with 0

In BitVec.BitWise.Simple.c:868:

        }
    
        BitVecShiftLeft(&result, 100);
        test_result = test_result && (result.length == 1000);

In BitVec.BitWise.c:177:

    // Test BitVecShiftLeft function - CORRECTED EXPECTATIONS
    bool test_bitvec_shift_left(void) {
        WriteFmtLn("Testing BitVecShiftLeft");
    
        BitVec bv = BitVecInit();

In BitVec.BitWise.c:191:

        // After shift left by 2: bits move to higher indices, lower indices filled with 0
        // New: 0011 (bit 0=0, bit 1=0, bit 2=1, bit 3=0) - but we shift out the high bits
        BitVecShiftLeft(&bv, 2);
    
        // After shift left by 2, implementation should clear bits that shift out

In BitVec.BitWise.c:342:

    
        // Test shift empty bitvec
        BitVecShiftLeft(&bv, 5);
        result = result && (bv.length == 0);

In BitVec.BitWise.c:351:

        BitVecPush(&bv, true);
        BitVecPush(&bv, false);
        BitVecShiftLeft(&bv, 0);
        result = result && (bv.length == 2);
        result = result && (BitVecGet(&bv, 0) == true);

In BitVec.BitWise.c:356:

    
        // Test shift larger than length (should clear all bits)
        BitVecShiftLeft(&bv, 10);
        result = result && (bv.length == 0); // Should clear when shifting everything out

In BitVec.BitWise.c:364:

            BitVecPush(&bv, i % 2 == 0);
        }
        BitVecShiftLeft(&bv, 1);
        result = result && (bv.length == 1000);

In BitVec.BitWise.c:555:

    
        // Shift left by 1, then right by 1 - should NOT restore original (data loss)
        BitVecShiftLeft(&bv, 1);
        BitVecShiftRight(&bv, 1);

In BitVec.BitWise.c:574:

        }
    
        BitVecShiftLeft(&bv, 8);
        result = result && (bv.length == 0);

In BitVec.BitWise.c:592:

        BitVecPush(&bv, false);
    
        BitVecShiftLeft(&bv, 2);
        result = result && (bv.length == 3);
        result = result && (BitVecGet(&bv, 0) == false); // filled with 0

In BitVec.BitWise.c:868:

        }
    
        BitVecShiftLeft(&result, 100);
        test_result = test_result && (result.length == 1000);

In BitVec.BitWise.c:887:

    
        // Test NULL bitvec pointer - should abort
        BitVecShiftLeft(NULL, 1);
    
        return false;

Last updated on April 20, 2026

BitVecSet BitVecShiftRight