BitVecReverse

Function
August 22, 2025

Table of Contents

`BitVecReverse`

Description

Reverse the order of all bits in bitvector. First bit becomes last, last becomes first, etc.

Parameters

Name	Direction	Description
`bv`	in	Bitvector to reverse

Usage example (from documentation)

  BitVecReverse(&flags);

Usage example (Cross-references)

In BitVec.c:961:

    }
    
    void BitVecReverse(BitVec *bv) {
    ValidateBitVec(bv);
    if (bv->length <= 1) {

In BitVec.BitWise.c:308:

    // Test BitVecReverse function
    bool test_bitvec_reverse(void) {
    printf("Testing BitVecReverse\n");
    
    BitVec bv = BitVecInit();

In BitVec.BitWise.c:319:

    
    // Reverse the bits
    BitVecReverse(&bv);
    
    // Expected result: 1101 (1011 reversed)

In BitVec.BitWise.c:439:

    
    bool test_bitvec_reverse_edge_cases(void) {
    printf("Testing BitVecReverse edge cases\n");
    
    BitVec bv     = BitVecInit();

In BitVec.BitWise.c:445:

    
    // Test reverse empty bitvec
    BitVecReverse(&bv);
    result = result && (bv.length == 0);

In BitVec.BitWise.c:450:

    // Test reverse single bit
    BitVecPush(&bv, true);
    BitVecReverse(&bv);
    result = result && (bv.length == 1);
    result = result && (BitVecGet(&bv, 0) == true);

In BitVec.BitWise.c:458:

    BitVecPush(&bv, true);
    BitVecPush(&bv, false);
    BitVecReverse(&bv);
    result = result && (BitVecGet(&bv, 0) == false);
    result = result && (BitVecGet(&bv, 1) == true);

In BitVec.BitWise.c:463:

    
    // Test double reverse (should restore original)
    BitVecReverse(&bv);
    result = result && (BitVecGet(&bv, 0) == true);
    result = result && (BitVecGet(&bv, 1) == false);

In BitVec.BitWise.c:910:

    
    // Test NULL pointer - should abort
    BitVecReverse(NULL);
    
    return false;

In BitVec.BitWise.Simple.c:308:

    // Test BitVecReverse function
    bool test_bitvec_reverse(void) {
    printf("Testing BitVecReverse\n");
    
    BitVec bv = BitVecInit();

In BitVec.BitWise.Simple.c:319:

    
    // Reverse the bits
    BitVecReverse(&bv);
    
    // Expected result: 1101 (1011 reversed)

In BitVec.BitWise.Simple.c:439:

    
    bool test_bitvec_reverse_edge_cases(void) {
    printf("Testing BitVecReverse edge cases\n");
    
    BitVec bv     = BitVecInit();

In BitVec.BitWise.Simple.c:445:

    
    // Test reverse empty bitvec
    BitVecReverse(&bv);
    result = result && (bv.length == 0);

In BitVec.BitWise.Simple.c:450:

    // Test reverse single bit
    BitVecPush(&bv, true);
    BitVecReverse(&bv);
    result = result && (bv.length == 1);
    result = result && (BitVecGet(&bv, 0) == true);

In BitVec.BitWise.Simple.c:458:

    BitVecPush(&bv, true);
    BitVecPush(&bv, false);
    BitVecReverse(&bv);
    result = result && (BitVecGet(&bv, 0) == false);
    result = result && (BitVecGet(&bv, 1) == true);

In BitVec.BitWise.Simple.c:463:

    
    // Test double reverse (should restore original)
    BitVecReverse(&bv);
    result = result && (BitVecGet(&bv, 0) == true);
    result = result && (BitVecGet(&bv, 1) == false);

In BitVec.BitWise.Deadend.c:49:

    
    // Test NULL pointer - should abort
    BitVecReverse(NULL);
    
    return false;

BitVecReverse

`BitVecReverse`

Description

Parameters

Usage example (from documentation)

Usage example (Cross-references)

Tags :

Share :

Related Posts

BitVecBestAlignment

BitVecAnd

BitVecShiftRight