BitVecShiftLeft

Function
August 22, 2025

Table of Contents

`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)

In BitVec.c:865:

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

In BitVec.BitWise.c:177:

    // Test BitVecShiftLeft function - CORRECTED EXPECTATIONS
    bool test_bitvec_shift_left(void) {
    printf("Testing BitVecShiftLeft\n");
    
    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;

In BitVec.BitWise.Simple.c:177:

    // Test BitVecShiftLeft function - CORRECTED EXPECTATIONS
    bool test_bitvec_shift_left(void) {
    printf("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.Deadend.c:26:

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

BitVecShiftLeft

`BitVecShiftLeft`

Description

Parameters

Usage example (from documentation)

Usage example (Cross-references)

Tags :

Share :

Related Posts

BitVecRemove

BitVecEntropy

BitVecXor